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 28404

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-25 02:16:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13144 boxname=wulflinc10 idbench=1012 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  130bea0863cb3f92addf09aabe15daa3  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-10teams.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-10teams.opb
IDLAUNCH: 13144
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        907320 kB
Buffers:           164 kB
Cached:         106304 kB
SwapCached:        224 kB
Active:          22068 kB
Inactive:        87212 kB
HighTotal:      131008 kB
HighFree:        20356 kB
LowTotal:       903652 kB
LowFree:        886964 kB
SwapTotal:     2097136 kB
SwapFree:      2096772 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6548 kB
Slab:            12200 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 02:36:04 (client local time) WITH STATUS 10 IN 1176.84 SECONDS
stats: 13144 0 1176.84 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1800 variables and 335 constraints.
c After prepocess the problem consists of 1600 variables and 760 constraints.
c preprocess terminated 68.154 s
c Initial Lower Bound: 904
c Lower Bound Elapsed time: 3.1315
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1008 @ 816.159
s SATISFIABLE
v -x10212_bit0 -x10312_bit0 -x20312_bit0 -x10412_bit0 -x20412_bit0 -x30412_bit0 -x10512_bit0 -x20512_bit0 -x30512_bit0 -x40512_bit0 -x10612_bit0 -x20612_bit0 -x30612_bit0 -x40612_bit0 -x50612_bit0 -x10712_bit0 -x20712_bit0 -x30712_bit0 -x40712_bit0 -x50712_bit0 -x60712_bit0 x10812_bit0 -x20812_bit0 -x30812_bit0 -x40812_bit0 -x50812_bit0 -x60812_bit0 -x70812_bit0 -x10912_bit0 -x20912_bit0 -x30912_bit0 -x40912_bit0 -x50912_bit0 -x60912_bit0 -x70912_bit0 -x80912_bit0 -x11012_bit0 -x21012_bit0 -x31012_bit0 -x41012_bit0 -x51012_bit0 -x61012_bit0 -x71012_bit0 -x81012_bit0 -x91012_bit0 -x10222_bit0 -x10322_bit0 -x20322_bit0 -x10422_bit0 -x20422_bit0 -x30422_bit0 -x10522_bit0 -x20522_bit0 -x30522_bit0 -x40522_bit0 -x10622_bit0 -x20622_bit0 x30622_bit0 -x40622_bit0 -x50622_bit0 -x10722_bit0 -x20722_bit0 -x30722_bit0 -x40722_bit0 -x50722_bit0 -x60722_bit0 -x10822_bit0 -x20822_bit0 -x30822_bit0 -x40822_bit0 -x50822_bit0 -x60822_bit0 -x70822_bit0 -x10922_bit0 -x20922_bit0 -x30922_bit0 -x40922_bit0 -x50922_bit0 -x60922_bit0 -x70922_bit0 -x80922_bit0 -x11022_bit0 -x21022_bit0 -x31022_bit0 -x41022_bit0 -x51022_bit0 -x61022_bit0 -x71022_bit0 -x81022_bit0 -x91022_bit0 -x10232_bit0 -x10332_bit0 -x20332_bit0 -x10432_bit0 -x20432_bit0 -x30432_bit0 -x10532_bit0 -x20532_bit0 -x30532_bit0 -x40532_bit0 -x10632_bit0 -x20632_bit0 -x30632_bit0 -x40632_bit0 -x50632_bit0 -x10732_bit0 -x20732_bit0 -x30732_bit0 -x40732_bit0 -x50732_bit0 -x60732_bit0 -x10832_bit0 -x20832_bit0 -x30832_bit0 -x40832_bit0 -x50832_bit0 -x60832_bit0 -x70832_bit0 -x10932_bit0 -x20932_bit0 -x30932_bit0 -x40932_bit0 -x50932_bit0 -x60932_bit0 -x70932_bit0 -x80932_bit0 -x11032_bit0 -x21032_bit0 -x31032_bit0 x41032_bit0 -x51032_bit0 -x61032_bit0 -x71032_bit0 -x81032_bit0 -x91032_bit0 -x10242_bit0 -x10342_bit0 -x20342_bit0 -x10442_bit0 -x20442_bit0 -x30442_bit0 -x10542_bit0 -x20542_bit0 -x30542_bit0 -x40542_bit0 -x10642_bit0 -x20642_bit0 -x30642_bit0 -x40642_bit0 -x50642_bit0 -x10742_bit0 -x20742_bit0 -x30742_bit0 -x40742_bit0 -x50742_bit0 -x60742_bit0 -x10842_bit0 -x20842_bit0 -x30842_bit0 -x40842_bit0 -x50842_bit0 -x60842_bit0 -x70842_bit0 -x10942_bit0 x20942_bit0 -x30942_bit0 -x40942_bit0 -x50942_bit0 -x60942_bit0 -x70942_bit0 -x80942_bit0 -x11042_bit0 -x21042_bit0 -x31042_bit0 -x41042_bit0 -x51042_bit0 -x61042_bit0 -x71042_bit0 -x81042_bit0 -x91042_bit0 -x10252_bit0 -x10352_bit0 -x20352_bit0 -x10452_bit0 -x20452_bit0 -x30452_bit0 -x10552_bit0 -x20552_bit0 -x30552_bit0 -x40552_bit0 -x10652_bit0 -x20652_bit0 -x30652_bit0 -x40652_bit0 -x50652_bit0 -x10752_bit0 -x20752_bit0 -x30752_bit0 -x40752_bit0 x50752_bit0 -x60752_bit0 -x10852_bit0 -x20852_bit0 -x30852_bit0 -x40852_bit0 -x50852_bit0 -x60852_bit0 -x70852_bit0 -x10952_bit0 -x20952_bit0 -x30952_bit0 -x40952_bit0 -x50952_bit0 -x60952_bit0 -x70952_bit0 -x80952_bit0 -x11052_bit0 -x21052_bit0 -x31052_bit0 -x41052_bit0 -x51052_bit0 -x61052_bit0 -x71052_bit0 -x81052_bit0 -x91052_bit0 -x10213_bit0 -x10313_bit0 x20313_bit0 -x10413_bit0 -x20413_bit0 -x30413_bit0 -x10513_bit0 -x20513_bit0 -x30513_bit0 -x40513_bit0 -x10613_bit0 -x20613_bit0 -x30613_bit0 -x40613_bit0 -x50613_bit0 -x10713_bit0 -x20713_bit0 -x30713_bit0 -x40713_bit0 -x50713_bit0 -x60713_bit0 -x10813_bit0 -x20813_bit0 -x30813_bit0 -x40813_bit0 -x50813_bit0 -x60813_bit0 -x70813_bit0 -x10913_bit0 -x20913_bit0 -x30913_bit0 -x40913_bit0 -x50913_bit0 -x60913_bit0 -x70913_bit0 -x80913_bit0 -x11013_bit0 -x21013_bit0 -x31013_bit0 -x41013_bit0 -x51013_bit0 -x61013_bit0 -x71013_bit0 -x81013_bit0 -x91013_bit0 -x10223_bit0 -x10323_bit0 -x20323_bit0 -x10423_bit0 -x20423_bit0 -x30423_bit0 -x10523_bit0 -x20523_bit0 -x30523_bit0 -x40523_bit0 -x10623_bit0 -x20623_bit0 -x30623_bit0 -x40623_bit0 -x50623_bit0 -x10723_bit0 -x20723_bit0 -x30723_bit0 -x40723_bit0 -x50723_bit0 -x60723_bit0 -x10823_bit0 -x20823_bit0 -x30823_bit0 -x40823_bit0 -x50823_bit0 x60823_bit0 -x70823_bit0 -x10923_bit0 -x20923_bit0 -x30923_bit0 -x40923_bit0 -x50923_bit0 -x60923_bit0 -x70923_bit0 -x80923_bit0 -x11023_bit0 -x21023_bit0 -x31023_bit0 -x41023_bit0 -x51023_bit0 -x61023_bit0 -x71023_bit0 -x81023_bit0 -x91023_bit0 -x10233_bit0 -x10333_bit0 -x20333_bit0 -x10433_bit0 -x20433_bit0 -x30433_bit0 -x10533_bit0 -x20533_bit0 -x30533_bit0 -x40533_bit0 -x10633_bit0 -x20633_bit0 -x30633_bit0 -x40633_bit0 -x50633_bit0 -x10733_bit0 -x20733_bit0 -x30733_bit0 -x40733_bit0 -x50733_bit0 -x60733_bit0 -x10833_bit0 -x20833_bit0 -x30833_bit0 -x40833_bit0 -x50833_bit0 -x60833_bit0 -x70833_bit0 x10933_bit0 -x20933_bit0 -x30933_bit0 -x40933_bit0 -x50933_bit0 -x60933_bit0 -x70933_bit0 -x80933_bit0 -x11033_bit0 -x21033_bit0 -x31033_bit0 -x41033_bit0 -x51033_bit0 -x61033_bit0 -x71033_bit0 -x81033_bit0 -x91033_bit0 -x10243_bit0 -x10343_bit0 -x20343_bit0 -x10443_bit0 -x20443_bit0 -x30443_bit0 -x10543_bit0 -x20543_bit0 -x30543_bit0 -x40543_bit0 -x10643_bit0 -x20643_bit0 -x30643_bit0 -x40643_bit0 -x50643_bit0 -x10743_bit0 -x20743_bit0 -x30743_bit0 -x40743_bit0 -x50743_bit0 -x60743_bit0 -x10843_bit0 -x20843_bit0 -x30843_bit0 -x40843_bit0 -x50843_bit0 -x60843_bit0 -x70843_bit0 -x10943_bit0 -x20943_bit0 -x30943_bit0 -x40943_bit0 -x50943_bit0 -x60943_bit0 -x70943_bit0 -x80943_bit0 -x11043_bit0 -x21043_bit0 -x31043_bit0 -x41043_bit0 -x51043_bit0 -x61043_bit0 x71043_bit0 -x81043_bit0 -x91043_bit0 -x10253_bit0 -x10353_bit0 -x20353_bit0 -x10453_bit0 -x20453_bit0 -x30453_bit0 -x10553_bit0 -x20553_bit0 -x30553_bit0 x40553_bit0 -x10653_bit0 -x20653_bit0 -x30653_bit0 -x40653_bit0 -x50653_bit0 -x10753_bit0 -x20753_bit0 -x30753_bit0 -x40753_bit0 -x50753_bit0 -x60753_bit0 -x10853_bit0 -x20853_bit0 -x30853_bit0 -x40853_bit0 -x50853_bit0 -x60853_bit0 -x70853_bit0 -x10953_bit0 -x20953_bit0 -x30953_bit0 -x40953_bit0 -x50953_bit0 -x60953_bit0 -x70953_bit0 -x80953_bit0 -x11053_bit0 -x21053_bit0 -x31053_bit0 -x41053_bit0 -x51053_bit0 -x61053_bit0 -x71053_bit0 -x81053_bit0 -x91053_bit0 -x10214_bit0 -x10314_bit0 -x20314_bit0 -x10414_bit0 -x20414_bit0 -x30414_bit0 -x10514_bit0 -x20514_bit0 -x30514_bit0 -x40514_bit0 -x10614_bit0 -x20614_bit0 -x30614_bit0 -x40614_bit0 -x50614_bit0 -x10714_bit0 -x20714_bit0 -x30714_bit0 -x40714_bit0 -x50714_bit0 -x60714_bit0 -x10814_bit0 -x20814_bit0 -x30814_bit0 -x40814_bit0 -x50814_bit0 -x60814_bit0 -x70814_bit0 -x10914_bit0 -x20914_bit0 -x30914_bit0 -x40914_bit0 -x50914_bit0 -x60914_bit0 -x70914_bit0 -x80914_bit0 -x11014_bit0 -x21014_bit0 -x31014_bit0 -x41014_bit0 -x51014_bit0 x61014_bit0 -x71014_bit0 -x81014_bit0 -x91014_bit0 -x10224_bit0 -x10324_bit0 -x20324_bit0 -x10424_bit0 -x20424_bit0 -x30424_bit0 -x10524_bit0 -x20524_bit0 -x30524_bit0 -x40524_bit0 -x10624_bit0 -x20624_bit0 -x30624_bit0 -x40624_bit0 -x50624_bit0 -x10724_bit0 -x20724_bit0 -x30724_bit0 -x40724_bit0 -x50724_bit0 -x60724_bit0 -x10824_bit0 -x20824_bit0 -x30824_bit0 -x40824_bit0 -x50824_bit0 -x60824_bit0 -x70824_bit0 -x10924_bit0 -x20924_bit0 -x30924_bit0 -x40924_bit0 -x50924_bit0 -x60924_bit0 x70924_bit0 -x80924_bit0 -x11024_bit0 -x21024_bit0 -x31024_bit0 -x41024_bit0 -x51024_bit0 -x61024_bit0 -x71024_bit0 -x81024_bit0 -x91024_bit0 -x10234_bit0 -x10334_bit0 -x20334_bit0 -x10434_bit0 -x20434_bit0 -x30434_bit0 -x10534_bit0 -x20534_bit0 -x30534_bit0 -x40534_bit0 -x10634_bit0 -x20634_bit0 -x30634_bit0 -x40634_bit0 -x50634_bit0 -x10734_bit0 -x20734_bit0 -x30734_bit0 -x40734_bit0 -x50734_bit0 -x60734_bit0 -x10834_bit0 x20834_bit0 -x30834_bit0 -x40834_bit0 -x50834_bit0 -x60834_bit0 -x70834_bit0 -x10934_bit0 -x20934_bit0 -x30934_bit0 -x40934_bit0 -x50934_bit0 -x60934_bit0 -x70934_bit0 -x80934_bit0 -x11034_bit0 -x21034_bit0 -x31034_bit0 -x41034_bit0 -x51034_bit0 -x61034_bit0 -x71034_bit0 -x81034_bit0 -x91034_bit0 -x10244_bit0 -x10344_bit0 -x20344_bit0 -x10444_bit0 -x20444_bit0 -x30444_bit0 -x10544_bit0 -x20544_bit0 x30544_bit0 -x40544_bit0 -x10644_bit0 -x20644_bit0 -x30644_bit0 -x40644_bit0 -x50644_bit0 -x10744_bit0 -x20744_bit0 -x30744_bit0 -x40744_bit0 -x50744_bit0 -x60744_bit0 -x10844_bit0 -x20844_bit0 -x30844_bit0 -x40844_bit0 -x50844_bit0 -x60844_bit0 -x70844_bit0 -x10944_bit0 -x20944_bit0 -x30944_bit0 -x40944_bit0 -x50944_bit0 -x60944_bit0 -x70944_bit0 -x80944_bit0 -x11044_bit0 -x21044_bit0 -x31044_bit0 -x41044_bit0 -x51044_bit0 -x61044_bit0 -x71044_bit0 -x81044_bit0 -x91044_bit0 -x10254_bit0 -x10354_bit0 -x20354_bit0 x10454_bit0 -x20454_bit0 -x30454_bit0 -x10554_bit0 -x20554_bit0 -x30554_bit0 -x40554_bit0 -x10654_bit0 -x20654_bit0 -x30654_bit0 -x40654_bit0 -x50654_bit0 -x10754_bit0 -x20754_bit0 -x30754_bit0 -x40754_bit0 -x50754_bit0 -x60754_bit0 -x10854_bit0 -x20854_bit0 -x30854_bit0 -x40854_bit0 -x50854_bit0 -x60854_bit0 -x70854_bit0 -x10954_bit0 -x20954_bit0 -x30954_bit0 -x40954_bit0 -x50954_bit0 -x60954_bit0 -x70954_bit0 -x80954_bit0 -x11054_bit0 -x21054_bit0 -x31054_bit0 -x41054_bit0 -x51054_bit0 -x61054_bit0 -x71054_bit0 -x81054_bit0 -x91054_bit0 -x10215_bit0 -x10315_bit0 -x20315_bit0 -x10415_bit0 -x20415_bit0 -x30415_bit0 -x10515_bit0 -x20515_bit0 -x30515_bit0 -x40515_bit0 -x10615_bit0 -x20615_bit0 -x30615_bit0 -x40615_bit0 -x50615_bit0 -x10715_bit0 -x20715_bit0 -x30715_bit0 -x40715_bit0 -x50715_bit0 -x60715_bit0 -x10815_bit0 -x20815_bit0 -x30815_bit0 -x40815_bit0 -x50815_bit0 -x60815_bit0 -x70815_bit0 -x10915_bit0 -x20915_bit0 -x30915_bit0 -x40915_bit0 -x50915_bit0 x60915_bit0 -x70915_bit0 -x80915_bit0 -x11015_bit0 -x21015_bit0 -x31015_bit0 -x41015_bit0 -x51015_bit0 -x61015_bit0 -x71015_bit0 -x81015_bit0 -x91015_bit0 -x10225_bit0 -x10325_bit0 -x20325_bit0 -x10425_bit0 -x20425_bit0 -x30425_bit0 -x10525_bit0 -x20525_bit0 -x30525_bit0 -x40525_bit0 -x10625_bit0 -x20625_bit0 -x30625_bit0 -x40625_bit0 -x50625_bit0 -x10725_bit0 x20725_bit0 -x30725_bit0 -x40725_bit0 -x50725_bit0 -x60725_bit0 -x10825_bit0 -x20825_bit0 -x30825_bit0 -x40825_bit0 -x50825_bit0 -x60825_bit0 -x70825_bit0 -x10925_bit0 -x20925_bit0 -x30925_bit0 -x40925_bit0 -x50925_bit0 -x60925_bit0 -x70925_bit0 -x80925_bit0 -x11025_bit0 -x21025_bit0 -x31025_bit0 -x41025_bit0 -x51025_bit0 -x61025_bit0 -x71025_bit0 -x81025_bit0 -x91025_bit0 -x10235_bit0 -x10335_bit0 -x20335_bit0 -x10435_bit0 -x20435_bit0 -x30435_bit0 -x10535_bit0 -x20535_bit0 -x30535_bit0 -x40535_bit0 -x10635_bit0 -x20635_bit0 -x30635_bit0 -x40635_bit0 -x50635_bit0 -x10735_bit0 -x20735_bit0 -x30735_bit0 -x40735_bit0 -x50735_bit0 -x60735_bit0 -x10835_bit0 -x20835_bit0 -x30835_bit0 -x40835_bit0 -x50835_bit0 -x60835_bit0 -x70835_bit0 -x10935_bit0 -x20935_bit0 -x30935_bit0 -x40935_bit0 -x50935_bit0 -x60935_bit0 -x70935_bit0 -x80935_bit0 -x11035_bit0 -x21035_bit0 -x31035_bit0 -x41035_bit0 x51035_bit0 -x61035_bit0 -x71035_bit0 -x81035_bit0 -x91035_bit0 -x10245_bit0 -x10345_bit0 -x20345_bit0 -x10445_bit0 -x20445_bit0 -x30445_bit0 -x10545_bit0 -x20545_bit0 -x30545_bit0 -x40545_bit0 -x10645_bit0 -x20645_bit0 -x30645_bit0 -x40645_bit0 -x50645_bit0 -x10745_bit0 -x20745_bit0 -x30745_bit0 -x40745_bit0 -x50745_bit0 -x60745_bit0 -x10845_bit0 -x20845_bit0 -x30845_bit0 x40845_bit0 -x50845_bit0 -x60845_bit0 -x70845_bit0 -x10945_bit0 -x20945_bit0 -x30945_bit0 -x40945_bit0 -x50945_bit0 -x60945_bit0 -x70945_bit0 -x80945_bit0 -x11045_bit0 -x21045_bit0 -x31045_bit0 -x41045_bit0 -x51045_bit0 -x61045_bit0 -x71045_bit0 -x81045_bit0 -x91045_bit0 -x10255_bit0 x10355_bit0 -x20355_bit0 -x10455_bit0 -x20455_bit0 -x30455_bit0 -x10555_bit0 -x20555_bit0 -x30555_bit0 -x40555_bit0 -x10655_bit0 -x20655_bit0 -x30655_bit0 -x40655_bit0 -x50655_bit0 -x10755_bit0 -x20755_bit0 -x30755_bit0 -x40755_bit0 -x50755_bit0 -x60755_bit0 -x10855_bit0 -x20855_bit0 -x30855_bit0 -x40855_bit0 -x50855_bit0 -x60855_bit0 -x70855_bit0 -x10955_bit0 -x20955_bit0 -x30955_bit0 -x40955_bit0 -x50955_bit0 -x60955_bit0 -x70955_bit0 -x80955_bit0 -x11055_bit0 -x21055_bit0 -x31055_bit0 -x41055_bit0 -x51055_bit0 -x61055_bit0 -x71055_bit0 -x81055_bit0 -x91055_bit0 -x10216_bit0 -x10316_bit0 -x20316_bit0 -x10416_bit0 -x20416_bit0 -x30416_bit0 -x10516_bit0 -x20516_bit0 -x30516_bit0 -x40516_bit0 -x10616_bit0 -x20616_bit0 -x30616_bit0 -x40616_bit0 -x50616_bit0 -x10716_bit0 -x20716_bit0 -x30716_bit0 -x40716_bit0 -x50716_bit0 -x60716_bit0 -x10816_bit0 -x20816_bit0 -x30816_bit0 -x40816_bit0 x50816_bit0 -x60816_bit0 -x70816_bit0 -x10916_bit0 -x20916_bit0 -x30916_bit0 -x40916_bit0 -x50916_bit0 -x60916_bit0 -x70916_bit0 -x80916_bit0 -x11016_bit0 -x21016_bit0 -x31016_bit0 -x41016_bit0 -x51016_bit0 -x61016_bit0 -x71016_bit0 -x81016_bit0 -x91016_bit0 -x10226_bit0 -x10326_bit0 -x20326_bit0 -x10426_bit0 -x20426_bit0 -x30426_bit0 -x10526_bit0 -x20526_bit0 -x30526_bit0 -x40526_bit0 -x10626_bit0 -x20626_bit0 -x30626_bit0 -x40626_bit0 -x50626_bit0 -x10726_bit0 -x20726_bit0 -x30726_bit0 -x40726_bit0 -x50726_bit0 -x60726_bit0 -x10826_bit0 -x20826_bit0 -x30826_bit0 -x40826_bit0 -x50826_bit0 -x60826_bit0 -x70826_bit0 -x10926_bit0 -x20926_bit0 -x30926_bit0 -x40926_bit0 -x50926_bit0 -x60926_bit0 -x70926_bit0 -x80926_bit0 x11026_bit0 -x21026_bit0 -x31026_bit0 -x41026_bit0 -x51026_bit0 -x61026_bit0 -x71026_bit0 -x81026_bit0 -x91026_bit0 -x10236_bit0 -x10336_bit0 -x20336_bit0 -x10436_bit0 x20436_bit0 -x30436_bit0 -x10536_bit0 -x20536_bit0 -x30536_bit0 -x40536_bit0 -x10636_bit0 -x20636_bit0 -x30636_bit0 -x40636_bit0 -x50636_bit0 -x10736_bit0 -x20736_bit0 -x30736_bit0 -x40736_bit0 -x50736_bit0 -x60736_bit0 -x10836_bit0 -x20836_bit0 -x30836_bit0 -x40836_bit0 -x50836_bit0 -x60836_bit0 -x70836_bit0 -x10936_bit0 -x20936_bit0 -x30936_bit0 -x40936_bit0 -x50936_bit0 -x60936_bit0 -x70936_bit0 -x80936_bit0 -x11036_bit0 -x21036_bit0 -x31036_bit0 -x41036_bit0 -x51036_bit0 -x61036_bit0 -x71036_bit0 -x81036_bit0 -x91036_bit0 -x10246_bit0 -x10346_bit0 -x20346_bit0 -x10446_bit0 -x20446_bit0 -x30446_bit0 -x10546_bit0 -x20546_bit0 -x30546_bit0 -x40546_bit0 -x10646_bit0 -x20646_bit0 -x30646_bit0 -x40646_bit0 -x50646_bit0 -x10746_bit0 -x20746_bit0 -x30746_bit0 -x40746_bit0 -x50746_bit0 -x60746_bit0 -x10846_bit0 -x20846_bit0 -x30846_bit0 -x40846_bit0 -x50846_bit0 -x60846_bit0 -x70846_bit0 -x10946_bit0 -x20946_bit0 x30946_bit0 -x40946_bit0 -x50946_bit0 -x60946_bit0 -x70946_bit0 -x80946_bit0 -x11046_bit0 -x21046_bit0 -x31046_bit0 -x41046_bit0 -x51046_bit0 -x61046_bit0 -x71046_bit0 -x81046_bit0 -x91046_bit0 -x10256_bit0 -x10356_bit0 -x20356_bit0 -x10456_bit0 -x20456_bit0 -x30456_bit0 -x10556_bit0 -x20556_bit0 -x30556_bit0 -x40556_bit0 -x10656_bit0 -x20656_bit0 -x30656_bit0 -x40656_bit0 -x50656_bit0 -x10756_bit0 -x20756_bit0 -x30756_bit0 -x40756_bit0 -x50756_bit0 x60756_bit0 -x10856_bit0 -x20856_bit0 -x30856_bit0 -x40856_bit0 -x50856_bit0 -x60856_bit0 -x70856_bit0 -x10956_bit0 -x20956_bit0 -x30956_bit0 -x40956_bit0 -x50956_bit0 -x60956_bit0 -x70956_bit0 -x80956_bit0 -x11056_bit0 -x21056_bit0 -x31056_bit0 -x41056_bit0 -x51056_bit0 -x61056_bit0 -x71056_bit0 -x81056_bit0 -x91056_bit0 -x10217_bit0 -x10317_bit0 -x20317_bit0 -x10417_bit0 -x20417_bit0 -x30417_bit0 -x10517_bit0 -x20517_bit0 -x30517_bit0 -x40517_bit0 -x10617_bit0 -x20617_bit0 -x30617_bit0 -x40617_bit0 -x50617_bit0 -x10717_bit0 -x20717_bit0 -x30717_bit0 -x40717_bit0 -x50717_bit0 -x60717_bit0 -x10817_bit0 -x20817_bit0 -x30817_bit0 -x40817_bit0 -x50817_bit0 -x60817_bit0 -x70817_bit0 -x10917_bit0 -x20917_bit0 -x30917_bit0 x40917_bit0 -x50917_bit0 -x60917_bit0 -x70917_bit0 -x80917_bit0 -x11017_bit0 -x21017_bit0 -x31017_bit0 -x41017_bit0 -x51017_bit0 -x61017_bit0 -x71017_bit0 -x81017_bit0 -x91017_bit0 -x10227_bit0 -x10327_bit0 -x20327_bit0 -x10427_bit0 -x20427_bit0 -x30427_bit0 -x10527_bit0 -x20527_bit0 -x30527_bit0 -x40527_bit0 -x10627_bit0 -x20627_bit0 -x30627_bit0 -x40627_bit0 -x50627_bit0 -x10727_bit0 -x20727_bit0 -x30727_bit0 -x40727_bit0 -x50727_bit0 -x60727_bit0 -x10827_bit0 -x20827_bit0 -x30827_bit0 -x40827_bit0 -x50827_bit0 -x60827_bit0 -x70827_bit0 -x10927_bit0 -x20927_bit0 -x30927_bit0 -x40927_bit0 -x50927_bit0 -x60927_bit0 -x70927_bit0 -x80927_bit0 -x11027_bit0 -x21027_bit0 -x31027_bit0 -x41027_bit0 -x51027_bit0 -x61027_bit0 -x71027_bit0 x81027_bit0 -x91027_bit0 -x10237_bit0 -x10337_bit0 -x20337_bit0 -x10437_bit0 -x20437_bit0 -x30437_bit0 -x10537_bit0 -x20537_bit0 -x30537_bit0 -x40537_bit0 -x10637_bit0 -x20637_bit0 -x30637_bit0 -x40637_bit0 -x50637_bit0 -x10737_bit0 -x20737_bit0 x30737_bit0 -x40737_bit0 -x50737_bit0 -x60737_bit0 -x10837_bit0 -x20837_bit0 -x30837_bit0 -x40837_bit0 -x50837_bit0 -x60837_bit0 -x70837_bit0 -x10937_bit0 -x20937_bit0 -x30937_bit0 -x40937_bit0 -x50937_bit0 -x60937_bit0 -x70937_bit0 -x80937_bit0 -x11037_bit0 -x21037_bit0 -x31037_bit0 -x41037_bit0 -x51037_bit0 -x61037_bit0 -x71037_bit0 -x81037_bit0 -x91037_bit0 -x10247_bit0 -x10347_bit0 -x20347_bit0 -x10447_bit0 -x20447_bit0 -x30447_bit0 x10547_bit0 -x20547_bit0 -x30547_bit0 -x40547_bit0 -x10647_bit0 -x20647_bit0 -x30647_bit0 -x40647_bit0 -x50647_bit0 -x10747_bit0 -x20747_bit0 -x30747_bit0 -x40747_bit0 -x50747_bit0 -x60747_bit0 -x10847_bit0 -x20847_bit0 -x30847_bit0 -x40847_bit0 -x50847_bit0 -x60847_bit0 -x70847_bit0 -x10947_bit0 -x20947_bit0 -x30947_bit0 -x40947_bit0 -x50947_bit0 -x60947_bit0 -x70947_bit0 -x80947_bit0 -x11047_bit0 -x21047_bit0 -x31047_bit0 -x41047_bit0 -x51047_bit0 -x61047_bit0 -x71047_bit0 -x81047_bit0 -x91047_bit0 -x10257_bit0 -x10357_bit0 -x20357_bit0 -x10457_bit0 -x20457_bit0 -x30457_bit0 -x10557_bit0 -x20557_bit0 -x30557_bit0 -x40557_bit0 -x10657_bit0 x20657_bit0 -x30657_bit0 -x40657_bit0 -x50657_bit0 -x10757_bit0 -x20757_bit0 -x30757_bit0 -x40757_bit0 -x50757_bit0 -x60757_bit0 -x10857_bit0 -x20857_bit0 -x30857_bit0 -x40857_bit0 -x50857_bit0 -x60857_bit0 -x70857_bit0 -x10957_bit0 -x20957_bit0 -x30957_bit0 -x40957_bit0 -x50957_bit0 -x60957_bit0 -x70957_bit0 -x80957_bit0 -x11057_bit0 -x21057_bit0 -x31057_bit0 -x41057_bit0 -x51057_bit0 -x61057_bit0 -x71057_bit0 -x81057_bit0 -x91057_bit0 -x10218_bit0 -x10318_bit0 -x20318_bit0 -x10418_bit0 -x20418_bit0 -x30418_bit0 -x10518_bit0 -x20518_bit0 -x30518_bit0 -x40518_bit0 -x10618_bit0 -x20618_bit0 -x30618_bit0 -x40618_bit0 -x50618_bit0 -x10718_bit0 -x20718_bit0 -x30718_bit0 x40718_bit0 -x50718_bit0 -x60718_bit0 -x10818_bit0 -x20818_bit0 -x30818_bit0 -x40818_bit0 -x50818_bit0 -x60818_bit0 -x70818_bit0 -x10918_bit0 -x20918_bit0 -x30918_bit0 -x40918_bit0 -x50918_bit0 -x60918_bit0 -x70918_bit0 -x80918_bit0 -x11018_bit0 -x21018_bit0 -x31018_bit0 -x41018_bit0 -x51018_bit0 -x61018_bit0 -x71018_bit0 -x81018_bit0 -x91018_bit0 -x10228_bit0 -x10328_bit0 -x20328_bit0 -x10428_bit0 -x20428_bit0 -x30428_bit0 -x10528_bit0 -x20528_bit0 -x30528_bit0 -x40528_bit0 -x10628_bit0 -x20628_bit0 -x30628_bit0 -x40628_bit0 -x50628_bit0 -x10728_bit0 -x20728_bit0 -x30728_bit0 -x40728_bit0 -x50728_bit0 -x60728_bit0 -x10828_bit0 -x20828_bit0 -x30828_bit0 -x40828_bit0 -x50828_bit0 -x60828_bit0 -x70828_bit0 -x10928_bit0 -x20928_bit0 -x30928_bit0 -x40928_bit0 x50928_bit0 -x60928_bit0 -x70928_bit0 -x80928_bit0 -x11028_bit0 -x21028_bit0 -x31028_bit0 -x41028_bit0 -x51028_bit0 -x61028_bit0 -x71028_bit0 -x81028_bit0 -x91028_bit0 -x10238_bit0 -x10338_bit0 -x20338_bit0 -x10438_bit0 -x20438_bit0 -x30438_bit0 -x10538_bit0 -x20538_bit0 -x30538_bit0 -x40538_bit0 -x10638_bit0 -x20638_bit0 -x30638_bit0 -x40638_bit0 -x50638_bit0 -x10738_bit0 -x20738_bit0 -x30738_bit0 -x40738_bit0 -x50738_bit0 -x60738_bit0 -x10838_bit0 -x20838_bit0 x30838_bit0 -x40838_bit0 -x50838_bit0 -x60838_bit0 -x70838_bit0 -x10938_bit0 -x20938_bit0 -x30938_bit0 -x40938_bit0 -x50938_bit0 -x60938_bit0 -x70938_bit0 -x80938_bit0 -x11038_bit0 -x21038_bit0 -x31038_bit0 -x41038_bit0 -x51038_bit0 -x61038_bit0 -x71038_bit0 -x81038_bit0 -x91038_bit0 -x10248_bit0 -x10348_bit0 -x20348_bit0 -x10448_bit0 -x20448_bit0 -x30448_bit0 -x10548_bit0 -x20548_bit0 -x30548_bit0 -x40548_bit0 x10648_bit0 -x20648_bit0 -x30648_bit0 -x40648_bit0 -x50648_bit0 -x10748_bit0 -x20748_bit0 -x30748_bit0 -x40748_bit0 -x50748_bit0 -x60748_bit0 -x10848_bit0 -x20848_bit0 -x30848_bit0 -x40848_bit0 -x50848_bit0 -x60848_bit0 -x70848_bit0 -x10948_bit0 -x20948_bit0 -x30948_bit0 -x40948_bit0 -x50948_bit0 -x60948_bit0 -x70948_bit0 -x80948_bit0 -x11048_bit0 -x21048_bit0 -x31048_bit0 -x41048_bit0 -x51048_bit0 -x61048_bit0 -x71048_bit0 -x81048_bit0 -x91048_bit0 -x10258_bit0 -x10358_bit0 -x20358_bit0 -x10458_bit0 -x20458_bit0 -x30458_bit0 -x10558_bit0 -x20558_bit0 -x30558_bit0 -x40558_bit0 -x10658_bit0 -x20658_bit0 -x30658_bit0 -x40658_bit0 -x50658_bit0 -x10758_bit0 -x20758_bit0 -x30758_bit0 -x40758_bit0 -x50758_bit0 -x60758_bit0 -x10858_bit0 -x20858_bit0 -x30858_bit0 -x40858_bit0 -x50858_bit0 -x60858_bit0 -x70858_bit0 -x10958_bit0 -x20958_bit0 -x30958_bit0 -x40958_bit0 -x50958_bit0 -x60958_bit0 -x70958_bit0 -x80958_bit0 -x11058_bit0 x21058_bit0 -x31058_bit0 -x41058_bit0 -x51058_bit0 -x61058_bit0 -x71058_bit0 -x81058_bit0 -x91058_bit0 -x10219_bit0 -x10319_bit0 -x20319_bit0 -x10419_bit0 -x20419_bit0 -x30419_bit0 -x10519_bit0 -x20519_bit0 -x30519_bit0 -x40519_bit0 -x10619_bit0 -x20619_bit0 -x30619_bit0 -x40619_bit0 -x50619_bit0 -x10719_bit0 -x20719_bit0 -x30719_bit0 -x40719_bit0 -x50719_bit0 -x60719_bit0 -x10819_bit0 -x20819_bit0 -x30819_bit0 -x40819_bit0 -x50819_bit0 -x60819_bit0 -x70819_bit0 -x10919_bit0 -x20919_bit0 -x30919_bit0 -x40919_bit0 -x50919_bit0 -x60919_bit0 -x70919_bit0 -x80919_bit0 -x11019_bit0 -x21019_bit0 x31019_bit0 -x41019_bit0 -x51019_bit0 -x61019_bit0 -x71019_bit0 -x81019_bit0 -x91019_bit0 -x10229_bit0 -x10329_bit0 -x20329_bit0 -x10429_bit0 -x20429_bit0 -x30429_bit0 -x10529_bit0 x20529_bit0 -x30529_bit0 -x40529_bit0 -x10629_bit0 -x20629_bit0 -x30629_bit0 -x40629_bit0 -x50629_bit0 -x10729_bit0 -x20729_bit0 -x30729_bit0 -x40729_bit0 -x50729_bit0 -x60729_bit0 -x10829_bit0 -x20829_bit0 -x30829_bit0 -x40829_bit0 -x50829_bit0 -x60829_bit0 -x70829_bit0 -x10929_bit0 -x20929_bit0 -x30929_bit0 -x40929_bit0 -x50929_bit0 -x60929_bit0 -x70929_bit0 -x80929_bit0 -x11029_bit0 -x21029_bit0 -x31029_bit0 -x41029_bit0 -x51029_bit0 -x61029_bit0 -x71029_bit0 -x81029_bit0 -x91029_bit0 -x10239_bit0 -x10339_bit0 -x20339_bit0 -x10439_bit0 -x20439_bit0 -x30439_bit0 -x10539_bit0 -x20539_bit0 -x30539_bit0 -x40539_bit0 -x10639_bit0 -x20639_bit0 -x30639_bit0 -x40639_bit0 -x50639_bit0 x10739_bit0 -x20739_bit0 -x30739_bit0 -x40739_bit0 -x50739_bit0 -x60739_bit0 -x10839_bit0 -x20839_bit0 -x30839_bit0 -x40839_bit0 -x50839_bit0 -x60839_bit0 -x70839_bit0 -x10939_bit0 -x20939_bit0 -x30939_bit0 -x40939_bit0 -x50939_bit0 -x60939_bit0 -x70939_bit0 -x80939_bit0 -x11039_bit0 -x21039_bit0 -x31039_bit0 -x41039_bit0 -x51039_bit0 -x61039_bit0 -x71039_bit0 -x81039_bit0 -x91039_bit0 -x10249_bit0 -x10349_bit0 -x20349_bit0 -x10449_bit0 -x20449_bit0 -x30449_bit0 -x10549_bit0 -x20549_bit0 -x30549_bit0 -x40549_bit0 -x10649_bit0 -x20649_bit0 -x30649_bit0 x40649_bit0 -x50649_bit0 -x10749_bit0 -x20749_bit0 -x30749_bit0 -x40749_bit0 -x50749_bit0 -x60749_bit0 -x10849_bit0 -x20849_bit0 -x30849_bit0 -x40849_bit0 -x50849_bit0 -x60849_bit0 -x70849_bit0 -x10949_bit0 -x20949_bit0 -x30949_bit0 -x40949_bit0 -x50949_bit0 -x60949_bit0 -x70949_bit0 -x80949_bit0 -x11049_bit0 -x21049_bit0 -x31049_bit0 -x41049_bit0 -x51049_bit0 -x61049_bit0 -x71049_bit0 -x81049_bit0 -x91049_bit0 -x10259_bit0 -x10359_bit0 -x20359_bit0 -x10459_bit0 -x20459_bit0 -x30459_bit0 -x10559_bit0 -x20559_bit0 -x30559_bit0 -x40559_bit0 -x10659_bit0 -x20659_bit0 -x30659_bit0 -x40659_bit0 -x50659_bit0 -x10759_bit0 -x20759_bit0 -x30759_bit0 -x40759_bit0 -x50759_bit0 -x60759_bit0 -x10859_bit0 -x20859_bit0 -x30859_bit0 -x40859_bit0 -x50859_bit0 -x60859_bit0 -x70859_bit0 -x10959_bit0 -x20959_bit0 -x30959_bit0 -x40959_bit0 -x50959_bit0 -x60959_bit0 -x70959_bit0 x80959_bit0 -x11059_bit0 -x21059_bit0 -x31059_bit0 -x41059_bit0 -x51059_bit0 -x61059_bit0 -x71059_bit0 -x81059_bit0 -x91059_bit0 
c Exit Code: 10
c Total time: 1176.8 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.81 0.95 0.93 1/54 24876
Raw data (stat): 24876 (runsolver) D 24875 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 776999843 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.84 0.95 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 14032 0 0 0 958 31 0 0 25 0 1 0 776999843 60592128 13948 4294967295 134512640 134714508 3221224592 3221223240 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14793 13948 1111 63 0 14730 0
vsize: 59172
[startup+20.0042 s]
Raw data (loadavg): 0.86 0.95 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 14064 0 0 0 1959 31 0 0 25 0 1 0 776999843 60727296 13980 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14826 13980 1111 63 0 14763 0
vsize: 59304
[startup+30.03 s]
Raw data (loadavg): 0.88 0.95 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 14090 0 0 0 2962 31 0 0 25 0 1 0 776999843 60862464 14006 4294967295 134512640 134714508 3221224592 3221223264 134627241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14859 14006 1111 63 0 14796 0
vsize: 59436
[startup+40.0371 s]
Raw data (loadavg): 0.90 0.96 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 14120 0 0 0 3962 31 0 0 25 0 1 0 776999843 60997632 14036 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14892 14036 1111 63 0 14829 0
vsize: 59568
[startup+50.0457 s]
Raw data (loadavg): 0.92 0.96 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 14146 0 0 0 4963 31 0 0 25 0 1 0 776999843 61132800 14062 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14925 14062 1111 63 0 14862 0
vsize: 59700
[startup+60.0482 s]
Raw data (loadavg): 0.93 0.96 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 14176 0 0 0 5964 31 0 0 25 0 1 0 776999843 61267968 14092 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14958 14092 1111 63 0 14895 0
vsize: 59832
[startup+70.0513 s]
Raw data (loadavg): 0.94 0.96 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 14904 0 2 0 6892 33 0 0 25 0 1 0 776999843 63262720 14658 4294967295 134512640 134714508 3221224592 3221220388 1074786528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15445 14658 1111 63 0 15382 0
vsize: 61780
[startup+80.0515 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 15657 0 2 0 7888 36 0 0 25 0 1 0 776999843 62799872 14618 4294967295 134512640 134714508 3221224592 3221223212 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15332 14618 1111 63 0 15269 0
vsize: 61328
[startup+90.0525 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 15899 0 2 0 8887 37 0 0 25 0 1 0 776999843 63737856 14860 4294967295 134512640 134714508 3221224592 3221223232 134539408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15561 14860 1111 63 0 15498 0
vsize: 62244
[startup+100.054 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 16073 0 2 0 9885 39 0 0 25 0 1 0 776999843 64503808 15034 4294967295 134512640 134714508 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15748 15034 1111 63 0 15685 0
vsize: 62992
[startup+110.053 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 16256 0 2 0 10885 39 0 0 25 0 1 0 776999843 65179648 15217 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15913 15217 1111 63 0 15850 0
vsize: 63652
[startup+120.054 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 16440 0 2 0 11884 40 0 0 25 0 1 0 776999843 65998848 15401 4294967295 134512640 134714508 3221224592 3221223168 134542817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16113 15401 1111 63 0 16050 0
vsize: 64452
[startup+130.053 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 16466 0 2 0 12884 40 0 0 25 0 1 0 776999843 66134016 15427 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16146 15427 1111 63 0 16083 0
vsize: 64584
[startup+140.054 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 16660 0 2 0 13883 41 0 0 25 0 1 0 776999843 66875392 15621 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16327 15621 1111 63 0 16264 0
vsize: 65308
[startup+150.054 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 16739 0 2 0 14883 41 0 0 25 0 1 0 776999843 67059712 15678 4294967295 134512640 134714508 3221224592 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16372 15678 1111 63 0 16309 0
vsize: 65488
[startup+160.053 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 16860 0 2 0 15883 42 0 0 25 0 1 0 776999843 67600384 15799 4294967295 134512640 134714508 3221224592 3221223216 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16504 15799 1111 63 0 16441 0
vsize: 66016
[startup+170.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 16903 0 2 0 16882 43 0 0 25 0 1 0 776999843 67735552 15842 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16537 15842 1111 63 0 16474 0
vsize: 66148
[startup+180.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 16964 0 2 0 17882 43 0 0 25 0 1 0 776999843 68005888 15903 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16603 15903 1111 63 0 16540 0
vsize: 66412
[startup+190.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 17041 0 2 0 18881 44 0 0 25 0 1 0 776999843 68411392 15980 4294967295 134512640 134714508 3221224592 3221223224 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16702 15980 1111 63 0 16639 0
vsize: 66808
[startup+200.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 17142 0 2 0 19880 45 0 0 25 0 1 0 776999843 68820992 16081 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16802 16081 1111 63 0 16739 0
vsize: 67208
[startup+210.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 17236 0 2 0 20880 46 0 0 25 0 1 0 776999843 69197824 16175 4294967295 134512640 134714508 3221224592 3221223304 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16894 16175 1111 63 0 16831 0
vsize: 67576
[startup+220.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 17291 0 2 0 21879 47 0 0 25 0 1 0 776999843 69275648 16222 4294967295 134512640 134714508 3221224592 3221222988 134613752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16913 16222 1111 63 0 16850 0
vsize: 67652
[startup+230.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 17359 0 2 0 22879 47 0 0 25 0 1 0 776999843 69681152 16290 4294967295 134512640 134714508 3221224592 3221223232 134696085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17012 16290 1111 63 0 16949 0
vsize: 68048
[startup+240.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 17487 0 2 0 23878 48 0 0 25 0 1 0 776999843 70098944 16415 4294967295 134512640 134714508 3221224592 3221223328 134535720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17114 16415 1111 63 0 17051 0
vsize: 68456
[startup+250.052 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 17503 0 2 0 24878 48 0 0 25 0 1 0 776999843 70234112 16431 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17147 16431 1111 63 0 17084 0
vsize: 68588
[startup+260.052 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 17514 0 2 0 25878 49 0 0 25 0 1 0 776999843 70234112 16442 4294967295 134512640 134714508 3221224592 3221223200 134549460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17147 16442 1111 63 0 17084 0
vsize: 68588
[startup+270.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 17770 0 2 0 26877 50 0 0 25 0 1 0 776999843 71315456 16698 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17411 16698 1111 63 0 17348 0
vsize: 69644
[startup+280.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 17811 0 2 0 27876 51 0 0 25 0 1 0 776999843 71450624 16739 4294967295 134512640 134714508 3221224592 3221223224 134696350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17444 16739 1111 63 0 17381 0
vsize: 69776
[startup+290.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 17852 0 2 0 28876 51 0 0 25 0 1 0 776999843 71573504 16780 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17474 16780 1111 63 0 17411 0
vsize: 69896
[startup+300.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 17882 0 2 0 29876 51 0 0 25 0 1 0 776999843 71708672 16810 4294967295 134512640 134714508 3221224592 3221223132 134539306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17507 16810 1111 63 0 17444 0
vsize: 70028
[startup+310.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 17955 0 2 0 30876 51 0 0 25 0 1 0 776999843 72073216 16883 4294967295 134512640 134714508 3221224592 3221223184 134549609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17596 16883 1111 63 0 17533 0
vsize: 70384
[startup+320.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 18036 0 2 0 31876 52 0 0 25 0 1 0 776999843 72323072 16964 4294967295 134512640 134714508 3221224592 3221223316 134613700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17657 16964 1111 63 0 17594 0
vsize: 70628
[startup+330.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 18085 0 2 0 32875 53 0 0 25 0 1 0 776999843 72581120 17013 4294967295 134512640 134714508 3221224592 3221223248 134536743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17720 17013 1111 63 0 17657 0
vsize: 70880
[startup+340.052 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 18185 0 2 0 33875 53 0 0 25 0 1 0 776999843 72986624 17113 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17819 17113 1111 63 0 17756 0
vsize: 71276
[startup+350.052 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 18185 0 2 0 34875 53 0 0 25 0 1 0 776999843 72986624 17113 4294967295 134512640 134714508 3221224592 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17819 17113 1111 63 0 17756 0
vsize: 71276
[startup+360.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 18272 0 2 0 35875 53 0 0 25 0 1 0 776999843 73396224 17200 4294967295 134512640 134714508 3221224592 3221223248 134536730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17919 17200 1111 63 0 17856 0
vsize: 71676
[startup+370.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 18272 0 2 0 36874 54 0 0 25 0 1 0 776999843 73396224 17200 4294967295 134512640 134714508 3221224592 3221223244 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17919 17200 1111 63 0 17856 0
vsize: 71676
[startup+380.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 18272 0 2 0 37875 54 0 0 25 0 1 0 776999843 73261056 17195 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17886 17195 1111 63 0 17823 0
vsize: 71544
[startup+390.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 18272 0 2 0 38875 54 0 0 25 0 1 0 776999843 73261056 17195 4294967295 134512640 134714508 3221224592 3221223264 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17886 17195 1111 63 0 17823 0
vsize: 71544
[startup+400.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 18295 0 2 0 39874 55 0 0 25 0 1 0 776999843 73396224 17218 4294967295 134512640 134714508 3221224592 3221223376 134528816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17919 17218 1111 63 0 17856 0
vsize: 71676
[startup+410.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 18358 0 2 0 40874 55 0 0 25 0 1 0 776999843 73654272 17281 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17982 17281 1111 63 0 17919 0
vsize: 71928
[startup+420.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 18481 0 2 0 41874 56 0 0 25 0 1 0 776999843 74149888 17404 4294967295 134512640 134714508 3221224592 3221223200 134549450 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18103 17404 1111 63 0 18040 0
vsize: 72412
[startup+430.049 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 18481 0 2 0 42873 56 0 0 25 0 1 0 776999843 74149888 17404 4294967295 134512640 134714508 3221224592 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18103 17404 1111 63 0 18040 0
vsize: 72412
[startup+440.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 18541 0 2 0 43873 57 0 0 25 0 1 0 776999843 74420224 17464 4294967295 134512640 134714508 3221224592 3221223256 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18169 17464 1111 63 0 18106 0
vsize: 72676
[startup+450.049 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 18627 0 2 0 44872 57 0 0 25 0 1 0 776999843 74797056 17550 4294967295 134512640 134714508 3221224592 3221223224 134536665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18261 17550 1111 63 0 18198 0
vsize: 73044
[startup+460.049 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 18859 0 2 0 45872 58 0 0 25 0 1 0 776999843 75743232 17782 4294967295 134512640 134714508 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18492 17782 1111 63 0 18429 0
vsize: 73968
[startup+470.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 18859 0 2 0 46872 58 0 0 25 0 1 0 776999843 75743232 17782 4294967295 134512640 134714508 3221224592 3221223152 134542312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18492 17782 1111 63 0 18429 0
vsize: 73968
[startup+480.049 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 18859 0 2 0 47872 59 0 0 25 0 1 0 776999843 75743232 17782 4294967295 134512640 134714508 3221224592 3221223328 134558542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18492 17782 1111 63 0 18429 0
vsize: 73968
[startup+490.049 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 18962 0 2 0 48872 59 0 0 25 0 1 0 776999843 76148736 17885 4294967295 134512640 134714508 3221224592 3221223296 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18591 17885 1111 63 0 18528 0
vsize: 74364
[startup+500.049 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19014 0 2 0 49872 59 0 0 25 0 1 0 776999843 76419072 17937 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18657 17937 1111 63 0 18594 0
vsize: 74628
[startup+510.049 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19253 0 2 0 50871 60 0 0 25 0 1 0 776999843 77361152 18176 4294967295 134512640 134714508 3221224592 3221223340 134551608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18887 18176 1111 63 0 18824 0
vsize: 75548
[startup+520.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19262 0 2 0 51872 60 0 0 25 0 1 0 776999843 77225984 18162 4294967295 134512640 134714508 3221224592 3221223088 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+530.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19262 0 2 0 52871 61 0 0 25 0 1 0 776999843 77225984 18162 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+540.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19262 0 2 0 53871 61 0 0 25 0 1 0 776999843 77225984 18162 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+550.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19262 0 2 0 54871 61 0 0 25 0 1 0 776999843 77225984 18162 4294967295 134512640 134714508 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+560.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19262 0 2 0 55871 62 0 0 25 0 1 0 776999843 77225984 18162 4294967295 134512640 134714508 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+570.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19262 0 2 0 56871 62 0 0 25 0 1 0 776999843 77225984 18162 4294967295 134512640 134714508 3221224592 3221223200 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+580.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19262 0 2 0 57871 62 0 0 25 0 1 0 776999843 77225984 18162 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+590.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19262 0 2 0 58871 62 0 0 25 0 1 0 776999843 77225984 18162 4294967295 134512640 134714508 3221224592 3221223208 134613965 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+600.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19262 0 2 0 59871 62 0 0 25 0 1 0 776999843 77225984 18162 4294967295 134512640 134714508 3221224592 3221223268 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+610.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19262 0 2 0 60871 63 0 0 25 0 1 0 776999843 77225984 18162 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+620.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19262 0 2 0 61871 63 0 0 25 0 1 0 776999843 77225984 18162 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+630.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19285 0 2 0 62871 63 0 0 25 0 1 0 776999843 77361152 18185 4294967295 134512640 134714508 3221224592 3221223328 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18887 18185 1111 63 0 18824 0
vsize: 75548
[startup+640.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19285 0 2 0 63871 63 0 0 25 0 1 0 776999843 77361152 18185 4294967295 134512640 134714508 3221224592 3221223140 134696725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18887 18185 1111 63 0 18824 0
vsize: 75548
[startup+650.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19297 0 2 0 64871 63 0 0 25 0 1 0 776999843 77361152 18175 4294967295 134512640 134714508 3221224592 3221223200 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18887 18175 1111 63 0 18824 0
vsize: 75548
[startup+660.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19321 0 2 0 65871 63 0 0 25 0 1 0 776999843 77496320 18199 4294967295 134512640 134714508 3221224592 3221223200 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18920 18199 1111 63 0 18857 0
vsize: 75680
[startup+670.055 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19401 0 2 0 66871 64 0 0 25 0 1 0 776999843 77766656 18279 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18986 18279 1111 63 0 18923 0
vsize: 75944
[startup+680.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19585 0 2 0 67870 64 0 0 25 0 1 0 776999843 78577664 18463 4294967295 134512640 134714508 3221224592 3221223264 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19184 18463 1111 63 0 19121 0
vsize: 76736
[startup+690.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19585 0 2 0 68870 65 0 0 25 0 1 0 776999843 78577664 18463 4294967295 134512640 134714508 3221224592 3221223264 1076647572 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19184 18463 1111 63 0 19121 0
vsize: 76736
[startup+700.055 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19585 0 2 0 69871 65 0 0 25 0 1 0 776999843 78577664 18463 4294967295 134512640 134714508 3221224592 3221223308 134551979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19184 18463 1111 63 0 19121 0
vsize: 76736
[startup+710.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19630 0 2 0 70870 65 0 0 25 0 1 0 776999843 78712832 18508 4294967295 134512640 134714508 3221224592 3221223148 134539217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19217 18508 1111 63 0 19154 0
vsize: 76868
[startup+720.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19630 0 2 0 71870 65 0 0 25 0 1 0 776999843 78585856 18495 4294967295 134512640 134714508 3221224592 3221223244 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19186 18495 1111 63 0 19123 0
vsize: 76744
[startup+730.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19672 0 2 0 72870 65 0 0 25 0 1 0 776999843 78667776 18515 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19206 18515 1111 63 0 19143 0
vsize: 76824
[startup+740.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19672 0 2 0 73871 65 0 0 25 0 1 0 776999843 78667776 18515 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19206 18515 1111 63 0 19143 0
vsize: 76824
[startup+750.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19806 0 2 0 74870 66 0 0 25 0 1 0 776999843 79343616 18649 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19371 18649 1111 63 0 19308 0
vsize: 77484
[startup+760.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19824 0 2 0 75870 66 0 0 25 0 1 0 776999843 79331328 18667 4294967295 134512640 134714508 3221224592 3221223304 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19368 18667 1111 63 0 19305 0
vsize: 77472
[startup+770.054 s]
Raw data (loadavg): 0.99 0.97 0.93 3/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19876 0 2 0 76870 67 0 0 25 0 1 0 776999843 79601664 18719 4294967295 134512640 134714508 3221224592 3221223100 134535978 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19434 18719 1111 63 0 19371 0
vsize: 77736
[startup+780.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19876 0 2 0 77870 67 0 0 25 0 1 0 776999843 79601664 18719 4294967295 134512640 134714508 3221224592 3221223356 134552560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19434 18719 1111 63 0 19371 0
vsize: 77736
[startup+790.055 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19876 0 2 0 78870 67 0 0 25 0 1 0 776999843 79601664 18719 4294967295 134512640 134714508 3221224592 3221223224 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19434 18719 1111 63 0 19371 0
vsize: 77736
[startup+800.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19876 0 2 0 79870 67 0 0 25 0 1 0 776999843 79601664 18719 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19434 18719 1111 63 0 19371 0
vsize: 77736
[startup+810.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 19876 0 2 0 80869 68 0 0 25 0 1 0 776999843 79601664 18719 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19434 18719 1111 63 0 19371 0
vsize: 77736
[startup+820.055 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 20259 0 2 0 81868 69 0 0 25 0 1 0 776999843 79605760 18720 4294967295 134512640 134714508 3221224592 3221220980 1075132801 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19435 18720 1111 63 0 19372 0
vsize: 77740
[startup+830.055 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 20906 0 2 0 82866 71 0 0 25 0 1 0 776999843 79605760 18719 4294967295 134512640 134714508 3221224592 3221220428 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19435 18719 1111 63 0 19372 0
vsize: 77740
[startup+840.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 21363 0 2 0 83864 72 0 0 25 0 1 0 776999843 79450112 18710 4294967295 134512640 134714508 3221224592 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19397 18710 1111 63 0 19334 0
vsize: 77588
[startup+850.055 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 21881 0 2 0 84863 74 0 0 25 0 1 0 776999843 79450112 18710 4294967295 134512640 134714508 3221224592 3221222616 1074057994 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19397 18710 1111 63 0 19334 0
vsize: 77588
[startup+860.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 22441 0 2 0 85862 75 0 0 25 0 1 0 776999843 79450112 18710 4294967295 134512640 134714508 3221224592 3221222848 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19397 18710 1111 63 0 19334 0
vsize: 77588
[startup+870.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 22896 0 2 0 86860 77 0 0 25 0 1 0 776999843 79450112 18710 4294967295 134512640 134714508 3221224592 3221223344 134549460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19397 18710 1111 63 0 19334 0
vsize: 77588
[startup+880.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 23312 0 2 0 87859 78 0 0 25 0 1 0 776999843 79450112 18710 4294967295 134512640 134714508 3221224592 3221222720 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19397 18710 1111 63 0 19334 0
vsize: 77588
[startup+890.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 23730 0 2 0 88858 79 0 0 25 0 1 0 776999843 79450112 18710 4294967295 134512640 134714508 3221224592 3221222320 1075829018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19397 18710 1111 63 0 19334 0
vsize: 77588
[startup+900.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 24193 0 2 0 89857 81 0 0 25 0 1 0 776999843 79450112 18710 4294967295 134512640 134714508 3221224592 3221222976 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19397 18710 1111 63 0 19334 0
vsize: 77588
[startup+910.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 24605 0 2 0 90855 82 0 0 25 0 1 0 776999843 79622144 18720 4294967295 134512640 134714508 3221224592 3221220736 1074969603 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19439 18720 1111 63 0 19376 0
vsize: 77756
[startup+920.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 25055 0 2 0 91854 84 0 0 25 0 1 0 776999843 79622144 18720 4294967295 134512640 134714508 3221224592 3221220796 1075564184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19439 18720 1111 63 0 19376 0
vsize: 77756
[startup+930.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 25766 0 2 0 92851 87 0 0 25 0 1 0 776999843 79450112 18710 4294967295 134512640 134714508 3221224592 3221222928 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19397 18710 1111 63 0 19334 0
vsize: 77588
[startup+940.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 26456 0 2 0 93850 89 0 0 25 0 1 0 776999843 79605760 18722 4294967295 134512640 134714508 3221224592 3221220720 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19435 18722 1111 63 0 19372 0
vsize: 77740
[startup+950.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 27147 0 2 0 94848 91 0 0 25 0 1 0 776999843 79622144 18719 4294967295 134512640 134714508 3221224592 3221220720 1075112103 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19439 18719 1111 63 0 19376 0
vsize: 77756
[startup+960.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 27595 0 2 0 95846 93 0 0 25 0 1 0 776999843 79605760 18721 4294967295 134512640 134714508 3221224592 3221221608 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19435 18721 1111 63 0 19372 0
vsize: 77740
[startup+970.055 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 28256 0 2 0 96844 95 0 0 25 0 1 0 776999843 79622144 18722 4294967295 134512640 134714508 3221224592 3221220556 1074788162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19439 18722 1111 63 0 19376 0
vsize: 77756
[startup+980.054 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 28898 0 2 0 97843 97 0 0 25 0 1 0 776999843 79622144 18723 4294967295 134512640 134714508 3221224592 3221220448 1074871213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19439 18723 1111 63 0 19376 0
vsize: 77756
[startup+990.055 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 29699 0 2 0 98841 99 0 0 25 0 1 0 776999843 79450112 18711 4294967295 134512640 134714508 3221224592 3221222256 1075828444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19397 18711 1111 63 0 19334 0
vsize: 77588
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 30272 0 2 0 99840 100 0 0 25 0 1 0 776999843 79622144 18722 4294967295 134512640 134714508 3221224592 3221220448 1074871041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19439 18722 1111 63 0 19376 0
vsize: 77756
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 31018 0 2 0 100837 102 0 0 25 0 1 0 776999843 79450112 18711 4294967295 134512640 134714508 3221224592 3221222544 1074917413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19397 18711 1111 63 0 19334 0
vsize: 77588
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 31902 0 2 0 101835 105 0 0 25 0 1 0 776999843 79622144 18719 4294967295 134512640 134714508 3221224592 3221220476 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19439 18719 1111 63 0 19376 0
vsize: 77756
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 32634 0 2 0 102833 107 0 0 25 0 1 0 776999843 79622144 18722 4294967295 134512640 134714508 3221224592 3221220772 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19439 18722 1111 63 0 19376 0
vsize: 77756
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 33256 0 2 0 103832 108 0 0 25 0 1 0 776999843 79794176 18734 4294967295 134512640 134714508 3221224592 3221221472 1075960464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19481 18734 1111 63 0 19418 0
vsize: 77924
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 34088 0 2 0 104830 111 0 0 25 0 1 0 776999843 79622144 18723 4294967295 134512640 134714508 3221224592 3221220560 1074872704 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19439 18723 1111 63 0 19376 0
vsize: 77756
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 35203 0 2 0 105827 113 0 0 25 0 1 0 776999843 79794176 18734 4294967295 134512640 134714508 3221224592 3221220448 1074871208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19481 18734 1111 63 0 19418 0
vsize: 77924
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 36120 0 2 0 106824 117 0 0 25 0 1 0 776999843 79794176 18733 4294967295 134512640 134714508 3221224592 3221220624 1074790215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19481 18733 1111 63 0 19418 0
vsize: 77924
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 37187 0 2 0 107821 120 0 0 25 0 1 0 776999843 79622144 18721 4294967295 134512640 134714508 3221224592 3221220720 1074882576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19439 18721 1111 63 0 19376 0
vsize: 77756
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 38065 0 2 0 108819 123 0 0 25 0 1 0 776999843 79794176 18734 4294967295 134512640 134714508 3221224592 3221220560 1074872903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19481 18734 1111 63 0 19418 0
vsize: 77924
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 38522 0 2 0 109818 124 0 0 25 0 1 0 776999843 79450112 18711 4294967295 134512640 134714508 3221224592 3221222848 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19397 18711 1111 63 0 19334 0
vsize: 77588
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 39188 0 2 0 110816 126 0 0 25 0 1 0 776999843 79450112 18711 4294967295 134512640 134714508 3221224592 3221223344 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19397 18711 1111 63 0 19334 0
vsize: 77588
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 39619 0 2 0 111815 127 0 0 25 0 1 0 776999843 79450112 18711 4294967295 134512640 134714508 3221224592 3221223344 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19397 18711 1111 63 0 19334 0
vsize: 77588
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 40045 0 2 0 112814 128 0 0 25 0 1 0 776999843 79450112 18711 4294967295 134512640 134714508 3221224592 3221222800 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19397 18711 1111 63 0 19334 0
vsize: 77588
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 40503 0 2 0 113813 130 0 0 25 0 1 0 776999843 79450112 18711 4294967295 134512640 134714508 3221224592 3221222800 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19397 18711 1111 63 0 19334 0
vsize: 77588
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 41286 0 2 0 114811 132 0 0 25 0 1 0 776999843 79450112 18711 4294967295 134512640 134714508 3221224592 3221222808 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19397 18711 1111 63 0 19334 0
vsize: 77588
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 41987 0 2 0 115809 134 0 0 25 0 1 0 776999843 79794176 18734 4294967295 134512640 134714508 3221224592 3221220820 1075115117 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19481 18734 1111 63 0 19418 0
vsize: 77924
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 42669 0 2 0 116808 135 0 0 25 0 1 0 776999843 79450112 18711 4294967295 134512640 134714508 3221224592 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19397 18711 1111 63 0 19334 0
vsize: 77588
[startup+1177.46 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 24876
Raw data (stat): 24876 (bsolo_lpr) R 24875 15547 15546 0 -1 0 42669 0 2 0 116808 135 0 0 25 0 1 0 776999843 79450112 18711 4294967295 134512640 134714508 3221224592 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19397 18711 1111 63 0 19334 0
vsize: 0

Child status: 10
Real time (s): 1177.46
CPU time (s): 1176.84
CPU user time (s): 1175.44
CPU system time (s): 1.40379
CPU usage (%): 99.9476
Max. virtual memory (Kb): 77924
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1008
#### END VERIFIER DATA ####