PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

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

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        720960 kB
Buffers:         23468 kB
Cached:         269452 kB
SwapCached:        908 kB
Active:          27680 kB
Inactive:       267276 kB
HighTotal:      131008 kB
HighFree:        42616 kB
LowTotal:       903652 kB
LowFree:        678344 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5000 kB
Slab:            13288 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 15:50:10 (client local time) WITH STATUS 10 IN 1176.68 SECONDS
stats: 29612 0 1176.68 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.98 s
c Initial Lower Bound: 904
c Lower Bound Elapsed time: 3.3035
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1038 @ 294.229
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.63 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.95 0.97 0.91 1/54 14013
Raw data (stat): 14013 (runsolver) R 14012 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911368486 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.0005 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 14036 0 0 0 969 29 0 0 25 0 1 0 911368486 60592128 13948 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14793 13948 1111 63 0 14730 0
vsize: 59172
[startup+20.001 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 14068 0 0 0 1969 29 0 0 25 0 1 0 911368486 60727296 13980 4294967295 134512640 134716908 3221224560 3221223232 134627260 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.0014 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 14094 0 0 0 2969 29 0 0 25 0 1 0 911368486 60862464 14006 4294967295 134512640 134716908 3221224560 3221223220 134627213 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.0016 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 14126 0 0 0 3970 29 0 0 25 0 1 0 911368486 60997632 14038 4294967295 134512640 134716908 3221224560 3221223208 134558492 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.0014 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 14153 0 0 0 4970 29 0 0 25 0 1 0 911368486 61132800 14065 4294967295 134512640 134716908 3221224560 3221223232 134627233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14925 14065 1111 63 0 14862 0
vsize: 59700
[startup+60.0019 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 14183 0 0 0 5970 29 0 0 25 0 1 0 911368486 61267968 14095 4294967295 134512640 134716908 3221224560 3221223224 134627211 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.0025 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 14945 0 0 0 6969 30 0 0 25 0 1 0 911368486 63479808 14731 4294967295 134512640 134716908 3221224560 3221220496 1074790221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15498 14731 1111 63 0 15435 0
vsize: 61992
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 15844 0 0 0 7966 33 0 0 25 0 1 0 911368486 63209472 14738 4294967295 134512640 134716908 3221224560 3221223376 134590266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15432 14738 1111 63 0 15369 0
vsize: 61728
[startup+90.0033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 16118 0 0 0 8966 34 0 0 25 0 1 0 911368486 64425984 15012 4294967295 134512640 134716908 3221224560 3221223168 134549467 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 16268 0 0 0 9965 35 0 0 25 0 1 0 911368486 64954368 15162 4294967295 134512640 134716908 3221224560 3221223216 134536638 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 16362 0 0 0 10965 35 0 0 25 0 1 0 911368486 65347584 15256 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 16544 0 0 0 11965 36 0 0 25 0 1 0 911368486 66158592 15438 4294967295 134512640 134716908 3221224560 3221223124 134539339 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 16686 0 0 0 12964 37 0 0 25 0 1 0 911368486 66699264 15580 4294967295 134512640 134716908 3221224560 3221223176 134548551 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 16840 0 0 0 13964 37 0 0 25 0 1 0 911368486 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 17052 0 0 0 14964 38 0 0 25 0 1 0 911368486 68186112 15946 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16647 15946 1111 63 0 16584 0
vsize: 66588
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 17206 0 0 0 15964 39 0 0 25 0 1 0 911368486 68861952 16100 4294967295 134512640 134716908 3221224560 3221223168 134549316 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 17250 0 0 0 16964 39 0 0 25 0 1 0 911368486 68997120 16144 4294967295 134512640 134716908 3221224560 3221223200 134698689 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 17250 0 0 0 17964 39 0 0 25 0 1 0 911368486 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 17250 0 0 0 18964 39 0 0 25 0 1 0 911368486 68997120 16144 4294967295 134512640 134716908 3221224560 3221223200 134539462 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 17360 0 0 0 19964 40 0 0 25 0 1 0 911368486 69537792 16254 4294967295 134512640 134716908 3221224560 3221223248 134551890 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 17360 0 0 0 20963 40 0 0 25 0 1 0 911368486 69537792 16254 4294967295 134512640 134716908 3221224560 3221223168 134549327 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 17379 0 0 0 21963 41 0 0 25 0 1 0 911368486 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 17379 0 0 0 22963 41 0 0 25 0 1 0 911368486 69537792 16273 4294967295 134512640 134716908 3221224560 3221223168 134549327 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 17379 0 0 0 23963 42 0 0 25 0 1 0 911368486 69537792 16273 4294967295 134512640 134716908 3221224560 3221223168 134549327 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 17564 0 0 0 24963 42 0 0 25 0 1 0 911368486 70348800 16458 4294967295 134512640 134716908 3221224560 3221223144 134543638 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 17578 0 0 0 25963 43 0 0 25 0 1 0 911368486 70328320 16472 4294967295 134512640 134716908 3221224560 3221223240 134543589 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 17611 0 0 0 26963 43 0 0 25 0 1 0 911368486 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 17742 0 0 0 27963 44 0 0 25 0 1 0 911368486 71004160 16636 4294967295 134512640 134716908 3221224560 3221223272 134558492 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 17855 0 0 0 28962 44 0 0 25 0 1 0 911368486 71536640 16749 4294967295 134512640 134716908 3221224560 3221223216 134536638 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 19287 0 0 0 29958 49 0 0 25 0 1 0 911368486 72347648 16939 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17663 16939 1111 63 0 17600 0
vsize: 70652
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 21845 0 0 0 30949 57 0 0 25 0 1 0 911368486 72871936 17014 4294967295 134512640 134716908 3221224560 3221220784 1075895891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17791 17014 1111 63 0 17728 0
vsize: 71164
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 24039 0 0 0 31942 65 0 0 25 0 1 0 911368486 73019392 17043 4294967295 134512640 134716908 3221224560 3221221488 1075960381 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 26303 0 0 0 32934 73 0 0 25 0 1 0 911368486 72794112 17031 4294967295 134512640 134716908 3221224560 3221222912 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17772 17031 1111 63 0 17709 0
vsize: 71088
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 28396 0 0 0 33928 79 0 0 25 0 1 0 911368486 73277440 17129 4294967295 134512640 134716908 3221224560 3221220604 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17890 17129 1111 63 0 17827 0
vsize: 71560
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 28989 0 0 0 34927 81 0 0 25 0 1 0 911368486 72998912 17094 4294967295 134512640 134716908 3221224560 3221220704 1074969463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17822 17094 1111 63 0 17759 0
vsize: 71288
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 29588 0 0 0 35924 85 0 0 25 0 1 0 911368486 72822784 17084 4294967295 134512640 134716908 3221224560 3221222764 1077781665 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 30199 0 0 0 36921 88 0 0 25 0 1 0 911368486 72822784 17084 4294967295 134512640 134716908 3221224560 3221223052 134543156 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 30787 0 0 0 37919 90 0 0 25 0 1 0 911368486 72974336 17094 4294967295 134512640 134716908 3221224560 3221220368 1074871266 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 31594 0 0 0 38917 92 0 0 25 0 1 0 911368486 72843264 17089 4294967295 134512640 134716908 3221224560 3221222812 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+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 32387 0 0 0 39915 95 0 0 25 0 1 0 911368486 73191424 17110 4294967295 134512640 134716908 3221224560 3221220416 1074871233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17869 17110 1111 63 0 17806 0
vsize: 71476
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 33080 0 0 0 40913 97 0 0 25 0 1 0 911368486 72998912 17094 4294967295 134512640 134716908 3221224560 3221221648 1075661523 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 33801 0 0 0 41909 101 0 0 25 0 1 0 911368486 73154560 17130 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17860 17130 1111 63 0 17797 0
vsize: 71440
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 35283 0 0 0 42905 106 0 0 25 0 1 0 911368486 73437184 17181 4294967295 134512640 134716908 3221224560 3221220832 1074961191 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17929 17181 1111 63 0 17866 0
vsize: 71716
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 36602 0 0 0 43900 111 0 0 25 0 1 0 911368486 73048064 17147 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17834 17147 1111 63 0 17771 0
vsize: 71336
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 37868 0 0 0 44897 115 0 0 25 0 1 0 911368486 73510912 17206 4294967295 134512640 134716908 3221224560 3221221216 1075966459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17947 17206 1111 63 0 17884 0
vsize: 71788
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 39644 0 0 0 45891 120 0 0 25 0 1 0 911368486 73699328 17306 4294967295 134512640 134716908 3221224560 3221223280 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17993 17306 1111 63 0 17930 0
vsize: 71972
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 40615 0 0 0 46889 123 0 0 25 0 1 0 911368486 73678848 17301 4294967295 134512640 134716908 3221224560 3221222560 1074916565 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 41458 0 0 0 47885 127 0 0 25 0 1 0 911368486 73654272 17295 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17982 17295 1111 63 0 17919 0
vsize: 71928
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 42108 0 0 0 48883 130 0 0 25 0 1 0 911368486 73805824 17306 4294967295 134512640 134716908 3221224560 3221220388 1074786567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18019 17306 1111 63 0 17956 0
vsize: 72076
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 42988 0 0 0 49880 133 0 0 25 0 1 0 911368486 74133504 17356 4294967295 134512640 134716908 3221224560 3221220832 1074960795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18099 17356 1111 63 0 18036 0
vsize: 72396
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 44078 0 0 0 50877 137 0 0 25 0 1 0 911368486 74121216 17353 4294967295 134512640 134716908 3221224560 3221220896 1075114265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18096 17353 1111 63 0 18033 0
vsize: 72384
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 45534 0 0 0 51873 141 0 0 25 0 1 0 911368486 74108928 17406 4294967295 134512640 134716908 3221224560 3221223052 134543156 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 47045 0 0 0 52867 146 0 0 25 0 1 0 911368486 74502144 17448 4294967295 134512640 134716908 3221224560 3221220624 1074881470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18189 17448 1111 63 0 18126 0
vsize: 72756
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 48219 0 0 0 53864 150 0 0 25 0 1 0 911368486 74326016 17430 4294967295 134512640 134716908 3221224560 3221221040 1075397153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18146 17430 1111 63 0 18083 0
vsize: 72584
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 49171 0 0 0 54861 153 0 0 25 0 1 0 911368486 74174464 17422 4294967295 134512640 134716908 3221224560 3221222256 1074153806 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 50024 0 0 0 55859 156 0 0 25 0 1 0 911368486 74174464 17422 4294967295 134512640 134716908 3221224560 3221222896 1074153669 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 50690 0 0 0 56856 159 0 0 25 0 1 0 911368486 74174464 17422 4294967295 134512640 134716908 3221224560 3221223024 134606864 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 51365 0 0 0 57855 161 0 0 25 0 1 0 911368486 74326016 17434 4294967295 134512640 134716908 3221224560 3221220448 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18146 17434 1111 63 0 18083 0
vsize: 72584
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 52000 0 0 0 58853 163 0 0 25 0 1 0 911368486 74350592 17428 4294967295 134512640 134716908 3221224560 3221220524 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18152 17428 1111 63 0 18089 0
vsize: 72608
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 53038 0 0 0 59849 167 0 0 25 0 1 0 911368486 74354688 17423 4294967295 134512640 134716908 3221224560 3221222672 1074867264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18153 17423 1111 63 0 18090 0
vsize: 72612
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 54524 0 0 0 60845 172 0 0 25 0 1 0 911368486 74412032 17445 4294967295 134512640 134716908 3221224560 3221222944 1074153753 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 55692 0 0 0 61842 175 0 0 25 0 1 0 911368486 74334208 17461 4294967295 134512640 134716908 3221224560 3221222816 1073990361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18148 17461 1111 63 0 18085 0
vsize: 72592
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 56781 0 0 0 62839 179 0 0 25 0 1 0 911368486 74731520 17509 4294967295 134512640 134716908 3221224560 3221221576 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18245 17509 1111 63 0 18182 0
vsize: 72980
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 57968 0 0 0 63834 183 0 0 25 0 1 0 911368486 74928128 17524 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18293 17524 1111 63 0 18230 0
vsize: 73172
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 59393 0 0 0 64831 187 0 0 25 0 1 0 911368486 74924032 17548 4294967295 134512640 134716908 3221224560 3221220416 1074871208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18292 17548 1111 63 0 18229 0
vsize: 73168
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 60949 0 0 0 65827 191 0 0 25 0 1 0 911368486 75173888 17585 4294967295 134512640 134716908 3221224560 3221220720 1075095062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18353 17585 1111 63 0 18290 0
vsize: 73412
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 62998 0 0 0 66821 197 0 0 25 0 1 0 911368486 74907648 17549 4294967295 134512640 134716908 3221224560 3221223040 1074031958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18288 17549 1111 63 0 18225 0
vsize: 73152
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 64669 0 0 0 67816 203 0 0 25 0 1 0 911368486 75063296 17571 4294967295 134512640 134716908 3221224560 3221220832 1074808141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18326 17571 1111 63 0 18263 0
vsize: 73304
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 65960 0 0 0 68813 207 0 0 25 0 1 0 911368486 75247616 17626 4294967295 134512640 134716908 3221224560 3221220832 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18371 17626 1111 63 0 18308 0
vsize: 73484
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 66759 0 0 0 69809 211 0 0 25 0 1 0 911368486 75022336 17597 4294967295 134512640 134716908 3221224560 3221220832 1074961138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18316 17597 1111 63 0 18253 0
vsize: 73264
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 67531 0 0 0 70806 215 0 0 25 0 1 0 911368486 75280384 17633 4294967295 134512640 134716908 3221224560 3221220800 1075115765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18379 17633 1111 63 0 18316 0
vsize: 73516
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 68314 0 0 0 71803 217 0 0 25 0 1 0 911368486 74846208 17586 4294967295 134512640 134716908 3221224560 3221222728 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18273 17586 1111 63 0 18210 0
vsize: 73092
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 69168 0 0 0 72801 220 0 0 25 0 1 0 911368486 75173888 17608 4294967295 134512640 134716908 3221224560 3221221280 1076083615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18353 17608 1111 63 0 18290 0
vsize: 73412
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 70132 0 0 0 73798 223 0 0 25 0 1 0 911368486 74846208 17586 4294967295 134512640 134716908 3221224560 3221222592 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18273 17586 1111 63 0 18210 0
vsize: 73092
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 71629 0 0 0 74795 227 0 0 25 0 1 0 911368486 75247616 17622 4294967295 134512640 134716908 3221224560 3221222672 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18371 17622 1111 63 0 18308 0
vsize: 73484
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 73727 0 0 0 75789 233 0 0 25 0 1 0 911368486 75636736 17758 4294967295 134512640 134716908 3221224560 3221222816 1073990361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18466 17758 1111 63 0 18403 0
vsize: 73864
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 75865 0 0 0 76784 238 0 0 25 0 1 0 911368486 76361728 17873 4294967295 134512640 134716908 3221224560 3221221136 1076047903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18643 17873 1111 63 0 18580 0
vsize: 74572
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 77140 0 0 0 77781 242 0 0 25 0 1 0 911368486 76148736 17838 4294967295 134512640 134716908 3221224560 3221220396 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18591 17838 1111 63 0 18528 0
vsize: 74364
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 78101 0 0 0 78778 245 0 0 25 0 1 0 911368486 75751424 17801 4294967295 134512640 134716908 3221224560 3221222864 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18494 17801 1111 63 0 18431 0
vsize: 73976
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 78894 0 0 0 79776 247 0 0 25 0 1 0 911368486 75902976 17812 4294967295 134512640 134716908 3221224560 3221220444 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17812 1111 63 0 18468 0
vsize: 74124
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 79382 0 0 0 80775 249 0 0 25 0 1 0 911368486 75902976 17809 4294967295 134512640 134716908 3221224560 3221220604 1074873456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17809 1111 63 0 18468 0
vsize: 74124
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 79882 0 0 0 81773 251 0 0 25 0 1 0 911368486 75902976 17812 4294967295 134512640 134716908 3221224560 3221220660 1075964258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17812 1111 63 0 18468 0
vsize: 74124
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 80356 0 0 0 82771 254 0 0 25 0 1 0 911368486 75726848 17801 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 80841 0 0 0 83769 256 0 0 25 0 1 0 911368486 75726848 17801 4294967295 134512640 134716908 3221224560 3221222860 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+850.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 81318 0 0 0 84768 258 0 0 25 0 1 0 911368486 75726848 17801 4294967295 134512640 134716908 3221224560 3221222200 1077410163 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 81785 0 0 0 85766 260 0 0 25 0 1 0 911368486 75902976 17812 4294967295 134512640 134716908 3221224560 3221220572 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17812 1111 63 0 18468 0
vsize: 74124
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 82241 0 0 0 86763 263 0 0 25 0 1 0 911368486 75726848 17801 4294967295 134512640 134716908 3221224560 3221223072 134646691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 82742 0 0 0 87762 265 0 0 25 0 1 0 911368486 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+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 83223 0 0 0 88760 267 0 0 25 0 1 0 911368486 75902976 17813 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17813 1111 63 0 18468 0
vsize: 74124
[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 83683 0 0 0 89758 269 0 0 25 0 1 0 911368486 75726848 17801 4294967295 134512640 134716908 3221224560 3221223312 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 84115 0 0 0 90756 271 0 0 25 0 1 0 911368486 75902976 17813 4294967295 134512640 134716908 3221224560 3221220444 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17813 1111 63 0 18468 0
vsize: 74124
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 84542 0 0 0 91755 273 0 0 25 0 1 0 911368486 75726848 17801 4294967295 134512640 134716908 3221224560 3221223200 134698434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+930.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 85001 0 0 0 92753 275 0 0 25 0 1 0 911368486 75726848 17801 4294967295 134512640 134716908 3221224560 3221222860 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+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 85489 0 0 0 93751 277 0 0 25 0 1 0 911368486 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+950.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 85927 0 0 0 94750 279 0 0 25 0 1 0 911368486 75902976 17812 4294967295 134512640 134716908 3221224560 3221220524 1074788977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17812 1111 63 0 18468 0
vsize: 74124
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 86433 0 0 0 95748 281 0 0 25 0 1 0 911368486 75902976 17807 4294967295 134512640 134716908 3221224560 3221221100 1075240586 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17807 1111 63 0 18468 0
vsize: 74124
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 86896 0 0 0 96746 283 0 0 25 0 1 0 911368486 75726848 17801 4294967295 134512640 134716908 3221224560 3221222764 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+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 87355 0 0 0 97744 286 0 0 25 0 1 0 911368486 75878400 17812 4294967295 134512640 134716908 3221224560 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18525 17812 1111 63 0 18462 0
vsize: 74100
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 87775 0 0 0 98743 287 0 0 25 0 1 0 911368486 75902976 17812 4294967295 134512640 134716908 3221224560 3221221504 1074620382 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 88201 0 0 0 99741 290 0 0 25 0 1 0 911368486 75726848 17801 4294967295 134512640 134716908 3221224560 3221222944 1074153648 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 88683 0 0 0 100740 292 0 0 25 0 1 0 911368486 75726848 17801 4294967295 134512640 134716908 3221224560 3221223312 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 17801 1111 63 0 18425 0
vsize: 73952
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 89112 0 0 0 101738 293 0 0 25 0 1 0 911368486 75902976 17812 4294967295 134512640 134716908 3221224560 3221220720 1075094874 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 89554 0 0 0 102737 295 0 0 25 0 1 0 911368486 75878400 17812 4294967295 134512640 134716908 3221224560 3221220952 1077410163 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 90018 0 0 0 103736 297 0 0 25 0 1 0 911368486 76099584 17827 4294967295 134512640 134716908 3221224560 3221220704 1074970183 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17827 1111 63 0 18516 0
vsize: 74316
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 90490 0 0 0 104733 299 0 0 25 0 1 0 911368486 75902976 17812 4294967295 134512640 134716908 3221224560 3221220528 1074872824 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 90968 0 0 0 105731 302 0 0 25 0 1 0 911368486 75726848 17801 4294967295 134512640 134716908 3221224560 3221223040 1074031964 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 91414 0 0 0 106730 303 0 0 25 0 1 0 911368486 75726848 17801 4294967295 134512640 134716908 3221224560 3221222892 1074912864 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 91872 0 0 0 107728 305 0 0 25 0 1 0 911368486 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+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 92329 0 0 0 108726 307 0 0 25 0 1 0 911368486 75902976 17813 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17813 1111 63 0 18468 0
vsize: 74124
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 92789 0 0 0 109725 309 0 0 25 0 1 0 911368486 75902976 17813 4294967295 134512640 134716908 3221224560 3221220496 1075965260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17813 1111 63 0 18468 0
vsize: 74124
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 93275 0 0 0 110723 311 0 0 25 0 1 0 911368486 75902976 17813 4294967295 134512640 134716908 3221224560 3221220528 1074872793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18531 17813 1111 63 0 18468 0
vsize: 74124
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 93813 0 0 0 111721 314 0 0 25 0 1 0 911368486 75927552 17815 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18537 17816 1111 63 0 18474 0
vsize: 74148
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 94512 0 0 0 112718 317 0 0 25 0 1 0 911368486 76099584 17826 4294967295 134512640 134716908 3221224560 3221221504 1074620132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17826 1111 63 0 18516 0
vsize: 74316
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 95280 0 0 0 113716 320 0 0 25 0 1 0 911368486 76103680 17838 4294967295 134512640 134716908 3221224560 3221221056 1075088563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18580 17838 1111 63 0 18517 0
vsize: 74320
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 96420 0 0 0 114713 323 0 0 25 0 1 0 911368486 75943936 17814 4294967295 134512640 134716908 3221224560 3221223072 134646693 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18541 17814 1111 63 0 18478 0
vsize: 74164
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 97451 0 0 0 115711 326 0 0 25 0 1 0 911368486 76050432 17822 4294967295 134512640 134716908 3221224560 3221220448 1075965253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18567 17822 1111 63 0 18504 0
vsize: 74268
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 98346 0 0 0 116707 329 0 0 25 0 1 0 911368486 76107776 17846 4294967295 134512640 134716908 3221224560 3221220688 1074882508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18581 17846 1111 63 0 18518 0
vsize: 74324
[startup+1176.33 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 14013
Raw data (stat): 14013 (bsolo_lpr_cuts-) R 14012 25568 25567 0 -1 0 98346 0 0 0 116707 329 0 0 25 0 1 0 911368486 76107776 17846 4294967295 134512640 134716908 3221224560 3221220688 1074882508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18581 17846 1111 63 0 18518 0
vsize: 0

Child status: 10
Real time (s): 1176.33
CPU time (s): 1176.68
CPU user time (s): 1173.32
CPU system time (s): 3.35549
CPU usage (%): 100.029
Max. virtual memory (Kb): 74572
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1038
#### END VERIFIER DATA ####