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

Namenormalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-l152lav.opb
MD5SUM9d4ce12b138a2bef65a1f401ec9d1f01
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4742
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 numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.33
Number of variables1989
Total number of constraints2086
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2085
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint1989

Trace number 40023

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 00:40:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28082 boxname=wulflinc2 idbench=1038 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  9d4ce12b138a2bef65a1f401ec9d1f01  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-l152lav.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-l152lav.opb
IDLAUNCH: 28082
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        916952 kB
Buffers:         20624 kB
Cached:          74492 kB
SwapCached:       1376 kB
Active:          19960 kB
Inactive:        77184 kB
HighTotal:      131008 kB
HighFree:        81592 kB
LowTotal:       903652 kB
LowFree:        835360 kB
SwapTotal:     2097136 kB
SwapFree:      2094692 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4980 kB
Slab:            14848 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 01:00:06 (client local time) WITH STATUS 10 IN 1175.33 SECONDS
stats: 28082 0 1175.33 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 394 constraints.
c preprocess terminated 74.458 s
c Initial Lower Bound: 4657
c Lower Bound Elapsed time: 0.5115
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 4783 @ 119.517
c NEW SOLUTION FOUND: 4769 @ 137.929
c NEW SOLUTION FOUND: 4768 @ 281.575
c NEW SOLUTION FOUND: 4765 @ 284.214
c NEW SOLUTION FOUND: 4762 @ 299.076
c NEW SOLUTION FOUND: 4760 @ 311.424
c NEW SOLUTION FOUND: 4753 @ 377.615
c NEW SOLUTION FOUND: 4749 @ 603.352
c NEW SOLUTION FOUND: 4743 @ 678.035
c NEW SOLUTION FOUND: 4742 @ 752.264
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: 1175.29 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.97 0.91 2/54 597
Raw data (stat): 597 (runsolver) R 596 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897390947 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+9.99962 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 16264 0 0 0 958 38 0 0 25 0 1 0 897390947 69804032 16173 4294967295 134512640 134716908 3221224576 3221223104 134542845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17042 16173 1111 63 0 16979 0
vsize: 68168
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 17640 0 0 0 1955 41 0 0 25 0 1 0 897390947 75350016 17549 4294967295 134512640 134716908 3221224576 3221223248 134627203 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.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 17693 0 0 0 2955 42 0 0 25 0 1 0 897390947 75620352 17602 4294967295 134512640 134716908 3221224576 3221223248 134627203 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.0007 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 17746 0 0 0 3955 42 0 0 25 0 1 0 897390947 75755520 17655 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18495 17655 1111 63 0 18432 0
vsize: 73980
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 17789 0 0 0 4955 42 0 0 25 0 1 0 897390947 76025856 17698 4294967295 134512640 134716908 3221224576 3221223248 134627257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18561 17698 1111 63 0 18498 0
vsize: 74244
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 17838 0 0 0 5955 42 0 0 25 0 1 0 897390947 76161024 17747 4294967295 134512640 134716908 3221224576 3221223248 134627247 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17747 1111 63 0 18531 0
vsize: 74376
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 17883 0 0 0 6955 42 0 0 25 0 1 0 897390947 76431360 17792 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18660 17792 1111 63 0 18597 0
vsize: 74640
[startup+80.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 22142 0 0 0 7945 52 0 0 25 0 1 0 897390947 78581760 18453 4294967295 134512640 134716908 3221224576 3221220620 1074873483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19185 18453 1111 63 0 19122 0
vsize: 76740
[startup+90.0015 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 26754 0 0 0 8935 62 0 0 25 0 1 0 897390947 78729216 18446 4294967295 134512640 134716908 3221224576 3221220804 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19221 18446 1111 63 0 19158 0
vsize: 76884
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 31518 0 0 0 9923 74 0 0 25 0 1 0 897390947 77930496 18338 4294967295 134512640 134716908 3221224576 3221222576 1074918266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19026 18338 1111 63 0 18963 0
vsize: 76104
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 37037 0 0 0 10909 88 0 0 25 0 1 0 897390947 77045760 18122 4294967295 134512640 134716908 3221224576 3221222576 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18810 18122 1111 63 0 18747 0
vsize: 75240
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 43101 0 0 0 11896 102 0 0 25 0 1 0 897390947 78454784 18382 4294967295 134512640 134716908 3221224576 3221220580 1074875789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19154 18382 1111 63 0 19091 0
vsize: 76616
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 48114 0 0 0 12883 114 0 0 25 0 1 0 897390947 77631488 18263 4294967295 134512640 134716908 3221224576 3221208540 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18953 18264 1111 63 0 18890 0
vsize: 75812
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 54359 0 0 0 13869 128 0 0 25 0 1 0 897390947 78438400 18430 4294967295 134512640 134716908 3221224576 3221222536 1074138306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19150 18430 1111 63 0 19087 0
vsize: 76600
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 59900 0 0 0 14857 140 0 0 25 0 1 0 897390947 77635584 18266 4294967295 134512640 134716908 3221224576 3221223216 134651168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18954 18266 1111 63 0 18891 0
vsize: 75816
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 65426 0 0 0 15844 153 0 0 25 0 1 0 897390947 78745600 18476 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19225 18476 1111 63 0 19162 0
vsize: 76900
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 70303 0 0 0 16834 163 0 0 25 0 1 0 897390947 78696448 18466 4294967295 134512640 134716908 3221224576 3221220736 1074794528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19213 18466 1111 63 0 19150 0
vsize: 76852
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 75464 0 0 0 17822 175 0 0 25 0 1 0 897390947 78602240 18445 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19190 18445 1111 63 0 19127 0
vsize: 76760
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 80447 0 0 0 18812 186 0 0 25 0 1 0 897390947 78991360 18531 4294967295 134512640 134716908 3221224576 3221220540 1074860608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19285 18531 1111 63 0 19222 0
vsize: 77140
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 86111 0 0 0 19799 199 0 0 25 0 1 0 897390947 79036416 18548 4294967295 134512640 134716908 3221224576 3221220580 1074875790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19296 18548 1111 63 0 19233 0
vsize: 77184
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 92126 0 0 0 20785 213 0 0 25 0 1 0 897390947 78938112 18525 4294967295 134512640 134716908 3221224576 3221220912 1075114265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19272 18525 1111 63 0 19209 0
vsize: 77088
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 98207 0 0 0 21772 226 0 0 25 0 1 0 897390947 78790656 18492 4294967295 134512640 134716908 3221224576 3221220580 1074875781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18492 1111 63 0 19173 0
vsize: 76944
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 104131 0 0 0 22759 239 0 0 25 0 1 0 897390947 78712832 18460 4294967295 134512640 134716908 3221224576 3221220804 1075115084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19217 18460 1111 63 0 19154 0
vsize: 76868
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 109498 0 0 0 23746 252 0 0 25 0 1 0 897390947 78692352 18475 4294967295 134512640 134716908 3221224576 3221220668 1075663457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19212 18475 1111 63 0 19149 0
vsize: 76848
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 115540 0 0 0 24732 266 0 0 25 0 1 0 897390947 78999552 18541 4294967295 134512640 134716908 3221224576 3221221616 1075971413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19287 18541 1111 63 0 19224 0
vsize: 77148
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 121074 0 0 0 25719 279 0 0 25 0 1 0 897390947 78180352 18399 4294967295 134512640 134716908 3221224576 3221222320 1075645384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19087 18399 1111 63 0 19024 0
vsize: 76348
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 126443 0 0 0 26706 293 0 0 25 0 1 0 897390947 78807040 18487 4294967295 134512640 134716908 3221224576 3221220736 1074794549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19240 18487 1111 63 0 19177 0
vsize: 76960
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 131787 0 0 0 27693 305 0 0 25 0 1 0 897390947 79089664 18561 4294967295 134512640 134716908 3221224576 3221220580 1074875766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19309 18561 1111 63 0 19246 0
vsize: 77236
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 137471 0 0 0 28680 318 0 0 25 0 1 0 897390947 79060992 18556 4294967295 134512640 134716908 3221224576 3221220620 1074873478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19302 18556 1111 63 0 19239 0
vsize: 77208
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 143501 0 0 0 29665 334 0 0 25 0 1 0 897390947 78782464 18488 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19234 18488 1111 63 0 19171 0
vsize: 76936
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 149332 0 0 0 30652 347 0 0 25 0 1 0 897390947 79044608 18547 4294967295 134512640 134716908 3221224576 3221220704 1075561201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19298 18547 1111 63 0 19235 0
vsize: 77192
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 154993 0 0 0 31638 361 0 0 25 0 1 0 897390947 77885440 18327 4294967295 134512640 134716908 3221224576 3221222640 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19015 18327 1111 63 0 18952 0
vsize: 76060
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 160959 0 0 0 32625 375 0 0 25 0 1 0 897390947 78950400 18529 4294967295 134512640 134716908 3221224576 3221221344 1076084399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19275 18529 1111 63 0 19212 0
vsize: 77100
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 166581 0 0 0 33612 388 0 0 25 0 1 0 897390947 78839808 18471 4294967295 134512640 134716908 3221224576 3221221496 1074950105 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19248 18471 1111 63 0 19185 0
vsize: 76992
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 172322 0 0 0 34598 402 0 0 25 0 1 0 897390947 78069760 18372 4294967295 134512640 134716908 3221224576 3221222208 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19060 18372 1111 63 0 18997 0
vsize: 76240
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 177098 0 0 0 35587 413 0 0 25 0 1 0 897390947 78450688 18452 4294967295 134512640 134716908 3221224576 3221222576 1074918476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19153 18452 1111 63 0 19090 0
vsize: 76612
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 180202 0 0 0 36579 421 0 0 25 0 1 0 897390947 78290944 18426 4294967295 134512640 134716908 3221224576 3221223296 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19114 18426 1111 63 0 19051 0
vsize: 76456
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 184140 0 0 0 37569 432 0 0 25 0 1 0 897390947 78225408 18410 4294967295 134512640 134716908 3221224576 3221222304 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19098 18410 1111 63 0 19035 0
vsize: 76392
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 188676 0 0 0 38558 443 0 0 25 0 1 0 897390947 78225408 18410 4294967295 134512640 134716908 3221224576 3221222480 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19098 18410 1111 63 0 19035 0
vsize: 76392
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 192892 0 0 0 39548 452 0 0 25 0 1 0 897390947 79077376 18555 4294967295 134512640 134716908 3221224576 3221220752 1074882614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19306 18555 1111 63 0 19243 0
vsize: 77224
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 197900 0 0 0 40537 465 0 0 25 0 1 0 897390947 79175680 18583 4294967295 134512640 134716908 3221224576 3221220580 1074875775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19330 18583 1111 63 0 19267 0
vsize: 77320
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 201954 0 0 0 41526 475 0 0 25 0 1 0 897390947 79020032 18561 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19292 18562 1111 63 0 19229 0
vsize: 77168
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 206317 0 0 0 42517 484 0 0 25 0 1 0 897390947 78802944 18502 4294967295 134512640 134716908 3221224576 3221222688 1074867337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19239 18502 1111 63 0 19176 0
vsize: 76956
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 211115 0 0 0 43505 496 0 0 25 0 1 0 897390947 78872576 18523 4294967295 134512640 134716908 3221224576 3221220804 1075115035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19256 18523 1111 63 0 19193 0
vsize: 77024
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 215885 0 0 0 44495 507 0 0 25 0 1 0 897390947 78401536 18453 4294967295 134512640 134716908 3221224576 3221221920 1074839104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19141 18453 1111 63 0 19078 0
vsize: 76564
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 220994 0 0 0 45483 519 0 0 25 0 1 0 897390947 78225408 18410 4294967295 134512640 134716908 3221224576 3221222768 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19098 18410 1111 63 0 19035 0
vsize: 76392
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 225388 0 0 0 46473 529 0 0 25 0 1 0 897390947 78495744 18444 4294967295 134512640 134716908 3221224576 3221222856 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19164 18444 1111 63 0 19101 0
vsize: 76656
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 229202 0 0 0 47463 540 0 0 25 0 1 0 897390947 78893056 18528 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19261 18528 1111 63 0 19198 0
vsize: 77044
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 233124 0 0 0 48454 549 0 0 25 0 1 0 897390947 78921728 18537 4294967295 134512640 134716908 3221224576 3221220688 1075895897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19268 18537 1111 63 0 19205 0
vsize: 77072
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 237006 0 0 0 49446 557 0 0 25 0 1 0 897390947 78565376 18461 4294967295 134512640 134716908 3221224576 3221222576 1074918533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19181 18461 1111 63 0 19118 0
vsize: 76724
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 240599 0 0 0 50438 565 0 0 25 0 1 0 897390947 78225408 18410 4294967295 134512640 134716908 3221224576 3221222648 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19098 18410 1111 63 0 19035 0
vsize: 76392
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 244944 0 0 0 51426 577 0 0 25 0 1 0 897390947 79228928 18574 4294967295 134512640 134716908 3221224576 3221220576 1075965308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19343 18574 1111 63 0 19280 0
vsize: 77372
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 249613 0 0 0 52415 589 0 0 25 0 1 0 897390947 79208448 18606 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19338 18606 1111 63 0 19275 0
vsize: 77352
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 254160 0 0 0 53405 598 0 0 25 0 1 0 897390947 79122432 18572 4294967295 134512640 134716908 3221224576 3221221088 1075084536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19317 18572 1111 63 0 19254 0
vsize: 77268
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 259038 0 0 0 54394 610 0 0 25 0 1 0 897390947 79167488 18576 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19328 18576 1111 63 0 19265 0
vsize: 77312
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 263965 0 0 0 55382 622 0 0 25 0 1 0 897390947 78659584 18477 4294967295 134512640 134716908 3221224576 3221222304 1075829485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19204 18477 1111 63 0 19141 0
vsize: 76816
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 268448 0 0 0 56370 634 0 0 25 0 1 0 897390947 78176256 18398 4294967295 134512640 134716908 3221224576 3221223304 134543283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19086 18398 1111 63 0 19023 0
vsize: 76344
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 273479 0 0 0 57359 646 0 0 25 0 1 0 897390947 79216640 18586 4294967295 134512640 134716908 3221224576 3221220588 1074788968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19340 18586 1111 63 0 19277 0
vsize: 77360
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 278366 0 0 0 58347 658 0 0 25 0 1 0 897390947 78872576 18498 4294967295 134512640 134716908 3221224576 3221220912 1075114265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19256 18498 1111 63 0 19193 0
vsize: 77024
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 283040 0 0 0 59335 669 0 0 25 0 1 0 897390947 78422016 18428 4294967295 134512640 134716908 3221224576 3221222480 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19146 18428 1111 63 0 19083 0
vsize: 76584
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 288177 0 0 0 60321 683 0 0 25 0 1 0 897390947 79278080 18622 4294967295 134512640 134716908 3221224576 3221221120 1075088581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19355 18622 1111 63 0 19292 0
vsize: 77420
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 291977 0 0 0 61311 693 0 0 25 0 1 0 897390947 79282176 18624 4294967295 134512640 134716908 3221224576 3221220620 1074873527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19356 18624 1111 63 0 19293 0
vsize: 77424
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 296243 0 0 0 62300 704 0 0 25 0 1 0 897390947 79286272 18603 4294967295 134512640 134716908 3221224576 3221220576 1075965272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19357 18603 1111 63 0 19294 0
vsize: 77428
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 300145 0 0 0 63290 715 0 0 25 0 1 0 897390947 78827520 18518 4294967295 134512640 134716908 3221224576 3221221604 1075277451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19245 18518 1111 63 0 19182 0
vsize: 76980
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 304708 0 0 0 64279 726 0 0 25 0 1 0 897390947 78680064 18482 4294967295 134512640 134716908 3221224576 3221222320 1075640393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19209 18482 1111 63 0 19146 0
vsize: 76836
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 308345 0 0 0 65270 735 0 0 25 0 1 0 897390947 78581760 18468 4294967295 134512640 134716908 3221224576 3221222304 1075828615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19185 18468 1111 63 0 19122 0
vsize: 76740
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 311859 0 0 0 66260 745 0 0 25 0 1 0 897390947 79237120 18593 4294967295 134512640 134716908 3221224576 3221220804 1075115112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19345 18593 1111 63 0 19282 0
vsize: 77380
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 315514 0 0 0 67251 755 0 0 25 0 1 0 897390947 79298560 18610 4294967295 134512640 134716908 3221224576 3221220736 1074794655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19360 18610 1111 63 0 19297 0
vsize: 77440
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 319585 0 0 0 68243 763 0 0 25 0 1 0 897390947 79273984 18600 4294967295 134512640 134716908 3221224576 3221220580 1074875787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19354 18600 1111 63 0 19291 0
vsize: 77416
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 324175 0 0 0 69232 774 0 0 25 0 1 0 897390947 78946304 18586 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19274 18586 1111 63 0 19211 0
vsize: 77096
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 329041 0 0 0 70220 787 0 0 25 0 1 0 897390947 79282176 18602 4294967295 134512640 134716908 3221224576 3221220620 1074873387 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19356 18602 1111 63 0 19293 0
vsize: 77424
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 333146 0 0 0 71210 797 0 0 25 0 1 0 897390947 79282176 18605 4294967295 134512640 134716908 3221224576 3221220580 1074875766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19356 18605 1111 63 0 19293 0
vsize: 77424
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 337377 0 0 0 72202 806 0 0 25 0 1 0 897390947 78430208 18460 4294967295 134512640 134716908 3221224576 3221222880 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19148 18460 1111 63 0 19085 0
vsize: 76592
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 341370 0 0 0 73191 817 0 0 25 0 1 0 897390947 79269888 18620 4294967295 134512640 134716908 3221224576 3221220620 1074873456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19353 18620 1111 63 0 19290 0
vsize: 77412
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 345246 0 0 0 74180 828 0 0 25 0 1 0 897390947 79261696 18603 4294967295 134512640 134716908 3221224576 3221220432 1074870814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19351 18603 1111 63 0 19288 0
vsize: 77404
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 350027 0 0 0 75169 839 0 0 25 0 1 0 897390947 78430208 18460 4294967295 134512640 134716908 3221224576 3221222832 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19148 18460 1111 63 0 19085 0
vsize: 76592
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 354252 0 0 0 76160 849 0 0 25 0 1 0 897390947 79237120 18599 4294967295 134512640 134716908 3221224576 3221220736 1074794557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19345 18599 1111 63 0 19282 0
vsize: 77380
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 358914 0 0 0 77149 859 0 0 25 0 1 0 897390947 79298560 18612 4294967295 134512640 134716908 3221224576 3221221176 1075850749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19360 18612 1111 63 0 19297 0
vsize: 77440
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 363712 0 0 0 78138 870 0 0 25 0 1 0 897390947 78430208 18460 4294967295 134512640 134716908 3221224576 3221222256 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19148 18460 1111 63 0 19085 0
vsize: 76592
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 367882 0 0 0 79127 882 0 0 25 0 1 0 897390947 78430208 18460 4294967295 134512640 134716908 3221224576 3221222544 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19148 18460 1111 63 0 19085 0
vsize: 76592
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 372861 0 0 0 80116 892 0 0 25 0 1 0 897390947 78430208 18460 4294967295 134512640 134716908 3221224576 3221222216 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19148 18460 1111 63 0 19085 0
vsize: 76592
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 377109 0 0 0 81108 901 0 0 25 0 1 0 897390947 79167488 18595 4294967295 134512640 134716908 3221224576 3221220828 1077410128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19328 18595 1111 63 0 19265 0
vsize: 77312
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 381789 0 0 0 82095 914 0 0 25 0 1 0 897390947 79306752 18608 4294967295 134512640 134716908 3221224576 3221220620 1074873547 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19362 18608 1111 63 0 19299 0
vsize: 77448
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 386470 0 0 0 83085 925 0 0 25 0 1 0 897390947 79306752 18612 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19362 18612 1111 63 0 19299 0
vsize: 77448
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 391199 0 0 0 84073 936 0 0 25 0 1 0 897390947 78430208 18460 4294967295 134512640 134716908 3221224576 3221222720 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19148 18460 1111 63 0 19085 0
vsize: 76592
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 395658 0 0 0 85063 947 0 0 25 0 1 0 897390947 78430208 18460 4294967295 134512640 134716908 3221224576 3221222496 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19148 18460 1111 63 0 19085 0
vsize: 76592
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 400060 0 0 0 86051 959 0 0 25 0 1 0 897390947 78430208 18460 4294967295 134512640 134716908 3221224576 3221222480 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19148 18460 1111 63 0 19085 0
vsize: 76592
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 404971 0 0 0 87041 969 0 0 25 0 1 0 897390947 78430208 18460 4294967295 134512640 134716908 3221224576 3221222480 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19148 18460 1111 63 0 19085 0
vsize: 76592
[startup+890.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 409708 0 0 0 88029 981 0 0 25 0 1 0 897390947 78430208 18460 4294967295 134512640 134716908 3221224576 3221222736 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19148 18460 1111 63 0 19085 0
vsize: 76592
[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 414383 0 0 0 89019 992 0 0 25 0 1 0 897390947 79339520 18616 4294967295 134512640 134716908 3221224576 3221220620 1074873486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19370 18616 1111 63 0 19307 0
vsize: 77480
[startup+910.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 417558 0 0 0 90011 1000 0 0 25 0 1 0 897390947 78430208 18460 4294967295 134512640 134716908 3221224576 3221222576 1074056570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19148 18460 1111 63 0 19085 0
vsize: 76592
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 421768 0 0 0 91000 1011 0 0 25 0 1 0 897390947 78430208 18460 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19148 18460 1111 63 0 19085 0
vsize: 76592
[startup+930.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 425142 0 0 0 91991 1020 0 0 25 0 1 0 897390947 79257600 18598 4294967295 134512640 134716908 3221224576 3221220796 1074878533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19350 18598 1111 63 0 19287 0
vsize: 77400
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 429771 0 0 0 92980 1031 0 0 25 0 1 0 897390947 79458304 18650 4294967295 134512640 134716908 3221224576 3221220804 1075114991 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19399 18650 1111 63 0 19336 0
vsize: 77596
[startup+950.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 434189 0 0 0 93969 1042 0 0 25 0 1 0 897390947 79278080 18612 4294967295 134512640 134716908 3221224576 3221220912 1075114265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19355 18612 1111 63 0 19292 0
vsize: 77420
[startup+960.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 438986 0 0 0 94958 1054 0 0 25 0 1 0 897390947 78675968 18520 4294967295 134512640 134716908 3221224576 3221222576 1074916513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19208 18520 1111 63 0 19145 0
vsize: 76832
[startup+970.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 443576 0 0 0 95947 1065 0 0 25 0 1 0 897390947 79269888 18622 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19353 18622 1111 63 0 19290 0
vsize: 77412
[startup+980.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 448698 0 0 0 96935 1077 0 0 25 0 1 0 897390947 79306752 18610 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19362 18610 1111 63 0 19299 0
vsize: 77448
[startup+990.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 453611 0 0 0 97923 1090 0 0 25 0 1 0 897390947 79183872 18577 4294967295 134512640 134716908 3221224576 3221220620 1074873347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19332 18577 1111 63 0 19269 0
vsize: 77328
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 457854 0 0 0 98912 1101 0 0 25 0 1 0 897390947 79269888 18600 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19353 18600 1111 63 0 19290 0
vsize: 77412
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 462981 0 0 0 99900 1112 0 0 25 0 1 0 897390947 79425536 18647 4294967295 134512640 134716908 3221224576 3221220720 1074969499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19391 18647 1111 63 0 19328 0
vsize: 77564
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 468038 0 0 0 100888 1125 0 0 25 0 1 0 897390947 78860288 18565 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19253 18565 1111 63 0 19190 0
vsize: 77012
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 472998 0 0 0 101876 1138 0 0 25 0 1 0 897390947 79597568 18681 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19433 18681 1111 63 0 19370 0
vsize: 77732
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 477771 0 0 0 102863 1150 0 0 25 0 1 0 897390947 79241216 18601 4294967295 134512640 134716908 3221224576 3221220536 1075964730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19346 18601 1111 63 0 19283 0
vsize: 77384
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 482640 0 0 0 103852 1162 0 0 25 0 1 0 897390947 78430208 18460 4294967295 134512640 134716908 3221224576 3221221536 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19148 18460 1111 63 0 19085 0
vsize: 76592
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 487584 0 0 0 104839 1174 0 0 25 0 1 0 897390947 79745024 18720 4294967295 134512640 134716908 3221224576 3221220752 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19469 18720 1111 63 0 19406 0
vsize: 77876
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 492578 0 0 0 105828 1186 0 0 25 0 1 0 897390947 79351808 18628 4294967295 134512640 134716908 3221224576 3221221408 1075115312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19373 18628 1111 63 0 19310 0
vsize: 77492
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 497007 0 0 0 106818 1196 0 0 25 0 1 0 897390947 79470592 18658 4294967295 134512640 134716908 3221224576 3221220736 1074794528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19402 18658 1111 63 0 19339 0
vsize: 77608
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 501725 0 0 0 107808 1206 0 0 25 0 1 0 897390947 78958592 18570 4294967295 134512640 134716908 3221224576 3221222488 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19277 18581 1111 63 0 19214 0
vsize: 77108
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 506925 0 0 0 108797 1218 0 0 25 0 1 0 897390947 79425536 18637 4294967295 134512640 134716908 3221224576 3221220944 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19391 18637 1111 63 0 19328 0
vsize: 77564
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 511802 0 0 0 109784 1230 0 0 25 0 1 0 897390947 78868480 18567 4294967295 134512640 134716908 3221224576 3221222576 1074916929 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19255 18567 1111 63 0 19192 0
vsize: 77020
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 516730 0 0 0 110773 1242 0 0 25 0 1 0 897390947 79523840 18671 4294967295 134512640 134716908 3221224576 3221220908 1076111470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19415 18671 1111 63 0 19352 0
vsize: 77660
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 522053 0 0 0 111761 1255 0 0 25 0 1 0 897390947 79695872 18704 4294967295 134512640 134716908 3221224576 3221221344 1076083593 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19457 18704 1111 63 0 19394 0
vsize: 77828
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 527287 0 0 0 112748 1268 0 0 25 0 1 0 897390947 79720448 18711 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19463 18711 1111 63 0 19400 0
vsize: 77852
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 531982 0 0 0 113736 1280 0 0 25 0 1 0 897390947 79306752 18614 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19362 18614 1111 63 0 19299 0
vsize: 77448
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 536841 0 0 0 114726 1290 0 0 25 0 1 0 897390947 78581760 18497 4294967295 134512640 134716908 3221224576 3221222000 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19185 18497 1111 63 0 19122 0
vsize: 76740
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 597
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 542066 0 0 0 115713 1303 0 0 25 0 1 0 897390947 78778368 18545 4294967295 134512640 134716908 3221224576 3221223296 134556503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19233 18545 1111 63 0 19170 0
vsize: 76932
[startup+1175.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 643
Raw data (stat): 597 (bsolo_lpr-v2) R 596 31399 31398 0 -1 0 542066 0 0 0 115713 1303 0 0 25 0 1 0 897390947 78778368 18545 4294967295 134512640 134716908 3221224576 3221223296 134556503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19233 18545 1111 63 0 19170 0
vsize: 0

Child status: 10
Real time (s): 1175.19
CPU time (s): 1175.33
CPU user time (s): 1162.19
CPU system time (s): 13.135
CPU usage (%): 100.011
Max. virtual memory (Kb): 77876
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	4742
#### END VERIFIER DATA ####