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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x12.opb
MD5SUM	eac61d4d68844395596b0518195dd6df
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	493056
Optimality of the best value was proved	NO
Number of terms in the objective function	3024
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	839045346
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	839045346
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	41.1977
Number of variables	3024
Total number of constraints	168
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	168
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 39288

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-03 02:23:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27354 boxname=wulflinc1 idbench=1482 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  eac61d4d68844395596b0518195dd6df  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-ran12x12.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-ran12x12.opb
IDLAUNCH: 27354
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        249040 kB
Buffers:         29684 kB
Cached:         731248 kB
SwapCached:        668 kB
Active:          24028 kB
Inactive:       739212 kB
HighTotal:      131008 kB
HighFree:         6888 kB
LowTotal:       903652 kB
LowFree:        242152 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5828 kB
Slab:            16460 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 02:43:23 (client local time) WITH STATUS 10 IN 1189.03 SECONDS
stats: 27354 0 1189.03 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-ran12x12.opb
c #variables read: 3024 - #constraints read: 193
s SATISFIABLE
v -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 -X1_bit0 -X1_bit1 -X1_bit2 -X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 -X2_bit0 -X2_bit1 -X2_bit2 -X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 -X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 -X4_bit0 -X4_bit1 -X4_bit2 -X4_bit3 -X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 -X6_bit0 -X6_bit1 -X6_bit2 -X6_bit3 -X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 -X7_bit0 -X7_bit1 -X7_bit2 -X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 -X8_bit0 -X8_bit1 -X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X9_bit_7 -X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 -X9_bit0 -X9_bit1 -X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 X11_bit0 X11_bit1 X11_bit2 -X11_bit3 X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X14_bit_7 -X14_bit_6 -X14_bit_5 -X14_bit_4 -X14_bit_3 -X14_bit_2 -X14_bit_1 -X14_bit0 -X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 -X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X16_bit_7 -X16_bit_6 -X16_bit_5 -X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 -X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X17_bit_7 -X17_bit_6 -X17_bit_5 -X17_bit_4 -X17_bit_3 -X17_bit_2 -X17_bit_1 -X17_bit0 -X17_bit1 -X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 -X18_bit_7 -X18_bit_6 -X18_bit_5 -X18_bit_4 -X18_bit_3 -X18_bit_2 -X18_bit_1 -X18_bit0 -X18_bit1 -X18_bit2 -X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X19_bit_7 -X19_bit_6 -X19_bit_5 -X19_bit_4 -X19_bit_3 -X19_bit_2 -X19_bit_1 -X19_bit0 -X19_bit1 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X20_bit_7 -X20_bit_6 -X20_bit_5 -X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 -X20_bit0 -X20_bit1 -X20_bit2 -X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X21_bit_7 -X21_bit_6 -X21_bit_5 -X21_bit_4 -X21_bit_3 -X21_bit_2 -X21_bit_1 -X21_bit0 -X21_bit1 -X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 -X22_bit1 X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 X23_bit0 -X23_bit1 -X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X24_bit_7 -X24_bit_6 -X24_bit_5 -X24_bit_4 -X24_bit_3 -X24_bit_2 -X24_bit_1 -X24_bit0 -X24_bit1 -X24_bit2 -X24_bit3 -X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 -X25_bit_3 -X25_bit_2 -X25_bit_1 -X25_bit0 -X25_bit1 -X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 -X26_bit0 -X26_bit1 -X26_bit2 -X26_bit3 -X26_bit4 -X26_bit5 -X26_bit6 -X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X27_bit_7 -X27_bit_6 -X27_bit_5 -X27_bit_4 -X27_bit_3 -X27_bit_2 -X27_bit_1 -X27_bit0 -X27_bit1 -X27_bit2 -X27_bit3 -X27_bit4 -X27_bit5 -X27_bit6 -X27_bit7 -X27_bit8 -X27_bit9 -X27_bit10 -X27_bit11 -X27_bit12 -X28_bit_7 -X28_bit_6 -X28_bit_5 -X28_bit_4 -X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 -X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 -X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -X33_bit0 -X33_bit1 -X33_bit2 X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -X34_bit0 X34_bit1 -X34_bit2 X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X36_bit_7 -X36_bit_6 -X36_bit_5 -X36_bit_4 -X36_bit_3 -X36_bit_2 -X36_bit_1 -X36_bit0 -X36_bit1 -X36_bit2 -X36_bit3 -X36_bit4 -X36_bit5 -X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X37_bit_7 -X37_bit_6 -X37_bit_5 -X37_bit_4 -X37_bit_3 -X37_bit_2 -X37_bit_1 -X37_bit0 -X37_bit1 -X37_bit2 -X37_bit3 -X37_bit4 -X37_bit5 -X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X38_bit_7 -X38_bit_6 -X38_bit_5 -X38_bit_4 -X38_bit_3 -X38_bit_2 -X38_bit_1 -X38_bit0 -X38_bit1 -X38_bit2 -X38_bit3 -X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X40_bit_7 -X40_bit_6 -X40_bit_5 -X40_bit_4 -X40_bit_3 -X40_bit_2 -X40_bit_1 -X40_bit0 -X40_bit1 -X40_bit2 -X40_bit3 -X40_bit4 -X40_bit5 -X40_bit6 -X40_bit7 -X40_bit8 -X40_bit9 -X40_bit10 -X40_bit11 -X40_bit12 -X41_bit_7 -X41_bit_6 -X41_bit_5 -X41_bit_4 -X41_bit_3 -X41_bit_2 -X41_bit_1 -X41_bit0 -X41_bit1 -X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit10 -X41_bit11 -X41_bit12 -X42_bit_7 -X42_bit_6 -X42_bit_5 -X42_bit_4 -X42_bit_3 -X42_bit_2 -X42_bit_1 -X42_bit0 -X42_bit1 -X42_bit2 -X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit10 -X42_bit11 -X42_bit12 -X43_bit_7 -X43_bit_6 -X43_bit_5 -X43_bit_4 -X43_bit_3 -X43_bit_2 -X43_bit_1 -X43_bit0 -X43_bit1 -X43_bit2 -X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 -X43_bit10 -X43_bit11 -X43_bit12 -X44_bit_7 -X44_bit_6 -X44_bit_5 -X44_bit_4 -X44_bit_3 -X44_bit_2 -X44_bit_1 -X44_bit0 -X44_bit1 -X44_bit2 X44_bit3 X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit10 -X44_bit11 -X44_bit12 -X45_bit_7 -X45_bit_6 -X45_bit_5 -X45_bit_4 -X45_bit_3 -X45_bit_2 -X45_bit_1 -X45_bit0 -X45_bit1 -X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit10 -X45_bit11 -X45_bit12 -X46_bit_7 -X46_bit_6 -X46_bit_5 -X46_bit_4 -X46_bit_3 -X46_bit_2 -X46_bit_1 -X46_bit0 X46_bit1 -X46_bit2 -X46_bit3 -X46_bit4 -X46_bit5 -X46_bit6 -X46_bit7 -X46_bit8 -X46_bit9 -X46_bit10 -X46_bit11 -X46_bit12 -X47_bit_7 -X47_bit_6 -X47_bit_5 -X47_bit_4 -X47_bit_3 -X47_bit_2 -X47_bit_1 -X47_bit0 -X47_bit1 -X47_bit2 -X47_bit3 -X47_bit4 -X47_bit5 -X47_bit6 -X47_bit7 -X47_bit8 -X47_bit9 -X47_bit10 -X47_bit11 -X47_bit12 -X48_bit_7 -X48_bit_6 -X48_bit_5 -X48_bit_4 -X48_bit_3 -X48_bit_2 -X48_bit_1 -X48_bit0 -X48_bit1 -X48_bit2 -X48_bit3 -X48_bit4 -X48_bit5 -X48_bit6 -X48_bit7 -X48_bit8 -X48_bit9 -X48_bit10 -X48_bit11 -X48_bit12 -X49_bit_7 -X49_bit_6 -X49_bit_5 -X49_bit_4 -X49_bit_3 -X49_bit_2 -X49_bit_1 -X49_bit0 -X49_bit1 -X49_bit2 -X49_bit3 -X49_bit4 -X49_bit5 -X49_bit6 -X49_bit7 -X49_bit8 -X49_bit9 -X49_bit10 -X49_bit11 -X49_bit12 -X50_bit_7 -X50_bit_6 -X50_bit_5 -X50_bit_4 -X50_bit_3 -X50_bit_2 -X50_bit_1 -X50_bit0 -X50_bit1 -X50_bit2 -X50_bit3 -X50_bit4 -X50_bit5 -X50_bit6 -X50_bit7 -X50_bit8 -X50_bit9 -X50_bit10 -X50_bit11 -X50_bit12 -X51_bit_7 -X51_bit_6 -X51_bit_5 -X51_bit_4 -X51_bit_3 -X51_bit_2 -X51_bit_1 -X51_bit0 -X51_bit1 -X51_bit2 -X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit10 -X51_bit11 -X51_bit12 -X52_bit_7 -X52_bit_6 -X52_bit_5 -X52_bit_4 -X52_bit_3 -X52_bit_2 -X52_bit_1 -X52_bit0 -X52_bit1 -X52_bit2 -X52_bit3 -X52_bit4 -X52_bit5 -X52_bit6 -X52_bit7 -X52_bit8 -X52_bit9 -X52_bit10 -X52_bit11 -X52_bit12 -X53_bit_7 -X53_bit_6 -X53_bit_5 -X53_bit_4 -X53_bit_3 -X53_bit_2 -X53_bit_1 -X53_bit0 -X53_bit1 -X53_bit2 -X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit10 -X53_bit11 -X53_bit12 -X54_bit_7 -X54_bit_6 -X54_bit_5 -X54_bit_4 -X54_bit_3 -X54_bit_2 -X54_bit_1 -X54_bit0 -X54_bit1 -X54_bit2 -X54_bit3 -X54_bit4 -X54_bit5 -X54_bit6 -X54_bit7 -X54_bit8 -X54_bit9 -X54_bit10 -X54_bit11 -X54_bit12 -X55_bit_7 -X55_bit_6 -X55_bit_5 -X55_bit_4 -X55_bit_3 -X55_bit_2 -X55_bit_1 -X55_bit0 -X55_bit1 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit10 -X55_bit11 -X55_bit12 -X56_bit_7 -X56_bit_6 -X56_bit_5 -X56_bit_4 -X56_bit_3 -X56_bit_2 -X56_bit_1 -X56_bit0 -X56_bit1 -X56_bit2 -X56_bit3 -X56_bit4 -X56_bit5 -X56_bit6 -X56_bit7 -X56_bit8 -X56_bit9 -X56_bit10 -X56_bit11 -X56_bit12 -X57_bit_7 -X57_bit_6 -X57_bit_5 -X57_bit_4 -X57_bit_3 -X57_bit_2 -X57_bit_1 -X57_bit0 X57_bit1 -X57_bit2 -X57_bit3 -X57_bit4 -X57_bit5 -X57_bit6 -X57_bit7 -X57_bit8 -X57_bit9 -X57_bit10 -X57_bit11 -X57_bit12 -X58_bit_7 -X58_bit_6 -X58_bit_5 -X58_bit_4 -X58_bit_3 -X58_bit_2 -X58_bit_1 -X58_bit0 X58_bit1 -X58_bit2 -X58_bit3 -X58_bit4 -X58_bit5 -X58_bit6 -X58_bit7 -X58_bit8 -X58_bit9 -X58_bit10 -X58_bit11 -X58_bit12 -X59_bit_7 -X59_bit_6 -X59_bit_5 -X59_bit_4 -X59_bit_3 -X59_bit_2 -X59_bit_1 -X59_bit0 -X59_bit1 -X59_bit2 -X59_bit3 -X59_bit4 -X59_bit5 -X59_bit6 -X59_bit7 -X59_bit8 -X59_bit9 -X59_bit10 -X59_bit11 -X59_bit12 -X60_bit_7 -X60_bit_6 -X60_bit_5 -X60_bit_4 -X60_bit_3 -X60_bit_2 -X60_bit_1 -X60_bit0 -X60_bit1 -X60_bit2 -X60_bit3 -X60_bit4 -X60_bit5 -X60_bit6 -X60_bit7 -X60_bit8 -X60_bit9 -X60_bit10 -X60_bit11 -X60_bit12 -X61_bit_7 -X61_bit_6 -X61_bit_5 -X61_bit_4 -X61_bit_3 -X61_bit_2 -X61_bit_1 -X61_bit0 -X61_bit1 -X61_bit2 -X61_bit3 -X61_bit4 -X61_bit5 -X61_bit6 -X61_bit7 -X61_bit8 -X61_bit9 -X61_bit10 -X61_bit11 -X61_bit12 -X62_bit_7 -X62_bit_6 -X62_bit_5 -X62_bit_4 -X62_bit_3 -X62_bit_2 -X62_bit_1 -X62_bit0 -X62_bit1 -X62_bit2 -X62_bit3 -X62_bit4 -X62_bit5 -X62_bit6 -X62_bit7 -X62_bit8 -X62_bit9 -X62_bit10 -X62_bit11 -X62_bit12 -X63_bit_7 -X63_bit_6 -X63_bit_5 -X63_bit_4 -X63_bit_3 -X63_bit_2 -X63_bit_1 -X63_bit0 -X63_bit1 -X63_bit2 -X63_bit3 -X63_bit4 -X63_bit5 -X63_bit6 -X63_bit7 -X63_bit8 -X63_bit9 -X63_bit10 -X63_bit11 -X63_bit12 -X64_bit_7 -X64_bit_6 -X64_bit_5 -X64_bit_4 -X64_bit_3 -X64_bit_2 -X64_bit_1 -X64_bit0 -X64_bit1 -X64_bit2 -X64_bit3 -X64_bit4 -X64_bit5 -X64_bit6 -X64_bit7 -X64_bit8 -X64_bit9 -X64_bit10 -X64_bit11 -X64_bit12 -X65_bit_7 -X65_bit_6 -X65_bit_5 -X65_bit_4 -X65_bit_3 -X65_bit_2 -X65_bit_1 -X65_bit0 -X65_bit1 -X65_bit2 -X65_bit3 -X65_bit4 -X65_bit5 -X65_bit6 -X65_bit7 -X65_bit8 -X65_bit9 -X65_bit10 -X65_bit11 -X65_bit12 -X66_bit_7 -X66_bit_6 -X66_bit_5 -X66_bit_4 -X66_bit_3 -X66_bit_2 -X66_bit_1 -X66_bit0 -X66_bit1 -X66_bit2 -X66_bit3 -X66_bit4 -X66_bit5 -X66_bit6 -X66_bit7 -X66_bit8 -X66_bit9 -X66_bit10 -X66_bit11 -X66_bit12 -X67_bit_7 -X67_bit_6 -X67_bit_5 -X67_bit_4 -X67_bit_3 -X67_bit_2 -X67_bit_1 -X67_bit0 X67_bit1 -X67_bit2 -X67_bit3 -X67_bit4 -X67_bit5 -X67_bit6 -X67_bit7 -X67_bit8 -X67_bit9 -X67_bit10 -X67_bit11 -X67_bit12 -X68_bit_7 -X68_bit_6 -X68_bit_5 -X68_bit_4 -X68_bit_3 -X68_bit_2 -X68_bit_1 -X68_bit0 X68_bit1 -X68_bit2 -X68_bit3 X68_bit4 -X68_bit5 -X68_bit6 -X68_bit7 -X68_bit8 -X68_bit9 -X68_bit10 -X68_bit11 -X68_bit12 -X69_bit_7 -X69_bit_6 -X69_bit_5 -X69_bit_4 -X69_bit_3 -X69_bit_2 -X69_bit_1 -X69_bit0 -X69_bit1 -X69_bit2 -X69_bit3 -X69_bit4 -X69_bit5 -X69_bit6 -X69_bit7 -X69_bit8 -X69_bit9 -X69_bit10 -X69_bit11 -X69_bit12 -X70_bit_7 -X70_bit_6 -X70_bit_5 -X70_bit_4 -X70_bit_3 -X70_bit_2 -X70_bit_1 X70_bit0 -X70_bit1 -X70_bit2 -X70_bit3 -X70_bit4 -X70_bit5 -X70_bit6 -X70_bit7 -X70_bit8 -X70_bit9 -X70_bit10 -X70_bit11 -X70_bit12 -X71_bit_7 -X71_bit_6 -X71_bit_5 -X71_bit_4 -X71_bit_3 -X71_bit_2 -X71_bit_1 -X71_bit0 -X71_bit1 -X71_bit2 -X71_bit3 -X71_bit4 -X71_bit5 -X71_bit6 -X71_bit7 -X71_bit8 -X71_bit9 -X71_bit10 -X71_bit11 -X71_bit12 -X72_bit_7 -X72_bit_6 -X72_bit_5 -X72_bit_4 -X72_bit_3 -X72_bit_2 -X72_bit_1 -X72_bit0 -X72_bit1 -X72_bit2 -X72_bit3 -X72_bit4 -X72_bit5 -X72_bit6 -X72_bit7 -X72_bit8 -X72_bit9 -X72_bit10 -X72_bit11 -X72_bit12 -X73_bit_7 -X73_bit_6 -X73_bit_5 -X73_bit_4 -X73_bit_3 -X73_bit_2 -X73_bit_1 -X73_bit0 -X73_bit1 -X73_bit2 -X73_bit3 -X73_bit4 -X73_bit5 -X73_bit6 -X73_bit7 -X73_bit8 -X73_bit9 -X73_bit10 -X73_bit11 -X73_bit12 -X74_bit_7 -X74_bit_6 -X74_bit_5 -X74_bit_4 -X74_bit_3 -X74_bit_2 -X74_bit_1 -X74_bit0 -X74_bit1 -X74_bit2 -X74_bit3 -X74_bit4 -X74_bit5 -X74_bit6 -X74_bit7 -X74_bit8 -X74_bit9 -X74_bit10 -X74_bit11 -X74_bit12 -X75_bit_7 -X75_bit_6 -X75_bit_5 -X75_bit_4 -X75_bit_3 -X75_bit_2 -X75_bit_1 -X75_bit0 -X75_bit1 -X75_bit2 -X75_bit3 -X75_bit4 -X75_bit5 -X75_bit6 -X75_bit7 -X75_bit8 -X75_bit9 -X75_bit10 -X75_bit11 -X75_bit12 -X76_bit_7 -X76_bit_6 -X76_bit_5 -X76_bit_4 -X76_bit_3 -X76_bit_2 -X76_bit_1 -X76_bit0 -X76_bit1 -X76_bit2 -X76_bit3 -X76_bit4 -X76_bit5 -X76_bit6 -X76_bit7 -X76_bit8 -X76_bit9 -X76_bit10 -X76_bit11 -X76_bit12 -X77_bit_7 -X77_bit_6 -X77_bit_5 -X77_bit_4 -X77_bit_3 -X77_bit_2 -X77_bit_1 -X77_bit0 -X77_bit1 -X77_bit2 -X77_bit3 -X77_bit4 -X77_bit5 -X77_bit6 -X77_bit7 -X77_bit8 -X77_bit9 -X77_bit10 -X77_bit11 -X77_bit12 -X78_bit_7 -X78_bit_6 -X78_bit_5 -X78_bit_4 -X78_bit_3 -X78_bit_2 -X78_bit_1 -X78_bit0 X78_bit1 -X78_bit2 X78_bit3 -X78_bit4 -X78_bit5 -X78_bit6 -X78_bit7 -X78_bit8 -X78_bit9 -X78_bit10 -X78_bit11 -X78_bit12 -X79_bit_7 -X79_bit_6 -X79_bit_5 -X79_bit_4 -X79_bit_3 -X79_bit_2 -X79_bit_1 -X79_bit0 -X79_bit1 -X79_bit2 -X79_bit3 -X79_bit4 -X79_bit5 -X79_bit6 -X79_bit7 -X79_bit8 -X79_bit9 -X79_bit10 -X79_bit11 -X79_bit12 -X80_bit_7 -X80_bit_6 -X80_bit_5 -X80_bit_4 -X80_bit_3 -X80_bit_2 -X80_bit_1 -X80_bit0 X80_bit1 -X80_bit2 -X80_bit3 -X80_bit4 -X80_bit5 -X80_bit6 -X80_bit7 -X80_bit8 -X80_bit9 -X80_bit10 -X80_bit11 -X80_bit12 -X81_bit_7 -X81_bit_6 -X81_bit_5 -X81_bit_4 -X81_bit_3 -X81_bit_2 -X81_bit_1 -X81_bit0 -X81_bit1 -X81_bit2 -X81_bit3 -X81_bit4 -X81_bit5 -X81_bit6 -X81_bit7 -X81_bit8 -X81_bit9 -X81_bit10 -X81_bit11 -X81_bit12 -X82_bit_7 -X82_bit_6 -X82_bit_5 -X82_bit_4 -X82_bit_3 -X82_bit_2 -X82_bit_1 -X82_bit0 -X82_bit1 -X82_bit2 -X82_bit3 -X82_bit4 -X82_bit5 -X82_bit6 -X82_bit7 -X82_bit8 -X82_bit9 -X82_bit10 -X82_bit11 -X82_bit12 -X83_bit_7 -X83_bit_6 -X83_bit_5 -X83_bit_4 -X83_bit_3 -X83_bit_2 -X83_bit_1 -X83_bit0 -X83_bit1 -X83_bit2 -X83_bit3 -X83_bit4 -X83_bit5 -X83_bit6 -X83_bit7 -X83_bit8 -X83_bit9 -X83_bit10 -X83_bit11 -X83_bit12 -X84_bit_7 -X84_bit_6 -X84_bit_5 -X84_bit_4 -X84_bit_3 -X84_bit_2 -X84_bit_1 -X84_bit0 -X84_bit1 -X84_bit2 -X84_bit3 -X84_bit4 -X84_bit5 -X84_bit6 -X84_bit7 -X84_bit8 -X84_bit9 -X84_bit10 -X84_bit11 -X84_bit12 -X85_bit_7 -X85_bit_6 -X85_bit_5 -X85_bit_4 -X85_bit_3 -X85_bit_2 -X85_bit_1 -X85_bit0 -X85_bit1 -X85_bit2 -X85_bit3 -X85_bit4 -X85_bit5 -X85_bit6 -X85_bit7 -X85_bit8 -X85_bit9 -X85_bit10 -X85_bit11 -X85_bit12 -X86_bit_7 -X86_bit_6 -X86_bit_5 -X86_bit_4 -X86_bit_3 -X86_bit_2 -X86_bit_1 -X86_bit0 -X86_bit1 -X86_bit2 -X86_bit3 -X86_bit4 -X86_bit5 -X86_bit6 -X86_bit7 -X86_bit8 -X86_bit9 -X86_bit10 -X86_bit11 -X86_bit12 -X87_bit_7 -X87_bit_6 -X87_bit_5 -X87_bit_4 -X87_bit_3 -X87_bit_2 -X87_bit_1 -X87_bit0 -X87_bit1 -X87_bit2 -X87_bit3 -X87_bit4 -X87_bit5 -X87_bit6 -X87_bit7 -X87_bit8 -X87_bit9 -X87_bit10 -X87_bit11 -X87_bit12 -X88_bit_7 -X88_bit_6 -X88_bit_5 -X88_bit_4 -X88_bit_3 -X88_bit_2 -X88_bit_1 -X88_bit0 -X88_bit1 -X88_bit2 -X88_bit3 -X88_bit4 -X88_bit5 -X88_bit6 -X88_bit7 -X88_bit8 -X88_bit9 -X88_bit10 -X88_bit11 -X88_bit12 -X89_bit_7 -X89_bit_6 -X89_bit_5 -X89_bit_4 -X89_bit_3 -X89_bit_2 -X89_bit_1 -X89_bit0 -X89_bit1 -X89_bit2 -X89_bit3 X89_bit4 -X89_bit5 -X89_bit6 -X89_bit7 -X89_bit8 -X89_bit9 -X89_bit10 -X89_bit11 -X89_bit12 -X90_bit_7 -X90_bit_6 -X90_bit_5 -X90_bit_4 -X90_bit_3 -X90_bit_2 -X90_bit_1 -X90_bit0 -X90_bit1 -X90_bit2 -X90_bit3 -X90_bit4 -X90_bit5 -X90_bit6 -X90_bit7 -X90_bit8 -X90_bit9 -X90_bit10 -X90_bit11 -X90_bit12 -X91_bit_7 -X91_bit_6 -X91_bit_5 -X91_bit_4 -X91_bit_3 -X91_bit_2 -X91_bit_1 -X91_bit0 -X91_bit1 -X91_bit2 -X91_bit3 -X91_bit4 -X91_bit5 -X91_bit6 -X91_bit7 -X91_bit8 -X91_bit9 -X91_bit10 -X91_bit11 -X91_bit12 -X92_bit_7 -X92_bit_6 -X92_bit_5 -X92_bit_4 -X92_bit_3 -X92_bit_2 -X92_bit_1 -X92_bit0 -X92_bit1 -X92_bit2 -X92_bit3 -X92_bit4 -X92_bit5 -X92_bit6 -X92_bit7 -X92_bit8 -X92_bit9 -X92_bit10 -X92_bit11 -X92_bit12 -X93_bit_7 -X93_bit_6 -X93_bit_5 -X93_bit_4 -X93_bit_3 -X93_bit_2 -X93_bit_1 -X93_bit0 -X93_bit1 -X93_bit2 -X93_bit3 -X93_bit4 -X93_bit5 -X93_bit6 -X93_bit7 -X93_bit8 -X93_bit9 -X93_bit10 -X93_bit11 -X93_bit12 -X94_bit_7 -X94_bit_6 -X94_bit_5 -X94_bit_4 -X94_bit_3 -X94_bit_2 -X94_bit_1 -X94_bit0 -X94_bit1 -X94_bit2 -X94_bit3 -X94_bit4 -X94_bit5 -X94_bit6 -X94_bit7 -X94_bit8 -X94_bit9 -X94_bit10 -X94_bit11 -X94_bit12 -X95_bit_7 -X95_bit_6 -X95_bit_5 -X95_bit_4 -X95_bit_3 -X95_bit_2 -X95_bit_1 -X95_bit0 -X95_bit1 -X95_bit2 -X95_bit3 -X95_bit4 -X95_bit5 -X95_bit6 -X95_bit7 -X95_bit8 -X95_bit9 -X95_bit10 -X95_bit11 -X95_bit12 -X96_bit_7 -X96_bit_6 -X96_bit_5 -X96_bit_4 -X96_bit_3 -X96_bit_2 -X96_bit_1 -X96_bit0 -X96_bit1 -X96_bit2 -X96_bit3 -X96_bit4 -X96_bit5 -X96_bit6 -X96_bit7 -X96_bit8 -X96_bit9 -X96_bit10 -X96_bit11 -X96_bit12 -X97_bit_7 -X97_bit_6 -X97_bit_5 -X97_bit_4 -X97_bit_3 -X97_bit_2 -X97_bit_1 -X97_bit0 -X97_bit1 -X97_bit2 -X97_bit3 -X97_bit4 -X97_bit5 -X97_bit6 -X97_bit7 -X97_bit8 -X97_bit9 -X97_bit10 -X97_bit11 -X97_bit12 -X98_bit_7 -X98_bit_6 -X98_bit_5 -X98_bit_4 -X98_bit_3 -X98_bit_2 -X98_bit_1 -X98_bit0 -X98_bit1 -X98_bit2 -X98_bit3 -X98_bit4 -X98_bit5 -X98_bit6 -X98_bit7 -X98_bit8 -X98_bit9 -X98_bit10 -X98_bit11 -X98_bit12 -X99_bit_7 -X99_bit_6 -X99_bit_5 -X99_bit_4 -X99_bit_3 -X99_bit_2 -X99_bit_1 -X99_bit0 -X99_bit1 -X99_bit2 -X99_bit3 -X99_bit4 -X99_bit5 -X99_bit6 -X99_bit7 -X99_bit8 -X99_bit9 -X99_bit10 -X99_bit11 -X99_bit12 -X100_bit_7 -X100_bit_6 -X100_bit_5 -X100_bit_4 -X100_bit_3 -X100_bit_2 -X100_bit_1 -X100_bit0 -X100_bit1 -X100_bit2 X100_bit3 X100_bit4 -X100_bit5 -X100_bit6 -X100_bit7 -X100_bit8 -X100_bit9 -X100_bit10 -X100_bit11 -X100_bit12 -X101_bit_7 -X101_bit_6 -X101_bit_5 -X101_bit_4 -X101_bit_3 -X101_bit_2 -X101_bit_1 -X101_bit0 -X101_bit1 -X101_bit2 -X101_bit3 -X101_bit4 -X101_bit5 -X101_bit6 -X101_bit7 -X101_bit8 -X101_bit9 -X101_bit10 -X101_bit11 -X101_bit12 -X102_bit_7 -X102_bit_6 -X102_bit_5 -X102_bit_4 -X102_bit_3 -X102_bit_2 -X102_bit_1 -X102_bit0 -X102_bit1 -X102_bit2 -X102_bit3 -X102_bit4 -X102_bit5 -X102_bit6 -X102_bit7 -X102_bit8 -X102_bit9 -X102_bit10 -X102_bit11 -X102_bit12 -X103_bit_7 -X103_bit_6 -X103_bit_5 -X103_bit_4 -X103_bit_3 -X103_bit_2 -X103_bit_1 -X103_bit0 -X103_bit1 -X103_bit2 -X103_bit3 -X103_bit4 -X103_bit5 -X103_bit6 -X103_bit7 -X103_bit8 -X103_bit9 -X103_bit10 -X103_bit11 -X103_bit12 -X104_bit_7 -X104_bit_6 -X104_bit_5 -X104_bit_4 -X104_bit_3 -X104_bit_2 -X104_bit_1 -X104_bit0 -X104_bit1 -X104_bit2 -X104_bit3 -X104_bit4 -X104_bit5 -X104_bit6 -X104_bit7 -X104_bit8 -X104_bit9 -X104_bit10 -X104_bit11 -X104_bit12 -X105_bit_7 -X105_bit_6 -X105_bit_5 -X105_bit_4 -X105_bit_3 -X105_bit_2 -X105_bit_1 -X105_bit0 -X105_bit1 -X105_bit2 -X105_bit3 -X105_bit4 -X105_bit5 -X105_bit6 -X105_bit7 -X105_bit8 -X105_bit9 -X105_bit10 -X105_bit11 -X105_bit12 -X106_bit_7 -X106_bit_6 -X106_bit_5 -X106_bit_4 -X106_bit_3 -X106_bit_2 -X106_bit_1 -X106_bit0 -X106_bit1 -X106_bit2 -X106_bit3 -X106_bit4 -X106_bit5 -X106_bit6 -X106_bit7 -X106_bit8 -X106_bit9 -X106_bit10 -X106_bit11 -X106_bit12 -X107_bit_7 -X107_bit_6 -X107_bit_5 -X107_bit_4 -X107_bit_3 -X107_bit_2 -X107_bit_1 -X107_bit0 -X107_bit1 -X107_bit2 -X107_bit3 -X107_bit4 -X107_bit5 -X107_bit6 -X107_bit7 -X107_bit8 -X107_bit9 -X107_bit10 -X107_bit11 -X107_bit12 -X108_bit_7 -X108_bit_6 -X108_bit_5 -X108_bit_4 -X108_bit_3 -X108_bit_2 -X108_bit_1 -X108_bit0 -X108_bit1 -X108_bit2 -X108_bit3 -X108_bit4 -X108_bit5 -X108_bit6 -X108_bit7 -X108_bit8 -X108_bit9 -X108_bit10 -X108_bit11 -X108_bit12 -X109_bit_7 -X109_bit_6 -X109_bit_5 -X109_bit_4 -X109_bit_3 -X109_bit_2 -X109_bit_1 -X109_bit0 -X109_bit1 -X109_bit2 -X109_bit3 -X109_bit4 -X109_bit5 -X109_bit6 -X109_bit7 -X109_bit8 -X109_bit9 -X109_bit10 -X109_bit11 -X109_bit12 -X110_bit_7 -X110_bit_6 -X110_bit_5 -X110_bit_4 -X110_bit_3 -X110_bit_2 -X110_bit_1 -X110_bit0 -X110_bit1 -X110_bit2 -X110_bit3 -X110_bit4 -X110_bit5 -X110_bit6 -X110_bit7 -X110_bit8 -X110_bit9 -X110_bit10 -X110_bit11 -X110_bit12 -X111_bit_7 -X111_bit_6 -X111_bit_5 -X111_bit_4 -X111_bit_3 -X111_bit_2 -X111_bit_1 -X111_bit0 -X111_bit1 X111_bit2 -X111_bit3 -X111_bit4 -X111_bit5 -X111_bit6 -X111_bit7 -X111_bit8 -X111_bit9 -X111_bit10 -X111_bit11 -X111_bit12 -X112_bit_7 -X112_bit_6 -X112_bit_5 -X112_bit_4 -X112_bit_3 -X112_bit_2 -X112_bit_1 -X112_bit0 -X112_bit1 -X112_bit2 X112_bit3 -X112_bit4 -X112_bit5 -X112_bit6 -X112_bit7 -X112_bit8 -X112_bit9 -X112_bit10 -X112_bit11 -X112_bit12 -X113_bit_7 -X113_bit_6 -X113_bit_5 -X113_bit_4 -X113_bit_3 -X113_bit_2 -X113_bit_1 -X113_bit0 -X113_bit1 X113_bit2 -X113_bit3 -X113_bit4 -X113_bit5 -X113_bit6 -X113_bit7 -X113_bit8 -X113_bit9 -X113_bit10 -X113_bit11 -X113_bit12 -X114_bit_7 -X114_bit_6 -X114_bit_5 -X114_bit_4 -X114_bit_3 -X114_bit_2 -X114_bit_1 -X114_bit0 -X114_bit1 -X114_bit2 -X114_bit3 -X114_bit4 -X114_bit5 -X114_bit6 -X114_bit7 -X114_bit8 -X114_bit9 -X114_bit10 -X114_bit11 -X114_bit12 -X115_bit_7 -X115_bit_6 -X115_bit_5 -X115_bit_4 -X115_bit_3 -X115_bit_2 -X115_bit_1 X115_bit0 -X115_bit1 -X115_bit2 -X115_bit3 -X115_bit4 -X115_bit5 -X115_bit6 -X115_bit7 -X115_bit8 -X115_bit9 -X115_bit10 -X115_bit11 -X115_bit12 -X116_bit_7 -X116_bit_6 -X116_bit_5 -X116_bit_4 -X116_bit_3 -X116_bit_2 -X116_bit_1 -X116_bit0 -X116_bit1 -X116_bit2 -X116_bit3 -X116_bit4 -X116_bit5 -X116_bit6 -X116_bit7 -X116_bit8 -X116_bit9 -X116_bit10 -X116_bit11 -X116_bit12 -X117_bit_7 -X117_bit_6 -X117_bit_5 -X117_bit_4 -X117_bit_3 -X117_bit_2 -X117_bit_1 -X117_bit0 -X117_bit1 -X117_bit2 -X117_bit3 -X117_bit4 -X117_bit5 -X117_bit6 -X117_bit7 -X117_bit8 -X117_bit9 -X117_bit10 -X117_bit11 -X117_bit12 -X118_bit_7 -X118_bit_6 -X118_bit_5 -X118_bit_4 -X118_bit_3 -X118_bit_2 -X118_bit_1 -X118_bit0 -X118_bit1 -X118_bit2 -X118_bit3 -X118_bit4 -X118_bit5 -X118_bit6 -X118_bit7 -X118_bit8 -X118_bit9 -X118_bit10 -X118_bit11 -X118_bit12 -X119_bit_7 -X119_bit_6 -X119_bit_5 -X119_bit_4 -X119_bit_3 -X119_bit_2 -X119_bit_1 -X119_bit0 -X119_bit1 -X119_bit2 -X119_bit3 -X119_bit4 -X119_bit5 -X119_bit6 -X119_bit7 -X119_bit8 -X119_bit9 -X119_bit10 -X119_bit11 -X119_bit12 -X120_bit_7 -X120_bit_6 -X120_bit_5 -X120_bit_4 -X120_bit_3 -X120_bit_2 -X120_bit_1 -X120_bit0 -X120_bit1 -X120_bit2 -X120_bit3 -X120_bit4 -X120_bit5 -X120_bit6 -X120_bit7 -X120_bit8 -X120_bit9 -X120_bit10 -X120_bit11 -X120_bit12 -X121_bit_7 -X121_bit_6 -X121_bit_5 -X121_bit_4 -X121_bit_3 -X121_bit_2 -X121_bit_1 -X121_bit0 -X121_bit1 -X121_bit2 -X121_bit3 -X121_bit4 -X121_bit5 -X121_bit6 -X121_bit7 -X121_bit8 -X121_bit9 -X121_bit10 -X121_bit11 -X121_bit12 -X122_bit_7 -X122_bit_6 -X122_bit_5 -X122_bit_4 -X122_bit_3 -X122_bit_2 -X122_bit_1 X122_bit0 -X122_bit1 -X122_bit2 -X122_bit3 X122_bit4 -X122_bit5 -X122_bit6 -X122_bit7 -X122_bit8 -X122_bit9 -X122_bit10 -X122_bit11 -X122_bit12 -X123_bit_7 -X123_bit_6 -X123_bit_5 -X123_bit_4 -X123_bit_3 -X123_bit_2 -X123_bit_1 -X123_bit0 X123_bit1 -X123_bit2 -X123_bit3 -X123_bit4 -X123_bit5 -X123_bit6 -X123_bit7 -X123_bit8 -X123_bit9 -X123_bit10 -X123_bit11 -X123_bit12 -X124_bit_7 -X124_bit_6 -X124_bit_5 -X124_bit_4 -X124_bit_3 -X124_bit_2 -X124_bit_1 -X124_bit0 -X124_bit1 -X124_bit2 -X124_bit3 -X124_bit4 -X124_bit5 -X124_bit6 -X124_bit7 -X124_bit8 -X124_bit9 -X124_bit10 -X124_bit11 -X124_bit12 -X125_bit_7 -X125_bit_6 -X125_bit_5 -X125_bit_4 -X125_bit_3 -X125_bit_2 -X125_bit_1 -X125_bit0 -X125_bit1 -X125_bit2 -X125_bit3 -X125_bit4 -X125_bit5 -X125_bit6 -X125_bit7 -X125_bit8 -X125_bit9 -X125_bit10 -X125_bit11 -X125_bit12 -X126_bit_7 -X126_bit_6 -X126_bit_5 -X126_bit_4 -X126_bit_3 -X126_bit_2 -X126_bit_1 -X126_bit0 -X126_bit1 -X126_bit2 -X126_bit3 -X126_bit4 -X126_bit5 -X126_bit6 -X126_bit7 -X126_bit8 -X126_bit9 -X126_bit10 -X126_bit11 -X126_bit12 -X127_bit_7 -X127_bit_6 -X127_bit_5 -X127_bit_4 -X127_bit_3 -X127_bit_2 -X127_bit_1 -X127_bit0 -X127_bit1 -X127_bit2 -X127_bit3 -X127_bit4 -X127_bit5 -X127_bit6 -X127_bit7 -X127_bit8 -X127_bit9 -X127_bit10 -X127_bit11 -X127_bit12 -X128_bit_7 -X128_bit_6 -X128_bit_5 -X128_bit_4 -X128_bit_3 -X128_bit_2 -X128_bit_1 -X128_bit0 -X128_bit1 -X128_bit2 -X128_bit3 -X128_bit4 -X128_bit5 -X128_bit6 -X128_bit7 -X128_bit8 -X128_bit9 -X128_bit10 -X128_bit11 -X128_bit12 -X129_bit_7 -X129_bit_6 -X129_bit_5 -X129_bit_4 -X129_bit_3 -X129_bit_2 -X129_bit_1 -X129_bit0 -X129_bit1 -X129_bit2 -X129_bit3 -X129_bit4 -X129_bit5 -X129_bit6 -X129_bit7 -X129_bit8 -X129_bit9 -X129_bit10 -X129_bit11 -X129_bit12 -X130_bit_7 -X130_bit_6 -X130_bit_5 -X130_bit_4 -X130_bit_3 -X130_bit_2 -X130_bit_1 -X130_bit0 -X130_bit1 -X130_bit2 -X130_bit3 -X130_bit4 -X130_bit5 -X130_bit6 -X130_bit7 -X130_bit8 -X130_bit9 -X130_bit10 -X130_bit11 -X130_bit12 -X131_bit_7 -X131_bit_6 -X131_bit_5 -X131_bit_4 -X131_bit_3 -X131_bit_2 -X131_bit_1 -X131_bit0 -X131_bit1 -X131_bit2 -X131_bit3 -X131_bit4 -X131_bit5 -X131_bit6 -X131_bit7 -X131_bit8 -X131_bit9 -X131_bit10 -X131_bit11 -X131_bit12 -X132_bit_7 -X132_bit_6 -X132_bit_5 -X132_bit_4 -X132_bit_3 -X132_bit_2 -X132_bit_1 X132_bit0 X132_bit1 X132_bit2 -X132_bit3 -X132_bit4 -X132_bit5 -X132_bit6 -X132_bit7 -X132_bit8 -X132_bit9 -X132_bit10 -X132_bit11 -X132_bit12 -X133_bit_7 -X133_bit_6 -X133_bit_5 -X133_bit_4 -X133_bit_3 -X133_bit_2 -X133_bit_1 -X133_bit0 X133_bit1 X133_bit2 -X133_bit3 -X133_bit4 -X133_bit5 -X133_bit6 -X133_bit7 -X133_bit8 -X133_bit9 -X133_bit10 -X133_bit11 -X133_bit12 -X134_bit_7 -X134_bit_6 -X134_bit_5 -X134_bit_4 -X134_bit_3 -X134_bit_2 -X134_bit_1 -X134_bit0 -X134_bit1 -X134_bit2 -X134_bit3 -X134_bit4 -X134_bit5 -X134_bit6 -X134_bit7 -X134_bit8 -X134_bit9 -X134_bit10 -X134_bit11 -X134_bit12 -X135_bit_7 -X135_bit_6 -X135_bit_5 -X135_bit_4 -X135_bit_3 -X135_bit_2 -X135_bit_1 -X135_bit0 -X135_bit1 -X135_bit2 -X135_bit3 -X135_bit4 -X135_bit5 -X135_bit6 -X135_bit7 -X135_bit8 -X135_bit9 -X135_bit10 -X135_bit11 -X135_bit12 -X136_bit_7 -X136_bit_6 -X136_bit_5 -X136_bit_4 -X136_bit_3 -X136_bit_2 -X136_bit_1 -X136_bit0 -X136_bit1 -X136_bit2 -X136_bit3 -X136_bit4 -X136_bit5 -X136_bit6 -X136_bit7 -X136_bit8 -X136_bit9 -X136_bit10 -X136_bit11 -X136_bit12 -X137_bit_7 -X137_bit_6 -X137_bit_5 -X137_bit_4 -X137_bit_3 -X137_bit_2 -X137_bit_1 -X137_bit0 -X137_bit1 -X137_bit2 -X137_bit3 -X137_bit4 -X137_bit5 -X137_bit6 -X137_bit7 -X137_bit8 -X137_bit9 -X137_bit10 -X137_bit11 -X137_bit12 -X138_bit_7 -X138_bit_6 -X138_bit_5 -X138_bit_4 -X138_bit_3 -X138_bit_2 -X138_bit_1 X138_bit0 -X138_bit1 -X138_bit2 -X138_bit3 -X138_bit4 -X138_bit5 -X138_bit6 -X138_bit7 -X138_bit8 -X138_bit9 -X138_bit10 -X138_bit11 -X138_bit12 -X139_bit_7 -X139_bit_6 -X139_bit_5 -X139_bit_4 -X139_bit_3 -X139_bit_2 -X139_bit_1 -X139_bit0 -X139_bit1 -X139_bit2 -X139_bit3 -X139_bit4 -X139_bit5 -X139_bit6 -X139_bit7 -X139_bit8 -X139_bit9 -X139_bit10 -X139_bit11 -X139_bit12 -X140_bit_7 -X140_bit_6 -X140_bit_5 -X140_bit_4 -X140_bit_3 -X140_bit_2 -X140_bit_1 -X140_bit0 -X140_bit1 -X140_bit2 -X140_bit3 -X140_bit4 -X140_bit5 -X140_bit6 -X140_bit7 -X140_bit8 -X140_bit9 -X140_bit10 -X140_bit11 -X140_bit12 -X141_bit_7 -X141_bit_6 -X141_bit_5 -X141_bit_4 -X141_bit_3 -X141_bit_2 -X141_bit_1 -X141_bit0 -X141_bit1 -X141_bit2 -X141_bit3 -X141_bit4 -X141_bit5 -X141_bit6 -X141_bit7 -X141_bit8 -X141_bit9 -X141_bit10 -X141_bit11 -X141_bit12 -X142_bit_7 -X142_bit_6 -X142_bit_5 -X142_bit_4 -X142_bit_3 -X142_bit_2 -X142_bit_1 -X142_bit0 -X142_bit1 -X142_bit2 -X142_bit3 -X142_bit4 -X142_bit5 -X142_bit6 -X142_bit7 -X142_bit8 -X142_bit9 -X142_bit10 -X142_bit11 -X142_bit12 -X143_bit_7 -X143_bit_6 -X143_bit_5 -X143_bit_4 -X143_bit_3 -X143_bit_2 -X143_bit_1 -X143_bit0 -X143_bit1 -X143_bit2 -X143_bit3 -X143_bit4 -X143_bit5 -X143_bit6 -X143_bit7 -X143_bit8 -X143_bit9 -X143_bit10 -X143_bit11 -X143_bit12 -Y0_bit0 -Y1_bit0 -Y2_bit0 -Y3_bit0 -Y4_bit0 -Y5_bit0 -Y6_bit0 -Y7_bit0 -Y8_bit0 -Y9_bit0 -Y10_bit0 Y11_bit0 -Y12_bit0 -Y13_bit0 -Y14_bit0 -Y15_bit0 -Y16_bit0 -Y17_bit0 -Y18_bit0 -Y19_bit0 -Y20_bit0 -Y21_bit0 Y22_bit0 Y23_bit0 -Y24_bit0 -Y25_bit0 -Y26_bit0 -Y27_bit0 -Y28_bit0 -Y29_bit0 -Y30_bit0 -Y31_bit0 -Y32_bit0 Y33_bit0 Y34_bit0 Y35_bit0 -Y36_bit0 -Y37_bit0 -Y38_bit0 -Y39_bit0 -Y40_bit0 -Y41_bit0 -Y42_bit0 -Y43_bit0 Y44_bit0 -Y45_bit0 Y46_bit0 -Y47_bit0 -Y48_bit0 -Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 -Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 Y57_bit0 Y58_bit0 -Y59_bit0 -Y60_bit0 -Y61_bit0 -Y62_bit0 -Y63_bit0 -Y64_bit0 -Y65_bit0 -Y66_bit0 Y67_bit0 Y68_bit0 -Y69_bit0 Y70_bit0 -Y71_bit0 -Y72_bit0 -Y73_bit0 -Y74_bit0 -Y75_bit0 -Y76_bit0 -Y77_bit0 Y78_bit0 -Y79_bit0 Y80_bit0 -Y81_bit0 -Y82_bit0 -Y83_bit0 -Y84_bit0 -Y85_bit0 -Y86_bit0 -Y87_bit0 -Y88_bit0 Y89_bit0 -Y90_bit0 -Y91_bit0 -Y92_bit0 -Y93_bit0 -Y94_bit0 -Y95_bit0 -Y96_bit0 -Y97_bit0 -Y98_bit0 -Y99_bit0 Y100_bit0 -Y101_bit0 -Y102_bit0 -Y103_bit0 -Y104_bit0 -Y105_bit0 -Y106_bit0 -Y107_bit0 -Y108_bit0 -Y109_bit0 -Y110_bit0 Y111_bit0 Y112_bit0 Y113_bit0 -Y114_bit0 Y115_bit0 -Y116_bit0 -Y117_bit0 -Y118_bit0 -Y119_bit0 -Y120_bit0 -Y121_bit0 Y122_bit0 Y123_bit0 -Y124_bit0 -Y125_bit0 -Y126_bit0 -Y127_bit0 -Y128_bit0 -Y129_bit0 -Y130_bit0 -Y131_bit0 Y132_bit0 Y133_bit0 -Y134_bit0 -Y135_bit0 -Y136_bit0 -Y137_bit0 Y138_bit0 -Y139_bit0 -Y140_bit0 -Y141_bit0 -Y142_bit0 -Y143_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.97 0.91 2/55 16215
Raw data (stat): 16215 (runsolver) R 16214 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 797943155 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1210 0 0 0 995 4 0 0 25 0 1 0 797943155 10567680 1184 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2580 1184 566 18 0 2562 0
vsize: 10320
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1373 0 0 0 1994 5 0 0 25 0 1 0 797943155 11218944 1347 4294967295 134512640 134581267 3221224576 3221223440 134528334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2739 1347 566 18 0 2721 0
vsize: 10956
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1428 0 0 0 2993 6 0 0 25 0 1 0 797943155 11489280 1402 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2805 1402 566 18 0 2787 0
vsize: 11220
[startup+40.0009 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1428 0 0 0 3992 7 0 0 25 0 1 0 797943155 11489280 1402 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2805 1402 566 18 0 2787 0
vsize: 11220
[startup+50.0007 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1428 0 0 0 4991 9 0 0 25 0 1 0 797943155 11489280 1402 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2805 1402 566 18 0 2787 0
vsize: 11220
[startup+60.0004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1539 0 0 0 5990 9 0 0 25 0 1 0 797943155 11894784 1513 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2904 1513 566 18 0 2886 0
vsize: 11616
[startup+70.0003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1556 0 0 0 6989 11 0 0 25 0 1 0 797943155 12025856 1530 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2936 1530 566 18 0 2918 0
vsize: 11744
[startup+80 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1556 0 0 0 7988 12 0 0 25 0 1 0 797943155 11988992 1530 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2927 1530 566 18 0 2909 0
vsize: 11708
[startup+89.9998 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1556 0 0 0 8988 12 0 0 25 0 1 0 797943155 11988992 1530 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2927 1530 566 18 0 2909 0
vsize: 11708
[startup+99.9996 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1556 0 0 0 9987 13 0 0 25 0 1 0 797943155 11988992 1530 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2927 1530 566 18 0 2909 0
vsize: 11708
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1569 0 0 0 10987 14 0 0 25 0 1 0 797943155 12120064 1543 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2959 1543 566 18 0 2941 0
vsize: 11836
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1727 0 0 0 11985 15 0 0 25 0 1 0 797943155 12779520 1701 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3120 1701 566 18 0 3102 0
vsize: 12480
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1935 0 0 0 12985 16 0 0 25 0 1 0 797943155 13570048 1909 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1909 566 18 0 3295 0
vsize: 13252
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1937 0 0 0 13984 17 0 0 25 0 1 0 797943155 13570048 1911 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1911 566 18 0 3295 0
vsize: 13252
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1937 0 0 0 14984 17 0 0 25 0 1 0 797943155 13570048 1911 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1911 566 18 0 3295 0
vsize: 13252
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1938 0 0 0 15983 18 0 0 25 0 1 0 797943155 13570048 1912 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1912 566 18 0 3295 0
vsize: 13252
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1938 0 0 0 16982 20 0 0 25 0 1 0 797943155 13570048 1912 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1912 566 18 0 3295 0
vsize: 13252
[startup+180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1938 0 0 0 17979 22 0 0 25 0 1 0 797943155 13570048 1912 4294967295 134512640 134581267 3221224576 3221223440 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1912 566 18 0 3295 0
vsize: 13252
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1938 0 0 0 18978 24 0 0 25 0 1 0 797943155 13570048 1912 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1912 566 18 0 3295 0
vsize: 13252
[startup+200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1938 0 0 0 19977 25 0 0 25 0 1 0 797943155 13570048 1912 4294967295 134512640 134581267 3221224576 3221223440 134528293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1912 566 18 0 3295 0
vsize: 13252
[startup+210 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1938 0 0 0 20975 27 0 0 25 0 1 0 797943155 13570048 1912 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1912 566 18 0 3295 0
vsize: 13252
[startup+220 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1938 0 0 0 21975 27 0 0 25 0 1 0 797943155 13570048 1912 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1912 566 18 0 3295 0
vsize: 13252
[startup+230 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1938 0 0 0 22975 27 0 0 25 0 1 0 797943155 13570048 1912 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1912 566 18 0 3295 0
vsize: 13252
[startup+240 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1938 0 0 0 23975 28 0 0 25 0 1 0 797943155 13570048 1912 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1912 566 18 0 3295 0
vsize: 13252
[startup+250 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1938 0 0 0 24975 28 0 0 25 0 1 0 797943155 13570048 1912 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1912 566 18 0 3295 0
vsize: 13252
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1938 0 0 0 25975 28 0 0 25 0 1 0 797943155 13570048 1912 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1912 566 18 0 3295 0
vsize: 13252
[startup+270 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1938 0 0 0 26974 29 0 0 25 0 1 0 797943155 13570048 1912 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1912 566 18 0 3295 0
vsize: 13252
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1938 0 0 0 27974 30 0 0 25 0 1 0 797943155 13570048 1912 4294967295 134512640 134581267 3221224576 3221223488 134527647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1912 566 18 0 3295 0
vsize: 13252
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1938 0 0 0 28974 30 0 0 25 0 1 0 797943155 13570048 1912 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1912 566 18 0 3295 0
vsize: 13252
[startup+300 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1938 0 0 0 29973 30 0 0 25 0 1 0 797943155 13570048 1912 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1912 566 18 0 3295 0
vsize: 13252
[startup+310 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1938 0 0 0 30973 31 0 0 25 0 1 0 797943155 13570048 1912 4294967295 134512640 134581267 3221224576 3221223440 134528257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1912 566 18 0 3295 0
vsize: 13252
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1938 0 0 0 31972 32 0 0 25 0 1 0 797943155 13570048 1912 4294967295 134512640 134581267 3221224576 3221223552 134560951 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1912 566 18 0 3295 0
vsize: 13252
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1938 0 0 0 32971 33 0 0 25 0 1 0 797943155 13570048 1912 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1912 566 18 0 3295 0
vsize: 13252
[startup+340.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1938 0 0 0 33971 34 0 0 25 0 1 0 797943155 13570048 1912 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1912 566 18 0 3295 0
vsize: 13252
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1938 0 0 0 34970 34 0 0 25 0 1 0 797943155 13570048 1912 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3313 1912 566 18 0 3295 0
vsize: 13252
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 1993 0 0 0 35969 36 0 0 25 0 1 0 797943155 13840384 1967 4294967295 134512640 134581267 3221224576 3221223440 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3379 1967 566 18 0 3361 0
vsize: 13516
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2080 0 0 0 36967 37 0 0 25 0 1 0 797943155 14098432 2054 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2054 566 18 0 3424 0
vsize: 13768
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2080 0 0 0 37966 39 0 0 25 0 1 0 797943155 14098432 2054 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2054 566 18 0 3424 0
vsize: 13768
[startup+390.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2080 0 0 0 38965 40 0 0 25 0 1 0 797943155 14098432 2054 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2054 566 18 0 3424 0
vsize: 13768
[startup+400.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2080 0 0 0 39964 41 0 0 25 0 1 0 797943155 14098432 2054 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2054 566 18 0 3424 0
vsize: 13768
[startup+410.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2080 0 0 0 40964 42 0 0 25 0 1 0 797943155 14098432 2054 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2054 566 18 0 3424 0
vsize: 13768
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2080 0 0 0 41964 42 0 0 25 0 1 0 797943155 14098432 2054 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2054 566 18 0 3424 0
vsize: 13768
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2080 0 0 0 42964 42 0 0 25 0 1 0 797943155 14098432 2054 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2054 566 18 0 3424 0
vsize: 13768
[startup+440.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2080 0 0 0 43964 42 0 0 25 0 1 0 797943155 14098432 2054 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2054 566 18 0 3424 0
vsize: 13768
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2080 0 0 0 44964 42 0 0 25 0 1 0 797943155 14098432 2054 4294967295 134512640 134581267 3221224576 3221223396 1075289717 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2054 566 18 0 3424 0
vsize: 13768
[startup+460.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2080 0 0 0 45964 43 0 0 25 0 1 0 797943155 14098432 2054 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2054 566 18 0 3424 0
vsize: 13768
[startup+470.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2080 0 0 0 46962 45 0 0 25 0 1 0 797943155 14098432 2054 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2054 566 18 0 3424 0
vsize: 13768
[startup+480.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2080 0 0 0 47961 46 0 0 25 0 1 0 797943155 14098432 2054 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2054 566 18 0 3424 0
vsize: 13768
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2080 0 0 0 48959 48 0 0 25 0 1 0 797943155 14098432 2054 4294967295 134512640 134581267 3221224576 3221223324 1075285189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2054 566 18 0 3424 0
vsize: 13768
[startup+500.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2234 0 0 0 49959 48 0 0 25 0 1 0 797943155 14753792 2208 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3602 2208 566 18 0 3584 0
vsize: 14408
[startup+510.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2234 0 0 0 50959 49 0 0 25 0 1 0 797943155 14753792 2208 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3602 2208 566 18 0 3584 0
vsize: 14408
[startup+520.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2234 0 0 0 51958 49 0 0 25 0 1 0 797943155 14753792 2208 4294967295 134512640 134581267 3221224576 3221223488 134527963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3602 2208 566 18 0 3584 0
vsize: 14408
[startup+530.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2234 0 0 0 52958 50 0 0 25 0 1 0 797943155 14753792 2208 4294967295 134512640 134581267 3221224576 3221223440 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3602 2208 566 18 0 3584 0
vsize: 14408
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2234 0 0 0 53958 50 0 0 25 0 1 0 797943155 14753792 2208 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3602 2208 566 18 0 3584 0
vsize: 14408
[startup+550.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2234 0 0 0 54957 51 0 0 25 0 1 0 797943155 14753792 2208 4294967295 134512640 134581267 3221224576 3221223568 134561036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3602 2208 566 18 0 3584 0
vsize: 14408
[startup+560.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2234 0 0 0 55957 52 0 0 25 0 1 0 797943155 14753792 2208 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3602 2208 566 18 0 3584 0
vsize: 14408
[startup+570.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2234 0 0 0 56956 52 0 0 25 0 1 0 797943155 14753792 2208 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3602 2208 566 18 0 3584 0
vsize: 14408
[startup+580.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2234 0 0 0 57956 53 0 0 25 0 1 0 797943155 14753792 2208 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3602 2208 566 18 0 3584 0
vsize: 14408
[startup+590.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2313 0 0 0 58955 54 0 0 25 0 1 0 797943155 15155200 2287 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3700 2287 566 18 0 3682 0
vsize: 14800
[startup+600.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2319 0 0 0 59955 54 0 0 25 0 1 0 797943155 15155200 2293 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3700 2293 566 18 0 3682 0
vsize: 14800
[startup+610.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2319 0 0 0 60955 54 0 0 25 0 1 0 797943155 15155200 2293 4294967295 134512640 134581267 3221224576 3221223520 134558791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3700 2293 566 18 0 3682 0
vsize: 14800
[startup+620.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2319 0 0 0 61955 54 0 0 25 0 1 0 797943155 15155200 2293 4294967295 134512640 134581267 3221224576 3221223520 134558784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3700 2293 566 18 0 3682 0
vsize: 14800
[startup+630.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2319 0 0 0 62955 54 0 0 25 0 1 0 797943155 15155200 2293 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3700 2293 566 18 0 3682 0
vsize: 14800
[startup+640.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2319 0 0 0 63955 55 0 0 25 0 1 0 797943155 15155200 2293 4294967295 134512640 134581267 3221224576 3221223520 134559415 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3700 2293 566 18 0 3682 0
vsize: 14800
[startup+650.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2319 0 0 0 64954 55 0 0 25 0 1 0 797943155 15155200 2293 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3700 2293 566 18 0 3682 0
vsize: 14800
[startup+660.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2372 0 0 0 65954 56 0 0 25 0 1 0 797943155 15417344 2346 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3764 2346 566 18 0 3746 0
vsize: 15056
[startup+670.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2480 0 0 0 66953 57 0 0 25 0 1 0 797943155 15810560 2454 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3860 2454 566 18 0 3842 0
vsize: 15440
[startup+680.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2480 0 0 0 67953 57 0 0 25 0 1 0 797943155 15802368 2454 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3858 2454 566 18 0 3840 0
vsize: 15432
[startup+690.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2487 0 0 0 68952 58 0 0 25 0 1 0 797943155 15802368 2461 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3858 2461 566 18 0 3840 0
vsize: 15432
[startup+700.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2499 0 0 0 69952 59 0 0 25 0 1 0 797943155 15933440 2473 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3890 2473 566 18 0 3872 0
vsize: 15560
[startup+710.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2499 0 0 0 70952 59 0 0 25 0 1 0 797943155 15847424 2473 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3869 2473 566 18 0 3851 0
vsize: 15476
[startup+720.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2499 0 0 0 71950 61 0 0 25 0 1 0 797943155 15847424 2473 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3869 2473 566 18 0 3851 0
vsize: 15476
[startup+730.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2499 0 0 0 72950 61 0 0 25 0 1 0 797943155 15847424 2473 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3869 2473 566 18 0 3851 0
vsize: 15476
[startup+740.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2499 0 0 0 73950 62 0 0 25 0 1 0 797943155 15847424 2473 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3869 2473 566 18 0 3851 0
vsize: 15476
[startup+750.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2499 0 0 0 74949 63 0 0 25 0 1 0 797943155 15847424 2473 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3869 2473 566 18 0 3851 0
vsize: 15476
[startup+760.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2499 0 0 0 75948 63 0 0 25 0 1 0 797943155 15847424 2473 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3869 2473 566 18 0 3851 0
vsize: 15476
[startup+770.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2513 0 0 0 76948 64 0 0 25 0 1 0 797943155 15978496 2487 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3901 2487 566 18 0 3883 0
vsize: 15604
[startup+780.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2513 0 0 0 77947 65 0 0 25 0 1 0 797943155 15867904 2487 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3874 2487 566 18 0 3856 0
vsize: 15496
[startup+790.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2513 0 0 0 78946 66 0 0 25 0 1 0 797943155 15847424 2482 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3869 2482 566 18 0 3851 0
vsize: 15476
[startup+800.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2593 0 0 0 79946 66 0 0 25 0 1 0 797943155 16240640 2562 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3965 2562 566 18 0 3947 0
vsize: 15860
[startup+810.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2612 0 0 0 80945 67 0 0 25 0 1 0 797943155 16375808 2581 4294967295 134512640 134581267 3221224576 3221223440 134560459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3998 2581 566 18 0 3980 0
vsize: 15992
[startup+820.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2612 0 0 0 81944 69 0 0 25 0 1 0 797943155 16363520 2581 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3995 2581 566 18 0 3977 0
vsize: 15980
[startup+830.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2612 0 0 0 82943 70 0 0 25 0 1 0 797943155 16326656 2581 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3986 2581 566 18 0 3968 0
vsize: 15944
[startup+840.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2612 0 0 0 83942 70 0 0 25 0 1 0 797943155 16322560 2581 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3985 2581 566 18 0 3967 0
vsize: 15940
[startup+850.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2612 0 0 0 84942 71 0 0 25 0 1 0 797943155 16322560 2581 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3985 2581 566 18 0 3967 0
vsize: 15940
[startup+860.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2612 0 0 0 85942 72 0 0 25 0 1 0 797943155 16318464 2581 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3984 2581 566 18 0 3966 0
vsize: 15936
[startup+870.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2612 0 0 0 86941 72 0 0 25 0 1 0 797943155 16297984 2581 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3979 2581 566 18 0 3961 0
vsize: 15916
[startup+880.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2612 0 0 0 87942 72 0 0 25 0 1 0 797943155 16293888 2581 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3978 2581 566 18 0 3960 0
vsize: 15912
[startup+890.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2612 0 0 0 88942 72 0 0 25 0 1 0 797943155 16289792 2581 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3977 2581 566 18 0 3959 0
vsize: 15908
[startup+900.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2612 0 0 0 89941 73 0 0 25 0 1 0 797943155 16289792 2581 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3977 2581 566 18 0 3959 0
vsize: 15908
[startup+910.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2612 0 0 0 90941 73 0 0 25 0 1 0 797943155 16289792 2581 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3977 2581 566 18 0 3959 0
vsize: 15908
[startup+920.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2745 0 0 0 91940 74 0 0 25 0 1 0 797943155 16826368 2714 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4108 2714 566 18 0 4090 0
vsize: 16432
[startup+930.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2830 0 0 0 92940 75 0 0 25 0 1 0 797943155 17223680 2799 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4205 2799 566 18 0 4187 0
vsize: 16820
[startup+940.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 93939 76 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+950.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 94939 76 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+960.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 95938 77 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+970.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 96938 78 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223504 134519797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+980.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 97937 78 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223440 134528110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+990.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 98937 79 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 99936 80 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 100936 80 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 101935 81 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 102935 81 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 103935 82 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 104934 83 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223556 134560749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 105933 84 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 106933 84 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 107932 86 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223488 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 108930 87 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 109929 89 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223472 134517525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 110928 90 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 111926 92 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 112926 92 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 113925 93 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 114925 94 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 115924 94 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 116924 95 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 117924 95 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223488 134527952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 16948
[startup+1188.83 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 16215
Raw data (stat): 16215 (Pueblo-v2) R 16214 8378 8377 0 -1 0 2862 0 0 0 117924 95 0 0 25 0 1 0 797943155 17354752 2831 4294967295 134512640 134581267 3221224576 3221223488 134527952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 2831 566 18 0 4219 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189.03
CPU user time (s): 1188.06
CPU system time (s): 0.966853
CPU usage (%): 100.016
Max. virtual memory (Kb): 16948
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	493056
#### END VERIFIER DATA ####