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/miplib/normalized-mps-v2-20-10-l152lav.opb
MD5SUM00855a9538cee8df79108d56ee6867b4
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
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 numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.28
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 39907

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        772740 kB
Buffers:         33992 kB
Cached:         203812 kB
SwapCached:        604 kB
Active:          45840 kB
Inactive:       194044 kB
HighTotal:      131008 kB
HighFree:        12348 kB
LowTotal:       903652 kB
LowFree:        760392 kB
SwapTotal:     2097136 kB
SwapFree:      2095596 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            16572 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 22:29:35 (client local time) WITH STATUS 10 IN 1175.28 SECONDS
stats: 27960 0 1175.28 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.655 s
c Initial Lower Bound: 4657
c Lower Bound Elapsed time: 0.617
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 5329 @ 193.766
c NEW SOLUTION FOUND: 5327 @ 194.091
c NEW SOLUTION FOUND: 5322 @ 194.376
c NEW SOLUTION FOUND: 5320 @ 194.665
c NEW SOLUTION FOUND: 5317 @ 199.727
c NEW SOLUTION FOUND: 5314 @ 202.159
c NEW SOLUTION FOUND: 5304 @ 206.111
c NEW SOLUTION FOUND: 5157 @ 227.337
c NEW SOLUTION FOUND: 5152 @ 230.259
c NEW SOLUTION FOUND: 5148 @ 234.547
c NEW SOLUTION FOUND: 5130 @ 253.301
c NEW SOLUTION FOUND: 5128 @ 275.905
c NEW SOLUTION FOUND: 5124 @ 284.296
c NEW SOLUTION FOUND: 5123 @ 308.432
c NEW SOLUTION FOUND: 5121 @ 340.144
c NEW SOLUTION FOUND: 5119 @ 348.649
c NEW SOLUTION FOUND: 5118 @ 354.257
c NEW SOLUTION FOUND: 5068 @ 415.968
c NEW SOLUTION FOUND: 5046 @ 496.465
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.23 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.94 0.98 0.91 1/54 9037
Raw data (stat): 9037 (runsolver) R 9036 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896484002 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.0002 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 16307 0 0 0 965 33 0 0 25 0 1 0 896484002 69939200 16216 4294967295 134512640 134716908 3221224576 3221223080 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17075 16216 1111 63 0 17012 0
vsize: 68300
[startup+20.0015 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 17640 0 0 0 1961 37 0 0 25 0 1 0 896484002 75350016 17549 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18396 17549 1111 63 0 18333 0
vsize: 73584
[startup+30.0022 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 17697 0 0 0 2961 37 0 0 25 0 1 0 896484002 75620352 17606 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18462 17606 1111 63 0 18399 0
vsize: 73848
[startup+40.0025 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 17747 0 0 0 3960 38 0 0 25 0 1 0 896484002 75755520 17656 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18495 17656 1111 63 0 18432 0
vsize: 73980
[startup+50.0027 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 17791 0 0 0 4959 39 0 0 25 0 1 0 896484002 76025856 17700 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18561 17700 1111 63 0 18498 0
vsize: 74244
[startup+60.0025 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 17841 0 0 0 5959 39 0 0 25 0 1 0 896484002 76161024 17750 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18594 17750 1111 63 0 18531 0
vsize: 74376
[startup+70.0036 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 17885 0 0 0 6959 39 0 0 25 0 1 0 896484002 76431360 17794 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18660 17794 1111 63 0 18597 0
vsize: 74640
[startup+80.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 21981 0 0 0 7951 48 0 0 25 0 1 0 896484002 78712832 18464 4294967295 134512640 134716908 3221224576 3221220620 1074873379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19217 18464 1111 63 0 19154 0
vsize: 76868
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 26462 0 0 0 8940 58 0 0 25 0 1 0 896484002 78635008 18456 4294967295 134512640 134716908 3221224576 3221221496 1074950131 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19198 18456 1111 63 0 19135 0
vsize: 76792
[startup+100.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 30757 0 0 0 9929 69 0 0 25 0 1 0 896484002 78598144 18449 4294967295 134512640 134716908 3221224576 3221220848 1074960946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19189 18449 1111 63 0 19126 0
vsize: 76756
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 36201 0 0 0 10916 83 0 0 25 0 1 0 896484002 78573568 18436 4294967295 134512640 134716908 3221224576 3221220752 1074882601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19183 18436 1111 63 0 19120 0
vsize: 76732
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 41678 0 0 0 11904 94 0 0 25 0 1 0 896484002 78585856 18420 4294967295 134512640 134716908 3221224576 3221220952 1075112553 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19186 18420 1111 63 0 19123 0
vsize: 76744
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 47338 0 0 0 12892 107 0 0 25 0 1 0 896484002 78544896 18411 4294967295 134512640 134716908 3221224576 3221220944 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19176 18411 1111 63 0 19113 0
vsize: 76704
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 53052 0 0 0 13879 120 0 0 25 0 1 0 896484002 77033472 18119 4294967295 134512640 134716908 3221224576 3221222672 1074153677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18807 18119 1111 63 0 18744 0
vsize: 75228
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 58964 0 0 0 14867 132 0 0 25 0 1 0 896484002 78540800 18408 4294967295 134512640 134716908 3221224576 3221220804 1075115141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19175 18408 1111 63 0 19112 0
vsize: 76700
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 64970 0 0 0 15852 147 0 0 25 0 1 0 896484002 78503936 18398 4294967295 134512640 134716908 3221224576 3221221600 1074810486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19166 18398 1111 63 0 19103 0
vsize: 76664
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 70489 0 0 0 16839 160 0 0 25 0 1 0 896484002 78553088 18491 4294967295 134512640 134716908 3221224576 3221222688 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19178 18491 1111 63 0 19115 0
vsize: 76712
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 74558 0 0 0 17829 170 0 0 25 0 1 0 896484002 78659584 18485 4294967295 134512640 134716908 3221224576 3221221680 1074138614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19204 18485 1111 63 0 19141 0
vsize: 76816
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 77876 0 0 0 18822 178 0 0 25 0 1 0 896484002 79056896 18555 4294967295 134512640 134716908 3221224576 3221220800 1074960909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19301 18555 1111 63 0 19238 0
vsize: 77204
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 81057 0 0 0 19814 186 0 0 25 0 1 0 896484002 78712832 18522 4294967295 134512640 134716908 3221224576 3221221680 1074138863 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19217 18522 1111 63 0 19154 0
vsize: 76868
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 84815 0 0 0 20803 196 0 0 25 0 1 0 896484002 79167488 18560 4294967295 134512640 134716908 3221224576 3221221620 1074846216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19328 18560 1111 63 0 19265 0
vsize: 77312
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 88770 0 0 0 21794 205 0 0 25 0 1 0 896484002 78487552 18475 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19162 18475 1111 63 0 19099 0
vsize: 76648
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 92634 0 0 0 22784 216 0 0 25 0 1 0 896484002 79183872 18566 4294967295 134512640 134716908 3221224576 3221221104 1076046840 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19332 18566 1111 63 0 19269 0
vsize: 77328
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 95699 0 0 0 23775 224 0 0 25 0 1 0 896484002 78733312 18535 4294967295 134512640 134716908 3221224576 3221223296 134592424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19222 18535 1111 63 0 19159 0
vsize: 76888
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 99168 0 0 0 24766 233 0 0 25 0 1 0 896484002 78872576 18569 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19256 18569 1111 63 0 19193 0
vsize: 77024
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 102210 0 0 0 25758 241 0 0 25 0 1 0 896484002 78716928 18531 4294967295 134512640 134716908 3221224576 3221221920 1074839053 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19218 18531 1111 63 0 19155 0
vsize: 76872
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 105727 0 0 0 26749 251 0 0 25 0 1 0 896484002 79495168 18680 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19408 18680 1111 63 0 19345 0
vsize: 77632
[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 107364 0 0 0 27744 256 0 0 25 0 1 0 896484002 79511552 18658 4294967295 134512640 134716908 3221224576 3221220620 1074873483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19412 18658 1111 63 0 19349 0
vsize: 77648
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 109079 0 0 0 28739 261 0 0 25 0 1 0 896484002 79376384 18608 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19379 18608 1111 63 0 19316 0
vsize: 77516
[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 111592 0 0 0 29730 270 0 0 25 0 1 0 896484002 79642624 18691 4294967295 134512640 134716908 3221224576 3221220712 1075112337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19444 18691 1111 63 0 19381 0
vsize: 77776
[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 114796 0 0 0 30722 279 0 0 25 0 1 0 896484002 79609856 18716 4294967295 134512640 134716908 3221224576 3221220620 1074873554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19436 18716 1111 63 0 19373 0
vsize: 77744
[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 118142 0 0 0 31714 287 0 0 25 0 1 0 896484002 78761984 18542 4294967295 134512640 134716908 3221224576 3221222256 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19229 18542 1111 63 0 19166 0
vsize: 76916
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 121388 0 0 0 32706 294 0 0 25 0 1 0 896484002 79355904 18627 4294967295 134512640 134716908 3221224576 3221220756 1075115109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19374 18627 1111 63 0 19311 0
vsize: 77496
[startup+340.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 124903 0 0 0 33697 304 0 0 25 0 1 0 896484002 79163392 18553 4294967295 134512640 134716908 3221224576 3221220848 1074961240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19327 18553 1111 63 0 19264 0
vsize: 77308
[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 128803 0 0 0 34686 314 0 0 25 0 1 0 896484002 79118336 18595 4294967295 134512640 134716908 3221224576 3221222856 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19316 18595 1111 63 0 19253 0
vsize: 77264
[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 132322 0 0 0 35677 324 0 0 25 0 1 0 896484002 79622144 18684 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19439 18684 1111 63 0 19376 0
vsize: 77756
[startup+370.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 135532 0 0 0 36669 332 0 0 25 0 1 0 896484002 79622144 18672 4294967295 134512640 134716908 3221224576 3221220912 1075114277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19439 18672 1111 63 0 19376 0
vsize: 77756
[startup+380.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 138810 0 0 0 37661 340 0 0 25 0 1 0 896484002 79306752 18643 4294967295 134512640 134716908 3221224576 3221222576 1074918280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19362 18643 1111 63 0 19299 0
vsize: 77448
[startup+390.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 142826 0 0 0 38652 350 0 0 25 0 1 0 896484002 79396864 18697 4294967295 134512640 134716908 3221224576 3221222600 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19384 18697 1111 63 0 19321 0
vsize: 77536
[startup+400.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 145314 0 0 0 39646 355 0 0 25 0 1 0 896484002 80064512 18794 4294967295 134512640 134716908 3221224576 3221220580 1074875773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19547 18794 1111 63 0 19484 0
vsize: 78188
[startup+410.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 147914 0 0 0 40639 363 0 0 25 0 1 0 896484002 79978496 18779 4294967295 134512640 134716908 3221224576 3221221168 1074884314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19526 18779 1111 63 0 19463 0
vsize: 78104
[startup+420.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 150961 0 0 0 41630 372 0 0 25 0 1 0 896484002 79966208 18773 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19523 18773 1111 63 0 19460 0
vsize: 78092
[startup+430.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 153833 0 0 0 42623 379 0 0 25 0 1 0 896484002 80392192 18895 4294967295 134512640 134716908 3221224576 3221220620 1074873537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19627 18895 1111 63 0 19564 0
vsize: 78508
[startup+440.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 156219 0 0 0 43616 386 0 0 25 0 1 0 896484002 79491072 18720 4294967295 134512640 134716908 3221224576 3221223148 134542371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19407 18720 1111 63 0 19344 0
vsize: 77628
[startup+450.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 159443 0 0 0 44607 395 0 0 25 0 1 0 896484002 79458304 18712 4294967295 134512640 134716908 3221224576 3221222312 1077378596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19399 18712 1111 63 0 19336 0
vsize: 77596
[startup+460.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 162726 0 0 0 45598 404 0 0 25 0 1 0 896484002 80355328 18867 4294967295 134512640 134716908 3221224576 3221220620 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19618 18867 1111 63 0 19555 0
vsize: 78472
[startup+470.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 166887 0 0 0 46589 413 0 0 25 0 1 0 896484002 80375808 18878 4294967295 134512640 134716908 3221224576 3221220668 1075663522 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19623 18878 1111 63 0 19560 0
vsize: 78492
[startup+480.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 169956 0 0 0 47582 421 0 0 25 0 1 0 896484002 80154624 18850 4294967295 134512640 134716908 3221224576 3221220580 1074875787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19569 18850 1111 63 0 19506 0
vsize: 78276
[startup+490.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 172762 0 0 0 48573 430 0 0 25 0 1 0 896484002 79446016 18709 4294967295 134512640 134716908 3221224576 3221222096 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19396 18709 1111 63 0 19333 0
vsize: 77584
[startup+500.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 176256 0 0 0 49565 438 0 0 25 0 1 0 896484002 80199680 18856 4294967295 134512640 134716908 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19580 18856 1111 63 0 19517 0
vsize: 78320
[startup+510.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 178634 0 0 0 50559 445 0 0 25 0 1 0 896484002 80203776 18829 4294967295 134512640 134716908 3221224576 3221220784 1074815197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19581 18829 1111 63 0 19518 0
vsize: 78324
[startup+520.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 181143 0 0 0 51552 451 0 0 25 0 1 0 896484002 79556608 18736 4294967295 134512640 134716908 3221224576 3221223276 134535620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19423 18736 1111 63 0 19360 0
vsize: 77692
[startup+530.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 183297 0 0 0 52546 457 0 0 25 0 1 0 896484002 80039936 18818 4294967295 134512640 134716908 3221224576 3221220620 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19541 18818 1111 63 0 19478 0
vsize: 78164
[startup+540.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 185467 0 0 0 53540 464 0 0 25 0 1 0 896484002 80404480 18881 4294967295 134512640 134716908 3221224576 3221220544 1074872820 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19630 18881 1111 63 0 19567 0
vsize: 78520
[startup+550.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 187529 0 0 0 54534 470 0 0 25 0 1 0 896484002 79564800 18738 4294967295 134512640 134716908 3221224576 3221222856 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19425 18738 1111 63 0 19362 0
vsize: 77700
[startup+560.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 190784 0 0 0 55526 478 0 0 25 0 1 0 896484002 79990784 18778 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19529 18778 1111 63 0 19466 0
vsize: 78116
[startup+570.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 194836 0 0 0 56517 487 0 0 25 0 1 0 896484002 80236544 18840 4294967295 134512640 134716908 3221224576 3221220544 1074872796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19589 18840 1111 63 0 19526 0
vsize: 78356
[startup+580.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 198743 0 0 0 57509 495 0 0 25 0 1 0 896484002 80330752 18859 4294967295 134512640 134716908 3221224576 3221220620 1074873379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19612 18859 1111 63 0 19549 0
vsize: 78448
[startup+590.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 201774 0 0 0 58502 502 0 0 25 0 1 0 896484002 80445440 18891 4294967295 134512640 134716908 3221224576 3221220432 1074871225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19640 18891 1111 63 0 19577 0
vsize: 78560
[startup+600.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 205253 0 0 0 59493 511 0 0 25 0 1 0 896484002 79667200 18763 4294967295 134512640 134716908 3221224576 3221221920 1074839014 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19450 18763 1111 63 0 19387 0
vsize: 77800
[startup+610.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 209137 0 0 0 60486 519 0 0 25 0 1 0 896484002 80121856 18839 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19561 18839 1111 63 0 19498 0
vsize: 78244
[startup+620.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 213051 0 0 0 61478 527 0 0 25 0 1 0 896484002 79667200 18763 4294967295 134512640 134716908 3221224576 3221223232 134536624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19450 18763 1111 63 0 19387 0
vsize: 77800
[startup+630.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 216702 0 0 0 62470 535 0 0 25 0 1 0 896484002 80367616 18869 4294967295 134512640 134716908 3221224576 3221221640 1075007302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19621 18869 1111 63 0 19558 0
vsize: 78484
[startup+640.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 219747 0 0 0 63462 543 0 0 25 0 1 0 896484002 79589376 18744 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19431 18744 1111 63 0 19368 0
vsize: 77724
[startup+650.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 222751 0 0 0 64456 550 0 0 25 0 1 0 896484002 80064512 18824 4294967295 134512640 134716908 3221224576 3221220620 1074873541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19547 18824 1111 63 0 19484 0
vsize: 78188
[startup+660.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 225575 0 0 0 65449 556 0 0 25 0 1 0 896484002 80179200 18825 4294967295 134512640 134716908 3221224576 3221220544 1074872864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19575 18825 1111 63 0 19512 0
vsize: 78300
[startup+670.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 229460 0 0 0 66441 564 0 0 25 0 1 0 896484002 80166912 18819 4294967295 134512640 134716908 3221224576 3221220804 1075115051 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19572 18819 1111 63 0 19509 0
vsize: 78288
[startup+680.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 231339 0 0 0 67435 571 0 0 25 0 1 0 896484002 79253504 18662 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19349 18662 1111 63 0 19286 0
vsize: 77396
[startup+690.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 234398 0 0 0 68428 578 0 0 25 0 1 0 896484002 79339520 18683 4294967295 134512640 134716908 3221224576 3221223216 134651140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19370 18683 1111 63 0 19307 0
vsize: 77480
[startup+700.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 237666 0 0 0 69420 586 0 0 25 0 1 0 896484002 80072704 18787 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19549 18787 1111 63 0 19486 0
vsize: 78196
[startup+710.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 240873 0 0 0 70414 592 0 0 25 0 1 0 896484002 79253504 18662 4294967295 134512640 134716908 3221224576 3221222528 1074153680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19349 18662 1111 63 0 19286 0
vsize: 77396
[startup+720.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 244191 0 0 0 71406 600 0 0 25 0 1 0 896484002 79253504 18662 4294967295 134512640 134716908 3221224576 3221222200 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19349 18662 1111 63 0 19286 0
vsize: 77396
[startup+730.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 247634 0 0 0 72398 608 0 0 25 0 1 0 896484002 80162816 18822 4294967295 134512640 134716908 3221224576 3221221168 1074886136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19571 18822 1111 63 0 19508 0
vsize: 78284
[startup+740.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 250843 0 0 0 73390 617 0 0 25 0 1 0 896484002 79745024 18774 4294967295 134512640 134716908 3221224576 3221221692 1077404753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19469 18774 1111 63 0 19406 0
vsize: 77876
[startup+750.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 253239 0 0 0 74384 622 0 0 25 0 1 0 896484002 79560704 18737 4294967295 134512640 134716908 3221224576 3221222440 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19424 18737 1111 63 0 19361 0
vsize: 77696
[startup+760.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 256914 0 0 0 75375 631 0 0 25 0 1 0 896484002 80289792 18873 4294967295 134512640 134716908 3221224576 3221220540 1074860632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19602 18873 1111 63 0 19539 0
vsize: 78408
[startup+770.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 259633 0 0 0 76370 637 0 0 25 0 1 0 896484002 80183296 18828 4294967295 134512640 134716908 3221224576 3221221520 1074620113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19576 18828 1111 63 0 19513 0
vsize: 78304
[startup+780.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 262692 0 0 0 77364 644 0 0 25 0 1 0 896484002 80072704 18779 4294967295 134512640 134716908 3221224576 3221220580 1074875787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19549 18779 1111 63 0 19486 0
vsize: 78196
[startup+790.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 264846 0 0 0 78358 649 0 0 25 0 1 0 896484002 80064512 18829 4294967295 134512640 134716908 3221224576 3221220796 1074878536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19547 18829 1111 63 0 19484 0
vsize: 78188
[startup+800.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 267358 0 0 0 79352 656 0 0 25 0 1 0 896484002 80056320 18826 4294967295 134512640 134716908 3221224576 3221221704 1077404705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19545 18826 1111 63 0 19482 0
vsize: 78180
[startup+810.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 271218 0 0 0 80344 664 0 0 25 0 1 0 896484002 80015360 18812 4294967295 134512640 134716908 3221224576 3221221520 1074620314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19535 18812 1111 63 0 19472 0
vsize: 78140
[startup+820.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 274277 0 0 0 81337 671 0 0 25 0 1 0 896484002 80101376 18802 4294967295 134512640 134716908 3221224576 3221220588 1075964624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19556 18802 1111 63 0 19493 0
vsize: 78224
[startup+830.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 276909 0 0 0 82330 678 0 0 25 0 1 0 896484002 79843328 18756 4294967295 134512640 134716908 3221224576 3221222688 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19493 18756 1111 63 0 19430 0
vsize: 77972
[startup+840.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 280212 0 0 0 83323 685 0 0 25 0 1 0 896484002 79896576 18789 4294967295 134512640 134716908 3221224576 3221222688 1074867344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19506 18789 1111 63 0 19443 0
vsize: 78024
[startup+850.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 283398 0 0 0 84314 694 0 0 25 0 1 0 896484002 79654912 18731 4294967295 134512640 134716908 3221224576 3221222688 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19447 18731 1111 63 0 19384 0
vsize: 77788
[startup+860.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 287190 0 0 0 85305 704 0 0 25 0 1 0 896484002 79925248 18792 4294967295 134512640 134716908 3221224576 3221220656 1075561201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19513 18792 1111 63 0 19450 0
vsize: 78052
[startup+870.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 289674 0 0 0 86298 710 0 0 25 0 1 0 896484002 80056320 18792 4294967295 134512640 134716908 3221224576 3221220580 1074875760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19545 18792 1111 63 0 19482 0
vsize: 78180
[startup+880.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 292093 0 0 0 87292 717 0 0 25 0 1 0 896484002 79900672 18732 4294967295 134512640 134716908 3221224576 3221220620 1074873486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19507 18732 1111 63 0 19444 0
vsize: 78028
[startup+890.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 295161 0 0 0 88284 725 0 0 25 0 1 0 896484002 79585280 18706 4294967295 134512640 134716908 3221224576 3221222688 1074867331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19430 18706 1111 63 0 19367 0
vsize: 77720
[startup+900.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 298453 0 0 0 89276 733 0 0 25 0 1 0 896484002 80089088 18803 4294967295 134512640 134716908 3221224576 3221222000 1076067036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19553 18803 1111 63 0 19490 0
vsize: 78212
[startup+910.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 301586 0 0 0 90268 741 0 0 25 0 1 0 896484002 80359424 18868 4294967295 134512640 134716908 3221224576 3221220620 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19619 18868 1111 63 0 19556 0
vsize: 78476
[startup+920.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 304701 0 0 0 91262 748 0 0 25 0 1 0 896484002 79392768 18698 4294967295 134512640 134716908 3221224576 3221222656 1074057922 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.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 307764 0 0 0 92254 755 0 0 25 0 1 0 896484002 80068608 18781 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19548 18781 1111 63 0 19485 0
vsize: 78192
[startup+940.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 311361 0 0 0 93246 763 0 0 25 0 1 0 896484002 79474688 18718 4294967295 134512640 134716908 3221224576 3221223368 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19403 18718 1111 63 0 19340 0
vsize: 77612
[startup+950.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 315273 0 0 0 94236 774 0 0 25 0 1 0 896484002 80330752 18862 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19612 18862 1111 63 0 19549 0
vsize: 78448
[startup+960.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 319341 0 0 0 95226 784 0 0 25 0 1 0 896484002 79515648 18728 4294967295 134512640 134716908 3221224576 3221222576 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19413 18728 1111 63 0 19350 0
vsize: 77652
[startup+970.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 322667 0 0 0 96219 791 0 0 25 0 1 0 896484002 80240640 18875 4294967295 134512640 134716908 3221224576 3221220848 1074961375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19590 18875 1111 63 0 19527 0
vsize: 78360
[startup+980.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 324140 0 0 0 97216 795 0 0 25 0 1 0 896484002 80240640 18877 4294967295 134512640 134716908 3221224576 3221220432 1074871213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19590 18877 1111 63 0 19527 0
vsize: 78360
[startup+990.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 327501 0 0 0 98207 804 0 0 25 0 1 0 896484002 80203776 18863 4294967295 134512640 134716908 3221224576 3221220752 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19581 18863 1111 63 0 19518 0
vsize: 78324
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 330866 0 0 0 99200 811 0 0 25 0 1 0 896484002 80441344 18900 4294967295 134512640 134716908 3221224576 3221221496 1074950124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19639 18900 1111 63 0 19576 0
vsize: 78556
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 335047 0 0 0 100191 820 0 0 25 0 1 0 896484002 80547840 18922 4294967295 134512640 134716908 3221224576 3221220620 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19665 18922 1111 63 0 19602 0
vsize: 78660
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 338253 0 0 0 101183 828 0 0 25 0 1 0 896484002 80351232 18871 4294967295 134512640 134716908 3221224576 3221220736 1074794460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19617 18871 1111 63 0 19554 0
vsize: 78468
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 341619 0 0 0 102177 834 0 0 25 0 1 0 896484002 79622144 18754 4294967295 134512640 134716908 3221224576 3221222016 1074153782 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.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 345048 0 0 0 103170 842 0 0 25 0 1 0 896484002 79622144 18754 4294967295 134512640 134716908 3221224576 3221222448 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19439 18754 1111 63 0 19376 0
vsize: 77756
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 348638 0 0 0 104162 850 0 0 25 0 1 0 896484002 79622144 18754 4294967295 134512640 134716908 3221224576 3221221856 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19439 18754 1111 63 0 19376 0
vsize: 77756
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 352831 0 0 0 105153 859 0 0 25 0 1 0 896484002 80437248 18886 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19638 18886 1111 63 0 19575 0
vsize: 78552
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 356907 0 0 0 106144 868 0 0 25 0 1 0 896484002 80420864 18889 4294967295 134512640 134716908 3221224576 3221220428 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19634 18889 1111 63 0 19571 0
vsize: 78536
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 360084 0 0 0 107136 876 0 0 25 0 1 0 896484002 79540224 18734 4294967295 134512640 134716908 3221224576 3221222624 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19419 18734 1111 63 0 19356 0
vsize: 77676
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 363259 0 0 0 108129 884 0 0 25 0 1 0 896484002 79536128 18733 4294967295 134512640 134716908 3221224576 3221221584 1074153462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19418 18733 1111 63 0 19355 0
vsize: 77672
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 367311 0 0 0 109120 893 0 0 25 0 1 0 896484002 80363520 18881 4294967295 134512640 134716908 3221224576 3221220452 1074786553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19620 18881 1111 63 0 19557 0
vsize: 78480
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 371805 0 0 0 110110 903 0 0 25 0 1 0 896484002 80076800 18824 4294967295 134512640 134716908 3221224576 3221220804 1075115035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19550 18824 1111 63 0 19487 0
vsize: 78200
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 376272 0 0 0 111101 912 0 0 25 0 1 0 896484002 80572416 18943 4294967295 134512640 134716908 3221224576 3221220848 1074961129 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19671 18943 1111 63 0 19608 0
vsize: 78684
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 380293 0 0 0 112091 923 0 0 25 0 1 0 896484002 79589376 18746 4294967295 134512640 134716908 3221224576 3221222016 1074153782 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.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 384726 0 0 0 113081 933 0 0 25 0 1 0 896484002 80498688 18910 4294967295 134512640 134716908 3221224576 3221220784 1074815425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19653 18910 1111 63 0 19590 0
vsize: 78612
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 388171 0 0 0 114074 940 0 0 25 0 1 0 896484002 80179200 18826 4294967295 134512640 134716908 3221224576 3221221696 1074835529 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19575 18826 1111 63 0 19512 0
vsize: 78300
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 390362 0 0 0 115067 947 0 0 25 0 1 0 896484002 79773696 18784 4294967295 134512640 134716908 3221224576 3221222576 1074915847 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19476 18784 1111 63 0 19413 0
vsize: 77904
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 393334 0 0 0 116061 953 0 0 25 0 1 0 896484002 80412672 18882 4294967295 134512640 134716908 3221224576 3221220620 1074873506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19632 18882 1111 63 0 19569 0
vsize: 78528
[startup+1175.17 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 9037
Raw data (stat): 9037 (bsolo_lpr-v2) R 9036 7266 7265 0 -1 0 393334 0 0 0 116061 953 0 0 25 0 1 0 896484002 80412672 18882 4294967295 134512640 134716908 3221224576 3221220620 1074873506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19632 18882 1111 63 0 19569 0
vsize: 0

Child status: 10
Real time (s): 1175.17
CPU time (s): 1175.28
CPU user time (s): 1165.66
CPU system time (s): 9.61654
CPU usage (%): 100.009
Max. virtual memory (Kb): 78684
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	5046
#### END VERIFIER DATA ####