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 25883

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 04:47:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16902 boxname=wulflinc31 idbench=1301 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  3c39e3c2b993ee2185e2a1a3e73b9723  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-lp4l.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-lp4l.opb
IDLAUNCH: 16902
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        935556 kB
Buffers:         11136 kB
Cached:          65276 kB
SwapCached:        972 kB
Active:          59140 kB
Inactive:        19456 kB
HighTotal:      131008 kB
HighFree:        77028 kB
LowTotal:       903652 kB
LowFree:        858528 kB
SwapTotal:     2097892 kB
SwapFree:      2095888 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            14884 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 05:07:13 (client local time) WITH STATUS 10 IN 1184.83 SECONDS
stats: 16902 0 1184.83 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 961 constraints.
c preprocess terminated 63.049 s
c Initial Lower Bound: 2961
c Lower Bound Elapsed time: 1.2585
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 4998 @ 68.726
c NEW SOLUTION FOUND: 4996 @ 68.785
c NEW SOLUTION FOUND: 4934 @ 69.353
c NEW SOLUTION FOUND: 4718 @ 69.747
c NEW SOLUTION FOUND: 4548 @ 69.998
c NEW SOLUTION FOUND: 4537 @ 70.258
c NEW SOLUTION FOUND: 4497 @ 82.668
c NEW SOLUTION FOUND: 4493 @ 87.272
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: 1184.76 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.93 0.98 0.97 2/55 2196
Raw data (stat): 2196 (runsolver) R 2195 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 818812659 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.94 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 8588 0 0 0 972 23 0 0 25 0 1 0 818812659 38322176 8505 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9356 8505 1111 63 0 9293 0
vsize: 37424
[startup+20.0013 s]
Raw data (loadavg): 0.95 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 8651 0 0 0 1972 23 0 0 25 0 1 0 818812659 38592512 8568 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9422 8568 1111 63 0 9359 0
vsize: 37688
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 8708 0 0 0 2972 23 0 0 25 0 1 0 818812659 38731776 8625 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9456 8625 1111 63 0 9393 0
vsize: 37824
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 8768 0 0 0 3972 24 0 0 25 0 1 0 818812659 39002112 8685 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9522 8685 1111 63 0 9459 0
vsize: 38088
[startup+50.0021 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 8826 0 0 0 4972 24 0 0 25 0 1 0 818812659 39272448 8743 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9588 8743 1111 63 0 9525 0
vsize: 38352
[startup+60.002 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 8878 0 0 0 5972 24 0 0 25 0 1 0 818812659 39546880 8795 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9655 8795 1111 63 0 9592 0
vsize: 38620
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 10883 0 0 0 6966 29 0 0 25 0 1 0 818812659 41566208 9378 4294967295 134512640 134714508 3221221776 3221218544 1076083615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10148 9378 1111 63 0 10085 0
vsize: 40592
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 15509 0 0 0 7952 43 0 0 25 0 1 0 818812659 43696128 9937 4294967295 134512640 134714508 3221221776 3221218308 1075863641 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10668 9937 1111 63 0 10605 0
vsize: 42672
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 22212 0 0 0 8934 60 0 0 25 0 1 0 818812659 45563904 10415 4294967295 134512640 134714508 3221221776 3221218112 1075114245 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11124 10415 1111 63 0 11061 0
vsize: 44496
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 30655 0 0 0 9913 82 0 0 25 0 1 0 818812659 47702016 10921 4294967295 134512640 134714508 3221221776 3221217936 1074794542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11646 10921 1111 63 0 11583 0
vsize: 46584
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 36548 0 0 0 10896 99 0 0 25 0 1 0 818812659 49434624 11397 4294967295 134512640 134714508 3221221776 3221220104 1077377395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12069 11397 1111 63 0 12006 0
vsize: 48276
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 41573 0 0 0 11883 112 0 0 25 0 1 0 818812659 50868224 11710 4294967295 134512640 134714508 3221221776 3221219504 1075828451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12419 11710 1111 63 0 12356 0
vsize: 49676
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 47585 0 0 0 12866 129 0 0 25 0 1 0 818812659 52301824 12097 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12769 12097 1111 63 0 12706 0
vsize: 51076
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 53770 0 0 0 13850 145 0 0 25 0 1 0 818812659 53526528 12343 4294967295 134512640 134714508 3221221776 3221218968 1074138316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13068 12343 1111 63 0 13005 0
vsize: 52272
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 62712 0 0 0 14829 167 0 0 25 0 1 0 818812659 55603200 12903 4294967295 134512640 134714508 3221221776 3221219888 1074867328 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13575 12903 1111 63 0 13512 0
vsize: 54300
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 67142 0 0 0 15819 177 0 0 25 0 1 0 818812659 55746560 12856 4294967295 134512640 134714508 3221221776 3221217876 1075964221 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13610 12856 1111 63 0 13547 0
vsize: 54440
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 71013 0 0 0 16807 189 0 0 25 0 1 0 818812659 55533568 12805 4294967295 134512640 134714508 3221221776 3221217652 1074786567 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13558 12805 1111 63 0 13495 0
vsize: 54232
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 79230 0 0 0 17785 210 0 0 25 0 1 0 818812659 56573952 13079 4294967295 134512640 134714508 3221221776 3221219736 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13812 13079 1111 63 0 13749 0
vsize: 55248
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 87110 0 0 0 18767 229 0 0 25 0 1 0 818812659 56819712 13200 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13872 13200 1111 63 0 13809 0
vsize: 55488
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 92626 0 0 0 19753 243 0 0 25 0 1 0 818812659 56901632 13220 4294967295 134512640 134714508 3221221776 3221219776 1074918322 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 13220 1111 63 0 13829 0
vsize: 55568
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 98013 0 0 0 20738 258 0 0 25 0 1 0 818812659 58843136 13625 4294967295 134512640 134714508 3221221776 3221217936 1074794659 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14366 13625 1111 63 0 14303 0
vsize: 57464
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 104966 0 0 0 21720 276 0 0 25 0 1 0 818812659 59441152 13840 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14512 13840 1111 63 0 14449 0
vsize: 58048
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 112879 0 0 0 22699 298 0 0 25 0 1 0 818812659 61435904 14292 4294967295 134512640 134714508 3221221776 3221218352 1076047903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14999 14292 1111 63 0 14936 0
vsize: 59996
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 123970 0 0 0 23673 324 0 0 25 0 1 0 818812659 61120512 14153 4294967295 134512640 134714508 3221221776 3221217952 1074882601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14922 14153 1111 63 0 14859 0
vsize: 59688
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 128266 0 0 0 24662 335 0 0 25 0 1 0 818812659 61530112 14343 4294967295 134512640 134714508 3221221776 3221219776 1074918215 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15022 14343 1111 63 0 14959 0
vsize: 60088
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 133572 0 0 0 25648 349 0 0 25 0 1 0 818812659 62119936 14472 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15166 14472 1111 63 0 15103 0
vsize: 60664
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 139318 0 0 0 26634 364 0 0 25 0 1 0 818812659 64434176 15043 4294967295 134512640 134714508 3221221776 3221217820 1074873465 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15731 15043 1111 63 0 15668 0
vsize: 62924
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 148809 0 0 0 27612 386 0 0 25 0 1 0 818812659 63369216 14800 4294967295 134512640 134714508 3221221776 3221219840 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15471 14800 1111 63 0 15408 0
vsize: 61884
[startup+290.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 154673 0 0 0 28599 399 0 0 25 0 1 0 818812659 64978944 15145 4294967295 134512640 134714508 3221221776 3221217904 1074882610 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15864 15145 1111 63 0 15801 0
vsize: 63456
[startup+300.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 160336 0 0 0 29585 413 0 0 25 0 1 0 818812659 64708608 15127 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15798 15127 1111 63 0 15735 0
vsize: 63192
[startup+310.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 169857 0 0 0 30562 436 0 0 25 0 1 0 818812659 66355200 15515 4294967295 134512640 134714508 3221221776 3221218004 1075115073 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16200 15515 1111 63 0 16137 0
vsize: 64800
[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 177565 0 0 0 31542 456 0 0 25 0 1 0 818812659 66916352 15615 4294967295 134512640 134714508 3221221776 3221217820 1074873490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16337 15615 1111 63 0 16274 0
vsize: 65348
[startup+330.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 183982 0 0 0 32527 472 0 0 25 0 1 0 818812659 66224128 15453 4294967295 134512640 134714508 3221221776 3221217952 1074882598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16168 15453 1111 63 0 16105 0
vsize: 64672
[startup+340.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 189655 0 0 0 33513 486 0 0 25 0 1 0 818812659 65261568 15230 4294967295 134512640 134714508 3221221776 3221220208 134535391 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15933 15230 1111 63 0 15870 0
vsize: 63732
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 201029 0 0 0 34486 512 0 0 25 0 1 0 818812659 67772416 15818 4294967295 134512640 134714508 3221221776 3221217788 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16546 15819 1111 63 0 16483 0
vsize: 66184
[startup+360.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 205750 0 0 0 35475 523 0 0 25 0 1 0 818812659 68468736 16045 4294967295 134512640 134714508 3221221776 3221217952 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16716 16045 1111 63 0 16653 0
vsize: 66864
[startup+370.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 213969 0 0 0 36456 542 0 0 25 0 1 0 818812659 68521984 16058 4294967295 134512640 134714508 3221221776 3221219520 1075640285 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16729 16058 1111 63 0 16666 0
vsize: 66916
[startup+380.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 219928 0 0 0 37440 559 0 0 25 0 1 0 818812659 68685824 16098 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16769 16098 1111 63 0 16706 0
vsize: 67076
[startup+390.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 227308 0 0 0 38422 577 0 0 25 0 1 0 818812659 73359360 17147 4294967295 134512640 134714508 3221221776 3221217828 1075964248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17910 17147 1111 63 0 17847 0
vsize: 71640
[startup+400.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 232480 0 0 0 39408 591 0 0 25 0 1 0 818812659 73351168 17142 4294967295 134512640 134714508 3221221776 3221217828 1075964221 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17908 17142 1111 63 0 17845 0
vsize: 71632
[startup+410.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 238312 0 0 0 40396 604 0 0 25 0 1 0 818812659 73494528 17168 4294967295 134512640 134714508 3221221776 3221218064 1075114283 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17943 17169 1111 63 0 17880 0
vsize: 71772
[startup+420.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 242690 0 0 0 41384 616 0 0 25 0 1 0 818812659 74375168 17400 4294967295 134512640 134714508 3221221776 3221218308 1075863647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18158 17400 1111 63 0 18095 0
vsize: 72632
[startup+430.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 248383 0 0 0 42369 631 0 0 25 0 1 0 818812659 75087872 17661 4294967295 134512640 134714508 3221221776 3221220072 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18332 17661 1111 63 0 18269 0
vsize: 73328
[startup+440.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 255214 0 0 0 43352 648 0 0 25 0 1 0 818812659 76779520 18012 4294967295 134512640 134714508 3221221776 3221218816 1075971404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18745 18012 1111 63 0 18682 0
vsize: 74980
[startup+450.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 264491 0 0 0 44329 671 0 0 25 0 1 0 818812659 78786560 18558 4294967295 134512640 134714508 3221221776 3221219776 1074915833 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19235 18558 1111 63 0 19172 0
vsize: 76940
[startup+460.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 273518 0 0 0 45307 694 0 0 25 0 1 0 818812659 78872576 18585 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19256 18585 1111 63 0 19193 0
vsize: 77024
[startup+470.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 282702 0 0 0 46286 715 0 0 25 0 1 0 818812659 79249408 18677 4294967295 134512640 134714508 3221221776 3221220112 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19348 18677 1111 63 0 19285 0
vsize: 77392
[startup+480.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 289886 0 0 0 47267 734 0 0 25 0 1 0 818812659 80756736 18987 4294967295 134512640 134714508 3221221776 3221218096 1075170079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19716 18987 1111 63 0 19653 0
vsize: 78864
[startup+490.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 297746 0 0 0 48251 750 0 0 25 0 1 0 818812659 81776640 19263 4294967295 134512640 134714508 3221221776 3221217888 1074794585 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19965 19263 1111 63 0 19902 0
vsize: 79860
[startup+500.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 305677 0 0 0 49231 771 0 0 25 0 1 0 818812659 81027072 19111 4294967295 134512640 134714508 3221221776 3221220176 1074118806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19782 19111 1111 63 0 19719 0
vsize: 79128
[startup+510.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 314276 0 0 0 50211 791 0 0 25 0 1 0 818812659 81354752 19160 4294967295 134512640 134714508 3221221776 3221218840 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19862 19170 1111 63 0 19799 0
vsize: 79448
[startup+520.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 321668 0 0 0 51194 807 0 0 25 0 1 0 818812659 82317312 19426 4294967295 134512640 134714508 3221221776 3221220160 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20097 19426 1111 63 0 20034 0
vsize: 80388
[startup+530.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 328828 0 0 0 52179 823 0 0 25 0 1 0 818812659 82849792 19556 4294967295 134512640 134714508 3221221776 3221218304 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20227 19556 1111 63 0 20164 0
vsize: 80908
[startup+540.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 338408 0 0 0 53155 847 0 0 25 0 1 0 818812659 84742144 19997 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20689 19997 1111 63 0 20626 0
vsize: 82756
[startup+550.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 345711 0 0 0 54139 863 0 0 25 0 1 0 818812659 84992000 20079 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20750 20079 1111 63 0 20687 0
vsize: 83000
[startup+560.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 351752 0 0 0 55126 876 0 0 25 0 1 0 818812659 86659072 20427 4294967295 134512640 134714508 3221221776 3221218240 1075084528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21157 20427 1111 63 0 21094 0
vsize: 84628
[startup+570.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 356461 0 0 0 56115 888 0 0 25 0 1 0 818812659 86298624 20398 4294967295 134512640 134714508 3221221776 3221220288 134648667 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21069 20398 1111 63 0 21006 0
vsize: 84276
[startup+580.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 367184 0 0 0 57090 912 0 0 25 0 1 0 818812659 87511040 20694 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21365 20694 1111 63 0 21302 0
vsize: 85460
[startup+590.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 375941 0 0 0 58069 934 0 0 25 0 1 0 818812659 86347776 20410 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21081 20410 1111 63 0 21018 0
vsize: 84324
[startup+600.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 387043 0 0 0 59046 958 0 0 25 0 1 0 818812659 86413312 20394 4294967295 134512640 134714508 3221221776 3221219928 1074950074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21097 20394 1111 63 0 21034 0
vsize: 84388
[startup+610.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 395347 0 0 0 60027 976 0 0 25 0 1 0 818812659 87052288 20482 4294967295 134512640 134714508 3221221776 3221218696 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21253 20482 1111 63 0 21190 0
vsize: 85012
[startup+620.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 400325 0 0 0 61015 988 0 0 25 0 1 0 818812659 87212032 20542 4294967295 134512640 134714508 3221221776 3221217952 1074882601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21292 20542 1111 63 0 21229 0
vsize: 85168
[startup+630.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 410759 0 0 0 61991 1012 0 0 25 0 1 0 818812659 86061056 20340 4294967295 134512640 134714508 3221221776 3221219928 1074950096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21011 20340 1111 63 0 20948 0
vsize: 84044
[startup+640.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 417066 0 0 0 62978 1026 0 0 25 0 1 0 818812659 86089728 20347 4294967295 134512640 134714508 3221221776 3221220176 1074118806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21018 20347 1111 63 0 20955 0
vsize: 84072
[startup+650.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 423594 0 0 0 63964 1040 0 0 25 0 1 0 818812659 85843968 20287 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20958 20287 1111 63 0 20895 0
vsize: 83832
[startup+660.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 430853 0 0 0 64948 1056 0 0 25 0 1 0 818812659 85655552 20241 4294967295 134512640 134714508 3221221776 3221219120 1074839026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20912 20241 1111 63 0 20849 0
vsize: 83648
[startup+670.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 435995 0 0 0 65937 1068 0 0 25 0 1 0 818812659 85913600 20304 4294967295 134512640 134714508 3221221776 3221220080 1073990086 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20975 20304 1111 63 0 20912 0
vsize: 83900
[startup+680.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 441441 0 0 0 66924 1081 0 0 25 0 1 0 818812659 86167552 20285 4294967295 134512640 134714508 3221221776 3221218756 1075964094 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21037 20285 1111 63 0 20974 0
vsize: 84148
[startup+690.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 445079 0 0 0 67914 1091 0 0 25 0 1 0 818812659 86167552 20295 4294967295 134512640 134714508 3221221776 3221218720 1074620373 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21037 20295 1111 63 0 20974 0
vsize: 84148
[startup+700.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 450568 0 0 0 68900 1105 0 0 25 0 1 0 818812659 85590016 20225 4294967295 134512640 134714508 3221221776 3221220352 134646341 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20896 20225 1111 63 0 20833 0
vsize: 83584
[startup+710.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 455163 0 0 0 69890 1115 0 0 25 0 1 0 818812659 86421504 20425 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21099 20425 1111 63 0 21036 0
vsize: 84396
[startup+720.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 464005 0 0 0 70869 1136 0 0 25 0 1 0 818812659 85716992 20256 4294967295 134512640 134714508 3221221776 3221220064 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20927 20256 1111 63 0 20864 0
vsize: 83708
[startup+730.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 471005 0 0 0 71853 1152 0 0 25 0 1 0 818812659 85590016 20225 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20896 20225 1111 63 0 20833 0
vsize: 83584
[startup+740.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 479566 0 0 0 72833 1172 0 0 25 0 1 0 818812659 87416832 20618 4294967295 134512640 134714508 3221221776 3221217612 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21342 20618 1111 63 0 21279 0
vsize: 85368
[startup+750.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 2196
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 483805 0 0 0 73822 1184 0 0 25 0 1 0 818812659 86765568 20512 4294967295 134512640 134714508 3221221776 3221220080 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21183 20512 1111 63 0 21120 0
vsize: 84732
[startup+760.03 s]
Raw data (loadavg): 1.07 1.00 0.98 3/59 2202
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 493323 0 0 0 74802 1204 0 0 25 0 1 0 818812659 89452544 21060 4294967295 134512640 134714508 3221221776 3221217660 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21839 21060 1111 63 0 21776 0
vsize: 87356
[startup+770.162 s]
Raw data (loadavg): 1.14 1.02 0.98 2/58 2240
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 502512 0 0 0 75794 1225 0 0 25 0 1 0 818812659 89612288 21207 4294967295 134512640 134714508 3221221776 3221220000 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21878 21207 1111 63 0 21815 0
vsize: 87512
[startup+780.414 s]
Raw data (loadavg): 1.26 1.05 0.99 2/55 2249
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 509418 0 0 0 76804 1240 0 0 25 0 1 0 818812659 90607616 21339 4294967295 134512640 134714508 3221221776 3221218928 1075969830 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22121 21339 1111 63 0 22058 0
vsize: 88484
[startup+790.414 s]
Raw data (loadavg): 1.22 1.05 0.99 2/55 2249
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 519343 0 0 0 77780 1264 0 0 25 0 1 0 818812659 92692480 21865 4294967295 134512640 134714508 3221221776 3221217724 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22630 21865 1111 63 0 22567 0
vsize: 90520
[startup+800.478 s]
Raw data (loadavg): 1.19 1.04 0.99 2/55 2249
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 529365 0 0 0 78765 1286 0 0 25 0 1 0 818812659 94449664 22207 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23059 22207 1111 63 0 22996 0
vsize: 92236
[startup+810.478 s]
Raw data (loadavg): 1.16 1.04 0.99 2/55 2249
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 535786 0 0 0 79751 1301 0 0 25 0 1 0 818812659 91570176 21684 4294967295 134512640 134714508 3221221776 3221219728 1074918266 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22356 21684 1111 63 0 22293 0
vsize: 89424
[startup+820.479 s]
Raw data (loadavg): 1.13 1.04 0.99 2/55 2249
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 545159 0 0 0 80728 1323 0 0 25 0 1 0 818812659 94220288 22261 4294967295 134512640 134714508 3221221776 3221217656 1074788427 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23003 22261 1111 63 0 22940 0
vsize: 92012
[startup+830.479 s]
Raw data (loadavg): 1.11 1.04 0.99 2/55 2249
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 552522 0 0 0 81712 1340 0 0 25 0 1 0 818812659 93487104 22022 4294967295 134512640 134714508 3221221776 3221218144 1075894558 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22824 22022 1111 63 0 22761 0
vsize: 91296
[startup+840.48 s]
Raw data (loadavg): 1.09 1.04 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 561056 0 0 0 82694 1358 0 0 25 0 1 0 818812659 93761536 22094 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22891 22094 1111 63 0 22828 0
vsize: 91564
[startup+850.481 s]
Raw data (loadavg): 1.08 1.03 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 568193 0 0 0 83675 1377 0 0 25 0 1 0 818812659 93356032 22121 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22792 22121 1111 63 0 22729 0
vsize: 91168
[startup+860.481 s]
Raw data (loadavg): 1.07 1.03 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 575473 0 0 0 84659 1393 0 0 25 0 1 0 818812659 96923648 22849 4294967295 134512640 134714508 3221221776 3221218172 1075112452 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23663 22849 1111 63 0 23600 0
vsize: 94652
[startup+870.482 s]
Raw data (loadavg): 1.06 1.03 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 580727 0 0 0 85647 1405 0 0 25 0 1 0 818812659 96862208 22933 4294967295 134512640 134714508 3221221776 3221219888 1074867281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23648 22933 1111 63 0 23585 0
vsize: 94592
[startup+880.483 s]
Raw data (loadavg): 1.05 1.03 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 588427 0 0 0 86630 1423 0 0 25 0 1 0 818812659 97091584 23033 4294967295 134512640 134714508 3221221776 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23704 23033 1111 63 0 23641 0
vsize: 94816
[startup+890.484 s]
Raw data (loadavg): 1.04 1.03 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 594685 0 0 0 87615 1439 0 0 25 0 1 0 818812659 98480128 23372 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24043 23372 1111 63 0 23980 0
vsize: 96172
[startup+900.485 s]
Raw data (loadavg): 1.03 1.03 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 603558 0 0 0 88595 1459 0 0 25 0 1 0 818812659 98762752 23441 4294967295 134512640 134714508 3221221776 3221218048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24112 23441 1111 63 0 24049 0
vsize: 96448
[startup+910.485 s]
Raw data (loadavg): 1.03 1.03 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 611257 0 0 0 89576 1478 0 0 25 0 1 0 818812659 102125568 24118 4294967295 134512640 134714508 3221221776 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24933 24118 1111 63 0 24870 0
vsize: 99732
[startup+920.486 s]
Raw data (loadavg): 1.02 1.02 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 624253 0 0 0 90547 1507 0 0 25 0 1 0 818812659 101314560 24043 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24735 24043 1111 63 0 24672 0
vsize: 98940
[startup+930.486 s]
Raw data (loadavg): 1.02 1.02 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 633720 0 0 0 91525 1529 0 0 25 0 1 0 818812659 103112704 24503 4294967295 134512640 134714508 3221221776 3221218304 1076047903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25174 24503 1111 63 0 25111 0
vsize: 100696
[startup+940.486 s]
Raw data (loadavg): 1.02 1.02 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 642281 0 0 0 92504 1550 0 0 25 0 1 0 818812659 102989824 24373 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25144 24373 1111 63 0 25081 0
vsize: 100576
[startup+950.488 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 649271 0 0 0 93488 1567 0 0 25 0 1 0 818812659 101453824 24098 4294967295 134512640 134714508 3221221776 3221218040 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24769 24098 1111 63 0 24706 0
vsize: 99076
[startup+960.487 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 660312 0 0 0 94463 1592 0 0 25 0 1 0 818812659 106414080 25233 4294967295 134512640 134714508 3221221776 3221217952 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25980 25233 1111 63 0 25917 0
vsize: 103920
[startup+970.488 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 667810 0 0 0 95445 1610 0 0 25 0 1 0 818812659 105172992 25006 4294967295 134512640 134714508 3221221776 3221219120 1074839104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25677 25006 1111 63 0 25614 0
vsize: 102708
[startup+980.488 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 674530 0 0 0 96431 1624 0 0 25 0 1 0 818812659 104681472 24886 4294967295 134512640 134714508 3221221776 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25557 24886 1111 63 0 25494 0
vsize: 102228
[startup+990.489 s]
Raw data (loadavg): 1.00 1.02 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 682838 0 0 0 97411 1644 0 0 25 0 1 0 818812659 104792064 24860 4294967295 134512640 134714508 3221221776 3221218800 1074867308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25584 24860 1111 63 0 25521 0
vsize: 102336
[startup+1000.49 s]
Raw data (loadavg): 1.00 1.02 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 689317 0 0 0 98398 1658 0 0 25 0 1 0 818812659 106663936 25327 4294967295 134512640 134714508 3221221776 3221217612 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26041 25327 1111 63 0 25978 0
vsize: 104164
[startup+1010.49 s]
Raw data (loadavg): 1.00 1.02 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 697510 0 0 0 99379 1677 0 0 25 0 1 0 818812659 105070592 24981 4294967295 134512640 134714508 3221221776 3221220076 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25652 24981 1111 63 0 25589 0
vsize: 102608
[startup+1020.49 s]
Raw data (loadavg): 1.00 1.02 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 706918 0 0 0 100359 1697 0 0 25 0 1 0 818812659 106717184 25383 4294967295 134512640 134714508 3221221776 3221219840 1075961779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26054 25383 1111 63 0 25991 0
vsize: 104216
[startup+1030.49 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 715831 0 0 0 101340 1716 0 0 25 0 1 0 818812659 104882176 24935 4294967295 134512640 134714508 3221221776 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25606 24935 1111 63 0 25543 0
vsize: 102424
[startup+1040.49 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 724287 0 0 0 102323 1734 0 0 25 0 1 0 818812659 104792064 24913 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25584 24913 1111 63 0 25521 0
vsize: 102336
[startup+1050.49 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 731617 0 0 0 103306 1751 0 0 25 0 1 0 818812659 105074688 24950 4294967295 134512640 134714508 3221221776 3221218880 1074138752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25653 24950 1111 63 0 25590 0
vsize: 102612
[startup+1060.49 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 740601 0 0 0 104286 1771 0 0 25 0 1 0 818812659 106795008 25231 4294967295 134512640 134714508 3221221776 3221218720 1074620369 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26073 25231 1111 63 0 26010 0
vsize: 104292
[startup+1070.49 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 749216 0 0 0 105266 1791 0 0 25 0 1 0 818812659 107347968 25462 4294967295 134512640 134714508 3221221776 3221217820 1074873465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26208 25462 1111 63 0 26145 0
vsize: 104832
[startup+1080.49 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 755570 0 0 0 106250 1807 0 0 25 0 1 0 818812659 107335680 25485 4294967295 134512640 134714508 3221221776 3221217808 1075965240 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26205 25485 1111 63 0 26142 0
vsize: 104820
[startup+1090.49 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 2251
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 762403 0 0 0 107234 1824 0 0 25 0 1 0 818812659 108122112 25707 4294967295 134512640 134714508 3221221776 3221218004 1075114991 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26397 25707 1111 63 0 26334 0
vsize: 105588
[startup+1100.49 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 2253
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 770477 0 0 0 108214 1844 0 0 25 0 1 0 818812659 107347968 25455 4294967295 134512640 134714508 3221221776 3221217744 1074872793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26208 25455 1111 63 0 26145 0
vsize: 104832
[startup+1110.49 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 2253
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 783895 0 0 0 109182 1876 0 0 25 0 1 0 818812659 110522368 26213 4294967295 134512640 134714508 3221221776 3221217820 1074873465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26983 26213 1111 63 0 26920 0
vsize: 107932
[startup+1120.49 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 2253
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 789569 0 0 0 110167 1891 0 0 25 0 1 0 818812659 112107520 26656 4294967295 134512640 134714508 3221221776 3221217724 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27370 26656 1111 63 0 27307 0
vsize: 109480
[startup+1130.5 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2253
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 797920 0 0 0 111147 1911 0 0 25 0 1 0 818812659 108666880 25859 4294967295 134512640 134714508 3221221776 3221220040 1074138133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26530 25859 1111 63 0 26467 0
vsize: 106120
[startup+1140.5 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2253
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 807660 0 0 0 112126 1932 0 0 25 0 1 0 818812659 109920256 26069 4294967295 134512640 134714508 3221221776 3221219416 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26836 26073 1111 63 0 26773 0
vsize: 107344
[startup+1150.5 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2253
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 815770 0 0 0 113109 1949 0 0 25 0 1 0 818812659 110202880 26234 4294967295 134512640 134714508 3221221776 3221220304 134647018 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26905 26234 1111 63 0 26842 0
vsize: 107620
[startup+1160.5 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2253
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 820524 0 0 0 114097 1961 0 0 25 0 1 0 818812659 109899776 26160 4294967295 134512640 134714508 3221221776 3221220176 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26831 26160 1111 63 0 26768 0
vsize: 107324
[startup+1170.5 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2253
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 828456 0 0 0 115081 1978 0 0 25 0 1 0 818812659 110268416 26182 4294967295 134512640 134714508 3221221776 3221217744 1074788983 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26921 26182 1111 63 0 26858 0
vsize: 107684
[startup+1180.5 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 2253
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 834747 0 0 0 116066 1993 0 0 25 0 1 0 818812659 111681536 26491 4294967295 134512640 134714508 3221221776 3221218608 1075115793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27266 26491 1111 63 0 27203 0
vsize: 109064
[startup+1184.72 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 2253
Raw data (stat): 2196 (bsolo_lpr_cuts) R 2195 7876 7672 0 -1 0 834747 0 0 0 116066 1993 0 0 25 0 1 0 818812659 111681536 26491 4294967295 134512640 134714508 3221221776 3221218608 1075115793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27266 26491 1111 63 0 27203 0
vsize: 0

Child status: 10
Real time (s): 1184.72
CPU time (s): 1184.83
CPU user time (s): 1164.73
CPU system time (s): 20.0989
CPU usage (%): 100.009
Max. virtual memory (Kb): 109480
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	4493
#### END VERIFIER DATA ####