PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
MD5SUM	3c39e3c2b993ee2185e2a1a3e73b9723
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3744
Optimality of the best value was proved	NO
Number of terms in the objective function	1086
Biggest coefficient in the objective function	283
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	197191
Number of bits of the sum of numbers in the objective function	18
Biggest number in a constraint	283
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	197191
Number of bits of the biggest sum of numbers	18
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.09
Number of variables	1086
Total number of constraints	1171
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1170
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1086
Trace number 39908

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 22:11:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27961 boxname=wulflinc3 idbench=917 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  3c39e3c2b993ee2185e2a1a3e73b9723  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-lp4l.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-lp4l.opb
IDLAUNCH: 27961
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        811432 kB
Buffers:         34244 kB
Cached:         161224 kB
SwapCached:       6016 kB
Active:          54308 kB
Inactive:       148528 kB
HighTotal:      131008 kB
HighFree:        11284 kB
LowTotal:       903652 kB
LowFree:        800148 kB
SwapTotal:     2097136 kB
SwapFree:      2090192 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14780 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 22:31:01 (client local time) WITH STATUS 10 IN 1176.1 SECONDS
stats: 27961 0 1176.1 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1086 variables and 169 constraints.
c After prepocess the problem consists of 1086 variables and 989 constraints.
c preprocess terminated 62.793 s
c Initial Lower Bound: 2943
c Lower Bound Elapsed time: 0.59375
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 4902 @ 668.24
c NEW SOLUTION FOUND: 4897 @ 670.366
c NEW SOLUTION FOUND: 4896 @ 785.882
c NEW SOLUTION FOUND: 4693 @ 1043.35
c NEW SOLUTION FOUND: 4682 @ 1052.15
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 
c Exit Code: 10
c Total time: 1176.08 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.91 2/54 17084
Raw data (stat): 17084 (runsolver) R 17083 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896484102 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99996 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 8590 0 0 0 977 20 0 0 25 0 1 0 896484102 38318080 8504 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9355 8504 1111 63 0 9292 0
vsize: 37420
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 8657 0 0 0 1977 20 0 0 25 0 1 0 896484102 38588416 8571 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9421 8571 1111 63 0 9358 0
vsize: 37684
[startup+30.002 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 8714 0 0 0 2977 21 0 0 25 0 1 0 896484102 38862848 8628 4294967295 134512640 134716908 3221224576 3221223248 134627257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9488 8628 1111 63 0 9425 0
vsize: 37952
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 8779 0 0 0 3976 21 0 0 25 0 1 0 896484102 39133184 8693 4294967295 134512640 134716908 3221224576 3221223248 134627257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9554 8693 1111 63 0 9491 0
vsize: 38216
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 8836 0 0 0 4976 22 0 0 25 0 1 0 896484102 39268352 8750 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9587 8750 1111 63 0 9524 0
vsize: 38348
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 8891 0 0 0 5975 22 0 0 25 0 1 0 896484102 39542784 8805 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9654 8805 1111 63 0 9591 0
vsize: 38616
[startup+70.003 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 12869 0 0 0 6967 31 0 0 25 0 1 0 896484102 40312832 9161 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9842 9161 1111 63 0 9779 0
vsize: 39368
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 16697 0 0 0 7959 39 0 0 25 0 1 0 896484102 41582592 9386 4294967295 134512640 134716908 3221224576 3221220780 1075564331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10152 9386 1111 63 0 10089 0
vsize: 40608
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 20431 0 0 0 8949 49 0 0 25 0 1 0 896484102 40120320 9114 4294967295 134512640 134716908 3221224576 3221223200 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9795 9114 1111 63 0 9732 0
vsize: 39180
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 24500 0 0 0 9941 57 0 0 25 0 1 0 896484102 41684992 9365 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10177 9365 1111 63 0 10114 0
vsize: 40708
[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 28661 0 0 0 10932 66 0 0 25 0 1 0 896484102 41611264 9377 4294967295 134512640 134716908 3221224576 3221220648 1074950198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10159 9377 1111 63 0 10096 0
vsize: 40636
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 32791 0 0 0 11922 76 0 0 25 0 1 0 896484102 41562112 9361 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10147 9361 1111 63 0 10084 0
vsize: 40588
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 36382 0 0 0 12915 84 0 0 25 0 1 0 896484102 40124416 9115 4294967295 134512640 134716908 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9796 9115 1111 63 0 9733 0
vsize: 39184
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 40628 0 0 0 13906 92 0 0 25 0 1 0 896484102 40022016 9090 4294967295 134512640 134716908 3221224576 3221222928 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9771 9090 1111 63 0 9708 0
vsize: 39084
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 44205 0 0 0 14898 101 0 0 25 0 1 0 896484102 40144896 9120 4294967295 134512640 134716908 3221224576 3221222880 134652452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9801 9120 1111 63 0 9738 0
vsize: 39204
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 48167 0 0 0 15889 109 0 0 25 0 1 0 896484102 41562112 9372 4294967295 134512640 134716908 3221224576 3221220752 1074882560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10147 9372 1111 63 0 10084 0
vsize: 40588
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 51964 0 0 0 16881 118 0 0 25 0 1 0 896484102 40808448 9271 4294967295 134512640 134716908 3221224576 3221221768 1074138306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9963 9271 1111 63 0 9900 0
vsize: 39852
[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 55605 0 0 0 17873 126 0 0 25 0 1 0 896484102 40361984 9152 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9854 9152 1111 63 0 9791 0
vsize: 39416
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 60076 0 0 0 18863 136 0 0 25 0 1 0 896484102 41652224 9317 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10169 9317 1111 63 0 10106 0
vsize: 40676
[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 63677 0 0 0 19854 145 0 0 25 0 1 0 896484102 41545728 9344 4294967295 134512640 134716908 3221224576 3221220736 1075092837 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10143 9344 1111 63 0 10080 0
vsize: 40572
[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 67612 0 0 0 20845 154 0 0 25 0 1 0 896484102 40792064 9268 4294967295 134512640 134716908 3221224576 3221222576 1074918559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9959 9268 1111 63 0 9896 0
vsize: 39836
[startup+220.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 71269 0 0 0 21836 162 0 0 25 0 1 0 896484102 40054784 9098 4294967295 134512640 134716908 3221224576 3221222480 1073987049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9779 9098 1111 63 0 9716 0
vsize: 39116
[startup+230.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 74977 0 0 0 22827 172 0 0 25 0 1 0 896484102 41635840 9340 4294967295 134512640 134716908 3221224576 3221220620 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10165 9340 1111 63 0 10102 0
vsize: 40660
[startup+240.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 78640 0 0 0 23818 181 0 0 25 0 1 0 896484102 40177664 9128 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9809 9128 1111 63 0 9746 0
vsize: 39236
[startup+250.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 82337 0 0 0 24809 191 0 0 25 0 1 0 896484102 41316352 9367 4294967295 134512640 134716908 3221224576 3221220736 1074794549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10087 9367 1111 63 0 10024 0
vsize: 40348
[startup+260.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 86301 0 0 0 25800 200 0 0 25 0 1 0 896484102 41508864 9357 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10134 9357 1111 63 0 10071 0
vsize: 40536
[startup+270.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 90223 0 0 0 26790 210 0 0 25 0 1 0 896484102 41512960 9321 4294967295 134512640 134716908 3221224576 3221221608 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10135 9321 1111 63 0 10072 0
vsize: 40540
[startup+280.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 93827 0 0 0 27782 218 0 0 25 0 1 0 896484102 40173568 9127 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9808 9127 1111 63 0 9745 0
vsize: 39232
[startup+290.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 97997 0 0 0 28772 228 0 0 25 0 1 0 896484102 41578496 9358 4294967295 134512640 134716908 3221224576 3221220736 1074794549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10151 9358 1111 63 0 10088 0
vsize: 40604
[startup+300.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 102494 0 0 0 29761 239 0 0 25 0 1 0 896484102 40718336 9254 4294967295 134512640 134716908 3221224576 3221222576 1074916565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9941 9254 1111 63 0 9878 0
vsize: 39764
[startup+310.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 105998 0 0 0 30752 249 0 0 25 0 1 0 896484102 41455616 9357 4294967295 134512640 134716908 3221224576 3221220544 1074872796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10121 9357 1111 63 0 10058 0
vsize: 40484
[startup+320.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 109784 0 0 0 31743 257 0 0 25 0 1 0 896484102 41558016 9367 4294967295 134512640 134716908 3221224576 3221220908 1075112839 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10146 9367 1111 63 0 10083 0
vsize: 40584
[startup+330.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 114022 0 0 0 32735 266 0 0 25 0 1 0 896484102 40206336 9135 4294967295 134512640 134716908 3221224576 3221222616 1077377356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9816 9135 1111 63 0 9753 0
vsize: 39264
[startup+340.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 118110 0 0 0 33725 276 0 0 25 0 1 0 896484102 41463808 9323 4294967295 134512640 134716908 3221224576 3221220724 1075964393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10123 9323 1111 63 0 10060 0
vsize: 40492
[startup+350.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 121946 0 0 0 34718 283 0 0 25 0 1 0 896484102 41639936 9333 4294967295 134512640 134716908 3221224576 3221220720 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10166 9333 1111 63 0 10103 0
vsize: 40664
[startup+360.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 125717 0 0 0 35709 292 0 0 25 0 1 0 896484102 41533440 9351 4294967295 134512640 134716908 3221224576 3221221232 1075967759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10140 9351 1111 63 0 10077 0
vsize: 40560
[startup+370.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 129036 0 0 0 36701 300 0 0 25 0 1 0 896484102 41635840 9347 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10165 9347 1111 63 0 10102 0
vsize: 40660
[startup+380.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 132793 0 0 0 37693 308 0 0 25 0 1 0 896484102 41463808 9337 4294967295 134512640 134716908 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10123 9337 1111 63 0 10060 0
vsize: 40492
[startup+390.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 136964 0 0 0 38685 317 0 0 25 0 1 0 896484102 41648128 9369 4294967295 134512640 134716908 3221224576 3221220380 1074787558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10168 9369 1111 63 0 10105 0
vsize: 40672
[startup+400.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 140611 0 0 0 39675 327 0 0 25 0 1 0 896484102 41508864 9343 4294967295 134512640 134716908 3221224576 3221220752 1074882604 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10134 9343 1111 63 0 10071 0
vsize: 40536
[startup+410.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 143790 0 0 0 40667 335 0 0 25 0 1 0 896484102 40067072 9101 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9782 9101 1111 63 0 9719 0
vsize: 39128
[startup+420.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 147303 0 0 0 41659 343 0 0 25 0 1 0 896484102 41566208 9338 4294967295 134512640 134716908 3221224576 3221220632 1074789590 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10148 9338 1111 63 0 10085 0
vsize: 40592
[startup+430.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 150399 0 0 0 42652 350 0 0 25 0 1 0 896484102 40579072 9226 4294967295 134512640 134716908 3221224576 3221223040 1074121052 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9907 9226 1111 63 0 9844 0
vsize: 39628
[startup+440.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 153851 0 0 0 43645 358 0 0 25 0 1 0 896484102 41504768 9364 4294967295 134512640 134716908 3221224576 3221220720 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10133 9364 1111 63 0 10070 0
vsize: 40532
[startup+450.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 156814 0 0 0 44638 365 0 0 25 0 1 0 896484102 41648128 9355 4294967295 134512640 134716908 3221224576 3221220736 1074794549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10168 9355 1111 63 0 10105 0
vsize: 40672
[startup+460.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 159896 0 0 0 45630 372 0 0 25 0 1 0 896484102 40022016 9090 4294967295 134512640 134716908 3221224576 3221222912 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9771 9090 1111 63 0 9708 0
vsize: 39084
[startup+470.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 163054 0 0 0 46623 380 0 0 25 0 1 0 896484102 41484288 9354 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10128 9354 1111 63 0 10065 0
vsize: 40512
[startup+480.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 166436 0 0 0 47615 388 0 0 25 0 1 0 896484102 41480192 9354 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10127 9354 1111 63 0 10064 0
vsize: 40508
[startup+490.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 169639 0 0 0 48607 396 0 0 25 0 1 0 896484102 41472000 9341 4294967295 134512640 134716908 3221224576 3221220724 1075964390 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10125 9341 1111 63 0 10062 0
vsize: 40500
[startup+500.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 172211 0 0 0 49600 403 0 0 25 0 1 0 896484102 41574400 9350 4294967295 134512640 134716908 3221224576 3221220544 1074872793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10150 9350 1111 63 0 10087 0
vsize: 40600
[startup+510.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 175532 0 0 0 50593 411 0 0 25 0 1 0 896484102 41459712 9334 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10122 9334 1111 63 0 10059 0
vsize: 40488
[startup+520.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 178025 0 0 0 51587 417 0 0 25 0 1 0 896484102 41750528 9420 4294967295 134512640 134716908 3221224576 3221221232 1075967702 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10193 9420 1111 63 0 10130 0
vsize: 40772
[startup+530.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 179338 0 0 0 52582 421 0 0 25 0 1 0 896484102 41746432 9409 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10192 9409 1111 63 0 10129 0
vsize: 40768
[startup+540.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 181468 0 0 0 53577 427 0 0 25 0 1 0 896484102 40960000 9320 4294967295 134512640 134716908 3221224576 3221223264 134535750 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10000 9320 1111 63 0 9937 0
vsize: 40000
[startup+550.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 183641 0 0 0 54572 432 0 0 25 0 1 0 896484102 41279488 9399 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10078 9399 1111 63 0 10015 0
vsize: 40312
[startup+560.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 186172 0 0 0 55566 438 0 0 25 0 1 0 896484102 41230336 9387 4294967295 134512640 134716908 3221224576 3221222832 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10066 9387 1111 63 0 10003 0
vsize: 40264
[startup+570.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 188041 0 0 0 56562 443 0 0 25 0 1 0 896484102 42274816 9500 4294967295 134512640 134716908 3221224576 3221220444 1074787806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10321 9500 1111 63 0 10258 0
vsize: 41284
[startup+580.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 190355 0 0 0 57556 448 0 0 25 0 1 0 896484102 40960000 9321 4294967295 134512640 134716908 3221224576 3221222660 1077378739 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10000 9321 1111 63 0 9937 0
vsize: 40000
[startup+590.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 192547 0 0 0 58551 454 0 0 25 0 1 0 896484102 41549824 9456 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10144 9456 1111 63 0 10081 0
vsize: 40576
[startup+600.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 194605 0 0 0 59546 459 0 0 25 0 1 0 896484102 41132032 9363 4294967295 134512640 134716908 3221224576 3221222796 1074146096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10042 9363 1111 63 0 9979 0
vsize: 40168
[startup+610.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 196928 0 0 0 60540 465 0 0 25 0 1 0 896484102 42221568 9510 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10308 9510 1111 63 0 10245 0
vsize: 41232
[startup+620.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 198881 0 0 0 61535 470 0 0 25 0 1 0 896484102 41529344 9460 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10139 9460 1111 63 0 10076 0
vsize: 40556
[startup+630.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 200554 0 0 0 62531 475 0 0 25 0 1 0 896484102 42262528 9510 4294967295 134512640 134716908 3221224576 3221220524 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10318 9510 1111 63 0 10255 0
vsize: 41272
[startup+640.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 201759 0 0 0 63527 479 0 0 25 0 1 0 896484102 41418752 9430 4294967295 134512640 134716908 3221224576 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10112 9430 1111 63 0 10049 0
vsize: 40448
[startup+650.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 203011 0 0 0 64524 482 0 0 25 0 1 0 896484102 41398272 9428 4294967295 134512640 134716908 3221224576 3221223072 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10107 9428 1111 63 0 10044 0
vsize: 40428
[startup+660.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 204671 0 0 0 65520 486 0 0 25 0 1 0 896484102 42192896 9581 4294967295 134512640 134716908 3221224576 3221220524 1074788159 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10301 9581 1111 63 0 10238 0
vsize: 41204
[startup+670.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 206188 0 0 0 66515 491 0 0 25 0 1 0 896484102 42188800 9507 4294967295 134512640 134716908 3221224576 3221220784 1074815188 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10300 9507 1111 63 0 10237 0
vsize: 41200
[startup+680.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 207845 0 0 0 67510 496 0 0 25 0 1 0 896484102 42287104 9529 4294967295 134512640 134716908 3221224576 3221220784 1074815309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10324 9529 1111 63 0 10261 0
vsize: 41296
[startup+690.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 209836 0 0 0 68506 501 0 0 25 0 1 0 896484102 41467904 9436 4294967295 134512640 134716908 3221224576 3221222336 1075823494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10124 9436 1111 63 0 10061 0
vsize: 40496
[startup+700.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 211631 0 0 0 69501 505 0 0 25 0 1 0 896484102 42364928 9550 4294967295 134512640 134716908 3221224576 3221220620 1074873512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10343 9550 1111 63 0 10280 0
vsize: 41372
[startup+710.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 213920 0 0 0 70495 512 0 0 25 0 1 0 896484102 41529344 9405 4294967295 134512640 134716908 3221224576 3221220732 1075564265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10139 9405 1111 63 0 10076 0
vsize: 40556
[startup+720.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 216557 0 0 0 71487 519 0 0 25 0 1 0 896484102 42131456 9455 4294967295 134512640 134716908 3221224576 3221220736 1074794585 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10286 9455 1111 63 0 10223 0
vsize: 41144
[startup+730.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 218944 0 0 0 72482 525 0 0 25 0 1 0 896484102 41283584 9400 4294967295 134512640 134716908 3221224576 3221222840 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10079 9400 1111 63 0 10016 0
vsize: 40316
[startup+740.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 221295 0 0 0 73476 531 0 0 25 0 1 0 896484102 42262528 9543 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10318 9543 1111 63 0 10255 0
vsize: 41272
[startup+750.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 223596 0 0 0 74471 536 0 0 25 0 1 0 896484102 42573824 9549 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10394 9549 1111 63 0 10331 0
vsize: 41576
[startup+760.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 225262 0 0 0 75468 540 0 0 25 0 1 0 896484102 42520576 9577 4294967295 134512640 134716908 3221224576 3221220620 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10381 9577 1111 63 0 10318 0
vsize: 41524
[startup+770.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 226697 0 0 0 76463 545 0 0 25 0 1 0 896484102 42115072 9522 4294967295 134512640 134716908 3221224576 3221221560 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10282 9522 1111 63 0 10219 0
vsize: 41128
[startup+780.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 227891 0 0 0 77459 549 0 0 25 0 1 0 896484102 42188800 9494 4294967295 134512640 134716908 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10300 9494 1111 63 0 10237 0
vsize: 41200
[startup+790.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 229003 0 0 0 78456 552 0 0 25 0 1 0 896484102 42475520 9549 4294967295 134512640 134716908 3221224576 3221220804 1075115026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10370 9549 1111 63 0 10307 0
vsize: 41480
[startup+800.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 230732 0 0 0 79451 557 0 0 25 0 1 0 896484102 41340928 9414 4294967295 134512640 134716908 3221224576 3221222752 1074143787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10093 9414 1111 63 0 10030 0
vsize: 40372
[startup+810.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 232526 0 0 0 80445 563 0 0 25 0 1 0 896484102 42344448 9513 4294967295 134512640 134716908 3221224576 3221221648 1074867206 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10338 9513 1111 63 0 10275 0
vsize: 41352
[startup+820.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 234473 0 0 0 81441 568 0 0 25 0 1 0 896484102 41562112 9461 4294967295 134512640 134716908 3221224576 3221222992 1074117042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10147 9461 1111 63 0 10084 0
vsize: 40588
[startup+830.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 236143 0 0 0 82437 572 0 0 25 0 1 0 896484102 41324544 9410 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10089 9410 1111 63 0 10026 0
vsize: 40356
[startup+840.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 238003 0 0 0 83432 577 0 0 25 0 1 0 896484102 42065920 9509 4294967295 134512640 134716908 3221224576 3221220732 1075564295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10270 9509 1111 63 0 10207 0
vsize: 41080
[startup+850.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 240360 0 0 0 84426 583 0 0 25 0 1 0 896484102 42369024 9551 4294967295 134512640 134716908 3221224576 3221220620 1074873486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10344 9551 1111 63 0 10281 0
vsize: 41376
[startup+860.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 242589 0 0 0 85421 589 0 0 25 0 1 0 896484102 41926656 9509 4294967295 134512640 134716908 3221224576 3221222304 1075828451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10236 9509 1111 63 0 10173 0
vsize: 40944
[startup+870.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 244534 0 0 0 86416 594 0 0 25 0 1 0 896484102 42516480 9578 4294967295 134512640 134716908 3221224576 3221220380 1074787518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10380 9578 1111 63 0 10317 0
vsize: 41520
[startup+880.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 246253 0 0 0 87411 599 0 0 25 0 1 0 896484102 41529344 9460 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10139 9460 1111 63 0 10076 0
vsize: 40556
[startup+890.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 248062 0 0 0 88406 604 0 0 25 0 1 0 896484102 41586688 9474 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10153 9474 1111 63 0 10090 0
vsize: 40612
[startup+900.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 249904 0 0 0 89401 609 0 0 25 0 1 0 896484102 42479616 9571 4294967295 134512640 134716908 3221224576 3221220848 1074961143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10371 9571 1111 63 0 10308 0
vsize: 41484
[startup+910.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 251880 0 0 0 90396 614 0 0 25 0 1 0 896484102 41680896 9497 4294967295 134512640 134716908 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10176 9497 1111 63 0 10113 0
vsize: 40704
[startup+920.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 254307 0 0 0 91390 620 0 0 25 0 1 0 896484102 42586112 9598 4294967295 134512640 134716908 3221224576 3221220804 1075115028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10397 9598 1111 63 0 10334 0
vsize: 41588
[startup+930.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 255994 0 0 0 92385 626 0 0 25 0 1 0 896484102 42184704 9465 4294967295 134512640 134716908 3221224576 3221220620 1074873534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10299 9465 1111 63 0 10236 0
vsize: 41196
[startup+940.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 258509 0 0 0 93378 633 0 0 25 0 1 0 896484102 42303488 9503 4294967295 134512640 134716908 3221224576 3221221648 1074867325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10328 9503 1111 63 0 10265 0
vsize: 41312
[startup+950.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 260821 0 0 0 94373 638 0 0 25 0 1 0 896484102 41885696 9475 4294967295 134512640 134716908 3221224576 3221220732 1075564337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10226 9475 1111 63 0 10163 0
vsize: 40904
[startup+960.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 262908 0 0 0 95367 644 0 0 25 0 1 0 896484102 41668608 9457 4294967295 134512640 134716908 3221224576 3221222304 1075829548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10173 9457 1111 63 0 10110 0
vsize: 40692
[startup+970.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 264920 0 0 0 96362 649 0 0 25 0 1 0 896484102 41398272 9428 4294967295 134512640 134716908 3221224576 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10107 9428 1111 63 0 10044 0
vsize: 40428
[startup+980.053 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 267763 0 0 0 97356 656 0 0 25 0 1 0 896484102 42299392 9529 4294967295 134512640 134716908 3221224576 3221220544 1074872882 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10327 9529 1111 63 0 10264 0
vsize: 41308
[startup+990.053 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 269829 0 0 0 98351 660 0 0 25 0 1 0 896484102 41488384 9450 4294967295 134512640 134716908 3221224576 3221222488 1077380266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10129 9450 1111 63 0 10066 0
vsize: 40516
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 272181 0 0 0 99346 666 0 0 25 0 1 0 896484102 42323968 9511 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10333 9511 1111 63 0 10270 0
vsize: 41332
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 274499 0 0 0 100340 672 0 0 25 0 1 0 896484102 42250240 9483 4294967295 134512640 134716908 3221224576 3221221008 1075118243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10315 9483 1111 63 0 10252 0
vsize: 41260
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 276755 0 0 0 101333 679 0 0 25 0 1 0 896484102 42606592 9575 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10402 9575 1111 63 0 10339 0
vsize: 41608
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 279007 0 0 0 102326 686 0 0 25 0 1 0 896484102 42266624 9505 4294967295 134512640 134716908 3221224576 3221221696 1074837177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10319 9505 1111 63 0 10256 0
vsize: 41276
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 281367 0 0 0 103320 693 0 0 25 0 1 0 896484102 42455040 9568 4294967295 134512640 134716908 3221224576 3221220804 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10365 9568 1111 63 0 10302 0
vsize: 41460
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 281970 0 0 0 104318 695 0 0 25 0 1 0 896484102 41836544 9535 4294967295 134512640 134716908 3221224576 3221221768 1074138265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10214 9535 1111 63 0 10151 0
vsize: 40856
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 282993 0 0 0 105315 697 0 0 25 0 1 0 896484102 42369024 9536 4294967295 134512640 134716908 3221224576 3221220620 1074873554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10344 9536 1111 63 0 10281 0
vsize: 41376
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 284503 0 0 0 106311 702 0 0 25 0 1 0 896484102 42455040 9569 4294967295 134512640 134716908 3221224576 3221220912 1075113616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10365 9569 1111 63 0 10302 0
vsize: 41460
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 286089 0 0 0 107306 707 0 0 25 0 1 0 896484102 42287104 9500 4294967295 134512640 134716908 3221224576 3221221232 1075967892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10324 9500 1111 63 0 10261 0
vsize: 41296
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 287715 0 0 0 108302 711 0 0 25 0 1 0 896484102 42438656 9554 4294967295 134512640 134716908 3221224576 3221220848 1074961253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10361 9554 1111 63 0 10298 0
vsize: 41444
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 289383 0 0 0 109297 716 0 0 25 0 1 0 896484102 42344448 9542 4294967295 134512640 134716908 3221224576 3221220816 1075115696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10338 9542 1111 63 0 10275 0
vsize: 41352
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 291079 0 0 0 110293 721 0 0 25 0 1 0 896484102 42409984 9509 4294967295 134512640 134716908 3221224576 3221220736 1075091819 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10354 9509 1111 63 0 10291 0
vsize: 41416
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 292900 0 0 0 111288 726 0 0 25 0 1 0 896484102 42450944 9538 4294967295 134512640 134716908 3221224576 3221220848 1074960868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10364 9538 1111 63 0 10301 0
vsize: 41456
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 294546 0 0 0 112283 731 0 0 25 0 1 0 896484102 42512384 9584 4294967295 134512640 134716908 3221224576 3221221232 1075967938 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10379 9584 1111 63 0 10316 0
vsize: 41516
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 296144 0 0 0 113280 734 0 0 25 0 1 0 896484102 41594880 9476 4294967295 134512640 134716908 3221224576 3221222304 1075635647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10155 9476 1111 63 0 10092 0
vsize: 40620
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 297687 0 0 0 114275 739 0 0 25 0 1 0 896484102 42213376 9589 4294967295 134512640 134716908 3221224576 3221220800 1074960912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10306 9589 1111 63 0 10243 0
vsize: 41224
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 299461 0 0 0 115271 743 0 0 25 0 1 0 896484102 41508864 9455 4294967295 134512640 134716908 3221224576 3221222600 1077380373 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10134 9455 1111 63 0 10071 0
vsize: 40536
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 301149 0 0 0 116266 749 0 0 25 0 1 0 896484102 42328064 9502 4294967295 134512640 134716908 3221224576 3221221648 1075890974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10334 9502 1111 63 0 10271 0
vsize: 41336
[startup+1176.01 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 17084
Raw data (stat): 17084 (bsolo_lpr-v2) R 17083 20224 20223 0 -1 0 301149 0 0 0 116266 749 0 0 25 0 1 0 896484102 42328064 9502 4294967295 134512640 134716908 3221224576 3221221648 1075890974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10334 9502 1111 63 0 10271 0
vsize: 0

Child status: 10
Real time (s): 1176.01
CPU time (s): 1176.1
CPU user time (s): 1168.56
CPU system time (s): 7.53885
CPU usage (%): 100.008
Max. virtual memory (Kb): 41608
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	4682
#### END VERIFIER DATA ####