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 27483

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-24 22:05:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16901 boxname=wulflinc19 idbench=1301 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  3c39e3c2b993ee2185e2a1a3e73b9723  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-lp4l.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-lp4l.opb
IDLAUNCH: 16901
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        874852 kB
Buffers:         27476 kB
Cached:         105624 kB
SwapCached:        520 kB
Active:          31336 kB
Inactive:       104148 kB
HighTotal:      131008 kB
HighFree:        55132 kB
LowTotal:       903652 kB
LowFree:        819720 kB
SwapTotal:     2097892 kB
SwapFree:      2096796 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            18808 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 22:24:47 (client local time) WITH STATUS 10 IN 1175.49 SECONDS
stats: 16901 0 1175.49 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 978 constraints.
c preprocess terminated 62.831 s
c Initial Lower Bound: 2952
c Lower Bound Elapsed time: 1.2505
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 4743 @ 67.178
c NEW SOLUTION FOUND: 4597 @ 68.131
c NEW SOLUTION FOUND: 4582 @ 68.31
c NEW SOLUTION FOUND: 4570 @ 68.497
c NEW SOLUTION FOUND: 4405 @ 68.728
c NEW SOLUTION FOUND: 4392 @ 69.384
c NEW SOLUTION FOUND: 4305 @ 82.829
c NEW SOLUTION FOUND: 4301 @ 92.543
c NEW SOLUTION FOUND: 4291 @ 93.007
c NEW SOLUTION FOUND: 4288 @ 122.994
c NEW SOLUTION FOUND: 4279 @ 136.627
c NEW SOLUTION FOUND: 4207 @ 137.326
c NEW SOLUTION FOUND: 4206 @ 143.041
c NEW SOLUTION FOUND: 4195 @ 143.99
c NEW SOLUTION FOUND: 4179 @ 160.409
c NEW SOLUTION FOUND: 4176 @ 171.52
c NEW SOLUTION FOUND: 4172 @ 452.163
c NEW SOLUTION FOUND: 4148 @ 765.117
c NEW SOLUTION FOUND: 3915 @ 772.959
c NEW SOLUTION FOUND: 3914 @ 789.713
c NEW SOLUTION FOUND: 3906 @ 792.537
c NEW SOLUTION FOUND: 3897 @ 1070.95
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.46 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
Raw data (loadavg): 0.90 0.96 0.92 2/54 15558
Raw data (stat): 15558 (runsolver) R 15557 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833693022 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.91 0.96 0.92 2/54 15558
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 8587 0 0 0 977 20 0 0 25 0 1 0 833693022 38318080 8505 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9355 8505 1111 63 0 9292 0
vsize: 37420
[startup+20.0012 s]
Raw data (loadavg): 0.92 0.96 0.92 2/54 15558
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 8653 0 0 0 1978 20 0 0 25 0 1 0 833693022 38588416 8571 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9421 8571 1111 63 0 9358 0
vsize: 37684
[startup+30.0021 s]
Raw data (loadavg): 0.94 0.96 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 8708 0 0 0 2978 20 0 0 25 0 1 0 833693022 38727680 8626 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9455 8626 1111 63 0 9392 0
vsize: 37820
[startup+40.0016 s]
Raw data (loadavg): 0.94 0.96 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 8771 0 0 0 3978 20 0 0 25 0 1 0 833693022 38998016 8689 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9521 8689 1111 63 0 9458 0
vsize: 38084
[startup+50.0027 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 8830 0 0 0 4978 20 0 0 25 0 1 0 833693022 39268352 8748 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9587 8748 1111 63 0 9524 0
vsize: 38348
[startup+60.0024 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 8882 0 0 0 5978 20 0 0 25 0 1 0 833693022 39542784 8800 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9654 8800 1111 63 0 9591 0
vsize: 38616
[startup+70.003 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 11571 0 0 0 6971 27 0 0 25 0 1 0 833693022 41193472 9302 4294967295 134512640 134714508 3221224592 3221220820 1075114937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10057 9302 1111 63 0 9994 0
vsize: 40228
[startup+80.004 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 15395 0 0 0 7961 37 0 0 25 0 1 0 833693022 41345024 9319 4294967295 134512640 134714508 3221224592 3221220468 1074786588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10094 9319 1111 63 0 10031 0
vsize: 40376
[startup+90.0039 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 19104 0 0 0 8950 48 0 0 25 0 1 0 833693022 40812544 9284 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9964 9284 1111 63 0 9901 0
vsize: 39856
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 22248 0 0 0 9940 58 0 0 25 0 1 0 833693022 41164800 9288 4294967295 134512640 134714508 3221224592 3221221584 1075338810 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10050 9288 1111 63 0 9987 0
vsize: 40200
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 25388 0 0 0 10931 67 0 0 25 0 1 0 833693022 40837120 9290 4294967295 134512640 134714508 3221224592 3221222800 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9970 9290 1111 63 0 9907 0
vsize: 39880
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 28183 0 0 0 11923 76 0 0 25 0 1 0 833693022 41455616 9369 4294967295 134512640 134714508 3221224592 3221221664 1074867317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10121 9369 1111 63 0 10058 0
vsize: 40484
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 31452 0 0 0 12913 85 0 0 25 0 1 0 833693022 40894464 9304 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9984 9304 1111 63 0 9921 0
vsize: 39936
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 34108 0 0 0 13907 92 0 0 25 0 1 0 833693022 41353216 9315 4294967295 134512640 134714508 3221224592 3221220796 1075562981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10045 9308 1111 63 0 9982 0
vsize: 40384
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 36721 0 0 0 14900 99 0 0 25 0 1 0 833693022 41644032 9410 4294967295 134512640 134714508 3221224592 3221220556 1074860637 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10167 9410 1111 63 0 10104 0
vsize: 40668
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 39682 0 0 0 15892 107 0 0 25 0 1 0 833693022 40894464 9304 4294967295 134512640 134714508 3221224592 3221222896 1074138465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9984 9304 1111 63 0 9921 0
vsize: 39936
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 42328 0 0 0 16886 113 0 0 25 0 1 0 833693022 40894464 9304 4294967295 134512640 134714508 3221224592 3221222840 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9984 9304 1111 63 0 9921 0
vsize: 39936
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 45168 0 0 0 17878 121 0 0 25 0 1 0 833693022 41521152 9388 4294967295 134512640 134714508 3221224592 3221220704 1075895891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10137 9388 1111 63 0 10074 0
vsize: 40548
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 47765 0 0 0 18870 129 0 0 25 0 1 0 833693022 40894464 9304 4294967295 134512640 134714508 3221224592 3221222736 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9984 9304 1111 63 0 9921 0
vsize: 39936
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 50576 0 0 0 19863 137 0 0 25 0 1 0 833693022 41463808 9374 4294967295 134512640 134714508 3221224592 3221222012 1076066893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10123 9374 1111 63 0 10060 0
vsize: 40492
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 54142 0 0 0 20854 146 0 0 25 0 1 0 833693022 40894464 9304 4294967295 134512640 134714508 3221224592 3221222856 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9984 9304 1111 63 0 9921 0
vsize: 39936
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 57129 0 0 0 21847 154 0 0 25 0 1 0 833693022 40894464 9304 4294967295 134512640 134714508 3221224592 3221223184 134650190 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9984 9304 1111 63 0 9921 0
vsize: 39936
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 59839 0 0 0 22839 161 0 0 25 0 1 0 833693022 41246720 9306 4294967295 134512640 134714508 3221224592 3221221576 1074831910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10070 9306 1111 63 0 10007 0
vsize: 40280
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 62573 0 0 0 23832 169 0 0 25 0 1 0 833693022 40804352 9282 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9962 9282 1111 63 0 9899 0
vsize: 39848
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 66756 0 0 0 24821 179 0 0 25 0 1 0 833693022 41345024 9344 4294967295 134512640 134714508 3221224592 3221220556 1074788136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10094 9344 1111 63 0 10031 0
vsize: 40376
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 70276 0 0 0 25813 188 0 0 25 0 1 0 833693022 41365504 9349 4294967295 134512640 134714508 3221224592 3221220764 1074791552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10099 9349 1111 63 0 10036 0
vsize: 40396
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 74500 0 0 0 26803 198 0 0 25 0 1 0 833693022 40792064 9279 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9959 9279 1111 63 0 9896 0
vsize: 39836
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 78677 0 0 0 27792 209 0 0 25 0 1 0 833693022 41541632 9312 4294967295 134512640 134714508 3221224592 3221221632 1075971414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9316 1111 63 0 10079 0
vsize: 40568
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 83135 0 0 0 28782 219 0 0 25 0 1 0 833693022 41422848 9380 4294967295 134512640 134714508 3221224592 3221220560 1074872805 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10113 9380 1111 63 0 10050 0
vsize: 40452
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 87439 0 0 0 29771 231 0 0 25 0 1 0 833693022 40988672 9335 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10007 9335 1111 63 0 9944 0
vsize: 40028
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 90472 0 0 0 30763 239 0 0 25 0 1 0 833693022 41611264 9417 4294967295 134512640 134714508 3221224592 3221221712 1074837177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10159 9417 1111 63 0 10096 0
vsize: 40636
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 94535 0 0 0 31750 252 0 0 25 0 1 0 833693022 40988672 9335 4294967295 134512640 134714508 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10007 9335 1111 63 0 9944 0
vsize: 40028
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 98305 0 0 0 32740 262 0 0 25 0 1 0 833693022 41820160 9446 4294967295 134512640 134714508 3221224592 3221220864 1074960896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10210 9446 1111 63 0 10147 0
vsize: 40840
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 101300 0 0 0 33733 269 0 0 25 0 1 0 833693022 41512960 9390 4294967295 134512640 134714508 3221224592 3221220476 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10135 9390 1111 63 0 10072 0
vsize: 40540
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 103355 0 0 0 34728 275 0 0 25 0 1 0 833693022 41078784 9357 4294967295 134512640 134714508 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10029 9357 1111 63 0 9966 0
vsize: 40116
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 107176 0 0 0 35718 285 0 0 25 0 1 0 833693022 41213952 9390 4294967295 134512640 134714508 3221224592 3221222760 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10062 9390 1111 63 0 9999 0
vsize: 40248
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 110454 0 0 0 36709 294 0 0 25 0 1 0 833693022 41603072 9420 4294967295 134512640 134714508 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10157 9420 1111 63 0 10094 0
vsize: 40628
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 112896 0 0 0 37702 301 0 0 25 0 1 0 833693022 41553920 9403 4294967295 134512640 134714508 3221224592 3221221136 1075088573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10145 9404 1111 63 0 10082 0
vsize: 40580
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 116350 0 0 0 38693 311 0 0 25 0 1 0 833693022 41652224 9422 4294967295 134512640 134714508 3221224592 3221220736 1074969743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10169 9422 1111 63 0 10106 0
vsize: 40676
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 120031 0 0 0 39683 321 0 0 25 0 1 0 833693022 41168896 9379 4294967295 134512640 134714508 3221224592 3221223240 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10051 9379 1111 63 0 9988 0
vsize: 40204
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 121447 0 0 0 40679 325 0 0 25 0 1 0 833693022 41168896 9379 4294967295 134512640 134714508 3221224592 3221222472 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10051 9379 1111 63 0 9988 0
vsize: 40204
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 123565 0 0 0 41672 332 0 0 25 0 1 0 833693022 41168896 9379 4294967295 134512640 134714508 3221224592 3221222752 1074206230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10051 9379 1111 63 0 9988 0
vsize: 40204
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 125853 0 0 0 42666 339 0 0 25 0 1 0 833693022 41529344 9416 4294967295 134512640 134714508 3221224592 3221220604 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10139 9416 1111 63 0 10076 0
vsize: 40556
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 127536 0 0 0 43661 343 0 0 25 0 1 0 833693022 41586688 9408 4294967295 134512640 134714508 3221224592 3221220968 1075112613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10153 9408 1111 63 0 10090 0
vsize: 40612
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 128635 0 0 0 44658 347 0 0 25 0 1 0 833693022 41168896 9379 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10051 9379 1111 63 0 9988 0
vsize: 40204
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 129850 0 0 0 45654 351 0 0 25 0 1 0 833693022 41168896 9379 4294967295 134512640 134714508 3221224592 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10051 9379 1111 63 0 9988 0
vsize: 40204
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 131063 0 0 0 46650 355 0 0 25 0 1 0 833693022 41168896 9379 4294967295 134512640 134714508 3221224592 3221222976 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10051 9379 1111 63 0 9988 0
vsize: 40204
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 132356 0 0 0 47646 359 0 0 25 0 1 0 833693022 41168896 9379 4294967295 134512640 134714508 3221224592 3221222592 1074916822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10051 9379 1111 63 0 9988 0
vsize: 40204
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 133750 0 0 0 48642 363 0 0 25 0 1 0 833693022 41168896 9379 4294967295 134512640 134714508 3221224592 3221222896 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10051 9379 1111 63 0 9988 0
vsize: 40204
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 135918 0 0 0 49636 369 0 0 25 0 1 0 833693022 41168896 9379 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10051 9379 1111 63 0 9988 0
vsize: 40204
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 137604 0 0 0 50631 374 0 0 25 0 1 0 833693022 41168896 9379 4294967295 134512640 134714508 3221224592 3221222320 1075828464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10051 9379 1111 63 0 9988 0
vsize: 40204
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 139546 0 0 0 51626 379 0 0 25 0 1 0 833693022 41168896 9379 4294967295 134512640 134714508 3221224592 3221222704 1074867347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10051 9379 1111 63 0 9988 0
vsize: 40204
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 141694 0 0 0 52621 385 0 0 25 0 1 0 833693022 41168896 9379 4294967295 134512640 134714508 3221224592 3221223112 1077377227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10051 9379 1111 63 0 9988 0
vsize: 40204
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 143036 0 0 0 53617 389 0 0 25 0 1 0 833693022 41168896 9379 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10051 9379 1111 63 0 9988 0
vsize: 40204
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 145080 0 0 0 54610 396 0 0 25 0 1 0 833693022 41586688 9409 4294967295 134512640 134714508 3221224592 3221221664 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10153 9409 1111 63 0 10090 0
vsize: 40612
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 147039 0 0 0 55605 402 0 0 25 0 1 0 833693022 41168896 9379 4294967295 134512640 134714508 3221224592 3221222320 1075828235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10051 9379 1111 63 0 9988 0
vsize: 40204
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 148929 0 0 0 56598 408 0 0 25 0 1 0 833693022 41586688 9403 4294967295 134512640 134714508 3221224592 3221220736 1074969669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10153 9403 1111 63 0 10090 0
vsize: 40612
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.92 3/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 150920 0 0 0 57593 413 0 0 25 0 1 0 833693022 41607168 9416 4294967295 134512640 134714508 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10158 9416 1111 63 0 10095 0
vsize: 40632
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 153498 0 0 0 58585 421 0 0 25 0 1 0 833693022 41615360 9384 4294967295 134512640 134714508 3221224592 3221221632 1075971414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10160 9389 1111 63 0 10097 0
vsize: 40640
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 155822 0 0 0 59580 427 0 0 25 0 1 0 833693022 41168896 9379 4294967295 134512640 134714508 3221224592 3221222784 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10051 9379 1111 63 0 9988 0
vsize: 40204
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 157796 0 0 0 60575 432 0 0 25 0 1 0 833693022 41168896 9379 4294967295 134512640 134714508 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10051 9379 1111 63 0 9988 0
vsize: 40204
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 160472 0 0 0 61568 440 0 0 25 0 1 0 833693022 41553920 9413 4294967295 134512640 134714508 3221224592 3221220476 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10145 9413 1111 63 0 10082 0
vsize: 40580
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 162597 0 0 0 62561 446 0 0 25 0 1 0 833693022 41566208 9415 4294967295 134512640 134714508 3221224592 3221220476 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10148 9415 1111 63 0 10085 0
vsize: 40592
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 164653 0 0 0 63556 452 0 0 25 0 1 0 833693022 41730048 9425 4294967295 134512640 134714508 3221224592 3221220476 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10188 9425 1111 63 0 10125 0
vsize: 40752
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 167077 0 0 0 64549 459 0 0 25 0 1 0 833693022 41168896 9379 4294967295 134512640 134714508 3221224592 3221222320 1075828545 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10051 9379 1111 63 0 9988 0
vsize: 40204
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 169629 0 0 0 65541 467 0 0 25 0 1 0 833693022 41598976 9414 4294967295 134512640 134714508 3221224592 3221221068 1074968484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10156 9414 1111 63 0 10093 0
vsize: 40624
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 171948 0 0 0 66535 473 0 0 25 0 1 0 833693022 41168896 9379 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10051 9379 1111 63 0 9988 0
vsize: 40204
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 174587 0 0 0 67528 481 0 0 25 0 1 0 833693022 41725952 9414 4294967295 134512640 134714508 3221224592 3221220540 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10187 9414 1111 63 0 10124 0
vsize: 40748
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 177241 0 0 0 68521 488 0 0 25 0 1 0 833693022 41947136 9468 4294967295 134512640 134714508 3221224592 3221220976 1074972958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10241 9468 1111 63 0 10178 0
vsize: 40964
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 179911 0 0 0 69514 495 0 0 25 0 1 0 833693022 41168896 9379 4294967295 134512640 134714508 3221224592 3221222880 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10051 9379 1111 63 0 9988 0
vsize: 40204
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 183346 0 0 0 70505 504 0 0 25 0 1 0 833693022 41218048 9391 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10063 9391 1111 63 0 10000 0
vsize: 40252
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 185802 0 0 0 71498 511 0 0 25 0 1 0 833693022 41615360 9425 4294967295 134512640 134714508 3221224592 3221220692 1075964241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10160 9425 1111 63 0 10097 0
vsize: 40640
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 188538 0 0 0 72491 519 0 0 25 0 1 0 833693022 41316352 9415 4294967295 134512640 134714508 3221224592 3221223040 1073990086 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10087 9415 1111 63 0 10024 0
vsize: 40348
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 191572 0 0 0 73482 528 0 0 25 0 1 0 833693022 41218048 9391 4294967295 134512640 134714508 3221224592 3221222592 1074056052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10063 9391 1111 63 0 10000 0
vsize: 40252
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 195029 0 0 0 74472 538 0 0 25 0 1 0 833693022 41852928 9476 4294967295 134512640 134714508 3221224592 3221220636 1074873465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10218 9476 1111 63 0 10155 0
vsize: 40872
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 198932 0 0 0 75462 548 0 0 25 0 1 0 833693022 41218048 9391 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10063 9391 1111 63 0 10000 0
vsize: 40252
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 201772 0 0 0 76454 556 0 0 25 0 1 0 833693022 41168896 9379 4294967295 134512640 134714508 3221224592 3221222880 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10051 9379 1111 63 0 9988 0
vsize: 40204
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 204001 0 0 0 77449 561 0 0 25 0 1 0 833693022 41033728 9346 4294967295 134512640 134714508 3221224592 3221222800 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9346 1111 63 0 9955 0
vsize: 40072
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 206302 0 0 0 78444 566 0 0 25 0 1 0 833693022 41033728 9346 4294967295 134512640 134714508 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9346 1111 63 0 9955 0
vsize: 40072
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 208938 0 0 0 79436 575 0 0 25 0 1 0 833693022 41394176 9381 4294967295 134512640 134714508 3221224592 3221221712 1074835529 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10106 9381 1111 63 0 10043 0
vsize: 40424
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 211828 0 0 0 80428 583 0 0 25 0 1 0 833693022 41033728 9346 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9346 1111 63 0 9955 0
vsize: 40072
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 214453 0 0 0 81422 589 0 0 25 0 1 0 833693022 41033728 9346 4294967295 134512640 134714508 3221224592 3221223264 134650213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9346 1111 63 0 9955 0
vsize: 40072
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 217263 0 0 0 82414 597 0 0 25 0 1 0 833693022 41603072 9391 4294967295 134512640 134714508 3221224592 3221220560 1074873130 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10157 9391 1111 63 0 10094 0
vsize: 40628
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 219127 0 0 0 83409 602 0 0 25 0 1 0 833693022 41033728 9346 4294967295 134512640 134714508 3221224592 3221222928 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9346 1111 63 0 9955 0
vsize: 40072
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 221290 0 0 0 84404 608 0 0 25 0 1 0 833693022 41824256 9443 4294967295 134512640 134714508 3221224592 3221220752 1074794684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10211 9443 1111 63 0 10148 0
vsize: 40844
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 224084 0 0 0 85396 615 0 0 25 0 1 0 833693022 41033728 9346 4294967295 134512640 134714508 3221224592 3221223184 134650190 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9346 1111 63 0 9955 0
vsize: 40072
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 226292 0 0 0 86390 621 0 0 25 0 1 0 833693022 41050112 9346 4294967295 134512640 134714508 3221224592 3221223200 134549460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10022 9346 1111 63 0 9959 0
vsize: 40088
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 228672 0 0 0 87384 628 0 0 25 0 1 0 833693022 41431040 9354 4294967295 134512640 134714508 3221224592 3221221424 1075115329 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10115 9354 1111 63 0 10052 0
vsize: 40460
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 231017 0 0 0 88377 634 0 0 25 0 1 0 833693022 41033728 9346 4294967295 134512640 134714508 3221224592 3221223008 1074116190 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9346 1111 63 0 9955 0
vsize: 40072
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 233572 0 0 0 89370 642 0 0 25 0 1 0 833693022 41447424 9378 4294967295 134512640 134714508 3221224592 3221220556 1074860630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10119 9378 1111 63 0 10056 0
vsize: 40476
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 235903 0 0 0 90364 649 0 0 25 0 1 0 833693022 41435136 9382 4294967295 134512640 134714508 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10116 9382 1111 63 0 10053 0
vsize: 40464
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 238463 0 0 0 91356 657 0 0 25 0 1 0 833693022 41607168 9391 4294967295 134512640 134714508 3221224592 3221220560 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10158 9391 1111 63 0 10095 0
vsize: 40632
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 241504 0 0 0 92347 666 0 0 25 0 1 0 833693022 41033728 9346 4294967295 134512640 134714508 3221224592 3221222668 1077379860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9346 1111 63 0 9955 0
vsize: 40072
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 244878 0 0 0 93337 675 0 0 25 0 1 0 833693022 41943040 9469 4294967295 134512640 134714508 3221224592 3221220592 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10240 9469 1111 63 0 10177 0
vsize: 40960
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 248182 0 0 0 94330 682 0 0 25 0 1 0 833693022 41033728 9346 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9346 1111 63 0 9955 0
vsize: 40072
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 250319 0 0 0 95324 689 0 0 25 0 1 0 833693022 41451520 9371 4294967295 134512640 134714508 3221224592 3221220556 1074788173 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10120 9371 1111 63 0 10057 0
vsize: 40480
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 252367 0 0 0 96318 696 0 0 25 0 1 0 833693022 41033728 9346 4294967295 134512640 134714508 3221224592 3221222512 1075799550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9346 1111 63 0 9955 0
vsize: 40072
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 254341 0 0 0 97312 701 0 0 25 0 1 0 833693022 41033728 9346 4294967295 134512640 134714508 3221224592 3221223332 134604483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9346 1111 63 0 9955 0
vsize: 40072
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 256401 0 0 0 98306 708 0 0 25 0 1 0 833693022 41033728 9346 4294967295 134512640 134714508 3221224592 3221222976 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9346 1111 63 0 9955 0
vsize: 40072
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 259007 0 0 0 99299 714 0 0 25 0 1 0 833693022 41033728 9346 4294967295 134512640 134714508 3221224592 3221222240 1075818298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9346 1111 63 0 9955 0
vsize: 40072
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 261470 0 0 0 100294 720 0 0 25 0 1 0 833693022 41463808 9381 4294967295 134512640 134714508 3221224592 3221220752 1075091282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10123 9381 1111 63 0 10060 0
vsize: 40492
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 264388 0 0 0 101287 727 0 0 25 0 1 0 833693022 41033728 9346 4294967295 134512640 134714508 3221224592 3221222760 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9346 1111 63 0 9955 0
vsize: 40072
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 267798 0 0 0 102278 736 0 0 25 0 1 0 833693022 41033728 9346 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9346 1111 63 0 9955 0
vsize: 40072
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 270532 0 0 0 103271 743 0 0 25 0 1 0 833693022 41033728 9347 4294967295 134512640 134714508 3221224592 3221222800 1074205872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9347 1111 63 0 9955 0
vsize: 40072
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 273994 0 0 0 104263 752 0 0 25 0 1 0 833693022 41611264 9421 4294967295 134512640 134714508 3221224592 3221220692 1075964214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10159 9421 1111 63 0 10096 0
vsize: 40636
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 277480 0 0 0 105254 761 0 0 25 0 1 0 833693022 41033728 9347 4294967295 134512640 134714508 3221224592 3221222264 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9347 1111 63 0 9955 0
vsize: 40072
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 280683 0 0 0 106244 771 0 0 25 0 1 0 833693022 41951232 9419 4294967295 134512640 134714508 3221224592 3221220684 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10242 9420 1111 63 0 10179 0
vsize: 40968
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 283180 0 0 0 107237 778 0 0 25 0 1 0 833693022 41082880 9359 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10030 9359 1111 63 0 9967 0
vsize: 40120
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 286466 0 0 0 108229 785 0 0 25 0 1 0 833693022 41611264 9419 4294967295 134512640 134714508 3221224592 3221220656 1074788673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10159 9419 1111 63 0 10096 0
vsize: 40636
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 289430 0 0 0 109220 795 0 0 25 0 1 0 833693022 41082880 9359 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10030 9359 1111 63 0 9967 0
vsize: 40120
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 292319 0 0 0 110212 803 0 0 25 0 1 0 833693022 41082880 9359 4294967295 134512640 134714508 3221224592 3221222880 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10030 9359 1111 63 0 9967 0
vsize: 40120
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 295658 0 0 0 111204 811 0 0 25 0 1 0 833693022 41082880 9359 4294967295 134512640 134714508 3221224592 3221222892 1077374432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10030 9359 1111 63 0 9967 0
vsize: 40120
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 298520 0 0 0 112195 820 0 0 25 0 1 0 833693022 41660416 9409 4294967295 134512640 134714508 3221224592 3221220664 1075964737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10171 9409 1111 63 0 10108 0
vsize: 40684
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 300988 0 0 0 113188 828 0 0 25 0 1 0 833693022 41467904 9395 4294967295 134512640 134714508 3221224592 3221221248 1075966474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10124 9395 1111 63 0 10061 0
vsize: 40496
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 304130 0 0 0 114179 837 0 0 25 0 1 0 833693022 41648128 9404 4294967295 134512640 134714508 3221224592 3221220476 1074788977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10168 9404 1111 63 0 10105 0
vsize: 40672
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 307336 0 0 0 115170 846 0 0 25 0 1 0 833693022 41656320 9402 4294967295 134512640 134714508 3221224592 3221221032 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10170 9402 1111 63 0 10107 0
vsize: 40680
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 310579 0 0 0 116162 855 0 0 25 0 1 0 833693022 41828352 9466 4294967295 134512640 134714508 3221224592 3221220832 1075115739 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10212 9466 1111 63 0 10149 0
vsize: 40848
[startup+1175.34 s]
Raw data (loadavg): 0.99 0.97 0.92 1/53 15560
Raw data (stat): 15558 (bsolo_lpr) R 15557 10795 10794 0 -1 0 310579 0 0 0 116162 855 0 0 25 0 1 0 833693022 41828352 9466 4294967295 134512640 134714508 3221224592 3221220832 1075115739 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10212 9466 1111 63 0 10149 0
vsize: 0

Child status: 10
Real time (s): 1175.34
CPU time (s): 1175.49
CPU user time (s): 1166.87
CPU system time (s): 8.61569
CPU usage (%): 100.013
Max. virtual memory (Kb): 40968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	3897
#### END VERIFIER DATA ####