PB'05 competition: run trace

Some explanations

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

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        744208 kB
Buffers:         31720 kB
Cached:         237388 kB
SwapCached:       1192 kB
Active:          33548 kB
Inactive:       237924 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        743956 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4912 kB
Slab:            13244 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 05:33:48 (client local time) WITH STATUS 10 IN 1175.9 SECONDS
stats: 29133 0 1175.9 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 988 constraints.
c preprocess terminated 62.845 s
c Initial Lower Bound: 2943
c Lower Bound Elapsed time: 1.451
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 5012 @ 193.849
c NEW SOLUTION FOUND: 5011 @ 193.85
c NEW SOLUTION FOUND: 5005 @ 193.926
c NEW SOLUTION FOUND: 4859 @ 194.02
c NEW SOLUTION FOUND: 4853 @ 194.148
c NEW SOLUTION FOUND: 4362 @ 195.307
c NEW SOLUTION FOUND: 4112 @ 223.543
c NEW SOLUTION FOUND: 4103 @ 237.122
s SATISFIABLE
v -CO100001_bit0 -CO100002_bit0 -CO100003_bit0 -CO100004_bit0 -CO100005_bit0 -CO100006_bit0 -CO100007_bit0 -CO100008_bit0 -CO100009_bit0 -CO100010_bit0 -CO100011_bit0 -CO100012_bit0 CO100013_bit0 -CO100014_bit0 -CO100015_bit0 -CO100016_bit0 -CO100017_bit0 -CO100018_bit0 -CO100019_bit0 -CO100020_bit0 -CO100021_bit0 CO100022_bit0 -CO100023_bit0 -CO100024_bit0 -CO100025_bit0 -CO100026_bit0 -CO100027_bit0 -CO100028_bit0 -CO100029_bit0 -CO100030_bit0 -CO100031_bit0 -CO100032_bit0 -CO100033_bit0 -CO100034_bit0 -CO100035_bit0 -CO100036_bit0 -CO100037_bit0 -CO100038_bit0 -CO100039_bit0 -CO100040_bit0 -CO100041_bit0 -CO100042_bit0 -CO100043_bit0 -CO100044_bit0 -CO100045_bit0 -CO100046_bit0 -CO100047_bit0 -CO100048_bit0 -CO100049_bit0 -CO100050_bit0 -CO100051_bit0 -CO100052_bit0 -CO100053_bit0 -CO100054_bit0 -CO100055_bit0 -CO100056_bit0 -CO100057_bit0 -CO100058_bit0 -CO100059_bit0 -CO100060_bit0 -CO100061_bit0 -CO100062_bit0 -CO100063_bit0 -CO100064_bit0 -CO100065_bit0 -CO100066_bit0 -CO100067_bit0 -CO100068_bit0 -CO100069_bit0 -CO100070_bit0 -CO100071_bit0 -CO100072_bit0 -CO100073_bit0 -CO100074_bit0 -CO100075_bit0 -CO100076_bit0 -CO100077_bit0 -CO100078_bit0 -CO100079_bit0 CO100080_bit0 -CO100081_bit0 -CO100082_bit0 -CO100083_bit0 -CO100084_bit0 -CO100085_bit0 -CO100086_bit0 CO100087_bit0 -CO100088_bit0 -CO100089_bit0 -CO100090_bit0 -CO100091_bit0 CO100092_bit0 -CO100093_bit0 -CO100094_bit0 -CO100095_bit0 -CO100096_bit0 -CO100097_bit0 -CO100098_bit0 -CO100099_bit0 -CO100100_bit0 -CO100101_bit0 -CO100102_bit0 -CO100103_bit0 -CO100104_bit0 -CO100105_bit0 -CO100106_bit0 -CO100107_bit0 -CO100108_bit0 -CO100109_bit0 -CO100110_bit0 -CO100111_bit0 -CO100112_bit0 -CO100113_bit0 -CO100114_bit0 -CO100115_bit0 -CO100116_bit0 -CO100117_bit0 -CO100118_bit0 -CO100119_bit0 -CO100120_bit0 -CO100121_bit0 -CO100122_bit0 -CO100123_bit0 -CO100124_bit0 -CO100125_bit0 -CO100126_bit0 -CO100127_bit0 -CO100128_bit0 CO100129_bit0 -CO100130_bit0 -CO100131_bit0 -CO100132_bit0 CO100133_bit0 -CO100134_bit0 -CO100135_bit0 -CO100136_bit0 CO100137_bit0 -CO100138_bit0 -CO100139_bit0 -CO100140_bit0 -CO100141_bit0 -CO100142_bit0 -CO100143_bit0 -CO100144_bit0 -CO100145_bit0 -CO100146_bit0 -CO100147_bit0 -CO100148_bit0 -CO100149_bit0 -CO100150_bit0 -CO100151_bit0 -CO100152_bit0 -CO100153_bit0 -CO100154_bit0 -CO100155_bit0 -CO100156_bit0 -CO100157_bit0 -CO100158_bit0 -CO100159_bit0 -CO100160_bit0 -CO100161_bit0 -CO100162_bit0 -CO100163_bit0 -CO100164_bit0 -CO100165_bit0 CO100166_bit0 -CO100167_bit0 -CO100168_bit0 -CO100169_bit0 -CO100170_bit0 -CO100171_bit0 -CO100172_bit0 -CO100173_bit0 -CO100174_bit0 -CO100175_bit0 -CO100176_bit0 -CO100177_bit0 -CO100178_bit0 -CO100179_bit0 -CO100180_bit0 -CO100181_bit0 CO100182_bit0 -CO100183_bit0 -CO100184_bit0 -CO100185_bit0 -CO100186_bit0 -CO100187_bit0 -CO100188_bit0 -CO100189_bit0 -CO100190_bit0 -CO100191_bit0 -CO100192_bit0 -CO100193_bit0 -CO100194_bit0 -CO100195_bit0 -CO100196_bit0 -CO100197_bit0 -CO100198_bit0 -CO100199_bit0 -CO100200_bit0 -CO100201_bit0 -CO100202_bit0 -CO100203_bit0 -CO100204_bit0 -CO100205_bit0 -CO100206_bit0 -CO100207_bit0 -CO100208_bit0 -CO100209_bit0 -CO100210_bit0 -CO100211_bit0 -CO100212_bit0 -CO100213_bit0 -CO100214_bit0 -CO100215_bit0 -CO100216_bit0 -CO100217_bit0 -CO100218_bit0 -CO100219_bit0 -CO100220_bit0 -CO100221_bit0 -CO100222_bit0 -CO100223_bit0 -CO100224_bit0 -CO100225_bit0 -CO100226_bit0 -CO100227_bit0 -CO100228_bit0 -CO100229_bit0 -CO100230_bit0 -CO100231_bit0 -CO100232_bit0 -CO100233_bit0 -CO100234_bit0 -CO100235_bit0 -CO100236_bit0 -CO100237_bit0 -CO100238_bit0 -CO100239_bit0 -CO100240_bit0 -CO100241_bit0 -CO100242_bit0 -CO100243_bit0 -CO100244_bit0 -CO100245_bit0 -CO100246_bit0 -CO100247_bit0 -CO100248_bit0 -CO100249_bit0 -CO100250_bit0 -CO100251_bit0 -CO100252_bit0 CO100253_bit0 -CO100254_bit0 -CO100255_bit0 -CO100256_bit0 -CO100257_bit0 -CO100258_bit0 -CO100259_bit0 -CO100260_bit0 -CO100261_bit0 -CO100262_bit0 -CO100263_bit0 -CO100264_bit0 -CO100265_bit0 -CO100266_bit0 -CO100267_bit0 -CO100268_bit0 -CO100269_bit0 -CO100270_bit0 -CO100271_bit0 -CO100272_bit0 -CO100273_bit0 -CO100274_bit0 -CO100275_bit0 -CO100276_bit0 -CO100277_bit0 -CO100278_bit0 -CO100279_bit0 -CO100280_bit0 -CO100281_bit0 -CO100282_bit0 -CO100283_bit0 -CO100284_bit0 -CO100285_bit0 -CO100286_bit0 -CO100287_bit0 -CO100288_bit0 -CO100289_bit0 -CO100290_bit0 -CO100291_bit0 -CO100292_bit0 -CO100293_bit0 -CO100294_bit0 CO100295_bit0 -CO100296_bit0 -CO100297_bit0 -CO100298_bit0 -CO100299_bit0 -CO100300_bit0 -CO100301_bit0 -CO100302_bit0 -CO100303_bit0 -CO100304_bit0 -CO100305_bit0 -CO100306_bit0 -CO100307_bit0 -CO100308_bit0 -CO100309_bit0 -CO100310_bit0 -CO100311_bit0 -CO100312_bit0 -CO100313_bit0 -CO100314_bit0 -CO100315_bit0 -CO100316_bit0 -CO100317_bit0 -CO100318_bit0 -CO100319_bit0 -CO100320_bit0 -CO100321_bit0 -CO100322_bit0 -CO100323_bit0 -CO100324_bit0 -CO100325_bit0 -CO100326_bit0 -CO100327_bit0 -CO100328_bit0 -CO100329_bit0 -CO100330_bit0 -CO100331_bit0 -CO100332_bit0 -CO100333_bit0 -CO100334_bit0 -CO100335_bit0 -CO100336_bit0 -CO100337_bit0 CO100338_bit0 -CO100339_bit0 -CO100340_bit0 -CO100341_bit0 -CO100342_bit0 -CO100343_bit0 -CO100344_bit0 -CO100345_bit0 -CO100346_bit0 -CO100347_bit0 -CO100348_bit0 -CO100349_bit0 -CO100350_bit0 -CO100351_bit0 -CO100352_bit0 -CO100353_bit0 -CO100354_bit0 -CO100355_bit0 -CO100356_bit0 -CO100357_bit0 -CO100358_bit0 -CO100359_bit0 -CO100360_bit0 -CO100361_bit0 -CO100362_bit0 -CO100363_bit0 -CO100364_bit0 -CO100365_bit0 -CO100366_bit0 -CO100367_bit0 -CO100368_bit0 -CO100369_bit0 -CO100370_bit0 -CO100371_bit0 -CO100372_bit0 -CO100373_bit0 -CO100374_bit0 -CO100375_bit0 -CO100376_bit0 -CO100377_bit0 -CO100378_bit0 -CO100379_bit0 -CO100380_bit0 -CO100381_bit0 -CO100382_bit0 -CO100383_bit0 -CO100384_bit0 -CO100385_bit0 -CO100386_bit0 -CO100387_bit0 -CO100388_bit0 -CO100389_bit0 -CO100390_bit0 -CO100391_bit0 -CO100392_bit0 -CO100393_bit0 -CO100394_bit0 -CO100395_bit0 -CO100396_bit0 -CO100397_bit0 -CO100398_bit0 -CO100399_bit0 -CO100400_bit0 -CO100401_bit0 -CO100402_bit0 -CO100403_bit0 -CO100404_bit0 -CO100405_bit0 -CO100406_bit0 -CO100407_bit0 -CO100408_bit0 -CO100409_bit0 -CO100410_bit0 -CO100411_bit0 -CO100412_bit0 -CO100413_bit0 -CO100414_bit0 -CO100415_bit0 -CO100416_bit0 -CO100417_bit0 -CO100418_bit0 -CO100419_bit0 -CO100420_bit0 -CO100421_bit0 -CO100422_bit0 -CO100423_bit0 -CO100424_bit0 -CO100425_bit0 -CO100426_bit0 -CO100427_bit0 -CO100428_bit0 -CO100429_bit0 -CO100430_bit0 -CO100431_bit0 -CO100432_bit0 -CO100433_bit0 -CO100434_bit0 -CO100435_bit0 -CO100436_bit0 -CO100437_bit0 -CO100438_bit0 -CO100439_bit0 -CO100440_bit0 -CO100441_bit0 -CO100442_bit0 -CO100443_bit0 -CO100444_bit0 -CO100445_bit0 -CO100446_bit0 -CO100447_bit0 -CO100448_bit0 -CO100449_bit0 -CO100450_bit0 -CO100451_bit0 -CO100452_bit0 -CO100453_bit0 -CO100454_bit0 -CO100455_bit0 -CO100456_bit0 -CO100457_bit0 -CO100458_bit0 -CO100459_bit0 -CO100460_bit0 -CO100461_bit0 -CO100462_bit0 -CO100463_bit0 -CO100464_bit0 -CO100465_bit0 -CO100466_bit0 -CO100467_bit0 -CO100468_bit0 -CO100469_bit0 -CO100470_bit0 -CO100471_bit0 -CO100472_bit0 -CO100473_bit0 -CO100474_bit0 -CO100475_bit0 CO100476_bit0 -CO100477_bit0 -CO100478_bit0 -CO100479_bit0 -CO100480_bit0 -CO100481_bit0 -CO100482_bit0 -CO100483_bit0 -CO100484_bit0 -CO100485_bit0 -CO100486_bit0 -CO100487_bit0 -CO100488_bit0 -CO100489_bit0 CO100490_bit0 -CO100491_bit0 -CO100492_bit0 -CO100493_bit0 -CO100494_bit0 -CO100495_bit0 -CO100496_bit0 -CO100497_bit0 -CO100498_bit0 -CO100499_bit0 -CO100500_bit0 -CO100501_bit0 -CO100502_bit0 -CO100503_bit0 -CO100504_bit0 -CO100505_bit0 -CO100506_bit0 -CO100507_bit0 -CO100508_bit0 -CO100509_bit0 -CO100510_bit0 -CO100511_bit0 -CO100512_bit0 -CO100513_bit0 -CO100514_bit0 -CO100515_bit0 -CO100516_bit0 -CO100517_bit0 -CO100518_bit0 -CO100519_bit0 -CO100520_bit0 -CO100521_bit0 -CO100522_bit0 -CO100523_bit0 -CO100524_bit0 -CO100525_bit0 -CO100526_bit0 -CO100527_bit0 CO100528_bit0 -CO100529_bit0 -CO100530_bit0 -CO100531_bit0 -CO100532_bit0 -CO100533_bit0 -CO100534_bit0 -CO100535_bit0 -CO100536_bit0 -CO100537_bit0 -CO100538_bit0 -CO100539_bit0 -CO100540_bit0 -CO100541_bit0 -CO100542_bit0 -CO100543_bit0 -CO100544_bit0 -CO100545_bit0 -CO100546_bit0 -CO100547_bit0 -CO100548_bit0 -CO100549_bit0 -CO100550_bit0 -CO100551_bit0 -CO100552_bit0 -CO100553_bit0 -CO100554_bit0 -CO100555_bit0 -CO100556_bit0 -CO100557_bit0 -CO100558_bit0 -CO100559_bit0 -CO100560_bit0 -CO100561_bit0 -CO100562_bit0 -CO100563_bit0 -CO100564_bit0 -CO100565_bit0 -CO100566_bit0 -CO100567_bit0 -CO100568_bit0 -CO100569_bit0 -CO100570_bit0 -CO100571_bit0 -CO100572_bit0 -CO100573_bit0 -CO100574_bit0 -CO100575_bit0 -CO100576_bit0 -CO100577_bit0 -CO100578_bit0 -CO100579_bit0 -CO100580_bit0 -CO100581_bit0 -CO100582_bit0 -CO100583_bit0 -CO100584_bit0 -CO100585_bit0 -CO100586_bit0 -CO100587_bit0 -CO100588_bit0 -CO100589_bit0 CO100590_bit0 -CO100591_bit0 -CO100592_bit0 -CO100593_bit0 -CO100594_bit0 -CO100595_bit0 -CO100596_bit0 -CO100597_bit0 -CO100598_bit0 -CO100599_bit0 -CO100600_bit0 -CO100601_bit0 -CO100602_bit0 -CO100603_bit0 -CO100604_bit0 -CO100605_bit0 -CO100606_bit0 -CO100607_bit0 -CO100608_bit0 -CO100609_bit0 -CO100610_bit0 -CO100611_bit0 -CO100612_bit0 -CO100613_bit0 -CO100614_bit0 -CO100615_bit0 -CO100616_bit0 -CO100617_bit0 -CO100618_bit0 -CO100619_bit0 -CO100620_bit0 -CO100621_bit0 -CO100622_bit0 -CO100623_bit0 -CO100624_bit0 -CO100625_bit0 -CO100626_bit0 -CO100627_bit0 -CO100628_bit0 -CO100629_bit0 -CO100630_bit0 -CO100631_bit0 -CO100632_bit0 -CO100633_bit0 -CO100634_bit0 -CO100635_bit0 -CO100636_bit0 -CO100637_bit0 -CO100638_bit0 -CO100639_bit0 -CO100640_bit0 -CO100641_bit0 -CO100642_bit0 CO100643_bit0 -CO100644_bit0 -CO100645_bit0 -CO100646_bit0 -CO100647_bit0 -CO100648_bit0 -CO100649_bit0 -CO100650_bit0 -CO100651_bit0 -CO100652_bit0 -CO100653_bit0 -CO100654_bit0 -CO100655_bit0 -CO100656_bit0 -CO100657_bit0 -CO100658_bit0 -CO100659_bit0 -CO100660_bit0 -CO100661_bit0 -CO100662_bit0 -CO100663_bit0 -CO100664_bit0 -CO100665_bit0 -CO100666_bit0 -CO100667_bit0 -CO100668_bit0 -CO100669_bit0 -CO100670_bit0 -CO100671_bit0 -CO100672_bit0 -CO100673_bit0 -CO100674_bit0 -CO100675_bit0 -CO100676_bit0 -CO100677_bit0 -CO100678_bit0 -CO100679_bit0 -CO100680_bit0 -CO100681_bit0 -CO100682_bit0 -CO100683_bit0 -CO100684_bit0 -CO100685_bit0 -CO100686_bit0 -CO100687_bit0 -CO100688_bit0 -CO100689_bit0 -CO100690_bit0 -CO100691_bit0 -CO100692_bit0 -CO100693_bit0 -CO100694_bit0 -CO100695_bit0 -CO100696_bit0 -CO100697_bit0 -CO100698_bit0 -CO100699_bit0 -CO100700_bit0 -CO100701_bit0 -CO100702_bit0 -CO100703_bit0 -CO100704_bit0 -CO100705_bit0 -CO100706_bit0 -CO100707_bit0 -CO100708_bit0 -CO100709_bit0 -CO100710_bit0 -CO100711_bit0 -CO100712_bit0 -CO100713_bit0 -CO100714_bit0 -CO100715_bit0 -CO100716_bit0 -CO100717_bit0 -CO100718_bit0 -CO100719_bit0 -CO100720_bit0 -CO100721_bit0 -CO100722_bit0 -CO100723_bit0 -CO100724_bit0 -CO100725_bit0 -CO100726_bit0 -CO100727_bit0 -CO100728_bit0 -CO100729_bit0 -CO100730_bit0 -CO100731_bit0 -CO100732_bit0 -CO100733_bit0 -CO100734_bit0 -CO100735_bit0 -CO100736_bit0 -CO100737_bit0 CO100738_bit0 -CO100739_bit0 -CO100740_bit0 -CO100741_bit0 -CO100742_bit0 -CO100743_bit0 -CO100744_bit0 -CO100745_bit0 -CO100746_bit0 -CO100747_bit0 -CO100748_bit0 -CO100749_bit0 -CO100750_bit0 -CO100751_bit0 -CO100752_bit0 -CO100753_bit0 -CO100754_bit0 -CO100755_bit0 -CO100756_bit0 -CO100757_bit0 -CO100758_bit0 -CO100759_bit0 -CO100760_bit0 -CO100761_bit0 -CO100762_bit0 -CO100763_bit0 -CO100764_bit0 -CO100765_bit0 -CO100766_bit0 -CO100767_bit0 -CO100768_bit0 -CO100769_bit0 -CO100770_bit0 -CO100771_bit0 -CO100772_bit0 -CO100773_bit0 -CO100774_bit0 -CO100775_bit0 -CO100776_bit0 -CO100777_bit0 -CO100778_bit0 CO100779_bit0 -CO100780_bit0 -CO100781_bit0 -CO100782_bit0 -CO100783_bit0 -CO100784_bit0 -CO100785_bit0 -CO100786_bit0 -CO100787_bit0 -CO100788_bit0 CO100789_bit0 -CO100790_bit0 -CO100791_bit0 -CO100792_bit0 -CO100793_bit0 -CO100794_bit0 -CO100795_bit0 -CO100796_bit0 -CO100797_bit0 -CO100798_bit0 -CO100799_bit0 -CO100800_bit0 -CO100801_bit0 -CO100802_bit0 -CO100803_bit0 -CO100804_bit0 -CO100805_bit0 -CO100806_bit0 -CO100807_bit0 -CO100808_bit0 -CO100809_bit0 -CO100810_bit0 -CO100811_bit0 -CO100812_bit0 -CO100813_bit0 -CO100814_bit0 -CO100815_bit0 -CO100816_bit0 -CO100817_bit0 -CO100818_bit0 -CO100819_bit0 -CO100820_bit0 CO100821_bit0 -CO100822_bit0 -CO100823_bit0 -CO100824_bit0 -CO100825_bit0 -CO100826_bit0 -CO100827_bit0 -CO100828_bit0 -CO100829_bit0 -CO100830_bit0 -CO100831_bit0 -CO100832_bit0 -CO100833_bit0 -CO100834_bit0 -CO100835_bit0 -CO100836_bit0 -CO100837_bit0 -CO100838_bit0 -CO100839_bit0 -CO100840_bit0 -CO100841_bit0 -CO100842_bit0 -CO100843_bit0 -CO100844_bit0 -CO100845_bit0 -CO100846_bit0 -CO100847_bit0 -CO100848_bit0 -CO100849_bit0 -CO100850_bit0 -CO100851_bit0 -CO100852_bit0 -CO100853_bit0 -CO100854_bit0 -CO100855_bit0 -CO100856_bit0 -CO100857_bit0 -CO100858_bit0 -CO100859_bit0 -CO100860_bit0 -CO100861_bit0 -CO100862_bit0 -CO100863_bit0 -CO100864_bit0 -CO100865_bit0 -CO100866_bit0 -CO100867_bit0 -CO100868_bit0 -CO100869_bit0 -CO100870_bit0 -CO100871_bit0 -CO100872_bit0 -CO100873_bit0 -CO100874_bit0 -CO100875_bit0 -CO100876_bit0 -CO100877_bit0 -CO100878_bit0 CO100879_bit0 -CO100880_bit0 -CO100881_bit0 -CO100882_bit0 -CO100883_bit0 -CO100884_bit0 -CO100885_bit0 -CO100886_bit0 -CO100887_bit0 -CO100888_bit0 -CO100889_bit0 -CO100890_bit0 -CO100891_bit0 -CO100892_bit0 -CO100893_bit0 -CO100894_bit0 -CO100895_bit0 -CO100896_bit0 -CO100897_bit0 -CO100898_bit0 -CO100899_bit0 -CO100900_bit0 -CO100901_bit0 -CO100902_bit0 -CO100903_bit0 -CO100904_bit0 -CO100905_bit0 -CO100906_bit0 -CO100907_bit0 -CO100908_bit0 -CO100909_bit0 -CO100910_bit0 -CO100911_bit0 -CO100912_bit0 -CO100913_bit0 -CO100914_bit0 -CO100915_bit0 -CO100916_bit0 -CO100917_bit0 -CO100918_bit0 -CO100919_bit0 -CO100920_bit0 CO100921_bit0 -CO100922_bit0 -CO100923_bit0 -CO100924_bit0 -CO100925_bit0 -CO100926_bit0 -CO100927_bit0 -CO100928_bit0 -CO100929_bit0 -CO100930_bit0 -CO100931_bit0 -CO100932_bit0 -CO100933_bit0 -CO100934_bit0 -CO100935_bit0 -CO100936_bit0 -CO100937_bit0 -CO100938_bit0 -CO100939_bit0 -CO100940_bit0 -CO100941_bit0 -CO100942_bit0 -CO100943_bit0 -CO100944_bit0 -CO100945_bit0 -CO100946_bit0 -CO100947_bit0 -CO100948_bit0 -CO100949_bit0 -CO100950_bit0 -CO100951_bit0 -CO100952_bit0 -CO100953_bit0 -CO100954_bit0 CO100955_bit0 -CO100956_bit0 -CO100957_bit0 -CO100958_bit0 -CO100959_bit0 -CO100960_bit0 -CO100961_bit0 -CO100962_bit0 -CO100963_bit0 -CO100964_bit0 -CO100965_bit0 -CO100966_bit0 -CO100967_bit0 -CO100968_bit0 -CO100969_bit0 -CO100970_bit0 -CO100971_bit0 -CO100972_bit0 -CO100973_bit0 -CO100974_bit0 -CO100975_bit0 -CO100976_bit0 -CO100977_bit0 -CO100978_bit0 -CO100979_bit0 -CO100980_bit0 -CO100981_bit0 -CO100982_bit0 -CO100983_bit0 -CO100984_bit0 -CO100985_bit0 -CO100986_bit0 -CO100987_bit0 -CO100988_bit0 -CO100989_bit0 -CO100990_bit0 -CO100991_bit0 -CO100992_bit0 -CO100993_bit0 -CO100994_bit0 -CO100995_bit0 -CO100996_bit0 -CO100997_bit0 -CO100998_bit0 -CO100999_bit0 -CO101000_bit0 -CO101001_bit0 -CO101002_bit0 -CO101003_bit0 -CO101004_bit0 -CO101005_bit0 CO101006_bit0 -CO101007_bit0 -CO101008_bit0 -CO101009_bit0 -CO101010_bit0 -CO101011_bit0 -CO101012_bit0 -CO101013_bit0 -CO101014_bit0 -CO101015_bit0 -CO101016_bit0 -CO101017_bit0 -CO101018_bit0 -CO101019_bit0 -CO101020_bit0 -CO101021_bit0 -CO101022_bit0 -CO101023_bit0 -CO101024_bit0 -CO101025_bit0 -CO101026_bit0 -CO101027_bit0 -CO101028_bit0 -CO101029_bit0 -CO101030_bit0 -CO101031_bit0 -CO101032_bit0 -CO101033_bit0 -CO101034_bit0 -CO101035_bit0 -CO101036_bit0 -CO101037_bit0 -CO101038_bit0 -CO101039_bit0 -CO101040_bit0 -CO101041_bit0 -CO101042_bit0 -CO101043_bit0 -CO101044_bit0 -CO101045_bit0 -CO101046_bit0 -CO101047_bit0 -CO101048_bit0 CO101049_bit0 -CO101050_bit0 -CO101051_bit0 -CO101052_bit0 -CO101053_bit0 -CO101054_bit0 -CO101055_bit0 -CO101056_bit0 -CO101057_bit0 -CO101058_bit0 -CO101059_bit0 -CO101060_bit0 -CO101061_bit0 -CO101062_bit0 -CO101063_bit0 -CO101064_bit0 -CO101065_bit0 -CO101066_bit0 -CO101067_bit0 -CO101068_bit0 -CO101069_bit0 -CO101070_bit0 -CO101071_bit0 -CO101072_bit0 -CO101073_bit0 -CO101074_bit0 -CO101075_bit0 -CO101076_bit0 -CO101077_bit0 -CO101078_bit0 -CO101079_bit0 -CO101080_bit0 -CO101081_bit0 -CO101082_bit0 -CO101083_bit0 -CO101084_bit0 -CO101085_bit0 -CO101086_bit0 
c Exit Code: 10
c Total time: 1175.87 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.97 0.93 2/54 9620
Raw data (stat): 9620 (runsolver) R 9619 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907661148 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99961 s]
Raw data (loadavg): 0.87 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 8590 0 0 0 978 19 0 0 25 0 1 0 907661148 38318080 8504 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9355 8504 1111 63 0 9292 0
vsize: 37420
[startup+20.0008 s]
Raw data (loadavg): 0.89 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 8657 0 0 0 1978 20 0 0 25 0 1 0 907661148 38588416 8571 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9421 8571 1111 63 0 9358 0
vsize: 37684
[startup+30.0013 s]
Raw data (loadavg): 0.91 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 8712 0 0 0 2978 20 0 0 25 0 1 0 907661148 38862848 8626 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9488 8626 1111 63 0 9425 0
vsize: 37952
[startup+40.0012 s]
Raw data (loadavg): 0.92 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 8777 0 0 0 3978 20 0 0 25 0 1 0 907661148 38998016 8691 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9521 8691 1111 63 0 9458 0
vsize: 38084
[startup+50.0025 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 8835 0 0 0 4977 20 0 0 25 0 1 0 907661148 39268352 8749 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9587 8749 1111 63 0 9524 0
vsize: 38348
[startup+60.0019 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 8890 0 0 0 5976 21 0 0 25 0 1 0 907661148 39542784 8804 4294967295 134512640 134716908 3221224560 3221223208 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9654 8804 1111 63 0 9591 0
vsize: 38616
[startup+70.0028 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 9941 0 0 0 6973 23 0 0 25 0 1 0 907661148 41357312 9396 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10097 9396 1111 63 0 10034 0
vsize: 40388
[startup+80.0029 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 10272 0 0 0 7972 25 0 0 25 0 1 0 907661148 42700800 9727 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10425 9727 1111 63 0 10362 0
vsize: 41700
[startup+90.0034 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 10440 0 0 0 8971 25 0 0 25 0 1 0 907661148 43376640 9895 4294967295 134512640 134716908 3221224560 3221223168 134549460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10590 9895 1111 63 0 10527 0
vsize: 42360
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 10534 0 0 0 9971 26 0 0 25 0 1 0 907661148 43778048 9989 4294967295 134512640 134716908 3221224560 3221223148 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10688 9989 1111 63 0 10625 0
vsize: 42752
[startup+110.003 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 10603 0 0 0 10970 27 0 0 25 0 1 0 907661148 44048384 10058 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10754 10058 1111 63 0 10691 0
vsize: 43016
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 10691 0 0 0 11970 28 0 0 25 0 1 0 907661148 44404736 10146 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10841 10146 1111 63 0 10778 0
vsize: 43364
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 10810 0 0 0 12969 28 0 0 25 0 1 0 907661148 44900352 10265 4294967295 134512640 134716908 3221224560 3221223296 134523886 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10962 10265 1111 63 0 10899 0
vsize: 43848
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 10886 0 0 0 13969 29 0 0 25 0 1 0 907661148 45170688 10341 4294967295 134512640 134716908 3221224560 3221223192 134698369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11028 10341 1111 63 0 10965 0
vsize: 44112
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 10962 0 0 0 14968 30 0 0 25 0 1 0 907661148 45441024 10417 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11094 10417 1111 63 0 11031 0
vsize: 44376
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 11038 0 0 0 15967 31 0 0 25 0 1 0 907661148 45846528 10493 4294967295 134512640 134716908 3221224560 3221223264 134528442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11193 10493 1111 63 0 11130 0
vsize: 44772
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 11065 0 0 0 16967 31 0 0 25 0 1 0 907661148 45981696 10520 4294967295 134512640 134716908 3221224560 3221223264 134528481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11226 10520 1111 63 0 11163 0
vsize: 44904
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 11162 0 0 0 17967 32 0 0 25 0 1 0 907661148 46268416 10617 4294967295 134512640 134716908 3221224560 3221223320 134552573 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11296 10617 1111 63 0 11233 0
vsize: 45184
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 11247 0 0 0 18966 32 0 0 25 0 1 0 907661148 46608384 10702 4294967295 134512640 134716908 3221224560 3221223144 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11379 10702 1111 63 0 11316 0
vsize: 45516
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 13913 0 0 0 19959 39 0 0 25 0 1 0 907661148 47562752 10862 4294967295 134512640 134716908 3221224560 3221220736 1074882508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11612 10863 1111 63 0 11549 0
vsize: 46448
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 17225 0 0 0 20951 47 0 0 25 0 1 0 907661148 47366144 10886 4294967295 134512640 134716908 3221224560 3221222752 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11564 10886 1111 63 0 11501 0
vsize: 46256
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 22234 0 0 0 21938 61 0 0 25 0 1 0 907661148 47554560 10932 4294967295 134512640 134716908 3221224560 3221222832 1074206374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11610 10932 1111 63 0 11547 0
vsize: 46440
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 26615 0 0 0 22927 71 0 0 25 0 1 0 907661148 48513024 11046 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11844 11046 1111 63 0 11781 0
vsize: 47376
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 29825 0 0 0 23918 80 0 0 25 0 1 0 907661148 48607232 11059 4294967295 134512640 134716908 3221224560 3221221564 1074621052 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11867 11059 1111 63 0 11804 0
vsize: 47468
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 32841 0 0 0 24911 87 0 0 25 0 1 0 907661148 48586752 11065 4294967295 134512640 134716908 3221224560 3221220632 1074950215 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11862 11065 1111 63 0 11799 0
vsize: 47448
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 37043 0 0 0 25900 98 0 0 25 0 1 0 907661148 48607232 11060 4294967295 134512640 134716908 3221224560 3221220604 1074873573 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11867 11060 1111 63 0 11804 0
vsize: 47468
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 41051 0 0 0 26890 109 0 0 25 0 1 0 907661148 48783360 11092 4294967295 134512640 134716908 3221224560 3221221072 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11910 11092 1111 63 0 11847 0
vsize: 47640
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 44394 0 0 0 27881 118 0 0 25 0 1 0 907661148 47779840 10987 4294967295 134512640 134716908 3221224560 3221222912 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11665 10987 1111 63 0 11602 0
vsize: 46660
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 48322 0 0 0 28871 128 0 0 25 0 1 0 907661148 48005120 11037 4294967295 134512640 134716908 3221224560 3221222976 1074117056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11720 11037 1111 63 0 11657 0
vsize: 46880
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 52515 0 0 0 29861 139 0 0 25 0 1 0 907661148 48955392 11132 4294967295 134512640 134716908 3221224560 3221220704 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11952 11132 1111 63 0 11889 0
vsize: 47808
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 56767 0 0 0 30850 149 0 0 25 0 1 0 907661148 49045504 11151 4294967295 134512640 134716908 3221224560 3221220652 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11974 11151 1111 63 0 11911 0
vsize: 47896
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 60549 0 0 0 31841 158 0 0 25 0 1 0 907661148 48451584 11102 4294967295 134512640 134716908 3221224560 3221222860 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11829 11102 1111 63 0 11766 0
vsize: 47316
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 64867 0 0 0 32830 170 0 0 25 0 1 0 907661148 48549888 11123 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11853 11123 1111 63 0 11790 0
vsize: 47412
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 68207 0 0 0 33822 178 0 0 25 0 1 0 907661148 48271360 11107 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11785 11107 1111 63 0 11722 0
vsize: 47140
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 70493 0 0 0 34816 184 0 0 25 0 1 0 907661148 49143808 11194 4294967295 134512640 134716908 3221224560 3221220788 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11998 11194 1111 63 0 11935 0
vsize: 47992
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 73309 0 0 0 35809 192 0 0 25 0 1 0 907661148 48435200 11118 4294967295 134512640 134716908 3221224560 3221222672 1074867352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11825 11118 1111 63 0 11762 0
vsize: 47300
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 76949 0 0 0 36799 201 0 0 25 0 1 0 907661148 48979968 11214 4294967295 134512640 134716908 3221224560 3221221328 1076083342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11958 11214 1111 63 0 11895 0
vsize: 47832
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 81762 0 0 0 37786 215 0 0 25 0 1 0 907661148 49238016 11253 4294967295 134512640 134716908 3221224560 3221220720 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12021 11253 1111 63 0 11958 0
vsize: 48084
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 85984 0 0 0 38777 224 0 0 25 0 1 0 907661148 48726016 11218 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11896 11218 1111 63 0 11833 0
vsize: 47584
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 91261 0 0 0 39764 237 0 0 25 0 1 0 907661148 49053696 11296 4294967295 134512640 134716908 3221224560 3221222928 1074140697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11976 11296 1111 63 0 11913 0
vsize: 47904
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 94392 0 0 0 40756 245 0 0 25 0 1 0 907661148 48947200 11272 4294967295 134512640 134716908 3221224560 3221222864 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11950 11272 1111 63 0 11887 0
vsize: 47800
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 97934 0 0 0 41746 256 0 0 25 0 1 0 907661148 48926720 11267 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11945 11267 1111 63 0 11882 0
vsize: 47780
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 102475 0 0 0 42734 268 0 0 25 0 1 0 907661148 49483776 11354 4294967295 134512640 134716908 3221224560 3221222848 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 11354 1111 63 0 12018 0
vsize: 48324
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 106785 0 0 0 43724 278 0 0 25 0 1 0 907661148 50663424 11563 4294967295 134512640 134716908 3221224560 3221220508 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12369 11563 1111 63 0 12306 0
vsize: 49476
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 109673 0 0 0 44717 285 0 0 25 0 1 0 907661148 50507776 11542 4294967295 134512640 134716908 3221224560 3221221216 1075968377 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12331 11542 1111 63 0 12268 0
vsize: 49324
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 112421 0 0 0 45710 292 0 0 25 0 1 0 907661148 49635328 11437 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12118 11437 1111 63 0 12055 0
vsize: 48472
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 116446 0 0 0 46701 302 0 0 25 0 1 0 907661148 49512448 11410 4294967295 134512640 134716908 3221224560 3221222944 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12088 11410 1111 63 0 12025 0
vsize: 48352
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 121215 0 0 0 47690 313 0 0 25 0 1 0 907661148 50720768 11640 4294967295 134512640 134716908 3221224560 3221220444 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12383 11640 1111 63 0 12320 0
vsize: 49532
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 125969 0 0 0 48678 325 0 0 25 0 1 0 907661148 50479104 11618 4294967295 134512640 134716908 3221224560 3221223072 134646691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12324 11618 1111 63 0 12261 0
vsize: 49296
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 129955 0 0 0 49668 335 0 0 25 0 1 0 907661148 50094080 11552 4294967295 134512640 134716908 3221224560 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12230 11552 1111 63 0 12167 0
vsize: 48920
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 134182 0 0 0 50657 346 0 0 25 0 1 0 907661148 50339840 11580 4294967295 134512640 134716908 3221224560 3221222872 1073978417 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12290 11580 1111 63 0 12227 0
vsize: 49160
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 138551 0 0 0 51648 356 0 0 25 0 1 0 907661148 51011584 11740 4294967295 134512640 134716908 3221224560 3221222896 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12454 11740 1111 63 0 12391 0
vsize: 49816
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 141855 0 0 0 52640 364 0 0 25 0 1 0 907661148 50688000 11697 4294967295 134512640 134716908 3221224560 3221222848 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12375 11697 1111 63 0 12312 0
vsize: 49500
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 145817 0 0 0 53629 375 0 0 25 0 1 0 907661148 52080640 11955 4294967295 134512640 134716908 3221224560 3221220444 1074788930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12715 11955 1111 63 0 12652 0
vsize: 50860
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 149883 0 0 0 54617 387 0 0 25 0 1 0 907661148 51613696 11891 4294967295 134512640 134716908 3221224560 3221222560 1074918607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12601 11891 1111 63 0 12538 0
vsize: 50404
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 153905 0 0 0 55608 396 0 0 25 0 1 0 907661148 51441664 11853 4294967295 134512640 134716908 3221224560 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12559 11853 1111 63 0 12496 0
vsize: 50236
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 155726 0 0 0 56603 401 0 0 25 0 1 0 907661148 51171328 11815 4294967295 134512640 134716908 3221224560 3221222616 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12493 11815 1111 63 0 12430 0
vsize: 49972
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 157642 0 0 0 57599 406 0 0 25 0 1 0 907661148 51523584 11851 4294967295 134512640 134716908 3221224560 3221220720 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12579 11851 1111 63 0 12516 0
vsize: 50316
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 159384 0 0 0 58594 411 0 0 25 0 1 0 907661148 51314688 11818 4294967295 134512640 134716908 3221224560 3221222288 1075829517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12528 11818 1111 63 0 12465 0
vsize: 50112
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 161745 0 0 0 59588 417 0 0 25 0 1 0 907661148 51433472 11879 4294967295 134512640 134716908 3221224560 3221223072 134646693 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12557 11879 1111 63 0 12494 0
vsize: 50228
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 163843 0 0 0 60583 423 0 0 25 0 1 0 907661148 51171328 11815 4294967295 134512640 134716908 3221224560 3221220376 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12493 11815 1111 63 0 12430 0
vsize: 49972
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 166853 0 0 0 61575 431 0 0 25 0 1 0 907661148 51171328 11815 4294967295 134512640 134716908 3221224560 3221222960 1074153783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12493 11815 1111 63 0 12430 0
vsize: 49972
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 169047 0 0 0 62568 437 0 0 25 0 1 0 907661148 51388416 11868 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12546 11868 1111 63 0 12483 0
vsize: 50184
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 172172 0 0 0 63560 446 0 0 25 0 1 0 907661148 51326976 11839 4294967295 134512640 134716908 3221224560 3221222560 1074913867 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12531 11839 1111 63 0 12468 0
vsize: 50124
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 174873 0 0 0 64553 453 0 0 25 0 1 0 907661148 51171328 11815 4294967295 134512640 134716908 3221224560 3221222960 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12493 11815 1111 63 0 12430 0
vsize: 49972
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 178543 0 0 0 65545 461 0 0 25 0 1 0 907661148 52383744 11951 4294967295 134512640 134716908 3221224560 3221220896 1075113628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12789 11952 1111 63 0 12726 0
vsize: 51156
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 181834 0 0 0 66536 470 0 0 25 0 1 0 907661148 51605504 11870 4294967295 134512640 134716908 3221224560 3221222624 1075961779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12599 11870 1111 63 0 12536 0
vsize: 50396
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 185953 0 0 0 67526 480 0 0 25 0 1 0 907661148 52449280 12049 4294967295 134512640 134716908 3221224560 3221220736 1074882592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12805 12049 1111 63 0 12742 0
vsize: 51220
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 190054 0 0 0 68516 491 0 0 25 0 1 0 907661148 51978240 11988 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12690 11988 1111 63 0 12627 0
vsize: 50760
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 193310 0 0 0 69508 499 0 0 25 0 1 0 907661148 52154368 12013 4294967295 134512640 134716908 3221224560 3221223048 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12733 12013 1111 63 0 12670 0
vsize: 50932
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 196672 0 0 0 70500 507 0 0 25 0 1 0 907661148 52715520 12043 4294967295 134512640 134716908 3221224560 3221220616 1074789607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12870 12043 1111 63 0 12807 0
vsize: 51480
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 199641 0 0 0 71493 514 0 0 25 0 1 0 907661148 51941376 11975 4294967295 134512640 134716908 3221224560 3221222912 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12681 11975 1111 63 0 12618 0
vsize: 50724
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 203445 0 0 0 72484 523 0 0 25 0 1 0 907661148 52813824 12148 4294967295 134512640 134716908 3221224560 3221220688 1075112371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12894 12148 1111 63 0 12831 0
vsize: 51576
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 206483 0 0 0 73477 531 0 0 25 0 1 0 907661148 52797440 12125 4294967295 134512640 134716908 3221224560 3221220720 1074794554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12890 12125 1111 63 0 12827 0
vsize: 51560
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 209917 0 0 0 74470 539 0 0 25 0 1 0 907661148 53284864 12190 4294967295 134512640 134716908 3221224560 3221220764 1075564184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13009 12190 1111 63 0 12946 0
vsize: 52036
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 214145 0 0 0 75460 550 0 0 25 0 1 0 907661148 52695040 12157 4294967295 134512640 134716908 3221224560 3221222672 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12865 12157 1111 63 0 12802 0
vsize: 51460
[startup+770.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 216838 0 0 0 76453 556 0 0 25 0 1 0 907661148 52637696 12131 4294967295 134512640 134716908 3221224560 3221222960 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12851 12131 1111 63 0 12788 0
vsize: 51404
[startup+780.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 219472 0 0 0 77448 562 0 0 25 0 1 0 907661148 53641216 12319 4294967295 134512640 134716908 3221224560 3221220404 1074786582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13096 12319 1111 63 0 13033 0
vsize: 52384
[startup+790.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 222073 0 0 0 78441 569 0 0 25 0 1 0 907661148 52789248 12161 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12888 12161 1111 63 0 12825 0
vsize: 51552
[startup+800.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 223918 0 0 0 79438 572 0 0 25 0 1 0 907661148 53268480 12171 4294967295 134512640 134716908 3221224560 3221221480 1075964781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13005 12171 1111 63 0 12942 0
vsize: 52020
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 225722 0 0 0 80432 578 0 0 25 0 1 0 907661148 52797440 12164 4294967295 134512640 134716908 3221224560 3221220832 1074960868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12890 12164 1111 63 0 12827 0
vsize: 51560
[startup+820.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 227430 0 0 0 81428 583 0 0 25 0 1 0 907661148 53256192 12189 4294967295 134512640 134716908 3221224560 3221221216 1075967953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13002 12189 1111 63 0 12939 0
vsize: 52008
[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 229408 0 0 0 82423 588 0 0 25 0 1 0 907661148 52838400 12152 4294967295 134512640 134716908 3221224560 3221220528 1074872886 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12900 12152 1111 63 0 12837 0
vsize: 51600
[startup+840.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 231512 0 0 0 83417 594 0 0 25 0 1 0 907661148 52436992 12124 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12802 12124 1111 63 0 12739 0
vsize: 51208
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 233997 0 0 0 84411 600 0 0 25 0 1 0 907661148 53018624 12202 4294967295 134512640 134716908 3221224560 3221220720 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12944 12202 1111 63 0 12881 0
vsize: 51776
[startup+860.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 236289 0 0 0 85404 608 0 0 25 0 1 0 907661148 53022720 12179 4294967295 134512640 134716908 3221224560 3221220704 1074882881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12945 12179 1111 63 0 12882 0
vsize: 51780
[startup+870.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 238817 0 0 0 86397 615 0 0 25 0 1 0 907661148 52576256 12127 4294967295 134512640 134716908 3221224560 3221222672 1074867299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12836 12127 1111 63 0 12773 0
vsize: 51344
[startup+880.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 241576 0 0 0 87389 622 0 0 25 0 1 0 907661148 52494336 12138 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12816 12138 1111 63 0 12753 0
vsize: 51264
[startup+890.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 244280 0 0 0 88382 630 0 0 25 0 1 0 907661148 52436992 12124 4294967295 134512640 134716908 3221224560 3221222888 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12802 12124 1111 63 0 12739 0
vsize: 51208
[startup+900.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 246772 0 0 0 89375 637 0 0 25 0 1 0 907661148 53362688 12230 4294967295 134512640 134716908 3221224560 3221220528 1074872793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13028 12230 1111 63 0 12965 0
vsize: 52112
[startup+910.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 249474 0 0 0 90370 643 0 0 25 0 1 0 907661148 52436992 12124 4294967295 134512640 134716908 3221224560 3221222632 1077377311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12802 12124 1111 63 0 12739 0
vsize: 51208
[startup+920.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 253251 0 0 0 91360 652 0 0 25 0 1 0 907661148 53112832 12226 4294967295 134512640 134716908 3221224560 3221221392 1075115840 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12967 12226 1111 63 0 12904 0
vsize: 51868
[startup+930.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 256736 0 0 0 92352 661 0 0 25 0 1 0 907661148 52436992 12124 4294967295 134512640 134716908 3221224560 3221221384 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12802 12124 1111 63 0 12739 0
vsize: 51208
[startup+940.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 260785 0 0 0 93341 672 0 0 25 0 1 0 907661148 53481472 12266 4294967295 134512640 134716908 3221224560 3221220808 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13057 12266 1111 63 0 12994 0
vsize: 52228
[startup+950.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 265382 0 0 0 94330 683 0 0 25 0 1 0 907661148 52555776 12153 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12831 12153 1111 63 0 12768 0
vsize: 51324
[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 269842 0 0 0 95318 695 0 0 25 0 1 0 907661148 53108736 12227 4294967295 134512640 134716908 3221224560 3221223048 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12966 12227 1111 63 0 12903 0
vsize: 51864
[startup+970.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 274375 0 0 0 96308 706 0 0 25 0 1 0 907661148 53600256 12320 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13086 12320 1111 63 0 13023 0
vsize: 52344
[startup+980.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 278086 0 0 0 97298 715 0 0 25 0 1 0 907661148 53071872 12263 4294967295 134512640 134716908 3221224560 3221221664 1074138614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12957 12263 1111 63 0 12894 0
vsize: 51828
[startup+990.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 282065 0 0 0 98288 726 0 0 25 0 1 0 907661148 53911552 12359 4294967295 134512640 134716908 3221224560 3221220832 1074961267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13162 12359 1111 63 0 13099 0
vsize: 52648
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 286044 0 0 0 99278 736 0 0 25 0 1 0 907661148 53116928 12284 4294967295 134512640 134716908 3221224560 3221222520 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12968 12284 1111 63 0 12905 0
vsize: 51872
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 290020 0 0 0 100269 745 0 0 25 0 1 0 907661148 53805056 12369 4294967295 134512640 134716908 3221224560 3221220528 1074872781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13136 12369 1111 63 0 13073 0
vsize: 52544
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 294271 0 0 0 101256 759 0 0 25 0 1 0 907661148 54083584 12403 4294967295 134512640 134716908 3221224560 3221220604 1074873432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13204 12403 1111 63 0 13141 0
vsize: 52816
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 298284 0 0 0 102246 769 0 0 25 0 1 0 907661148 53551104 12344 4294967295 134512640 134716908 3221224560 3221223052 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13074 12344 1111 63 0 13011 0
vsize: 52296
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 301523 0 0 0 103238 777 0 0 25 0 1 0 907661148 53321728 12340 4294967295 134512640 134716908 3221224560 3221222560 1074918496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13018 12340 1111 63 0 12955 0
vsize: 52072
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 305635 0 0 0 104228 787 0 0 25 0 1 0 907661148 53616640 12355 4294967295 134512640 134716908 3221224560 3221222864 1074153742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13090 12355 1111 63 0 13027 0
vsize: 52360
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 309813 0 0 0 105216 799 0 0 25 0 1 0 907661148 54312960 12484 4294967295 134512640 134716908 3221224560 3221220556 1074788206 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13260 12484 1111 63 0 13197 0
vsize: 53040
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 313881 0 0 0 106207 808 0 0 25 0 1 0 907661148 53338112 12344 4294967295 134512640 134716908 3221224560 3221222600 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13022 12344 1111 63 0 12959 0
vsize: 52088
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 318643 0 0 0 107196 820 0 0 25 0 1 0 907661148 53432320 12367 4294967295 134512640 134716908 3221224560 3221222872 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13045 12367 1111 63 0 12982 0
vsize: 52180
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 323062 0 0 0 108185 830 0 0 25 0 1 0 907661148 54599680 12528 4294967295 134512640 134716908 3221224560 3221220688 1075561100 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13330 12528 1111 63 0 13267 0
vsize: 53320
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 325912 0 0 0 109178 838 0 0 25 0 1 0 907661148 54816768 12569 4294967295 134512640 134716908 3221224560 3221220720 1075090322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13383 12569 1111 63 0 13320 0
vsize: 53532
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 329043 0 0 0 110170 846 0 0 25 0 1 0 907661148 54362112 12529 4294967295 134512640 134716908 3221224560 3221220524 1074788084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13272 12529 1111 63 0 13209 0
vsize: 53088
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 333021 0 0 0 111159 857 0 0 25 0 1 0 907661148 54849536 12597 4294967295 134512640 134716908 3221224560 3221220832 1074960865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13391 12597 1111 63 0 13328 0
vsize: 53564
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 336473 0 0 0 112151 865 0 0 25 0 1 0 907661148 53862400 12472 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13150 12472 1111 63 0 13087 0
vsize: 52600
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 341188 0 0 0 113140 877 0 0 25 0 1 0 907661148 54222848 12537 4294967295 134512640 134716908 3221224560 3221222288 1075828571 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13238 12537 1111 63 0 13175 0
vsize: 52952
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 345224 0 0 0 114129 888 0 0 25 0 1 0 907661148 54202368 12555 4294967295 134512640 134716908 3221224560 3221222448 1074052260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13233 12555 1111 63 0 13170 0
vsize: 52932
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 349449 0 0 0 115117 900 0 0 25 0 1 0 907661148 54419456 12608 4294967295 134512640 134716908 3221224560 3221222664 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13286 12608 1111 63 0 13223 0
vsize: 53144
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 353158 0 0 0 116108 909 0 0 25 0 1 0 907661148 55513088 12749 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13553 12749 1111 63 0 13490 0
vsize: 54212
[startup+1175.77 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 9620
Raw data (stat): 9620 (bsolo_lpr_cuts-) R 9619 21152 21151 0 -1 0 353158 0 0 0 116108 909 0 0 25 0 1 0 907661148 55513088 12749 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13553 12749 1111 63 0 13490 0
vsize: 0

Child status: 10
Real time (s): 1175.77
CPU time (s): 1175.9
CPU user time (s): 1166.7
CPU system time (s): 9.1936
CPU usage (%): 100.011
Max. virtual memory (Kb): 54212
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	4103
#### END VERIFIER DATA ####