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 28672

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-25 03:32:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11910 boxname=wulflinc15 idbench=917 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  3c39e3c2b993ee2185e2a1a3e73b9723  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-lp4l.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-lp4l.opb
IDLAUNCH: 11910
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        933444 kB
Buffers:          9436 kB
Cached:          70404 kB
SwapCached:        672 kB
Active:          25688 kB
Inactive:        56264 kB
HighTotal:      131008 kB
HighFree:        78736 kB
LowTotal:       903652 kB
LowFree:        854708 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            13728 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 03:52:34 (client local time) WITH STATUS 10 IN 1175.21 SECONDS
stats: 11910 0 1175.21 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 984 constraints.
c preprocess terminated 62.887 s
c Initial Lower Bound: 2962
c Lower Bound Elapsed time: 1.2065
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 4755 @ 68.281
c NEW SOLUTION FOUND: 4733 @ 68.283
c NEW SOLUTION FOUND: 4719 @ 68.647
c NEW SOLUTION FOUND: 4718 @ 69.188
c NEW SOLUTION FOUND: 4614 @ 72.629
c NEW SOLUTION FOUND: 4380 @ 72.85
c NEW SOLUTION FOUND: 4355 @ 75
c NEW SOLUTION FOUND: 4294 @ 79.679
c NEW SOLUTION FOUND: 4293 @ 98.514
c NEW SOLUTION FOUND: 4162 @ 104.932
c NEW SOLUTION FOUND: 4159 @ 119.448
c NEW SOLUTION FOUND: 4158 @ 167.159
c NEW SOLUTION FOUND: 4156 @ 168.916
c NEW SOLUTION FOUND: 4141 @ 188.842
c NEW SOLUTION FOUND: 3803 @ 628.134
c NEW SOLUTION FOUND: 3800 @ 635.74
c NEW SOLUTION FOUND: 3799 @ 660.35
c NEW SOLUTION FOUND: 3776 @ 1085.33
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.14 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.97 0.97 2/54 3405
Raw data (stat): 3405 (runsolver) R 3404 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777439865 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.94 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 8586 0 0 0 975 22 0 0 25 0 1 0 777439865 38318080 8504 4294967295 134512640 134714508 3221224592 3221223264 134627187 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.0011 s]
Raw data (loadavg): 0.95 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 8653 0 0 0 1975 22 0 0 25 0 1 0 777439865 38588416 8571 4294967295 134512640 134714508 3221224592 3221223264 134627250 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.0016 s]
Raw data (loadavg): 0.95 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 8708 0 0 0 2976 22 0 0 25 0 1 0 777439865 38727680 8626 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9455 8626 1111 63 0 9392 0
vsize: 37820
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 8773 0 0 0 3975 23 0 0 25 0 1 0 777439865 38998016 8691 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9521 8691 1111 63 0 9458 0
vsize: 38084
[startup+50.0025 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 8831 0 0 0 4975 23 0 0 25 0 1 0 777439865 39268352 8749 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9587 8749 1111 63 0 9524 0
vsize: 38348
[startup+60.002 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 8884 0 0 0 5975 23 0 0 25 0 1 0 777439865 39542784 8802 4294967295 134512640 134714508 3221224592 3221223252 134627138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9654 8802 1111 63 0 9591 0
vsize: 38616
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 12471 0 0 0 6966 33 0 0 25 0 1 0 777439865 42532864 9668 4294967295 134512640 134714508 3221224592 3221222904 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10384 9668 1111 63 0 10321 0
vsize: 41536
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 19644 0 0 0 7944 54 0 0 25 0 1 0 777439865 46014464 10532 4294967295 134512640 134714508 3221224592 3221222592 1074914083 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11234 10532 1111 63 0 11171 0
vsize: 44936
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 23913 0 0 0 8932 66 0 0 25 0 1 0 777439865 48013312 11040 4294967295 134512640 134714508 3221224592 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11722 11040 1111 63 0 11659 0
vsize: 46888
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 30277 0 0 0 9914 84 0 0 25 0 1 0 777439865 51216384 11752 4294967295 134512640 134714508 3221224592 3221222552 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12504 11752 1111 63 0 12441 0
vsize: 50016
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 36520 0 0 0 10898 100 0 0 25 0 1 0 777439865 54288384 12535 4294967295 134512640 134714508 3221224592 3221222704 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13254 12535 1111 63 0 13191 0
vsize: 53016
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 42558 0 0 0 11882 115 0 0 25 0 1 0 777439865 55865344 12905 4294967295 134512640 134714508 3221224592 3221222896 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13639 12905 1111 63 0 13576 0
vsize: 54556
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 49256 0 0 0 12865 133 0 0 25 0 1 0 777439865 58945536 13710 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14391 13710 1111 63 0 14328 0
vsize: 57564
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 51323 0 0 0 13859 139 0 0 25 0 1 0 777439865 59781120 13828 4294967295 134512640 134714508 3221224592 3221220840 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14595 13828 1111 63 0 14532 0
vsize: 58380
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 56871 0 0 0 14842 156 0 0 25 0 1 0 777439865 60751872 14066 4294967295 134512640 134714508 3221224592 3221220500 1074786584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14832 14066 1111 63 0 14769 0
vsize: 59328
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 62877 0 0 0 15825 174 0 0 25 0 1 0 777439865 61591552 14330 4294967295 134512640 134714508 3221224592 3221223120 134648426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15037 14330 1111 63 0 14974 0
vsize: 60148
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 67552 0 0 0 16812 186 0 0 25 0 1 0 777439865 64266240 14972 4294967295 134512640 134714508 3221224592 3221220820 1075115109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15690 14972 1111 63 0 15627 0
vsize: 62760
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 72555 0 0 0 17798 200 0 0 25 0 1 0 777439865 65929216 15415 4294967295 134512640 134714508 3221224592 3221223056 134606848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16096 15415 1111 63 0 16033 0
vsize: 64384
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 78110 0 0 0 18783 216 0 0 25 0 1 0 777439865 69726208 16275 4294967295 134512640 134714508 3221224592 3221220752 1074794673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17023 16275 1111 63 0 16960 0
vsize: 68092
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 85446 0 0 0 19764 235 0 0 25 0 1 0 777439865 70705152 16588 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17262 16588 1111 63 0 17199 0
vsize: 69048
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 93604 0 0 0 20743 256 0 0 25 0 1 0 777439865 74452992 17468 4294967295 134512640 134714508 3221224592 3221222168 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18177 17468 1111 63 0 18114 0
vsize: 72708
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 95880 0 0 0 21738 261 0 0 25 0 1 0 777439865 74350592 17478 4294967295 134512640 134714508 3221224592 3221222796 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18152 17478 1111 63 0 18089 0
vsize: 72608
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 100576 0 0 0 22726 273 0 0 25 0 1 0 777439865 75526144 17705 4294967295 134512640 134714508 3221224592 3221220796 1075564295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18439 17705 1111 63 0 18376 0
vsize: 73756
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 107552 0 0 0 23707 292 0 0 25 0 1 0 777439865 76673024 18017 4294967295 134512640 134714508 3221224592 3221221872 1074140035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18719 18023 1111 63 0 18656 0
vsize: 74876
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 112817 0 0 0 24694 305 0 0 25 0 1 0 777439865 79282176 18682 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19356 18682 1111 63 0 19293 0
vsize: 77424
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 118393 0 0 0 25679 320 0 0 25 0 1 0 777439865 82378752 19377 4294967295 134512640 134714508 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20112 19377 1111 63 0 20049 0
vsize: 80448
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 123308 0 0 0 26665 335 0 0 25 0 1 0 777439865 81965056 19291 4294967295 134512640 134714508 3221224592 3221222796 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20011 19291 1111 63 0 19948 0
vsize: 80044
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 130171 0 0 0 27646 354 0 0 25 0 1 0 777439865 83877888 19732 4294967295 134512640 134714508 3221224592 3221220604 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20478 19733 1111 63 0 20415 0
vsize: 81912
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 138794 0 0 0 28624 376 0 0 25 0 1 0 777439865 85745664 20260 4294967295 134512640 134714508 3221224592 3221222504 1074138322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20934 20260 1111 63 0 20871 0
vsize: 83736
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 147145 0 0 0 29604 396 0 0 25 0 1 0 777439865 88727552 20952 4294967295 134512640 134714508 3221224592 3221222796 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21662 20952 1111 63 0 21599 0
vsize: 86648
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 152883 0 0 0 30588 413 0 0 25 0 1 0 777439865 89542656 21187 4294967295 134512640 134714508 3221224592 3221222944 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21861 21187 1111 63 0 21798 0
vsize: 87444
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 157664 0 0 0 31576 425 0 0 25 0 1 0 777439865 91889664 21760 4294967295 134512640 134714508 3221224592 3221222880 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22434 21760 1111 63 0 22371 0
vsize: 89736
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 158588 0 0 0 32573 428 0 0 25 0 1 0 777439865 92446720 21896 4294967295 134512640 134714508 3221224592 3221222856 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22570 21896 1111 63 0 22507 0
vsize: 90280
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 163805 0 0 0 33561 441 0 0 25 0 1 0 777439865 94752768 22420 4294967295 134512640 134714508 3221224592 3221222844 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23133 22420 1111 63 0 23070 0
vsize: 92532
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 170065 0 0 0 34545 456 0 0 25 0 1 0 777439865 100376576 23832 4294967295 134512640 134714508 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24506 23832 1111 63 0 24443 0
vsize: 98024
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 172729 0 0 0 35539 463 0 0 25 0 1 0 777439865 100376576 23832 4294967295 134512640 134714508 3221224592 3221222944 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24506 23832 1111 63 0 24443 0
vsize: 98024
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 177488 0 0 0 36527 475 0 0 25 0 1 0 777439865 104595456 24862 4294967295 134512640 134714508 3221224592 3221222592 1074916661 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25536 24862 1111 63 0 25473 0
vsize: 102144
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 179628 0 0 0 37521 481 0 0 25 0 1 0 777439865 104595456 24862 4294967295 134512640 134714508 3221224592 3221223200 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25536 24862 1111 63 0 25473 0
vsize: 102144
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 185796 0 0 0 38506 496 0 0 25 0 1 0 777439865 106029056 25203 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25886 25203 1111 63 0 25823 0
vsize: 103544
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 193189 0 0 0 39486 516 0 0 25 0 1 0 777439865 110243840 26188 4294967295 134512640 134714508 3221224592 3221221536 1074620113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26915 26188 1111 63 0 26852 0
vsize: 107660
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 196095 0 0 0 40480 523 0 0 25 0 1 0 777439865 111833088 26629 4294967295 134512640 134714508 3221224592 3221223120 134648533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27303 26629 1111 63 0 27240 0
vsize: 109212
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 201018 0 0 0 41467 536 0 0 25 0 1 0 777439865 114921472 27383 4294967295 134512640 134714508 3221224592 3221221696 1074138623 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28057 27383 1111 63 0 27994 0
vsize: 112228
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 207933 0 0 0 42450 553 0 0 25 0 1 0 777439865 117370880 27981 4294967295 134512640 134714508 3221224592 3221222704 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28655 27981 1111 63 0 28592 0
vsize: 114620
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 211237 0 0 0 43442 561 0 0 25 0 1 0 777439865 118145024 28170 4294967295 134512640 134714508 3221224592 3221222504 1074138285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28844 28170 1111 63 0 28781 0
vsize: 115376
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 216400 0 0 0 44429 574 0 0 25 0 1 0 777439865 118779904 28326 4294967295 134512640 134714508 3221224592 3221222832 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28999 28326 1111 63 0 28936 0
vsize: 115996
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 222429 0 0 0 45415 588 0 0 25 0 1 0 777439865 120979456 28863 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29536 28863 1111 63 0 29473 0
vsize: 118144
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 228150 0 0 0 46403 601 0 0 25 0 1 0 777439865 123015168 29346 4294967295 134512640 134714508 3221224592 3221223040 134538883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30033 29346 1111 63 0 29970 0
vsize: 120132
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 234602 0 0 0 47387 617 0 0 25 0 1 0 777439865 125534208 29975 4294967295 134512640 134714508 3221224592 3221222992 1074118792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30648 29975 1111 63 0 30585 0
vsize: 122592
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 240412 0 0 0 48372 632 0 0 25 0 1 0 777439865 127385600 30427 4294967295 134512640 134714508 3221224592 3221222844 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31100 30427 1111 63 0 31037 0
vsize: 124400
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 246889 0 0 0 49357 648 0 0 25 0 1 0 777439865 130113536 31054 4294967295 134512640 134714508 3221224592 3221221904 1076083427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31766 31054 1111 63 0 31703 0
vsize: 127064
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 251030 0 0 0 50347 658 0 0 25 0 1 0 777439865 130273280 31132 4294967295 134512640 134714508 3221224592 3221223128 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31805 31132 1111 63 0 31742 0
vsize: 127220
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 257741 0 0 0 51333 673 0 0 25 0 1 0 777439865 131993600 31502 4294967295 134512640 134714508 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32225 31502 1111 63 0 32162 0
vsize: 128900
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 263408 0 0 0 52319 686 0 0 25 0 1 0 777439865 132579328 31608 4294967295 134512640 134714508 3221224592 3221221904 1076083606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32368 31609 1111 63 0 32305 0
vsize: 129472
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 270035 0 0 0 53301 704 0 0 25 0 1 0 777439865 134070272 31971 4294967295 134512640 134714508 3221224592 3221221192 1075850708 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32732 31971 1111 63 0 32669 0
vsize: 130928
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 274391 0 0 0 54291 715 0 0 25 0 1 0 777439865 135151616 32279 4294967295 134512640 134714508 3221224592 3221223072 1074031964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32996 32279 1111 63 0 32933 0
vsize: 131984
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 279014 0 0 0 55280 726 0 0 25 0 1 0 777439865 136482816 32552 4294967295 134512640 134714508 3221224592 3221220540 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33321 32552 1111 63 0 33258 0
vsize: 133284
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 284276 0 0 0 56267 739 0 0 25 0 1 0 777439865 137170944 32722 4294967295 134512640 134714508 3221224592 3221220736 1074971344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33489 32722 1111 63 0 33426 0
vsize: 133956
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 289316 0 0 0 57255 751 0 0 25 0 1 0 777439865 138031104 33026 4294967295 134512640 134714508 3221224592 3221222848 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33699 33026 1111 63 0 33636 0
vsize: 134796
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 292965 0 0 0 58245 762 0 0 25 0 1 0 777439865 138305536 33093 4294967295 134512640 134714508 3221224592 3221222992 1074119066 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33766 33093 1111 63 0 33703 0
vsize: 135064
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 297891 0 0 0 59231 776 0 0 25 0 1 0 777439865 139567104 33361 4294967295 134512640 134714508 3221224592 3221222248 134543141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34074 33361 1111 63 0 34011 0
vsize: 136296
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 302729 0 0 0 60217 790 0 0 25 0 1 0 777439865 139694080 33432 4294967295 134512640 134714508 3221224592 3221222944 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34105 33432 1111 63 0 34042 0
vsize: 136420
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 307222 0 0 0 61207 800 0 0 25 0 1 0 777439865 141598720 33817 4294967295 134512640 134714508 3221224592 3221221168 1076045827 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34570 33817 1111 63 0 34507 0
vsize: 138280
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 310498 0 0 0 62200 808 0 0 25 0 1 0 777439865 142000128 33966 4294967295 134512640 134714508 3221224592 3221222704 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34668 33966 1111 63 0 34605 0
vsize: 138672
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 311786 0 0 0 63197 811 0 0 25 0 1 0 777439865 141852672 33959 4294967295 134512640 134714508 3221224592 3221223072 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34632 33959 1111 63 0 34569 0
vsize: 138528
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 313635 0 0 0 64193 815 0 0 25 0 1 0 777439865 142598144 34076 4294967295 134512640 134714508 3221224592 3221220800 1074815276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34814 34076 1111 63 0 34751 0
vsize: 139256
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 315899 0 0 0 65188 820 0 0 25 0 1 0 777439865 143200256 34179 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34961 34180 1111 63 0 34898 0
vsize: 139844
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 317253 0 0 0 66184 824 0 0 25 0 1 0 777439865 145489920 34847 4294967295 134512640 134714508 3221224592 3221215936 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35520 34847 1111 63 0 35457 0
vsize: 142080
[startup+680.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 317843 0 0 0 67183 826 0 0 25 0 1 0 777439865 147906560 35437 4294967295 134512640 134714508 3221224592 3221215408 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36110 35437 1111 63 0 36047 0
vsize: 144440
[startup+690.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 318239 0 0 0 68181 828 0 0 25 0 1 0 777439865 149528576 35833 4294967295 134512640 134714508 3221224592 3221216928 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36506 35833 1111 63 0 36443 0
vsize: 146024
[startup+700.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 318486 0 0 0 69180 829 0 0 25 0 1 0 777439865 150540288 36080 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36753 36080 1111 63 0 36690 0
vsize: 147012
[startup+710.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 318494 0 0 0 70180 830 0 0 25 0 1 0 777439865 150573056 36088 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36761 36088 1111 63 0 36698 0
vsize: 147044
[startup+720.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 318510 0 0 0 71180 830 0 0 25 0 1 0 777439865 150740992 36104 4294967295 134512640 134714508 3221224592 3221222352 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36802 36104 1111 63 0 36739 0
vsize: 147208
[startup+730.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 318519 0 0 0 72180 830 0 0 25 0 1 0 777439865 150777856 36113 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36811 36113 1111 63 0 36748 0
vsize: 147244
[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 324792 0 0 0 73165 845 0 0 25 0 1 0 777439865 167919616 40307 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40996 40307 1111 63 0 40933 0
vsize: 163984
[startup+750.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 324792 0 0 0 74165 846 0 0 25 0 1 0 777439865 167919616 40307 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40996 40307 1111 63 0 40933 0
vsize: 163984
[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 324792 0 0 0 75165 846 0 0 25 0 1 0 777439865 167919616 40307 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40996 40307 1111 63 0 40933 0
vsize: 163984
[startup+770.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 324792 0 0 0 76165 846 0 0 25 0 1 0 777439865 167919616 40307 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40996 40307 1111 63 0 40933 0
vsize: 163984
[startup+780.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 324792 0 0 0 77165 846 0 0 25 0 1 0 777439865 167919616 40307 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40996 40307 1111 63 0 40933 0
vsize: 163984
[startup+790.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 324792 0 0 0 78165 846 0 0 25 0 1 0 777439865 167919616 40307 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40996 40307 1111 63 0 40933 0
vsize: 163984
[startup+800.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 324792 0 0 0 79165 846 0 0 25 0 1 0 777439865 167919616 40307 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40996 40307 1111 63 0 40933 0
vsize: 163984
[startup+810.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 324792 0 0 0 80165 846 0 0 25 0 1 0 777439865 167919616 40307 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40996 40307 1111 63 0 40933 0
vsize: 163984
[startup+820.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 324792 0 0 0 81166 846 0 0 25 0 1 0 777439865 167919616 40307 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40996 40307 1111 63 0 40933 0
vsize: 163984
[startup+830.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 327567 0 0 0 82160 852 0 0 25 0 1 0 777439865 170917888 41004 4294967295 134512640 134714508 3221224592 3221221696 1074138887 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41728 41004 1111 63 0 41665 0
vsize: 166912
[startup+840.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 330742 0 0 0 83152 859 0 0 25 0 1 0 777439865 171732992 41173 4294967295 134512640 134714508 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41927 41173 1111 63 0 41864 0
vsize: 167708
[startup+850.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 341931 0 0 0 84127 886 0 0 25 0 1 0 777439865 152530944 36559 4294967295 134512640 134714508 3221224592 3221222896 1074039238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37239 36559 1111 63 0 37176 0
vsize: 148956
[startup+860.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 348194 0 0 0 85112 901 0 0 25 0 1 0 777439865 168001536 40335 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41016 40335 1111 63 0 40953 0
vsize: 164064
[startup+870.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 348194 0 0 0 86112 901 0 0 25 0 1 0 777439865 168001536 40335 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41016 40335 1111 63 0 40953 0
vsize: 164064
[startup+880.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 348194 0 0 0 87112 901 0 0 25 0 1 0 777439865 168001536 40335 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41016 40335 1111 63 0 40953 0
vsize: 164064
[startup+890.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 348194 0 0 0 88112 901 0 0 25 0 1 0 777439865 168001536 40335 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41016 40335 1111 63 0 40953 0
vsize: 164064
[startup+900.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 348194 0 0 0 89112 901 0 0 25 0 1 0 777439865 168001536 40335 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41016 40335 1111 63 0 40953 0
vsize: 164064
[startup+910.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 348194 0 0 0 90112 901 0 0 25 0 1 0 777439865 168001536 40335 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41016 40335 1111 63 0 40953 0
vsize: 164064
[startup+920.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 348194 0 0 0 91113 901 0 0 25 0 1 0 777439865 168001536 40335 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41016 40335 1111 63 0 40953 0
vsize: 164064
[startup+930.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 348194 0 0 0 92113 901 0 0 25 0 1 0 777439865 168001536 40335 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41016 40335 1111 63 0 40953 0
vsize: 164064
[startup+940.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 354060 0 0 0 93100 914 0 0 25 0 1 0 777439865 174481408 41343 4294967295 134512640 134714508 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42598 41343 1111 63 0 42535 0
vsize: 170392
[startup+950.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 369874 0 0 0 94065 949 0 0 25 0 1 0 777439865 168796160 40482 4294967295 134512640 134714508 3221224592 3221222704 1074867344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41210 40482 1111 63 0 41147 0
vsize: 164840
[startup+960.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 378370 0 0 0 95047 967 0 0 25 0 1 0 777439865 173252608 41496 4294967295 134512640 134714508 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42298 41496 1111 63 0 42235 0
vsize: 169192
[startup+970.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 393826 0 0 0 96012 1002 0 0 25 0 1 0 777439865 168968192 40577 4294967295 134512640 134714508 3221224592 3221222704 1074867344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41252 40577 1111 63 0 41189 0
vsize: 165008
[startup+980.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 413539 0 0 0 96966 1048 0 0 25 0 1 0 777439865 153620480 36805 4294967295 134512640 134714508 3221224592 3221222744 1074950105 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37505 36805 1111 63 0 37442 0
vsize: 150020
[startup+990.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 417825 0 0 0 97957 1058 0 0 25 0 1 0 777439865 144146432 34493 4294967295 134512640 134714508 3221224592 3221221696 1074138636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35192 34493 1111 63 0 35129 0
vsize: 140768
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 428534 0 0 0 98932 1083 0 0 25 0 1 0 777439865 144039936 34495 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35166 34495 1111 63 0 35103 0
vsize: 140664
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 441569 0 0 0 99903 1112 0 0 25 0 1 0 777439865 144457728 34569 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35268 34569 1111 63 0 35205 0
vsize: 141072
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 450106 0 0 0 100884 1131 0 0 25 0 1 0 777439865 144826368 34691 4294967295 134512640 134714508 3221224592 3221218664 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35358 34691 1111 63 0 35295 0
vsize: 141432
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 457046 0 0 0 101869 1147 0 0 25 0 1 0 777439865 145117184 34762 4294967295 134512640 134714508 3221224592 3221222844 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35429 34762 1111 63 0 35366 0
vsize: 141716
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 464291 0 0 0 102855 1161 0 0 25 0 1 0 777439865 145428480 34805 4294967295 134512640 134714508 3221224592 3221223120 134648533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35505 34805 1111 63 0 35442 0
vsize: 142020
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 473691 0 0 0 103834 1183 0 0 25 0 1 0 777439865 153407488 35309 4294967295 134512640 134714508 3221224592 3221220496 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37453 35309 1111 63 0 37390 0
vsize: 149812
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 482736 0 0 0 104814 1203 0 0 25 0 1 0 777439865 146497536 35099 4294967295 134512640 134714508 3221224592 3221222976 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35766 35099 1111 63 0 35703 0
vsize: 143064
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 492927 0 0 0 105790 1226 0 0 25 0 1 0 777439865 147021824 35226 4294967295 134512640 134714508 3221224592 3221222640 1075963433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35894 35226 1111 63 0 35831 0
vsize: 143576
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 502747 0 0 0 106769 1247 0 0 25 0 1 0 777439865 154779648 35651 4294967295 134512640 134714508 3221224592 3221220820 1075115076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37788 35651 1111 63 0 37725 0
vsize: 151152
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 514024 0 0 0 107743 1273 0 0 25 0 1 0 777439865 148557824 35596 4294967295 134512640 134714508 3221224592 3221221984 1073988839 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36269 35596 1111 63 0 36206 0
vsize: 145076
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 528752 0 0 0 108708 1308 0 0 25 0 1 0 777439865 156114944 35893 4294967295 134512640 134714508 3221224592 3221221124 1075863638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38114 35893 1111 63 0 38051 0
vsize: 152456
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 542466 0 0 0 109677 1339 0 0 25 0 1 0 777439865 149962752 35921 4294967295 134512640 134714508 3221224592 3221223168 134646341 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36612 35921 1111 63 0 36549 0
vsize: 146448
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 551734 0 0 0 110654 1362 0 0 25 0 1 0 777439865 150749184 36126 4294967295 134512640 134714508 3221224592 3221223152 134548843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36804 36126 1111 63 0 36741 0
vsize: 147216
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 570034 0 0 0 111614 1403 0 0 25 0 1 0 777439865 157347840 36976 4294967295 134512640 134714508 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38415 36976 1111 63 0 38352 0
vsize: 153660
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 583160 0 0 0 112586 1431 0 0 25 0 1 0 777439865 154042368 36899 4294967295 134512640 134714508 3221224592 3221222880 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37608 36899 1111 63 0 37545 0
vsize: 150432
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 593715 0 0 0 113563 1454 0 0 25 0 1 0 777439865 155262976 37192 4294967295 134512640 134714508 3221224592 3221222992 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37906 37192 1111 63 0 37843 0
vsize: 151624
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 607211 0 0 0 114533 1485 0 0 25 0 1 0 777439865 162623488 37518 4294967295 134512640 134714508 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39703 37518 1111 63 0 39640 0
vsize: 158812
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 618350 0 0 0 115506 1512 0 0 25 0 1 0 777439865 156573696 37487 4294967295 134512640 134714508 3221224592 3221223120 134648531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38226 37487 1111 63 0 38163 0
vsize: 152904
[startup+1175.08 s]
Raw data (loadavg): 0.99 0.97 0.97 1/53 3405
Raw data (stat): 3405 (bsolo_lpr_cuts) R 3404 23514 23513 0 -1 0 618350 0 0 0 115506 1512 0 0 25 0 1 0 777439865 156573696 37487 4294967295 134512640 134714508 3221224592 3221223120 134648531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38226 37487 1111 63 0 38163 0
vsize: 0

Child status: 10
Real time (s): 1175.08
CPU time (s): 1175.21
CPU user time (s): 1159.94
CPU system time (s): 15.2767
CPU usage (%): 100.011
Max. virtual memory (Kb): 170392
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	3776
#### END VERIFIER DATA ####