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 42409

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        700524 kB
Buffers:         34420 kB
Cached:         277980 kB
SwapCached:        944 kB
Active:          28264 kB
Inactive:       286224 kB
HighTotal:      131008 kB
HighFree:          336 kB
LowTotal:       903652 kB
LowFree:        700188 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14056 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 07:02:06 (client local time) WITH STATUS 0 IN 1202.29 SECONDS
stats: 25617 0 1202.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 3941
c big objective detected
c trying from 0 to 511

c Decision: 8773/618201	Time: 416.631/86400
c Decision: 9804/618201	Time: 664.641/86400
c Decision: 13935/618201	Time: 1084.39/86400s 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 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.90 0.95 0.90 2/54 23172
Raw data (stat): 23172 (runsolver) R 23171 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968676020 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.92 0.95 0.90 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 26820 0 0 0 942 57 0 0 25 0 1 0 968676020 84844544 15919 4294967295 134512640 135730672 3221224576 3220929536 134611155 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20714 15919 301 301 0 20413 0
vsize: 82856
[startup+20.0014 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 53543 0 0 0 1893 106 0 0 25 0 1 0 968676020 170295296 31703 4294967295 134512640 135730672 3221224576 3220753036 135301580 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41576 31703 301 301 0 41275 0
vsize: 166304
[startup+30.0018 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 81234 0 0 0 2840 158 0 0 25 0 1 0 968676020 247721984 50021 4294967295 134512640 135730672 3221224576 3220999312 134813917 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60479 50021 301 301 0 60178 0
vsize: 241916
[startup+40.0033 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99122 0 0 0 3800 199 0 0 25 0 1 0 968676020 303001600 54356 4294967295 134512640 135730672 3221224576 3221222624 134732524 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73975 54356 301 301 0 73674 0
vsize: 295900
[startup+50.0035 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99126 0 0 0 4800 199 0 0 25 0 1 0 968676020 303001600 54360 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73975 54360 301 301 0 73674 0
vsize: 295900
[startup+60.0033 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99130 0 0 0 5800 199 0 0 25 0 1 0 968676020 303001600 54364 4294967295 134512640 135730672 3221224576 3221222928 134748163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73975 54364 301 301 0 73674 0
vsize: 295900
[startup+70.0045 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99133 0 0 0 6801 199 0 0 25 0 1 0 968676020 303001600 54367 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73975 54367 301 301 0 73674 0
vsize: 295900
[startup+80.0055 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99137 0 0 0 7801 199 0 0 25 0 1 0 968676020 303001600 54371 4294967295 134512640 135730672 3221224576 3221222928 134748182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73975 54371 301 301 0 73674 0
vsize: 295900
[startup+90.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99141 0 0 0 8801 199 0 0 25 0 1 0 968676020 303001600 54375 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73975 54375 301 301 0 73674 0
vsize: 295900
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99711 0 0 0 9800 200 0 0 25 0 1 0 968676020 306159616 54945 4294967295 134512640 135730672 3221224576 3221222904 134747441 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74746 54945 301 301 0 74445 0
vsize: 298984
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99712 0 0 0 10800 200 0 0 25 0 1 0 968676020 306159616 54946 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74746 54946 301 301 0 74445 0
vsize: 298984
[startup+120.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99716 0 0 0 11800 200 0 0 25 0 1 0 968676020 306159616 54950 4294967295 134512640 135730672 3221224576 3221222800 134747892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74746 54950 301 301 0 74445 0
vsize: 298984
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99874 0 0 0 12800 200 0 0 25 0 1 0 968676020 307212288 55108 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75003 55108 301 301 0 74702 0
vsize: 300012
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99877 0 0 0 13801 200 0 0 25 0 1 0 968676020 307212288 55111 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75003 55111 301 301 0 74702 0
vsize: 300012
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99883 0 0 0 14801 200 0 0 25 0 1 0 968676020 307212288 55117 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75003 55117 301 301 0 74702 0
vsize: 300012
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99888 0 0 0 15801 201 0 0 25 0 1 0 968676020 307212288 55122 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75003 55122 301 301 0 74702 0
vsize: 300012
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99894 0 0 0 16801 201 0 0 25 0 1 0 968676020 307212288 55128 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75003 55128 301 301 0 74702 0
vsize: 300012
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99906 0 0 0 17801 201 0 0 25 0 1 0 968676020 307212288 55140 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75003 55140 301 301 0 74702 0
vsize: 300012
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99912 0 0 0 18801 201 0 0 25 0 1 0 968676020 307212288 55146 4294967295 134512640 135730672 3221224576 3221222800 134747631 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75003 55146 301 301 0 74702 0
vsize: 300012
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99917 0 0 0 19801 201 0 0 25 0 1 0 968676020 307212288 55151 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75003 55151 301 301 0 74702 0
vsize: 300012
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99920 0 0 0 20802 201 0 0 25 0 1 0 968676020 307212288 55154 4294967295 134512640 135730672 3221224576 3221222800 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75003 55154 301 301 0 74702 0
vsize: 300012
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99924 0 0 0 21802 201 0 0 25 0 1 0 968676020 307212288 55158 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75003 55158 301 301 0 74702 0
vsize: 300012
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99928 0 0 0 22802 201 0 0 25 0 1 0 968676020 307212288 55162 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75003 55162 301 301 0 74702 0
vsize: 300012
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99936 0 0 0 23802 201 0 0 25 0 1 0 968676020 307212288 55170 4294967295 134512640 135730672 3221224576 3221222800 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75003 55170 301 301 0 74702 0
vsize: 300012
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99940 0 0 0 24802 201 0 0 25 0 1 0 968676020 307212288 55174 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75003 55174 301 301 0 74702 0
vsize: 300012
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99944 0 0 0 25802 201 0 0 25 0 1 0 968676020 307212288 55178 4294967295 134512640 135730672 3221224576 3221222896 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75003 55178 301 301 0 74702 0
vsize: 300012
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99948 0 0 0 26803 201 0 0 25 0 1 0 968676020 307212288 55182 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75003 55182 301 301 0 74702 0
vsize: 300012
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99950 0 0 0 27802 201 0 0 25 0 1 0 968676020 307212288 55184 4294967295 134512640 135730672 3221224576 3221222784 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75003 55184 301 301 0 74702 0
vsize: 300012
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99954 0 0 0 28803 201 0 0 25 0 1 0 968676020 307212288 55188 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75003 55188 301 301 0 74702 0
vsize: 300012
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 99974 0 0 0 29803 201 0 0 25 0 1 0 968676020 307212288 55208 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75003 55208 301 301 0 74702 0
vsize: 300012
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 100026 0 0 0 30803 201 0 0 25 0 1 0 968676020 307212288 55260 4294967295 134512640 135730672 3221224576 3221222800 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75003 55260 301 301 0 74702 0
vsize: 300012
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 100031 0 0 0 31803 201 0 0 25 0 1 0 968676020 307212288 55265 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75003 55265 301 301 0 74702 0
vsize: 300012
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 100150 0 0 0 32803 202 0 0 25 0 1 0 968676020 307740672 55384 4294967295 134512640 135730672 3221224576 3221222800 134747641 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75132 55384 301 301 0 74831 0
vsize: 300528
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 100514 0 0 0 33802 203 0 0 25 0 1 0 968676020 309321728 55619 4294967295 134512640 135730672 3221224576 3221222800 134747942 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55619 301 301 0 75217 0
vsize: 302072
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 100531 0 0 0 34802 203 0 0 25 0 1 0 968676020 309321728 55636 4294967295 134512640 135730672 3221224576 3221222896 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55636 301 301 0 75217 0
vsize: 302072
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 100536 0 0 0 35803 203 0 0 25 0 1 0 968676020 309321728 55641 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55641 301 301 0 75217 0
vsize: 302072
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 100539 0 0 0 36803 203 0 0 25 0 1 0 968676020 309321728 55644 4294967295 134512640 135730672 3221224576 3221222800 134747883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55644 301 301 0 75217 0
vsize: 302072
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 100544 0 0 0 37803 203 0 0 25 0 1 0 968676020 309321728 55649 4294967295 134512640 135730672 3221224576 3221222800 134747552 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55649 301 301 0 75217 0
vsize: 302072
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 100549 0 0 0 38803 203 0 0 25 0 1 0 968676020 309321728 55654 4294967295 134512640 135730672 3221224576 3221222800 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55654 301 301 0 75217 0
vsize: 302072
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 100563 0 0 0 39803 203 0 0 25 0 1 0 968676020 309321728 55668 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55668 301 301 0 75217 0
vsize: 302072
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 100566 0 0 0 40804 203 0 0 25 0 1 0 968676020 309321728 55671 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55671 301 301 0 75217 0
vsize: 302072
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 100570 0 0 0 41804 203 0 0 25 0 1 0 968676020 309321728 55675 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55675 301 301 0 75217 0
vsize: 302072
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 100575 0 0 0 42804 203 0 0 25 0 1 0 968676020 309321728 55680 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55680 301 301 0 75217 0
vsize: 302072
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 100581 0 0 0 43804 203 0 0 25 0 1 0 968676020 309321728 55686 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55686 301 301 0 75217 0
vsize: 302072
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101791 0 0 0 44802 206 0 0 25 0 1 0 968676020 309321728 55688 4294967295 134512640 135730672 3221224576 3221222928 134783291 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55688 301 301 0 75217 0
vsize: 302072
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101824 0 0 0 45801 206 0 0 25 0 1 0 968676020 309321728 55721 4294967295 134512640 135730672 3221224576 3221222960 134734766 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55721 301 301 0 75217 0
vsize: 302072
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101824 0 0 0 46802 206 0 0 25 0 1 0 968676020 309321728 55721 4294967295 134512640 135730672 3221224576 3221222928 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55721 301 301 0 75217 0
vsize: 302072
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101826 0 0 0 47802 206 0 0 25 0 1 0 968676020 309321728 55723 4294967295 134512640 135730672 3221224576 3221222848 134740208 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55723 301 301 0 75217 0
vsize: 302072
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101827 0 0 0 48802 206 0 0 25 0 1 0 968676020 309321728 55724 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55724 301 301 0 75217 0
vsize: 302072
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101827 0 0 0 49802 206 0 0 25 0 1 0 968676020 309321728 55724 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55724 301 301 0 75217 0
vsize: 302072
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101831 0 0 0 50802 206 0 0 25 0 1 0 968676020 309321728 55728 4294967295 134512640 135730672 3221224576 3221222848 134740314 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55728 301 301 0 75217 0
vsize: 302072
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101831 0 0 0 51803 206 0 0 25 0 1 0 968676020 309321728 55728 4294967295 134512640 135730672 3221224576 3221222928 134748204 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55728 301 301 0 75217 0
vsize: 302072
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101831 0 0 0 52803 206 0 0 25 0 1 0 968676020 309321728 55728 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55728 301 301 0 75217 0
vsize: 302072
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101832 0 0 0 53803 206 0 0 25 0 1 0 968676020 309321728 55729 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55729 301 301 0 75217 0
vsize: 302072
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101832 0 0 0 54803 206 0 0 25 0 1 0 968676020 309321728 55729 4294967295 134512640 135730672 3221224576 3221222800 134747639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55729 301 301 0 75217 0
vsize: 302072
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101832 0 0 0 55803 206 0 0 25 0 1 0 968676020 309321728 55729 4294967295 134512640 135730672 3221224576 3221222848 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55729 301 301 0 75217 0
vsize: 302072
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101833 0 0 0 56803 206 0 0 25 0 1 0 968676020 309321728 55730 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55730 301 301 0 75217 0
vsize: 302072
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101833 0 0 0 57804 206 0 0 25 0 1 0 968676020 309321728 55730 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55730 301 301 0 75217 0
vsize: 302072
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101854 0 0 0 58804 206 0 0 25 0 1 0 968676020 309321728 55751 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55751 301 301 0 75217 0
vsize: 302072
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101854 0 0 0 59804 206 0 0 25 0 1 0 968676020 309321728 55751 4294967295 134512640 135730672 3221224576 3221222800 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55751 301 301 0 75217 0
vsize: 302072
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101854 0 0 0 60804 206 0 0 25 0 1 0 968676020 309321728 55751 4294967295 134512640 135730672 3221224576 3221222912 134748227 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55751 301 301 0 75217 0
vsize: 302072
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101855 0 0 0 61804 206 0 0 25 0 1 0 968676020 309321728 55752 4294967295 134512640 135730672 3221224576 3221222896 134747724 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55752 301 301 0 75217 0
vsize: 302072
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101855 0 0 0 62805 206 0 0 25 0 1 0 968676020 309321728 55752 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55752 301 301 0 75217 0
vsize: 302072
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101855 0 0 0 63805 206 0 0 25 0 1 0 968676020 309321728 55752 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55752 301 301 0 75217 0
vsize: 302072
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101856 0 0 0 64805 206 0 0 25 0 1 0 968676020 309321728 55753 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55753 301 301 0 75217 0
vsize: 302072
[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101856 0 0 0 65805 206 0 0 25 0 1 0 968676020 309321728 55753 4294967295 134512640 135730672 3221224576 3221222800 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55753 301 301 0 75217 0
vsize: 302072
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101856 0 0 0 66805 206 0 0 25 0 1 0 968676020 309321728 55753 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55753 301 301 0 75217 0
vsize: 302072
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101856 0 0 0 67805 206 0 0 25 0 1 0 968676020 309321728 55753 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55753 301 301 0 75217 0
vsize: 302072
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 101856 0 0 0 68806 206 0 0 25 0 1 0 968676020 309321728 55753 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55753 301 301 0 75217 0
vsize: 302072
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103093 0 0 0 69803 209 0 0 25 0 1 0 968676020 309321728 55782 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55782 301 301 0 75217 0
vsize: 302072
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103093 0 0 0 70803 209 0 0 25 0 1 0 968676020 309321728 55782 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55782 301 301 0 75217 0
vsize: 302072
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103093 0 0 0 71803 209 0 0 25 0 1 0 968676020 309321728 55782 4294967295 134512640 135730672 3221224576 3221222800 134747908 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55782 301 301 0 75217 0
vsize: 302072
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103093 0 0 0 72803 209 0 0 25 0 1 0 968676020 309321728 55782 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55782 301 301 0 75217 0
vsize: 302072
[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103093 0 0 0 73803 209 0 0 25 0 1 0 968676020 309321728 55782 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55782 301 301 0 75217 0
vsize: 302072
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103094 0 0 0 74803 209 0 0 25 0 1 0 968676020 309321728 55783 4294967295 134512640 135730672 3221224576 3221222800 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55783 301 301 0 75217 0
vsize: 302072
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103094 0 0 0 75803 209 0 0 25 0 1 0 968676020 309321728 55783 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55783 301 301 0 75217 0
vsize: 302072
[startup+770.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103094 0 0 0 76804 209 0 0 25 0 1 0 968676020 309321728 55783 4294967295 134512640 135730672 3221224576 3221222896 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55783 301 301 0 75217 0
vsize: 302072
[startup+780.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103094 0 0 0 77804 209 0 0 25 0 1 0 968676020 309321728 55783 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55783 301 301 0 75217 0
vsize: 302072
[startup+790.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103094 0 0 0 78804 209 0 0 25 0 1 0 968676020 309321728 55783 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55783 301 301 0 75217 0
vsize: 302072
[startup+800.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103095 0 0 0 79804 209 0 0 25 0 1 0 968676020 309321728 55784 4294967295 134512640 135730672 3221224576 3221222640 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55784 301 301 0 75217 0
vsize: 302072
[startup+810.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103382 0 0 0 80804 210 0 0 25 0 1 0 968676020 310370304 55814 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55814 301 301 0 75473 0
vsize: 303096
[startup+820.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103391 0 0 0 81804 210 0 0 25 0 1 0 968676020 310370304 55823 4294967295 134512640 135730672 3221224576 3221222800 134747634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55823 301 301 0 75473 0
vsize: 303096
[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103394 0 0 0 82804 210 0 0 25 0 1 0 968676020 310370304 55826 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55826 301 301 0 75473 0
vsize: 303096
[startup+840.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103399 0 0 0 83804 210 0 0 25 0 1 0 968676020 310370304 55831 4294967295 134512640 135730672 3221224576 3221222640 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55831 301 301 0 75473 0
vsize: 303096
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103403 0 0 0 84805 210 0 0 25 0 1 0 968676020 310370304 55835 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55835 301 301 0 75473 0
vsize: 303096
[startup+860.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103410 0 0 0 85805 210 0 0 25 0 1 0 968676020 310370304 55842 4294967295 134512640 135730672 3221224576 3221222928 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55842 301 301 0 75473 0
vsize: 303096
[startup+870.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103415 0 0 0 86805 210 0 0 25 0 1 0 968676020 310370304 55847 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55847 301 301 0 75473 0
vsize: 303096
[startup+880.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103421 0 0 0 87805 210 0 0 25 0 1 0 968676020 310370304 55853 4294967295 134512640 135730672 3221224576 3221222800 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55853 301 301 0 75473 0
vsize: 303096
[startup+890.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103427 0 0 0 88805 210 0 0 25 0 1 0 968676020 310370304 55859 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55859 301 301 0 75473 0
vsize: 303096
[startup+900.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103433 0 0 0 89806 210 0 0 25 0 1 0 968676020 310370304 55865 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55865 301 301 0 75473 0
vsize: 303096
[startup+910.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103439 0 0 0 90805 210 0 0 25 0 1 0 968676020 310370304 55871 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55871 301 301 0 75473 0
vsize: 303096
[startup+920.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103442 0 0 0 91806 210 0 0 25 0 1 0 968676020 310370304 55874 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55874 301 301 0 75473 0
vsize: 303096
[startup+930.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103509 0 0 0 92806 210 0 0 25 0 1 0 968676020 310370304 55941 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55941 301 301 0 75473 0
vsize: 303096
[startup+940.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103514 0 0 0 93806 210 0 0 25 0 1 0 968676020 310370304 55946 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55946 301 301 0 75473 0
vsize: 303096
[startup+950.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103517 0 0 0 94806 210 0 0 25 0 1 0 968676020 310370304 55949 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55949 301 301 0 75473 0
vsize: 303096
[startup+960.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103523 0 0 0 95806 211 0 0 25 0 1 0 968676020 310370304 55955 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55955 301 301 0 75473 0
vsize: 303096
[startup+970.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103531 0 0 0 96806 211 0 0 25 0 1 0 968676020 310370304 55963 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55963 301 301 0 75473 0
vsize: 303096
[startup+980.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103534 0 0 0 97806 211 0 0 25 0 1 0 968676020 310370304 55966 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55966 301 301 0 75473 0
vsize: 303096
[startup+990.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103538 0 0 0 98806 211 0 0 25 0 1 0 968676020 310370304 55970 4294967295 134512640 135730672 3221224576 3221222800 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55970 301 301 0 75473 0
vsize: 303096
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103542 0 0 0 99807 211 0 0 25 0 1 0 968676020 310370304 55974 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55974 301 301 0 75473 0
vsize: 303096
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103546 0 0 0 100807 211 0 0 25 0 1 0 968676020 310370304 55978 4294967295 134512640 135730672 3221224576 3221222960 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55978 301 301 0 75473 0
vsize: 303096
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103550 0 0 0 101807 211 0 0 25 0 1 0 968676020 310370304 55982 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55982 301 301 0 75473 0
vsize: 303096
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103555 0 0 0 102807 211 0 0 25 0 1 0 968676020 310370304 55987 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 55987 301 301 0 75473 0
vsize: 303096
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103571 0 0 0 103807 211 0 0 25 0 1 0 968676020 310370304 56003 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 56003 301 301 0 75473 0
vsize: 303096
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103574 0 0 0 104807 211 0 0 25 0 1 0 968676020 310370304 56006 4294967295 134512640 135730672 3221224576 3221222800 134747730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 56006 301 301 0 75473 0
vsize: 303096
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103583 0 0 0 105808 211 0 0 25 0 1 0 968676020 310370304 56015 4294967295 134512640 135730672 3221224576 3221222800 134747720 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 56015 301 301 0 75473 0
vsize: 303096
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23172
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103591 0 0 0 106808 211 0 0 25 0 1 0 968676020 310370304 56023 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 56023 301 301 0 75473 0
vsize: 303096
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 23173
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103596 0 0 0 107808 211 0 0 25 0 1 0 968676020 310370304 56028 4294967295 134512640 135730672 3221224576 3221222848 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 56028 301 301 0 75473 0
vsize: 303096
[startup+1090.05 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 23225
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103603 0 0 0 108805 214 0 0 25 0 1 0 968676020 310370304 56035 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 56035 301 301 0 75473 0
vsize: 303096
[startup+1100.05 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 23225
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103613 0 0 0 109805 214 0 0 25 0 1 0 968676020 310370304 56045 4294967295 134512640 135730672 3221224576 3221222800 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 56045 301 301 0 75473 0
vsize: 303096
[startup+1110.05 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 23225
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 103620 0 0 0 110805 214 0 0 25 0 1 0 968676020 310370304 56052 4294967295 134512640 135730672 3221224576 3221222848 134740208 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 56052 301 301 0 75473 0
vsize: 303096
[startup+1120.05 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 23225
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 104833 0 0 0 111803 217 0 0 25 0 1 0 968676020 310370304 56057 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 56057 301 301 0 75473 0
vsize: 303096
[startup+1130.05 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 23225
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 104842 0 0 0 112802 217 0 0 25 0 1 0 968676020 310370304 56066 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 56066 301 301 0 75473 0
vsize: 303096
[startup+1140.05 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 23225
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 104847 0 0 0 113802 217 0 0 25 0 1 0 968676020 310370304 56071 4294967295 134512640 135730672 3221224576 3221222896 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 56071 301 301 0 75473 0
vsize: 303096
[startup+1150.05 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 23225
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 104853 0 0 0 114803 217 0 0 25 0 1 0 968676020 310370304 56077 4294967295 134512640 135730672 3221224576 3221222628 134732444 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 56077 301 301 0 75473 0
vsize: 303096
[startup+1160.05 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 23227
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 104859 0 0 0 115803 217 0 0 25 0 1 0 968676020 310370304 56083 4294967295 134512640 135730672 3221224576 3221222944 134748065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75774 56083 301 301 0 75473 0
vsize: 303096
[startup+1170.05 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 23227
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 105148 0 0 0 116802 218 0 0 25 0 1 0 968676020 311418880 56115 4294967295 134512640 135730672 3221224576 3221222800 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76030 56115 301 301 0 75729 0
vsize: 304120
[startup+1180.05 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 23227
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 105150 0 0 0 117802 218 0 0 25 0 1 0 968676020 311418880 56117 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76030 56117 301 301 0 75729 0
vsize: 304120
[startup+1190.06 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 23227
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 105154 0 0 0 118803 218 0 0 25 0 1 0 968676020 311418880 56121 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76030 56121 301 301 0 75729 0
vsize: 304120
[startup+1200.06 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 23227
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 105157 0 0 0 119803 218 0 0 25 0 1 0 968676020 311418880 56124 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76030 56124 301 301 0 75729 0
vsize: 304120
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.13 s]
Raw data (loadavg): 1.02 1.00 0.92 1/53 23227
Raw data (stat): 23172 (pb2sat-v2) R 23171 21152 21151 0 -1 0 105157 0 0 0 119803 218 0 0 25 0 1 0 968676020 311418880 56124 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76030 56124 301 301 0 75729 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.13
CPU time (s): 1202.29
CPU user time (s): 1199.99
CPU system time (s): 2.29565
CPU usage (%): 100.013
Max. virtual memory (Kb): 304120
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	3941
#### END VERIFIER DATA ####