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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-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	912
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.97
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 42890

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 17:32:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26096 boxname=wulflinc6 idbench=1396 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  130bea0863cb3f92addf09aabe15daa3  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-10teams.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-10teams.opb
IDLAUNCH: 26096
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        615920 kB
Buffers:         26592 kB
Cached:         369460 kB
SwapCached:       1000 kB
Active:          29680 kB
Inactive:       368532 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        615668 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            14820 kB
Committed_AS:    63836 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 17:52:03 (client local time) WITH STATUS 0 IN 1202.68 SECONDS
stats: 26096 0 1202.68 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.91 0.95 0.90 2/54 23892
Raw data (stat): 23892 (runsolver) R 23891 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972585375 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+9.99994 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 3860 0 0 0 988 11 0 0 25 0 1 0 972585375 13332480 2501 4294967295 134512640 135730672 3221224576 3221222896 134732532 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3255 2501 301 301 0 2954 0
vsize: 13020
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 4077 0 0 0 1984 15 0 0 25 0 1 0 972585375 14028800 2718 4294967295 134512640 135730672 3221224576 3221223088 135283013 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3425 2718 301 301 0 3124 0
vsize: 13700
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 4255 0 0 0 2982 18 0 0 25 0 1 0 972585375 14565376 2896 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3556 2896 301 301 0 3255 0
vsize: 14224
[startup+40.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 5091 0 0 0 3977 23 0 0 25 0 1 0 972585375 18571264 3725 4294967295 134512640 135730672 3221224576 3220846716 134788405 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4534 3725 301 301 0 4233 0
vsize: 18136
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 31416 0 0 0 4920 80 0 0 25 0 1 0 972585375 93884416 20373 4294967295 134512640 135730672 3221224576 3220474704 134786923 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22921 20374 301 301 0 22620 0
vsize: 91684
[startup+60.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 58186 0 0 0 5865 136 0 0 25 0 1 0 972585375 177004544 35951 4294967295 134512640 135730672 3221224576 3220583880 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43214 35952 301 301 0 42913 0
vsize: 172856
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 97179 0 0 0 6789 212 0 0 25 0 1 0 972585375 297517056 52774 4294967295 134512640 135730672 3221224576 3220550336 134786308 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72636 52774 301 301 0 72335 0
vsize: 290544
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 111311 0 0 0 7760 241 0 0 25 0 1 0 972585375 342425600 66704 4294967295 134512640 135730672 3221224576 3221026864 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83600 66704 301 301 0 83299 0
vsize: 334400
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 127329 0 0 0 8725 276 0 0 25 0 1 0 972585375 369995776 80644 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90364 80645 301 301 0 90063 0
vsize: 361324
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 132458 0 0 0 9715 286 0 0 25 0 1 0 972585375 388235264 84145 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94784 84145 301 301 0 94483 0
vsize: 379136
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 137709 0 0 0 10706 296 0 0 25 0 1 0 972585375 402432000 86678 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98250 86678 301 301 0 97949 0
vsize: 393000
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 141466 0 0 0 11701 302 0 0 25 0 1 0 972585375 413396992 88330 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100927 88330 301 301 0 100626 0
vsize: 403708
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 144856 0 0 0 12696 307 0 0 25 0 1 0 972585375 423096320 90001 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103295 90001 301 301 0 102994 0
vsize: 413180
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 147105 0 0 0 13692 311 0 0 25 0 1 0 972585375 430166016 91112 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105021 91112 301 301 0 104720 0
vsize: 420084
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 148144 0 0 0 14690 314 0 0 25 0 1 0 972585375 433344512 91728 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105797 91728 301 301 0 105496 0
vsize: 423188
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 149672 0 0 0 15688 316 0 0 25 0 1 0 972585375 437833728 92540 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106893 92540 301 301 0 106592 0
vsize: 427572
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 151488 0 0 0 16685 320 0 0 25 0 1 0 972585375 442433536 93415 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108016 93415 301 301 0 107715 0
vsize: 432064
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 151973 0 0 0 17684 320 0 0 25 0 1 0 972585375 443351040 93672 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108240 93672 301 301 0 107939 0
vsize: 432960
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 154119 0 0 0 18680 325 0 0 25 0 1 0 972585375 449126400 94524 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109650 94524 301 301 0 109349 0
vsize: 438600
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 155530 0 0 0 19678 328 0 0 25 0 1 0 972585375 453607424 95193 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110744 95193 301 301 0 110443 0
vsize: 442976
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 156693 0 0 0 20675 330 0 0 25 0 1 0 972585375 456495104 95705 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111449 95705 301 301 0 111148 0
vsize: 445796
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 158833 0 0 0 21672 334 0 0 25 0 1 0 972585375 462417920 96742 4294967295 134512640 135730672 3221224576 3221222992 134748433 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112895 96742 301 301 0 112594 0
vsize: 451580
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 161446 0 0 0 22667 339 0 0 25 0 1 0 972585375 468844544 97806 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114464 97806 301 301 0 114163 0
vsize: 457856
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 162647 0 0 0 23665 341 0 0 25 0 1 0 972585375 471990272 98234 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115232 98234 301 301 0 114931 0
vsize: 460928
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 163962 0 0 0 24663 344 0 0 25 0 1 0 972585375 475676672 98901 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116132 98901 301 301 0 115831 0
vsize: 464528
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 165708 0 0 0 25661 347 0 0 25 0 1 0 972585375 480399360 99549 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117285 99549 301 301 0 116984 0
vsize: 469140
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 166538 0 0 0 26660 348 0 0 25 0 1 0 972585375 482766848 99926 4294967295 134512640 135730672 3221224576 3221222624 134732518 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 168078 0 0 0 27658 350 0 0 25 0 1 0 972585375 486707200 100643 4294967295 134512640 135730672 3221224576 3221222992 134748420 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118825 100643 301 301 0 118524 0
vsize: 475300
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 168527 0 0 0 28657 351 0 0 25 0 1 0 972585375 487755776 100832 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119081 100832 301 301 0 118780 0
vsize: 476324
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 169499 0 0 0 29656 353 0 0 25 0 1 0 972585375 489852928 101289 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119593 101289 301 301 0 119292 0
vsize: 478372
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 171181 0 0 0 30653 356 0 0 25 0 1 0 972585375 494178304 101908 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120649 101908 301 301 0 120348 0
vsize: 482596
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 171588 0 0 0 31652 357 0 0 25 0 1 0 972585375 494964736 102121 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120841 102121 301 301 0 120540 0
vsize: 483364
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 171810 0 0 0 32652 358 0 0 25 0 1 0 972585375 495489024 102214 4294967295 134512640 135730672 3221224576 3221222928 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120969 102214 301 301 0 120668 0
vsize: 483876
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 172495 0 0 0 33651 359 0 0 25 0 1 0 972585375 497061888 102513 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121353 102513 301 301 0 121052 0
vsize: 485412
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 174009 0 0 0 34647 363 0 0 25 0 1 0 972585375 500600832 103155 4294967295 134512640 135730672 3221224576 3221222960 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122217 103155 301 301 0 121916 0
vsize: 488868
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 174191 0 0 0 35647 364 0 0 25 0 1 0 972585375 501125120 103207 4294967295 134512640 135730672 3221224576 3221222800 134747594 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122345 103207 301 301 0 122044 0
vsize: 489380
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 175197 0 0 0 36646 365 0 0 25 0 1 0 972585375 503746560 103569 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122985 103569 301 301 0 122684 0
vsize: 491940
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 176840 0 0 0 37643 368 0 0 25 0 1 0 972585375 507940864 104181 4294967295 134512640 135730672 3221224576 3221222784 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 124009 104181 301 301 0 123708 0
vsize: 496036
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 178609 0 0 0 38641 371 0 0 25 0 1 0 972585375 512532480 104885 4294967295 134512640 135730672 3221224576 3221222928 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 125130 104885 301 301 0 124829 0
vsize: 500520
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 178669 0 0 0 39641 371 0 0 25 0 1 0 972585375 512532480 104945 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 125130 104945 301 301 0 124829 0
vsize: 500520
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 179447 0 0 0 40641 372 0 0 25 0 1 0 972585375 514367488 105271 4294967295 134512640 135730672 3221224576 3221222928 134748200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 125578 105271 301 301 0 125277 0
vsize: 502312
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 181042 0 0 0 41638 375 0 0 25 0 1 0 972585375 518037504 105965 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 126474 105965 301 301 0 126173 0
vsize: 505896
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 182992 0 0 0 42635 378 0 0 25 0 1 0 972585375 523976704 107077 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 127924 107077 301 301 0 127623 0
vsize: 511696
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 185211 0 0 0 43630 383 0 0 25 0 1 0 972585375 530702336 108069 4294967295 134512640 135730672 3221224576 3221222928 134748141 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129566 108069 301 301 0 129265 0
vsize: 518264
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 185303 0 0 0 44631 383 0 0 25 0 1 0 972585375 530702336 108161 4294967295 134512640 135730672 3221224576 3221222624 134732518 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 185793 0 0 0 45630 384 0 0 25 0 1 0 972585375 531750912 108392 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129822 108392 301 301 0 129521 0
vsize: 519288
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 186272 0 0 0 46630 385 0 0 25 0 1 0 972585375 532668416 108644 4294967295 134512640 135730672 3221224576 3221222784 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130046 108644 301 301 0 129745 0
vsize: 520184
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 186764 0 0 0 47629 386 0 0 25 0 1 0 972585375 533716992 108877 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130302 108877 301 301 0 130001 0
vsize: 521208
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 188176 0 0 0 48626 389 0 0 25 0 1 0 972585375 537522176 109417 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 131231 109417 301 301 0 130930 0
vsize: 524924
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 188205 0 0 0 49626 389 0 0 25 0 1 0 972585375 537657344 109446 4294967295 134512640 135730672 3221224576 3221222800 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 131264 109446 301 301 0 130963 0
vsize: 525056
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 189387 0 0 0 50624 392 0 0 25 0 1 0 972585375 541474816 109887 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 132196 109887 301 301 0 131895 0
vsize: 528784
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 190294 0 0 0 51623 394 0 0 25 0 1 0 972585375 543715328 110437 4294967295 134512640 135730672 3221224576 3221222624 134732518 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 191313 0 0 0 52621 396 0 0 25 0 1 0 972585375 546336768 110813 4294967295 134512640 135730672 3221224576 3221222960 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133383 110813 301 301 0 133082 0
vsize: 533532
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 191629 0 0 0 53621 397 0 0 25 0 1 0 972585375 547123200 110935 4294967295 134512640 135730672 3221224576 3221222800 134747568 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 191907 0 0 0 54620 397 0 0 25 0 1 0 972585375 548171776 110956 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133831 110956 301 301 0 133530 0
vsize: 535324
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 192907 0 0 0 55619 399 0 0 25 0 1 0 972585375 550924288 111278 4294967295 134512640 135730672 3221224576 3221222800 134747541 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 194002 0 0 0 56617 401 0 0 25 0 1 0 972585375 553545728 111730 4294967295 134512640 135730672 3221224576 3221222800 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135143 111730 301 301 0 134842 0
vsize: 540572
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 194724 0 0 0 57616 403 0 0 25 0 1 0 972585375 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 194759 0 0 0 58616 403 0 0 25 0 1 0 972585375 555642880 111973 4294967295 134512640 135730672 3221224576 3221222800 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135655 111973 301 301 0 135354 0
vsize: 542620
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 195281 0 0 0 59616 404 0 0 25 0 1 0 972585375 557223936 112236 4294967295 134512640 135730672 3221224576 3221222800 134747613 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 195284 0 0 0 60616 404 0 0 25 0 1 0 972585375 557223936 112239 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136041 112239 301 301 0 135740 0
vsize: 544164
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 196146 0 0 0 61615 405 0 0 25 0 1 0 972585375 559857664 112650 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136684 112650 301 301 0 136383 0
vsize: 546736
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 196755 0 0 0 62614 406 0 0 25 0 1 0 972585375 561696768 112873 4294967295 134512640 135730672 3221224576 3221222924 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137133 112873 301 301 0 136832 0
vsize: 548532
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 197002 0 0 0 63614 407 0 0 25 0 1 0 972585375 562221056 112991 4294967295 134512640 135730672 3221224576 3221222800 134747541 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 197839 0 0 0 64613 408 0 0 25 0 1 0 972585375 564580352 113248 4294967295 134512640 135730672 3221224576 3221222928 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137837 113248 301 301 0 137536 0
vsize: 551348
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 197850 0 0 0 65613 408 0 0 25 0 1 0 972585375 564580352 113259 4294967295 134512640 135730672 3221224576 3221222896 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137837 113259 301 301 0 137536 0
vsize: 551348
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 198047 0 0 0 66613 409 0 0 25 0 1 0 972585375 565104640 113327 4294967295 134512640 135730672 3221224576 3221222624 134732476 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 199174 0 0 0 67612 411 0 0 25 0 1 0 972585375 568250368 113682 4294967295 134512640 135730672 3221224576 3221222992 134748449 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 199197 0 0 0 68612 411 0 0 25 0 1 0 972585375 568250368 113705 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 138733 113705 301 301 0 138432 0
vsize: 554932
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 200385 0 0 0 69610 413 0 0 25 0 1 0 972585375 571396096 114121 4294967295 134512640 135730672 3221224576 3221222800 134747741 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 200777 0 0 0 70610 414 0 0 25 0 1 0 972585375 572444672 114256 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139757 114256 301 301 0 139456 0
vsize: 559028
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 200991 0 0 0 71609 415 0 0 25 0 1 0 972585375 572706816 114405 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139821 114405 301 301 0 139520 0
vsize: 559284
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 201014 0 0 0 72610 415 0 0 25 0 1 0 972585375 572706816 114428 4294967295 134512640 135730672 3221224576 3221222800 134747751 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 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 201060 0 0 0 73610 415 0 0 25 0 1 0 972585375 572706816 114474 4294967295 134512640 135730672 3221224576 3221222640 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139821 114474 301 301 0 139520 0
vsize: 559284
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 201467 0 0 0 74609 416 0 0 25 0 1 0 972585375 573755392 114622 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 140077 114622 301 301 0 139776 0
vsize: 560308
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 201470 0 0 0 75610 416 0 0 25 0 1 0 972585375 573755392 114625 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 140077 114625 301 301 0 139776 0
vsize: 560308
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 202245 0 0 0 76608 417 0 0 25 0 1 0 972585375 575852544 114885 4294967295 134512640 135730672 3221224576 3221222800 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 140589 114885 301 301 0 140288 0
vsize: 562356
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 202279 0 0 0 77608 418 0 0 25 0 1 0 972585375 575852544 114919 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 140589 114919 301 301 0 140288 0
vsize: 562356
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 202384 0 0 0 78608 418 0 0 25 0 1 0 972585375 575852544 115024 4294967295 134512640 135730672 3221224576 3221222800 134747751 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.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 203125 0 0 0 79607 420 0 0 25 0 1 0 972585375 577687552 115314 4294967295 134512640 135730672 3221224576 3221222928 134748141 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141037 115314 301 301 0 140736 0
vsize: 564148
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 203784 0 0 0 80606 421 0 0 25 0 1 0 972585375 579260416 115587 4294967295 134512640 135730672 3221224576 3221222800 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141421 115587 301 301 0 141120 0
vsize: 565684
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 204955 0 0 0 81604 423 0 0 25 0 1 0 972585375 582549504 116142 4294967295 134512640 135730672 3221224576 3221222928 134748170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142224 116142 301 301 0 141923 0
vsize: 568896
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 205706 0 0 0 82603 425 0 0 25 0 1 0 972585375 584646656 116379 4294967295 134512640 135730672 3221224576 3221222800 134747651 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.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 205981 0 0 0 83603 425 0 0 25 0 1 0 972585375 585433088 116460 4294967295 134512640 135730672 3221224576 3221222800 134747832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142928 116460 301 301 0 142627 0
vsize: 571712
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 205983 0 0 0 84604 425 0 0 25 0 1 0 972585375 585433088 116462 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142928 116462 301 301 0 142627 0
vsize: 571712
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 206253 0 0 0 85604 426 0 0 25 0 1 0 972585375 585957376 116603 4294967295 134512640 135730672 3221224576 3221222800 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143056 116603 301 301 0 142755 0
vsize: 572224
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 206519 0 0 0 86604 426 0 0 25 0 1 0 972585375 586481664 116740 4294967295 134512640 135730672 3221224576 3221222880 134763663 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143184 116740 301 301 0 142883 0
vsize: 572736
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 206997 0 0 0 87602 427 0 0 25 0 1 0 972585375 587665408 116990 4294967295 134512640 135730672 3221224576 3221222640 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143473 116990 301 301 0 143172 0
vsize: 573892
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 207034 0 0 0 88603 428 0 0 25 0 1 0 972585375 587665408 117027 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143473 117027 301 301 0 143172 0
vsize: 573892
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 207402 0 0 0 89602 429 0 0 25 0 1 0 972585375 588713984 117138 4294967295 134512640 135730672 3221224576 3221222800 134747543 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 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 208103 0 0 0 90601 430 0 0 25 0 1 0 972585375 590811136 117325 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144241 117325 301 301 0 143940 0
vsize: 576964
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 208514 0 0 0 91601 431 0 0 25 0 1 0 972585375 591859712 117479 4294967295 134512640 135730672 3221224576 3221222904 134747726 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.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 208516 0 0 0 92601 431 0 0 25 0 1 0 972585375 591859712 117481 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144497 117481 301 301 0 144196 0
vsize: 577988
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 209160 0 0 0 93601 432 0 0 25 0 1 0 972585375 593432576 117738 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144881 117738 301 301 0 144580 0
vsize: 579524
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 209584 0 0 0 94600 432 0 0 25 0 1 0 972585375 594481152 117905 4294967295 134512640 135730672 3221224576 3221222800 134747541 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.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 209593 0 0 0 95601 433 0 0 25 0 1 0 972585375 594481152 117914 4294967295 134512640 135730672 3221224576 3221222800 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145137 117914 301 301 0 144836 0
vsize: 580548
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 210014 0 0 0 96600 433 0 0 25 0 1 0 972585375 595529728 118078 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145393 118078 301 301 0 145092 0
vsize: 581572
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 210286 0 0 0 97600 434 0 0 25 0 1 0 972585375 596578304 118093 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145649 118093 301 301 0 145348 0
vsize: 582596
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 210329 0 0 0 98600 434 0 0 25 0 1 0 972585375 596578304 118136 4294967295 134512640 135730672 3221224576 3221222800 134747634 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 210330 0 0 0 99600 434 0 0 25 0 1 0 972585375 596578304 118137 4294967295 134512640 135730672 3221224576 3221222624 134732476 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 211184 0 0 0 100599 436 0 0 25 0 1 0 972585375 598675456 118477 4294967295 134512640 135730672 3221224576 3221222800 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146161 118477 301 301 0 145860 0
vsize: 584644
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 211372 0 0 0 101599 436 0 0 25 0 1 0 972585375 599465984 118600 4294967295 134512640 135730672 3221224576 3221222952 134748261 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 211420 0 0 0 102599 436 0 0 25 0 1 0 972585375 599465984 118648 4294967295 134512640 135730672 3221224576 3221222800 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146354 118648 301 301 0 146053 0
vsize: 585416
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 211422 0 0 0 103600 437 0 0 25 0 1 0 972585375 599465984 118650 4294967295 134512640 135730672 3221224576 3221222800 134747543 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 211426 0 0 0 104600 437 0 0 25 0 1 0 972585375 599465984 118654 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146354 118654 301 301 0 146053 0
vsize: 585416
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 211427 0 0 0 105600 437 0 0 25 0 1 0 972585375 599465984 118655 4294967295 134512640 135730672 3221224576 3221222800 134747970 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 211625 0 0 0 106600 437 0 0 25 0 1 0 972585375 599990272 118724 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146482 118724 301 301 0 146181 0
vsize: 585928
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 211631 0 0 0 107600 437 0 0 25 0 1 0 972585375 599990272 118730 4294967295 134512640 135730672 3221224576 3221222800 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146482 118730 301 301 0 146181 0
vsize: 585928
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 211802 0 0 0 108600 438 0 0 25 0 1 0 972585375 600514560 118772 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146610 118772 301 301 0 146309 0
vsize: 586440
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 211810 0 0 0 109600 438 0 0 25 0 1 0 972585375 600514560 118780 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146610 118780 301 301 0 146309 0
vsize: 586440
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 211815 0 0 0 110601 438 0 0 25 0 1 0 972585375 600514560 118785 4294967295 134512640 135730672 3221224576 3221222784 134732837 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146610 118785 301 301 0 146309 0
vsize: 586440
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 211822 0 0 0 111601 438 0 0 25 0 1 0 972585375 600514560 118792 4294967295 134512640 135730672 3221224576 3221222784 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146610 118792 301 301 0 146309 0
vsize: 586440
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 211828 0 0 0 112602 438 0 0 25 0 1 0 972585375 600514560 118798 4294967295 134512640 135730672 3221224576 3221222960 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146610 118798 301 301 0 146309 0
vsize: 586440
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 211835 0 0 0 113602 438 0 0 25 0 1 0 972585375 600514560 118805 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146610 118805 301 301 0 146309 0
vsize: 586440
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 212804 0 0 0 114601 440 0 0 25 0 1 0 972585375 603668480 119259 4294967295 134512640 135730672 3221224576 3221222800 134747631 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147380 119259 301 301 0 147079 0
vsize: 589520
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 212806 0 0 0 115601 440 0 0 25 0 1 0 972585375 603668480 119261 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147380 119261 301 301 0 147079 0
vsize: 589520
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 213149 0 0 0 116601 440 0 0 25 0 1 0 972585375 604717056 119347 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147636 119347 301 301 0 147335 0
vsize: 590544
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 213165 0 0 0 117601 441 0 0 25 0 1 0 972585375 604717056 119363 4294967295 134512640 135730672 3221224576 3221222920 134748218 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147636 119363 301 301 0 147335 0
vsize: 590544
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 213370 0 0 0 118601 441 0 0 25 0 1 0 972585375 605241344 119439 4294967295 134512640 135730672 3221224576 3221222928 134748158 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147764 119439 301 301 0 147463 0
vsize: 591056
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 213372 0 0 0 119602 441 0 0 25 0 1 0 972585375 605241344 119441 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147764 119441 301 301 0 147463 0
vsize: 591056
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.3 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 23892
Raw data (stat): 23892 (pb2sat-v2) R 23891 25568 25567 0 -1 0 213372 0 0 0 119602 441 0 0 25 0 1 0 972585375 605241344 119441 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147764 119441 301 301 0 147463 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.3
CPU time (s): 1202.68
CPU user time (s): 1198.03
CPU system time (s): 4.64929
CPU usage (%): 100.032
Max. virtual memory (Kb): 591056
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	996
#### END VERIFIER DATA ####