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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-l152lav.opb
MD5SUM9d4ce12b138a2bef65a1f401ec9d1f01
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.69
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 40405

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        566456 kB
Buffers:          8108 kB
Cached:         439056 kB
SwapCached:        956 kB
Active:          24880 kB
Inactive:       424364 kB
HighTotal:      131008 kB
HighFree:        12320 kB
LowTotal:       903652 kB
LowFree:        554136 kB
SwapTotal:     2097136 kB
SwapFree:      2095180 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4904 kB
Slab:            13496 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 09:36:34 (client local time) WITH STATUS 10 IN 1175.69 SECONDS
stats: 28466 0 1175.69 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.706 s
c Initial Lower Bound: 4657
c Lower Bound Elapsed time: 0.61
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 5329 @ 193.212
c NEW SOLUTION FOUND: 5327 @ 193.531
c NEW SOLUTION FOUND: 5322 @ 193.816
c NEW SOLUTION FOUND: 5320 @ 194.113
c NEW SOLUTION FOUND: 5317 @ 199.195
c NEW SOLUTION FOUND: 5314 @ 201.607
c NEW SOLUTION FOUND: 5304 @ 205.51
c NEW SOLUTION FOUND: 5157 @ 226.534
c NEW SOLUTION FOUND: 5152 @ 229.425
c NEW SOLUTION FOUND: 5148 @ 233.709
c NEW SOLUTION FOUND: 5130 @ 252.396
c NEW SOLUTION FOUND: 5128 @ 274.792
c NEW SOLUTION FOUND: 5124 @ 283.124
c NEW SOLUTION FOUND: 5123 @ 306.828
c NEW SOLUTION FOUND: 5121 @ 338.296
c NEW SOLUTION FOUND: 5119 @ 346.754
c NEW SOLUTION FOUND: 5118 @ 352.393
c NEW SOLUTION FOUND: 5068 @ 414.229
c NEW SOLUTION FOUND: 5046 @ 495.142
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.65 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.92 0.98 0.92 2/54 30810
Raw data (stat): 30810 (runsolver) R 30809 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900476950 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.93 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 16244 0 0 0 961 36 0 0 25 0 1 0 900476950 69668864 16153 4294967295 134512640 134716908 3221224576 3221223132 134542828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17009 16153 1111 63 0 16946 0
vsize: 68036
[startup+20.001 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 17640 0 0 0 1958 38 0 0 25 0 1 0 900476950 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.0008 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 17693 0 0 0 2958 39 0 0 25 0 1 0 900476950 75620352 17602 4294967295 134512640 134716908 3221224576 3221223228 134558493 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.0013 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 17747 0 0 0 3958 39 0 0 25 0 1 0 900476950 75755520 17656 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18495 17656 1111 63 0 18432 0
vsize: 73980
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 17791 0 0 0 4958 39 0 0 25 0 1 0 900476950 76025856 17700 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18561 17700 1111 63 0 18498 0
vsize: 74244
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 17841 0 0 0 5958 39 0 0 25 0 1 0 900476950 76161024 17750 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17750 1111 63 0 18531 0
vsize: 74376
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 17885 0 0 0 6958 39 0 0 25 0 1 0 900476950 76431360 17794 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18660 17794 1111 63 0 18597 0
vsize: 74640
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 21980 0 0 0 7948 49 0 0 25 0 1 0 900476950 78712832 18463 4294967295 134512640 134716908 3221224576 3221220580 1074875787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19217 18463 1111 63 0 19154 0
vsize: 76868
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 26463 0 0 0 8937 60 0 0 25 0 1 0 900476950 78635008 18457 4294967295 134512640 134716908 3221224576 3221220580 1074875817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19198 18457 1111 63 0 19135 0
vsize: 76792
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 31032 0 0 0 9926 71 0 0 25 0 1 0 900476950 77377536 18184 4294967295 134512640 134716908 3221224576 3221222192 1074052131 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18891 18184 1111 63 0 18828 0
vsize: 75564
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 36715 0 0 0 10914 83 0 0 25 0 1 0 900476950 77922304 18336 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19024 18336 1111 63 0 18961 0
vsize: 76096
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 41684 0 0 0 11902 95 0 0 25 0 1 0 900476950 78585856 18424 4294967295 134512640 134716908 3221224576 3221220736 1074794560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19186 18424 1111 63 0 19123 0
vsize: 76744
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 47620 0 0 0 12890 108 0 0 25 0 1 0 900476950 77180928 18155 4294967295 134512640 134716908 3221224576 3221221616 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18843 18155 1111 63 0 18780 0
vsize: 75372
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 53310 0 0 0 13878 120 0 0 25 0 1 0 900476950 77873152 18323 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19012 18323 1111 63 0 18949 0
vsize: 76048
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 58970 0 0 0 14865 133 0 0 25 0 1 0 900476950 78540800 18412 4294967295 134512640 134716908 3221224576 3221220432 1074871203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19175 18412 1111 63 0 19112 0
vsize: 76700
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 64972 0 0 0 15852 146 0 0 25 0 1 0 900476950 78503936 18400 4294967295 134512640 134716908 3221224576 3221221568 1075338917 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19166 18400 1111 63 0 19103 0
vsize: 76664
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 70602 0 0 0 16840 158 0 0 25 0 1 0 900476950 78872576 18504 4294967295 134512640 134716908 3221224576 3221220580 1074875862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19256 18504 1111 63 0 19193 0
vsize: 77024
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 74632 0 0 0 17831 167 0 0 25 0 1 0 900476950 78917632 18525 4294967295 134512640 134716908 3221224576 3221220804 1075115051 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19267 18525 1111 63 0 19204 0
vsize: 77068
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 77921 0 0 0 18823 176 0 0 25 0 1 0 900476950 78835712 18525 4294967295 134512640 134716908 3221224576 3221220824 1074801747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19247 18525 1111 63 0 19184 0
vsize: 76988
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 81330 0 0 0 19812 186 0 0 25 0 1 0 900476950 79056896 18568 4294967295 134512640 134716908 3221224576 3221220848 1074808092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19301 18568 1111 63 0 19238 0
vsize: 77204
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 85087 0 0 0 20801 196 0 0 25 0 1 0 900476950 79335424 18632 4294967295 134512640 134716908 3221224576 3221220436 1074786600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19369 18632 1111 63 0 19306 0
vsize: 77476
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 89115 0 0 0 21792 206 0 0 25 0 1 0 900476950 79216640 18608 4294967295 134512640 134716908 3221224576 3221220752 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19340 18608 1111 63 0 19277 0
vsize: 77360
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 92873 0 0 0 22784 214 0 0 25 0 1 0 900476950 78589952 18500 4294967295 134512640 134716908 3221224576 3221222336 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19187 18500 1111 63 0 19124 0
vsize: 76748
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 95896 0 0 0 23775 223 0 0 25 0 1 0 900476950 79278080 18623 4294967295 134512640 134716908 3221224576 3221220704 1075561249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19355 18623 1111 63 0 19292 0
vsize: 77420
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 99413 0 0 0 24767 231 0 0 25 0 1 0 900476950 79204352 18586 4294967295 134512640 134716908 3221224576 3221220684 1074797337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19337 18586 1111 63 0 19274 0
vsize: 77348
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 102542 0 0 0 25759 240 0 0 25 0 1 0 900476950 78589952 18500 4294967295 134512640 134716908 3221224576 3221222400 1074153466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19187 18500 1111 63 0 19124 0
vsize: 76748
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 105921 0 0 0 26752 247 0 0 25 0 1 0 900476950 79581184 18678 4294967295 134512640 134716908 3221224576 3221221640 1075007308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19429 18678 1111 63 0 19366 0
vsize: 77716
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 107604 0 0 0 27748 251 0 0 25 0 1 0 900476950 79536128 18665 4294967295 134512640 134716908 3221224576 3221220720 1074969521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19418 18665 1111 63 0 19355 0
vsize: 77672
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 109232 0 0 0 28742 257 0 0 25 0 1 0 900476950 79208448 18583 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19338 18583 1111 63 0 19275 0
vsize: 77352
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 112036 0 0 0 29735 265 0 0 25 0 1 0 900476950 78864384 18567 4294967295 134512640 134716908 3221224576 3221222408 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19254 18567 1111 63 0 19191 0
vsize: 77016
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 115148 0 0 0 30727 272 0 0 25 0 1 0 900476950 79319040 18676 4294967295 134512640 134716908 3221224576 3221222528 1074918280 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19365 18676 1111 63 0 19302 0
vsize: 77460
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 118716 0 0 0 31720 279 0 0 25 0 1 0 900476950 79659008 18698 4294967295 134512640 134716908 3221224576 3221220620 1074873483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19448 18698 1111 63 0 19385 0
vsize: 77792
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 121991 0 0 0 32715 285 0 0 25 0 1 0 900476950 79179776 18560 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19331 18560 1111 63 0 19268 0
vsize: 77324
[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 125689 0 0 0 33706 294 0 0 25 0 1 0 900476950 79568896 18673 4294967295 134512640 134716908 3221224576 3221220784 1074815491 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19426 18673 1111 63 0 19363 0
vsize: 77704
[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 129491 0 0 0 34697 303 0 0 25 0 1 0 900476950 79126528 18621 4294967295 134512640 134716908 3221224576 3221221648 1074865621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19318 18621 1111 63 0 19255 0
vsize: 77272
[startup+360.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 132656 0 0 0 35690 311 0 0 25 0 1 0 900476950 78848000 18563 4294967295 134512640 134716908 3221224576 3221222576 1074918566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19250 18563 1111 63 0 19187 0
vsize: 77000
[startup+370.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 136313 0 0 0 36681 319 0 0 25 0 1 0 900476950 79593472 18679 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19432 18679 1111 63 0 19369 0
vsize: 77728
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 139585 0 0 0 37674 327 0 0 25 0 1 0 900476950 79925248 18760 4294967295 134512640 134716908 3221224576 3221220912 1075114279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19513 18760 1111 63 0 19450 0
vsize: 78052
[startup+390.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 143233 0 0 0 38664 337 0 0 25 0 1 0 900476950 79495168 18721 4294967295 134512640 134716908 3221224576 3221222544 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19408 18721 1111 63 0 19345 0
vsize: 77632
[startup+400.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 145762 0 0 0 39658 343 0 0 25 0 1 0 900476950 80093184 18805 4294967295 134512640 134716908 3221224576 3221220940 1075522772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19554 18805 1111 63 0 19491 0
vsize: 78216
[startup+410.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 148551 0 0 0 40650 351 0 0 25 0 1 0 900476950 80109568 18785 4294967295 134512640 134716908 3221224576 3221220620 1074873558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19558 18785 1111 63 0 19495 0
vsize: 78232
[startup+420.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 151266 0 0 0 41643 358 0 0 25 0 1 0 900476950 79998976 18804 4294967295 134512640 134716908 3221224576 3221220752 1074882616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19531 18804 1111 63 0 19468 0
vsize: 78124
[startup+430.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 154435 0 0 0 42636 365 0 0 25 0 1 0 900476950 79765504 18787 4294967295 134512640 134716908 3221224576 3221223368 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19474 18787 1111 63 0 19411 0
vsize: 77896
[startup+440.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 156713 0 0 0 43630 372 0 0 25 0 1 0 900476950 79441920 18708 4294967295 134512640 134716908 3221224576 3221223204 1077374508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19395 18708 1111 63 0 19332 0
vsize: 77580
[startup+450.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 159828 0 0 0 44624 378 0 0 25 0 1 0 900476950 79679488 18760 4294967295 134512640 134716908 3221224576 3221222576 1074916920 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19453 18760 1111 63 0 19390 0
vsize: 77812
[startup+460.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 163110 0 0 0 45616 386 0 0 25 0 1 0 900476950 79458304 18712 4294967295 134512640 134716908 3221224576 3221221676 1074206265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19399 18712 1111 63 0 19336 0
vsize: 77596
[startup+470.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 167439 0 0 0 46606 397 0 0 25 0 1 0 900476950 79499264 18722 4294967295 134512640 134716908 3221224576 3221222192 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19409 18722 1111 63 0 19346 0
vsize: 77636
[startup+480.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 170445 0 0 0 47599 404 0 0 25 0 1 0 900476950 80154624 18852 4294967295 134512640 134716908 3221224576 3221221168 1074885830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19569 18852 1111 63 0 19506 0
vsize: 78276
[startup+490.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 173361 0 0 0 48593 410 0 0 25 0 1 0 900476950 80183296 18829 4294967295 134512640 134716908 3221224576 3221220640 1075895659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19576 18829 1111 63 0 19513 0
vsize: 78304
[startup+500.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 176595 0 0 0 49586 417 0 0 25 0 1 0 900476950 79638528 18756 4294967295 134512640 134716908 3221224576 3221222592 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19443 18756 1111 63 0 19380 0
vsize: 77772
[startup+510.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 178944 0 0 0 50580 423 0 0 25 0 1 0 900476950 80330752 18884 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19612 18884 1111 63 0 19549 0
vsize: 78448
[startup+520.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 181265 0 0 0 51574 429 0 0 25 0 1 0 900476950 79986688 18799 4294967295 134512640 134716908 3221224576 3221220620 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19528 18799 1111 63 0 19465 0
vsize: 78112
[startup+530.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 183500 0 0 0 52568 436 0 0 25 0 1 0 900476950 80060416 18773 4294967295 134512640 134716908 3221224576 3221220748 1074791552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19546 18773 1111 63 0 19483 0
vsize: 78184
[startup+540.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 185865 0 0 0 53562 442 0 0 25 0 1 0 900476950 80211968 18832 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19583 18832 1111 63 0 19520 0
vsize: 78332
[startup+550.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 187832 0 0 0 54557 447 0 0 25 0 1 0 900476950 79384576 18694 4294967295 134512640 134716908 3221224576 3221223168 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19381 18694 1111 63 0 19318 0
vsize: 77524
[startup+560.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 191206 0 0 0 55548 456 0 0 25 0 1 0 900476950 80228352 18837 4294967295 134512640 134716908 3221224576 3221220432 1074871233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19587 18837 1111 63 0 19524 0
vsize: 78348
[startup+570.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 195376 0 0 0 56540 464 0 0 25 0 1 0 900476950 80236544 18840 4294967295 134512640 134716908 3221224576 3221221496 1074950108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19589 18840 1111 63 0 19526 0
vsize: 78356
[startup+580.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 199255 0 0 0 57531 473 0 0 25 0 1 0 900476950 79355904 18687 4294967295 134512640 134716908 3221224576 3221222560 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19374 18687 1111 63 0 19311 0
vsize: 77496
[startup+590.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 202399 0 0 0 58523 482 0 0 25 0 1 0 900476950 79568896 18739 4294967295 134512640 134716908 3221224576 3221222760 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19426 18739 1111 63 0 19363 0
vsize: 77704
[startup+600.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 205884 0 0 0 59514 490 0 0 25 0 1 0 900476950 80113664 18839 4294967295 134512640 134716908 3221224576 3221220752 1074882647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19559 18839 1111 63 0 19496 0
vsize: 78236
[startup+610.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 209497 0 0 0 60506 499 0 0 25 0 1 0 900476950 79597568 18746 4294967295 134512640 134716908 3221224576 3221222960 1074118904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19433 18746 1111 63 0 19370 0
vsize: 77732
[startup+620.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 213725 0 0 0 61497 509 0 0 25 0 1 0 900476950 80416768 18887 4294967295 134512640 134716908 3221224576 3221220784 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19633 18887 1111 63 0 19570 0
vsize: 78532
[startup+630.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 216957 0 0 0 62490 516 0 0 25 0 1 0 900476950 80162816 18828 4294967295 134512640 134716908 3221224576 3221220704 1074882647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19571 18828 1111 63 0 19508 0
vsize: 78284
[startup+640.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 220374 0 0 0 63482 523 0 0 25 0 1 0 900476950 80273408 18854 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19598 18854 1111 63 0 19535 0
vsize: 78392
[startup+650.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 223045 0 0 0 64476 529 0 0 25 0 1 0 900476950 80388096 18882 4294967295 134512640 134716908 3221224576 3221220752 1074882614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19626 18882 1111 63 0 19563 0
vsize: 78504
[startup+660.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 226297 0 0 0 65468 537 0 0 25 0 1 0 900476950 80404480 18885 4294967295 134512640 134716908 3221224576 3221220620 1074873541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19630 18885 1111 63 0 19567 0
vsize: 78520
[startup+670.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 229699 0 0 0 66461 546 0 0 25 0 1 0 900476950 80166912 18818 4294967295 134512640 134716908 3221224576 3221220784 1074815328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19572 18818 1111 63 0 19509 0
vsize: 78288
[startup+680.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 231849 0 0 0 67455 552 0 0 25 0 1 0 900476950 79364096 18689 4294967295 134512640 134716908 3221224576 3221222576 1074918536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19376 18689 1111 63 0 19313 0
vsize: 77504
[startup+690.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 234917 0 0 0 68448 559 0 0 25 0 1 0 900476950 79613952 18721 4294967295 134512640 134716908 3221224576 3221222304 1075829534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19437 18721 1111 63 0 19374 0
vsize: 77748
[startup+700.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 238304 0 0 0 69439 568 0 0 25 0 1 0 900476950 80105472 18807 4294967295 134512640 134716908 3221224576 3221220780 1075564289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19557 18807 1111 63 0 19494 0
vsize: 78228
[startup+710.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 241396 0 0 0 70431 576 0 0 25 0 1 0 900476950 79339520 18683 4294967295 134512640 134716908 3221224576 3221223192 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19370 18683 1111 63 0 19307 0
vsize: 77480
[startup+720.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 244778 0 0 0 71423 584 0 0 25 0 1 0 900476950 80101376 18807 4294967295 134512640 134716908 3221224576 3221220736 1074794562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19556 18807 1111 63 0 19493 0
vsize: 78224
[startup+730.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 248273 0 0 0 72415 592 0 0 25 0 1 0 900476950 80117760 18839 4294967295 134512640 134716908 3221224576 3221220620 1074873456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19560 18839 1111 63 0 19497 0
vsize: 78240
[startup+740.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 251242 0 0 0 73408 600 0 0 25 0 1 0 900476950 79454208 18711 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19398 18711 1111 63 0 19335 0
vsize: 77592
[startup+750.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 254053 0 0 0 74400 608 0 0 25 0 1 0 900476950 80191488 18828 4294967295 134512640 134716908 3221224576 3221220736 1075091329 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19578 18828 1111 63 0 19515 0
vsize: 78312
[startup+760.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 257413 0 0 0 75392 616 0 0 25 0 1 0 900476950 79577088 18741 4294967295 134512640 134716908 3221224576 3221222544 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19428 18741 1111 63 0 19365 0
vsize: 77712
[startup+770.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 260087 0 0 0 76387 621 0 0 25 0 1 0 900476950 80183296 18829 4294967295 134512640 134716908 3221224576 3221220736 1074794649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19576 18829 1111 63 0 19513 0
vsize: 78304
[startup+780.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 263014 0 0 0 77381 627 0 0 25 0 1 0 900476950 80023552 18811 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19537 18811 1111 63 0 19474 0
vsize: 78148
[startup+790.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 265258 0 0 0 78375 633 0 0 25 0 1 0 900476950 79953920 18767 4294967295 134512640 134716908 3221224576 3221221520 1074620241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19520 18767 1111 63 0 19457 0
vsize: 78080
[startup+800.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 268066 0 0 0 79370 639 0 0 25 0 1 0 900476950 80183296 18821 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19576 18821 1111 63 0 19513 0
vsize: 78304
[startup+810.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 271979 0 0 0 80361 647 0 0 25 0 1 0 900476950 79769600 18788 4294967295 134512640 134716908 3221224576 3221221680 1074138752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19475 18788 1111 63 0 19412 0
vsize: 77900
[startup+820.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 274730 0 0 0 81356 654 0 0 25 0 1 0 900476950 80109568 18804 4294967295 134512640 134716908 3221224576 3221221496 1074950119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19558 18804 1111 63 0 19495 0
vsize: 78232
[startup+830.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 277441 0 0 0 82349 661 0 0 25 0 1 0 900476950 79757312 18749 4294967295 134512640 134716908 3221224576 3221221360 1075115295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19472 18749 1111 63 0 19409 0
vsize: 77888
[startup+840.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 280754 0 0 0 83341 669 0 0 25 0 1 0 900476950 80105472 18805 4294967295 134512640 134716908 3221224576 3221220452 1074786498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19557 18805 1111 63 0 19494 0
vsize: 78228
[startup+850.024 s]
Raw data (loadavg): 0.99 0.98 0.92 3/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 284066 0 0 0 84332 677 0 0 25 0 1 0 900476950 79654912 18730 4294967295 134512640 134716908 3221224576 3221222640 1075961779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19447 18730 1111 63 0 19384 0
vsize: 77788
[startup+860.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 287713 0 0 0 85325 685 0 0 25 0 1 0 900476950 79527936 18729 4294967295 134512640 134716908 3221224576 3221222768 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19416 18729 1111 63 0 19353 0
vsize: 77664
[startup+870.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 290081 0 0 0 86320 690 0 0 25 0 1 0 900476950 80060416 18770 4294967295 134512640 134716908 3221224576 3221220784 1074815383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19546 18770 1111 63 0 19483 0
vsize: 78184
[startup+880.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 292688 0 0 0 87313 697 0 0 25 0 1 0 900476950 79302656 18676 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19361 18676 1111 63 0 19298 0
vsize: 77444
[startup+890.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 295924 0 0 0 88306 704 0 0 25 0 1 0 900476950 79929344 18763 4294967295 134512640 134716908 3221224576 3221220580 1074875850 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19514 18763 1111 63 0 19451 0
vsize: 78056
[startup+900.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 299210 0 0 0 89297 713 0 0 25 0 1 0 900476950 79687680 18770 4294967295 134512640 134716908 3221224576 3221222912 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19455 18770 1111 63 0 19392 0
vsize: 77820
[startup+910.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 302522 0 0 0 90290 721 0 0 25 0 1 0 900476950 79777792 18758 4294967295 134512640 134716908 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19477 18760 1111 63 0 19414 0
vsize: 77908
[startup+920.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 305419 0 0 0 91283 729 0 0 25 0 1 0 900476950 79392768 18698 4294967295 134512640 134716908 3221224576 3221222576 1074056223 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.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 308729 0 0 0 92273 738 0 0 25 0 1 0 900476950 79392768 18698 4294967295 134512640 134716908 3221224576 3221222592 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19383 18698 1111 63 0 19320 0
vsize: 77532
[startup+940.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 312721 0 0 0 93263 749 0 0 25 0 1 0 900476950 80154624 18802 4294967295 134512640 134716908 3221224576 3221220432 1074871360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19569 18802 1111 63 0 19506 0
vsize: 78276
[startup+950.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 316611 0 0 0 94253 758 0 0 25 0 1 0 900476950 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+960.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 320649 0 0 0 95244 768 0 0 25 0 1 0 900476950 79749120 18785 4294967295 134512640 134716908 3221224576 3221222784 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19470 18785 1111 63 0 19407 0
vsize: 77880
[startup+970.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 323218 0 0 0 96238 775 0 0 25 0 1 0 900476950 80072704 18798 4294967295 134512640 134716908 3221224576 3221220516 1074786537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19549 18798 1111 63 0 19486 0
vsize: 78196
[startup+980.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 325468 0 0 0 97232 780 0 0 25 0 1 0 900476950 79630336 18756 4294967295 134512640 134716908 3221224576 3221221968 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19441 18756 1111 63 0 19378 0
vsize: 77764
[startup+990.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 328557 0 0 0 98226 787 0 0 25 0 1 0 900476950 80506880 18909 4294967295 134512640 134716908 3221224576 3221221520 1074620322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19655 18909 1111 63 0 19592 0
vsize: 78620
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 332628 0 0 0 99217 796 0 0 25 0 1 0 900476950 80547840 18923 4294967295 134512640 134716908 3221224576 3221220736 1074794549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19665 18923 1111 63 0 19602 0
vsize: 78660
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 336360 0 0 0 100209 804 0 0 25 0 1 0 900476950 79630336 18756 4294967295 134512640 134716908 3221224576 3221222240 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19441 18756 1111 63 0 19378 0
vsize: 77764
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 339773 0 0 0 101203 810 0 0 25 0 1 0 900476950 80416768 18892 4294967295 134512640 134716908 3221224576 3221221568 1075338882 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19633 18892 1111 63 0 19570 0
vsize: 78532
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.92 4/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 343338 0 0 0 102195 818 0 0 25 0 1 0 900476950 80498688 18910 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19653 18910 1111 63 0 19590 0
vsize: 78612
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 346902 0 0 0 103188 825 0 0 25 0 1 0 900476950 79757312 18787 4294967295 134512640 134716908 3221224576 3221221328 1074247404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19472 18787 1111 63 0 19409 0
vsize: 77888
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 350967 0 0 0 104179 835 0 0 25 0 1 0 900476950 80384000 18884 4294967295 134512640 134716908 3221224576 3221220796 1074878536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19625 18884 1111 63 0 19562 0
vsize: 78500
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 355113 0 0 0 105169 844 0 0 25 0 1 0 900476950 79785984 18794 4294967295 134512640 134716908 3221224576 3221222992 1074117062 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19479 18794 1111 63 0 19416 0
vsize: 77916
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 358619 0 0 0 106162 852 0 0 25 0 1 0 900476950 80015360 18818 4294967295 134512640 134716908 3221224576 3221221680 1074139041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19535 18822 1111 63 0 19472 0
vsize: 78140
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 361736 0 0 0 107155 859 0 0 25 0 1 0 900476950 79536128 18733 4294967295 134512640 134716908 3221224576 3221222200 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19418 18733 1111 63 0 19355 0
vsize: 77672
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 365952 0 0 0 108146 869 0 0 25 0 1 0 900476950 80388096 18878 4294967295 134512640 134716908 3221224576 3221220620 1074873483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19626 18878 1111 63 0 19563 0
vsize: 78504
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 370328 0 0 0 109137 878 0 0 25 0 1 0 900476950 80412672 18888 4294967295 134512640 134716908 3221224576 3221220580 1074875766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19632 18888 1111 63 0 19569 0
vsize: 78528
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 374457 0 0 0 110128 887 0 0 25 0 1 0 900476950 80461824 18904 4294967295 134512640 134716908 3221224576 3221220508 1074788187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19644 18904 1111 63 0 19581 0
vsize: 78576
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 378968 0 0 0 111120 897 0 0 25 0 1 0 900476950 80572416 18945 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19671 18945 1111 63 0 19608 0
vsize: 78684
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 383244 0 0 0 112111 906 0 0 25 0 1 0 900476950 79589376 18746 4294967295 134512640 134716908 3221224576 3221222912 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19431 18746 1111 63 0 19368 0
vsize: 77724
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 387554 0 0 0 113102 915 0 0 25 0 1 0 900476950 80113664 18840 4294967295 134512640 134716908 3221224576 3221220752 1074882604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19559 18840 1111 63 0 19496 0
vsize: 78236
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 389879 0 0 0 114096 921 0 0 25 0 1 0 900476950 80293888 18886 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19603 18886 1111 63 0 19540 0
vsize: 78412
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 392606 0 0 0 115090 927 0 0 25 0 1 0 900476950 80338944 18862 4294967295 134512640 134716908 3221224576 3221220620 1074873478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19614 18862 1111 63 0 19551 0
vsize: 78456
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 395941 0 0 0 116084 934 0 0 25 0 1 0 900476950 80547840 18926 4294967295 134512640 134716908 3221224576 3221220944 1075894503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19665 18926 1111 63 0 19602 0
vsize: 78660
[startup+1175.56 s]
Raw data (loadavg): 0.99 0.98 0.92 1/53 30810
Raw data (stat): 30810 (bsolo_lpr-v2) R 30809 21152 21151 0 -1 0 395941 0 0 0 116084 934 0 0 25 0 1 0 900476950 80547840 18926 4294967295 134512640 134716908 3221224576 3221220944 1075894503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19665 18926 1111 63 0 19602 0
vsize: 0

Child status: 10
Real time (s): 1175.56
CPU time (s): 1175.69
CPU user time (s): 1166.26
CPU system time (s): 9.42557
CPU usage (%): 100.011
Max. virtual memory (Kb): 78684
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	5046
#### END VERIFIER DATA ####