Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
MD5SUM3c39e3c2b993ee2185e2a1a3e73b9723
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3744
Optimality of the best value was proved NO
Number of terms in the objective function 1086
Biggest coefficient in the objective function 283
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 197191
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 283
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 197191
Number of bits of the biggest sum of numbers18
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.09
Number of variables1086
Total number of constraints1171
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1170
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint1086

Trace number 28670 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-25 03:32:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11909 boxname=wulflinc11 idbench=917 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  3c39e3c2b993ee2185e2a1a3e73b9723  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-lp4l.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-lp4l.opb
IDLAUNCH: 11909
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        925688 kB
Buffers:         10072 kB
Cached:          78112 kB
SwapCached:        692 kB
Active:          24100 kB
Inactive:        66048 kB
HighTotal:      131008 kB
HighFree:        52164 kB
LowTotal:       903652 kB
LowFree:        873524 kB
SwapTotal:     2097136 kB
SwapFree:      2095468 kB
Dirty:             484 kB
Writeback:           0 kB
Mapped:           5008 kB
Slab:            13176 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 03:52:27 (client local time) WITH STATUS 10 IN 1177.74 SECONDS
stats: 11909 0 1177.74 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 990 constraints.
c preprocess terminated 62.957 s
c Initial Lower Bound: 2949
c Lower Bound Elapsed time: 1.401
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 4580 @ 67.741
c NEW SOLUTION FOUND: 4578 @ 79.87
c NEW SOLUTION FOUND: 4534 @ 86.073
c NEW SOLUTION FOUND: 4404 @ 894.774
c NEW SOLUTION FOUND: 4401 @ 895.932
c NEW SOLUTION FOUND: 4347 @ 1127.36
c NEW SOLUTION FOUND: 4037 @ 1129.81
c NEW SOLUTION FOUND: 3965 @ 1139.08
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: 1177.72 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.85 0.95 0.95 2/54 2950
Raw data (stat): 2950 (runsolver) R 2949 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777441103 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.87 0.95 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 8586 0 0 0 976 21 0 0 25 0 1 0 777441103 38318080 8504 4294967295 134512640 134714508 3221224592 3221223264 134627250 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.0021 s]
Raw data (loadavg): 0.89 0.96 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 8653 0 0 0 1976 21 0 0 25 0 1 0 777441103 38588416 8571 4294967295 134512640 134714508 3221224592 3221223264 134627187 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.0015 s]
Raw data (loadavg): 0.91 0.96 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 8709 0 0 0 2976 22 0 0 25 0 1 0 777441103 38862848 8627 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9488 8627 1111 63 0 9425 0
vsize: 37952
[startup+40.0013 s]
Raw data (loadavg): 0.92 0.96 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 8774 0 0 0 3975 22 0 0 25 0 1 0 777441103 38998016 8692 4294967295 134512640 134714508 3221224592 3221223244 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9521 8692 1111 63 0 9458 0
vsize: 38084
[startup+50.0014 s]
Raw data (loadavg): 0.93 0.96 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 8832 0 0 0 4975 22 0 0 25 0 1 0 777441103 39268352 8750 4294967295 134512640 134714508 3221224592 3221223244 134558618 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9587 8750 1111 63 0 9524 0
vsize: 38348
[startup+60.0019 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 8887 0 0 0 5975 23 0 0 25 0 1 0 777441103 39542784 8805 4294967295 134512640 134714508 3221224592 3221223256 134627195 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.0026 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 12838 0 0 0 6966 31 0 0 25 0 1 0 777441103 41213952 9389 4294967295 134512640 134714508 3221224592 3221222856 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10062 9389 1111 63 0 9999 0
vsize: 40248
[startup+80.0031 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 15655 0 0 0 7958 40 0 0 25 0 1 0 777441103 41320448 9415 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10088 9415 1111 63 0 10025 0
vsize: 40352
[startup+90.0032 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 18191 0 0 0 8951 47 0 0 25 0 1 0 777441103 41275392 9404 4294967295 134512640 134714508 3221224592 3221223216 134650118 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10077 9404 1111 63 0 10014 0
vsize: 40308
[startup+100.003 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 21132 0 0 0 9944 54 0 0 25 0 1 0 777441103 41279488 9405 4294967295 134512640 134714508 3221224592 3221222880 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10078 9405 1111 63 0 10015 0
vsize: 40312
[startup+110.004 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 24576 0 0 0 10933 65 0 0 25 0 1 0 777441103 41803776 9462 4294967295 134512640 134714508 3221224592 3221220556 1074788162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10206 9462 1111 63 0 10143 0
vsize: 40824
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 27946 0 0 0 11924 74 0 0 25 0 1 0 777441103 42209280 9459 4294967295 134512640 134714508 3221224592 3221220820 1075114975 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10305 9459 1111 63 0 10242 0
vsize: 41220
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 31066 0 0 0 12915 83 0 0 25 0 1 0 777441103 41312256 9420 4294967295 134512640 134714508 3221224592 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10086 9420 1111 63 0 10023 0
vsize: 40344
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 34277 0 0 0 13908 91 0 0 25 0 1 0 777441103 41308160 9419 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10085 9419 1111 63 0 10022 0
vsize: 40340
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 37735 0 0 0 14898 101 0 0 25 0 1 0 777441103 41947136 9430 4294967295 134512640 134714508 3221224592 3221221424 1075115845 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10241 9430 1111 63 0 10178 0
vsize: 40964
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 40879 0 0 0 15888 111 0 0 25 0 1 0 777441103 41308160 9419 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10085 9419 1111 63 0 10022 0
vsize: 40340
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 43305 0 0 0 16882 117 0 0 25 0 1 0 777441103 41771008 9453 4294967295 134512640 134714508 3221224592 3221220796 1075564167 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10198 9453 1111 63 0 10135 0
vsize: 40792
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 45749 0 0 0 17874 125 0 0 25 0 1 0 777441103 41443328 9420 4294967295 134512640 134714508 3221224592 3221222240 1075818272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10118 9420 1111 63 0 10055 0
vsize: 40472
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 48571 0 0 0 18868 131 0 0 25 0 1 0 777441103 41951232 9510 4294967295 134512640 134714508 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10242 9510 1111 63 0 10179 0
vsize: 40968
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 51565 0 0 0 19860 139 0 0 25 0 1 0 777441103 41631744 9441 4294967295 134512640 134714508 3221224592 3221220816 1074808112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10164 9441 1111 63 0 10101 0
vsize: 40656
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 54149 0 0 0 20853 147 0 0 25 0 1 0 777441103 41771008 9451 4294967295 134512640 134714508 3221224592 3221221664 1074867317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10198 9451 1111 63 0 10135 0
vsize: 40792
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 57487 0 0 0 21844 156 0 0 25 0 1 0 777441103 41680896 9459 4294967295 134512640 134714508 3221224592 3221221032 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10176 9459 1111 63 0 10113 0
vsize: 40704
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 60949 0 0 0 22835 165 0 0 25 0 1 0 777441103 41308160 9419 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10085 9419 1111 63 0 10022 0
vsize: 40340
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 63371 0 0 0 23828 172 0 0 25 0 1 0 777441103 41345024 9428 4294967295 134512640 134714508 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10094 9428 1111 63 0 10031 0
vsize: 40376
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 66340 0 0 0 24820 180 0 0 25 0 1 0 777441103 41324544 9419 4294967295 134512640 134714508 3221224592 3221221696 1074138755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10089 9419 1111 63 0 10026 0
vsize: 40356
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 69417 0 0 0 25813 188 0 0 25 0 1 0 777441103 41357312 9427 4294967295 134512640 134714508 3221224592 3221222592 1074916884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10097 9427 1111 63 0 10034 0
vsize: 40388
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 72594 0 0 0 26804 197 0 0 25 0 1 0 777441103 41820160 9464 4294967295 134512640 134714508 3221224592 3221220556 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10210 9464 1111 63 0 10147 0
vsize: 40840
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 75562 0 0 0 27796 205 0 0 25 0 1 0 777441103 41779200 9470 4294967295 134512640 134714508 3221224592 3221220560 1074872805 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10200 9470 1111 63 0 10137 0
vsize: 40800
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 78122 0 0 0 28789 212 0 0 25 0 1 0 777441103 41357312 9431 4294967295 134512640 134714508 3221224592 3221222808 1074146097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10097 9431 1111 63 0 10034 0
vsize: 40388
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 80961 0 0 0 29781 220 0 0 25 0 1 0 777441103 41340928 9427 4294967295 134512640 134714508 3221224592 3221222832 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10093 9427 1111 63 0 10030 0
vsize: 40372
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 84037 0 0 0 30774 228 0 0 25 0 1 0 777441103 41803776 9467 4294967295 134512640 134714508 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10206 9467 1111 63 0 10143 0
vsize: 40824
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 87679 0 0 0 31764 238 0 0 25 0 1 0 777441103 42135552 9549 4294967295 134512640 134714508 3221224592 3221220704 1074794562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10287 9549 1111 63 0 10224 0
vsize: 41148
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 89975 0 0 0 32758 244 0 0 25 0 1 0 777441103 41791488 9484 4294967295 134512640 134714508 3221224592 3221221128 1076046617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10203 9484 1111 63 0 10140 0
vsize: 40812
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 92703 0 0 0 33750 252 0 0 25 0 1 0 777441103 41410560 9444 4294967295 134512640 134714508 3221224592 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10110 9444 1111 63 0 10047 0
vsize: 40440
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 95487 0 0 0 34743 259 0 0 25 0 1 0 777441103 41410560 9444 4294967295 134512640 134714508 3221224592 3221222536 1077410289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10110 9444 1111 63 0 10047 0
vsize: 40440
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 98988 0 0 0 35734 268 0 0 25 0 1 0 777441103 41250816 9405 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10071 9405 1111 63 0 10008 0
vsize: 40284
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 102783 0 0 0 36724 279 0 0 25 0 1 0 777441103 42094592 9468 4294967295 134512640 134714508 3221224592 3221221424 1075115375 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10277 9468 1111 63 0 10214 0
vsize: 41108
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 106270 0 0 0 37715 287 0 0 25 0 1 0 777441103 42004480 9528 4294967295 134512640 134714508 3221224592 3221220960 1075894562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10255 9528 1111 63 0 10192 0
vsize: 41020
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 108737 0 0 0 38710 293 0 0 25 0 1 0 777441103 42008576 9507 4294967295 134512640 134714508 3221224592 3221220624 1075965243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10256 9507 1111 63 0 10193 0
vsize: 41024
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 111166 0 0 0 39702 301 0 0 25 0 1 0 777441103 41529344 9473 4294967295 134512640 134714508 3221224592 3221222976 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10139 9473 1111 63 0 10076 0
vsize: 40556
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 113400 0 0 0 40696 307 0 0 25 0 1 0 777441103 41545728 9477 4294967295 134512640 134714508 3221224592 3221222944 1074115328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10143 9477 1111 63 0 10080 0
vsize: 40572
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 115231 0 0 0 41691 313 0 0 25 0 1 0 777441103 41762816 9481 4294967295 134512640 134714508 3221224592 3221220636 1074873336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10196 9481 1111 63 0 10133 0
vsize: 40784
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 117278 0 0 0 42684 319 0 0 25 0 1 0 777441103 41680896 9488 4294967295 134512640 134714508 3221224592 3221220816 1074960912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10176 9488 1111 63 0 10113 0
vsize: 40704
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 120531 0 0 0 43675 329 0 0 25 0 1 0 777441103 41529344 9473 4294967295 134512640 134714508 3221224592 3221223040 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10139 9473 1111 63 0 10076 0
vsize: 40556
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 122190 0 0 0 44670 334 0 0 25 0 1 0 777441103 41529344 9473 4294967295 134512640 134714508 3221224592 3221223220 1077374082 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10139 9473 1111 63 0 10076 0
vsize: 40556
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 124411 0 0 0 45664 341 0 0 25 0 1 0 777441103 41529344 9473 4294967295 134512640 134714508 3221224592 3221222320 1075828608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10139 9473 1111 63 0 10076 0
vsize: 40556
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 125770 0 0 0 46660 345 0 0 25 0 1 0 777441103 41529344 9473 4294967295 134512640 134714508 3221224592 3221222856 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10139 9473 1111 63 0 10076 0
vsize: 40556
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 127380 0 0 0 47655 349 0 0 25 0 1 0 777441103 41529344 9473 4294967295 134512640 134714508 3221224592 3221222992 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10139 9473 1111 63 0 10076 0
vsize: 40556
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 129909 0 0 0 48648 357 0 0 25 0 1 0 777441103 42008576 9511 4294967295 134512640 134714508 3221224592 3221220816 1075895891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10256 9511 1111 63 0 10193 0
vsize: 41024
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 131431 0 0 0 49644 361 0 0 25 0 1 0 777441103 41762816 9481 4294967295 134512640 134714508 3221224592 3221221080 1075006389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10196 9481 1111 63 0 10133 0
vsize: 40784
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 133456 0 0 0 50638 367 0 0 25 0 1 0 777441103 41996288 9537 4294967295 134512640 134714508 3221224592 3221220864 1074961375 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10253 9537 1111 63 0 10190 0
vsize: 41012
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 135786 0 0 0 51631 374 0 0 25 0 1 0 777441103 41529344 9473 4294967295 134512640 134714508 3221224592 3221222256 1075828608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10139 9473 1111 63 0 10076 0
vsize: 40556
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 137995 0 0 0 52625 381 0 0 25 0 1 0 777441103 41529344 9473 4294967295 134512640 134714508 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10139 9473 1111 63 0 10076 0
vsize: 40556
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 139097 0 0 0 53622 384 0 0 25 0 1 0 777441103 41529344 9473 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10139 9473 1111 63 0 10076 0
vsize: 40556
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 141055 0 0 0 54617 389 0 0 25 0 1 0 777441103 41545728 9477 4294967295 134512640 134714508 3221224592 3221222704 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10143 9477 1111 63 0 10080 0
vsize: 40572
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 143579 0 0 0 55611 395 0 0 25 0 1 0 777441103 42246144 9563 4294967295 134512640 134714508 3221224592 3221220832 1075115709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10314 9563 1111 63 0 10251 0
vsize: 41256
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 145695 0 0 0 56607 400 0 0 25 0 1 0 777441103 41545728 9477 4294967295 134512640 134714508 3221224592 3221222888 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10143 9477 1111 63 0 10080 0
vsize: 40572
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 148215 0 0 0 57600 407 0 0 25 0 1 0 777441103 41549824 9478 4294967295 134512640 134714508 3221224592 3221222992 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10144 9478 1111 63 0 10081 0
vsize: 40576
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 149991 0 0 0 58595 412 0 0 25 0 1 0 777441103 41762816 9484 4294967295 134512640 134714508 3221224592 3221220864 1074961244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10196 9484 1111 63 0 10133 0
vsize: 40784
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 152031 0 0 0 59589 418 0 0 25 0 1 0 777441103 41762816 9484 4294967295 134512640 134714508 3221224592 3221221120 1075890974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10196 9484 1111 63 0 10133 0
vsize: 40784
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 154063 0 0 0 60584 424 0 0 25 0 1 0 777441103 41529344 9473 4294967295 134512640 134714508 3221224592 3221223344 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10139 9473 1111 63 0 10076 0
vsize: 40556
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 156296 0 0 0 61577 430 0 0 25 0 1 0 777441103 41762816 9484 4294967295 134512640 134714508 3221224592 3221220476 1074788930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10196 9484 1111 63 0 10133 0
vsize: 40784
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 159048 0 0 0 62571 437 0 0 25 0 1 0 777441103 41545728 9477 4294967295 134512640 134714508 3221224592 3221222520 1077377168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10143 9477 1111 63 0 10080 0
vsize: 40572
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 161568 0 0 0 63565 443 0 0 25 0 1 0 777441103 41545728 9477 4294967295 134512640 134714508 3221224592 3221223200 134549444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10143 9477 1111 63 0 10080 0
vsize: 40572
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 163541 0 0 0 64561 447 0 0 25 0 1 0 777441103 41545728 9475 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10143 9475 1111 63 0 10080 0
vsize: 40572
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 165204 0 0 0 65557 452 0 0 25 0 1 0 777441103 41545728 9475 4294967295 134512640 134714508 3221224592 3221222320 1075828915 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10143 9475 1111 63 0 10080 0
vsize: 40572
[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 167444 0 0 0 66551 459 0 0 25 0 1 0 777441103 41545728 9477 4294967295 134512640 134714508 3221224592 3221222944 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10143 9477 1111 63 0 10080 0
vsize: 40572
[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 169771 0 0 0 67546 464 0 0 25 0 1 0 777441103 41545728 9477 4294967295 134512640 134714508 3221224592 3221222944 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10143 9477 1111 63 0 10080 0
vsize: 40572
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 172399 0 0 0 68538 472 0 0 25 0 1 0 777441103 41549824 9478 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10144 9478 1111 63 0 10081 0
vsize: 40576
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 175523 0 0 0 69530 480 0 0 25 0 1 0 777441103 42008576 9512 4294967295 134512640 134714508 3221224592 3221220752 1074794554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10256 9512 1111 63 0 10193 0
vsize: 41024
[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 177546 0 0 0 70525 486 0 0 25 0 1 0 777441103 41549824 9478 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10144 9478 1111 63 0 10081 0
vsize: 40576
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 179904 0 0 0 71519 492 0 0 25 0 1 0 777441103 41545728 9477 4294967295 134512640 134714508 3221224592 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10143 9477 1111 63 0 10080 0
vsize: 40572
[startup+730.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 182227 0 0 0 72513 498 0 0 25 0 1 0 777441103 41762816 9484 4294967295 134512640 134714508 3221224592 3221220736 1074969471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10196 9484 1111 63 0 10133 0
vsize: 40784
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 184790 0 0 0 73507 505 0 0 25 0 1 0 777441103 41549824 9476 4294967295 134512640 134714508 3221224592 3221223344 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10144 9476 1111 63 0 10081 0
vsize: 40576
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 187971 0 0 0 74498 514 0 0 25 0 1 0 777441103 42131456 9548 4294967295 134512640 134714508 3221224592 3221220692 1075964248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10286 9548 1111 63 0 10223 0
vsize: 41144
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 191339 0 0 0 75490 522 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+770.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 194393 0 0 0 76482 529 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221222944 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 196399 0 0 0 77477 535 0 0 25 0 1 0 777441103 41832448 9501 4294967295 134512640 134714508 3221224592 3221220524 1074788195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10213 9501 1111 63 0 10150 0
vsize: 40852
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 197535 0 0 0 78474 538 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 198862 0 0 0 79471 542 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221222732 1077402400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 201013 0 0 0 80465 547 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 203663 0 0 0 81459 554 0 0 25 0 1 0 777441103 42233856 9520 4294967295 134512640 134714508 3221224592 3221220864 1074961210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10311 9520 1111 63 0 10248 0
vsize: 41244
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 205636 0 0 0 82454 558 0 0 25 0 1 0 777441103 42078208 9530 4294967295 134512640 134714508 3221224592 3221220720 1075561208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10273 9530 1111 63 0 10210 0
vsize: 41092
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 207955 0 0 0 83449 564 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221222704 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 210403 0 0 0 84443 570 0 0 25 0 1 0 777441103 42311680 9510 4294967295 134512640 134714508 3221224592 3221220636 1074873512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10330 9510 1111 63 0 10267 0
vsize: 41320
[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 213014 0 0 0 85437 577 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221222880 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 215822 0 0 0 86430 584 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 217473 0 0 0 87424 589 0 0 25 0 1 0 777441103 41832448 9497 4294967295 134512640 134714508 3221224592 3221221712 1074836872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10213 9497 1111 63 0 10150 0
vsize: 40852
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 218653 0 0 0 88419 594 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221222944 1074153680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 220124 0 0 0 89414 599 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221222504 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 222049 0 0 0 90409 604 0 0 25 0 1 0 777441103 42078208 9530 4294967295 134512640 134714508 3221224592 3221220960 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10273 9530 1111 63 0 10210 0
vsize: 41092
[startup+920.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 223954 0 0 0 91405 609 0 0 25 0 1 0 777441103 41832448 9500 4294967295 134512640 134714508 3221224592 3221220820 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10213 9500 1111 63 0 10150 0
vsize: 40852
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 225473 0 0 0 92401 613 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 226994 0 0 0 93396 618 0 0 25 0 1 0 777441103 41832448 9500 4294967295 134512640 134714508 3221224592 3221220636 1074873384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10213 9500 1111 63 0 10150 0
vsize: 40852
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 229116 0 0 0 94391 623 0 0 25 0 1 0 777441103 42078208 9531 4294967295 134512640 134714508 3221224592 3221220592 1075088690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10273 9531 1111 63 0 10210 0
vsize: 41092
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 230358 0 0 0 95388 626 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221221296 134650104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 232759 0 0 0 96381 633 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221222320 1075828466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 234618 0 0 0 97376 639 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221222320 1075829532 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 236433 0 0 0 98372 643 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221222808 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 238528 0 0 0 99366 649 0 0 25 0 1 0 777441103 42078208 9529 4294967295 134512640 134714508 3221224592 3221220736 1074969499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10273 9529 1111 63 0 10210 0
vsize: 41092
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 241411 0 0 0 100359 656 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221222320 1075828541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 243563 0 0 0 101353 663 0 0 25 0 1 0 777441103 42237952 9519 4294967295 134512640 134714508 3221224592 3221220636 1074873554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10312 9519 1111 63 0 10249 0
vsize: 41248
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 245904 0 0 0 102347 669 0 0 25 0 1 0 777441103 41832448 9499 4294967295 134512640 134714508 3221224592 3221221360 1076084161 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10213 9500 1111 63 0 10150 0
vsize: 40852
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 248020 0 0 0 103341 675 0 0 25 0 1 0 777441103 42311680 9522 4294967295 134512640 134714508 3221224592 3221220864 1074960833 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10330 9522 1111 63 0 10267 0
vsize: 41320
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 249871 0 0 0 104336 680 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221222896 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 252064 0 0 0 105331 686 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 254102 0 0 0 106325 691 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221223344 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 256324 0 0 0 107319 697 0 0 25 0 1 0 777441103 42078208 9529 4294967295 134512640 134714508 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10273 9529 1111 63 0 10210 0
vsize: 41092
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 258200 0 0 0 108314 703 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221222976 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 260459 0 0 0 109308 709 0 0 25 0 1 0 777441103 42311680 9519 4294967295 134512640 134714508 3221224592 3221220656 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10330 9519 1111 63 0 10267 0
vsize: 41320
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 262500 0 0 0 110302 715 0 0 25 0 1 0 777441103 41832448 9503 4294967295 134512640 134714508 3221224592 3221221248 1075968886 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10213 9503 1111 63 0 10150 0
vsize: 40852
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 264851 0 0 0 111296 721 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 266996 0 0 0 112290 727 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221222976 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 268769 0 0 0 113285 732 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221222320 1075828535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 270929 0 0 0 114280 737 0 0 25 0 1 0 777441103 41598976 9490 4294967295 134512640 134714508 3221224592 3221223008 1074117068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9490 1111 63 0 10093 0
vsize: 40624
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 272938 0 0 0 115275 743 0 0 25 0 1 0 777441103 42237952 9513 4294967295 134512640 134714508 3221224592 3221220864 1074961387 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10312 9513 1111 63 0 10249 0
vsize: 41248
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 274534 0 0 0 116270 747 0 0 25 0 1 0 777441103 41615360 9494 4294967295 134512640 134714508 3221224592 3221222504 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10160 9494 1111 63 0 10097 0
vsize: 40640
[startup+1177.6 s]
Raw data (loadavg): 0.99 0.97 0.95 1/53 2950
Raw data (stat): 2950 (bsolo_lpr) R 2949 25830 25829 0 -1 0 274534 0 0 0 116270 747 0 0 25 0 1 0 777441103 41615360 9494 4294967295 134512640 134714508 3221224592 3221222504 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10160 9494 1111 63 0 10097 0
vsize: 0

Child status: 10
Real time (s): 1177.6
CPU time (s): 1177.74
CPU user time (s): 1170.21
CPU system time (s): 7.53585
CPU usage (%): 100.013
Max. virtual memory (Kb): 41320
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	3965
#### END VERIFIER DATA ####