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 41172

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        765576 kB
Buffers:          3840 kB
Cached:         243968 kB
SwapCached:        664 kB
Active:          24952 kB
Inactive:       224824 kB
HighTotal:      131008 kB
HighFree:        21196 kB
LowTotal:       903652 kB
LowFree:        744380 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13628 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 07:37:13 (client local time) WITH STATUS 10 IN 1176.75 SECONDS
stats: 29228 0 1176.75 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 767 constraints.
c preprocess terminated 67.991 s
c Initial Lower Bound: 904
c Lower Bound Elapsed time: 3.3
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1038 @ 294.283
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.71 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.93 0.90 2/54 30907
Raw data (stat): 30907 (runsolver) R 30906 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908411315 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.87 0.93 0.90 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 14035 0 0 0 967 30 0 0 25 0 1 0 908411315 60592128 13947 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14793 13947 1111 63 0 14730 0
vsize: 59172
[startup+20.0035 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 14068 0 0 0 1967 30 0 0 25 0 1 0 908411315 60727296 13980 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14826 13980 1111 63 0 14763 0
vsize: 59304
[startup+30.0039 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 14094 0 0 0 2967 30 0 0 25 0 1 0 908411315 60862464 14006 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14859 14006 1111 63 0 14796 0
vsize: 59436
[startup+40.0033 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 14126 0 0 0 3967 30 0 0 25 0 1 0 908411315 60997632 14038 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14892 14038 1111 63 0 14829 0
vsize: 59568
[startup+50.0043 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 14152 0 0 0 4967 30 0 0 25 0 1 0 908411315 61132800 14064 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14925 14064 1111 63 0 14862 0
vsize: 59700
[startup+60.0597 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 14183 0 0 0 5973 30 0 0 25 0 1 0 908411315 61267968 14095 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14958 14095 1111 63 0 14895 0
vsize: 59832
[startup+70.0855 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 14945 0 0 0 6974 32 0 0 25 0 1 0 908411315 63479808 14731 4294967295 134512640 134716908 3221224560 3221221504 1075971404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15498 14731 1111 63 0 15435 0
vsize: 61992
[startup+80.0871 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 15847 0 0 0 7971 34 0 0 25 0 1 0 908411315 63344640 14741 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15465 14741 1111 63 0 15402 0
vsize: 61860
[startup+90.0873 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 16118 0 0 0 8970 36 0 0 25 0 1 0 908411315 64425984 15012 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15729 15012 1111 63 0 15666 0
vsize: 62916
[startup+100.088 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 16268 0 0 0 9969 37 0 0 25 0 1 0 908411315 64954368 15162 4294967295 134512640 134716908 3221224560 3221223296 134591997 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15858 15162 1111 63 0 15795 0
vsize: 63432
[startup+110.089 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 16362 0 0 0 10968 38 0 0 25 0 1 0 908411315 65347584 15256 4294967295 134512640 134716908 3221224560 3221223176 134549509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15954 15256 1111 63 0 15891 0
vsize: 63816
[startup+120.09 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 16544 0 0 0 11967 39 0 0 25 0 1 0 908411315 66158592 15438 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16152 15438 1111 63 0 16089 0
vsize: 64608
[startup+130.09 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 16686 0 0 0 12967 40 0 0 25 0 1 0 908411315 66699264 15580 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16284 15580 1111 63 0 16221 0
vsize: 65136
[startup+140.09 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 16840 0 0 0 13967 40 0 0 25 0 1 0 908411315 67375104 15734 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16449 15734 1111 63 0 16386 0
vsize: 65796
[startup+150.092 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 17052 0 0 0 14966 41 0 0 25 0 1 0 908411315 68186112 15946 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16647 15946 1111 63 0 16584 0
vsize: 66588
[startup+160.092 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 17206 0 0 0 15964 42 0 0 25 0 1 0 908411315 68861952 16100 4294967295 134512640 134716908 3221224560 3221223108 134698766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16812 16100 1111 63 0 16749 0
vsize: 67248
[startup+170.092 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 17250 0 0 0 16964 42 0 0 25 0 1 0 908411315 68997120 16144 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16845 16144 1111 63 0 16782 0
vsize: 67380
[startup+180.093 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 17250 0 0 0 17964 42 0 0 25 0 1 0 908411315 68997120 16144 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16845 16144 1111 63 0 16782 0
vsize: 67380
[startup+190.093 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 17250 0 0 0 18964 43 0 0 25 0 1 0 908411315 68997120 16144 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16845 16144 1111 63 0 16782 0
vsize: 67380
[startup+200.095 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 17360 0 0 0 19964 43 0 0 25 0 1 0 908411315 69537792 16254 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16977 16254 1111 63 0 16914 0
vsize: 67908
[startup+210.095 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 17360 0 0 0 20964 43 0 0 25 0 1 0 908411315 69537792 16254 4294967295 134512640 134716908 3221224560 3221223152 134543681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16977 16254 1111 63 0 16914 0
vsize: 67908
[startup+220.096 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 17379 0 0 0 21964 44 0 0 25 0 1 0 908411315 69537792 16273 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16977 16273 1111 63 0 16914 0
vsize: 67908
[startup+230.096 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 17379 0 0 0 22964 44 0 0 25 0 1 0 908411315 69537792 16273 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16977 16273 1111 63 0 16914 0
vsize: 67908
[startup+240.096 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 17379 0 0 0 23963 45 0 0 25 0 1 0 908411315 69537792 16273 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16977 16273 1111 63 0 16914 0
vsize: 67908
[startup+250.096 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 17564 0 0 0 24962 46 0 0 25 0 1 0 908411315 70348800 16458 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17175 16458 1111 63 0 17112 0
vsize: 68700
[startup+260.097 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 17578 0 0 0 25962 46 0 0 25 0 1 0 908411315 70328320 16472 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17170 16472 1111 63 0 17107 0
vsize: 68680
[startup+270.097 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 17611 0 0 0 26962 46 0 0 25 0 1 0 908411315 70463488 16505 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17203 16505 1111 63 0 17140 0
vsize: 68812
[startup+280.097 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 17742 0 0 0 27961 47 0 0 25 0 1 0 908411315 71004160 16636 4294967295 134512640 134716908 3221224560 3221223200 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17335 16636 1111 63 0 17272 0
vsize: 69340
[startup+290.097 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 17855 0 0 0 28961 48 0 0 25 0 1 0 908411315 71536640 16749 4294967295 134512640 134716908 3221224560 3221223356 134597811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17465 16749 1111 63 0 17402 0
vsize: 69860
[startup+300.098 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 19287 0 0 0 29956 53 0 0 25 0 1 0 908411315 72347648 16939 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17663 16939 1111 63 0 17600 0
vsize: 70652
[startup+310.098 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 21846 0 0 0 30948 61 0 0 25 0 1 0 908411315 72871936 17015 4294967295 134512640 134716908 3221224560 3221220632 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17791 17015 1111 63 0 17728 0
vsize: 71164
[startup+320.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 24039 0 0 0 31942 68 0 0 25 0 1 0 908411315 73019392 17043 4294967295 134512640 134716908 3221224560 3221220764 1075564297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17827 17043 1111 63 0 17764 0
vsize: 71308
[startup+330.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 26376 0 0 0 32934 76 0 0 25 0 1 0 908411315 72740864 17028 4294967295 134512640 134716908 3221224560 3221222816 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17759 17028 1111 63 0 17696 0
vsize: 71036
[startup+340.099 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 28397 0 0 0 33929 81 0 0 25 0 1 0 908411315 73277440 17130 4294967295 134512640 134716908 3221224560 3221220688 1075561100 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17890 17130 1111 63 0 17827 0
vsize: 71560
[startup+350.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 28990 0 0 0 34927 83 0 0 25 0 1 0 908411315 72998912 17095 4294967295 134512640 134716908 3221224560 3221221104 1075088566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17822 17095 1111 63 0 17759 0
vsize: 71288
[startup+360.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 29588 0 0 0 35924 86 0 0 25 0 1 0 908411315 72822784 17084 4294967295 134512640 134716908 3221224560 3221222700 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17779 17084 1111 63 0 17716 0
vsize: 71116
[startup+370.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 30199 0 0 0 36922 89 0 0 25 0 1 0 908411315 72822784 17084 4294967295 134512640 134716908 3221224560 3221222948 1077374077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17779 17084 1111 63 0 17716 0
vsize: 71116
[startup+380.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 30787 0 0 0 37919 91 0 0 25 0 1 0 908411315 72974336 17094 4294967295 134512640 134716908 3221224560 3221220524 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17816 17094 1111 63 0 17753 0
vsize: 71264
[startup+390.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 31594 0 0 0 38916 94 0 0 25 0 1 0 908411315 72843264 17089 4294967295 134512640 134716908 3221224560 3221223072 134646693 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17784 17089 1111 63 0 17721 0
vsize: 71136
[startup+400.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 32387 0 0 0 39912 99 0 0 25 0 1 0 908411315 72843264 17089 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17784 17089 1111 63 0 17721 0
vsize: 71136
[startup+410.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 33080 0 0 0 40910 101 0 0 25 0 1 0 908411315 72998912 17094 4294967295 134512640 134716908 3221224560 3221220444 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17822 17094 1111 63 0 17759 0
vsize: 71288
[startup+420.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 33817 0 0 0 41907 104 0 0 25 0 1 0 908411315 72843264 17097 4294967295 134512640 134716908 3221224560 3221223040 1074031964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17784 17097 1111 63 0 17721 0
vsize: 71136
[startup+430.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 35285 0 0 0 42901 111 0 0 25 0 1 0 908411315 73437184 17183 4294967295 134512640 134716908 3221224560 3221221328 1076083481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17929 17183 1111 63 0 17866 0
vsize: 71716
[startup+440.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 36628 0 0 0 43896 116 0 0 25 0 1 0 908411315 73023488 17141 4294967295 134512640 134716908 3221224560 3221222632 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17828 17141 1111 63 0 17765 0
vsize: 71312
[startup+450.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 37880 0 0 0 44891 121 0 0 25 0 1 0 908411315 73166848 17174 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17863 17174 1111 63 0 17800 0
vsize: 71452
[startup+460.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 39651 0 0 0 45885 127 0 0 25 0 1 0 908411315 73875456 17313 4294967295 134512640 134716908 3221224560 3221220576 1074790329 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18036 17313 1111 63 0 17973 0
vsize: 72144
[startup+470.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 40643 0 0 0 46882 131 0 0 25 0 1 0 908411315 73678848 17301 4294967295 134512640 134716908 3221224560 3221222224 1075828451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17988 17301 1111 63 0 17925 0
vsize: 71952
[startup+480.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 41478 0 0 0 47878 134 0 0 25 0 1 0 908411315 73805824 17307 4294967295 134512640 134716908 3221224560 3221220672 1074794649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18019 17307 1111 63 0 17956 0
vsize: 72076
[startup+490.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 42117 0 0 0 48876 137 0 0 25 0 1 0 908411315 73654272 17295 4294967295 134512640 134716908 3221224560 3221223232 134652558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17982 17295 1111 63 0 17919 0
vsize: 71928
[startup+500.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 43018 0 0 0 49873 140 0 0 25 0 1 0 908411315 73904128 17320 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18043 17320 1111 63 0 17980 0
vsize: 72172
[startup+510.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 44080 0 0 0 50871 142 0 0 25 0 1 0 908411315 74121216 17355 4294967295 134512640 134716908 3221224560 3221220444 1074788930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18096 17355 1111 63 0 18033 0
vsize: 72384
[startup+520.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 45534 0 0 0 51866 147 0 0 25 0 1 0 908411315 74108928 17406 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18093 17406 1111 63 0 18030 0
vsize: 72372
[startup+530.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 47063 0 0 0 52862 152 0 0 25 0 1 0 908411315 74117120 17408 4294967295 134512640 134716908 3221224560 3221223048 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18095 17408 1111 63 0 18032 0
vsize: 72380
[startup+540.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 48220 0 0 0 53858 156 0 0 25 0 1 0 908411315 74174464 17422 4294967295 134512640 134716908 3221224560 3221221616 1074138642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18109 17422 1111 63 0 18046 0
vsize: 72436
[startup+550.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 49171 0 0 0 54855 159 0 0 25 0 1 0 908411315 74174464 17422 4294967295 134512640 134716908 3221224560 3221222144 1075818322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18109 17422 1111 63 0 18046 0
vsize: 72436
[startup+560.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 50024 0 0 0 55851 163 0 0 25 0 1 0 908411315 74174464 17422 4294967295 134512640 134716908 3221224560 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18109 17422 1111 63 0 18046 0
vsize: 72436
[startup+570.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 50690 0 0 0 56849 165 0 0 25 0 1 0 908411315 74174464 17422 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18109 17422 1111 63 0 18046 0
vsize: 72436
[startup+580.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 51364 0 0 0 57846 168 0 0 25 0 1 0 908411315 74326016 17433 4294967295 134512640 134716908 3221224560 3221220444 1074788177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18146 17433 1111 63 0 18083 0
vsize: 72584
[startup+590.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 51994 0 0 0 58843 171 0 0 25 0 1 0 908411315 74174464 17422 4294967295 134512640 134716908 3221224560 3221222492 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18109 17422 1111 63 0 18046 0
vsize: 72436
[startup+600.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 53037 0 0 0 59840 175 0 0 25 0 1 0 908411315 74174464 17422 4294967295 134512640 134716908 3221224560 3221222860 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18109 17422 1111 63 0 18046 0
vsize: 72436
[startup+610.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 54524 0 0 0 60834 181 0 0 25 0 1 0 908411315 74412032 17445 4294967295 134512640 134716908 3221224560 3221223040 134558521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18167 17445 1111 63 0 18104 0
vsize: 72668
[startup+620.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 55673 0 0 0 61831 185 0 0 25 0 1 0 908411315 74649600 17493 4294967295 134512640 134716908 3221224560 3221220604 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18225 17493 1111 63 0 18162 0
vsize: 72900
[startup+630.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 56739 0 0 0 62828 188 0 0 25 0 1 0 908411315 74739712 17511 4294967295 134512640 134716908 3221224560 3221220832 1074961301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18247 17511 1111 63 0 18184 0
vsize: 72988
[startup+640.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 57927 0 0 0 63824 191 0 0 25 0 1 0 908411315 74428416 17484 4294967295 134512640 134716908 3221224560 3221222912 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18171 17484 1111 63 0 18108 0
vsize: 72684
[startup+650.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 59332 0 0 0 64819 196 0 0 25 0 1 0 908411315 74444800 17488 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18175 17488 1111 63 0 18112 0
vsize: 72700
[startup+660.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 60874 0 0 0 65815 201 0 0 25 0 1 0 908411315 75014144 17573 4294967295 134512640 134716908 3221224560 3221221024 1075084528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18314 17573 1111 63 0 18251 0
vsize: 73256
[startup+670.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 62884 0 0 0 66809 207 0 0 25 0 1 0 908411315 74936320 17551 4294967295 134512640 134716908 3221224560 3221223048 134543174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18295 17551 1111 63 0 18232 0
vsize: 73180
[startup+680.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 64616 0 0 0 67804 213 0 0 25 0 1 0 908411315 75141120 17600 4294967295 134512640 134716908 3221224560 3221220764 1075564316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18345 17600 1111 63 0 18282 0
vsize: 73380
[startup+690.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 65913 0 0 0 68800 216 0 0 25 0 1 0 908411315 75206656 17624 4294967295 134512640 134716908 3221224560 3221220368 1074870914 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18361 17624 1111 63 0 18298 0
vsize: 73444
[startup+700.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 66737 0 0 0 69798 219 0 0 25 0 1 0 908411315 74997760 17598 4294967295 134512640 134716908 3221224560 3221220656 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18310 17598 1111 63 0 18247 0
vsize: 73240
[startup+710.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 67489 0 0 0 70795 221 0 0 25 0 1 0 908411315 74870784 17592 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18279 17592 1111 63 0 18216 0
vsize: 73116
[startup+720.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 68286 0 0 0 71793 224 0 0 25 0 1 0 908411315 74870784 17592 4294967295 134512640 134716908 3221224560 3221222860 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18279 17592 1111 63 0 18216 0
vsize: 73116
[startup+730.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 69137 0 0 0 72791 227 0 0 25 0 1 0 908411315 75218944 17611 4294967295 134512640 134716908 3221224560 3221220916 1075522743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18364 17611 1111 63 0 18301 0
vsize: 73456
[startup+740.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 70095 0 0 0 73787 230 0 0 25 0 1 0 908411315 74870784 17590 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18279 17590 1111 63 0 18216 0
vsize: 73116
[startup+750.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 71515 0 0 0 74783 234 0 0 25 0 1 0 908411315 75018240 17589 4294967295 134512640 134716908 3221224560 3221222480 1075799603 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18315 17589 1111 63 0 18252 0
vsize: 73260
[startup+760.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 73587 0 0 0 75778 240 0 0 25 0 1 0 908411315 75407360 17723 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18410 17723 1111 63 0 18347 0
vsize: 73640
[startup+770.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 75768 0 0 0 76772 246 0 0 25 0 1 0 908411315 76300288 17875 4294967295 134512640 134716908 3221224560 3221220672 1075095094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18628 17875 1111 63 0 18565 0
vsize: 74512
[startup+780.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 77088 0 0 0 77767 251 0 0 25 0 1 0 908411315 75702272 17787 4294967295 134512640 134716908 3221224560 3221222648 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18482 17787 1111 63 0 18419 0
vsize: 73928
[startup+790.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 78054 0 0 0 78764 254 0 0 25 0 1 0 908411315 75726848 17801 4294967295 134512640 134716908 3221224560 3221223312 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+800.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 78883 0 0 0 79762 257 0 0 25 0 1 0 908411315 75726848 17801 4294967295 134512640 134716908 3221224560 3221223312 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+810.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 79348 0 0 0 80761 259 0 0 25 0 1 0 908411315 75726848 17801 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+820.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 79855 0 0 0 81759 261 0 0 25 0 1 0 908411315 75726848 17801 4294967295 134512640 134716908 3221224560 3221222960 1074119062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+830.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 80337 0 0 0 82758 263 0 0 25 0 1 0 908411315 75902976 17810 4294967295 134512640 134716908 3221224560 3221221480 1074950102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17810 1111 63 0 18468 0
vsize: 74124
[startup+840.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 80813 0 0 0 83755 265 0 0 25 0 1 0 908411315 75726848 17801 4294967295 134512640 134716908 3221224560 3221222768 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+850.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 81307 0 0 0 84753 267 0 0 25 0 1 0 908411315 75726848 17801 4294967295 134512640 134716908 3221224560 3221222864 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+860.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 81774 0 0 0 85751 270 0 0 25 0 1 0 908411315 75726848 17801 4294967295 134512640 134716908 3221224560 3221223444 134601046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+870.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 82222 0 0 0 86749 272 0 0 25 0 1 0 908411315 75902976 17808 4294967295 134512640 134716908 3221224560 3221220572 1074788937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17809 1111 63 0 18468 0
vsize: 74124
[startup+880.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 82715 0 0 0 87747 274 0 0 25 0 1 0 908411315 75726848 17801 4294967295 134512640 134716908 3221224560 3221222920 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+890.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 83211 0 0 0 88745 276 0 0 25 0 1 0 908411315 75726848 17801 4294967295 134512640 134716908 3221224560 3221223312 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+900.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 83647 0 0 0 89743 279 0 0 25 0 1 0 908411315 75902976 17812 4294967295 134512640 134716908 3221224560 3221220832 1074961244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17812 1111 63 0 18468 0
vsize: 74124
[startup+910.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 84103 0 0 0 90741 281 0 0 25 0 1 0 908411315 75726848 17801 4294967295 134512640 134716908 3221224560 3221223056 134646832 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+920.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 84524 0 0 0 91742 282 0 0 25 0 1 0 908411315 75902976 17813 4294967295 134512640 134716908 3221224560 3221220604 1074873723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17813 1111 63 0 18468 0
vsize: 74124
[startup+930.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 84983 0 0 0 92739 285 0 0 25 0 1 0 908411315 75902976 17812 4294967295 134512640 134716908 3221224560 3221220800 1075115709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17812 1111 63 0 18468 0
vsize: 74124
[startup+940.138 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 85461 0 0 0 93738 286 0 0 25 0 1 0 908411315 75902976 17810 4294967295 134512640 134716908 3221224560 3221220416 1074870914 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17810 1111 63 0 18468 0
vsize: 74124
[startup+950.138 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 85916 0 0 0 94736 288 0 0 25 0 1 0 908411315 75726848 17801 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+960.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 86415 0 0 0 95734 290 0 0 25 0 1 0 908411315 75878400 17812 4294967295 134512640 134716908 3221224560 3221220576 1074881396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18525 17812 1111 63 0 18462 0
vsize: 74100
[startup+970.138 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 86878 0 0 0 96732 292 0 0 25 0 1 0 908411315 75902976 17810 4294967295 134512640 134716908 3221224560 3221220832 1074961267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17810 1111 63 0 18468 0
vsize: 74124
[startup+980.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 87344 0 0 0 97731 294 0 0 25 0 1 0 908411315 75726848 17801 4294967295 134512640 134716908 3221224560 3221222832 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+990.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 87775 0 0 0 98730 296 0 0 25 0 1 0 908411315 75902976 17812 4294967295 134512640 134716908 3221224560 3221220720 1074883666 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17812 1111 63 0 18468 0
vsize: 74124
[startup+1000.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 88201 0 0 0 99728 297 0 0 25 0 1 0 908411315 75726848 17801 4294967295 134512640 134716908 3221224560 3221223072 134646343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+1010.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 88673 0 0 0 100725 300 0 0 25 0 1 0 908411315 75878400 17812 4294967295 134512640 134716908 3221224560 3221220368 1074871217 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18525 17812 1111 63 0 18462 0
vsize: 74100
[startup+1020.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 89112 0 0 0 101724 302 0 0 25 0 1 0 908411315 75902976 17812 4294967295 134512640 134716908 3221224560 3221220768 1075895652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17812 1111 63 0 18468 0
vsize: 74124
[startup+1030.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 89554 0 0 0 102722 304 0 0 25 0 1 0 908411315 75878400 17812 4294967295 134512640 134716908 3221224560 3221221040 1075119984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18525 17812 1111 63 0 18462 0
vsize: 74100
[startup+1040.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 89992 0 0 0 103721 305 0 0 25 0 1 0 908411315 75726848 17801 4294967295 134512640 134716908 3221224560 3221222560 1074918660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+1050.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 90490 0 0 0 104719 307 0 0 25 0 1 0 908411315 75902976 17812 4294967295 134512640 134716908 3221224560 3221220896 1075114265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17812 1111 63 0 18468 0
vsize: 74124
[startup+1060.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 90950 0 0 0 105718 309 0 0 25 0 1 0 908411315 75726848 17801 4294967295 134512640 134716908 3221224560 3221222304 1075640412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+1070.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 91414 0 0 0 106716 311 0 0 25 0 1 0 908411315 75726848 17801 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+1080.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 91872 0 0 0 107714 313 0 0 25 0 1 0 908411315 75726848 17801 4294967295 134512640 134716908 3221224560 3221223072 134646346 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+1090.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 92317 0 0 0 108712 315 0 0 25 0 1 0 908411315 75726848 17801 4294967295 134512640 134716908 3221224560 3221222488 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+1100.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 92788 0 0 0 109710 318 0 0 25 0 1 0 908411315 75902976 17812 4294967295 134512640 134716908 3221224560 3221220444 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17812 1111 63 0 18468 0
vsize: 74124
[startup+1110.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 93263 0 0 0 110707 320 0 0 25 0 1 0 908411315 75726848 17801 4294967295 134512640 134716908 3221224560 3221222208 1075818192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+1120.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 93805 0 0 0 111705 322 0 0 25 0 1 0 908411315 76099584 17828 4294967295 134512640 134716908 3221224560 3221220624 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17828 1111 63 0 18516 0
vsize: 74316
[startup+1130.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 94487 0 0 0 112702 326 0 0 25 0 1 0 908411315 75751424 17807 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18494 17807 1111 63 0 18431 0
vsize: 73976
[startup+1140.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 95247 0 0 0 113699 329 0 0 25 0 1 0 908411315 75776000 17805 4294967295 134512640 134716908 3221224560 3221222864 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18500 17805 1111 63 0 18437 0
vsize: 74000
[startup+1150.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 96391 0 0 0 114693 335 0 0 25 0 1 0 908411315 76210176 17863 4294967295 134512640 134716908 3221224560 3221220720 1074794889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18606 17863 1111 63 0 18543 0
vsize: 74424
[startup+1160.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 97422 0 0 0 115690 338 0 0 25 0 1 0 908411315 76099584 17827 4294967295 134512640 134716908 3221224560 3221221092 1074260635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17827 1111 63 0 18516 0
vsize: 74316
[startup+1170.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 98333 0 0 0 116687 341 0 0 25 0 1 0 908411315 76107776 17833 4294967295 134512640 134716908 3221224560 3221221064 1075240389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18581 17833 1111 63 0 18518 0
vsize: 74324
[startup+1176.6 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 30907
Raw data (stat): 30907 (bsolo_lpr_cuts-) R 30906 7266 7265 0 -1 0 98333 0 0 0 116687 341 0 0 25 0 1 0 908411315 76107776 17833 4294967295 134512640 134716908 3221224560 3221221064 1075240389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18581 17833 1111 63 0 18518 0
vsize: 0

Child status: 10
Real time (s): 1176.6
CPU time (s): 1176.75
CPU user time (s): 1173.27
CPU system time (s): 3.47447
CPU usage (%): 100.013
Max. virtual memory (Kb): 74512
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1038
#### END VERIFIER DATA ####