PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-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	3684
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.3
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 40290

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        670032 kB
Buffers:         23808 kB
Cached:         318692 kB
SwapCached:        696 kB
Active:          27908 kB
Inactive:       316704 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        669780 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5152 kB
Slab:            14416 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 06:14:44 (client local time) WITH STATUS 10 IN 1175.3 SECONDS
stats: 28345 0 1175.3 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 994 constraints.
c preprocess terminated 62.897 s
c Initial Lower Bound: 2943
c Lower Bound Elapsed time: 0.473
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 5014 @ 533.833
c NEW SOLUTION FOUND: 4988 @ 536.932
c NEW SOLUTION FOUND: 4981 @ 546.016
c NEW SOLUTION FOUND: 4970 @ 553
c NEW SOLUTION FOUND: 4958 @ 589.309
c NEW SOLUTION FOUND: 4923 @ 595.09
c NEW SOLUTION FOUND: 4915 @ 737.464
c NEW SOLUTION FOUND: 4910 @ 748.866
c NEW SOLUTION FOUND: 4903 @ 931.165
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: 1175.27 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.93 0.98 0.91 2/54 15671
Raw data (stat): 15671 (runsolver) R 15670 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899275307 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 8590 0 0 0 977 20 0 0 25 0 1 0 899275307 38318080 8504 4294967295 134512640 134716908 3221224576 3221223248 134627266 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.0016 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 8657 0 0 0 1977 20 0 0 25 0 1 0 899275307 38588416 8571 4294967295 134512640 134716908 3221224576 3221223236 134627213 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.0013 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 8715 0 0 0 2977 20 0 0 25 0 1 0 899275307 38862848 8629 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9488 8629 1111 63 0 9425 0
vsize: 37952
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 8779 0 0 0 3977 20 0 0 25 0 1 0 899275307 39133184 8693 4294967295 134512640 134716908 3221224576 3221223236 134627213 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.0012 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 8838 0 0 0 4977 21 0 0 25 0 1 0 899275307 39268352 8752 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9587 8752 1111 63 0 9524 0
vsize: 38348
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 8891 0 0 0 5977 21 0 0 25 0 1 0 899275307 39542784 8805 4294967295 134512640 134716908 3221224576 3221223228 134558608 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.0023 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 12667 0 0 0 6968 29 0 0 25 0 1 0 899275307 41586688 9381 4294967295 134512640 134716908 3221224576 3221220476 1074787806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10153 9381 1111 63 0 10090 0
vsize: 40612
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 15907 0 0 0 7960 38 0 0 25 0 1 0 899275307 41594880 9363 4294967295 134512640 134716908 3221224576 3221220912 1075113502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10155 9363 1111 63 0 10092 0
vsize: 40620
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 18729 0 0 0 8954 44 0 0 25 0 1 0 899275307 41582592 9369 4294967295 134512640 134716908 3221224576 3221221232 1075967425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10152 9369 1111 63 0 10089 0
vsize: 40608
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 21621 0 0 0 9948 50 0 0 25 0 1 0 899275307 41271296 9268 4294967295 134512640 134716908 3221224576 3221221504 1075960378 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10076 9272 1111 63 0 10013 0
vsize: 40304
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 24698 0 0 0 10941 58 0 0 25 0 1 0 899275307 41574400 9363 4294967295 134512640 134716908 3221224576 3221220736 1074794568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10150 9363 1111 63 0 10087 0
vsize: 40600
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 27849 0 0 0 11933 65 0 0 25 0 1 0 899275307 41582592 9370 4294967295 134512640 134716908 3221224576 3221220848 1074960912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10152 9370 1111 63 0 10089 0
vsize: 40608
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 30931 0 0 0 12927 72 0 0 25 0 1 0 899275307 41570304 9352 4294967295 134512640 134716908 3221224576 3221220620 1074873512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10149 9352 1111 63 0 10086 0
vsize: 40596
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 34068 0 0 0 13920 79 0 0 25 0 1 0 899275307 41582592 9343 4294967295 134512640 134716908 3221224576 3221220848 1074961212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10152 9343 1111 63 0 10089 0
vsize: 40608
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 37211 0 0 0 14914 85 0 0 25 0 1 0 899275307 41574400 9371 4294967295 134512640 134716908 3221224576 3221220380 1074787845 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10150 9371 1111 63 0 10087 0
vsize: 40600
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 40295 0 0 0 15907 92 0 0 25 0 1 0 899275307 41566208 9372 4294967295 134512640 134716908 3221224576 3221221696 1074834346 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10148 9372 1111 63 0 10085 0
vsize: 40592
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 42965 0 0 0 16901 98 0 0 25 0 1 0 899275307 41566208 9363 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10148 9363 1111 63 0 10085 0
vsize: 40592
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 46095 0 0 0 17895 104 0 0 25 0 1 0 899275307 41566208 9367 4294967295 134512640 134716908 3221224576 3221220476 1074787806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10148 9367 1111 63 0 10085 0
vsize: 40592
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 48741 0 0 0 18889 111 0 0 25 0 1 0 899275307 41549824 9356 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10144 9356 1111 63 0 10081 0
vsize: 40576
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 51781 0 0 0 19882 118 0 0 25 0 1 0 899275307 41549824 9355 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10144 9355 1111 63 0 10081 0
vsize: 40576
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 54599 0 0 0 20875 126 0 0 25 0 1 0 899275307 40472576 9200 4294967295 134512640 134716908 3221224576 3221222696 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9881 9200 1111 63 0 9818 0
vsize: 39524
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 57619 0 0 0 21867 133 0 0 25 0 1 0 899275307 40472576 9200 4294967295 134512640 134716908 3221224576 3221222784 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9881 9200 1111 63 0 9818 0
vsize: 39524
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 60430 0 0 0 22862 139 0 0 25 0 1 0 899275307 41537536 9347 4294967295 134512640 134716908 3221224576 3221220912 1075113502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10141 9347 1111 63 0 10078 0
vsize: 40564
[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 63535 0 0 0 23855 146 0 0 25 0 1 0 899275307 40472576 9200 4294967295 134512640 134716908 3221224576 3221222408 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9881 9200 1111 63 0 9818 0
vsize: 39524
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 66559 0 0 0 24849 152 0 0 25 0 1 0 899275307 40968192 9275 4294967295 134512640 134716908 3221224576 3221222224 1075818331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10002 9275 1111 63 0 9939 0
vsize: 40008
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 69350 0 0 0 25842 159 0 0 25 0 1 0 899275307 40472576 9200 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9881 9200 1111 63 0 9818 0
vsize: 39524
[startup+270.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 72188 0 0 0 26837 165 0 0 25 0 1 0 899275307 41639936 9408 4294967295 134512640 134716908 3221224576 3221221232 1075968211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10166 9408 1111 63 0 10103 0
vsize: 40664
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 75177 0 0 0 27829 172 0 0 25 0 1 0 899275307 40472576 9200 4294967295 134512640 134716908 3221224576 3221222584 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9881 9200 1111 63 0 9818 0
vsize: 39524
[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15671
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 78245 0 0 0 28823 179 0 0 25 0 1 0 899275307 41558016 9369 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10146 9369 1111 63 0 10083 0
vsize: 40584
[startup+300.158 s]
Raw data (loadavg): 1.07 1.00 0.92 3/57 15712
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 81040 0 0 0 29830 187 0 0 25 0 1 0 899275307 41590784 9360 4294967295 134512640 134716908 3221224576 3221220632 1074789530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10154 9360 1111 63 0 10091 0
vsize: 40616
[startup+310.158 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 15725
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 83984 0 0 0 30822 194 0 0 25 0 1 0 899275307 40472576 9200 4294967295 134512640 134716908 3221224576 3221222788 1077374441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9881 9200 1111 63 0 9818 0
vsize: 39524
[startup+320.158 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 15725
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 86929 0 0 0 31816 201 0 0 25 0 1 0 899275307 41586688 9346 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10153 9346 1111 63 0 10090 0
vsize: 40612
[startup+330.158 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 15725
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 89748 0 0 0 32809 208 0 0 25 0 1 0 899275307 40472576 9200 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9881 9200 1111 63 0 9818 0
vsize: 39524
[startup+340.158 s]
Raw data (loadavg): 1.09 1.01 0.93 2/54 15725
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 92631 0 0 0 33803 215 0 0 25 0 1 0 899275307 41500672 9351 4294967295 134512640 134716908 3221224576 3221220736 1074794565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10132 9351 1111 63 0 10069 0
vsize: 40528
[startup+350.159 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 15725
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 95378 0 0 0 34796 221 0 0 25 0 1 0 899275307 40472576 9200 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9881 9200 1111 63 0 9818 0
vsize: 39524
[startup+360.16 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 15725
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 98393 0 0 0 35790 228 0 0 25 0 1 0 899275307 40472576 9200 4294967295 134512640 134716908 3221224576 3221222784 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9881 9200 1111 63 0 9818 0
vsize: 39524
[startup+370.16 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 15725
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 101048 0 0 0 36784 234 0 0 25 0 1 0 899275307 41668608 9365 4294967295 134512640 134716908 3221224576 3221220472 1074789603 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10173 9365 1111 63 0 10110 0
vsize: 40692
[startup+380.16 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 103554 0 0 0 37778 240 0 0 25 0 1 0 899275307 40763392 9271 4294967295 134512640 134716908 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9952 9271 1111 63 0 9889 0
vsize: 39808
[startup+390.16 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 105738 0 0 0 38773 245 0 0 25 0 1 0 899275307 40472576 9200 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9881 9200 1111 63 0 9818 0
vsize: 39524
[startup+400.161 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 107610 0 0 0 39769 250 0 0 25 0 1 0 899275307 41476096 9353 4294967295 134512640 134716908 3221224576 3221220780 1075564169 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10126 9353 1111 63 0 10063 0
vsize: 40504
[startup+410.162 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 109657 0 0 0 40764 255 0 0 25 0 1 0 899275307 41689088 9335 4294967295 134512640 134716908 3221224576 3221220620 1074873554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10178 9335 1111 63 0 10115 0
vsize: 40712
[startup+420.163 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 111674 0 0 0 41760 259 0 0 25 0 1 0 899275307 41459712 9348 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10122 9348 1111 63 0 10059 0
vsize: 40488
[startup+430.163 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 113723 0 0 0 42756 264 0 0 25 0 1 0 899275307 40681472 9219 4294967295 134512640 134716908 3221224576 3221222576 1074918206 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9932 9219 1111 63 0 9869 0
vsize: 39728
[startup+440.163 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 115620 0 0 0 43751 268 0 0 25 0 1 0 899275307 41484288 9360 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10128 9360 1111 63 0 10065 0
vsize: 40512
[startup+450.163 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 117601 0 0 0 44747 273 0 0 25 0 1 0 899275307 41472000 9341 4294967295 134512640 134716908 3221224576 3221220784 1074815284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10125 9341 1111 63 0 10062 0
vsize: 40500
[startup+460.163 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 119268 0 0 0 45741 279 0 0 25 0 1 0 899275307 40669184 9216 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9929 9216 1111 63 0 9866 0
vsize: 39716
[startup+470.164 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 121288 0 0 0 46736 284 0 0 25 0 1 0 899275307 41512960 9333 4294967295 134512640 134716908 3221224576 3221221640 1075007302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10135 9333 1111 63 0 10072 0
vsize: 40540
[startup+480.165 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 123039 0 0 0 47732 289 0 0 25 0 1 0 899275307 41455616 9320 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10121 9323 1111 63 0 10058 0
vsize: 40484
[startup+490.165 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 124817 0 0 0 48728 293 0 0 25 0 1 0 899275307 41447424 9336 4294967295 134512640 134716908 3221224576 3221220472 1074789815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10119 9336 1111 63 0 10056 0
vsize: 40476
[startup+500.165 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 126667 0 0 0 49723 297 0 0 25 0 1 0 899275307 41435136 9335 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10116 9335 1111 63 0 10053 0
vsize: 40464
[startup+510.165 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 128134 0 0 0 50720 301 0 0 25 0 1 0 899275307 41492480 9336 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10130 9336 1111 63 0 10067 0
vsize: 40520
[startup+520.165 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 129737 0 0 0 51715 306 0 0 25 0 1 0 899275307 40472576 9200 4294967295 134512640 134716908 3221224576 3221222696 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9881 9200 1111 63 0 9818 0
vsize: 39524
[startup+530.165 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 131721 0 0 0 52711 311 0 0 25 0 1 0 899275307 41791488 9400 4294967295 134512640 134716908 3221224576 3221220816 1075115762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10203 9400 1111 63 0 10140 0
vsize: 40812
[startup+540.166 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 134024 0 0 0 53705 316 0 0 25 0 1 0 899275307 40861696 9296 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9976 9296 1111 63 0 9913 0
vsize: 39904
[startup+550.166 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 136378 0 0 0 54700 321 0 0 25 0 1 0 899275307 40841216 9291 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9971 9291 1111 63 0 9908 0
vsize: 39884
[startup+560.167 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 138955 0 0 0 55692 329 0 0 25 0 1 0 899275307 40841216 9291 4294967295 134512640 134716908 3221224576 3221222960 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9971 9291 1111 63 0 9908 0
vsize: 39884
[startup+570.168 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 141217 0 0 0 56687 334 0 0 25 0 1 0 899275307 41877504 9414 4294967295 134512640 134716908 3221224576 3221221232 1075968695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10224 9414 1111 63 0 10161 0
vsize: 40896
[startup+580.167 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 143669 0 0 0 57682 339 0 0 25 0 1 0 899275307 40968192 9323 4294967295 134512640 134716908 3221224576 3221222992 134652836 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10002 9323 1111 63 0 9939 0
vsize: 40008
[startup+590.167 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 145566 0 0 0 58676 345 0 0 25 0 1 0 899275307 41058304 9345 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10024 9345 1111 63 0 9961 0
vsize: 40096
[startup+600.168 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 147915 0 0 0 59670 351 0 0 25 0 1 0 899275307 42180608 9474 4294967295 134512640 134716908 3221224576 3221220816 1075115734 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10298 9474 1111 63 0 10235 0
vsize: 41192
[startup+610.169 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 150264 0 0 0 60666 356 0 0 25 0 1 0 899275307 41058304 9345 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10024 9345 1111 63 0 9961 0
vsize: 40096
[startup+620.169 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 152636 0 0 0 61660 362 0 0 25 0 1 0 899275307 41058304 9345 4294967295 134512640 134716908 3221224576 3221222272 1074056269 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10024 9345 1111 63 0 9961 0
vsize: 40096
[startup+630.168 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 154626 0 0 0 62655 368 0 0 25 0 1 0 899275307 41058304 9345 4294967295 134512640 134716908 3221224576 3221222960 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10024 9345 1111 63 0 9961 0
vsize: 40096
[startup+640.169 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 156875 0 0 0 63650 373 0 0 25 0 1 0 899275307 42082304 9468 4294967295 134512640 134716908 3221224576 3221220604 1074788018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10274 9468 1111 63 0 10211 0
vsize: 41096
[startup+650.169 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15727
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 159584 0 0 0 64643 380 0 0 25 0 1 0 899275307 42049536 9465 4294967295 134512640 134716908 3221224576 3221220736 1074883672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10266 9465 1111 63 0 10203 0
vsize: 41064
[startup+660.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 161981 0 0 0 65637 386 0 0 25 0 1 0 899275307 42172416 9455 4294967295 134512640 134716908 3221224576 3221221344 1076084141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10296 9455 1111 63 0 10233 0
vsize: 41184
[startup+670.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 164320 0 0 0 66630 393 0 0 25 0 1 0 899275307 42016768 9427 4294967295 134512640 134716908 3221224576 3221220752 1074882604 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10258 9427 1111 63 0 10195 0
vsize: 41032
[startup+680.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 166693 0 0 0 67623 400 0 0 25 0 1 0 899275307 40902656 9307 4294967295 134512640 134716908 3221224576 3221222752 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9986 9307 1111 63 0 9923 0
vsize: 39944
[startup+690.171 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 169594 0 0 0 68615 409 0 0 25 0 1 0 899275307 42045440 9434 4294967295 134512640 134716908 3221224576 3221220912 1075113481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10265 9434 1111 63 0 10202 0
vsize: 41060
[startup+700.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 171623 0 0 0 69609 415 0 0 25 0 1 0 899275307 42123264 9450 4294967295 134512640 134716908 3221224576 3221220752 1074882601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10284 9450 1111 63 0 10221 0
vsize: 41136
[startup+710.171 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 174027 0 0 0 70604 421 0 0 25 0 1 0 899275307 41099264 9352 4294967295 134512640 134716908 3221224576 3221222576 1074918083 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10034 9352 1111 63 0 9971 0
vsize: 40136
[startup+720.171 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 176815 0 0 0 71598 426 0 0 25 0 1 0 899275307 42352640 9539 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10340 9539 1111 63 0 10277 0
vsize: 41360
[startup+730.171 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 179129 0 0 0 72593 432 0 0 25 0 1 0 899275307 41730048 9411 4294967295 134512640 134716908 3221224576 3221220752 1074882616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10188 9411 1111 63 0 10125 0
vsize: 40752
[startup+740.172 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 182144 0 0 0 73584 440 0 0 25 0 1 0 899275307 41902080 9382 4294967295 134512640 134716908 3221224576 3221220780 1075563085 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10230 9382 1111 63 0 10167 0
vsize: 40920
[startup+750.172 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 184858 0 0 0 74577 447 0 0 25 0 1 0 899275307 41832448 9460 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10213 9460 1111 63 0 10150 0
vsize: 40852
[startup+760.173 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 187963 0 0 0 75569 456 0 0 25 0 1 0 899275307 41164800 9371 4294967295 134512640 134716908 3221224576 3221222840 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10050 9371 1111 63 0 9987 0
vsize: 40200
[startup+770.174 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 190378 0 0 0 76563 462 0 0 25 0 1 0 899275307 42262528 9517 4294967295 134512640 134716908 3221224576 3221220912 1075113493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10318 9517 1111 63 0 10255 0
vsize: 41272
[startup+780.175 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 192608 0 0 0 77557 468 0 0 25 0 1 0 899275307 42414080 9566 4294967295 134512640 134716908 3221224576 3221220380 1074787514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10355 9566 1111 63 0 10292 0
vsize: 41420
[startup+790.175 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 194521 0 0 0 78553 472 0 0 25 0 1 0 899275307 41304064 9405 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10084 9405 1111 63 0 10021 0
vsize: 40336
[startup+800.175 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 196942 0 0 0 79548 478 0 0 25 0 1 0 899275307 42135552 9546 4294967295 134512640 134716908 3221224576 3221221184 1075968371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10287 9546 1111 63 0 10224 0
vsize: 41148
[startup+810.176 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 199490 0 0 0 80543 483 0 0 25 0 1 0 899275307 42127360 9476 4294967295 134512640 134716908 3221224576 3221220848 1074961246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10285 9476 1111 63 0 10222 0
vsize: 41140
[startup+820.177 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 201686 0 0 0 81538 488 0 0 25 0 1 0 899275307 41463808 9444 4294967295 134512640 134716908 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10123 9444 1111 63 0 10060 0
vsize: 40492
[startup+830.176 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 203250 0 0 0 82534 492 0 0 25 0 1 0 899275307 42340352 9548 4294967295 134512640 134716908 3221224576 3221220544 1074872775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10337 9548 1111 63 0 10274 0
vsize: 41348
[startup+840.177 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 205199 0 0 0 83530 497 0 0 25 0 1 0 899275307 42102784 9446 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10279 9446 1111 63 0 10216 0
vsize: 41116
[startup+850.178 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 207824 0 0 0 84524 502 0 0 25 0 1 0 899275307 41160704 9370 4294967295 134512640 134716908 3221224576 3221222960 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10049 9370 1111 63 0 9986 0
vsize: 40196
[startup+860.179 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 210439 0 0 0 85517 510 0 0 25 0 1 0 899275307 42287104 9513 4294967295 134512640 134716908 3221224576 3221220444 1074787534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10324 9513 1111 63 0 10261 0
vsize: 41296
[startup+870.179 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 212804 0 0 0 86511 516 0 0 25 0 1 0 899275307 41312256 9407 4294967295 134512640 134716908 3221224576 3221222584 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10086 9407 1111 63 0 10023 0
vsize: 40344
[startup+880.179 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 214726 0 0 0 87506 522 0 0 25 0 1 0 899275307 41312256 9407 4294967295 134512640 134716908 3221224576 3221222040 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10086 9407 1111 63 0 10023 0
vsize: 40344
[startup+890.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 216566 0 0 0 88502 526 0 0 25 0 1 0 899275307 42065920 9461 4294967295 134512640 134716908 3221224576 3221221648 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10270 9461 1111 63 0 10207 0
vsize: 41080
[startup+900.181 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 218779 0 0 0 89497 531 0 0 25 0 1 0 899275307 41385984 9425 4294967295 134512640 134716908 3221224576 3221222872 1074138147 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10104 9425 1111 63 0 10041 0
vsize: 40416
[startup+910.181 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 220903 0 0 0 90492 536 0 0 25 0 1 0 899275307 42418176 9557 4294967295 134512640 134716908 3221224576 3221221608 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10356 9557 1111 63 0 10293 0
vsize: 41424
[startup+920.182 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 222995 0 0 0 91487 541 0 0 25 0 1 0 899275307 41336832 9413 4294967295 134512640 134716908 3221224576 3221222528 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10092 9413 1111 63 0 10029 0
vsize: 40368
[startup+930.182 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 225552 0 0 0 92481 548 0 0 25 0 1 0 899275307 41279488 9399 4294967295 134512640 134716908 3221224576 3221222592 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10078 9399 1111 63 0 10015 0
vsize: 40312
[startup+940.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 227589 0 0 0 93476 552 0 0 25 0 1 0 899275307 42274816 9518 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10321 9518 1111 63 0 10258 0
vsize: 41284
[startup+950.182 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 229528 0 0 0 94472 557 0 0 25 0 1 0 899275307 41279488 9399 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10078 9399 1111 63 0 10015 0
vsize: 40312
[startup+960.182 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 231648 0 0 0 95467 561 0 0 25 0 1 0 899275307 42287104 9528 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10324 9528 1111 63 0 10261 0
vsize: 41296
[startup+970.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 234397 0 0 0 96460 569 0 0 25 0 1 0 899275307 42278912 9510 4294967295 134512640 134716908 3221224576 3221220724 1075964437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10322 9510 1111 63 0 10259 0
vsize: 41288
[startup+980.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 236226 0 0 0 97456 574 0 0 25 0 1 0 899275307 42270720 9505 4294967295 134512640 134716908 3221224576 3221221344 1076083584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10320 9505 1111 63 0 10257 0
vsize: 41280
[startup+990.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 237909 0 0 0 98452 578 0 0 25 0 1 0 899275307 42496000 9573 4294967295 134512640 134716908 3221224576 3221220544 1074872816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10375 9573 1111 63 0 10312 0
vsize: 41500
[startup+1000.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 239630 0 0 0 99447 583 0 0 25 0 1 0 899275307 41443328 9439 4294967295 134512640 134716908 3221224576 3221222760 1077377470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10118 9439 1111 63 0 10055 0
vsize: 40472
[startup+1010.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 241597 0 0 0 100441 589 0 0 25 0 1 0 899275307 42405888 9553 4294967295 134512640 134716908 3221224576 3221221168 1074885848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10353 9553 1111 63 0 10290 0
vsize: 41412
[startup+1020.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 243779 0 0 0 101435 594 0 0 25 0 1 0 899275307 42311680 9522 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10330 9522 1111 63 0 10267 0
vsize: 41320
[startup+1030.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 245694 0 0 0 102431 599 0 0 25 0 1 0 899275307 42504192 9583 4294967295 134512640 134716908 3221224576 3221221544 1075112623 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10377 9583 1111 63 0 10314 0
vsize: 41508
[startup+1040.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 247418 0 0 0 103427 604 0 0 25 0 1 0 899275307 41426944 9435 4294967295 134512640 134716908 3221224576 3221222912 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10114 9435 1111 63 0 10051 0
vsize: 40456
[startup+1050.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 249180 0 0 0 104422 608 0 0 25 0 1 0 899275307 42266624 9488 4294967295 134512640 134716908 3221224576 3221221344 1076084883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10319 9488 1111 63 0 10256 0
vsize: 41276
[startup+1060.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 250944 0 0 0 105417 613 0 0 25 0 1 0 899275307 42459136 9548 4294967295 134512640 134716908 3221224576 3221221496 1074950131 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10366 9548 1111 63 0 10303 0
vsize: 41464
[startup+1070.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 253199 0 0 0 106412 619 0 0 25 0 1 0 899275307 41304064 9405 4294967295 134512640 134716908 3221224576 3221223224 134675437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10084 9405 1111 63 0 10021 0
vsize: 40336
[startup+1080.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 255571 0 0 0 107404 626 0 0 25 0 1 0 899275307 42217472 9499 4294967295 134512640 134716908 3221224576 3221221168 1074887369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10307 9499 1111 63 0 10244 0
vsize: 41228
[startup+1090.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 257947 0 0 0 108399 632 0 0 25 0 1 0 899275307 42291200 9517 4294967295 134512640 134716908 3221224576 3221220444 1074787622 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10325 9517 1111 63 0 10262 0
vsize: 41300
[startup+1100.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 260095 0 0 0 109394 637 0 0 25 0 1 0 899275307 41259008 9394 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10073 9394 1111 63 0 10010 0
vsize: 40292
[startup+1110.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 262602 0 0 0 110386 645 0 0 25 0 1 0 899275307 41185280 9376 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10055 9376 1111 63 0 9992 0
vsize: 40220
[startup+1120.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 265310 0 0 0 111379 652 0 0 25 0 1 0 899275307 41332736 9412 4294967295 134512640 134716908 3221224576 3221222816 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10091 9412 1111 63 0 10028 0
vsize: 40364
[startup+1130.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 267595 0 0 0 112373 658 0 0 25 0 1 0 899275307 41259008 9394 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10073 9394 1111 63 0 10010 0
vsize: 40292
[startup+1140.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 269961 0 0 0 113368 664 0 0 25 0 1 0 899275307 41406464 9430 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10109 9430 1111 63 0 10046 0
vsize: 40436
[startup+1150.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 272307 0 0 0 114362 671 0 0 25 0 1 0 899275307 42102784 9467 4294967295 134512640 134716908 3221224576 3221220832 1074790236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10279 9467 1111 63 0 10216 0
vsize: 41116
[startup+1160.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 274490 0 0 0 115356 677 0 0 25 0 1 0 899275307 41259008 9394 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10073 9394 1111 63 0 10010 0
vsize: 40292
[startup+1170.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 277087 0 0 0 116351 682 0 0 25 0 1 0 899275307 41283584 9400 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10079 9400 1111 63 0 10016 0
vsize: 40316
[startup+1175.15 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 15729
Raw data (stat): 15671 (bsolo_lpr-v2) R 15670 7266 7265 0 -1 0 277087 0 0 0 116351 682 0 0 25 0 1 0 899275307 41283584 9400 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10079 9400 1111 63 0 10016 0
vsize: 0

Child status: 10
Real time (s): 1175.15
CPU time (s): 1175.3
CPU user time (s): 1168.43
CPU system time (s): 6.86696
CPU usage (%): 100.012
Max. virtual memory (Kb): 41508
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	4903
#### END VERIFIER DATA ####