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 26484

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-24 15:46:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13145 boxname=wulflinc12 idbench=1012 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  130bea0863cb3f92addf09aabe15daa3  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-10teams.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-10teams.opb
IDLAUNCH: 13145
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        903688 kB
Buffers:         35828 kB
Cached:          74512 kB
SwapCached:        568 kB
Active:          60548 kB
Inactive:        52232 kB
HighTotal:      131008 kB
HighFree:        52724 kB
LowTotal:       903652 kB
LowFree:        850964 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            12764 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 16:06:19 (client local time) WITH STATUS 10 IN 1175.54 SECONDS
stats: 13145 0 1175.54 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1800 variables and 335 constraints.
c After prepocess the problem consists of 1600 variables and 760 constraints.
c preprocess terminated 67.74 s
c Initial Lower Bound: 904
c Lower Bound Elapsed time: 3.109
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1008 @ 816.653
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: 1175.49 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.99 0.97 0.97 2/54 962
Raw data (stat): 962 (runsolver) R 961 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773201171 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 14033 0 0 0 963 34 0 0 25 0 1 0 773201171 60592128 13949 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14793 13949 1111 63 0 14730 0
vsize: 59172
[startup+20.0002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 14064 0 0 0 1963 34 0 0 25 0 1 0 773201171 60727296 13980 4294967295 134512640 134714508 3221224576 3221223240 134627195 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.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 14090 0 0 0 2964 34 0 0 25 0 1 0 773201171 60862464 14006 4294967295 134512640 134714508 3221224576 3221223236 134627197 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.0008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 14123 0 0 0 3964 34 0 0 25 0 1 0 773201171 60997632 14039 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14892 14039 1111 63 0 14829 0
vsize: 59568
[startup+50.0013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 14147 0 0 0 4964 34 0 0 25 0 1 0 773201171 61132800 14063 4294967295 134512640 134714508 3221224576 3221223224 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14925 14063 1111 63 0 14862 0
vsize: 59700
[startup+60.0015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 14177 0 0 0 5964 34 0 0 25 0 1 0 773201171 61267968 14093 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14958 14093 1111 63 0 14895 0
vsize: 59832
[startup+70.0025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 14912 0 0 0 6963 36 0 0 25 0 1 0 773201171 63262720 14662 4294967295 134512640 134714508 3221224576 3221220656 1075095139 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15445 14662 1111 63 0 15382 0
vsize: 61780
[startup+80.0028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 15713 0 0 0 7958 39 0 0 25 0 1 0 773201171 62926848 14672 4294967295 134512640 134714508 3221224576 3221223332 134652855 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15363 14672 1111 63 0 15300 0
vsize: 61452
[startup+90.0029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 15901 0 0 0 8957 40 0 0 25 0 1 0 773201171 63737856 14860 4294967295 134512640 134714508 3221224576 3221223304 134528393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15561 14860 1111 63 0 15498 0
vsize: 62244
[startup+100.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 16082 0 0 0 9957 41 0 0 25 0 1 0 773201171 64503808 15041 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15748 15041 1111 63 0 15685 0
vsize: 62992
[startup+110.019 s]
Raw data (loadavg): 1.07 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 16266 0 0 0 10958 41 0 0 25 0 1 0 773201171 65318912 15225 4294967295 134512640 134714508 3221224576 3221223292 1076647546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15947 15225 1111 63 0 15884 0
vsize: 63788
[startup+120.032 s]
Raw data (loadavg): 1.06 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 16442 0 0 0 11958 42 0 0 25 0 1 0 773201171 65998848 15401 4294967295 134512640 134714508 3221224576 3221223216 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16113 15401 1111 63 0 16050 0
vsize: 64452
[startup+130.033 s]
Raw data (loadavg): 1.05 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 16469 0 0 0 12958 43 0 0 25 0 1 0 773201171 66134016 15428 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16146 15428 1111 63 0 16083 0
vsize: 64584
[startup+140.033 s]
Raw data (loadavg): 1.04 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 16687 0 0 0 13957 44 0 0 25 0 1 0 773201171 67010560 15646 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16360 15646 1111 63 0 16297 0
vsize: 65440
[startup+150.034 s]
Raw data (loadavg): 1.03 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 16741 0 0 0 14957 44 0 0 25 0 1 0 773201171 67059712 15678 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16372 15678 1111 63 0 16309 0
vsize: 65488
[startup+160.034 s]
Raw data (loadavg): 1.03 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 16873 0 0 0 15957 45 0 0 25 0 1 0 773201171 67600384 15810 4294967295 134512640 134714508 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16504 15810 1111 63 0 16441 0
vsize: 66016
[startup+170.035 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 16905 0 0 0 16956 45 0 0 25 0 1 0 773201171 67735552 15842 4294967295 134512640 134714508 3221224576 3221223368 134597609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16537 15842 1111 63 0 16474 0
vsize: 66148
[startup+180.035 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 16966 0 0 0 17956 45 0 0 25 0 1 0 773201171 68005888 15903 4294967295 134512640 134714508 3221224576 3221223264 134524469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16603 15903 1111 63 0 16540 0
vsize: 66412
[startup+190.036 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 17043 0 0 0 18956 46 0 0 25 0 1 0 773201171 68411392 15980 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16702 15980 1111 63 0 16639 0
vsize: 66808
[startup+200.037 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 17144 0 0 0 19956 46 0 0 25 0 1 0 773201171 68820992 16081 4294967295 134512640 134714508 3221224576 3221223368 134597609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16802 16081 1111 63 0 16739 0
vsize: 67208
[startup+210.038 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 17266 0 0 0 20956 47 0 0 25 0 1 0 773201171 69197824 16203 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16894 16203 1111 63 0 16831 0
vsize: 67576
[startup+220.039 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 17293 0 0 0 21955 47 0 0 25 0 1 0 773201171 69275648 16222 4294967295 134512640 134714508 3221224576 3221223208 134543665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16913 16222 1111 63 0 16850 0
vsize: 67652
[startup+230.039 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 17361 0 0 0 22955 48 0 0 25 0 1 0 773201171 69681152 16290 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17012 16290 1111 63 0 16949 0
vsize: 68048
[startup+240.039 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 17505 0 0 0 23954 49 0 0 25 0 1 0 773201171 70234112 16431 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17147 16431 1111 63 0 17084 0
vsize: 68588
[startup+250.039 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 17505 0 0 0 24954 49 0 0 25 0 1 0 773201171 70234112 16431 4294967295 134512640 134714508 3221224576 3221223216 134536695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17147 16431 1111 63 0 17084 0
vsize: 68588
[startup+260.041 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 17537 0 0 0 25954 49 0 0 25 0 1 0 773201171 70369280 16463 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17180 16463 1111 63 0 17117 0
vsize: 68720
[startup+270.041 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 17772 0 0 0 26953 50 0 0 25 0 1 0 773201171 71315456 16698 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17411 16698 1111 63 0 17348 0
vsize: 69644
[startup+280.041 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 17854 0 0 0 27953 51 0 0 25 0 1 0 773201171 71573504 16780 4294967295 134512640 134714508 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17474 16780 1111 63 0 17411 0
vsize: 69896
[startup+290.041 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 17854 0 0 0 28953 51 0 0 25 0 1 0 773201171 71573504 16780 4294967295 134512640 134714508 3221224576 3221223360 134528996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17474 16780 1111 63 0 17411 0
vsize: 69896
[startup+300.042 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 17884 0 0 0 29953 52 0 0 25 0 1 0 773201171 71708672 16810 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17507 16810 1111 63 0 17444 0
vsize: 70028
[startup+310.041 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 17957 0 0 0 30952 52 0 0 25 0 1 0 773201171 72073216 16883 4294967295 134512640 134714508 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17596 16883 1111 63 0 17533 0
vsize: 70384
[startup+320.042 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 18038 0 0 0 31952 52 0 0 25 0 1 0 773201171 72323072 16964 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17657 16964 1111 63 0 17594 0
vsize: 70628
[startup+330.043 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 18087 0 0 0 32952 53 0 0 25 0 1 0 773201171 72581120 17013 4294967295 134512640 134714508 3221224576 3221223116 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17720 17013 1111 63 0 17657 0
vsize: 70880
[startup+340.043 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 18187 0 0 0 33952 53 0 0 25 0 1 0 773201171 72986624 17113 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17819 17113 1111 63 0 17756 0
vsize: 71276
[startup+350.044 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 18198 0 0 0 34952 54 0 0 25 0 1 0 773201171 72986624 17124 4294967295 134512640 134714508 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17819 17124 1111 63 0 17756 0
vsize: 71276
[startup+360.045 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 18274 0 0 0 35952 54 0 0 25 0 1 0 773201171 73396224 17200 4294967295 134512640 134714508 3221224576 3221223312 134535750 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17919 17200 1111 63 0 17856 0
vsize: 71676
[startup+370.045 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 18274 0 0 0 36952 54 0 0 25 0 1 0 773201171 73396224 17200 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17919 17200 1111 63 0 17856 0
vsize: 71676
[startup+380.046 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 18274 0 0 0 37952 54 0 0 25 0 1 0 773201171 73261056 17195 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17886 17195 1111 63 0 17823 0
vsize: 71544
[startup+390.046 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 18274 0 0 0 38951 55 0 0 25 0 1 0 773201171 73261056 17195 4294967295 134512640 134714508 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17886 17195 1111 63 0 17823 0
vsize: 71544
[startup+400.047 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 18297 0 0 0 39951 55 0 0 25 0 1 0 773201171 73396224 17218 4294967295 134512640 134714508 3221224576 3221223184 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17919 17218 1111 63 0 17856 0
vsize: 71676
[startup+410.047 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 18360 0 0 0 40951 56 0 0 25 0 1 0 773201171 73654272 17281 4294967295 134512640 134714508 3221224576 3221223216 134696069 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17982 17281 1111 63 0 17919 0
vsize: 71928
[startup+420.047 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 18483 0 0 0 41950 56 0 0 25 0 1 0 773201171 74149888 17404 4294967295 134512640 134714508 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18103 17404 1111 63 0 18040 0
vsize: 72412
[startup+430.048 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 18483 0 0 0 42950 57 0 0 25 0 1 0 773201171 74149888 17404 4294967295 134512640 134714508 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18103 17404 1111 63 0 18040 0
vsize: 72412
[startup+440.048 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 18543 0 0 0 43950 57 0 0 25 0 1 0 773201171 74420224 17464 4294967295 134512640 134714508 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18169 17464 1111 63 0 18106 0
vsize: 72676
[startup+450.048 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 18636 0 0 0 44949 58 0 0 25 0 1 0 773201171 74797056 17557 4294967295 134512640 134714508 3221224576 3221223360 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18261 17557 1111 63 0 18198 0
vsize: 73044
[startup+460.053 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 18861 0 0 0 45948 60 0 0 25 0 1 0 773201171 75743232 17782 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18492 17782 1111 63 0 18429 0
vsize: 73968
[startup+470.058 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 18861 0 0 0 46949 60 0 0 25 0 1 0 773201171 75743232 17782 4294967295 134512640 134714508 3221224576 3221223152 134542694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18492 17782 1111 63 0 18429 0
vsize: 73968
[startup+480.058 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 18861 0 0 0 47949 60 0 0 25 0 1 0 773201171 75743232 17782 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18492 17782 1111 63 0 18429 0
vsize: 73968
[startup+490.059 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 18964 0 0 0 48948 61 0 0 25 0 1 0 773201171 76148736 17885 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18591 17885 1111 63 0 18528 0
vsize: 74364
[startup+500.059 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19025 0 0 0 49948 62 0 0 25 0 1 0 773201171 76419072 17946 4294967295 134512640 134714508 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18657 17946 1111 63 0 18594 0
vsize: 74628
[startup+510.059 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19264 0 0 0 50947 62 0 0 25 0 1 0 773201171 77361152 18185 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18887 18185 1111 63 0 18824 0
vsize: 75548
[startup+520.065 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19264 0 0 0 51947 63 0 0 25 0 1 0 773201171 77225984 18162 4294967295 134512640 134714508 3221224576 3221223312 134535826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+530.065 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19264 0 0 0 52947 63 0 0 25 0 1 0 773201171 77225984 18162 4294967295 134512640 134714508 3221224576 3221223360 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+540.086 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19264 0 0 0 53949 64 0 0 25 0 1 0 773201171 77225984 18162 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+550.086 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19264 0 0 0 54949 64 0 0 25 0 1 0 773201171 77225984 18162 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+560.087 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19264 0 0 0 55949 64 0 0 25 0 1 0 773201171 77225984 18162 4294967295 134512640 134714508 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+570.11 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19264 0 0 0 56951 64 0 0 25 0 1 0 773201171 77225984 18162 4294967295 134512640 134714508 3221224576 3221223168 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+580.11 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19264 0 0 0 57951 64 0 0 25 0 1 0 773201171 77225984 18162 4294967295 134512640 134714508 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+590.11 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19264 0 0 0 58951 65 0 0 25 0 1 0 773201171 77225984 18162 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+600.119 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19264 0 0 0 59952 65 0 0 25 0 1 0 773201171 77225984 18162 4294967295 134512640 134714508 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+610.126 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19264 0 0 0 60953 65 0 0 25 0 1 0 773201171 77225984 18162 4294967295 134512640 134714508 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+620.127 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19264 0 0 0 61953 65 0 0 25 0 1 0 773201171 77225984 18162 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18854 18162 1111 63 0 18791 0
vsize: 75416
[startup+630.128 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19287 0 0 0 62952 66 0 0 25 0 1 0 773201171 77361152 18185 4294967295 134512640 134714508 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18887 18185 1111 63 0 18824 0
vsize: 75548
[startup+640.128 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19287 0 0 0 63952 66 0 0 25 0 1 0 773201171 77361152 18185 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18887 18185 1111 63 0 18824 0
vsize: 75548
[startup+650.128 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19299 0 0 0 64953 66 0 0 25 0 1 0 773201171 77361152 18175 4294967295 134512640 134714508 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18887 18175 1111 63 0 18824 0
vsize: 75548
[startup+660.128 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19367 0 0 0 65952 67 0 0 25 0 1 0 773201171 77631488 18243 4294967295 134512640 134714508 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18953 18243 1111 63 0 18890 0
vsize: 75812
[startup+670.128 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19403 0 0 0 66952 67 0 0 25 0 1 0 773201171 77766656 18279 4294967295 134512640 134714508 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18986 18279 1111 63 0 18923 0
vsize: 75944
[startup+680.128 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19587 0 0 0 67951 68 0 0 25 0 1 0 773201171 78577664 18463 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19184 18463 1111 63 0 19121 0
vsize: 76736
[startup+690.136 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19587 0 0 0 68952 68 0 0 25 0 1 0 773201171 78577664 18463 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19184 18463 1111 63 0 19121 0
vsize: 76736
[startup+700.146 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19587 0 0 0 69953 68 0 0 25 0 1 0 773201171 78577664 18463 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19184 18463 1111 63 0 19121 0
vsize: 76736
[startup+710.153 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19632 0 0 0 70954 69 0 0 25 0 1 0 773201171 78585856 18495 4294967295 134512640 134714508 3221224576 3221223072 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19186 18495 1111 63 0 19123 0
vsize: 76744
[startup+720.153 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19632 0 0 0 71954 69 0 0 25 0 1 0 773201171 78585856 18495 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19186 18495 1111 63 0 19123 0
vsize: 76744
[startup+730.154 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19674 0 0 0 72954 69 0 0 25 0 1 0 773201171 78667776 18515 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19206 18515 1111 63 0 19143 0
vsize: 76824
[startup+740.168 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19674 0 0 0 73955 69 0 0 25 0 1 0 773201171 78667776 18515 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19206 18515 1111 63 0 19143 0
vsize: 76824
[startup+750.191 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19808 0 0 0 74957 69 0 0 25 0 1 0 773201171 79343616 18649 4294967295 134512640 134714508 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19371 18649 1111 63 0 19308 0
vsize: 77484
[startup+760.191 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19851 0 0 0 75957 70 0 0 25 0 1 0 773201171 79466496 18692 4294967295 134512640 134714508 3221224576 3221223284 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19401 18692 1111 63 0 19338 0
vsize: 77604
[startup+770.191 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19878 0 0 0 76957 70 0 0 25 0 1 0 773201171 79601664 18719 4294967295 134512640 134714508 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19434 18719 1111 63 0 19371 0
vsize: 77736
[startup+780.192 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19878 0 0 0 77957 70 0 0 25 0 1 0 773201171 79601664 18719 4294967295 134512640 134714508 3221224576 3221223168 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19434 18719 1111 63 0 19371 0
vsize: 77736
[startup+790.192 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 962
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19878 0 0 0 78957 70 0 0 25 0 1 0 773201171 79601664 18719 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19434 18719 1111 63 0 19371 0
vsize: 77736
[startup+800.197 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 963
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19878 0 0 0 79956 72 0 0 25 0 1 0 773201171 79601664 18719 4294967295 134512640 134714508 3221224576 3221223200 134536680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19434 18719 1111 63 0 19371 0
vsize: 77736
[startup+810.199 s]
Raw data (loadavg): 1.15 1.02 0.98 3/58 1012
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 19878 0 0 0 80949 79 0 0 25 0 1 0 773201171 79601664 18719 4294967295 134512640 134714508 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19434 18719 1111 63 0 19371 0
vsize: 77736
[startup+820.201 s]
Raw data (loadavg): 1.13 1.02 0.98 2/54 1015
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 20333 0 0 0 81947 81 0 0 25 0 1 0 773201171 79761408 18725 4294967295 134512640 134714508 3221224576 3221220756 1075115057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19473 18725 1111 63 0 19410 0
vsize: 77892
[startup+830.201 s]
Raw data (loadavg): 1.11 1.02 0.98 2/54 1015
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 21204 0 0 0 82944 84 0 0 25 0 1 0 773201171 79450112 18707 4294967295 134512640 134714508 3221224576 3221222320 1075640479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19397 18707 1111 63 0 19334 0
vsize: 77588
[startup+840.201 s]
Raw data (loadavg): 1.09 1.02 0.98 2/54 1015
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 23516 0 0 0 83939 90 0 0 25 0 1 0 773201171 81039360 19042 4294967295 134512640 134714508 3221224576 3221220704 1075112091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19785 19042 1111 63 0 19722 0
vsize: 79140
[startup+850.201 s]
Raw data (loadavg): 1.08 1.02 0.98 2/54 1015
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 25738 0 0 0 84931 97 0 0 25 0 1 0 773201171 81428480 19135 4294967295 134512640 134714508 3221224576 3221220620 1074873342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19880 19135 1111 63 0 19817 0
vsize: 79520
[startup+860.201 s]
Raw data (loadavg): 1.06 1.02 0.98 2/54 1015
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 28212 0 0 0 85924 104 0 0 25 0 1 0 773201171 81850368 19240 4294967295 134512640 134714508 3221224576 3221220720 1074969467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19983 19240 1111 63 0 19920 0
vsize: 79932
[startup+870.201 s]
Raw data (loadavg): 1.05 1.01 0.98 2/54 1015
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 30435 0 0 0 86918 110 0 0 25 0 1 0 773201171 82014208 19284 4294967295 134512640 134714508 3221224576 3221220688 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20023 19284 1111 63 0 19960 0
vsize: 80092
[startup+880.201 s]
Raw data (loadavg): 1.05 1.01 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 32284 0 0 0 87914 115 0 0 25 0 1 0 773201171 81920000 19279 4294967295 134512640 134714508 3221224576 3221222336 1075823498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20000 19279 1111 63 0 19937 0
vsize: 80000
[startup+890.204 s]
Raw data (loadavg): 1.04 1.01 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 34238 0 0 0 88908 121 0 0 25 0 1 0 773201171 81727488 19263 4294967295 134512640 134714508 3221224576 3221223328 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19953 19263 1111 63 0 19890 0
vsize: 79812
[startup+900.203 s]
Raw data (loadavg): 1.03 1.01 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 36597 0 0 0 89901 129 0 0 25 0 1 0 773201171 82468864 19393 4294967295 134512640 134714508 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20134 19393 1111 63 0 20071 0
vsize: 80536
[startup+910.203 s]
Raw data (loadavg): 1.03 1.01 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 39249 0 0 0 90895 135 0 0 25 0 1 0 773201171 82362368 19418 4294967295 134512640 134714508 3221224576 3221219964 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20108 19418 1111 63 0 20045 0
vsize: 80432
[startup+920.203 s]
Raw data (loadavg): 1.02 1.01 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 41830 0 0 0 91888 142 0 0 25 0 1 0 773201171 83406848 19604 4294967295 134512640 134714508 3221224576 3221220952 1075112561 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20363 19604 1111 63 0 20300 0
vsize: 81452
[startup+930.204 s]
Raw data (loadavg): 1.02 1.01 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 44186 0 0 0 92882 148 0 0 25 0 1 0 773201171 83730432 19690 4294967295 134512640 134714508 3221224576 3221220620 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20442 19690 1111 63 0 20379 0
vsize: 81768
[startup+940.204 s]
Raw data (loadavg): 1.02 1.01 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 46520 0 0 0 93875 156 0 0 25 0 1 0 773201171 84484096 19947 4294967295 134512640 134714508 3221224576 3221222304 1075828545 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20626 19947 1111 63 0 20563 0
vsize: 82504
[startup+950.204 s]
Raw data (loadavg): 1.01 1.01 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 48171 0 0 0 94870 160 0 0 25 0 1 0 773201171 85499904 20062 4294967295 134512640 134714508 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20874 20062 1111 63 0 20811 0
vsize: 83496
[startup+960.204 s]
Raw data (loadavg): 1.01 1.01 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 49564 0 0 0 95867 164 0 0 25 0 1 0 773201171 84824064 19970 4294967295 134512640 134714508 3221224576 3221220412 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20709 19970 1111 63 0 20646 0
vsize: 82836
[startup+970.204 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 51429 0 0 0 96862 169 0 0 25 0 1 0 773201171 85299200 20100 4294967295 134512640 134714508 3221224576 3221221168 1074887955 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20825 20100 1111 63 0 20762 0
vsize: 83300
[startup+980.205 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 53968 0 0 0 97855 176 0 0 25 0 1 0 773201171 85487616 20118 4294967295 134512640 134714508 3221224576 3221220804 1075115141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20871 20118 1111 63 0 20808 0
vsize: 83484
[startup+990.206 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 55594 0 0 0 98852 179 0 0 25 0 1 0 773201171 85377024 20137 4294967295 134512640 134714508 3221224576 3221220784 1074815281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20844 20137 1111 63 0 20781 0
vsize: 83376
[startup+1000.21 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 57476 0 0 0 99848 184 0 0 25 0 1 0 773201171 86482944 20362 4294967295 134512640 134714508 3221224576 3221220524 1074788937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21114 20362 1111 63 0 21051 0
vsize: 84456
[startup+1010.21 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 58986 0 0 0 100842 189 0 0 25 0 1 0 773201171 85856256 20211 4294967295 134512640 134714508 3221224576 3221220824 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20961 20211 1111 63 0 20898 0
vsize: 83844
[startup+1020.21 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 60031 0 0 0 101840 192 0 0 25 0 1 0 773201171 85377024 20127 4294967295 134512640 134714508 3221224576 3221220620 1074873719 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20844 20127 1111 63 0 20781 0
vsize: 83376
[startup+1030.21 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 61133 0 0 0 102836 196 0 0 25 0 1 0 773201171 85712896 20172 4294967295 134512640 134714508 3221224576 3221220576 1075965253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20926 20172 1111 63 0 20863 0
vsize: 83704
[startup+1040.21 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 63195 0 0 0 103831 201 0 0 25 0 1 0 773201171 86151168 20283 4294967295 134512640 134714508 3221224576 3221220848 1074961390 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21033 20283 1111 63 0 20970 0
vsize: 84132
[startup+1050.21 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 66211 0 0 0 104823 209 0 0 25 0 1 0 773201171 86482944 20435 4294967295 134512640 134714508 3221224576 3221223104 134648531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21114 20435 1111 63 0 21051 0
vsize: 84456
[startup+1060.21 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 68416 0 0 0 105817 216 0 0 25 0 1 0 773201171 87052288 20523 4294967295 134512640 134714508 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21253 20523 1111 63 0 21190 0
vsize: 85012
[startup+1070.21 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 70772 0 0 0 106810 222 0 0 25 0 1 0 773201171 86831104 20494 4294967295 134512640 134714508 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21199 20494 1111 63 0 21136 0
vsize: 84796
[startup+1080.21 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 71756 0 0 0 107807 226 0 0 25 0 1 0 773201171 86794240 20445 4294967295 134512640 134714508 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21190 20445 1111 63 0 21127 0
vsize: 84760
[startup+1090.21 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 72488 0 0 0 108804 229 0 0 25 0 1 0 773201171 86761472 20434 4294967295 134512640 134714508 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21182 20434 1111 63 0 21119 0
vsize: 84728
[startup+1100.21 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 74129 0 0 0 109799 234 0 0 25 0 1 0 773201171 87498752 20602 4294967295 134512640 134714508 3221224576 3221220572 1074788177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21362 20602 1111 63 0 21299 0
vsize: 85448
[startup+1110.21 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 1017
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 75709 0 0 0 110794 239 0 0 25 0 1 0 773201171 87158784 20563 4294967295 134512640 134714508 3221224576 3221223104 134648533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21279 20563 1111 63 0 21216 0
vsize: 85116
[startup+1120.21 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 1019
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 76761 0 0 0 111791 243 0 0 25 0 1 0 773201171 86757376 20499 4294967295 134512640 134714508 3221224576 3221222776 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21181 20499 1111 63 0 21118 0
vsize: 84724
[startup+1130.21 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 1019
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 78085 0 0 0 112788 246 0 0 25 0 1 0 773201171 87166976 20535 4294967295 134512640 134714508 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21281 20535 1111 63 0 21218 0
vsize: 85124
[startup+1140.21 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 1019
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 79350 0 0 0 113784 250 0 0 25 0 1 0 773201171 86970368 20510 4294967295 134512640 134714508 3221224576 3221223104 134648648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21233 20510 1111 63 0 21170 0
vsize: 84932
[startup+1150.21 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 1019
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 80625 0 0 0 114781 253 0 0 25 0 1 0 773201171 87113728 20534 4294967295 134512640 134714508 3221224576 3221220896 1075169549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21268 20534 1111 63 0 21205 0
vsize: 85072
[startup+1160.21 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 1019
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 82105 0 0 0 115776 259 0 0 25 0 1 0 773201171 87289856 20574 4294967295 134512640 134714508 3221224576 3221220968 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21311 20574 1111 63 0 21248 0
vsize: 85244
[startup+1170.24 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 1019
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 85293 0 0 0 116771 266 0 0 25 0 1 0 773201171 89411584 21102 4294967295 134512640 134714508 3221224576 3221220480 1075965187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21829 21102 1111 63 0 21766 0
vsize: 87316
[startup+1175.4 s]
Raw data (loadavg): 1.00 1.00 0.98 1/53 1019
Raw data (stat): 962 (bsolo_lpr_cuts) R 961 32284 32283 0 -1 0 85293 0 0 0 116771 266 0 0 25 0 1 0 773201171 89411584 21102 4294967295 134512640 134714508 3221224576 3221220480 1075965187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21829 21102 1111 63 0 21766 0
vsize: 0

Child status: 10
Real time (s): 1175.4
CPU time (s): 1175.54
CPU user time (s): 1172.8
CPU system time (s): 2.74058
CPU usage (%): 100.011
Max. virtual memory (Kb): 87316
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1008
#### END VERIFIER DATA ####