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 25711

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 22:22:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18137 boxname=wulflinc31 idbench=1396 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  130bea0863cb3f92addf09aabe15daa3  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-10teams.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-10teams.opb
IDLAUNCH: 18137
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        898560 kB
Buffers:         23636 kB
Cached:          89504 kB
SwapCached:        964 kB
Active:          56664 kB
Inactive:        58656 kB
HighTotal:      131008 kB
HighFree:        70532 kB
LowTotal:       903652 kB
LowFree:        828028 kB
SwapTotal:     2097892 kB
SwapFree:      2095964 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            15000 kB
Committed_AS:    63844 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 22:42:35 (client local time) WITH STATUS 10 IN 1176.04 SECONDS
stats: 18137 0 1176.04 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 748 constraints.
c preprocess terminated 67.742 s
c Initial Lower Bound: 904
c Lower Bound Elapsed time: 2.911
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1004 @ 209.444
c NEW SOLUTION FOUND: 984 @ 214.804
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.97 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.92 0.98 0.99 2/55 16660
Raw data (stat): 16660 (runsolver) R 16659 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 807864475 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 14034 0 0 0 956 39 0 0 25 0 1 0 807864475 60596224 13949 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14794 13949 1111 63 0 14731 0
vsize: 59176
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 14065 0 0 0 1956 39 0 0 25 0 1 0 807864475 60731392 13980 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14827 13980 1111 63 0 14764 0
vsize: 59308
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 14091 0 0 0 2956 40 0 0 25 0 1 0 807864475 60866560 14006 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14860 14006 1111 63 0 14797 0
vsize: 59440
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 14121 0 0 0 3955 41 0 0 25 0 1 0 807864475 61001728 14036 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14893 14036 1111 63 0 14830 0
vsize: 59572
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 14147 0 0 0 4954 42 0 0 25 0 1 0 807864475 61136896 14062 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14926 14062 1111 63 0 14863 0
vsize: 59704
[startup+60.0042 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 14175 0 0 0 5954 42 0 0 25 0 1 0 807864475 61272064 14090 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14959 14090 1111 63 0 14896 0
vsize: 59836
[startup+70.0051 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 14906 0 0 0 6952 45 0 0 25 0 1 0 807864475 63209472 14653 4294967295 134512640 134714508 3221221776 3221217900 1075564309 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15432 14653 1111 63 0 15369 0
vsize: 61728
[startup+80.0055 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 16138 0 0 0 7948 48 0 0 25 0 1 0 807864475 62857216 14639 4294967295 134512640 134714508 3221221776 3221220464 134542980 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15346 14639 1111 63 0 15283 0
vsize: 61384
[startup+90.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 16443 0 0 0 8946 50 0 0 25 0 1 0 807864475 64057344 14944 4294967295 134512640 134714508 3221221776 3221220364 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15639 14944 1111 63 0 15576 0
vsize: 62556
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 16757 0 0 0 9944 52 0 0 25 0 1 0 807864475 65396736 15258 4294967295 134512640 134714508 3221221776 3221220448 134542968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15966 15258 1111 63 0 15903 0
vsize: 63864
[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 16834 0 0 0 10943 54 0 0 25 0 1 0 807864475 65667072 15335 4294967295 134512640 134714508 3221221776 3221220416 134696047 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16032 15335 1111 63 0 15969 0
vsize: 64128
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 16963 0 0 0 11942 55 0 0 25 0 1 0 807864475 66199552 15464 4294967295 134512640 134714508 3221221776 3221220388 1077377189 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16162 15464 1111 63 0 16099 0
vsize: 64648
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 17032 0 0 0 12941 56 0 0 25 0 1 0 807864475 66469888 15533 4294967295 134512640 134714508 3221221776 3221220516 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16228 15533 1111 63 0 16165 0
vsize: 64912
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 17176 0 0 0 13941 56 0 0 25 0 1 0 807864475 67096576 15677 4294967295 134512640 134714508 3221221776 3221220360 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16381 15677 1111 63 0 16318 0
vsize: 65524
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 17225 0 0 0 14941 57 0 0 25 0 1 0 807864475 67366912 15726 4294967295 134512640 134714508 3221221776 3221220416 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16447 15726 1111 63 0 16384 0
vsize: 65788
[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 17348 0 0 0 15940 58 0 0 25 0 1 0 807864475 67756032 15849 4294967295 134512640 134714508 3221221776 3221220336 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16542 15849 1111 63 0 16479 0
vsize: 66168
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 17466 0 0 0 16939 59 0 0 25 0 1 0 807864475 68296704 15967 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16674 15967 1111 63 0 16611 0
vsize: 66696
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 17466 0 0 0 17938 60 0 0 25 0 1 0 807864475 68296704 15967 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16674 15967 1111 63 0 16611 0
vsize: 66696
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 17584 0 0 0 18937 61 0 0 25 0 1 0 807864475 68816896 16085 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16801 16085 1111 63 0 16738 0
vsize: 67204
[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 17666 0 0 0 19936 62 0 0 25 0 1 0 807864475 69050368 16156 4294967295 134512640 134714508 3221221776 3221220464 134551932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16858 16156 1111 63 0 16795 0
vsize: 67432
[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 17871 0 0 0 20935 63 0 0 25 0 1 0 807864475 69730304 16262 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17024 16262 1111 63 0 16961 0
vsize: 68096
[startup+220.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 20829 0 0 0 21925 73 0 0 25 0 1 0 807864475 70983680 16572 4294967295 134512640 134714508 3221221776 3221218304 1075890974 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17330 16572 1111 63 0 17267 0
vsize: 69320
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 24006 0 0 0 22917 82 0 0 25 0 1 0 807864475 71688192 16791 4294967295 134512640 134714508 3221221776 3221219552 1075795835 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17502 16791 1111 63 0 17439 0
vsize: 70008
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 26997 0 0 0 23907 91 0 0 25 0 1 0 807864475 72093696 16922 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17601 16922 1111 63 0 17538 0
vsize: 70404
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 29544 0 0 0 24899 99 0 0 25 0 1 0 807864475 72888320 17085 4294967295 134512640 134714508 3221221776 3221220256 1074031967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17795 17085 1111 63 0 17732 0
vsize: 71180
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 33259 0 0 0 25889 110 0 0 25 0 1 0 807864475 74801152 17496 4294967295 134512640 134714508 3221221776 3221217820 1074873547 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18262 17496 1111 63 0 18199 0
vsize: 73048
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 36212 0 0 0 26882 117 0 0 25 0 1 0 807864475 75198464 17632 4294967295 134512640 134714508 3221221776 3221217664 1075965307 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18359 17632 1111 63 0 18296 0
vsize: 73436
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 39324 0 0 0 27873 126 0 0 25 0 1 0 807864475 75915264 17796 4294967295 134512640 134714508 3221221776 3221218160 1075133404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18534 17796 1111 63 0 18471 0
vsize: 74136
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 41463 0 0 0 28866 133 0 0 25 0 1 0 807864475 76161024 17854 4294967295 134512640 134714508 3221221776 3221218780 1074621117 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18594 17854 1111 63 0 18531 0
vsize: 74376
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 43753 0 0 0 29859 140 0 0 25 0 1 0 807864475 76324864 17955 4294967295 134512640 134714508 3221221776 3221217952 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18634 17955 1111 63 0 18571 0
vsize: 74536
[startup+310.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 46766 0 0 0 30851 148 0 0 25 0 1 0 807864475 77041664 18130 4294967295 134512640 134714508 3221221776 3221220384 134650198 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18809 18130 1111 63 0 18746 0
vsize: 75236
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 50536 0 0 0 31842 158 0 0 25 0 1 0 807864475 78520320 18491 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19170 18491 1111 63 0 19107 0
vsize: 76680
[startup+330.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 53422 0 0 0 32836 164 0 0 25 0 1 0 807864475 80281600 18869 4294967295 134512640 134714508 3221221776 3221217744 1074872793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19600 18869 1111 63 0 19537 0
vsize: 78400
[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 55479 0 0 0 33830 170 0 0 25 0 1 0 807864475 79843328 18732 4294967295 134512640 134714508 3221221776 3221217788 1074788930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19493 18732 1111 63 0 19430 0
vsize: 77972
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 58344 0 0 0 34824 177 0 0 25 0 1 0 807864475 80310272 18859 4294967295 134512640 134714508 3221221776 3221218320 1074887667 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19607 18859 1111 63 0 19544 0
vsize: 78428
[startup+360.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 61280 0 0 0 35816 184 0 0 25 0 1 0 807864475 80904192 18985 4294967295 134512640 134714508 3221221776 3221217820 1074873465 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19752 18985 1111 63 0 19689 0
vsize: 79008
[startup+370.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 64634 0 0 0 36808 193 0 0 25 0 1 0 807864475 81403904 19122 4294967295 134512640 134714508 3221221776 3221218004 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19874 19122 1111 63 0 19811 0
vsize: 79496
[startup+380.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 67503 0 0 0 37801 200 0 0 25 0 1 0 807864475 81911808 19262 4294967295 134512640 134714508 3221221776 3221217820 1074873456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19998 19262 1111 63 0 19935 0
vsize: 79992
[startup+390.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 70741 0 0 0 38794 208 0 0 25 0 1 0 807864475 82309120 19339 4294967295 134512640 134714508 3221221776 3221217736 1075964723 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20095 19339 1111 63 0 20032 0
vsize: 80380
[startup+400.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 73203 0 0 0 39786 215 0 0 25 0 1 0 807864475 81571840 19236 4294967295 134512640 134714508 3221221776 3221219504 1075828584 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19915 19236 1111 63 0 19852 0
vsize: 79660
[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 75468 0 0 0 40781 220 0 0 25 0 1 0 807864475 82178048 19334 4294967295 134512640 134714508 3221221776 3221217632 1074870807 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20063 19334 1111 63 0 20000 0
vsize: 80252
[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 77456 0 0 0 41775 227 0 0 25 0 1 0 807864475 82079744 19319 4294967295 134512640 134714508 3221221776 3221219888 1074867320 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20039 19319 1111 63 0 19976 0
vsize: 80156
[startup+430.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 79944 0 0 0 42768 234 0 0 25 0 1 0 807864475 82845696 19481 4294967295 134512640 134714508 3221221776 3221218384 1075966540 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20226 19481 1111 63 0 20163 0
vsize: 80904
[startup+440.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 82307 0 0 0 43761 241 0 0 25 0 1 0 807864475 82305024 19415 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20094 19415 1111 63 0 20031 0
vsize: 80376
[startup+450.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 84935 0 0 0 44754 248 0 0 25 0 1 0 807864475 82591744 19485 4294967295 134512640 134714508 3221221776 3221218832 1074138614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20164 19485 1111 63 0 20101 0
vsize: 80656
[startup+460.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 87851 0 0 0 45747 256 0 0 25 0 1 0 807864475 84213760 19834 4294967295 134512640 134714508 3221221776 3221217584 1074871177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20560 19834 1111 63 0 20497 0
vsize: 82240
[startup+470.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 91719 0 0 0 46737 265 0 0 25 0 1 0 807864475 83988480 19776 4294967295 134512640 134714508 3221221776 3221217788 1074788977 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20505 19776 1111 63 0 20442 0
vsize: 82020
[startup+480.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 94821 0 0 0 47729 274 0 0 25 0 1 0 807864475 83914752 19808 4294967295 134512640 134714508 3221221776 3221220528 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20487 19808 1111 63 0 20424 0
vsize: 81948
[startup+490.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 97008 0 0 0 48725 278 0 0 25 0 1 0 807864475 83738624 19765 4294967295 134512640 134714508 3221221776 3221219980 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20444 19765 1111 63 0 20381 0
vsize: 81776
[startup+500.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 100437 0 0 0 49717 287 0 0 25 0 1 0 807864475 84967424 20065 4294967295 134512640 134714508 3221221776 3221219872 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20744 20065 1111 63 0 20681 0
vsize: 82976
[startup+510.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 103181 0 0 0 50710 293 0 0 25 0 1 0 807864475 85909504 20205 4294967295 134512640 134714508 3221221776 3221218240 1075602737 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20974 20205 1111 63 0 20911 0
vsize: 83896
[startup+520.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 106969 0 0 0 51701 303 0 0 25 0 1 0 807864475 86994944 20530 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21239 20530 1111 63 0 21176 0
vsize: 84956
[startup+530.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 109122 0 0 0 52696 308 0 0 25 0 1 0 807864475 86347776 20402 4294967295 134512640 134714508 3221221776 3221219980 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21081 20402 1111 63 0 21018 0
vsize: 84324
[startup+540.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 112370 0 0 0 53685 319 0 0 25 0 1 0 807864475 88215552 20779 4294967295 134512640 134714508 3221221776 3221218004 1075115062 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21537 20779 1111 63 0 21474 0
vsize: 86148
[startup+550.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 116161 0 0 0 54675 330 0 0 25 0 1 0 807864475 89513984 21118 4294967295 134512640 134714508 3221221776 3221218016 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21854 21118 1111 63 0 21791 0
vsize: 87416
[startup+560.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 121097 0 0 0 55665 340 0 0 25 0 1 0 807864475 89083904 21019 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21749 21019 1111 63 0 21686 0
vsize: 86996
[startup+570.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 124226 0 0 0 56656 348 0 0 25 0 1 0 807864475 89960448 21231 4294967295 134512640 134714508 3221221776 3221217876 1075964241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21963 21231 1111 63 0 21900 0
vsize: 87852
[startup+580.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 127948 0 0 0 57647 358 0 0 25 0 1 0 807864475 89669632 21164 4294967295 134512640 134714508 3221221776 3221219888 1074867341 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21892 21164 1111 63 0 21829 0
vsize: 87568
[startup+590.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 132050 0 0 0 58637 368 0 0 25 0 1 0 807864475 90284032 21331 4294967295 134512640 134714508 3221221776 3221219928 1074950117 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22042 21331 1111 63 0 21979 0
vsize: 88168
[startup+600.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 136302 0 0 0 59627 378 0 0 25 0 1 0 807864475 90685440 21371 4294967295 134512640 134714508 3221221776 3221218048 1074961146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22140 21371 1111 63 0 22077 0
vsize: 88560
[startup+610.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 139681 0 0 0 60620 385 0 0 25 0 1 0 807864475 90161152 21299 4294967295 134512640 134714508 3221221776 3221220028 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22012 21299 1111 63 0 21949 0
vsize: 88048
[startup+620.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 143201 0 0 0 61610 396 0 0 25 0 1 0 807864475 90284032 21363 4294967295 134512640 134714508 3221221776 3221220284 134543192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22042 21363 1111 63 0 21979 0
vsize: 88168
[startup+630.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 145283 0 0 0 62605 401 0 0 25 0 1 0 807864475 90394624 21349 4294967295 134512640 134714508 3221221776 3221218004 1075115023 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22069 21349 1111 63 0 22006 0
vsize: 88276
[startup+640.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 146132 0 0 0 63602 405 0 0 25 0 1 0 807864475 90165248 21334 4294967295 134512640 134714508 3221221776 3221220028 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22013 21334 1111 63 0 21950 0
vsize: 88052
[startup+650.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 147189 0 0 0 64598 408 0 0 25 0 1 0 807864475 90599424 21361 4294967295 134512640 134714508 3221221776 3221217776 1075965240 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22119 21361 1111 63 0 22056 0
vsize: 88476
[startup+660.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 149419 0 0 0 65594 413 0 0 25 0 1 0 807864475 90730496 21472 4294967295 134512640 134714508 3221221776 3221219888 1074867305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22151 21472 1111 63 0 22088 0
vsize: 88604
[startup+670.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 151109 0 0 0 66590 417 0 0 25 0 1 0 807864475 90394624 21351 4294967295 134512640 134714508 3221221776 3221217912 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22069 21351 1111 63 0 22006 0
vsize: 88276
[startup+680.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 154711 0 0 0 67582 425 0 0 25 0 1 0 807864475 90312704 21370 4294967295 134512640 134714508 3221221776 3221219908 1077378716 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22049 21370 1111 63 0 21986 0
vsize: 88196
[startup+690.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 156516 0 0 0 68577 430 0 0 25 0 1 0 807864475 90165248 21334 4294967295 134512640 134714508 3221221776 3221220528 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22013 21334 1111 63 0 21950 0
vsize: 88052
[startup+700.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 158744 0 0 0 69571 436 0 0 25 0 1 0 807864475 91602944 21633 4294967295 134512640 134714508 3221221776 3221218240 1075602784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22364 21633 1111 63 0 22301 0
vsize: 89456
[startup+710.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 163266 0 0 0 70562 446 0 0 25 0 1 0 807864475 91176960 21508 4294967295 134512640 134714508 3221221776 3221217820 1074873498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22260 21508 1111 63 0 22197 0
vsize: 89040
[startup+720.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 166154 0 0 0 71554 454 0 0 25 0 1 0 807864475 91475968 21586 4294967295 134512640 134714508 3221221776 3221218432 1075966559 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22333 21586 1111 63 0 22270 0
vsize: 89332
[startup+730.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 169082 0 0 0 72547 461 0 0 25 0 1 0 807864475 91537408 21639 4294967295 134512640 134714508 3221221776 3221219440 1075828612 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22348 21639 1111 63 0 22285 0
vsize: 89392
[startup+740.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 172285 0 0 0 73540 469 0 0 25 0 1 0 807864475 91619328 21689 4294967295 134512640 134714508 3221221776 3221220160 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22368 21689 1111 63 0 22305 0
vsize: 89472
[startup+750.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 174636 0 0 0 74531 477 0 0 25 0 1 0 807864475 91754496 21645 4294967295 134512640 134714508 3221221776 3221218000 1074960865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22401 21645 1111 63 0 22338 0
vsize: 89604
[startup+760.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 176121 0 0 0 75526 483 0 0 25 0 1 0 807864475 91312128 21614 4294967295 134512640 134714508 3221221776 3221220528 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22293 21614 1111 63 0 22230 0
vsize: 89172
[startup+770.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 177661 0 0 0 76519 489 0 0 25 0 1 0 807864475 91312128 21614 4294967295 134512640 134714508 3221221776 3221220192 1074116224 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22293 21614 1111 63 0 22230 0
vsize: 89172
[startup+780.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 179229 0 0 0 77514 495 0 0 25 0 1 0 807864475 91766784 21629 4294967295 134512640 134714508 3221221776 3221218588 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22404 21629 1111 63 0 22341 0
vsize: 89616
[startup+790.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 180698 0 0 0 78509 500 0 0 25 0 1 0 807864475 91766784 21649 4294967295 134512640 134714508 3221221776 3221217936 1074794536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22404 21649 1111 63 0 22341 0
vsize: 89616
[startup+800.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 182082 0 0 0 79505 505 0 0 25 0 1 0 807864475 91766784 21647 4294967295 134512640 134714508 3221221776 3221218016 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22404 21647 1111 63 0 22341 0
vsize: 89616
[startup+810.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 183367 0 0 0 80501 509 0 0 25 0 1 0 807864475 91766784 21647 4294967295 134512640 134714508 3221221776 3221217920 1074970860 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22404 21647 1111 63 0 22341 0
vsize: 89616
[startup+820.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 184701 0 0 0 81496 514 0 0 25 0 1 0 807864475 91312128 21614 4294967295 134512640 134714508 3221221776 3221219740 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22293 21614 1111 63 0 22230 0
vsize: 89172
[startup+830.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 186047 0 0 0 82491 519 0 0 25 0 1 0 807864475 91766784 21650 4294967295 134512640 134714508 3221221776 3221217632 1074871371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22404 21650 1111 63 0 22341 0
vsize: 89616
[startup+840.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 187353 0 0 0 83486 524 0 0 25 0 1 0 807864475 91312128 21614 4294967295 134512640 134714508 3221221776 3221219980 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22293 21614 1111 63 0 22230 0
vsize: 89172
[startup+850.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 189105 0 0 0 84481 529 0 0 25 0 1 0 807864475 91312128 21614 4294967295 134512640 134714508 3221221776 3221218880 1074138729 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22293 21614 1111 63 0 22230 0
vsize: 89172
[startup+860.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 191312 0 0 0 85474 536 0 0 25 0 1 0 807864475 92205056 21734 4294967295 134512640 134714508 3221221776 3221217820 1074873520 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22511 21734 1111 63 0 22448 0
vsize: 90044
[startup+870.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 194094 0 0 0 86466 544 0 0 25 0 1 0 807864475 91897856 21757 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22436 21757 1111 63 0 22373 0
vsize: 89744
[startup+880.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 197262 0 0 0 87459 552 0 0 25 0 1 0 807864475 93106176 21956 4294967295 134512640 134714508 3221221776 3221217840 1074881356 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22731 21956 1111 63 0 22668 0
vsize: 90924
[startup+890.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 200584 0 0 0 88450 561 0 0 25 0 1 0 807864475 93888512 22170 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22922 22170 1111 63 0 22859 0
vsize: 91688
[startup+900.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 204400 0 0 0 89439 572 0 0 25 0 1 0 807864475 94531584 22386 4294967295 134512640 134714508 3221221776 3221219864 1074138144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23079 22386 1111 63 0 23016 0
vsize: 92316
[startup+910.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 207475 0 0 0 90433 579 0 0 25 0 1 0 807864475 95059968 22452 4294967295 134512640 134714508 3221221776 3221217936 1075091282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23208 22452 1111 63 0 23145 0
vsize: 92832
[startup+920.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 211249 0 0 0 91421 590 0 0 25 0 1 0 807864475 95416320 22557 4294967295 134512640 134714508 3221221776 3221220160 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23295 22557 1111 63 0 23232 0
vsize: 93180
[startup+930.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 214759 0 0 0 92412 599 0 0 25 0 1 0 807864475 96468992 22873 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23552 22873 1111 63 0 23489 0
vsize: 94208
[startup+940.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 218325 0 0 0 93403 609 0 0 25 0 1 0 807864475 97415168 23063 4294967295 134512640 134714508 3221221776 3221220028 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23783 23063 1111 63 0 23720 0
vsize: 95132
[startup+950.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 221571 0 0 0 94394 618 0 0 25 0 1 0 807864475 97611776 23152 4294967295 134512640 134714508 3221221776 3221219964 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23831 23152 1111 63 0 23768 0
vsize: 95324
[startup+960.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 222580 0 0 0 95390 622 0 0 25 0 1 0 807864475 97591296 23147 4294967295 134512640 134714508 3221221776 3221219912 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23826 23147 1111 63 0 23763 0
vsize: 95304
[startup+970.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 223491 0 0 0 96385 628 0 0 25 0 1 0 807864475 97955840 23157 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23915 23157 1111 63 0 23852 0
vsize: 95660
[startup+980.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 224315 0 0 0 97381 632 0 0 25 0 1 0 807864475 97611776 23148 4294967295 134512640 134714508 3221221776 3221220032 1073990251 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23831 23148 1111 63 0 23768 0
vsize: 95324
[startup+990.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 225150 0 0 0 98378 635 0 0 25 0 1 0 807864475 97591296 23147 4294967295 134512640 134714508 3221221776 3221220436 134649897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23826 23147 1111 63 0 23763 0
vsize: 95304
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 225982 0 0 0 99375 638 0 0 25 0 1 0 807864475 97955840 23158 4294967295 134512640 134714508 3221221776 3221218308 1075863638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23915 23158 1111 63 0 23852 0
vsize: 95660
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 227373 0 0 0 100370 643 0 0 25 0 1 0 807864475 98177024 23220 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23969 23220 1111 63 0 23906 0
vsize: 95876
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 230673 0 0 0 101361 653 0 0 25 0 1 0 807864475 98271232 23313 4294967295 134512640 134714508 3221221776 3221220016 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23992 23313 1111 63 0 23929 0
vsize: 95968
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 235327 0 0 0 102350 664 0 0 25 0 1 0 807864475 100003840 23689 4294967295 134512640 134714508 3221221776 3221219980 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24415 23689 1111 63 0 24352 0
vsize: 97660
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 240070 0 0 0 103339 675 0 0 25 0 1 0 807864475 101453824 24021 4294967295 134512640 134714508 3221221776 3221217820 1074873501 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24769 24021 1111 63 0 24706 0
vsize: 99076
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 244287 0 0 0 104329 685 0 0 25 0 1 0 807864475 103219200 24455 4294967295 134512640 134714508 3221221776 3221217932 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25200 24455 1111 63 0 25137 0
vsize: 100800
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 248464 0 0 0 105319 695 0 0 25 0 1 0 807864475 103763968 24572 4294967295 134512640 134714508 3221221776 3221218672 1074889135 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25333 24572 1111 63 0 25270 0
vsize: 101332
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 252435 0 0 0 106310 705 0 0 25 0 1 0 807864475 103763968 24654 4294967295 134512640 134714508 3221221776 3221220216 134532457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25333 24654 1111 63 0 25270 0
vsize: 101332
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 254562 0 0 0 107304 711 0 0 25 0 1 0 807864475 103817216 24667 4294967295 134512640 134714508 3221221776 3221220160 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25346 24667 1111 63 0 25283 0
vsize: 101384
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 257660 0 0 0 108297 718 0 0 25 0 1 0 807864475 105078784 24920 4294967295 134512640 134714508 3221221776 3221217652 1074786476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25654 24920 1111 63 0 25591 0
vsize: 102616
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 261323 0 0 0 109288 727 0 0 25 0 1 0 807864475 105807872 25114 4294967295 134512640 134714508 3221221776 3221218004 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25832 25114 1111 63 0 25769 0
vsize: 103328
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 266378 0 0 0 110276 739 0 0 25 0 1 0 807864475 106106880 25215 4294967295 134512640 134714508 3221221776 3221220080 1074115244 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25905 25215 1111 63 0 25842 0
vsize: 103620
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 270098 0 0 0 111267 748 0 0 25 0 1 0 807864475 106364928 25255 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25968 25255 1111 63 0 25905 0
vsize: 103872
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 273781 0 0 0 112258 757 0 0 25 0 1 0 807864475 107487232 25507 4294967295 134512640 134714508 3221221776 3221219840 1075961750 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26242 25507 1111 63 0 26179 0
vsize: 104968
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 278756 0 0 0 113248 768 0 0 25 0 1 0 807864475 107581440 25586 4294967295 134512640 134714508 3221221776 3221220080 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26265 25586 1111 63 0 26202 0
vsize: 105060
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 283582 0 0 0 114237 779 0 0 25 0 1 0 807864475 109580288 26012 4294967295 134512640 134714508 3221221776 3221217684 1074786571 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26753 26012 1111 63 0 26690 0
vsize: 107012
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 287185 0 0 0 115227 789 0 0 25 0 1 0 807864475 110153728 26160 4294967295 134512640 134714508 3221221776 3221217808 1074790233 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26893 26160 1111 63 0 26830 0
vsize: 107572
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 291281 0 0 0 116217 800 0 0 25 0 1 0 807864475 109559808 26069 4294967295 134512640 134714508 3221221776 3221218552 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26748 26069 1111 63 0 26685 0
vsize: 106992
[startup+1175.92 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 16660
Raw data (stat): 16660 (bsolo_lpr_cuts) R 16659 7876 7672 0 -1 0 291281 0 0 0 116217 800 0 0 25 0 1 0 807864475 109559808 26069 4294967295 134512640 134714508 3221221776 3221218552 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26748 26069 1111 63 0 26685 0
vsize: 0

Child status: 10
Real time (s): 1175.92
CPU time (s): 1176.04
CPU user time (s): 1167.92
CPU system time (s): 8.11877
CPU usage (%): 100.01
Max. virtual memory (Kb): 107572
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	984
#### END VERIFIER DATA ####