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 28667

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-25 03:31:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11915 boxname=wulflinc10 idbench=917 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  3c39e3c2b993ee2185e2a1a3e73b9723  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-lp4l.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-lp4l.opb
IDLAUNCH: 11915
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        926928 kB
Buffers:          4300 kB
Cached:          81584 kB
SwapCached:         68 kB
Active:          23164 kB
Inactive:        65340 kB
HighTotal:      131008 kB
HighFree:        47236 kB
LowTotal:       903652 kB
LowFree:        879692 kB
SwapTotal:     2097136 kB
SwapFree:      2096748 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6388 kB
Slab:            13568 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 03:51:19 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 11915 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/wulflinc10/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
Raw data (loadavg): 0.72 0.90 0.99 2/54 26500
Raw data (stat): 26500 (runsolver) R 26499 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777450347 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.77 0.90 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 1078 0 0 0 997 2 0 0 25 0 1 0 777450347 10121216 1056 4294967295 134512640 134581331 3221224608 3221223488 134520291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2471 1056 566 18 0 2453 0
vsize: 9884
[startup+20.001 s]
Raw data (loadavg): 0.80 0.90 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 1293 0 0 0 1996 3 0 0 25 0 1 0 777450347 10973184 1271 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2679 1271 566 18 0 2661 0
vsize: 10716
[startup+30.0016 s]
Raw data (loadavg): 0.83 0.91 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 1378 0 0 0 2996 3 0 0 25 0 1 0 777450347 11309056 1356 4294967295 134512640 134581331 3221224608 3221223520 134519045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2761 1356 566 18 0 2743 0
vsize: 11044
[startup+40.0017 s]
Raw data (loadavg): 0.86 0.91 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 1529 0 0 0 3995 4 0 0 25 0 1 0 777450347 11587584 1427 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2829 1427 566 18 0 2811 0
vsize: 11316
[startup+50.0027 s]
Raw data (loadavg): 0.88 0.91 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 1741 0 0 0 4995 4 0 0 25 0 1 0 777450347 12484608 1639 4294967295 134512640 134581331 3221224608 3221223504 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3048 1639 566 18 0 3030 0
vsize: 12192
[startup+60.0023 s]
Raw data (loadavg): 0.90 0.91 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 1785 0 0 0 5994 5 0 0 25 0 1 0 777450347 12619776 1683 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3081 1683 566 18 0 3063 0
vsize: 12324
[startup+70.0024 s]
Raw data (loadavg): 0.91 0.92 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 1785 0 0 0 6993 7 0 0 25 0 1 0 777450347 12619776 1683 4294967295 134512640 134581331 3221224608 3221223504 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3081 1683 566 18 0 3063 0
vsize: 12324
[startup+80.0034 s]
Raw data (loadavg): 0.93 0.92 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 1785 0 0 0 7992 7 0 0 25 0 1 0 777450347 12619776 1683 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3081 1683 566 18 0 3063 0
vsize: 12324
[startup+90.0039 s]
Raw data (loadavg): 0.94 0.92 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 1785 0 0 0 8991 8 0 0 25 0 1 0 777450347 12619776 1683 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3081 1683 566 18 0 3063 0
vsize: 12324
[startup+100.004 s]
Raw data (loadavg): 0.95 0.92 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 1785 0 0 0 9990 9 0 0 25 0 1 0 777450347 12619776 1683 4294967295 134512640 134581331 3221224608 3221223472 134528316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3081 1683 566 18 0 3063 0
vsize: 12324
[startup+110.004 s]
Raw data (loadavg): 0.95 0.92 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 1785 0 0 0 10990 10 0 0 25 0 1 0 777450347 12619776 1683 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3081 1683 566 18 0 3063 0
vsize: 12324
[startup+120.005 s]
Raw data (loadavg): 0.96 0.93 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 1785 0 0 0 11989 11 0 0 25 0 1 0 777450347 12619776 1683 4294967295 134512640 134581331 3221224608 3221223504 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3081 1683 566 18 0 3063 0
vsize: 12324
[startup+130.005 s]
Raw data (loadavg): 0.97 0.93 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 1844 0 0 0 12988 12 0 0 25 0 1 0 777450347 12869632 1742 4294967295 134512640 134581331 3221224608 3221223328 134524449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3142 1742 566 18 0 3124 0
vsize: 12568
[startup+140.006 s]
Raw data (loadavg): 0.97 0.93 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2000 0 0 0 13988 12 0 0 25 0 1 0 777450347 13586432 1893 4294967295 134512640 134581331 3221224608 3221223328 134524432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 1893 566 18 0 3299 0
vsize: 13268
[startup+150.006 s]
Raw data (loadavg): 0.97 0.93 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2006 0 0 0 14987 12 0 0 25 0 1 0 777450347 13553664 1899 4294967295 134512640 134581331 3221224608 3221223520 134527355 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3309 1899 566 18 0 3291 0
vsize: 13236
[startup+160.005 s]
Raw data (loadavg): 0.98 0.93 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2010 0 0 0 15987 13 0 0 25 0 1 0 777450347 13553664 1903 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3309 1903 566 18 0 3291 0
vsize: 13236
[startup+170.005 s]
Raw data (loadavg): 0.98 0.94 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2010 0 0 0 16986 14 0 0 25 0 1 0 777450347 13545472 1903 4294967295 134512640 134581331 3221224608 3221223600 134561059 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3307 1903 566 18 0 3289 0
vsize: 13228
[startup+180.006 s]
Raw data (loadavg): 0.98 0.94 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2010 0 0 0 17985 14 0 0 25 0 1 0 777450347 13545472 1903 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3307 1903 566 18 0 3289 0
vsize: 13228
[startup+190.007 s]
Raw data (loadavg): 0.99 0.94 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2010 0 0 0 18984 16 0 0 25 0 1 0 777450347 13545472 1903 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3307 1903 566 18 0 3289 0
vsize: 13228
[startup+200.007 s]
Raw data (loadavg): 0.99 0.94 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2010 0 0 0 19983 17 0 0 25 0 1 0 777450347 13545472 1903 4294967295 134512640 134581331 3221224608 3221223520 134527729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3307 1903 566 18 0 3289 0
vsize: 13228
[startup+210.007 s]
Raw data (loadavg): 0.99 0.94 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2010 0 0 0 20982 17 0 0 25 0 1 0 777450347 13545472 1903 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3307 1903 566 18 0 3289 0
vsize: 13228
[startup+220.007 s]
Raw data (loadavg): 0.99 0.94 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2010 0 0 0 21980 19 0 0 25 0 1 0 777450347 13545472 1903 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3307 1903 566 18 0 3289 0
vsize: 13228
[startup+230.007 s]
Raw data (loadavg): 0.99 0.94 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2010 0 0 0 22980 19 0 0 25 0 1 0 777450347 13545472 1903 4294967295 134512640 134581331 3221224608 3221223520 134527737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3307 1903 566 18 0 3289 0
vsize: 13228
[startup+240.008 s]
Raw data (loadavg): 0.99 0.95 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2010 0 0 0 23978 21 0 0 25 0 1 0 777450347 13545472 1903 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3307 1903 566 18 0 3289 0
vsize: 13228
[startup+250.008 s]
Raw data (loadavg): 0.99 0.95 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2010 0 0 0 24977 22 0 0 25 0 1 0 777450347 13545472 1903 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3307 1903 566 18 0 3289 0
vsize: 13228
[startup+260.007 s]
Raw data (loadavg): 0.99 0.95 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2010 0 0 0 25976 23 0 0 25 0 1 0 777450347 13545472 1903 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3307 1903 566 18 0 3289 0
vsize: 13228
[startup+270.008 s]
Raw data (loadavg): 0.99 0.95 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2010 0 0 0 26975 24 0 0 25 0 1 0 777450347 13545472 1903 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3307 1903 566 18 0 3289 0
vsize: 13228
[startup+280.008 s]
Raw data (loadavg): 0.99 0.95 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2010 0 0 0 27974 25 0 0 25 0 1 0 777450347 13545472 1903 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3307 1903 566 18 0 3289 0
vsize: 13228
[startup+290.009 s]
Raw data (loadavg): 0.99 0.95 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2010 0 0 0 28974 26 0 0 25 0 1 0 777450347 13545472 1903 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3307 1903 566 18 0 3289 0
vsize: 13228
[startup+300.01 s]
Raw data (loadavg): 0.99 0.95 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2010 0 0 0 29973 27 0 0 25 0 1 0 777450347 13545472 1903 4294967295 134512640 134581331 3221224608 3221223520 134527683 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3307 1903 566 18 0 3289 0
vsize: 13228
[startup+310.01 s]
Raw data (loadavg): 0.99 0.95 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2010 0 0 0 30972 28 0 0 25 0 1 0 777450347 13545472 1903 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3307 1903 566 18 0 3289 0
vsize: 13228
[startup+320.01 s]
Raw data (loadavg): 0.99 0.95 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2010 0 0 0 31972 28 0 0 25 0 1 0 777450347 13545472 1903 4294967295 134512640 134581331 3221224608 3221223472 134528331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3307 1903 566 18 0 3289 0
vsize: 13228
[startup+330.01 s]
Raw data (loadavg): 0.99 0.95 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2010 0 0 0 32971 29 0 0 25 0 1 0 777450347 13545472 1903 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3307 1903 566 18 0 3289 0
vsize: 13228
[startup+340.011 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2037 0 0 0 33970 30 0 0 25 0 1 0 777450347 13545472 1915 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3307 1915 566 18 0 3289 0
vsize: 13228
[startup+350.011 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2043 0 0 0 34970 30 0 0 25 0 1 0 777450347 13688832 1921 4294967295 134512640 134581331 3221224608 3221223472 134560232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 1921 566 18 0 3324 0
vsize: 13368
[startup+360.012 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2061 0 0 0 35969 31 0 0 25 0 1 0 777450347 13688832 1939 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 1939 566 18 0 3324 0
vsize: 13368
[startup+370.011 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2061 0 0 0 36969 32 0 0 25 0 1 0 777450347 13688832 1939 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 1939 566 18 0 3324 0
vsize: 13368
[startup+380.011 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2061 0 0 0 37968 33 0 0 25 0 1 0 777450347 13688832 1939 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 1939 566 18 0 3324 0
vsize: 13368
[startup+390.012 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2061 0 0 0 38967 34 0 0 25 0 1 0 777450347 13688832 1939 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 1939 566 18 0 3324 0
vsize: 13368
[startup+400.012 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2061 0 0 0 39966 35 0 0 25 0 1 0 777450347 13688832 1939 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 1939 566 18 0 3324 0
vsize: 13368
[startup+410.012 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2061 0 0 0 40965 36 0 0 25 0 1 0 777450347 13688832 1939 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 1939 566 18 0 3324 0
vsize: 13368
[startup+420.013 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2061 0 0 0 41965 36 0 0 25 0 1 0 777450347 13688832 1939 4294967295 134512640 134581331 3221224608 3221223504 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 1939 566 18 0 3324 0
vsize: 13368
[startup+430.013 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2061 0 0 0 42964 37 0 0 25 0 1 0 777450347 13688832 1939 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 1939 566 18 0 3324 0
vsize: 13368
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2061 0 0 0 43963 38 0 0 25 0 1 0 777450347 13688832 1939 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 1939 566 18 0 3324 0
vsize: 13368
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2061 0 0 0 44963 39 0 0 25 0 1 0 777450347 13688832 1939 4294967295 134512640 134581331 3221224608 3221223520 134528074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 1939 566 18 0 3324 0
vsize: 13368
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2061 0 0 0 45962 40 0 0 25 0 1 0 777450347 13688832 1939 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 1939 566 18 0 3324 0
vsize: 13368
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2061 0 0 0 46962 40 0 0 25 0 1 0 777450347 13688832 1939 4294967295 134512640 134581331 3221224608 3221223328 134524449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 1939 566 18 0 3324 0
vsize: 13368
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2061 0 0 0 47961 41 0 0 25 0 1 0 777450347 13688832 1939 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 1939 566 18 0 3324 0
vsize: 13368
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2061 0 0 0 48961 41 0 0 25 0 1 0 777450347 13688832 1939 4294967295 134512640 134581331 3221224608 3221223472 134527127 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 1939 566 18 0 3324 0
vsize: 13368
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2061 0 0 0 49961 41 0 0 25 0 1 0 777450347 13688832 1939 4294967295 134512640 134581331 3221224608 3221223524 1075285623 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 1939 566 18 0 3324 0
vsize: 13368
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2061 0 0 0 50961 42 0 0 25 0 1 0 777450347 13688832 1939 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 1939 566 18 0 3324 0
vsize: 13368
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2061 0 0 0 51960 42 0 0 25 0 1 0 777450347 13688832 1939 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 1939 566 18 0 3324 0
vsize: 13368
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2061 0 0 0 52960 43 0 0 25 0 1 0 777450347 13688832 1939 4294967295 134512640 134581331 3221224608 3221223552 134558800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 1939 566 18 0 3324 0
vsize: 13368
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2061 0 0 0 53959 44 0 0 25 0 1 0 777450347 13688832 1939 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 1939 566 18 0 3324 0
vsize: 13368
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2061 0 0 0 54958 45 0 0 25 0 1 0 777450347 13688832 1939 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3342 1939 566 18 0 3324 0
vsize: 13368
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2094 0 0 0 55957 46 0 0 25 0 1 0 777450347 13819904 1972 4294967295 134512640 134581331 3221224608 3221223328 134524432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3374 1972 566 18 0 3356 0
vsize: 13496
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2195 0 0 0 56957 46 0 0 25 0 1 0 777450347 14237696 2073 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3476 2073 566 18 0 3458 0
vsize: 13904
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2195 0 0 0 57956 47 0 0 25 0 1 0 777450347 14061568 2041 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3433 2041 566 18 0 3415 0
vsize: 13732
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2305 0 0 0 58954 49 0 0 25 0 1 0 777450347 14585856 2151 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3561 2151 566 18 0 3543 0
vsize: 14244
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2347 0 0 0 59953 50 0 0 25 0 1 0 777450347 14725120 2193 4294967295 134512640 134581331 3221224608 3221223328 134524432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3595 2193 566 18 0 3577 0
vsize: 14380
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2347 0 0 0 60953 51 0 0 25 0 1 0 777450347 14725120 2193 4294967295 134512640 134581331 3221224608 3221223440 134531538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3595 2193 566 18 0 3577 0
vsize: 14380
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2347 0 0 0 61952 53 0 0 25 0 1 0 777450347 14725120 2193 4294967295 134512640 134581331 3221224608 3221223472 134528316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3595 2193 566 18 0 3577 0
vsize: 14380
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2347 0 0 0 62951 53 0 0 25 0 1 0 777450347 14725120 2193 4294967295 134512640 134581331 3221224608 3221223472 134528287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3595 2193 566 18 0 3577 0
vsize: 14380
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2347 0 0 0 63950 55 0 0 25 0 1 0 777450347 14725120 2193 4294967295 134512640 134581331 3221224608 3221223504 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3595 2193 566 18 0 3577 0
vsize: 14380
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2347 0 0 0 64949 56 0 0 25 0 1 0 777450347 14725120 2193 4294967295 134512640 134581331 3221224608 3221223500 134528303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3595 2193 566 18 0 3577 0
vsize: 14380
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2347 0 0 0 65948 57 0 0 25 0 1 0 777450347 14725120 2193 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3595 2193 566 18 0 3577 0
vsize: 14380
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2347 0 0 0 66948 58 0 0 25 0 1 0 777450347 14725120 2193 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3595 2193 566 18 0 3577 0
vsize: 14380
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2347 0 0 0 67947 58 0 0 25 0 1 0 777450347 14725120 2193 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3595 2193 566 18 0 3577 0
vsize: 14380
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2615 0 0 0 68946 60 0 0 25 0 1 0 777450347 15835136 2461 4294967295 134512640 134581331 3221224608 3221223520 134527737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3866 2461 566 18 0 3848 0
vsize: 15464
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2615 0 0 0 69946 60 0 0 25 0 1 0 777450347 15835136 2461 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3866 2461 566 18 0 3848 0
vsize: 15464
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2615 0 0 0 70945 61 0 0 25 0 1 0 777450347 15835136 2461 4294967295 134512640 134581331 3221224608 3221223504 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3866 2461 566 18 0 3848 0
vsize: 15464
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2615 0 0 0 71944 62 0 0 25 0 1 0 777450347 15835136 2461 4294967295 134512640 134581331 3221224608 3221223504 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3866 2461 566 18 0 3848 0
vsize: 15464
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2615 0 0 0 72944 62 0 0 25 0 1 0 777450347 15835136 2461 4294967295 134512640 134581331 3221224608 3221223520 134527355 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3866 2461 566 18 0 3848 0
vsize: 15464
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2615 0 0 0 73944 63 0 0 25 0 1 0 777450347 15835136 2461 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3866 2461 566 18 0 3848 0
vsize: 15464
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2615 0 0 0 74943 64 0 0 25 0 1 0 777450347 15835136 2461 4294967295 134512640 134581331 3221224608 3221223504 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3866 2461 566 18 0 3848 0
vsize: 15464
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2615 0 0 0 75942 64 0 0 25 0 1 0 777450347 15835136 2461 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3866 2461 566 18 0 3848 0
vsize: 15464
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2615 0 0 0 76942 65 0 0 25 0 1 0 777450347 15835136 2461 4294967295 134512640 134581331 3221224608 3221223504 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3866 2461 566 18 0 3848 0
vsize: 15464
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2615 0 0 0 77942 65 0 0 25 0 1 0 777450347 15835136 2461 4294967295 134512640 134581331 3221224608 3221223504 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3866 2461 566 18 0 3848 0
vsize: 15464
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2615 0 0 0 78942 66 0 0 25 0 1 0 777450347 15835136 2461 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3866 2461 566 18 0 3848 0
vsize: 15464
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2615 0 0 0 79942 66 0 0 25 0 1 0 777450347 15835136 2461 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3866 2461 566 18 0 3848 0
vsize: 15464
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2791 0 0 0 80941 67 0 0 25 0 1 0 777450347 16580608 2637 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4048 2637 566 18 0 4030 0
vsize: 16192
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2791 0 0 0 81941 67 0 0 25 0 1 0 777450347 16580608 2637 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4048 2637 566 18 0 4030 0
vsize: 16192
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2791 0 0 0 82941 67 0 0 25 0 1 0 777450347 16580608 2637 4294967295 134512640 134581331 3221224608 3221223504 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4048 2637 566 18 0 4030 0
vsize: 16192
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2791 0 0 0 83941 67 0 0 25 0 1 0 777450347 16580608 2637 4294967295 134512640 134581331 3221224608 3221223520 134527967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4048 2637 566 18 0 4030 0
vsize: 16192
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2825 0 0 0 84940 68 0 0 25 0 1 0 777450347 16707584 2671 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4079 2671 566 18 0 4061 0
vsize: 16316
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 85940 68 0 0 25 0 1 0 777450347 17088512 2764 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4172 2764 566 18 0 4154 0
vsize: 16688
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 86940 68 0 0 25 0 1 0 777450347 17088512 2764 4294967295 134512640 134581331 3221224608 3221223504 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4172 2764 566 18 0 4154 0
vsize: 16688
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 87940 69 0 0 25 0 1 0 777450347 16961536 2749 4294967295 134512640 134581331 3221224608 3221223472 134528532 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4141 2749 566 18 0 4123 0
vsize: 16564
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 88939 69 0 0 25 0 1 0 777450347 16953344 2747 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4139 2747 566 18 0 4121 0
vsize: 16556
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 89939 70 0 0 25 0 1 0 777450347 16953344 2747 4294967295 134512640 134581331 3221224608 3221223520 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4139 2747 566 18 0 4121 0
vsize: 16556
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 90939 70 0 0 25 0 1 0 777450347 16953344 2747 4294967295 134512640 134581331 3221224608 3221223504 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4139 2747 566 18 0 4121 0
vsize: 16556
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 91939 70 0 0 25 0 1 0 777450347 16953344 2747 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4139 2747 566 18 0 4121 0
vsize: 16556
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 92939 70 0 0 25 0 1 0 777450347 16953344 2747 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4139 2747 566 18 0 4121 0
vsize: 16556
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 93939 70 0 0 25 0 1 0 777450347 16953344 2747 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4139 2747 566 18 0 4121 0
vsize: 16556
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 94939 71 0 0 25 0 1 0 777450347 16953344 2747 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4139 2747 566 18 0 4121 0
vsize: 16556
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 95939 71 0 0 25 0 1 0 777450347 16953344 2747 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4139 2747 566 18 0 4121 0
vsize: 16556
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 96939 71 0 0 25 0 1 0 777450347 16953344 2747 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4139 2747 566 18 0 4121 0
vsize: 16556
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 97939 71 0 0 25 0 1 0 777450347 16953344 2747 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4139 2747 566 18 0 4121 0
vsize: 16556
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 98939 71 0 0 25 0 1 0 777450347 16945152 2745 4294967295 134512640 134581331 3221224608 3221223520 134527670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4137 2745 566 18 0 4119 0
vsize: 16548
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 99940 71 0 0 25 0 1 0 777450347 16924672 2740 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4132 2740 566 18 0 4114 0
vsize: 16528
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 100939 72 0 0 25 0 1 0 777450347 16920576 2739 4294967295 134512640 134581331 3221224608 3221223384 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4131 2739 566 18 0 4113 0
vsize: 16524
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 101939 72 0 0 25 0 1 0 777450347 16920576 2739 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4131 2739 566 18 0 4113 0
vsize: 16524
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 102939 72 0 0 25 0 1 0 777450347 16920576 2739 4294967295 134512640 134581331 3221224608 3221223520 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4131 2739 566 18 0 4113 0
vsize: 16524
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 103939 73 0 0 25 0 1 0 777450347 16920576 2739 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4131 2739 566 18 0 4113 0
vsize: 16524
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 104939 73 0 0 25 0 1 0 777450347 16920576 2739 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4131 2739 566 18 0 4113 0
vsize: 16524
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 105939 73 0 0 25 0 1 0 777450347 16920576 2739 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4131 2739 566 18 0 4113 0
vsize: 16524
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 106939 73 0 0 25 0 1 0 777450347 16920576 2739 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4131 2739 566 18 0 4113 0
vsize: 16524
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 107939 74 0 0 25 0 1 0 777450347 16920576 2739 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4131 2739 566 18 0 4113 0
vsize: 16524
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 108939 74 0 0 25 0 1 0 777450347 16920576 2739 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4131 2739 566 18 0 4113 0
vsize: 16524
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 109938 74 0 0 25 0 1 0 777450347 16920576 2739 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4131 2739 566 18 0 4113 0
vsize: 16524
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 110938 75 0 0 25 0 1 0 777450347 16859136 2724 4294967295 134512640 134581331 3221224608 3221223520 134527678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4116 2724 566 18 0 4098 0
vsize: 16464
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 111940 75 0 0 25 0 1 0 777450347 16850944 2722 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4114 2722 566 18 0 4096 0
vsize: 16456
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 112939 76 0 0 25 0 1 0 777450347 16850944 2722 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4114 2722 566 18 0 4096 0
vsize: 16456
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 113939 76 0 0 25 0 1 0 777450347 16850944 2722 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4114 2722 566 18 0 4096 0
vsize: 16456
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 114939 76 0 0 25 0 1 0 777450347 16850944 2722 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4114 2722 566 18 0 4096 0
vsize: 16456
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 115939 76 0 0 25 0 1 0 777450347 16850944 2722 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4114 2722 566 18 0 4096 0
vsize: 16456
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 116939 77 0 0 25 0 1 0 777450347 16850944 2722 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4114 2722 566 18 0 4096 0
vsize: 16456
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 117939 77 0 0 25 0 1 0 777450347 16850944 2722 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4114 2722 566 18 0 4096 0
vsize: 16456
[startup+1188.89 s]
Raw data (loadavg): 0.99 0.97 0.99 1/53 26500
Raw data (stat): 26500 (Pueblo) R 26499 15547 15546 0 -1 0 2918 0 0 0 117939 77 0 0 25 0 1 0 777450347 16850944 2722 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4114 2722 566 18 0 4096 0
vsize: 0

Child status: 10
Real time (s): 1188.89
CPU time (s): 1189.01
CPU user time (s): 1188.23
CPU system time (s): 0.780881
CPU usage (%): 100.011
Max. virtual memory (Kb): 16688
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	4602
#### END VERIFIER DATA ####