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-l152lav.opb
MD5SUM	00855a9538cee8df79108d56ee6867b4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5046
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1176.34
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 40284

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 05:52:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28344 boxname=wulflinc4 idbench=1300 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  00855a9538cee8df79108d56ee6867b4  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-l152lav.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-l152lav.opb
IDLAUNCH: 28344
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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		: 451.169
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:        818972 kB
Buffers:         16772 kB
Cached:         177312 kB
SwapCached:        872 kB
Active:          23080 kB
Inactive:       173108 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        818720 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4916 kB
Slab:            13784 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 06:12:19 (client local time) WITH STATUS 10 IN 1176.34 SECONDS
stats: 28344 0 1176.34 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1989 variables and 193 constraints.
c After prepocess the problem consists of 1988 variables and 397 constraints.
c preprocess terminated 74.63 s
c Initial Lower Bound: 4657
c Lower Bound Elapsed time: 0.6405
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 5329 @ 195.785
c NEW SOLUTION FOUND: 5327 @ 196.109
c NEW SOLUTION FOUND: 5322 @ 196.396
c NEW SOLUTION FOUND: 5320 @ 196.695
c NEW SOLUTION FOUND: 5317 @ 201.758
c NEW SOLUTION FOUND: 5314 @ 204.117
c NEW SOLUTION FOUND: 5304 @ 208.048
c NEW SOLUTION FOUND: 5157 @ 229.315
c NEW SOLUTION FOUND: 5152 @ 232.186
c NEW SOLUTION FOUND: 5148 @ 236.457
c NEW SOLUTION FOUND: 5130 @ 254.928
c NEW SOLUTION FOUND: 5128 @ 277.291
c NEW SOLUTION FOUND: 5124 @ 285.524
c NEW SOLUTION FOUND: 5123 @ 309.092
c NEW SOLUTION FOUND: 5121 @ 340.249
c NEW SOLUTION FOUND: 5119 @ 348.702
c NEW SOLUTION FOUND: 5118 @ 354.291
c NEW SOLUTION FOUND: 5068 @ 415.668
c NEW SOLUTION FOUND: 5046 @ 496.784
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 -CO101087_bit0 -CO101088_bit0 -CO101089_bit0 -CO101090_bit0 -CO101091_bit0 CO101092_bit0 -CO101093_bit0 -CO101094_bit0 -CO101095_bit0 -CO101096_bit0 -CO101097_bit0 -CO101098_bit0 -CO101099_bit0 -CO101100_bit0 -CO101101_bit0 -CO101102_bit0 -CO101103_bit0 -CO101104_bit0 -CO101105_bit0 -CO101106_bit0 -CO101107_bit0 -CO101108_bit0 CO101109_bit0 -CO101110_bit0 -CO101111_bit0 -CO101112_bit0 -CO101113_bit0 -CO101114_bit0 -CO101115_bit0 -CO101116_bit0 -CO101117_bit0 -CO101118_bit0 -CO101119_bit0 -CO101120_bit0 -CO101121_bit0 -CO101122_bit0 -CO101123_bit0 -CO101124_bit0 -CO101125_bit0 -CO101126_bit0 -CO101127_bit0 -CO101128_bit0 -CO101129_bit0 -CO101130_bit0 -CO101131_bit0 -CO101132_bit0 -CO101133_bit0 -CO101134_bit0 -CO101135_bit0 -CO101136_bit0 -CO101137_bit0 -CO101138_bit0 -CO101139_bit0 -CO101140_bit0 -CO101141_bit0 -CO101142_bit0 -CO101143_bit0 -CO101144_bit0 -CO101145_bit0 -CO101146_bit0 CO101147_bit0 -CO101148_bit0 -CO101149_bit0 -CO101150_bit0 -CO101151_bit0 -CO101152_bit0 -CO101153_bit0 -CO101154_bit0 -CO101155_bit0 -CO101156_bit0 -CO101157_bit0 -CO101158_bit0 -CO101159_bit0 -CO101160_bit0 -CO101161_bit0 -CO101162_bit0 -CO101163_bit0 -CO101164_bit0 -CO101165_bit0 -CO101166_bit0 -CO101167_bit0 -CO101168_bit0 -CO101169_bit0 -CO101170_bit0 -CO101171_bit0 -CO101172_bit0 -CO101173_bit0 -CO101174_bit0 -CO101175_bit0 -CO101176_bit0 -CO101177_bit0 -CO101178_bit0 -CO101179_bit0 -CO101180_bit0 -CO101181_bit0 -CO101182_bit0 -CO101183_bit0 -CO101184_bit0 -CO101185_bit0 -CO101186_bit0 -CO101187_bit0 -CO101188_bit0 -CO101189_bit0 -CO101190_bit0 -CO101191_bit0 -CO101192_bit0 -CO101193_bit0 -CO101194_bit0 -CO101195_bit0 -CO101196_bit0 -CO101197_bit0 -CO101198_bit0 -CO101199_bit0 -CO101200_bit0 -CO101201_bit0 -CO101202_bit0 -CO101203_bit0 -CO101204_bit0 -CO101205_bit0 -CO101206_bit0 -CO101207_bit0 -CO101208_bit0 -CO101209_bit0 -CO101210_bit0 -CO101211_bit0 -CO101212_bit0 -CO101213_bit0 -CO101214_bit0 -CO101215_bit0 -CO101216_bit0 -CO101217_bit0 -CO101218_bit0 -CO101219_bit0 -CO101220_bit0 -CO101221_bit0 -CO101222_bit0 -CO101223_bit0 -CO101224_bit0 -CO101225_bit0 -CO101226_bit0 -CO101227_bit0 -CO101228_bit0 -CO101229_bit0 -CO101230_bit0 CO101231_bit0 -CO101232_bit0 -CO101233_bit0 -CO101234_bit0 -CO101235_bit0 -CO101236_bit0 -CO101237_bit0 -CO101238_bit0 -CO101239_bit0 -CO101240_bit0 -CO101241_bit0 -CO101242_bit0 -CO101243_bit0 -CO101244_bit0 -CO101245_bit0 -CO101246_bit0 -CO101247_bit0 -CO101248_bit0 -CO101249_bit0 -CO101250_bit0 -CO101251_bit0 -CO101252_bit0 -CO101253_bit0 -CO101254_bit0 -CO101255_bit0 -CO101256_bit0 -CO101257_bit0 -CO101258_bit0 -CO101259_bit0 -CO101260_bit0 -CO101261_bit0 -CO101262_bit0 -CO101263_bit0 -CO101264_bit0 -CO101265_bit0 -CO101266_bit0 -CO101267_bit0 -CO101268_bit0 -CO101269_bit0 -CO101270_bit0 -CO101271_bit0 -CO101272_bit0 -CO101273_bit0 -CO101274_bit0 -CO101275_bit0 -CO101276_bit0 -CO101277_bit0 -CO101278_bit0 -CO101279_bit0 -CO101280_bit0 -CO101281_bit0 -CO101282_bit0 -CO101283_bit0 -CO101284_bit0 CO101285_bit0 -CO101286_bit0 -CO101287_bit0 -CO101288_bit0 -CO101289_bit0 -CO101290_bit0 -CO101291_bit0 -CO101292_bit0 -CO101293_bit0 -CO101294_bit0 -CO101295_bit0 -CO101296_bit0 -CO101297_bit0 -CO101298_bit0 -CO101299_bit0 -CO101300_bit0 -CO101301_bit0 -CO101302_bit0 -CO101303_bit0 -CO101304_bit0 -CO101305_bit0 -CO101306_bit0 -CO101307_bit0 -CO101308_bit0 -CO101309_bit0 -CO101310_bit0 -CO101311_bit0 -CO101312_bit0 -CO101313_bit0 -CO101314_bit0 -CO101315_bit0 -CO101316_bit0 -CO101317_bit0 -CO101318_bit0 -CO101319_bit0 -CO101320_bit0 -CO101321_bit0 -CO101322_bit0 -CO101323_bit0 -CO101324_bit0 -CO101325_bit0 -CO101326_bit0 -CO101327_bit0 -CO101328_bit0 -CO101329_bit0 -CO101330_bit0 -CO101331_bit0 -CO101332_bit0 -CO101333_bit0 -CO101334_bit0 -CO101335_bit0 -CO101336_bit0 -CO101337_bit0 -CO101338_bit0 -CO101339_bit0 -CO101340_bit0 -CO101341_bit0 -CO101342_bit0 -CO101343_bit0 -CO101344_bit0 -CO101345_bit0 -CO101346_bit0 -CO101347_bit0 -CO101348_bit0 -CO101349_bit0 -CO101350_bit0 -CO101351_bit0 -CO101352_bit0 -CO101353_bit0 -CO101354_bit0 -CO101355_bit0 -CO101356_bit0 -CO101357_bit0 -CO101358_bit0 -CO101359_bit0 -CO101360_bit0 -CO101361_bit0 -CO101362_bit0 -CO101363_bit0 -CO101364_bit0 -CO101365_bit0 -CO101366_bit0 -CO101367_bit0 -CO101368_bit0 -CO101369_bit0 -CO101370_bit0 -CO101371_bit0 -CO101372_bit0 -CO101373_bit0 -CO101374_bit0 -CO101375_bit0 -CO101376_bit0 -CO101377_bit0 -CO101378_bit0 -CO101379_bit0 -CO101380_bit0 -CO101381_bit0 -CO101382_bit0 -CO101383_bit0 -CO101384_bit0 -CO101385_bit0 -CO101386_bit0 -CO101387_bit0 -CO101388_bit0 -CO101389_bit0 -CO101390_bit0 -CO101391_bit0 -CO101392_bit0 -CO101393_bit0 -CO101394_bit0 -CO101395_bit0 -CO101396_bit0 -CO101397_bit0 -CO101398_bit0 -CO101399_bit0 -CO101400_bit0 -CO101401_bit0 -CO101402_bit0 -CO101403_bit0 -CO101404_bit0 -CO101405_bit0 -CO101406_bit0 -CO101407_bit0 -CO101408_bit0 -CO101409_bit0 -CO101410_bit0 -CO101411_bit0 -CO101412_bit0 -CO101413_bit0 -CO101414_bit0 -CO101415_bit0 -CO101416_bit0 -CO101417_bit0 CO101418_bit0 -CO101419_bit0 -CO101420_bit0 -CO101421_bit0 -CO101422_bit0 -CO101423_bit0 -CO101424_bit0 -CO101425_bit0 -CO101426_bit0 -CO101427_bit0 -CO101428_bit0 -CO101429_bit0 -CO101430_bit0 -CO101431_bit0 -CO101432_bit0 -CO101433_bit0 -CO101434_bit0 -CO101435_bit0 -CO101436_bit0 -CO101437_bit0 -CO101438_bit0 -CO101439_bit0 -CO101440_bit0 -CO101441_bit0 -CO101442_bit0 -CO101443_bit0 -CO101444_bit0 -CO101445_bit0 -CO101446_bit0 -CO101447_bit0 -CO101448_bit0 -CO101449_bit0 -CO101450_bit0 -CO101451_bit0 -CO101452_bit0 -CO101453_bit0 -CO101454_bit0 -CO101455_bit0 -CO101456_bit0 -CO101457_bit0 -CO101458_bit0 -CO101459_bit0 -CO101460_bit0 -CO101461_bit0 -CO101462_bit0 -CO101463_bit0 -CO101464_bit0 -CO101465_bit0 -CO101466_bit0 -CO101467_bit0 -CO101468_bit0 -CO101469_bit0 -CO101470_bit0 -CO101471_bit0 -CO101472_bit0 -CO101473_bit0 -CO101474_bit0 -CO101475_bit0 -CO101476_bit0 -CO101477_bit0 -CO101478_bit0 -CO101479_bit0 -CO101480_bit0 -CO101481_bit0 -CO101482_bit0 -CO101483_bit0 -CO101484_bit0 -CO101485_bit0 -CO101486_bit0 -CO101487_bit0 -CO101488_bit0 -CO101489_bit0 -CO101490_bit0 -CO101491_bit0 -CO101492_bit0 -CO101493_bit0 -CO101494_bit0 -CO101495_bit0 -CO101496_bit0 -CO101497_bit0 -CO101498_bit0 -CO101499_bit0 -CO101500_bit0 -CO101501_bit0 -CO101502_bit0 -CO101503_bit0 -CO101504_bit0 -CO101505_bit0 -CO101506_bit0 -CO101507_bit0 -CO101508_bit0 -CO101509_bit0 -CO101510_bit0 -CO101511_bit0 -CO101512_bit0 -CO101513_bit0 -CO101514_bit0 -CO101515_bit0 -CO101516_bit0 -CO101517_bit0 -CO101518_bit0 -CO101519_bit0 -CO101520_bit0 -CO101521_bit0 -CO101522_bit0 -CO101523_bit0 -CO101524_bit0 -CO101525_bit0 -CO101526_bit0 -CO101527_bit0 -CO101528_bit0 -CO101529_bit0 -CO101530_bit0 -CO101531_bit0 -CO101532_bit0 -CO101533_bit0 -CO101534_bit0 -CO101535_bit0 -CO101536_bit0 -CO101537_bit0 -CO101538_bit0 -CO101539_bit0 -CO101540_bit0 -CO101541_bit0 -CO101542_bit0 -CO101543_bit0 -CO101544_bit0 -CO101545_bit0 CO101546_bit0 -CO101547_bit0 -CO101548_bit0 -CO101549_bit0 -CO101550_bit0 -CO101551_bit0 -CO101552_bit0 -CO101553_bit0 -CO101554_bit0 -CO101555_bit0 -CO101556_bit0 -CO101557_bit0 -CO101558_bit0 -CO101559_bit0 -CO101560_bit0 -CO101561_bit0 -CO101562_bit0 -CO101563_bit0 -CO101564_bit0 -CO101565_bit0 -CO101566_bit0 -CO101567_bit0 -CO101568_bit0 -CO101569_bit0 -CO101570_bit0 -CO101571_bit0 -CO101572_bit0 -CO101573_bit0 -CO101574_bit0 -CO101575_bit0 -CO101576_bit0 -CO101577_bit0 -CO101578_bit0 -CO101579_bit0 -CO101580_bit0 -CO101581_bit0 -CO101582_bit0 -CO101583_bit0 -CO101584_bit0 -CO101585_bit0 -CO101586_bit0 -CO101587_bit0 -CO101588_bit0 -CO101589_bit0 -CO101590_bit0 -CO101591_bit0 -CO101592_bit0 -CO101593_bit0 -CO101594_bit0 -CO101595_bit0 -CO101596_bit0 -CO101597_bit0 -CO101598_bit0 -CO101599_bit0 -CO101600_bit0 -CO101601_bit0 -CO101602_bit0 -CO101603_bit0 -CO101604_bit0 -CO101605_bit0 -CO101606_bit0 -CO101607_bit0 -CO101608_bit0 -CO101609_bit0 -CO101610_bit0 -CO101611_bit0 -CO101612_bit0 -CO101613_bit0 -CO101614_bit0 -CO101615_bit0 -CO101616_bit0 -CO101617_bit0 -CO101618_bit0 -CO101619_bit0 -CO101620_bit0 -CO101621_bit0 -CO101622_bit0 -CO101623_bit0 -CO101624_bit0 -CO101625_bit0 -CO101626_bit0 -CO101627_bit0 -CO101628_bit0 -CO101629_bit0 -CO101630_bit0 -CO101631_bit0 -CO101632_bit0 -CO101633_bit0 -CO101634_bit0 -CO101635_bit0 -CO101636_bit0 -CO101637_bit0 -CO101638_bit0 -CO101639_bit0 -CO101640_bit0 -CO101641_bit0 -CO101642_bit0 -CO101643_bit0 -CO101644_bit0 -CO101645_bit0 -CO101646_bit0 -CO101647_bit0 -CO101648_bit0 -CO101649_bit0 -CO101650_bit0 -CO101651_bit0 -CO101652_bit0 -CO101653_bit0 -CO101654_bit0 -CO101655_bit0 -CO101656_bit0 -CO101657_bit0 -CO101658_bit0 -CO101659_bit0 -CO101660_bit0 -CO101661_bit0 -CO101662_bit0 -CO101663_bit0 -CO101664_bit0 -CO101665_bit0 -CO101666_bit0 -CO101667_bit0 -CO101668_bit0 -CO101669_bit0 -CO101670_bit0 -CO101671_bit0 -CO101672_bit0 -CO101673_bit0 -CO101674_bit0 -CO101675_bit0 -CO101676_bit0 -CO101677_bit0 -CO101678_bit0 -CO101679_bit0 -CO101680_bit0 -CO101681_bit0 -CO101682_bit0 -CO101683_bit0 -CO101684_bit0 -CO101685_bit0 -CO101686_bit0 -CO101687_bit0 -CO101688_bit0 -CO101689_bit0 -CO101690_bit0 -CO101691_bit0 -CO101692_bit0 -CO101693_bit0 -CO101694_bit0 -CO101695_bit0 -CO101696_bit0 -CO101697_bit0 -CO101698_bit0 -CO101699_bit0 -CO101700_bit0 -CO101701_bit0 -CO101702_bit0 -CO101703_bit0 -CO101704_bit0 -CO101705_bit0 -CO101706_bit0 -CO101707_bit0 -CO101708_bit0 -CO101709_bit0 -CO101710_bit0 -CO101711_bit0 -CO101712_bit0 -CO101713_bit0 -CO101714_bit0 -CO101715_bit0 -CO101716_bit0 -CO101717_bit0 -CO101718_bit0 -CO101719_bit0 -CO101720_bit0 -CO101721_bit0 -CO101722_bit0 -CO101723_bit0 -CO101724_bit0 -CO101725_bit0 -CO101726_bit0 -CO101727_bit0 -CO101728_bit0 -CO101729_bit0 -CO101730_bit0 -CO101731_bit0 -CO101732_bit0 -CO101733_bit0 -CO101734_bit0 -CO101735_bit0 -CO101736_bit0 -CO101737_bit0 -CO101738_bit0 -CO101739_bit0 -CO101740_bit0 -CO101741_bit0 -CO101742_bit0 -CO101743_bit0 -CO101744_bit0 -CO101745_bit0 -CO101746_bit0 -CO101747_bit0 -CO101748_bit0 -CO101749_bit0 -CO101750_bit0 -CO101751_bit0 -CO101752_bit0 -CO101753_bit0 -CO101754_bit0 -CO101755_bit0 -CO101756_bit0 -CO101757_bit0 -CO101758_bit0 -CO101759_bit0 -CO101760_bit0 -CO101761_bit0 -CO101762_bit0 -CO101763_bit0 -CO101764_bit0 -CO101765_bit0 -CO101766_bit0 -CO101767_bit0 -CO101768_bit0 -CO101769_bit0 -CO101770_bit0 -CO101771_bit0 -CO101772_bit0 -CO101773_bit0 -CO101774_bit0 -CO101775_bit0 -CO101776_bit0 -CO101777_bit0 -CO101778_bit0 -CO101779_bit0 -CO101780_bit0 -CO101781_bit0 -CO101782_bit0 -CO101783_bit0 -CO101784_bit0 -CO101785_bit0 -CO101786_bit0 -CO101787_bit0 -CO101788_bit0 -CO101789_bit0 -CO101790_bit0 -CO101791_bit0 -CO101792_bit0 -CO101793_bit0 -CO101794_bit0 -CO101795_bit0 -CO101796_bit0 -CO101797_bit0 -CO101798_bit0 -CO101799_bit0 -CO101800_bit0 -CO101801_bit0 -CO101802_bit0 -CO101803_bit0 -CO101804_bit0 -CO101805_bit0 -CO101806_bit0 -CO101807_bit0 -CO101808_bit0 -CO101809_bit0 -CO101810_bit0 -CO101811_bit0 -CO101812_bit0 -CO101813_bit0 -CO101814_bit0 -CO101815_bit0 CO101816_bit0 -CO101817_bit0 -CO101818_bit0 -CO101819_bit0 -CO101820_bit0 -CO101821_bit0 -CO101822_bit0 -CO101823_bit0 -CO101824_bit0 -CO101825_bit0 -CO101826_bit0 -CO101827_bit0 -CO101828_bit0 -CO101829_bit0 -CO101830_bit0 -CO101831_bit0 -CO101832_bit0 -CO101833_bit0 -CO101834_bit0 -CO101835_bit0 -CO101836_bit0 -CO101837_bit0 -CO101838_bit0 -CO101839_bit0 -CO101840_bit0 -CO101841_bit0 -CO101842_bit0 -CO101843_bit0 -CO101844_bit0 -CO101845_bit0 -CO101846_bit0 -CO101847_bit0 -CO101848_bit0 -CO101849_bit0 -CO101850_bit0 -CO101851_bit0 -CO101852_bit0 -CO101853_bit0 -CO101854_bit0 -CO101855_bit0 -CO101856_bit0 -CO101857_bit0 -CO101858_bit0 -CO101859_bit0 -CO101860_bit0 -CO101861_bit0 -CO101862_bit0 -CO101863_bit0 -CO101864_bit0 -CO101865_bit0 -CO101866_bit0 -CO101867_bit0 -CO101868_bit0 -CO101869_bit0 -CO101870_bit0 -CO101871_bit0 -CO101872_bit0 -CO101873_bit0 -CO101874_bit0 -CO101875_bit0 -CO101876_bit0 -CO101877_bit0 -CO101878_bit0 -CO101879_bit0 -CO101880_bit0 -CO101881_bit0 -CO101882_bit0 -CO101883_bit0 -CO101884_bit0 -CO101885_bit0 -CO101886_bit0 -CO101887_bit0 -CO101888_bit0 -CO101889_bit0 -CO101890_bit0 -CO101891_bit0 -CO101892_bit0 -CO101893_bit0 -CO101894_bit0 -CO101895_bit0 -CO101896_bit0 -CO101897_bit0 -CO101898_bit0 CO101899_bit0 -CO101900_bit0 -CO101901_bit0 CO101902_bit0 -CO101903_bit0 -CO101904_bit0 -CO101905_bit0 -CO101906_bit0 -CO101907_bit0 -CO101908_bit0 -CO101909_bit0 -CO101910_bit0 -CO101911_bit0 -CO101912_bit0 -CO101913_bit0 -CO101914_bit0 -CO101915_bit0 -CO101916_bit0 -CO101917_bit0 -CO101918_bit0 -CO101919_bit0 -CO101920_bit0 -CO101921_bit0 -CO101922_bit0 -CO101923_bit0 -CO101924_bit0 -CO101925_bit0 -CO101926_bit0 -CO101927_bit0 -CO101928_bit0 -CO101929_bit0 -CO101930_bit0 -CO101931_bit0 -CO101932_bit0 -CO101933_bit0 -CO101934_bit0 -CO101935_bit0 -CO101936_bit0 -CO101937_bit0 -CO101938_bit0 -CO101939_bit0 -CO101940_bit0 -CO101941_bit0 -CO101942_bit0 -CO101943_bit0 -CO101944_bit0 -CO101945_bit0 -CO101946_bit0 -CO101947_bit0 -CO101948_bit0 -CO101949_bit0 -CO101950_bit0 CO101951_bit0 -CO101952_bit0 -CO101953_bit0 -CO101954_bit0 -CO101955_bit0 -CO101956_bit0 -CO101957_bit0 -CO101958_bit0 -CO101959_bit0 -CO101960_bit0 -CO101961_bit0 -CO101962_bit0 -CO101963_bit0 -CO101964_bit0 -CO101965_bit0 -CO101966_bit0 -CO101967_bit0 CO101968_bit0 -CO101969_bit0 -CO101970_bit0 -CO101971_bit0 -CO101972_bit0 -CO101973_bit0 -CO101974_bit0 -CO101975_bit0 -CO101976_bit0 -CO101977_bit0 -CO101978_bit0 -CO101979_bit0 -CO101980_bit0 -CO101981_bit0 -CO101982_bit0 -CO101983_bit0 -CO101984_bit0 -CO101985_bit0 -CO101986_bit0 -CO101987_bit0 -CO101988_bit0 -CO101989_bit0 
c Exit Code: 10
c Total time: 1176.3 s
#### 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 2/54 28536
Raw data (stat): 28536 (runsolver) R 28535 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899251168 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.0004 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 16255 0 0 0 963 33 0 0 25 0 1 0 899251168 69668864 16164 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17009 16164 1111 63 0 16946 0
vsize: 68036
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 17640 0 0 0 1961 36 0 0 25 0 1 0 899251168 75350016 17549 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18396 17549 1111 63 0 18333 0
vsize: 73584
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 17693 0 0 0 2961 36 0 0 25 0 1 0 899251168 75620352 17602 4294967295 134512640 134716908 3221224576 3221223248 134627257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18462 17602 1111 63 0 18399 0
vsize: 73848
[startup+40.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 17747 0 0 0 3961 36 0 0 25 0 1 0 899251168 75755520 17656 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18495 17656 1111 63 0 18432 0
vsize: 73980
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 17791 0 0 0 4961 36 0 0 25 0 1 0 899251168 76025856 17700 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18561 17700 1111 63 0 18498 0
vsize: 74244
[startup+60.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 17841 0 0 0 5961 36 0 0 25 0 1 0 899251168 76161024 17750 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17750 1111 63 0 18531 0
vsize: 74376
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 17885 0 0 0 6961 36 0 0 25 0 1 0 899251168 76431360 17794 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18660 17794 1111 63 0 18597 0
vsize: 74640
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 21980 0 0 0 7952 45 0 0 25 0 1 0 899251168 78712832 18463 4294967295 134512640 134716908 3221224576 3221220796 1074878527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19217 18463 1111 63 0 19154 0
vsize: 76868
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 26457 0 0 0 8941 56 0 0 25 0 1 0 899251168 78635008 18451 4294967295 134512640 134716908 3221224576 3221220620 1074873594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19198 18451 1111 63 0 19135 0
vsize: 76792
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 30757 0 0 0 9932 65 0 0 25 0 1 0 899251168 78598144 18449 4294967295 134512640 134716908 3221224576 3221220432 1074871264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19189 18449 1111 63 0 19126 0
vsize: 76756
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 36196 0 0 0 10920 78 0 0 25 0 1 0 899251168 78573568 18431 4294967295 134512640 134716908 3221224576 3221220620 1074873465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19183 18431 1111 63 0 19120 0
vsize: 76732
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 41228 0 0 0 11909 89 0 0 25 0 1 0 899251168 77344768 18195 4294967295 134512640 134716908 3221224576 3221223192 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18883 18195 1111 63 0 18820 0
vsize: 75532
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 47159 0 0 0 12896 102 0 0 25 0 1 0 899251168 77873152 18324 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19012 18324 1111 63 0 18949 0
vsize: 76048
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 52580 0 0 0 13886 112 0 0 25 0 1 0 899251168 78041088 18326 4294967295 134512640 134716908 3221224576 3221222544 1075961027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19053 18326 1111 63 0 18990 0
vsize: 76212
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 58286 0 0 0 14873 125 0 0 25 0 1 0 899251168 78540800 18412 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19175 18412 1111 63 0 19112 0
vsize: 76700
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 64317 0 0 0 15860 139 0 0 25 0 1 0 899251168 78503936 18400 4294967295 134512640 134716908 3221224576 3221220484 1074786531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19166 18400 1111 63 0 19103 0
vsize: 76664
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 70053 0 0 0 16848 151 0 0 25 0 1 0 899251168 78700544 18526 4294967295 134512640 134716908 3221224576 3221220540 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19214 18526 1111 63 0 19151 0
vsize: 76856
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 73973 0 0 0 17838 161 0 0 25 0 1 0 899251168 78917632 18512 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19267 18512 1111 63 0 19204 0
vsize: 77068
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 77421 0 0 0 18831 168 0 0 25 0 1 0 899251168 78245888 18416 4294967295 134512640 134716908 3221224576 3221221712 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19103 18416 1111 63 0 19040 0
vsize: 76412
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 80174 0 0 0 19823 176 0 0 25 0 1 0 899251168 79073280 18553 4294967295 134512640 134716908 3221224576 3221220620 1074873547 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19305 18553 1111 63 0 19242 0
vsize: 77220
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 83740 0 0 0 20813 187 0 0 25 0 1 0 899251168 78647296 18514 4294967295 134512640 134716908 3221224576 3221222400 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19201 18514 1111 63 0 19138 0
vsize: 76804
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 87959 0 0 0 21801 198 0 0 25 0 1 0 899251168 79360000 18619 4294967295 134512640 134716908 3221224576 3221220676 1075964278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19375 18619 1111 63 0 19312 0
vsize: 77500
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 91875 0 0 0 22792 207 0 0 25 0 1 0 899251168 78589952 18500 4294967295 134512640 134716908 3221224576 3221222960 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19187 18500 1111 63 0 19124 0
vsize: 76748
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 95125 0 0 0 23785 214 0 0 25 0 1 0 899251168 78589952 18500 4294967295 134512640 134716908 3221224576 3221223152 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19187 18500 1111 63 0 19124 0
vsize: 76748
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 98655 0 0 0 24777 223 0 0 25 0 1 0 899251168 79626240 18690 4294967295 134512640 134716908 3221224576 3221221128 1075240389 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19440 18690 1111 63 0 19377 0
vsize: 77760
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 101699 0 0 0 25768 230 0 0 25 0 1 0 899251168 79044608 18555 4294967295 134512640 134716908 3221224576 3221222640 1075961773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19298 18555 1111 63 0 19235 0
vsize: 77192
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 105222 0 0 0 26761 238 0 0 25 0 1 0 899251168 78868480 18568 4294967295 134512640 134716908 3221224576 3221221744 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19255 18568 1111 63 0 19192 0
vsize: 77020
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 107075 0 0 0 27756 243 0 0 25 0 1 0 899251168 78974976 18594 4294967295 134512640 134716908 3221224576 3221223296 134542598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19281 18594 1111 63 0 19218 0
vsize: 77124
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 108828 0 0 0 28752 247 0 0 25 0 1 0 899251168 78864384 18567 4294967295 134512640 134716908 3221224576 3221222992 1074119510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19254 18567 1111 63 0 19191 0
vsize: 77016
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 111293 0 0 0 29745 255 0 0 25 0 1 0 899251168 79437824 18601 4294967295 134512640 134716908 3221224576 3221221620 1074845882 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19394 18601 1111 63 0 19331 0
vsize: 77576
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 114654 0 0 0 30738 262 0 0 25 0 1 0 899251168 79409152 18669 4294967295 134512640 134716908 3221224576 3221220688 1074794557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19387 18669 1111 63 0 19324 0
vsize: 77548
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 117977 0 0 0 31729 271 0 0 25 0 1 0 899251168 79355904 18625 4294967295 134512640 134716908 3221224576 3221222000 1076061294 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19374 18625 1111 63 0 19311 0
vsize: 77496
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 121298 0 0 0 32721 280 0 0 25 0 1 0 899251168 78778368 18546 4294967295 134512640 134716908 3221224576 3221222080 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19233 18546 1111 63 0 19170 0
vsize: 76932
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 124865 0 0 0 33711 289 0 0 25 0 1 0 899251168 78671872 18520 4294967295 134512640 134716908 3221224576 3221223208 134535009 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19207 18520 1111 63 0 19144 0
vsize: 76828
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 128735 0 0 0 34703 298 0 0 25 0 1 0 899251168 78770176 18544 4294967295 134512640 134716908 3221224576 3221222768 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19231 18544 1111 63 0 19168 0
vsize: 76924
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 132269 0 0 0 35695 306 0 0 25 0 1 0 899251168 79257600 18631 4294967295 134512640 134716908 3221224576 3221221856 1074140378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19350 18633 1111 63 0 19287 0
vsize: 77400
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 135532 0 0 0 36686 315 0 0 25 0 1 0 899251168 79622144 18672 4294967295 134512640 134716908 3221224576 3221220780 1075564301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19439 18672 1111 63 0 19376 0
vsize: 77756
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 138912 0 0 0 37677 324 0 0 25 0 1 0 899251168 79835136 18739 4294967295 134512640 134716908 3221224576 3221221152 1076047903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19491 18739 1111 63 0 19428 0
vsize: 77964
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 142924 0 0 0 38669 333 0 0 25 0 1 0 899251168 80121856 18794 4294967295 134512640 134716908 3221224576 3221221120 1075088573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19561 18794 1111 63 0 19498 0
vsize: 78244
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 145336 0 0 0 39662 340 0 0 25 0 1 0 899251168 79396864 18697 4294967295 134512640 134716908 3221224576 3221222720 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19384 18697 1111 63 0 19321 0
vsize: 77536
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 148054 0 0 0 40656 346 0 0 25 0 1 0 899251168 80031744 18790 4294967295 134512640 134716908 3221224576 3221220720 1074969511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19539 18790 1111 63 0 19476 0
vsize: 78156
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 151017 0 0 0 41649 353 0 0 25 0 1 0 899251168 79855616 18759 4294967295 134512640 134716908 3221224576 3221222304 1075829485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19496 18759 1111 63 0 19433 0
vsize: 77984
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 153836 0 0 0 42642 361 0 0 25 0 1 0 899251168 80392192 18898 4294967295 134512640 134716908 3221224576 3221221520 1074620369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19627 18898 1111 63 0 19564 0
vsize: 78508
[startup+440.267 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28536
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 156416 0 0 0 43661 366 0 0 25 0 1 0 899251168 79589376 18744 4294967295 134512640 134716908 3221224576 3221222992 1074116193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19431 18744 1111 63 0 19368 0
vsize: 77724
[startup+450.268 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 28589
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 159568 0 0 0 44654 373 0 0 25 0 1 0 899251168 80089088 18835 4294967295 134512640 134716908 3221224576 3221220952 1075112505 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19553 18835 1111 63 0 19490 0
vsize: 78212
[startup+460.36 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 28589
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 162791 0 0 0 45655 381 0 0 25 0 1 0 899251168 79544320 18722 4294967295 134512640 134716908 3221224576 3221222576 1074918304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19420 18722 1111 63 0 19357 0
vsize: 77680
[startup+470.36 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 28589
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 166889 0 0 0 46646 391 0 0 25 0 1 0 899251168 80375808 18880 4294967295 134512640 134716908 3221224576 3221221728 1075969845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19623 18880 1111 63 0 19560 0
vsize: 78492
[startup+480.36 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 28589
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 170103 0 0 0 47638 398 0 0 25 0 1 0 899251168 79564800 18738 4294967295 134512640 134716908 3221224576 3221222960 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19425 18738 1111 63 0 19362 0
vsize: 77700
[startup+490.36 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 28589
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 172865 0 0 0 48632 404 0 0 25 0 1 0 899251168 80015360 18812 4294967295 134512640 134716908 3221224576 3221222304 1075829975 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19535 18812 1111 63 0 19472 0
vsize: 78140
[startup+500.361 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 28589
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 176288 0 0 0 49625 412 0 0 25 0 1 0 899251168 80371712 18849 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19622 18849 1111 63 0 19559 0
vsize: 78488
[startup+510.36 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 28589
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 178632 0 0 0 50620 417 0 0 25 0 1 0 899251168 80203776 18827 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19581 18827 1111 63 0 19518 0
vsize: 78324
[startup+520.361 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 28589
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 181120 0 0 0 51614 423 0 0 25 0 1 0 899251168 79556608 18736 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19423 18736 1111 63 0 19360 0
vsize: 77692
[startup+530.361 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 183173 0 0 0 52609 428 0 0 25 0 1 0 899251168 80039936 18819 4294967295 134512640 134716908 3221224576 3221220752 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19541 18819 1111 63 0 19478 0
vsize: 78164
[startup+540.362 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 185466 0 0 0 53604 434 0 0 25 0 1 0 899251168 80404480 18880 4294967295 134512640 134716908 3221224576 3221220620 1074873465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19630 18880 1111 63 0 19567 0
vsize: 78520
[startup+550.363 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 187490 0 0 0 54599 439 0 0 25 0 1 0 899251168 79761408 18739 4294967295 134512640 134716908 3221224576 3221222688 1074867331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19473 18739 1111 63 0 19410 0
vsize: 77892
[startup+560.363 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 190673 0 0 0 55590 448 0 0 25 0 1 0 899251168 79290368 18671 4294967295 134512640 134716908 3221224576 3221222516 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19358 18671 1111 63 0 19295 0
vsize: 77432
[startup+570.363 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 194835 0 0 0 56580 458 0 0 25 0 1 0 899251168 80236544 18839 4294967295 134512640 134716908 3221224576 3221221496 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19589 18839 1111 63 0 19526 0
vsize: 78356
[startup+580.373 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 198605 0 0 0 57571 468 0 0 25 0 1 0 899251168 79994880 18841 4294967295 134512640 134716908 3221224576 3221222304 1075828462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19530 18841 1111 63 0 19467 0
vsize: 78120
[startup+590.373 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 201774 0 0 0 58564 476 0 0 25 0 1 0 899251168 80445440 18891 4294967295 134512640 134716908 3221224576 3221220580 1074875775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19640 18891 1111 63 0 19577 0
vsize: 78560
[startup+600.373 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 205173 0 0 0 59556 484 0 0 25 0 1 0 899251168 80416768 18891 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19633 18891 1111 63 0 19570 0
vsize: 78532
[startup+610.374 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 209018 0 0 0 60548 493 0 0 25 0 1 0 899251168 79503360 18723 4294967295 134512640 134716908 3221224576 3221223204 1077374464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19410 18723 1111 63 0 19347 0
vsize: 77640
[startup+620.374 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 212877 0 0 0 61538 502 0 0 25 0 1 0 899251168 80416768 18886 4294967295 134512640 134716908 3221224576 3221220580 1074875808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19633 18886 1111 63 0 19570 0
vsize: 78532
[startup+630.374 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 216513 0 0 0 62529 511 0 0 25 0 1 0 899251168 79462400 18713 4294967295 134512640 134716908 3221224576 3221222688 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19400 18713 1111 63 0 19337 0
vsize: 77600
[startup+640.374 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 219600 0 0 0 63523 517 0 0 25 0 1 0 899251168 80429056 18896 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19636 18896 1111 63 0 19573 0
vsize: 78544
[startup+650.373 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 222549 0 0 0 64517 524 0 0 25 0 1 0 899251168 80273408 18856 4294967295 134512640 134716908 3221224576 3221220752 1074882604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19598 18856 1111 63 0 19535 0
vsize: 78392
[startup+660.373 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 225419 0 0 0 65510 531 0 0 25 0 1 0 899251168 79724544 18769 4294967295 134512640 134716908 3221224576 3221222536 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19464 18776 1111 63 0 19401 0
vsize: 77856
[startup+670.373 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 229340 0 0 0 66501 540 0 0 25 0 1 0 899251168 80146432 18817 4294967295 134512640 134716908 3221224576 3221220648 1074950201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19567 18817 1111 63 0 19504 0
vsize: 78268
[startup+680.374 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 231188 0 0 0 67497 544 0 0 25 0 1 0 899251168 79310848 18663 4294967295 134512640 134716908 3221224576 3221221856 1074139993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19363 18663 1111 63 0 19300 0
vsize: 77452
[startup+690.374 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 234235 0 0 0 68489 552 0 0 25 0 1 0 899251168 80007168 18783 4294967295 134512640 134716908 3221224576 3221220580 1074875787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19533 18783 1111 63 0 19470 0
vsize: 78132
[startup+700.374 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 237413 0 0 0 69483 559 0 0 25 0 1 0 899251168 79585280 18711 4294967295 134512640 134716908 3221224576 3221222576 1074916927 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19430 18711 1111 63 0 19367 0
vsize: 77720
[startup+710.375 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 240712 0 0 0 70474 568 0 0 25 0 1 0 899251168 79777792 18685 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19477 18687 1111 63 0 19414 0
vsize: 77908
[startup+720.375 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 243959 0 0 0 71466 576 0 0 25 0 1 0 899251168 79888384 18756 4294967295 134512640 134716908 3221224576 3221220736 1075094841 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19504 18756 1111 63 0 19441 0
vsize: 78016
[startup+730.374 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 247382 0 0 0 72458 585 0 0 25 0 1 0 899251168 80039936 18788 4294967295 134512640 134716908 3221224576 3221220620 1074873439 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19541 18788 1111 63 0 19478 0
vsize: 78164
[startup+740.374 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 250634 0 0 0 73449 593 0 0 25 0 1 0 899251168 80101376 18802 4294967295 134512640 134716908 3221224576 3221220620 1074873478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19556 18802 1111 63 0 19493 0
vsize: 78224
[startup+750.374 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 253012 0 0 0 74443 599 0 0 25 0 1 0 899251168 80044032 18822 4294967295 134512640 134716908 3221224576 3221220432 1074871270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19542 18822 1111 63 0 19479 0
vsize: 78168
[startup+760.374 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 256536 0 0 0 75435 608 0 0 25 0 1 0 899251168 80175104 18822 4294967295 134512640 134716908 3221224576 3221220620 1074873465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19574 18822 1111 63 0 19511 0
vsize: 78296
[startup+770.374 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28591
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 259405 0 0 0 76428 614 0 0 25 0 1 0 899251168 80035840 18815 4294967295 134512640 134716908 3221224576 3221220736 1075094796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19540 18815 1111 63 0 19477 0
vsize: 78160
[startup+780.375 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 262456 0 0 0 77422 621 0 0 25 0 1 0 899251168 79699968 18771 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19458 18771 1111 63 0 19395 0
vsize: 77832
[startup+790.375 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 264413 0 0 0 78417 626 0 0 25 0 1 0 899251168 79577088 18741 4294967295 134512640 134716908 3221224576 3221222672 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19428 18741 1111 63 0 19365 0
vsize: 77712
[startup+800.374 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 267044 0 0 0 79410 633 0 0 25 0 1 0 899251168 79884288 18784 4294967295 134512640 134716908 3221224576 3221221680 1074138614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19503 18784 1111 63 0 19440 0
vsize: 78012
[startup+810.374 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 270589 0 0 0 80403 640 0 0 25 0 1 0 899251168 80261120 18845 4294967295 134512640 134716908 3221224576 3221220796 1074878527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19595 18845 1111 63 0 19532 0
vsize: 78380
[startup+820.375 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 273919 0 0 0 81396 648 0 0 25 0 1 0 899251168 79577088 18741 4294967295 134512640 134716908 3221224576 3221221856 1074139993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19428 18741 1111 63 0 19365 0
vsize: 77712
[startup+830.375 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 276552 0 0 0 82390 653 0 0 25 0 1 0 899251168 80261120 18843 4294967295 134512640 134716908 3221224576 3221220620 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19595 18843 1111 63 0 19532 0
vsize: 78380
[startup+840.375 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 279659 0 0 0 83384 660 0 0 25 0 1 0 899251168 79458304 18712 4294967295 134512640 134716908 3221224576 3221222544 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19399 18712 1111 63 0 19336 0
vsize: 77596
[startup+850.375 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 282826 0 0 0 84375 669 0 0 25 0 1 0 899251168 79331328 18681 4294967295 134512640 134716908 3221224576 3221222480 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19368 18681 1111 63 0 19305 0
vsize: 77472
[startup+860.375 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 286591 0 0 0 85367 677 0 0 25 0 1 0 899251168 80297984 18853 4294967295 134512640 134716908 3221224576 3221221168 1074888099 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19604 18853 1111 63 0 19541 0
vsize: 78416
[startup+870.374 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 289428 0 0 0 86359 686 0 0 25 0 1 0 899251168 80068608 18797 4294967295 134512640 134716908 3221224576 3221220720 1074969499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19548 18797 1111 63 0 19485 0
vsize: 78192
[startup+880.375 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 291754 0 0 0 87352 692 0 0 25 0 1 0 899251168 79904768 18758 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19508 18758 1111 63 0 19445 0
vsize: 78032
[startup+890.375 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 294722 0 0 0 88345 700 0 0 25 0 1 0 899251168 79294464 18674 4294967295 134512640 134716908 3221224576 3221222496 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19359 18674 1111 63 0 19296 0
vsize: 77436
[startup+900.375 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 298063 0 0 0 89338 707 0 0 25 0 1 0 899251168 79298560 18675 4294967295 134512640 134716908 3221224576 3221223216 134651140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19360 18675 1111 63 0 19297 0
vsize: 77440
[startup+910.375 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 301130 0 0 0 90330 715 0 0 25 0 1 0 899251168 79880192 18775 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19502 18775 1111 63 0 19439 0
vsize: 78008
[startup+920.375 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 304457 0 0 0 91322 723 0 0 25 0 1 0 899251168 79392768 18698 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19383 18698 1111 63 0 19320 0
vsize: 77532
[startup+930.376 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 307434 0 0 0 92316 730 0 0 25 0 1 0 899251168 79966208 18793 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19523 18793 1111 63 0 19460 0
vsize: 78092
[startup+940.376 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 310972 0 0 0 93308 737 0 0 25 0 1 0 899251168 79392768 18698 4294967295 134512640 134716908 3221224576 3221222616 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19383 18698 1111 63 0 19320 0
vsize: 77532
[startup+950.376 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 314752 0 0 0 94300 746 0 0 25 0 1 0 899251168 80154624 18818 4294967295 134512640 134716908 3221224576 3221220960 1074972807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19569 18818 1111 63 0 19506 0
vsize: 78276
[startup+960.376 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 318952 0 0 0 95290 756 0 0 25 0 1 0 899251168 80236544 18894 4294967295 134512640 134716908 3221224576 3221222640 1075961756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19589 18894 1111 63 0 19526 0
vsize: 78356
[startup+970.376 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 322538 0 0 0 96283 763 0 0 25 0 1 0 899251168 80191488 18855 4294967295 134512640 134716908 3221224576 3221220620 1074873465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19578 18855 1111 63 0 19515 0
vsize: 78312
[startup+980.376 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 324022 0 0 0 97279 768 0 0 25 0 1 0 899251168 80166912 18848 4294967295 134512640 134716908 3221224576 3221220580 1074875787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19572 18848 1111 63 0 19509 0
vsize: 78288
[startup+990.377 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 327306 0 0 0 98272 774 0 0 25 0 1 0 899251168 79630336 18756 4294967295 134512640 134716908 3221224576 3221222576 1074916974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19441 18756 1111 63 0 19378 0
vsize: 77764
[startup+1000.38 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 330583 0 0 0 99263 783 0 0 25 0 1 0 899251168 79859712 18812 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19497 18812 1111 63 0 19434 0
vsize: 77988
[startup+1010.38 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 334772 0 0 0 100255 792 0 0 25 0 1 0 899251168 79630336 18756 4294967295 134512640 134716908 3221224576 3221222288 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19441 18756 1111 63 0 19378 0
vsize: 77764
[startup+1020.38 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 338249 0 0 0 101247 801 0 0 25 0 1 0 899251168 80351232 18867 4294967295 134512640 134716908 3221224576 3221220736 1074883551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19617 18867 1111 63 0 19554 0
vsize: 78468
[startup+1030.38 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 341619 0 0 0 102240 807 0 0 25 0 1 0 899251168 79622144 18754 4294967295 134512640 134716908 3221224576 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19439 18754 1111 63 0 19376 0
vsize: 77756
[startup+1040.38 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 345246 0 0 0 103233 815 0 0 25 0 1 0 899251168 80179200 18884 4294967295 134512640 134716908 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19575 18888 1111 63 0 19512 0
vsize: 78300
[startup+1050.38 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 348927 0 0 0 104224 824 0 0 25 0 1 0 899251168 80572416 18928 4294967295 134512640 134716908 3221224576 3221220736 1074794580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19671 18928 1111 63 0 19608 0
vsize: 78684
[startup+1060.38 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 352836 0 0 0 105214 834 0 0 25 0 1 0 899251168 79667200 18765 4294967295 134512640 134716908 3221224576 3221221920 1074839045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19450 18765 1111 63 0 19387 0
vsize: 77800
[startup+1070.38 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 357154 0 0 0 106204 844 0 0 25 0 1 0 899251168 80109568 18838 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19558 18838 1111 63 0 19495 0
vsize: 78232
[startup+1080.38 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 360277 0 0 0 107196 852 0 0 25 0 1 0 899251168 80445440 18894 4294967295 134512640 134716908 3221224576 3221220432 1074871203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19640 18894 1111 63 0 19577 0
vsize: 78560
[startup+1090.38 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 363554 0 0 0 108189 860 0 0 25 0 1 0 899251168 80461824 18904 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19644 18904 1111 63 0 19581 0
vsize: 78576
[startup+1100.38 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 367878 0 0 0 109179 870 0 0 25 0 1 0 899251168 80158720 18816 4294967295 134512640 134716908 3221224576 3221221544 1075112521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19570 18816 1111 63 0 19507 0
vsize: 78280
[startup+1110.38 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 372023 0 0 0 110171 878 0 0 25 0 1 0 899251168 80429056 18888 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19636 18888 1111 63 0 19573 0
vsize: 78544
[startup+1120.38 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 376508 0 0 0 111161 888 0 0 25 0 1 0 899251168 79724544 18779 4294967295 134512640 134716908 3221224576 3221221168 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19464 18779 1111 63 0 19401 0
vsize: 77856
[startup+1130.38 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 380823 0 0 0 112152 897 0 0 25 0 1 0 899251168 79589376 18746 4294967295 134512640 134716908 3221224576 3221221968 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19431 18746 1111 63 0 19368 0
vsize: 77724
[startup+1140.38 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 385343 0 0 0 113140 909 0 0 25 0 1 0 899251168 79589376 18746 4294967295 134512640 134716908 3221224576 3221222576 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19431 18746 1111 63 0 19368 0
vsize: 77724
[startup+1150.38 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 388488 0 0 0 114134 916 0 0 25 0 1 0 899251168 79671296 18766 4294967295 134512640 134716908 3221224576 3221222640 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19451 18766 1111 63 0 19388 0
vsize: 77804
[startup+1160.38 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 390744 0 0 0 115128 922 0 0 25 0 1 0 899251168 79671296 18766 4294967295 134512640 134716908 3221224576 3221222720 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19451 18766 1111 63 0 19388 0
vsize: 77804
[startup+1170.38 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 394035 0 0 0 116120 930 0 0 25 0 1 0 899251168 79671296 18766 4294967295 134512640 134716908 3221224576 3221222192 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19451 18766 1111 63 0 19388 0
vsize: 77804
[startup+1176.22 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 28593
Raw data (stat): 28536 (bsolo_lpr-v2) R 28535 21152 21151 0 -1 0 394035 0 0 0 116120 930 0 0 25 0 1 0 899251168 79671296 18766 4294967295 134512640 134716908 3221224576 3221222192 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19451 18766 1111 63 0 19388 0
vsize: 0

Child status: 10
Real time (s): 1176.22
CPU time (s): 1176.34
CPU user time (s): 1166.96
CPU system time (s): 9.38357
CPU usage (%): 100.011
Max. virtual memory (Kb): 78684
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	5046
#### END VERIFIER DATA ####