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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lp4l.opb
MD5SUM3c39e3c2b993ee2185e2a1a3e73b9723
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3684
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 numbers18
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.3
Number of variables1086
Total number of constraints1171
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1170
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint1086

Trace number 42788 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 14:51:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26001 boxname=wulflinc5 idbench=1301 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3c39e3c2b993ee2185e2a1a3e73b9723  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-lp4l.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-lp4l.opb
IDLAUNCH: 26001
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        682076 kB
Buffers:         19512 kB
Cached:         310376 kB
SwapCached:        660 kB
Active:          24540 kB
Inactive:       307404 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        681796 kB
SwapTotal:     2097136 kB
SwapFree:      2095536 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15028 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 15:11:09 (client local time) WITH STATUS 0 IN 1202.27 SECONDS
stats: 26001 0 1202.27 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: 419.043/86400
c Decision: 9804/618201	Time: 667.935/86400
c Decision: 13935/618201	Time: 1090.3/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.84 0.94 0.90 2/54 16429
Raw data (stat): 16429 (runsolver) R 16428 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971620872 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 26749 0 0 0 939 59 0 0 25 0 1 0 971620872 84709376 15849 4294967295 134512640 135730672 3221224576 3220854320 135284218 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20681 15849 301 301 0 20380 0
vsize: 82724
[startup+20.002 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 53441 0 0 0 1885 112 0 0 25 0 1 0 971620872 170160128 31602 4294967295 134512640 135730672 3221224576 3220797196 134608033 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41543 31602 301 301 0 41242 0
vsize: 166172
[startup+30.0022 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 81005 0 0 0 2834 164 0 0 25 0 1 0 971620872 247721984 49796 4294967295 134512640 135730672 3221224576 3220909616 134607976 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60479 49796 301 301 0 60178 0
vsize: 241916
[startup+40.0016 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99122 0 0 0 3794 204 0 0 25 0 1 0 971620872 303001600 54356 4294967295 134512640 135730672 3221224576 3221222800 134747651 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.0028 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99127 0 0 0 4794 204 0 0 25 0 1 0 971620872 303001600 54361 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73975 54361 301 301 0 73674 0
vsize: 295900
[startup+60.0024 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99131 0 0 0 5794 204 0 0 25 0 1 0 971620872 303001600 54365 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73975 54365 301 301 0 73674 0
vsize: 295900
[startup+70.0029 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99134 0 0 0 6794 204 0 0 25 0 1 0 971620872 303001600 54368 4294967295 134512640 135730672 3221224576 3221222800 134747834 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73975 54368 301 301 0 73674 0
vsize: 295900
[startup+80.0043 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99137 0 0 0 7794 204 0 0 25 0 1 0 971620872 303001600 54371 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73975 54371 301 301 0 73674 0
vsize: 295900
[startup+90.0048 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99141 0 0 0 8795 204 0 0 25 0 1 0 971620872 303001600 54375 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73975 54375 301 301 0 73674 0
vsize: 295900
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99711 0 0 0 9794 206 0 0 25 0 1 0 971620872 306159616 54945 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74746 54945 301 301 0 74445 0
vsize: 298984
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99713 0 0 0 10794 206 0 0 25 0 1 0 971620872 306159616 54947 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74746 54947 301 301 0 74445 0
vsize: 298984
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99716 0 0 0 11794 206 0 0 25 0 1 0 971620872 306159616 54950 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74746 54950 301 301 0 74445 0
vsize: 298984
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99875 0 0 0 12794 206 0 0 25 0 1 0 971620872 307212288 55109 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75003 55109 301 301 0 74702 0
vsize: 300012
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99878 0 0 0 13794 206 0 0 25 0 1 0 971620872 307212288 55112 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75003 55112 301 301 0 74702 0
vsize: 300012
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99883 0 0 0 14794 206 0 0 25 0 1 0 971620872 307212288 55117 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75003 55117 301 301 0 74702 0
vsize: 300012
[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99888 0 0 0 15794 206 0 0 25 0 1 0 971620872 307212288 55122 4294967295 134512640 135730672 3221224576 3221222896 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75003 55122 301 301 0 74702 0
vsize: 300012
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99894 0 0 0 16795 206 0 0 25 0 1 0 971620872 307212288 55128 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75003 55128 301 301 0 74702 0
vsize: 300012
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99905 0 0 0 17795 206 0 0 25 0 1 0 971620872 307212288 55139 4294967295 134512640 135730672 3221224576 3221222948 134748260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75003 55139 301 301 0 74702 0
vsize: 300012
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99913 0 0 0 18795 206 0 0 25 0 1 0 971620872 307212288 55147 4294967295 134512640 135730672 3221224576 3221222784 134732578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75003 55147 301 301 0 74702 0
vsize: 300012
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99918 0 0 0 19795 206 0 0 25 0 1 0 971620872 307212288 55152 4294967295 134512640 135730672 3221224576 3221222800 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75003 55152 301 301 0 74702 0
vsize: 300012
[startup+210.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99921 0 0 0 20795 206 0 0 25 0 1 0 971620872 307212288 55155 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75003 55155 301 301 0 74702 0
vsize: 300012
[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99924 0 0 0 21795 207 0 0 25 0 1 0 971620872 307212288 55158 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75003 55158 301 301 0 74702 0
vsize: 300012
[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99929 0 0 0 22795 207 0 0 25 0 1 0 971620872 307212288 55163 4294967295 134512640 135730672 3221224576 3221222800 134747708 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75003 55163 301 301 0 74702 0
vsize: 300012
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99934 0 0 0 23795 207 0 0 25 0 1 0 971620872 307212288 55168 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75003 55168 301 301 0 74702 0
vsize: 300012
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99941 0 0 0 24795 207 0 0 25 0 1 0 971620872 307212288 55175 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75003 55175 301 301 0 74702 0
vsize: 300012
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99944 0 0 0 25795 207 0 0 25 0 1 0 971620872 307212288 55178 4294967295 134512640 135730672 3221224576 3221222800 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75003 55178 301 301 0 74702 0
vsize: 300012
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99948 0 0 0 26795 207 0 0 25 0 1 0 971620872 307212288 55182 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75003 55182 301 301 0 74702 0
vsize: 300012
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99951 0 0 0 27796 207 0 0 25 0 1 0 971620872 307212288 55185 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75003 55185 301 301 0 74702 0
vsize: 300012
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99954 0 0 0 28796 207 0 0 25 0 1 0 971620872 307212288 55188 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75003 55188 301 301 0 74702 0
vsize: 300012
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 99958 0 0 0 29796 207 0 0 25 0 1 0 971620872 307212288 55192 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75003 55192 301 301 0 74702 0
vsize: 300012
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 100026 0 0 0 30796 208 0 0 25 0 1 0 971620872 307212288 55260 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75003 55260 301 301 0 74702 0
vsize: 300012
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 100031 0 0 0 31796 208 0 0 25 0 1 0 971620872 307212288 55265 4294967295 134512640 135730672 3221224576 3221222800 134747639 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75003 55265 301 301 0 74702 0
vsize: 300012
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 100150 0 0 0 32796 208 0 0 25 0 1 0 971620872 307740672 55384 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75132 55384 301 301 0 74831 0
vsize: 300528
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 100514 0 0 0 33795 209 0 0 25 0 1 0 971620872 309321728 55619 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55619 301 301 0 75217 0
vsize: 302072
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 100518 0 0 0 34795 209 0 0 25 0 1 0 971620872 309321728 55623 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55623 301 301 0 75217 0
vsize: 302072
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 100537 0 0 0 35795 209 0 0 25 0 1 0 971620872 309321728 55642 4294967295 134512640 135730672 3221224576 3221222896 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55642 301 301 0 75217 0
vsize: 302072
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 100539 0 0 0 36795 209 0 0 25 0 1 0 971620872 309321728 55644 4294967295 134512640 135730672 3221224576 3221222800 134747597 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55644 301 301 0 75217 0
vsize: 302072
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 100544 0 0 0 37795 209 0 0 25 0 1 0 971620872 309321728 55649 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55649 301 301 0 75217 0
vsize: 302072
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 100549 0 0 0 38796 209 0 0 25 0 1 0 971620872 309321728 55654 4294967295 134512640 135730672 3221224576 3221222624 134732515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55654 301 301 0 75217 0
vsize: 302072
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 100564 0 0 0 39796 209 0 0 25 0 1 0 971620872 309321728 55669 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55669 301 301 0 75217 0
vsize: 302072
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 100566 0 0 0 40796 210 0 0 25 0 1 0 971620872 309321728 55671 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55671 301 301 0 75217 0
vsize: 302072
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 100570 0 0 0 41796 210 0 0 25 0 1 0 971620872 309321728 55675 4294967295 134512640 135730672 3221224576 3221222800 134747641 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55675 301 301 0 75217 0
vsize: 302072
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 100575 0 0 0 42796 210 0 0 25 0 1 0 971620872 309321728 55680 4294967295 134512640 135730672 3221224576 3221222924 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55680 301 301 0 75217 0
vsize: 302072
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 100581 0 0 0 43796 210 0 0 25 0 1 0 971620872 309321728 55686 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55686 301 301 0 75217 0
vsize: 302072
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101792 0 0 0 44794 212 0 0 25 0 1 0 971620872 314269696 56897 4294967295 134512640 135730672 3221224576 3221222448 134768821 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76726 56897 301 301 0 76425 0
vsize: 306904
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101825 0 0 0 45793 213 0 0 25 0 1 0 971620872 309321728 55722 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55722 301 301 0 75217 0
vsize: 302072
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101825 0 0 0 46792 213 0 0 25 0 1 0 971620872 309321728 55722 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75518 55722 301 301 0 75217 0
vsize: 302072
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101827 0 0 0 47792 213 0 0 25 0 1 0 971620872 309321728 55724 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55724 301 301 0 75217 0
vsize: 302072
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101828 0 0 0 48792 214 0 0 25 0 1 0 971620872 309321728 55725 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55725 301 301 0 75217 0
vsize: 302072
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101828 0 0 0 49792 214 0 0 25 0 1 0 971620872 309321728 55725 4294967295 134512640 135730672 3221224576 3221222928 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55725 301 301 0 75217 0
vsize: 302072
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101832 0 0 0 50792 214 0 0 25 0 1 0 971620872 309321728 55729 4294967295 134512640 135730672 3221224576 3221222960 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55729 301 301 0 75217 0
vsize: 302072
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101832 0 0 0 51792 214 0 0 25 0 1 0 971620872 309321728 55729 4294967295 134512640 135730672 3221224576 3221222632 134739222 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55729 301 301 0 75217 0
vsize: 302072
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16429
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101832 0 0 0 52792 214 0 0 25 0 1 0 971620872 309321728 55729 4294967295 134512640 135730672 3221224576 3221222992 134748557 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55729 301 301 0 75217 0
vsize: 302072
[startup+540.018 s]
Raw data (loadavg): 1.07 0.99 0.91 2/57 16478
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101833 0 0 0 53793 214 0 0 25 0 1 0 971620872 309321728 55730 4294967295 134512640 135730672 3221224576 3221222800 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55730 301 301 0 75217 0
vsize: 302072
[startup+550.018 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 16482
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101833 0 0 0 54793 214 0 0 25 0 1 0 971620872 309321728 55730 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55730 301 301 0 75217 0
vsize: 302072
[startup+560.018 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 16482
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101833 0 0 0 55792 214 0 0 25 0 1 0 971620872 309321728 55730 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55730 301 301 0 75217 0
vsize: 302072
[startup+570.019 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 16482
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101833 0 0 0 56793 214 0 0 25 0 1 0 971620872 309321728 55730 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55730 301 301 0 75217 0
vsize: 302072
[startup+580.019 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 16482
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101834 0 0 0 57793 215 0 0 25 0 1 0 971620872 309321728 55731 4294967295 134512640 135730672 3221224576 3221222800 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55731 301 301 0 75217 0
vsize: 302072
[startup+590.019 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 16482
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101855 0 0 0 58792 215 0 0 25 0 1 0 971620872 309321728 55752 4294967295 134512640 135730672 3221224576 3221222960 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55752 301 301 0 75217 0
vsize: 302072
[startup+600.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 16482
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101855 0 0 0 59792 215 0 0 25 0 1 0 971620872 309321728 55752 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55752 301 301 0 75217 0
vsize: 302072
[startup+610.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101855 0 0 0 60792 216 0 0 25 0 1 0 971620872 309321728 55752 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55752 301 301 0 75217 0
vsize: 302072
[startup+620.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101856 0 0 0 61791 217 0 0 25 0 1 0 971620872 309321728 55753 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55753 301 301 0 75217 0
vsize: 302072
[startup+630.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101856 0 0 0 62791 217 0 0 25 0 1 0 971620872 309321728 55753 4294967295 134512640 135730672 3221224576 3221222960 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55753 301 301 0 75217 0
vsize: 302072
[startup+640.022 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101856 0 0 0 63791 217 0 0 25 0 1 0 971620872 309321728 55753 4294967295 134512640 135730672 3221224576 3221222896 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55753 301 301 0 75217 0
vsize: 302072
[startup+650.022 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101856 0 0 0 64791 218 0 0 25 0 1 0 971620872 309321728 55753 4294967295 134512640 135730672 3221224576 3221222980 134748635 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55753 301 301 0 75217 0
vsize: 302072
[startup+660.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101857 0 0 0 65791 218 0 0 25 0 1 0 971620872 309321728 55754 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55754 301 301 0 75217 0
vsize: 302072
[startup+670.022 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101857 0 0 0 66791 218 0 0 25 0 1 0 971620872 309321728 55754 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55754 301 301 0 75217 0
vsize: 302072
[startup+680.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101857 0 0 0 67791 219 0 0 25 0 1 0 971620872 309321728 55754 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55754 301 301 0 75217 0
vsize: 302072
[startup+690.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101857 0 0 0 68790 219 0 0 25 0 1 0 971620872 309321728 55754 4294967295 134512640 135730672 3221224576 3221222800 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55754 301 301 0 75217 0
vsize: 302072
[startup+700.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 101886 0 0 0 69790 219 0 0 25 0 1 0 971620872 309321728 55783 4294967295 134512640 135730672 3221224576 3221222816 134745979 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55783 301 301 0 75217 0
vsize: 302072
[startup+710.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103094 0 0 0 70787 223 0 0 25 0 1 0 971620872 309321728 55783 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55783 301 301 0 75217 0
vsize: 302072
[startup+720.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103094 0 0 0 71787 223 0 0 25 0 1 0 971620872 309321728 55783 4294967295 134512640 135730672 3221224576 3221222928 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55783 301 301 0 75217 0
vsize: 302072
[startup+730.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103094 0 0 0 72787 223 0 0 25 0 1 0 971620872 309321728 55783 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55783 301 301 0 75217 0
vsize: 302072
[startup+740.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103094 0 0 0 73787 224 0 0 25 0 1 0 971620872 309321728 55783 4294967295 134512640 135730672 3221224576 3221222896 134763576 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55783 301 301 0 75217 0
vsize: 302072
[startup+750.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103094 0 0 0 74787 224 0 0 25 0 1 0 971620872 309321728 55783 4294967295 134512640 135730672 3221224576 3221222896 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55783 301 301 0 75217 0
vsize: 302072
[startup+760.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103095 0 0 0 75786 224 0 0 25 0 1 0 971620872 309321728 55784 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55784 301 301 0 75217 0
vsize: 302072
[startup+770.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103095 0 0 0 76786 225 0 0 25 0 1 0 971620872 309321728 55784 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55784 301 301 0 75217 0
vsize: 302072
[startup+780.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103095 0 0 0 77786 225 0 0 25 0 1 0 971620872 309321728 55784 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55784 301 301 0 75217 0
vsize: 302072
[startup+790.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103095 0 0 0 78785 226 0 0 25 0 1 0 971620872 309321728 55784 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55784 301 301 0 75217 0
vsize: 302072
[startup+800.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103096 0 0 0 79785 226 0 0 25 0 1 0 971620872 309321728 55785 4294967295 134512640 135730672 3221224576 3221222800 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55785 301 301 0 75217 0
vsize: 302072
[startup+810.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103097 0 0 0 80785 227 0 0 25 0 1 0 971620872 309321728 55786 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75518 55786 301 301 0 75217 0
vsize: 302072
[startup+820.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103391 0 0 0 81784 228 0 0 25 0 1 0 971620872 310370304 55823 4294967295 134512640 135730672 3221224576 3221222800 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55823 301 301 0 75473 0
vsize: 303096
[startup+830.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103393 0 0 0 82783 229 0 0 25 0 1 0 971620872 310370304 55825 4294967295 134512640 135730672 3221224576 3221222624 134732507 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55825 301 301 0 75473 0
vsize: 303096
[startup+840.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103398 0 0 0 83782 230 0 0 25 0 1 0 971620872 310370304 55830 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55830 301 301 0 75473 0
vsize: 303096
[startup+850.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103402 0 0 0 84782 231 0 0 25 0 1 0 971620872 310370304 55834 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55834 301 301 0 75473 0
vsize: 303096
[startup+860.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103409 0 0 0 85781 231 0 0 25 0 1 0 971620872 310370304 55841 4294967295 134512640 135730672 3221224576 3221222928 134748176 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55841 301 301 0 75473 0
vsize: 303096
[startup+870.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16484
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103415 0 0 0 86781 232 0 0 25 0 1 0 971620872 310370304 55847 4294967295 134512640 135730672 3221224576 3221222800 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55847 301 301 0 75473 0
vsize: 303096
[startup+880.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103419 0 0 0 87781 232 0 0 25 0 1 0 971620872 310370304 55851 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55851 301 301 0 75473 0
vsize: 303096
[startup+890.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103425 0 0 0 88781 233 0 0 25 0 1 0 971620872 310370304 55857 4294967295 134512640 135730672 3221224576 3221222896 134763568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55857 301 301 0 75473 0
vsize: 303096
[startup+900.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103432 0 0 0 89780 233 0 0 25 0 1 0 971620872 310370304 55864 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55864 301 301 0 75473 0
vsize: 303096
[startup+910.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103438 0 0 0 90780 233 0 0 25 0 1 0 971620872 310370304 55870 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55870 301 301 0 75473 0
vsize: 303096
[startup+920.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103442 0 0 0 91780 234 0 0 25 0 1 0 971620872 310370304 55874 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55874 301 301 0 75473 0
vsize: 303096
[startup+930.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103508 0 0 0 92779 235 0 0 25 0 1 0 971620872 310370304 55940 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55940 301 301 0 75473 0
vsize: 303096
[startup+940.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103513 0 0 0 93779 235 0 0 25 0 1 0 971620872 310370304 55945 4294967295 134512640 135730672 3221224576 3221222800 134747711 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55945 301 301 0 75473 0
vsize: 303096
[startup+950.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103516 0 0 0 94779 235 0 0 25 0 1 0 971620872 310370304 55948 4294967295 134512640 135730672 3221224576 3221222800 134747594 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55948 301 301 0 75473 0
vsize: 303096
[startup+960.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103521 0 0 0 95779 236 0 0 25 0 1 0 971620872 310370304 55953 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55953 301 301 0 75473 0
vsize: 303096
[startup+970.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103529 0 0 0 96778 237 0 0 25 0 1 0 971620872 310370304 55961 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55961 301 301 0 75473 0
vsize: 303096
[startup+980.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103533 0 0 0 97778 237 0 0 25 0 1 0 971620872 310370304 55965 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55965 301 301 0 75473 0
vsize: 303096
[startup+990.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103537 0 0 0 98778 237 0 0 25 0 1 0 971620872 310370304 55969 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55969 301 301 0 75473 0
vsize: 303096
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103540 0 0 0 99778 238 0 0 25 0 1 0 971620872 310370304 55972 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55972 301 301 0 75473 0
vsize: 303096
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103544 0 0 0 100777 238 0 0 25 0 1 0 971620872 310370304 55976 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55976 301 301 0 75473 0
vsize: 303096
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103549 0 0 0 101777 238 0 0 25 0 1 0 971620872 310370304 55981 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55981 301 301 0 75473 0
vsize: 303096
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103553 0 0 0 102777 239 0 0 25 0 1 0 971620872 310370304 55985 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55985 301 301 0 75473 0
vsize: 303096
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103559 0 0 0 103777 239 0 0 25 0 1 0 971620872 310370304 55991 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 55991 301 301 0 75473 0
vsize: 303096
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103572 0 0 0 104776 239 0 0 25 0 1 0 971620872 310370304 56004 4294967295 134512640 135730672 3221224576 3221222800 134747641 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 56004 301 301 0 75473 0
vsize: 303096
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103577 0 0 0 105776 240 0 0 25 0 1 0 971620872 310370304 56009 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 56009 301 301 0 75473 0
vsize: 303096
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103588 0 0 0 106776 240 0 0 25 0 1 0 971620872 310370304 56020 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 56020 301 301 0 75473 0
vsize: 303096
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103594 0 0 0 107776 241 0 0 25 0 1 0 971620872 310370304 56026 4294967295 134512640 135730672 3221224576 3221222800 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 56026 301 301 0 75473 0
vsize: 303096
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103598 0 0 0 108775 241 0 0 25 0 1 0 971620872 310370304 56030 4294967295 134512640 135730672 3221224576 3221222940 134748066 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 56030 301 301 0 75473 0
vsize: 303096
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103606 0 0 0 109775 241 0 0 25 0 1 0 971620872 310370304 56038 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 56038 301 301 0 75473 0
vsize: 303096
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103617 0 0 0 110775 242 0 0 25 0 1 0 971620872 310370304 56049 4294967295 134512640 135730672 3221224576 3221222848 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 56049 301 301 0 75473 0
vsize: 303096
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 103623 0 0 0 111775 242 0 0 25 0 1 0 971620872 310370304 56055 4294967295 134512640 135730672 3221224576 3221222896 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 56055 301 301 0 75473 0
vsize: 303096
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 104841 0 0 0 112772 245 0 0 25 0 1 0 971620872 310370304 56065 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 56065 301 301 0 75473 0
vsize: 303096
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 104844 0 0 0 113772 245 0 0 25 0 1 0 971620872 310370304 56068 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 56068 301 301 0 75473 0
vsize: 303096
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 104851 0 0 0 114772 246 0 0 25 0 1 0 971620872 310370304 56075 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 56075 301 301 0 75473 0
vsize: 303096
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 104858 0 0 0 115772 246 0 0 25 0 1 0 971620872 310370304 56082 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75774 56082 301 301 0 75473 0
vsize: 303096
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 105144 0 0 0 116771 247 0 0 25 0 1 0 971620872 311418880 56111 4294967295 134512640 135730672 3221224576 3221222896 134763998 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76030 56111 301 301 0 75729 0
vsize: 304120
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 105150 0 0 0 117771 248 0 0 25 0 1 0 971620872 311418880 56117 4294967295 134512640 135730672 3221224576 3221222848 134740208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76030 56117 301 301 0 75729 0
vsize: 304120
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 105152 0 0 0 118770 248 0 0 25 0 1 0 971620872 311418880 56119 4294967295 134512640 135730672 3221224576 3221222928 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76030 56119 301 301 0 75729 0
vsize: 304120
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 105156 0 0 0 119770 249 0 0 25 0 1 0 971620872 311418880 56123 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76030 56123 301 301 0 75729 0
vsize: 304120
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.1 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 16486
Raw data (stat): 16429 (pb2sat-v2) R 16428 7266 7265 0 -1 0 105156 0 0 0 119770 249 0 0 25 0 1 0 971620872 311418880 56123 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76030 56123 301 301 0 75729 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.1
CPU time (s): 1202.27
CPU user time (s): 1199.66
CPU system time (s): 2.6016
CPU usage (%): 100.014
Max. virtual memory (Kb): 306904
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	3941
#### END VERIFIER DATA ####