PB'05 competition: run trace

c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version JAVA5.1.1.31
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@a20892
c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08
c org.sat4j.minisat.learning.MiniSATLearning@158b649
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a sorted array
c No reason simplification
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-lp4l.opb
c reading problem ... done. Time 2.368 ms.
c #vars     1086
c #constraints  169
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                5165 		Current CPU time: 10.80 ms
c starts		: 5
c conflicts		: 833
c decisions		: 10466
c propagations		: 47595
c inspects		: 364958
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 833
c root simplifications	: 5
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 8364
c speed (decisions/second)	: 8.454422375380878
c non guided choices	1004
c random choices	0
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 objective function=5165
c Total CPU time (ms) : 1248.96

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1789030106 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 39 9 38 16 0 23 0
[pid=13452] vsize: 156
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
execve syscall for /oldhome/oroussel/jre1.5.0_05/bin/java executable
open syscall for file /etc/ld.so.preload
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/libpthread.so.0
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libdl.so.2
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libc.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libc.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libjvm.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libm.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libm.so.6
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /etc/mtab
open syscall for file /proc/meminfo
open syscall for file .hotspotrc
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/endorsed
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /proc/self/maps
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/native_threads/libhpi.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libnsl.so.1
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libnsl.so.1
open syscall for file tls/i686/mmx/libnsl.so.1
open syscall for file tls/i686/libnsl.so.1
open syscall for file tls/mmx/libnsl.so.1
open syscall for file tls/libnsl.so.1
open syscall for file i686/mmx/libnsl.so.1
open syscall for file i686/libnsl.so.1
open syscall for file mmx/libnsl.so.1
open syscall for file libnsl.so.1
open syscall for file /oldhome/oroussel/lib/libnsl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libnsl.so.1
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /tmp/hsperfdata_oroussel
open syscall for file /tmp/hsperfdata_oroussel/13452
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libverify.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libjava.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libzip.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/rt.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jsse.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jce.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/charsets.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/classes.jsa
open syscall for file .hotspot_compiler
New thread pid=13453
New thread pid=13454
New thread pid=13455
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext
New thread pid=13456
New thread pid=13457
New thread pid=13458
New thread pid=13459
New thread pid=13460
New thread pid=13461
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security
open syscall for file /dev/random
open syscall for file /dev/urandom
open syscall for file /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-lp4l.opb
New thread pid=13462

[startup+10.0023 s]
Raw data (loadavg): 1.08 1.00 1.00 2/66 13462
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18149 0 2 0 757 46 0 0 23 0 11 0 1789030106 859287552 20856 4294967295 134512640 134569956 3221224336 3221214736 1131488336 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209787 20856 13129 16 0 209771 0
[pid=13452] vsize: 839148
Current children cumulated CPU time (s) 8.03
Current children cumulated vsize (Kb) 839148
One traced child (pid=13462) exited with status: 0
New thread pid=13463

[startup+20.0031 s]
Raw data (loadavg): 1.07 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18206 4 2 0 1681 47 0 0 20 0 11 0 1789030106 858726400 21794 4294967295 134512640 134569956 3221224336 3221214312 1131376929 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209650 21794 13129 16 0 209634 0
[pid=13452] vsize: 838600
Current children cumulated CPU time (s) 17.28
Current children cumulated vsize (Kb) 838600

[startup+30.0038 s]
Raw data (loadavg): 1.06 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18213 4 2 0 2643 48 0 0 25 0 11 0 1789030106 858726400 21883 4294967295 134512640 134569956 3221224336 3221214616 1131653900 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209650 21883 13129 16 0 209634 0
[pid=13452] vsize: 838600
Current children cumulated CPU time (s) 26.91
Current children cumulated vsize (Kb) 838600

[startup+40.0046 s]
Raw data (loadavg): 1.20 1.03 1.01 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18221 4 2 0 3558 48 0 0 21 0 11 0 1789030106 858726400 22407 4294967295 134512640 134569956 3221224336 3221214640 1131364254 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209650 22407 13129 16 0 209634 0
[pid=13452] vsize: 838600
Current children cumulated CPU time (s) 36.06
Current children cumulated vsize (Kb) 838600

[startup+50.0054 s]
Raw data (loadavg): 1.17 1.03 1.01 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18229 4 2 0 4487 49 0 0 17 0 11 0 1789030106 858726400 22698 4294967295 134512640 134569956 3221224336 3221214616 1131584279 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209650 22698 13129 16 0 209634 0
[pid=13452] vsize: 838600
Current children cumulated CPU time (s) 45.36
Current children cumulated vsize (Kb) 838600

[startup+60.0062 s]
Raw data (loadavg): 1.14 1.03 1.01 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18236 4 2 0 5423 49 0 0 16 0 11 0 1789030106 859774976 23379 4294967295 134512640 134569956 3221224336 3221214752 1131472913 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 23379 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 54.72
Current children cumulated vsize (Kb) 839624

[startup+70.0069 s]
Raw data (loadavg): 1.12 1.03 1.01 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18243 4 2 0 6349 50 0 0 17 0 11 0 1789030106 859774976 24038 4294967295 134512640 134569956 3221224336 3221214692 1131057186 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 24038 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 63.99
Current children cumulated vsize (Kb) 839624

[startup+80.0087 s]
Raw data (loadavg): 1.10 1.03 1.01 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18250 4 2 0 7272 50 0 0 16 0 11 0 1789030106 859774976 24411 4294967295 134512640 134569956 3221224336 3221214648 1131462351 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 24411 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 73.22
Current children cumulated vsize (Kb) 839624

[startup+90.0095 s]
Raw data (loadavg): 1.08 1.03 1.01 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18258 4 2 0 8204 51 0 0 16 0 11 0 1789030106 859774976 24617 4294967295 134512640 134569956 3221224336 3221214608 1131460273 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 24617 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 82.55
Current children cumulated vsize (Kb) 839624

[startup+100.01 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18265 4 2 0 9146 51 0 0 16 0 11 0 1789030106 859774976 24617 4294967295 134512640 134569956 3221224336 3221214600 1131494465 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 24617 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 91.97
Current children cumulated vsize (Kb) 839624

[startup+110.011 s]
Raw data (loadavg): 1.14 1.04 1.01 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18274 4 2 0 10062 51 0 0 16 0 11 0 1789030106 859774976 24823 4294967295 134512640 134569956 3221224336 3221214648 1131463168 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 24823 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 101.13
Current children cumulated vsize (Kb) 839624

[startup+120.012 s]
Raw data (loadavg): 1.12 1.04 1.01 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18282 4 2 0 10984 52 0 0 16 0 11 0 1789030106 859774976 25241 4294967295 134512640 134569956 3221224336 3221214752 1131473556 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 25241 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 110.36
Current children cumulated vsize (Kb) 839624

[startup+130.014 s]
Raw data (loadavg): 1.10 1.04 1.01 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18291 4 2 0 11917 52 0 0 16 0 11 0 1789030106 859774976 25441 4294967295 134512640 134569956 3221224336 3221214752 1131472389 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 25441 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 119.69
Current children cumulated vsize (Kb) 839624

[startup+140.014 s]
Raw data (loadavg): 1.08 1.04 1.01 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18298 4 2 0 12857 52 0 0 16 0 11 0 1789030106 859774976 25458 4294967295 134512640 134569956 3221224336 3221214512 1131413750 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 25458 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 129.09
Current children cumulated vsize (Kb) 839624

[startup+150.015 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18306 4 2 0 13795 52 0 0 15 0 11 0 1789030106 859774976 25743 4294967295 134512640 134569956 3221224336 3221214648 1131463284 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 25743 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 138.47
Current children cumulated vsize (Kb) 839624

[startup+160.016 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18313 4 2 0 14749 53 0 0 17 0 11 0 1789030106 859774976 25935 4294967295 134512640 134569956 3221224336 3221214528 1131413724 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 25935 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 148.02
Current children cumulated vsize (Kb) 839624

[startup+170.017 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18320 4 2 0 15709 54 0 0 17 0 11 0 1789030106 859774976 26029 4294967295 134512640 134569956 3221224336 3221214648 1131462565 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 26029 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 157.63
Current children cumulated vsize (Kb) 839624

[startup+180.018 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18327 4 2 0 16667 54 0 0 17 0 11 0 1789030106 859774976 26192 4294967295 134512640 134569956 3221224336 3221214648 1131462739 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 26192 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 167.21
Current children cumulated vsize (Kb) 839624

[startup+190.019 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18334 4 2 0 17615 54 0 0 16 0 11 0 1789030106 859774976 26268 4294967295 134512640 134569956 3221224336 3221214528 1131413767 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 26268 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 176.69
Current children cumulated vsize (Kb) 839624

[startup+200.02 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18339 4 2 0 18579 55 0 0 16 0 11 0 1789030106 859774976 26347 4294967295 134512640 134569956 3221224336 3221214564 1131057164 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 26347 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 186.34
Current children cumulated vsize (Kb) 839624

[startup+210.021 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18344 4 2 0 19543 55 0 0 17 0 11 0 1789030106 859774976 26371 4294967295 134512640 134569956 3221224336 3221214616 1131653845 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 26371 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 195.98
Current children cumulated vsize (Kb) 839624

[startup+220.021 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18351 4 2 0 20490 55 0 0 16 0 11 0 1789030106 859774976 26428 4294967295 134512640 134569956 3221224336 3221214528 1131413756 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 26428 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 205.45
Current children cumulated vsize (Kb) 839624

[startup+230.022 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18357 4 2 0 21442 56 0 0 16 0 11 0 1789030106 859774976 26703 4294967295 134512640 134569956 3221224336 3221214616 1131584225 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 26703 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 214.98
Current children cumulated vsize (Kb) 839624

[startup+240.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18363 4 2 0 22407 56 0 0 17 0 11 0 1789030106 859774976 26826 4294967295 134512640 134569956 3221224336 3221214600 1131393369 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 26826 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 224.63
Current children cumulated vsize (Kb) 839624

[startup+250.024 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) S 13451 13452 30740 0 -1 0 18369 4 2 0 23379 56 0 0 16 0 11 0 1789030106 859774976 26880 4294967295 134512640 134569956 3221224336 3221213392 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 26880 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 234.35
Current children cumulated vsize (Kb) 839624

[startup+260.025 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18377 4 2 0 24334 56 0 0 17 0 11 0 1789030106 859774976 26995 4294967295 134512640 134569956 3221224336 3221214648 1131462739 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 26995 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 243.9
Current children cumulated vsize (Kb) 839624

[startup+270.025 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18384 4 2 0 25294 57 0 0 17 0 11 0 1789030106 859774976 27131 4294967295 134512640 134569956 3221224336 3221214504 1131364311 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 27131 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 253.51
Current children cumulated vsize (Kb) 839624

[startup+280.026 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18390 4 2 0 26263 57 0 0 17 0 11 0 1789030106 859774976 27165 4294967295 134512640 134569956 3221224336 3221214600 1131494414 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 27165 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 263.2
Current children cumulated vsize (Kb) 839624

[startup+290.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18396 4 2 0 27226 57 0 0 18 0 11 0 1789030106 859774976 27196 4294967295 134512640 134569956 3221224336 3221214640 1131364148 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 27196 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 272.83
Current children cumulated vsize (Kb) 839624

[startup+300.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18402 4 2 0 28188 57 0 0 18 0 11 0 1789030106 859774976 27271 4294967295 134512640 134569956 3221224336 3221214640 1131364205 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 27271 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 282.45
Current children cumulated vsize (Kb) 839624

[startup+310.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18409 4 2 0 29150 57 0 0 17 0 11 0 1789030106 859774976 27441 4294967295 134512640 134569956 3221224336 3221214608 1131389961 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 27441 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 292.07
Current children cumulated vsize (Kb) 839624

[startup+320.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18416 4 2 0 30118 58 0 0 17 0 11 0 1789030106 859774976 27533 4294967295 134512640 134569956 3221224336 3221214616 1131653623 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 27533 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 301.76
Current children cumulated vsize (Kb) 839624

[startup+330.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18422 4 2 0 31086 58 0 0 18 0 11 0 1789030106 859774976 27593 4294967295 134512640 134569956 3221224336 3221214560 1131376912 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 27593 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 311.44
Current children cumulated vsize (Kb) 839624

[startup+340.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18429 4 2 0 32049 58 0 0 17 0 11 0 1789030106 859774976 27676 4294967295 134512640 134569956 3221224336 3221214648 1131462430 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 27676 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 321.07
Current children cumulated vsize (Kb) 839624

[startup+350.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18435 4 2 0 33018 59 0 0 19 0 11 0 1789030106 859774976 27740 4294967295 134512640 134569956 3221224336 3221214512 1131413615 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 27740 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 330.77
Current children cumulated vsize (Kb) 839624

[startup+360.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18441 4 2 0 33987 59 0 0 18 0 11 0 1789030106 859774976 27787 4294967295 134512640 134569956 3221224336 3221214528 1131413992 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 27787 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 340.46
Current children cumulated vsize (Kb) 839624

[startup+370.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18447 4 2 0 34958 60 0 0 18 0 11 0 1789030106 859774976 27856 4294967295 134512640 134569956 3221224336 3221214632 1131468172 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 27856 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 350.18
Current children cumulated vsize (Kb) 839624

[startup+380.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18453 4 2 0 35932 61 0 0 17 0 11 0 1789030106 859774976 27968 4294967295 134512640 134569956 3221224336 3221214648 1131462579 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 27968 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 359.93
Current children cumulated vsize (Kb) 839624

[startup+390.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18458 4 2 0 36906 61 0 0 16 0 11 0 1789030106 859774976 28018 4294967295 134512640 134569956 3221224336 3221214288 1131643762 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 28018 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 369.67
Current children cumulated vsize (Kb) 839624

[startup+400.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18465 4 2 0 37858 61 0 0 16 0 11 0 1789030106 859774976 28088 4294967295 134512640 134569956 3221224336 3221214752 1131472392 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 28088 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 379.19
Current children cumulated vsize (Kb) 839624

[startup+410.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18472 4 2 0 38811 61 0 0 17 0 11 0 1789030106 859774976 28123 4294967295 134512640 134569956 3221224336 3221214648 1131463241 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 28123 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 388.72
Current children cumulated vsize (Kb) 839624

[startup+420.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18478 4 2 0 39760 62 0 0 17 0 11 0 1789030106 859774976 28174 4294967295 134512640 134569956 3221224336 3221214588 1131425920 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 28174 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 398.22
Current children cumulated vsize (Kb) 839624

[startup+430.035 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18484 4 2 0 40706 62 0 0 16 0 11 0 1789030106 859774976 28209 4294967295 134512640 134569956 3221224336 3221214600 1131494384 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 28209 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 407.68
Current children cumulated vsize (Kb) 839624

[startup+440.036 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18490 4 2 0 41656 62 0 0 17 0 11 0 1789030106 859774976 28441 4294967295 134512640 134569956 3221224336 3221214752 1131472389 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 28441 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 417.18
Current children cumulated vsize (Kb) 839624

[startup+450.036 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18497 4 2 0 42600 62 0 0 17 0 11 0 1789030106 859774976 28673 4294967295 134512640 134569956 3221224336 3221214608 1131389932 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 28673 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 426.62
Current children cumulated vsize (Kb) 839624

[startup+460.037 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18503 4 2 0 43552 63 0 0 17 0 11 0 1789030106 859774976 28780 4294967295 134512640 134569956 3221224336 3221214640 1131364838 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 28780 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 436.15
Current children cumulated vsize (Kb) 839624

[startup+470.038 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18509 4 2 0 44502 63 0 0 17 0 11 0 1789030106 859774976 28856 4294967295 134512640 134569956 3221224336 3221214608 1131460285 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 28856 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 445.65
Current children cumulated vsize (Kb) 839624

[startup+480.04 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18515 4 2 0 45455 63 0 0 17 0 11 0 1789030106 859774976 28921 4294967295 134512640 134569956 3221224336 3221214648 1131462971 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 28921 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 455.18
Current children cumulated vsize (Kb) 839624

[startup+490.039 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18522 4 2 0 46402 64 0 0 17 0 11 0 1789030106 859774976 29141 4294967295 134512640 134569956 3221224336 3221214432 1131663305 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 29141 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 464.66
Current children cumulated vsize (Kb) 839624

[startup+500.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18528 4 2 0 47367 64 0 0 17 0 11 0 1789030106 859774976 29235 4294967295 134512640 134569956 3221224336 3221214648 1131462241 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 29235 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 474.31
Current children cumulated vsize (Kb) 839624

[startup+510.041 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18537 4 2 0 48305 64 0 0 16 0 11 0 1789030106 859774976 29503 4294967295 134512640 134569956 3221224336 3221214752 1131472392 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 29503 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 483.69
Current children cumulated vsize (Kb) 839624

[startup+520.041 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18543 4 2 0 49246 65 0 0 17 0 11 0 1789030106 859774976 29503 4294967295 134512640 134569956 3221224336 3221214600 1131393369 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 29503 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 493.11
Current children cumulated vsize (Kb) 839624

[startup+530.043 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18549 4 2 0 50179 66 0 0 18 0 11 0 1789030106 859774976 29661 4294967295 134512640 134569956 3221224336 3221214752 1131472751 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 29661 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 502.45
Current children cumulated vsize (Kb) 839624

[startup+540.043 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18555 4 2 0 51114 66 0 0 17 0 11 0 1789030106 859774976 29810 4294967295 134512640 134569956 3221224336 3221214592 1131460800 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 29810 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 511.8
Current children cumulated vsize (Kb) 839624

[startup+550.043 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18561 4 2 0 52050 66 0 0 16 0 11 0 1789030106 859774976 29947 4294967295 134512640 134569956 3221224336 3221214736 1131499766 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 29947 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 521.16
Current children cumulated vsize (Kb) 839624

[startup+560.044 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18566 4 2 0 52995 67 0 0 16 0 11 0 1789030106 859774976 30074 4294967295 134512640 134569956 3221224336 3221214592 1131460807 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 30074 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 530.62
Current children cumulated vsize (Kb) 839624

[startup+570.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18571 4 2 0 53943 67 0 0 17 0 11 0 1789030106 859774976 30330 4294967295 134512640 134569956 3221224336 3221214616 1131584103 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 30330 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 540.1
Current children cumulated vsize (Kb) 839624

[startup+580.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18577 4 2 0 54891 67 0 0 15 0 11 0 1789030106 859774976 30482 4294967295 134512640 134569956 3221224336 3221214564 1131057218 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 30482 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 549.58
Current children cumulated vsize (Kb) 839624

[startup+590.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18582 4 2 0 55853 68 0 0 16 0 11 0 1789030106 859774976 30642 4294967295 134512640 134569956 3221224336 3221214648 1131462387 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 30642 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 559.21
Current children cumulated vsize (Kb) 839624

[startup+600.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18587 4 2 0 56819 68 0 0 18 0 11 0 1789030106 859774976 30749 4294967295 134512640 134569956 3221224336 3221214648 1131462739 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 30749 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 568.87
Current children cumulated vsize (Kb) 839624

[startup+610.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18593 4 2 0 57779 68 0 0 17 0 11 0 1789030106 859774976 30880 4294967295 134512640 134569956 3221224336 3221214752 1131472625 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 30880 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 578.47
Current children cumulated vsize (Kb) 839624

[startup+620.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18598 4 2 0 58748 69 0 0 18 0 11 0 1789030106 859774976 30994 4294967295 134512640 134569956 3221224336 3221214528 1131413767 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 30994 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 588.17
Current children cumulated vsize (Kb) 839624

[startup+630.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18604 4 2 0 59716 69 0 0 17 0 11 0 1789030106 859774976 31086 4294967295 134512640 134569956 3221224336 3221214608 1131460273 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 31086 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 597.85
Current children cumulated vsize (Kb) 839624

[startup+640.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18611 4 2 0 60676 69 0 0 16 0 11 0 1789030106 859774976 31162 4294967295 134512640 134569956 3221224336 3221214640 1131364216 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 31162 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 607.45
Current children cumulated vsize (Kb) 839624

[startup+650.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18617 4 2 0 61634 69 0 0 16 0 11 0 1789030106 859774976 31198 4294967295 134512640 134569956 3221224336 3221214504 1131364244 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 31198 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 617.03
Current children cumulated vsize (Kb) 839624

[startup+660.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18622 4 2 0 62600 70 0 0 17 0 11 0 1789030106 859774976 31294 4294967295 134512640 134569956 3221224336 3221214648 1131462739 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 31294 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 626.7
Current children cumulated vsize (Kb) 839624

[startup+670.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18629 4 2 0 63559 70 0 0 17 0 11 0 1789030106 859774976 31405 4294967295 134512640 134569956 3221224336 3221214632 1131468099 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 31405 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 636.29
Current children cumulated vsize (Kb) 839624

[startup+680.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18634 4 2 0 64527 70 0 0 18 0 11 0 1789030106 859774976 31428 4294967295 134512640 134569956 3221224336 3221214592 1131460793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 31428 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 645.97
Current children cumulated vsize (Kb) 839624

[startup+690.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18640 4 2 0 65490 71 0 0 18 0 11 0 1789030106 859774976 31587 4294967295 134512640 134569956 3221224336 3221214632 1131468131 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 31587 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 655.61
Current children cumulated vsize (Kb) 839624

[startup+700.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18646 4 2 0 66465 71 0 0 18 0 11 0 1789030106 859774976 31738 4294967295 134512640 134569956 3221224336 3221214616 1131653628 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 31738 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 665.36
Current children cumulated vsize (Kb) 839624

[startup+710.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18652 4 2 0 67440 71 0 0 17 0 11 0 1789030106 859774976 31738 4294967295 134512640 134569956 3221224336 3221214640 1131364148 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 31738 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 675.11
Current children cumulated vsize (Kb) 839624

[startup+720.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18657 4 2 0 68417 72 0 0 19 0 11 0 1789030106 859774976 31830 4294967295 134512640 134569956 3221224336 3221214628 1131389856 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 31830 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 684.89
Current children cumulated vsize (Kb) 839624

[startup+730.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18663 4 2 0 69395 72 0 0 18 0 11 0 1789030106 859774976 31884 4294967295 134512640 134569956 3221224336 3221214564 1131057254 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 31884 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 694.67
Current children cumulated vsize (Kb) 839624

[startup+740.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18669 4 2 0 70372 72 0 0 16 0 11 0 1789030106 859774976 31924 4294967295 134512640 134569956 3221224336 3221214528 1131413973 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 31924 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 704.44
Current children cumulated vsize (Kb) 839624

[startup+750.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18675 4 2 0 71349 73 0 0 18 0 11 0 1789030106 859774976 31964 4294967295 134512640 134569956 3221224336 3221214600 1131494441 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 31964 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 714.22
Current children cumulated vsize (Kb) 839624

[startup+760.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18681 4 2 0 72325 73 0 0 18 0 11 0 1789030106 859774976 32009 4294967295 134512640 134569956 3221224336 3221214600 1131494418 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 32009 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 723.98
Current children cumulated vsize (Kb) 839624

[startup+770.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18687 4 2 0 73301 74 0 0 17 0 11 0 1789030106 859774976 32071 4294967295 134512640 134569956 3221224336 3221214748 1131364128 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 32071 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 733.75
Current children cumulated vsize (Kb) 839624

[startup+780.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18694 4 2 0 74267 74 0 0 17 0 11 0 1789030106 859774976 32133 4294967295 134512640 134569956 3221224336 3221214528 1131413767 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 32133 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 743.41
Current children cumulated vsize (Kb) 839624

[startup+790.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18699 4 2 0 75241 74 0 0 17 0 11 0 1789030106 859774976 32152 4294967295 134512640 134569956 3221224336 3221214528 1131413767 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 32152 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 753.15
Current children cumulated vsize (Kb) 839624

[startup+800.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18704 4 2 0 76216 75 0 0 18 0 11 0 1789030106 859774976 32175 4294967295 134512640 134569956 3221224336 3221214632 1131468131 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 32175 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 762.91
Current children cumulated vsize (Kb) 839624

[startup+810.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18709 4 2 0 77187 75 0 0 20 0 11 0 1789030106 859774976 32231 4294967295 134512640 134569956 3221224336 3221214736 1131500054 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 32231 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 772.62
Current children cumulated vsize (Kb) 839624

[startup+820.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18714 4 2 0 78159 75 0 0 18 0 11 0 1789030106 859774976 32250 4294967295 134512640 134569956 3221224336 3221214616 1131653671 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 32250 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 782.34
Current children cumulated vsize (Kb) 839624

[startup+830.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18720 4 2 0 79127 76 0 0 17 0 11 0 1789030106 859774976 32347 4294967295 134512640 134569956 3221224336 3221214660 1131658803 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 32347 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 792.03
Current children cumulated vsize (Kb) 839624

[startup+840.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18725 4 2 0 80110 76 0 0 19 0 11 0 1789030106 859774976 32495 4294967295 134512640 134569956 3221224336 3221214528 1131413612 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 32495 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 801.86
Current children cumulated vsize (Kb) 839624

[startup+850.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18731 4 2 0 81092 77 0 0 17 0 11 0 1789030106 859774976 32495 4294967295 134512640 134569956 3221224336 3221214632 1131468099 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 32495 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 811.69
Current children cumulated vsize (Kb) 839624

[startup+860.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18737 4 2 0 82074 77 0 0 17 0 11 0 1789030106 859774976 32602 4294967295 134512640 134569956 3221224336 3221214616 1131653979 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 32602 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 821.51
Current children cumulated vsize (Kb) 839624

[startup+870.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18743 4 2 0 83062 77 0 0 19 0 11 0 1789030106 859774976 32643 4294967295 134512640 134569956 3221224336 3221214600 1131494446 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 32643 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 831.39
Current children cumulated vsize (Kb) 839624

[startup+880.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18749 4 2 0 84050 78 0 0 17 0 11 0 1789030106 859774976 32643 4294967295 134512640 134569956 3221224336 3221214568 1131393369 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 32643 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 841.28
Current children cumulated vsize (Kb) 839624

[startup+890.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18756 4 2 0 85035 78 0 0 19 0 11 0 1789030106 859774976 32670 4294967295 134512640 134569956 3221224336 3221214528 1131413602 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 32670 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 851.13
Current children cumulated vsize (Kb) 839624

[startup+900.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18762 4 2 0 86021 79 0 0 19 0 11 0 1789030106 859774976 32670 4294967295 134512640 134569956 3221224336 3221214608 1131460285 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 32670 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 861
Current children cumulated vsize (Kb) 839624

[startup+910.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18768 4 2 0 87004 79 0 0 25 0 11 0 1789030106 859774976 32697 4294967295 134512640 134569956 3221224336 3221214512 1131413621 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 32697 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 870.83
Current children cumulated vsize (Kb) 839624

[startup+920.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18774 4 2 0 87984 79 0 0 19 0 11 0 1789030106 859774976 32697 4294967295 134512640 134569956 3221224336 3221214512 1131413767 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 32697 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 880.63
Current children cumulated vsize (Kb) 839624

[startup+930.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18780 4 2 0 88963 79 0 0 18 0 11 0 1789030106 859774976 32697 4294967295 134512640 134569956 3221224336 3221214600 1131494390 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 32697 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 890.42
Current children cumulated vsize (Kb) 839624

[startup+940.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18786 4 2 0 89944 80 0 0 19 0 11 0 1789030106 859774976 32744 4294967295 134512640 134569956 3221224336 3221214648 1131462549 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 32744 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 900.24
Current children cumulated vsize (Kb) 839624

[startup+950.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18792 4 2 0 90921 80 0 0 19 0 11 0 1789030106 859774976 32807 4294967295 134512640 134569956 3221224336 3221214512 1131413955 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 32807 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 910.01
Current children cumulated vsize (Kb) 839624

[startup+960.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18798 4 2 0 91898 81 0 0 22 0 11 0 1789030106 859774976 32829 4294967295 134512640 134569956 3221224336 3221214752 1131472751 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 32829 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 919.79
Current children cumulated vsize (Kb) 839624

[startup+970.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18805 4 2 0 92868 81 0 0 17 0 11 0 1789030106 859774976 32892 4294967295 134512640 134569956 3221224336 3221214640 1131364148 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 32892 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 929.49
Current children cumulated vsize (Kb) 839624

[startup+980.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18812 4 2 0 93834 82 0 0 18 0 11 0 1789030106 859774976 32892 4294967295 134512640 134569956 3221224336 3221214360 1078019889 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 32892 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 939.16
Current children cumulated vsize (Kb) 839624

[startup+990.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18819 4 2 0 94796 82 0 0 17 0 11 0 1789030106 859774976 33008 4294967295 134512640 134569956 3221224336 3221214528 1131413615 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 33008 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 948.78
Current children cumulated vsize (Kb) 839624

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18827 4 2 0 95750 82 0 0 16 0 11 0 1789030106 859774976 33057 4294967295 134512640 134569956 3221224336 3221214648 1131462320 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 33057 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 958.32
Current children cumulated vsize (Kb) 839624

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18833 4 2 0 96716 82 0 0 17 0 11 0 1789030106 859774976 33168 4294967295 134512640 134569956 3221224336 3221214648 1131463178 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 33168 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 967.98
Current children cumulated vsize (Kb) 839624

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18842 4 2 0 97672 83 0 0 17 0 11 0 1789030106 859774976 33304 4294967295 134512640 134569956 3221224336 3221214752 1131472881 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 33304 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 977.55
Current children cumulated vsize (Kb) 839624

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18848 4 2 0 98645 83 0 0 17 0 11 0 1789030106 859774976 33397 4294967295 134512640 134569956 3221224336 3221214648 1131462739 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 33397 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 987.28
Current children cumulated vsize (Kb) 839624

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18857 4 2 0 99609 83 0 0 17 0 11 0 1789030106 859774976 33503 4294967295 134512640 134569956 3221224336 3221214648 1131462503 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 33503 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 996.92
Current children cumulated vsize (Kb) 839624

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18863 4 2 0 100583 84 0 0 19 0 11 0 1789030106 859774976 33547 4294967295 134512640 134569956 3221224336 3221214512 1131413722 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 33547 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1006.67
Current children cumulated vsize (Kb) 839624

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18869 4 2 0 101556 84 0 0 16 0 11 0 1789030106 859774976 33624 4294967295 134512640 134569956 3221224336 3221214648 1131462769 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 33624 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1016.4
Current children cumulated vsize (Kb) 839624

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18875 4 2 0 102529 84 0 0 19 0 11 0 1789030106 859774976 33646 4294967295 134512640 134569956 3221224336 3221214640 1131364148 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 33646 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1026.13
Current children cumulated vsize (Kb) 839624

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18883 4 2 0 103490 84 0 0 17 0 11 0 1789030106 859774976 33723 4294967295 134512640 134569956 3221224336 3221214616 1131653848 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 33723 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1035.74
Current children cumulated vsize (Kb) 839624

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18889 4 2 0 104460 86 0 0 18 0 11 0 1789030106 859774976 33816 4294967295 134512640 134569956 3221224336 3221214568 1131393404 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 33816 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1045.46
Current children cumulated vsize (Kb) 839624

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18897 4 2 0 105421 87 0 0 17 0 11 0 1789030106 859774976 33896 4294967295 134512640 134569956 3221224336 3221214752 1131472784 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 33896 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1055.08
Current children cumulated vsize (Kb) 839624

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18903 4 2 0 106390 87 0 0 18 0 11 0 1789030106 859774976 33944 4294967295 134512640 134569956 3221224336 3221214632 1131468131 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 33944 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1064.77
Current children cumulated vsize (Kb) 839624

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18910 4 2 0 107352 87 0 0 16 0 11 0 1789030106 859774976 34031 4294967295 134512640 134569956 3221224336 3221214528 1131413767 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 34031 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1074.39
Current children cumulated vsize (Kb) 839624

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18916 4 2 0 108319 87 0 0 17 0 11 0 1789030106 859774976 34097 4294967295 134512640 134569956 3221224336 3221214608 1131389886 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 34097 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1084.06
Current children cumulated vsize (Kb) 839624

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18923 4 2 0 109280 87 0 0 17 0 11 0 1789030106 859774976 34207 4294967295 134512640 134569956 3221224336 3221214528 1131413767 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 34207 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1093.67
Current children cumulated vsize (Kb) 839624

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18929 4 2 0 110247 88 0 0 17 0 11 0 1789030106 859774976 34289 4294967295 134512640 134569956 3221224336 3221214528 1131413947 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 34289 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1103.35
Current children cumulated vsize (Kb) 839624

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18935 4 2 0 111218 88 0 0 17 0 11 0 1789030106 859774976 34356 4294967295 134512640 134569956 3221224336 3221214628 1131494313 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 34356 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1113.06
Current children cumulated vsize (Kb) 839624

[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18941 4 2 0 112191 89 0 0 17 0 11 0 1789030106 859774976 34440 4294967295 134512640 134569956 3221224336 3221214648 1131462759 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 34440 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1122.8
Current children cumulated vsize (Kb) 839624

[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18948 4 2 0 113162 89 0 0 18 0 11 0 1789030106 859774976 34522 4294967295 134512640 134569956 3221224336 3221214640 1131364216 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 34522 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1132.51
Current children cumulated vsize (Kb) 839624

[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18955 4 2 0 114135 89 0 0 18 0 11 0 1789030106 859774976 34628 4294967295 134512640 134569956 3221224336 3221214648 1131462759 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 34628 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1142.24
Current children cumulated vsize (Kb) 839624

[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18962 4 2 0 115109 90 0 0 18 0 11 0 1789030106 859774976 34649 4294967295 134512640 134569956 3221224336 3221214564 1131057189 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 34649 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1151.99
Current children cumulated vsize (Kb) 839624

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18968 4 2 0 116084 90 0 0 19 0 11 0 1789030106 859774976 34708 4294967295 134512640 134569956 3221224336 3221214616 1131654790 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 34708 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1161.74
Current children cumulated vsize (Kb) 839624

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18975 4 2 0 117055 90 0 0 18 0 11 0 1789030106 859774976 34762 4294967295 134512640 134569956 3221224336 3221214632 1131468137 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/13452/statm): 209906 34762 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1171.45
Current children cumulated vsize (Kb) 839624

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18982 4 2 0 118024 90 0 0 20 0 11 0 1789030106 859774976 34828 4294967295 134512640 134569956 3221224336 3221214704 1131607801 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 34828 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1181.14
Current children cumulated vsize (Kb) 839624

[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18989 4 2 0 118991 91 0 0 17 0 11 0 1789030106 859774976 34890 4294967295 134512640 134569956 3221224336 3221214648 1131462274 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 34890 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1190.82
Current children cumulated vsize (Kb) 839624

[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18996 4 2 0 119955 91 0 0 17 0 11 0 1789030106 859774976 34980 4294967295 134512640 134569956 3221224336 3221214640 1131364148 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 34980 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1200.46
Current children cumulated vsize (Kb) 839624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 13463
Raw data (/proc/13452/stat): 13452 (java) R 13451 13452 30740 0 -1 0 18996 4 2 0 119955 91 0 0 17 0 11 0 1789030106 859774976 34980 4294967295 134512640 134569956 3221224336 3221214640 1131364148 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/13452/statm): 209906 34980 13129 16 0 209890 0
[pid=13452] vsize: 839624
Current children cumulated CPU time (s) 1200.46
Current children cumulated vsize (Kb) 839624

Sending SIGTERM to -13452
Sleeping 2 seconds
New thread pid=13465
New thread pid=13466
One traced child (pid=13466) exited with status: 0
One traced child (pid=13461) exited with status: 0
One traced child (pid=13456) exited with status: 0
One traced child (pid=13453) exited with status: 143
One traced child (pid=13455) exited with status: 143
One traced child (pid=13457) exited with status: 143
One traced child (pid=13460) exited with status: 143
One traced child (pid=13459) exited with status: 143
One traced child (pid=13454) exited with status: 143
One traced child (pid=13463) exited with status: 143
One traced child (pid=13458) exited with status: 143
One traced child (pid=13465) exited with status: 143
One traced child (pid=13452) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1250.39
CPU time (s): 1258.1
CPU user time (s): 1256.26
CPU system time (s): 1.83672
CPU usage (%): 100.616
Max. virtual memory (cumulated for all children) (Kb): 839624

Name	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	2967
Optimality of the best value was proved	YES
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	OPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark	315.832
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

Some explanations

General information on the benchmark

Trace number 4159

Launcher Data

Solver Data

Watcher Data

Verifier Data