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/miplib3/normalized-mps-v2-20-10-10teams.opb
MD5SUM	130bea0863cb3f92addf09aabe15daa3
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	920
Optimality of the best value was proved	NO
Number of terms in the objective function	1800
Biggest coefficient in the objective function	86
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	41700
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	86
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	41700
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.54
Number of variables	1800
Total number of constraints	2015
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2015
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	72
Trace number 42507

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 09:13:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25712 boxname=wulflinc5 idbench=1012 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  130bea0863cb3f92addf09aabe15daa3  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-10teams.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-10teams.opb
IDLAUNCH: 25712
/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:        778624 kB
Buffers:         27632 kB
Cached:         205260 kB
SwapCached:        688 kB
Active:          24540 kB
Inactive:       210468 kB
HighTotal:      131008 kB
HighFree:        48860 kB
LowTotal:       903652 kB
LowFree:        729764 kB
SwapTotal:     2097136 kB
SwapFree:      2095520 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15312 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 09:34:00 (client local time) WITH STATUS 0 IN 1202.45 SECONDS
stats: 25712 0 1202.45 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: 996
c big objective detected
c trying from 0 to 511
s SATISFIABLE
v -x10212_bit0 -x10213_bit0 -x10214_bit0 -x10215_bit0 -x10216_bit0 -x10217_bit0 -x10218_bit0 -x10219_bit0 -x10222_bit0 -x10223_bit0 -x10224_bit0 -x10225_bit0 -x10226_bit0 -x10227_bit0 -x10228_bit0 -x10229_bit0 -x10232_bit0 -x10233_bit0 -x10234_bit0 -x10235_bit0 -x10236_bit0 -x10237_bit0 -x10238_bit0 -x10239_bit0 -x10242_bit0 -x10243_bit0 -x10244_bit0 -x10245_bit0 -x10246_bit0 -x10247_bit0 -x10248_bit0 -x10249_bit0 -x10252_bit0 -x10253_bit0 -x10254_bit0 -x10255_bit0 -x10256_bit0 -x10257_bit0 -x10258_bit0 -x10259_bit0 x10312_bit0 -x10313_bit0 -x10314_bit0 -x10315_bit0 -x10316_bit0 -x10317_bit0 -x10318_bit0 -x10319_bit0 -x10322_bit0 -x10323_bit0 -x10324_bit0 -x10325_bit0 -x10326_bit0 -x10327_bit0 -x10328_bit0 -x10329_bit0 -x10332_bit0 -x10333_bit0 -x10334_bit0 -x10335_bit0 -x10336_bit0 -x10337_bit0 -x10338_bit0 -x10339_bit0 -x10342_bit0 -x10343_bit0 -x10344_bit0 -x10345_bit0 -x10346_bit0 -x10347_bit0 -x10348_bit0 -x10349_bit0 -x10352_bit0 -x10353_bit0 -x10354_bit0 -x10355_bit0 -x10356_bit0 -x10357_bit0 -x10358_bit0 -x10359_bit0 -x10412_bit0 -x10413_bit0 -x10414_bit0 -x10415_bit0 -x10416_bit0 -x10417_bit0 -x10418_bit0 -x10419_bit0 -x10422_bit0 -x10423_bit0 -x10424_bit0 -x10425_bit0 -x10426_bit0 -x10427_bit0 -x10428_bit0 -x10429_bit0 -x10432_bit0 -x10433_bit0 -x10434_bit0 -x10435_bit0 -x10436_bit0 -x10437_bit0 x10438_bit0 -x10439_bit0 -x10442_bit0 -x10443_bit0 -x10444_bit0 -x10445_bit0 -x10446_bit0 -x10447_bit0 -x10448_bit0 -x10449_bit0 -x10452_bit0 -x10453_bit0 -x10454_bit0 -x10455_bit0 -x10456_bit0 -x10457_bit0 -x10458_bit0 -x10459_bit0 -x10512_bit0 -x10513_bit0 -x10514_bit0 -x10515_bit0 -x10516_bit0 -x10517_bit0 -x10518_bit0 -x10519_bit0 -x10522_bit0 -x10523_bit0 x10524_bit0 -x10525_bit0 -x10526_bit0 -x10527_bit0 -x10528_bit0 -x10529_bit0 -x10532_bit0 -x10533_bit0 -x10534_bit0 -x10535_bit0 -x10536_bit0 -x10537_bit0 -x10538_bit0 -x10539_bit0 -x10542_bit0 -x10543_bit0 -x10544_bit0 -x10545_bit0 -x10546_bit0 -x10547_bit0 -x10548_bit0 -x10549_bit0 -x10552_bit0 -x10553_bit0 -x10554_bit0 -x10555_bit0 -x10556_bit0 -x10557_bit0 -x10558_bit0 -x10559_bit0 -x10612_bit0 -x10613_bit0 -x10614_bit0 -x10615_bit0 -x10616_bit0 -x10617_bit0 -x10618_bit0 -x10619_bit0 -x10622_bit0 -x10623_bit0 -x10624_bit0 -x10625_bit0 -x10626_bit0 -x10627_bit0 -x10628_bit0 -x10629_bit0 -x10632_bit0 -x10633_bit0 -x10634_bit0 -x10635_bit0 -x10636_bit0 -x10637_bit0 -x10638_bit0 -x10639_bit0 -x10642_bit0 -x10643_bit0 -x10644_bit0 x10645_bit0 -x10646_bit0 -x10647_bit0 -x10648_bit0 -x10649_bit0 -x10652_bit0 -x10653_bit0 -x10654_bit0 -x10655_bit0 -x10656_bit0 -x10657_bit0 -x10658_bit0 -x10659_bit0 -x10712_bit0 -x10713_bit0 -x10714_bit0 -x10715_bit0 -x10716_bit0 -x10717_bit0 -x10718_bit0 -x10719_bit0 -x10722_bit0 -x10723_bit0 -x10724_bit0 -x10725_bit0 -x10726_bit0 -x10727_bit0 -x10728_bit0 -x10729_bit0 -x10732_bit0 -x10733_bit0 -x10734_bit0 -x10735_bit0 -x10736_bit0 x10737_bit0 -x10738_bit0 -x10739_bit0 -x10742_bit0 -x10743_bit0 -x10744_bit0 -x10745_bit0 -x10746_bit0 -x10747_bit0 -x10748_bit0 -x10749_bit0 -x10752_bit0 -x10753_bit0 -x10754_bit0 -x10755_bit0 -x10756_bit0 -x10757_bit0 -x10758_bit0 -x10759_bit0 -x10812_bit0 -x10813_bit0 -x10814_bit0 -x10815_bit0 -x10816_bit0 -x10817_bit0 -x10818_bit0 -x10819_bit0 -x10822_bit0 -x10823_bit0 -x10824_bit0 -x10825_bit0 -x10826_bit0 -x10827_bit0 -x10828_bit0 -x10829_bit0 -x10832_bit0 -x10833_bit0 -x10834_bit0 -x10835_bit0 -x10836_bit0 -x10837_bit0 -x10838_bit0 -x10839_bit0 -x10842_bit0 -x10843_bit0 -x10844_bit0 -x10845_bit0 -x10846_bit0 -x10847_bit0 -x10848_bit0 -x10849_bit0 -x10852_bit0 -x10853_bit0 -x10854_bit0 -x10855_bit0 x10856_bit0 -x10857_bit0 -x10858_bit0 -x10859_bit0 -x10912_bit0 -x10913_bit0 -x10914_bit0 -x10915_bit0 -x10916_bit0 -x10917_bit0 -x10918_bit0 -x10919_bit0 -x10922_bit0 -x10923_bit0 -x10924_bit0 -x10925_bit0 -x10926_bit0 -x10927_bit0 -x10928_bit0 x10929_bit0 -x10932_bit0 -x10933_bit0 -x10934_bit0 -x10935_bit0 -x10936_bit0 -x10937_bit0 -x10938_bit0 -x10939_bit0 -x10942_bit0 -x10943_bit0 -x10944_bit0 -x10945_bit0 -x10946_bit0 -x10947_bit0 -x10948_bit0 -x10949_bit0 -x10952_bit0 -x10953_bit0 -x10954_bit0 -x10955_bit0 -x10956_bit0 -x10957_bit0 -x10958_bit0 -x10959_bit0 -x11012_bit0 -x11013_bit0 -x11014_bit0 -x11015_bit0 -x11016_bit0 -x11017_bit0 -x11018_bit0 -x11019_bit0 -x11022_bit0 -x11023_bit0 -x11024_bit0 -x11025_bit0 -x11026_bit0 -x11027_bit0 -x11028_bit0 -x11029_bit0 -x11032_bit0 -x11033_bit0 -x11034_bit0 -x11035_bit0 -x11036_bit0 -x11037_bit0 -x11038_bit0 -x11039_bit0 -x11042_bit0 x11043_bit0 -x11044_bit0 -x11045_bit0 -x11046_bit0 -x11047_bit0 -x11048_bit0 -x11049_bit0 -x11052_bit0 -x11053_bit0 -x11054_bit0 -x11055_bit0 -x11056_bit0 -x11057_bit0 -x11058_bit0 -x11059_bit0 -x20312_bit0 -x20313_bit0 -x20314_bit0 -x20315_bit0 -x20316_bit0 -x20317_bit0 -x20318_bit0 -x20319_bit0 -x20322_bit0 -x20323_bit0 -x20324_bit0 -x20325_bit0 -x20326_bit0 -x20327_bit0 -x20328_bit0 -x20329_bit0 -x20332_bit0 -x20333_bit0 -x20334_bit0 -x20335_bit0 -x20336_bit0 -x20337_bit0 -x20338_bit0 -x20339_bit0 -x20342_bit0 -x20343_bit0 -x20344_bit0 -x20345_bit0 -x20346_bit0 -x20347_bit0 -x20348_bit0 x20349_bit0 -x20352_bit0 -x20353_bit0 -x20354_bit0 -x20355_bit0 -x20356_bit0 -x20357_bit0 -x20358_bit0 -x20359_bit0 -x20412_bit0 -x20413_bit0 -x20414_bit0 -x20415_bit0 -x20416_bit0 -x20417_bit0 -x20418_bit0 -x20419_bit0 -x20422_bit0 -x20423_bit0 -x20424_bit0 -x20425_bit0 -x20426_bit0 -x20427_bit0 -x20428_bit0 -x20429_bit0 -x20432_bit0 -x20433_bit0 -x20434_bit0 -x20435_bit0 -x20436_bit0 -x20437_bit0 -x20438_bit0 -x20439_bit0 -x20442_bit0 -x20443_bit0 -x20444_bit0 -x20445_bit0 -x20446_bit0 -x20447_bit0 -x20448_bit0 -x20449_bit0 -x20452_bit0 -x20453_bit0 x20454_bit0 -x20455_bit0 -x20456_bit0 -x20457_bit0 -x20458_bit0 -x20459_bit0 -x20512_bit0 -x20513_bit0 -x20514_bit0 -x20515_bit0 x20516_bit0 -x20517_bit0 -x20518_bit0 -x20519_bit0 -x20522_bit0 -x20523_bit0 -x20524_bit0 -x20525_bit0 -x20526_bit0 -x20527_bit0 -x20528_bit0 -x20529_bit0 -x20532_bit0 -x20533_bit0 -x20534_bit0 -x20535_bit0 -x20536_bit0 -x20537_bit0 -x20538_bit0 -x20539_bit0 -x20542_bit0 -x20543_bit0 -x20544_bit0 -x20545_bit0 -x20546_bit0 -x20547_bit0 -x20548_bit0 -x20549_bit0 -x20552_bit0 -x20553_bit0 -x20554_bit0 -x20555_bit0 -x20556_bit0 -x20557_bit0 -x20558_bit0 -x20559_bit0 -x20612_bit0 -x20613_bit0 -x20614_bit0 -x20615_bit0 -x20616_bit0 -x20617_bit0 -x20618_bit0 -x20619_bit0 -x20622_bit0 -x20623_bit0 -x20624_bit0 -x20625_bit0 -x20626_bit0 -x20627_bit0 -x20628_bit0 -x20629_bit0 -x20632_bit0 -x20633_bit0 -x20634_bit0 -x20635_bit0 -x20636_bit0 -x20637_bit0 -x20638_bit0 -x20639_bit0 -x20642_bit0 -x20643_bit0 -x20644_bit0 -x20645_bit0 -x20646_bit0 -x20647_bit0 x20648_bit0 -x20649_bit0 -x20652_bit0 -x20653_bit0 -x20654_bit0 -x20655_bit0 -x20656_bit0 -x20657_bit0 -x20658_bit0 -x20659_bit0 -x20712_bit0 -x20713_bit0 -x20714_bit0 -x20715_bit0 -x20716_bit0 -x20717_bit0 -x20718_bit0 -x20719_bit0 -x20722_bit0 x20723_bit0 -x20724_bit0 -x20725_bit0 -x20726_bit0 -x20727_bit0 -x20728_bit0 -x20729_bit0 -x20732_bit0 -x20733_bit0 -x20734_bit0 -x20735_bit0 -x20736_bit0 -x20737_bit0 -x20738_bit0 -x20739_bit0 -x20742_bit0 -x20743_bit0 -x20744_bit0 -x20745_bit0 -x20746_bit0 -x20747_bit0 -x20748_bit0 -x20749_bit0 -x20752_bit0 -x20753_bit0 -x20754_bit0 -x20755_bit0 -x20756_bit0 -x20757_bit0 -x20758_bit0 -x20759_bit0 -x20812_bit0 -x20813_bit0 -x20814_bit0 -x20815_bit0 -x20816_bit0 -x20817_bit0 -x20818_bit0 -x20819_bit0 -x20822_bit0 -x20823_bit0 -x20824_bit0 -x20825_bit0 -x20826_bit0 -x20827_bit0 -x20828_bit0 -x20829_bit0 -x20832_bit0 -x20833_bit0 -x20834_bit0 x20835_bit0 -x20836_bit0 -x20837_bit0 -x20838_bit0 -x20839_bit0 -x20842_bit0 -x20843_bit0 -x20844_bit0 -x20845_bit0 -x20846_bit0 -x20847_bit0 -x20848_bit0 -x20849_bit0 -x20852_bit0 -x20853_bit0 -x20854_bit0 -x20855_bit0 -x20856_bit0 -x20857_bit0 -x20858_bit0 -x20859_bit0 -x20912_bit0 -x20913_bit0 -x20914_bit0 -x20915_bit0 -x20916_bit0 -x20917_bit0 -x20918_bit0 -x20919_bit0 -x20922_bit0 -x20923_bit0 -x20924_bit0 -x20925_bit0 -x20926_bit0 -x20927_bit0 -x20928_bit0 -x20929_bit0 -x20932_bit0 -x20933_bit0 -x20934_bit0 -x20935_bit0 -x20936_bit0 -x20937_bit0 -x20938_bit0 -x20939_bit0 -x20942_bit0 -x20943_bit0 -x20944_bit0 -x20945_bit0 -x20946_bit0 -x20947_bit0 -x20948_bit0 -x20949_bit0 x20952_bit0 -x20953_bit0 -x20954_bit0 -x20955_bit0 -x20956_bit0 -x20957_bit0 -x20958_bit0 -x20959_bit0 -x21012_bit0 -x21013_bit0 -x21014_bit0 -x21015_bit0 -x21016_bit0 -x21017_bit0 -x21018_bit0 -x21019_bit0 -x21022_bit0 -x21023_bit0 -x21024_bit0 -x21025_bit0 -x21026_bit0 x21027_bit0 -x21028_bit0 -x21029_bit0 -x21032_bit0 -x21033_bit0 -x21034_bit0 -x21035_bit0 -x21036_bit0 -x21037_bit0 -x21038_bit0 -x21039_bit0 -x21042_bit0 -x21043_bit0 -x21044_bit0 -x21045_bit0 -x21046_bit0 -x21047_bit0 -x21048_bit0 -x21049_bit0 -x21052_bit0 -x21053_bit0 -x21054_bit0 -x21055_bit0 -x21056_bit0 -x21057_bit0 -x21058_bit0 -x21059_bit0 -x30412_bit0 -x30413_bit0 -x30414_bit0 -x30415_bit0 -x30416_bit0 -x30417_bit0 -x30418_bit0 -x30419_bit0 -x30422_bit0 -x30423_bit0 -x30424_bit0 -x30425_bit0 -x30426_bit0 -x30427_bit0 -x30428_bit0 -x30429_bit0 -x30432_bit0 -x30433_bit0 -x30434_bit0 -x30435_bit0 -x30436_bit0 -x30437_bit0 -x30438_bit0 -x30439_bit0 -x30442_bit0 -x30443_bit0 -x30444_bit0 -x30445_bit0 -x30446_bit0 -x30447_bit0 -x30448_bit0 -x30449_bit0 -x30452_bit0 -x30453_bit0 -x30454_bit0 -x30455_bit0 -x30456_bit0 -x30457_bit0 -x30458_bit0 -x30459_bit0 -x30512_bit0 -x30513_bit0 -x30514_bit0 -x30515_bit0 -x30516_bit0 x30517_bit0 -x30518_bit0 -x30519_bit0 -x30522_bit0 -x30523_bit0 -x30524_bit0 -x30525_bit0 -x30526_bit0 -x30527_bit0 -x30528_bit0 -x30529_bit0 -x30532_bit0 -x30533_bit0 -x30534_bit0 -x30535_bit0 -x30536_bit0 -x30537_bit0 -x30538_bit0 -x30539_bit0 -x30542_bit0 -x30543_bit0 -x30544_bit0 -x30545_bit0 -x30546_bit0 -x30547_bit0 -x30548_bit0 -x30549_bit0 -x30552_bit0 -x30553_bit0 -x30554_bit0 -x30555_bit0 -x30556_bit0 -x30557_bit0 -x30558_bit0 -x30559_bit0 -x30612_bit0 -x30613_bit0 -x30614_bit0 -x30615_bit0 -x30616_bit0 -x30617_bit0 -x30618_bit0 -x30619_bit0 -x30622_bit0 -x30623_bit0 -x30624_bit0 -x30625_bit0 -x30626_bit0 -x30627_bit0 -x30628_bit0 -x30629_bit0 -x30632_bit0 -x30633_bit0 -x30634_bit0 -x30635_bit0 -x30636_bit0 -x30637_bit0 -x30638_bit0 -x30639_bit0 -x30642_bit0 -x30643_bit0 -x30644_bit0 -x30645_bit0 -x30646_bit0 -x30647_bit0 -x30648_bit0 -x30649_bit0 -x30652_bit0 x30653_bit0 -x30654_bit0 -x30655_bit0 -x30656_bit0 -x30657_bit0 -x30658_bit0 -x30659_bit0 -x30712_bit0 -x30713_bit0 -x30714_bit0 -x30715_bit0 -x30716_bit0 -x30717_bit0 -x30718_bit0 -x30719_bit0 -x30722_bit0 -x30723_bit0 -x30724_bit0 -x30725_bit0 -x30726_bit0 -x30727_bit0 -x30728_bit0 -x30729_bit0 -x30732_bit0 -x30733_bit0 -x30734_bit0 -x30735_bit0 -x30736_bit0 -x30737_bit0 -x30738_bit0 -x30739_bit0 -x30742_bit0 -x30743_bit0 -x30744_bit0 -x30745_bit0 -x30746_bit0 -x30747_bit0 -x30748_bit0 -x30749_bit0 -x30752_bit0 -x30753_bit0 -x30754_bit0 x30755_bit0 -x30756_bit0 -x30757_bit0 -x30758_bit0 -x30759_bit0 -x30812_bit0 -x30813_bit0 -x30814_bit0 -x30815_bit0 -x30816_bit0 -x30817_bit0 -x30818_bit0 -x30819_bit0 -x30822_bit0 -x30823_bit0 -x30824_bit0 -x30825_bit0 -x30826_bit0 -x30827_bit0 -x30828_bit0 -x30829_bit0 -x30832_bit0 -x30833_bit0 x30834_bit0 -x30835_bit0 -x30836_bit0 -x30837_bit0 -x30838_bit0 -x30839_bit0 -x30842_bit0 -x30843_bit0 -x30844_bit0 -x30845_bit0 -x30846_bit0 -x30847_bit0 -x30848_bit0 -x30849_bit0 -x30852_bit0 -x30853_bit0 -x30854_bit0 -x30855_bit0 -x30856_bit0 -x30857_bit0 -x30858_bit0 -x30859_bit0 -x30912_bit0 -x30913_bit0 -x30914_bit0 -x30915_bit0 -x30916_bit0 -x30917_bit0 -x30918_bit0 -x30919_bit0 -x30922_bit0 -x30923_bit0 -x30924_bit0 -x30925_bit0 -x30926_bit0 -x30927_bit0 x30928_bit0 -x30929_bit0 -x30932_bit0 -x30933_bit0 -x30934_bit0 -x30935_bit0 -x30936_bit0 -x30937_bit0 -x30938_bit0 -x30939_bit0 -x30942_bit0 -x30943_bit0 -x30944_bit0 -x30945_bit0 -x30946_bit0 -x30947_bit0 -x30948_bit0 -x30949_bit0 -x30952_bit0 -x30953_bit0 -x30954_bit0 -x30955_bit0 -x30956_bit0 -x30957_bit0 -x30958_bit0 -x30959_bit0 -x31012_bit0 -x31013_bit0 -x31014_bit0 -x31015_bit0 -x31016_bit0 -x31017_bit0 -x31018_bit0 -x31019_bit0 -x31022_bit0 -x31023_bit0 -x31024_bit0 -x31025_bit0 -x31026_bit0 -x31027_bit0 -x31028_bit0 -x31029_bit0 -x31032_bit0 -x31033_bit0 -x31034_bit0 -x31035_bit0 -x31036_bit0 -x31037_bit0 -x31038_bit0 -x31039_bit0 -x31042_bit0 -x31043_bit0 -x31044_bit0 -x31045_bit0 x31046_bit0 -x31047_bit0 -x31048_bit0 -x31049_bit0 -x31052_bit0 -x31053_bit0 -x31054_bit0 -x31055_bit0 -x31056_bit0 -x31057_bit0 -x31058_bit0 -x31059_bit0 -x40512_bit0 -x40513_bit0 -x40514_bit0 -x40515_bit0 -x40516_bit0 -x40517_bit0 -x40518_bit0 -x40519_bit0 -x40522_bit0 -x40523_bit0 -x40524_bit0 -x40525_bit0 -x40526_bit0 -x40527_bit0 -x40528_bit0 -x40529_bit0 -x40532_bit0 -x40533_bit0 -x40534_bit0 -x40535_bit0 -x40536_bit0 -x40537_bit0 -x40538_bit0 -x40539_bit0 x40542_bit0 -x40543_bit0 -x40544_bit0 -x40545_bit0 -x40546_bit0 -x40547_bit0 -x40548_bit0 -x40549_bit0 -x40552_bit0 -x40553_bit0 -x40554_bit0 -x40555_bit0 -x40556_bit0 -x40557_bit0 -x40558_bit0 -x40559_bit0 -x40612_bit0 -x40613_bit0 -x40614_bit0 -x40615_bit0 -x40616_bit0 -x40617_bit0 -x40618_bit0 -x40619_bit0 -x40622_bit0 -x40623_bit0 -x40624_bit0 -x40625_bit0 -x40626_bit0 -x40627_bit0 -x40628_bit0 -x40629_bit0 -x40632_bit0 -x40633_bit0 -x40634_bit0 -x40635_bit0 -x40636_bit0 -x40637_bit0 -x40638_bit0 -x40639_bit0 -x40642_bit0 -x40643_bit0 -x40644_bit0 -x40645_bit0 -x40646_bit0 -x40647_bit0 -x40648_bit0 -x40649_bit0 -x40652_bit0 -x40653_bit0 -x40654_bit0 -x40655_bit0 -x40656_bit0 x40657_bit0 -x40658_bit0 -x40659_bit0 -x40712_bit0 -x40713_bit0 -x40714_bit0 -x40715_bit0 -x40716_bit0 -x40717_bit0 -x40718_bit0 -x40719_bit0 -x40722_bit0 -x40723_bit0 -x40724_bit0 -x40725_bit0 x40726_bit0 -x40727_bit0 -x40728_bit0 -x40729_bit0 -x40732_bit0 -x40733_bit0 -x40734_bit0 -x40735_bit0 -x40736_bit0 -x40737_bit0 -x40738_bit0 -x40739_bit0 -x40742_bit0 -x40743_bit0 -x40744_bit0 -x40745_bit0 -x40746_bit0 -x40747_bit0 -x40748_bit0 -x40749_bit0 -x40752_bit0 -x40753_bit0 -x40754_bit0 -x40755_bit0 -x40756_bit0 -x40757_bit0 -x40758_bit0 -x40759_bit0 -x40812_bit0 x40813_bit0 -x40814_bit0 -x40815_bit0 -x40816_bit0 -x40817_bit0 -x40818_bit0 -x40819_bit0 -x40822_bit0 -x40823_bit0 -x40824_bit0 -x40825_bit0 -x40826_bit0 -x40827_bit0 -x40828_bit0 -x40829_bit0 -x40832_bit0 -x40833_bit0 -x40834_bit0 -x40835_bit0 -x40836_bit0 -x40837_bit0 -x40838_bit0 -x40839_bit0 -x40842_bit0 -x40843_bit0 -x40844_bit0 -x40845_bit0 -x40846_bit0 -x40847_bit0 -x40848_bit0 -x40849_bit0 -x40852_bit0 -x40853_bit0 -x40854_bit0 -x40855_bit0 -x40856_bit0 -x40857_bit0 -x40858_bit0 -x40859_bit0 -x40912_bit0 -x40913_bit0 -x40914_bit0 x40915_bit0 -x40916_bit0 -x40917_bit0 -x40918_bit0 -x40919_bit0 -x40922_bit0 -x40923_bit0 -x40924_bit0 -x40925_bit0 -x40926_bit0 -x40927_bit0 -x40928_bit0 -x40929_bit0 -x40932_bit0 -x40933_bit0 -x40934_bit0 -x40935_bit0 -x40936_bit0 -x40937_bit0 -x40938_bit0 -x40939_bit0 -x40942_bit0 -x40943_bit0 -x40944_bit0 -x40945_bit0 -x40946_bit0 -x40947_bit0 -x40948_bit0 -x40949_bit0 -x40952_bit0 -x40953_bit0 -x40954_bit0 -x40955_bit0 -x40956_bit0 -x40957_bit0 -x40958_bit0 -x40959_bit0 -x41012_bit0 -x41013_bit0 -x41014_bit0 -x41015_bit0 -x41016_bit0 -x41017_bit0 -x41018_bit0 -x41019_bit0 -x41022_bit0 -x41023_bit0 -x41024_bit0 -x41025_bit0 -x41026_bit0 -x41027_bit0 -x41028_bit0 -x41029_bit0 -x41032_bit0 -x41033_bit0 -x41034_bit0 -x41035_bit0 -x41036_bit0 -x41037_bit0 -x41038_bit0 x41039_bit0 -x41042_bit0 -x41043_bit0 -x41044_bit0 -x41045_bit0 -x41046_bit0 -x41047_bit0 -x41048_bit0 -x41049_bit0 -x41052_bit0 -x41053_bit0 -x41054_bit0 -x41055_bit0 -x41056_bit0 -x41057_bit0 -x41058_bit0 -x41059_bit0 -x50612_bit0 -x50613_bit0 -x50614_bit0 -x50615_bit0 -x50616_bit0 -x50617_bit0 -x50618_bit0 -x50619_bit0 -x50622_bit0 -x50623_bit0 -x50624_bit0 -x50625_bit0 -x50626_bit0 -x50627_bit0 -x50628_bit0 -x50629_bit0 -x50632_bit0 -x50633_bit0 -x50634_bit0 -x50635_bit0 -x50636_bit0 -x50637_bit0 -x50638_bit0 -x50639_bit0 -x50642_bit0 -x50643_bit0 -x50644_bit0 -x50645_bit0 -x50646_bit0 -x50647_bit0 -x50648_bit0 -x50649_bit0 -x50652_bit0 -x50653_bit0 -x50654_bit0 -x50655_bit0 -x50656_bit0 -x50657_bit0 -x50658_bit0 -x50659_bit0 -x50712_bit0 -x50713_bit0 -x50714_bit0 -x50715_bit0 -x50716_bit0 -x50717_bit0 -x50718_bit0 -x50719_bit0 -x50722_bit0 -x50723_bit0 -x50724_bit0 -x50725_bit0 -x50726_bit0 -x50727_bit0 -x50728_bit0 -x50729_bit0 -x50732_bit0 -x50733_bit0 -x50734_bit0 -x50735_bit0 -x50736_bit0 -x50737_bit0 -x50738_bit0 -x50739_bit0 -x50742_bit0 -x50743_bit0 -x50744_bit0 -x50745_bit0 -x50746_bit0 -x50747_bit0 -x50748_bit0 -x50749_bit0 -x50752_bit0 -x50753_bit0 -x50754_bit0 -x50755_bit0 -x50756_bit0 -x50757_bit0 x50758_bit0 -x50759_bit0 -x50812_bit0 -x50813_bit0 -x50814_bit0 -x50815_bit0 -x50816_bit0 -x50817_bit0 -x50818_bit0 -x50819_bit0 -x50822_bit0 -x50823_bit0 -x50824_bit0 -x50825_bit0 -x50826_bit0 -x50827_bit0 -x50828_bit0 -x50829_bit0 -x50832_bit0 -x50833_bit0 -x50834_bit0 -x50835_bit0 -x50836_bit0 -x50837_bit0 -x50838_bit0 -x50839_bit0 -x50842_bit0 -x50843_bit0 -x50844_bit0 -x50845_bit0 -x50846_bit0 -x50847_bit0 -x50848_bit0 -x50849_bit0 -x50852_bit0 -x50853_bit0 -x50854_bit0 -x50855_bit0 -x50856_bit0 -x50857_bit0 -x50858_bit0 x50859_bit0 -x50912_bit0 -x50913_bit0 -x50914_bit0 -x50915_bit0 -x50916_bit0 -x50917_bit0 -x50918_bit0 -x50919_bit0 -x50922_bit0 -x50923_bit0 -x50924_bit0 -x50925_bit0 -x50926_bit0 -x50927_bit0 -x50928_bit0 -x50929_bit0 -x50932_bit0 x50933_bit0 -x50934_bit0 -x50935_bit0 -x50936_bit0 -x50937_bit0 -x50938_bit0 -x50939_bit0 -x50942_bit0 -x50943_bit0 -x50944_bit0 -x50945_bit0 -x50946_bit0 -x50947_bit0 -x50948_bit0 -x50949_bit0 -x50952_bit0 -x50953_bit0 -x50954_bit0 -x50955_bit0 -x50956_bit0 -x50957_bit0 -x50958_bit0 -x50959_bit0 -x51012_bit0 -x51013_bit0 -x51014_bit0 -x51015_bit0 -x51016_bit0 -x51017_bit0 -x51018_bit0 -x51019_bit0 -x51022_bit0 -x51023_bit0 -x51024_bit0 x51025_bit0 -x51026_bit0 -x51027_bit0 -x51028_bit0 -x51029_bit0 -x51032_bit0 -x51033_bit0 -x51034_bit0 -x51035_bit0 -x51036_bit0 -x51037_bit0 -x51038_bit0 -x51039_bit0 -x51042_bit0 -x51043_bit0 -x51044_bit0 -x51045_bit0 -x51046_bit0 -x51047_bit0 -x51048_bit0 -x51049_bit0 -x51052_bit0 -x51053_bit0 -x51054_bit0 -x51055_bit0 -x51056_bit0 -x51057_bit0 -x51058_bit0 -x51059_bit0 -x60712_bit0 -x60713_bit0 -x60714_bit0 -x60715_bit0 -x60716_bit0 -x60717_bit0 -x60718_bit0 x60719_bit0 -x60722_bit0 -x60723_bit0 -x60724_bit0 -x60725_bit0 -x60726_bit0 -x60727_bit0 -x60728_bit0 -x60729_bit0 -x60732_bit0 -x60733_bit0 -x60734_bit0 -x60735_bit0 -x60736_bit0 -x60737_bit0 -x60738_bit0 -x60739_bit0 -x60742_bit0 -x60743_bit0 -x60744_bit0 -x60745_bit0 -x60746_bit0 -x60747_bit0 -x60748_bit0 -x60749_bit0 -x60752_bit0 -x60753_bit0 -x60754_bit0 -x60755_bit0 -x60756_bit0 -x60757_bit0 -x60758_bit0 -x60759_bit0 -x60812_bit0 -x60813_bit0 -x60814_bit0 -x60815_bit0 -x60816_bit0 -x60817_bit0 -x60818_bit0 -x60819_bit0 x60822_bit0 -x60823_bit0 -x60824_bit0 -x60825_bit0 -x60826_bit0 -x60827_bit0 -x60828_bit0 -x60829_bit0 -x60832_bit0 -x60833_bit0 -x60834_bit0 -x60835_bit0 -x60836_bit0 -x60837_bit0 -x60838_bit0 -x60839_bit0 -x60842_bit0 -x60843_bit0 -x60844_bit0 -x60845_bit0 -x60846_bit0 -x60847_bit0 -x60848_bit0 -x60849_bit0 -x60852_bit0 -x60853_bit0 -x60854_bit0 -x60855_bit0 -x60856_bit0 -x60857_bit0 -x60858_bit0 -x60859_bit0 -x60912_bit0 -x60913_bit0 -x60914_bit0 -x60915_bit0 -x60916_bit0 -x60917_bit0 -x60918_bit0 -x60919_bit0 -x60922_bit0 -x60923_bit0 -x60924_bit0 -x60925_bit0 -x60926_bit0 -x60927_bit0 -x60928_bit0 -x60929_bit0 -x60932_bit0 -x60933_bit0 -x60934_bit0 -x60935_bit0 x60936_bit0 -x60937_bit0 -x60938_bit0 -x60939_bit0 -x60942_bit0 -x60943_bit0 -x60944_bit0 -x60945_bit0 -x60946_bit0 -x60947_bit0 -x60948_bit0 -x60949_bit0 -x60952_bit0 -x60953_bit0 -x60954_bit0 -x60955_bit0 -x60956_bit0 -x60957_bit0 -x60958_bit0 -x60959_bit0 -x61012_bit0 -x61013_bit0 x61014_bit0 -x61015_bit0 -x61016_bit0 -x61017_bit0 -x61018_bit0 -x61019_bit0 -x61022_bit0 -x61023_bit0 -x61024_bit0 -x61025_bit0 -x61026_bit0 -x61027_bit0 -x61028_bit0 -x61029_bit0 -x61032_bit0 -x61033_bit0 -x61034_bit0 -x61035_bit0 -x61036_bit0 -x61037_bit0 -x61038_bit0 -x61039_bit0 -x61042_bit0 -x61043_bit0 -x61044_bit0 -x61045_bit0 -x61046_bit0 -x61047_bit0 -x61048_bit0 -x61049_bit0 -x61052_bit0 -x61053_bit0 -x61054_bit0 -x61055_bit0 -x61056_bit0 -x61057_bit0 -x61058_bit0 -x61059_bit0 -x70812_bit0 -x70813_bit0 -x70814_bit0 -x70815_bit0 -x70816_bit0 -x70817_bit0 -x70818_bit0 -x70819_bit0 -x70822_bit0 -x70823_bit0 -x70824_bit0 -x70825_bit0 -x70826_bit0 -x70827_bit0 -x70828_bit0 -x70829_bit0 -x70832_bit0 -x70833_bit0 -x70834_bit0 -x70835_bit0 -x70836_bit0 -x70837_bit0 -x70838_bit0 -x70839_bit0 -x70842_bit0 -x70843_bit0 -x70844_bit0 -x70845_bit0 -x70846_bit0 -x70847_bit0 -x70848_bit0 -x70849_bit0 -x70852_bit0 -x70853_bit0 -x70854_bit0 -x70855_bit0 -x70856_bit0 -x70857_bit0 -x70858_bit0 -x70859_bit0 -x70912_bit0 -x70913_bit0 -x70914_bit0 -x70915_bit0 -x70916_bit0 -x70917_bit0 -x70918_bit0 -x70919_bit0 -x70922_bit0 -x70923_bit0 -x70924_bit0 -x70925_bit0 -x70926_bit0 -x70927_bit0 -x70928_bit0 -x70929_bit0 -x70932_bit0 -x70933_bit0 -x70934_bit0 -x70935_bit0 -x70936_bit0 -x70937_bit0 -x70938_bit0 -x70939_bit0 -x70942_bit0 -x70943_bit0 x70944_bit0 -x70945_bit0 -x70946_bit0 -x70947_bit0 -x70948_bit0 -x70949_bit0 -x70952_bit0 -x70953_bit0 -x70954_bit0 -x70955_bit0 -x70956_bit0 -x70957_bit0 -x70958_bit0 -x70959_bit0 -x71012_bit0 -x71013_bit0 -x71014_bit0 -x71015_bit0 -x71016_bit0 -x71017_bit0 -x71018_bit0 -x71019_bit0 -x71022_bit0 -x71023_bit0 -x71024_bit0 -x71025_bit0 -x71026_bit0 -x71027_bit0 -x71028_bit0 -x71029_bit0 x71032_bit0 -x71033_bit0 -x71034_bit0 -x71035_bit0 -x71036_bit0 -x71037_bit0 -x71038_bit0 -x71039_bit0 -x71042_bit0 -x71043_bit0 -x71044_bit0 -x71045_bit0 -x71046_bit0 -x71047_bit0 -x71048_bit0 -x71049_bit0 -x71052_bit0 -x71053_bit0 -x71054_bit0 -x71055_bit0 -x71056_bit0 -x71057_bit0 -x71058_bit0 -x71059_bit0 -x80912_bit0 -x80913_bit0 -x80914_bit0 -x80915_bit0 -x80916_bit0 -x80917_bit0 -x80918_bit0 -x80919_bit0 -x80922_bit0 -x80923_bit0 -x80924_bit0 -x80925_bit0 -x80926_bit0 -x80927_bit0 -x80928_bit0 -x80929_bit0 -x80932_bit0 -x80933_bit0 -x80934_bit0 -x80935_bit0 -x80936_bit0 -x80937_bit0 -x80938_bit0 -x80939_bit0 -x80942_bit0 -x80943_bit0 -x80944_bit0 -x80945_bit0 -x80946_bit0 x80947_bit0 -x80948_bit0 -x80949_bit0 -x80952_bit0 -x80953_bit0 -x80954_bit0 -x80955_bit0 -x80956_bit0 -x80957_bit0 -x80958_bit0 -x80959_bit0 -x81012_bit0 -x81013_bit0 -x81014_bit0 -x81015_bit0 -x81016_bit0 -x81017_bit0 x81018_bit0 -x81019_bit0 -x81022_bit0 -x81023_bit0 -x81024_bit0 -x81025_bit0 -x81026_bit0 -x81027_bit0 -x81028_bit0 -x81029_bit0 -x81032_bit0 -x81033_bit0 -x81034_bit0 -x81035_bit0 -x81036_bit0 -x81037_bit0 -x81038_bit0 -x81039_bit0 -x81042_bit0 -x81043_bit0 -x81044_bit0 -x81045_bit0 -x81046_bit0 -x81047_bit0 -x81048_bit0 -x81049_bit0 -x81052_bit0 -x81053_bit0 -x81054_bit0 -x81055_bit0 -x81056_bit0 -x81057_bit0 -x81058_bit0 -x81059_bit0 -x91012_bit0 -x91013_bit0 -x91014_bit0 -x91015_bit0 -x91016_bit0 -x91017_bit0 -x91018_bit0 -x91019_bit0 -x91022_bit0 -x91023_bit0 -x91024_bit0 -x91025_bit0 -x91026_bit0 -x91027_bit0 -x91028_bit0 -x91029_bit0 -x91032_bit0 -x91033_bit0 -x91034_bit0 -x91035_bit0 -x91036_bit0 -x91037_bit0 -x91038_bit0 -x91039_bit0 -x91042_bit0 -x91043_bit0 -x91044_bit0 -x91045_bit0 -x91046_bit0 -x91047_bit0 -x91048_bit0 -x91049_bit0 -x91052_bit0 -x91053_bit0 -x91054_bit0 -x91055_bit0 -x91056_bit0 -x91057_bit0 -x91058_bit0 -x91059_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.93 0.97 0.91 2/54 11677
Raw data (stat): 11677 (runsolver) R 11676 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969597681 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.0009 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 3858 0 0 0 987 11 0 0 25 0 1 0 969597681 13332480 2499 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3255 2499 301 301 0 2954 0
vsize: 13020
[startup+20.0012 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 4068 0 0 0 1983 16 0 0 25 0 1 0 969597681 14028800 2709 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3425 2709 301 301 0 3124 0
vsize: 13700
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 4229 0 0 0 2979 20 0 0 25 0 1 0 969597681 14434304 2870 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3524 2870 301 301 0 3223 0
vsize: 14096
[startup+40.0033 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 4394 0 0 0 3975 24 0 0 25 0 1 0 969597681 14991360 3035 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3660 3035 301 301 0 3359 0
vsize: 14640
[startup+50.0035 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 28637 0 0 0 4915 84 0 0 25 0 1 0 969597681 89829376 17626 4294967295 134512640 135730672 3221224576 3220841760 134770376 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21931 17626 301 301 0 21630 0
vsize: 87724
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 55073 0 0 0 5856 143 0 0 25 0 1 0 969597681 172544000 32874 4294967295 134512640 135730672 3221224576 3221012396 135301599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42125 32874 301 301 0 41824 0
vsize: 168500
[startup+70.0064 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 93459 0 0 0 6777 222 0 0 25 0 1 0 969597681 347852800 61378 4294967295 134512640 135730672 3221224576 3220531488 134788517 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84925 61378 301 301 0 84624 0
vsize: 339700
[startup+80.0066 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 107778 0 0 0 7743 255 0 0 25 0 1 0 969597681 337424384 63211 4294967295 134512640 135730672 3221224576 3220598568 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 82379 63211 301 301 0 82078 0
vsize: 329516
[startup+90.0078 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 126405 0 0 0 8702 297 0 0 25 0 1 0 969597681 373424128 81614 4294967295 134512640 135730672 3221224576 3221222600 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91168 81614 301 301 0 90867 0
vsize: 364672
[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 131556 0 0 0 9693 307 0 0 25 0 1 0 969597681 385204224 83604 4294967295 134512640 135730672 3221224576 3221222800 134747627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94044 83604 301 301 0 93743 0
vsize: 376176
[startup+110.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 136669 0 0 0 10683 317 0 0 25 0 1 0 969597681 399798272 86157 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97607 86158 301 301 0 97306 0
vsize: 390428
[startup+120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 141197 0 0 0 11674 325 0 0 25 0 1 0 969597681 412463104 88159 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100699 88159 301 301 0 100398 0
vsize: 402796
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 143824 0 0 0 12670 330 0 0 25 0 1 0 969597681 421060608 89615 4294967295 134512640 135730672 3221224576 3221222844 135301630 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102798 89623 301 301 0 102497 0
vsize: 411192
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 146814 0 0 0 13665 335 0 0 25 0 1 0 969597681 429101056 90920 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104761 90920 301 301 0 104460 0
vsize: 419044
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 147984 0 0 0 14663 337 0 0 25 0 1 0 969597681 432672768 91601 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105633 91601 301 301 0 105332 0
vsize: 422532
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 148916 0 0 0 15661 339 0 0 25 0 1 0 969597681 435724288 92173 4294967295 134512640 135730672 3221224576 3221222948 134748260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106378 92173 301 301 0 106077 0
vsize: 425512
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 150943 0 0 0 16658 343 0 0 25 0 1 0 969597681 441122816 93194 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107696 93194 301 301 0 107395 0
vsize: 430784
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 151939 0 0 0 17656 345 0 0 25 0 1 0 969597681 443351040 93638 4294967295 134512640 135730672 3221224576 3221222960 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108240 93638 301 301 0 107939 0
vsize: 432960
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 153950 0 0 0 18654 348 0 0 25 0 1 0 969597681 448602112 94484 4294967295 134512640 135730672 3221224576 3221222800 134747483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109522 94484 301 301 0 109221 0
vsize: 438088
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 155529 0 0 0 19651 350 0 0 25 0 1 0 969597681 453607424 95192 4294967295 134512640 135730672 3221224576 3221222800 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110744 95192 301 301 0 110443 0
vsize: 442976
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 156382 0 0 0 20650 352 0 0 25 0 1 0 969597681 455573504 95557 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111224 95557 301 301 0 110923 0
vsize: 444896
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 158558 0 0 0 21646 355 0 0 25 0 1 0 969597681 462159872 96661 4294967295 134512640 135730672 3221224576 3221222844 135301630 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112832 96669 301 301 0 112531 0
vsize: 451328
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 160653 0 0 0 22643 359 0 0 25 0 1 0 969597681 466878464 97497 4294967295 134512640 135730672 3221224576 3221222800 134747960 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113984 97497 301 301 0 113683 0
vsize: 455936
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 162439 0 0 0 23640 362 0 0 25 0 1 0 969597681 471465984 98156 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115104 98156 301 301 0 114803 0
vsize: 460416
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 163324 0 0 0 24639 363 0 0 25 0 1 0 969597681 473833472 98586 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115682 98586 301 301 0 115381 0
vsize: 462728
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 165611 0 0 0 25635 368 0 0 25 0 1 0 969597681 480137216 99517 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117221 99517 301 301 0 116920 0
vsize: 468884
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 166538 0 0 0 26634 369 0 0 25 0 1 0 969597681 482766848 99926 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117863 99926 301 301 0 117562 0
vsize: 471452
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 168034 0 0 0 27631 372 0 0 25 0 1 0 969597681 486440960 100599 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118760 100599 301 301 0 118459 0
vsize: 475040
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 168413 0 0 0 28630 373 0 0 25 0 1 0 969597681 487493632 100783 4294967295 134512640 135730672 3221224576 3221222992 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119017 100783 301 301 0 118716 0
vsize: 476068
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 169493 0 0 0 29628 375 0 0 25 0 1 0 969597681 489852928 101283 4294967295 134512640 135730672 3221224576 3221222896 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119593 101283 301 301 0 119292 0
vsize: 478372
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 170901 0 0 0 30625 378 0 0 25 0 1 0 969597681 493654016 101757 4294967295 134512640 135730672 3221224576 3221222800 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120521 101757 301 301 0 120220 0
vsize: 482084
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 171533 0 0 0 31625 379 0 0 25 0 1 0 969597681 494964736 102066 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120841 102066 301 301 0 120540 0
vsize: 483364
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 171589 0 0 0 32625 379 0 0 25 0 1 0 969597681 494964736 102122 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120841 102122 301 301 0 120540 0
vsize: 483364
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 172487 0 0 0 33623 381 0 0 25 0 1 0 969597681 497061888 102505 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121353 102505 301 301 0 121052 0
vsize: 485412
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 173521 0 0 0 34621 384 0 0 25 0 1 0 969597681 499552256 102924 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121961 102924 301 301 0 121660 0
vsize: 487844
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 174122 0 0 0 35619 385 0 0 25 0 1 0 969597681 500862976 103203 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122281 103203 301 301 0 121980 0
vsize: 489124
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 175196 0 0 0 36618 387 0 0 25 0 1 0 969597681 503746560 103568 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122985 103568 301 301 0 122684 0
vsize: 491940
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 176408 0 0 0 37616 389 0 0 25 0 1 0 969597681 506892288 104006 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 123753 104006 301 301 0 123452 0
vsize: 495012
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 177887 0 0 0 38613 392 0 0 25 0 1 0 969597681 510697472 104614 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 124682 104614 301 301 0 124381 0
vsize: 498728
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 178668 0 0 0 39612 393 0 0 25 0 1 0 969597681 512532480 104944 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 125130 104944 301 301 0 124829 0
vsize: 500520
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 179411 0 0 0 40611 395 0 0 25 0 1 0 969597681 514367488 105235 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 125578 105235 301 301 0 125277 0
vsize: 502312
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 180344 0 0 0 41609 396 0 0 25 0 1 0 969597681 516464640 105653 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 126090 105653 301 301 0 125789 0
vsize: 504360
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 182523 0 0 0 42605 401 0 0 25 0 1 0 969597681 521445376 106608 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 127306 106608 301 301 0 127005 0
vsize: 509224
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 185210 0 0 0 43601 405 0 0 25 0 1 0 969597681 530702336 108068 4294967295 134512640 135730672 3221224576 3221222960 134748676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129566 108068 301 301 0 129265 0
vsize: 518264
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 185303 0 0 0 44601 405 0 0 25 0 1 0 969597681 530702336 108161 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129566 108161 301 301 0 129265 0
vsize: 518264
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 185768 0 0 0 45600 406 0 0 25 0 1 0 969597681 531750912 108367 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129822 108367 301 301 0 129521 0
vsize: 519288
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 185992 0 0 0 46600 407 0 0 25 0 1 0 969597681 532144128 108493 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129918 108493 301 301 0 129617 0
vsize: 519672
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 186754 0 0 0 47598 408 0 0 25 0 1 0 969597681 533716992 108867 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130302 108867 301 301 0 130001 0
vsize: 521208
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 187212 0 0 0 48598 409 0 0 25 0 1 0 969597681 535031808 109066 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130623 109066 301 301 0 130322 0
vsize: 522492
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 188177 0 0 0 49597 410 0 0 25 0 1 0 969597681 537522176 109418 4294967295 134512640 135730672 3221224576 3221222800 134747528 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 131231 109418 301 301 0 130930 0
vsize: 524924
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 189386 0 0 0 50595 413 0 0 25 0 1 0 969597681 541474816 109886 4294967295 134512640 135730672 3221224576 3221222928 134748249 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 132196 109886 301 301 0 131895 0
vsize: 528784
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 190294 0 0 0 51593 414 0 0 25 0 1 0 969597681 543715328 110437 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 132743 110437 301 301 0 132442 0
vsize: 530972
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 191312 0 0 0 52592 416 0 0 25 0 1 0 969597681 546336768 110812 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133383 110812 301 301 0 133082 0
vsize: 533532
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 191629 0 0 0 53591 417 0 0 25 0 1 0 969597681 547123200 110935 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133575 110935 301 301 0 133274 0
vsize: 534300
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 191906 0 0 0 54591 417 0 0 25 0 1 0 969597681 548171776 110955 4294967295 134512640 135730672 3221224576 3221222896 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133831 110955 301 301 0 133530 0
vsize: 535324
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 192907 0 0 0 55589 419 0 0 25 0 1 0 969597681 550924288 111278 4294967295 134512640 135730672 3221224576 3221222892 134747723 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134503 111278 301 301 0 134202 0
vsize: 538012
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 193602 0 0 0 56588 421 0 0 25 0 1 0 969597681 552497152 111587 4294967295 134512640 135730672 3221224576 3221222800 134747613 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134887 111588 301 301 0 134586 0
vsize: 539548
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 194724 0 0 0 57586 423 0 0 25 0 1 0 969597681 555642880 111938 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135655 111938 301 301 0 135354 0
vsize: 542620
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 194728 0 0 0 58586 423 0 0 25 0 1 0 969597681 555642880 111942 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135655 111942 301 301 0 135354 0
vsize: 542620
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 195281 0 0 0 59585 424 0 0 25 0 1 0 969597681 557223936 112236 4294967295 134512640 135730672 3221224576 3221222800 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136041 112236 301 301 0 135740 0
vsize: 544164
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 195283 0 0 0 60585 424 0 0 25 0 1 0 969597681 557223936 112238 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136041 112238 301 301 0 135740 0
vsize: 544164
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 195707 0 0 0 61585 425 0 0 25 0 1 0 969597681 558272512 112405 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136297 112405 301 301 0 135996 0
vsize: 545188
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 196570 0 0 0 62583 427 0 0 25 0 1 0 969597681 561172480 112817 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137005 112817 301 301 0 136704 0
vsize: 548020
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 197002 0 0 0 63582 428 0 0 25 0 1 0 969597681 562221056 112991 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137261 112991 301 301 0 136960 0
vsize: 549044
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 197825 0 0 0 64581 429 0 0 25 0 1 0 969597681 564580352 113234 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137837 113234 301 301 0 137536 0
vsize: 551348
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 197840 0 0 0 65581 430 0 0 25 0 1 0 969597681 564580352 113249 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137837 113249 301 301 0 137536 0
vsize: 551348
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 198047 0 0 0 66580 430 0 0 25 0 1 0 969597681 565104640 113327 4294967295 134512640 135730672 3221224576 3221222784 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137965 113327 301 301 0 137664 0
vsize: 551860
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 199174 0 0 0 67578 432 0 0 25 0 1 0 969597681 568250368 113682 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 138733 113682 301 301 0 138432 0
vsize: 554932
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 199175 0 0 0 68578 433 0 0 25 0 1 0 969597681 568250368 113683 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 138733 113683 301 301 0 138432 0
vsize: 554932
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 200385 0 0 0 69576 435 0 0 25 0 1 0 969597681 571396096 114121 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139501 114121 301 301 0 139200 0
vsize: 558004
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 200776 0 0 0 70575 436 0 0 25 0 1 0 969597681 572444672 114255 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139757 114255 301 301 0 139456 0
vsize: 559028
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 200866 0 0 0 71575 436 0 0 25 0 1 0 969597681 572444672 114345 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139757 114345 301 301 0 139456 0
vsize: 559028
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 201014 0 0 0 72575 436 0 0 25 0 1 0 969597681 572706816 114428 4294967295 134512640 135730672 3221224576 3221222800 134747624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139821 114428 301 301 0 139520 0
vsize: 559284
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 201059 0 0 0 73575 437 0 0 25 0 1 0 969597681 572706816 114473 4294967295 134512640 135730672 3221224576 3221222800 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139821 114473 301 301 0 139520 0
vsize: 559284
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 201463 0 0 0 74574 438 0 0 25 0 1 0 969597681 573755392 114618 4294967295 134512640 135730672 3221224576 3221222800 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 140077 114618 301 301 0 139776 0
vsize: 560308
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 201469 0 0 0 75575 438 0 0 25 0 1 0 969597681 573755392 114624 4294967295 134512640 135730672 3221224576 3221222800 134747899 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 140077 114624 301 301 0 139776 0
vsize: 560308
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 202037 0 0 0 76573 439 0 0 25 0 1 0 969597681 575328256 114806 4294967295 134512640 135730672 3221224576 3221222800 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140461 114806 301 301 0 140160 0
vsize: 561844
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 202278 0 0 0 77572 439 0 0 25 0 1 0 969597681 575852544 114918 4294967295 134512640 135730672 3221224576 3221222800 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140589 114918 301 301 0 140288 0
vsize: 562356
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 202384 0 0 0 78572 440 0 0 25 0 1 0 969597681 575852544 115024 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 140589 115024 301 301 0 140288 0
vsize: 562356
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 203124 0 0 0 79571 441 0 0 25 0 1 0 969597681 577687552 115313 4294967295 134512640 135730672 3221224576 3221222800 134747957 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141037 115313 301 301 0 140736 0
vsize: 564148
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 203237 0 0 0 80571 441 0 0 25 0 1 0 969597681 577687552 115426 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141037 115426 301 301 0 140736 0
vsize: 564148
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 204946 0 0 0 81568 445 0 0 25 0 1 0 969597681 582549504 116133 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142224 116133 301 301 0 141923 0
vsize: 568896
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 205706 0 0 0 82566 446 0 0 25 0 1 0 969597681 584646656 116379 4294967295 134512640 135730672 3221224576 3221222924 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142736 116379 301 301 0 142435 0
vsize: 570944
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 205980 0 0 0 83566 447 0 0 25 0 1 0 969597681 585433088 116459 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142928 116459 301 301 0 142627 0
vsize: 571712
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 205982 0 0 0 84566 447 0 0 25 0 1 0 969597681 585433088 116461 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142928 116461 301 301 0 142627 0
vsize: 571712
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 206248 0 0 0 85566 447 0 0 25 0 1 0 969597681 585957376 116598 4294967295 134512640 135730672 3221224576 3221222800 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143056 116598 301 301 0 142755 0
vsize: 572224
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 206262 0 0 0 86566 447 0 0 25 0 1 0 969597681 585957376 116612 4294967295 134512640 135730672 3221224576 3221222800 134747634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143056 116612 301 301 0 142755 0
vsize: 572224
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 206699 0 0 0 87565 448 0 0 25 0 1 0 969597681 587010048 116855 4294967295 134512640 135730672 3221224576 3221222992 134748420 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143313 116855 301 301 0 143012 0
vsize: 573252
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 207023 0 0 0 88565 449 0 0 25 0 1 0 969597681 587665408 117016 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143473 117016 301 301 0 143172 0
vsize: 573892
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 207402 0 0 0 89564 450 0 0 25 0 1 0 969597681 588713984 117138 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143729 117138 301 301 0 143428 0
vsize: 574916
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 208102 0 0 0 90563 451 0 0 25 0 1 0 969597681 590811136 117324 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144241 117324 301 301 0 143940 0
vsize: 576964
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 208514 0 0 0 91562 452 0 0 25 0 1 0 969597681 591859712 117479 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144497 117479 301 301 0 144196 0
vsize: 577988
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 208515 0 0 0 92563 452 0 0 25 0 1 0 969597681 591859712 117480 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144497 117480 301 301 0 144196 0
vsize: 577988
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 208989 0 0 0 93562 453 0 0 25 0 1 0 969597681 592908288 117696 4294967295 134512640 135730672 3221224576 3221222800 134747950 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144753 117696 301 301 0 144452 0
vsize: 579012
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 209584 0 0 0 94562 454 0 0 25 0 1 0 969597681 594481152 117905 4294967295 134512640 135730672 3221224576 3221222928 134748101 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145137 117905 301 301 0 144836 0
vsize: 580548
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 209585 0 0 0 95561 454 0 0 25 0 1 0 969597681 594481152 117906 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145137 117906 301 301 0 144836 0
vsize: 580548
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 210013 0 0 0 96561 455 0 0 25 0 1 0 969597681 595529728 118077 4294967295 134512640 135730672 3221224576 3221222992 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145393 118077 301 301 0 145092 0
vsize: 581572
[startup+980.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 210015 0 0 0 97561 455 0 0 25 0 1 0 969597681 595529728 118079 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145393 118079 301 301 0 145092 0
vsize: 581572
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 210329 0 0 0 98561 455 0 0 25 0 1 0 969597681 596578304 118136 4294967295 134512640 135730672 3221224576 3221222960 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145649 118136 301 301 0 145348 0
vsize: 582596
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 210330 0 0 0 99560 456 0 0 25 0 1 0 969597681 596578304 118137 4294967295 134512640 135730672 3221224576 3221222800 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145649 118137 301 301 0 145348 0
vsize: 582596
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 210716 0 0 0 100560 456 0 0 25 0 1 0 969597681 597626880 118266 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145905 118266 301 301 0 145604 0
vsize: 583620
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 211372 0 0 0 101558 458 0 0 25 0 1 0 969597681 599465984 118600 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146354 118600 301 301 0 146053 0
vsize: 585416
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 211389 0 0 0 102558 458 0 0 25 0 1 0 969597681 599465984 118617 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146354 118617 301 301 0 146053 0
vsize: 585416
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 211422 0 0 0 103558 458 0 0 25 0 1 0 969597681 599465984 118650 4294967295 134512640 135730672 3221224576 3221222928 134748111 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146354 118650 301 301 0 146053 0
vsize: 585416
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 211424 0 0 0 104558 458 0 0 25 0 1 0 969597681 599465984 118652 4294967295 134512640 135730672 3221224576 3221222784 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146354 118652 301 301 0 146053 0
vsize: 585416
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 211427 0 0 0 105559 458 0 0 25 0 1 0 969597681 599465984 118655 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146354 118655 301 301 0 146053 0
vsize: 585416
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 211429 0 0 0 106559 458 0 0 25 0 1 0 969597681 599465984 118657 4294967295 134512640 135730672 3221224576 3221222928 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146354 118657 301 301 0 146053 0
vsize: 585416
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 211629 0 0 0 107559 458 0 0 25 0 1 0 969597681 599990272 118728 4294967295 134512640 135730672 3221224576 3221222800 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146482 118728 301 301 0 146181 0
vsize: 585928
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 211799 0 0 0 108558 459 0 0 25 0 1 0 969597681 600514560 118769 4294967295 134512640 135730672 3221224576 3221222784 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146610 118769 301 301 0 146309 0
vsize: 586440
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 211808 0 0 0 109558 459 0 0 25 0 1 0 969597681 600514560 118778 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146610 118778 301 301 0 146309 0
vsize: 586440
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 211814 0 0 0 110558 459 0 0 25 0 1 0 969597681 600514560 118784 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146610 118784 301 301 0 146309 0
vsize: 586440
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 211821 0 0 0 111559 459 0 0 25 0 1 0 969597681 600514560 118791 4294967295 134512640 135730672 3221224576 3221222800 134747613 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146610 118791 301 301 0 146309 0
vsize: 586440
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 211826 0 0 0 112559 459 0 0 25 0 1 0 969597681 600514560 118796 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146610 118796 301 301 0 146309 0
vsize: 586440
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 211833 0 0 0 113559 459 0 0 25 0 1 0 969597681 600514560 118803 4294967295 134512640 135730672 3221224576 3221222800 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146610 118803 301 301 0 146309 0
vsize: 586440
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 212803 0 0 0 114557 462 0 0 25 0 1 0 969597681 603668480 119258 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147380 119258 301 301 0 147079 0
vsize: 589520
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 212805 0 0 0 115557 462 0 0 25 0 1 0 969597681 603668480 119260 4294967295 134512640 135730672 3221224576 3221222800 134747618 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147380 119260 301 301 0 147079 0
vsize: 589520
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 213148 0 0 0 116556 462 0 0 25 0 1 0 969597681 604717056 119346 4294967295 134512640 135730672 3221224576 3221222960 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147636 119346 301 301 0 147335 0
vsize: 590544
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 213152 0 0 0 117557 462 0 0 25 0 1 0 969597681 604717056 119350 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147636 119350 301 301 0 147335 0
vsize: 590544
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 213368 0 0 0 118556 463 0 0 25 0 1 0 969597681 605241344 119437 4294967295 134512640 135730672 3221224576 3221222992 134748503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147764 119437 301 301 0 147463 0
vsize: 591056
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 213371 0 0 0 119556 463 0 0 25 0 1 0 969597681 605241344 119440 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147764 119440 301 301 0 147463 0
vsize: 591056
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.28 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 11677
Raw data (stat): 11677 (pb2sat-v2) R 11676 7266 7265 0 -1 0 213371 0 0 0 119556 463 0 0 25 0 1 0 969597681 605241344 119440 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147764 119440 301 301 0 147463 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.28
CPU time (s): 1202.45
CPU user time (s): 1197.57
CPU system time (s): 4.87626
CPU usage (%): 100.013
Max. virtual memory (Kb): 591056
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	996
#### END VERIFIER DATA ####