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 28674

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-25 03:33:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11911 boxname=wulflinc19 idbench=917 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  3c39e3c2b993ee2185e2a1a3e73b9723  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-lp4l.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-lp4l.opb
IDLAUNCH: 11911
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        688688 kB
Buffers:         23296 kB
Cached:         295888 kB
SwapCached:        416 kB
Active:          24740 kB
Inactive:       296692 kB
HighTotal:      131008 kB
HighFree:        13244 kB
LowTotal:       903652 kB
LowFree:        675444 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            18700 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 03:53:02 (client local time) WITH STATUS 10 IN 1175.09 SECONDS
stats: 11911 0 1175.09 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 1086 variables and 169 constraints.
c After prepocess the problem consists of 1086 variables and 169 constraints.
c preprocess terminated 3.651 s
c Initial Lower Bound: 459
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 4748 @ 4.195
c NEW SOLUTION FOUND: 4745 @ 4.206
c NEW SOLUTION FOUND: 4740 @ 4.308
c NEW SOLUTION FOUND: 4738 @ 4.322
c NEW SOLUTION FOUND: 4731 @ 4.382
c NEW SOLUTION FOUND: 4729 @ 4.383
c NEW SOLUTION FOUND: 4726 @ 4.394
c NEW SOLUTION FOUND: 4724 @ 4.466
c NEW SOLUTION FOUND: 4608 @ 6.758
c NEW SOLUTION FOUND: 4572 @ 6.778
c NEW SOLUTION FOUND: 4568 @ 6.792
c NEW SOLUTION FOUND: 4563 @ 6.842
c NEW SOLUTION FOUND: 4562 @ 7.001
c NEW SOLUTION FOUND: 4557 @ 7.028
c NEW SOLUTION FOUND: 4554 @ 7.278
c NEW SOLUTION FOUND: 4553 @ 7.77
c NEW SOLUTION FOUND: 4549 @ 7.938
c NEW SOLUTION FOUND: 4545 @ 7.954
c NEW SOLUTION FOUND: 4533 @ 7.968
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.01 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.91 0.95 0.90 2/54 19527
Raw data (stat): 19527 (runsolver) R 19526 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835662760 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0014 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 8197 0 0 0 979 19 0 0 25 0 1 0 835662760 37208064 8162 4294967295 134512640 134714540 3221224592 3221223272 134542961 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9084 8162 1111 63 0 9021 0
vsize: 36336
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 8457 0 0 0 1978 20 0 0 25 0 1 0 835662760 38232064 8422 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9334 8422 1111 63 0 9271 0
vsize: 37336
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 8582 0 0 0 2978 21 0 0 25 0 1 0 835662760 38703104 8547 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9449 8547 1111 63 0 9386 0
vsize: 37796
[startup+40.0027 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 10374 0 0 0 3972 27 0 0 25 0 1 0 835662760 46063616 10339 4294967295 134512640 134714540 3221224592 3221223312 134622817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11246 10339 1111 63 0 11183 0
vsize: 44984
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 11834 0 0 0 4968 31 0 0 25 0 1 0 835662760 52068352 11798 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12712 11798 1111 63 0 12649 0
vsize: 50848
[startup+60.0042 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 12859 0 0 0 5966 33 0 0 25 0 1 0 835662760 56270848 12822 4294967295 134512640 134714540 3221224592 3221223272 134523851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13738 12822 1111 63 0 13675 0
vsize: 54952
[startup+70.0051 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 13940 0 0 0 6964 36 0 0 25 0 1 0 835662760 60731392 13903 4294967295 134512640 134714540 3221224592 3221223144 134696809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14827 13903 1111 63 0 14764 0
vsize: 59308
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 17744 0 0 0 7954 45 0 0 25 0 1 0 835662760 76574720 17691 4294967295 134512640 134714540 3221224592 3221223296 134592438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18695 17691 1111 63 0 18632 0
vsize: 74780
[startup+90.0057 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 19159 0 0 0 8951 49 0 0 25 0 1 0 835662760 82464768 19103 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20133 19103 1111 63 0 20070 0
vsize: 80532
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 19159 0 0 0 9951 49 0 0 25 0 1 0 835662760 82464768 19103 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20133 19103 1111 63 0 20070 0
vsize: 80532
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 19159 0 0 0 10951 49 0 0 25 0 1 0 835662760 82464768 19103 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20133 19103 1111 63 0 20070 0
vsize: 80532
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 19159 0 0 0 11951 49 0 0 25 0 1 0 835662760 82464768 19103 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20133 19103 1111 63 0 20070 0
vsize: 80532
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 19159 0 0 0 12951 49 0 0 25 0 1 0 835662760 82464768 19103 4294967295 134512640 134714540 3221224592 3221223372 134542422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20133 19103 1111 63 0 20070 0
vsize: 80532
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 19159 0 0 0 13951 49 0 0 25 0 1 0 835662760 82464768 19103 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20133 19103 1111 63 0 20070 0
vsize: 80532
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 19159 0 0 0 14952 49 0 0 25 0 1 0 835662760 82464768 19103 4294967295 134512640 134714540 3221224592 3221223316 134622833 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20133 19103 1111 63 0 20070 0
vsize: 80532
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 19159 0 0 0 15952 49 0 0 25 0 1 0 835662760 82464768 19103 4294967295 134512640 134714540 3221224592 3221223372 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20133 19103 1111 63 0 20070 0
vsize: 80532
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 19159 0 0 0 16952 49 0 0 25 0 1 0 835662760 82464768 19103 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20133 19103 1111 63 0 20070 0
vsize: 80532
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 19733 0 0 0 17951 51 0 0 25 0 1 0 835662760 84762624 19676 4294967295 134512640 134714540 3221224592 3221223472 134621641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20694 19676 1111 63 0 20631 0
vsize: 82776
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 20416 0 0 0 18949 53 0 0 25 0 1 0 835662760 87547904 20359 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20359 1111 63 0 21311 0
vsize: 85496
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 21665 0 0 0 19946 56 0 0 25 0 1 0 835662760 92737536 21605 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22641 21605 1111 63 0 22578 0
vsize: 90564
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 21669 0 0 0 20946 56 0 0 25 0 1 0 835662760 92737536 21609 4294967295 134512640 134714540 3221224592 3221223196 134536831 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22641 21609 1111 63 0 22578 0
vsize: 90564
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 22399 0 0 0 21944 58 0 0 25 0 1 0 835662760 95719424 22338 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23369 22338 1111 63 0 23306 0
vsize: 93476
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 23417 0 0 0 22941 62 0 0 25 0 1 0 835662760 100196352 23339 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24462 23339 1111 63 0 24399 0
vsize: 97848
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 24162 0 0 0 23938 65 0 0 25 0 1 0 835662760 103301120 24070 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25220 24070 1111 63 0 25157 0
vsize: 100880
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 24693 0 0 0 24936 67 0 0 25 0 1 0 835662760 105492480 24599 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25755 24599 1111 63 0 25692 0
vsize: 103020
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 24721 0 0 0 25936 67 0 0 25 0 1 0 835662760 105631744 24627 4294967295 134512640 134714540 3221224592 3221223304 134543125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25789 24627 1111 63 0 25726 0
vsize: 103156
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 25345 0 0 0 26935 68 0 0 25 0 1 0 835662760 108130304 25250 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26399 25250 1111 63 0 26336 0
vsize: 105596
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 25662 0 0 0 27934 69 0 0 25 0 1 0 835662760 109486080 25567 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26730 25567 1111 63 0 26667 0
vsize: 106920
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 26432 0 0 0 28932 72 0 0 25 0 1 0 835662760 112594944 26335 4294967295 134512640 134714540 3221224592 3221223328 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27489 26335 1111 63 0 27426 0
vsize: 109956
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 26668 0 0 0 29931 73 0 0 25 0 1 0 835662760 113541120 26571 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27720 26571 1111 63 0 27657 0
vsize: 110880
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 26898 0 0 0 30930 74 0 0 25 0 1 0 835662760 114483200 26801 4294967295 134512640 134714540 3221224592 3221223328 134529316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27950 26801 1111 63 0 27887 0
vsize: 111800
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 28203 0 0 0 31927 77 0 0 25 0 1 0 835662760 119914496 28101 4294967295 134512640 134714540 3221224592 3221223148 134536848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29276 28101 1111 63 0 29213 0
vsize: 117104
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 28834 0 0 0 32926 78 0 0 25 0 1 0 835662760 122503168 28730 4294967295 134512640 134714540 3221224592 3221223304 134543171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29908 28730 1111 63 0 29845 0
vsize: 119632
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 28834 0 0 0 33926 78 0 0 25 0 1 0 835662760 122503168 28730 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29908 28730 1111 63 0 29845 0
vsize: 119632
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 28893 0 0 0 34926 79 0 0 25 0 1 0 835662760 122773504 28789 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29974 28789 1111 63 0 29911 0
vsize: 119896
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 29011 0 0 0 35926 79 0 0 25 0 1 0 835662760 123207680 28907 4294967295 134512640 134714540 3221224592 3221223164 1077377191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30080 28907 1111 63 0 30017 0
vsize: 120320
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 29457 0 0 0 36925 80 0 0 25 0 1 0 835662760 125083648 29353 4294967295 134512640 134714540 3221224592 3221223392 134622271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30538 29353 1111 63 0 30475 0
vsize: 122152
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 29818 0 0 0 37924 81 0 0 25 0 1 0 835662760 126590976 29710 4294967295 134512640 134714540 3221224592 3221223328 134695270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30906 29710 1111 63 0 30843 0
vsize: 123624
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 30134 0 0 0 38923 83 0 0 25 0 1 0 835662760 127836160 30026 4294967295 134512640 134714540 3221224592 3221222876 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31210 30026 1111 63 0 31147 0
vsize: 124840
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 30728 0 0 0 39921 85 0 0 25 0 1 0 835662760 130420736 30615 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31841 30615 1111 63 0 31778 0
vsize: 127364
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 31025 0 0 0 40920 86 0 0 25 0 1 0 835662760 131629056 30912 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32136 30912 1111 63 0 32073 0
vsize: 128544
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 32398 0 0 0 41918 88 0 0 25 0 1 0 835662760 137236480 32275 4294967295 134512640 134714540 3221224592 3221223148 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33505 32275 1111 63 0 33442 0
vsize: 134020
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34843 0 0 0 42912 95 0 0 25 0 1 0 835662760 147451904 34715 4294967295 134512640 134714540 3221224592 3221223372 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34715 1111 63 0 35936 0
vsize: 143996
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 43911 95 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 44911 95 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 45912 95 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 46912 95 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 47912 95 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223392 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 48912 95 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 49912 95 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 50912 95 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223328 134622740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 51912 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223304 134543181 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 52913 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 53913 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 54913 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 55913 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223408 134622477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 56913 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 57913 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 58914 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 59914 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 60914 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223308 134543192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 61914 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 62915 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 63915 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 64915 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 65915 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 66915 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 67915 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 68915 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 69916 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 70916 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 71916 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 72916 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 73916 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 74917 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 75917 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223328 134622873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 76917 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 77917 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223312 134622834 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 78917 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 79917 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 80918 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 81918 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 82918 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 83918 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223408 134622477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 84918 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223388 134543553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 85918 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 86919 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 87919 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 88919 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 89919 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223308 134543192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 90919 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34844 0 0 0 91919 96 0 0 25 0 1 0 835662760 147451904 34716 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35999 34716 1111 63 0 35936 0
vsize: 143996
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 34886 0 0 0 92919 97 0 0 25 0 1 0 835662760 147587072 34758 4294967295 134512640 134714540 3221224592 3221223360 134592449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36032 34758 1111 63 0 35969 0
vsize: 144128
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35198 0 0 0 93918 98 0 0 25 0 1 0 835662760 148979712 35069 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36372 35069 1111 63 0 36309 0
vsize: 145488
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35198 0 0 0 94918 98 0 0 25 0 1 0 835662760 148979712 35069 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36372 35069 1111 63 0 36309 0
vsize: 145488
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35224 0 0 0 95918 98 0 0 25 0 1 0 835662760 148979712 35095 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36372 35095 1111 63 0 36309 0
vsize: 145488
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35368 0 0 0 96918 99 0 0 25 0 1 0 835662760 149655552 35239 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36537 35239 1111 63 0 36474 0
vsize: 146148
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35564 0 0 0 97918 99 0 0 25 0 1 0 835662760 150331392 35435 4294967295 134512640 134714540 3221224592 3221223044 1077374498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36702 35435 1111 63 0 36639 0
vsize: 146808
[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35571 0 0 0 98918 99 0 0 25 0 1 0 835662760 150470656 35442 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36736 35442 1111 63 0 36673 0
vsize: 146944
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35899 0 0 0 99917 101 0 0 25 0 1 0 835662760 151687168 35770 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37033 35770 1111 63 0 36970 0
vsize: 148132
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35899 0 0 0 100916 101 0 0 25 0 1 0 835662760 151687168 35770 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37033 35770 1111 63 0 36970 0
vsize: 148132
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35899 0 0 0 101916 101 0 0 25 0 1 0 835662760 151687168 35770 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37033 35770 1111 63 0 36970 0
vsize: 148132
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35922 0 0 0 102916 102 0 0 25 0 1 0 835662760 151822336 35793 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37066 35793 1111 63 0 37003 0
vsize: 148264
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35945 0 0 0 103916 102 0 0 25 0 1 0 835662760 151969792 35816 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35816 1111 63 0 37039 0
vsize: 148408
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35945 0 0 0 104916 102 0 0 25 0 1 0 835662760 151969792 35816 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35816 1111 63 0 37039 0
vsize: 148408
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35945 0 0 0 105916 102 0 0 25 0 1 0 835662760 151969792 35816 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35816 1111 63 0 37039 0
vsize: 148408
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35945 0 0 0 106916 102 0 0 25 0 1 0 835662760 151969792 35816 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35816 1111 63 0 37039 0
vsize: 148408
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35945 0 0 0 107916 102 0 0 25 0 1 0 835662760 151969792 35816 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35816 1111 63 0 37039 0
vsize: 148408
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35945 0 0 0 108917 102 0 0 25 0 1 0 835662760 151969792 35816 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35816 1111 63 0 37039 0
vsize: 148408
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35945 0 0 0 109917 102 0 0 25 0 1 0 835662760 151969792 35816 4294967295 134512640 134714540 3221224592 3221223480 134621629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35816 1111 63 0 37039 0
vsize: 148408
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35945 0 0 0 110917 103 0 0 25 0 1 0 835662760 151969792 35816 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35816 1111 63 0 37039 0
vsize: 148408
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35945 0 0 0 111917 103 0 0 25 0 1 0 835662760 151969792 35816 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35816 1111 63 0 37039 0
vsize: 148408
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35945 0 0 0 112917 103 0 0 25 0 1 0 835662760 151969792 35816 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35816 1111 63 0 37039 0
vsize: 148408
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35945 0 0 0 113917 103 0 0 25 0 1 0 835662760 151969792 35816 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35816 1111 63 0 37039 0
vsize: 148408
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35945 0 0 0 114917 103 0 0 25 0 1 0 835662760 151969792 35816 4294967295 134512640 134714540 3221224592 3221223368 134543568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35816 1111 63 0 37039 0
vsize: 148408
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 35945 0 0 0 115917 103 0 0 25 0 1 0 835662760 151969792 35816 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37102 35816 1111 63 0 37039 0
vsize: 148408
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 36032 0 0 0 116917 103 0 0 25 0 1 0 835662760 152240128 35903 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37168 35903 1111 63 0 37105 0
vsize: 148672
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 19527
Raw data (stat): 19527 (bsolo_mis) R 19526 10795 10794 0 -1 0 36032 0 0 0 116917 103 0 0 25 0 1 0 835662760 152240128 35903 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37168 35903 1111 63 0 37105 0
vsize: 0

Child status: 10
Real time (s): 1174.9
CPU time (s): 1175.09
CPU user time (s): 1173.96
CPU system time (s): 1.12283
CPU usage (%): 100.016
Max. virtual memory (Kb): 148672
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	4533
#### END VERIFIER DATA ####