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 25553

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 13:20:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19260 boxname=wulflinc31 idbench=1482 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  eac61d4d68844395596b0518195dd6df  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran12x12.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran12x12.opb
IDLAUNCH: 19260
/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:        704008 kB
Buffers:         26988 kB
Cached:         282876 kB
SwapCached:       1168 kB
Active:         194616 kB
Inactive:       117736 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        703756 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12568 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 13:40:30 (client local time) WITH STATUS 10 IN 1189.03 SECONDS
stats: 19260 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/wulflinc31/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
Raw data (loadavg): 0.92 0.98 0.99 2/55 32212
Raw data (stat): 32212 (runsolver) R 32211 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 795969330 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 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.0008 s]
Raw data (loadavg): 0.93 0.98 0.99 3/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1222 0 0 0 991 6 0 0 25 0 1 0 795969330 10625024 1199 4294967295 134512640 134581331 3221221792 3221220704 134527355 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2594 1199 566 18 0 2576 0
vsize: 10376
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1368 0 0 0 1989 7 0 0 25 0 1 0 795969330 11284480 1345 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2755 1345 566 18 0 2737 0
vsize: 11020
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1435 0 0 0 2988 9 0 0 25 0 1 0 795969330 11550720 1412 4294967295 134512640 134581331 3221221792 3221220616 134528850 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2820 1412 566 18 0 2802 0
vsize: 11280
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1435 0 0 0 3987 10 0 0 25 0 1 0 795969330 11550720 1412 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2820 1412 566 18 0 2802 0
vsize: 11280
[startup+50.0015 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1435 0 0 0 4986 11 0 0 25 0 1 0 795969330 11550720 1412 4294967295 134512640 134581331 3221221792 3221220656 134528342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2820 1412 566 18 0 2802 0
vsize: 11280
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1491 0 0 0 5985 12 0 0 25 0 1 0 795969330 11800576 1468 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2881 1468 566 18 0 2863 0
vsize: 11524
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1577 0 0 0 6984 13 0 0 25 0 1 0 795969330 12058624 1554 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2944 1554 566 18 0 2926 0
vsize: 11776
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1577 0 0 0 7983 15 0 0 25 0 1 0 795969330 12058624 1554 4294967295 134512640 134581331 3221221792 3221220656 134528412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2944 1554 566 18 0 2926 0
vsize: 11776
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1577 0 0 0 8982 15 0 0 25 0 1 0 795969330 12058624 1554 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2944 1554 566 18 0 2926 0
vsize: 11776
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.99 3/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1577 0 0 0 9980 17 0 0 25 0 1 0 795969330 12058624 1554 4294967295 134512640 134581331 3221221792 3221220704 134527709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2944 1554 566 18 0 2926 0
vsize: 11776
[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1577 0 0 0 10979 19 0 0 25 0 1 0 795969330 12058624 1554 4294967295 134512640 134581331 3221221792 3221220656 134528272 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2944 1554 566 18 0 2926 0
vsize: 11776
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1577 0 0 0 11978 20 0 0 25 0 1 0 795969330 12058624 1554 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2944 1554 566 18 0 2926 0
vsize: 11776
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1715 0 0 0 12977 22 0 0 25 0 1 0 795969330 12701696 1692 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3101 1692 566 18 0 3083 0
vsize: 12404
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1799 0 0 0 13975 23 0 0 25 0 1 0 795969330 12959744 1776 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3164 1776 566 18 0 3146 0
vsize: 12656
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1799 0 0 0 14975 24 0 0 25 0 1 0 795969330 12959744 1776 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3164 1776 566 18 0 3146 0
vsize: 12656
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1805 0 0 0 15974 25 0 0 25 0 1 0 795969330 13090816 1782 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3196 1782 566 18 0 3178 0
vsize: 12784
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1821 0 0 0 16973 26 0 0 25 0 1 0 795969330 13090816 1798 4294967295 134512640 134581331 3221221792 3221220656 134528287 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3196 1798 566 18 0 3178 0
vsize: 12784
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1821 0 0 0 17971 28 0 0 25 0 1 0 795969330 13090816 1798 4294967295 134512640 134581331 3221221792 3221220656 134528270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3196 1798 566 18 0 3178 0
vsize: 12784
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1821 0 0 0 18971 28 0 0 25 0 1 0 795969330 13090816 1798 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3196 1798 566 18 0 3178 0
vsize: 12784
[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1821 0 0 0 19969 30 0 0 25 0 1 0 795969330 12972032 1781 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3167 1781 566 18 0 3149 0
vsize: 12668
[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1821 0 0 0 20967 33 0 0 25 0 1 0 795969330 12967936 1780 4294967295 134512640 134581331 3221221792 3221220656 134528270 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3166 1780 566 18 0 3148 0
vsize: 12664
[startup+220.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1821 0 0 0 21966 34 0 0 25 0 1 0 795969330 12963840 1779 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3165 1779 566 18 0 3147 0
vsize: 12660
[startup+230.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1821 0 0 0 22965 35 0 0 25 0 1 0 795969330 12959744 1778 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3164 1778 566 18 0 3146 0
vsize: 12656
[startup+240.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1821 0 0 0 23963 37 0 0 25 0 1 0 795969330 12959744 1778 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3164 1778 566 18 0 3146 0
vsize: 12656
[startup+250.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1821 0 0 0 24963 38 0 0 25 0 1 0 795969330 12959744 1778 4294967295 134512640 134581331 3221221792 3221220704 134527995 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3164 1778 566 18 0 3146 0
vsize: 12656
[startup+260.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 1821 0 0 0 25962 38 0 0 25 0 1 0 795969330 12959744 1778 4294967295 134512640 134581331 3221221792 3221220676 134557922 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3164 1778 566 18 0 3146 0
vsize: 12656
[startup+270.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2026 0 0 0 26961 39 0 0 25 0 1 0 795969330 13840384 1983 4294967295 134512640 134581331 3221221792 3221220656 134528336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3379 1983 566 18 0 3361 0
vsize: 13516
[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2026 0 0 0 27960 40 0 0 25 0 1 0 795969330 13840384 1983 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3379 1983 566 18 0 3361 0
vsize: 13516
[startup+290.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2062 0 0 0 28960 41 0 0 25 0 1 0 795969330 13971456 2019 4294967295 134512640 134581331 3221221792 3221220708 1075285556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3411 2019 566 18 0 3393 0
vsize: 13644
[startup+300.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2062 0 0 0 29959 42 0 0 25 0 1 0 795969330 13918208 2012 4294967295 134512640 134581331 3221221792 3221220704 134527416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3398 2012 566 18 0 3380 0
vsize: 13592
[startup+310.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2062 0 0 0 30958 44 0 0 25 0 1 0 795969330 13901824 2008 4294967295 134512640 134581331 3221221792 3221220704 134527683 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3394 2008 566 18 0 3376 0
vsize: 13576
[startup+320.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2062 0 0 0 31957 45 0 0 25 0 1 0 795969330 13901824 2008 4294967295 134512640 134581331 3221221792 3221220704 134528085 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3394 2008 566 18 0 3376 0
vsize: 13576
[startup+330.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2062 0 0 0 32955 46 0 0 25 0 1 0 795969330 13869056 2000 4294967295 134512640 134581331 3221221792 3221220704 134528031 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3386 2000 566 18 0 3368 0
vsize: 13544
[startup+340.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2062 0 0 0 33954 47 0 0 25 0 1 0 795969330 13860864 1998 4294967295 134512640 134581331 3221221792 3221220688 134517964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3384 1998 566 18 0 3366 0
vsize: 13536
[startup+350.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2062 0 0 0 34953 49 0 0 25 0 1 0 795969330 13856768 1997 4294967295 134512640 134581331 3221221792 3221220656 134528254 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3383 1997 566 18 0 3365 0
vsize: 13532
[startup+360.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2062 0 0 0 35952 50 0 0 25 0 1 0 795969330 13852672 1996 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3382 1996 566 18 0 3364 0
vsize: 13528
[startup+370.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2168 0 0 0 36951 51 0 0 25 0 1 0 795969330 14348288 2102 4294967295 134512640 134581331 3221221792 3221220688 134517993 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3503 2102 566 18 0 3485 0
vsize: 14012
[startup+380.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2209 0 0 0 37951 52 0 0 25 0 1 0 795969330 14483456 2143 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3536 2143 566 18 0 3518 0
vsize: 14144
[startup+390.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2241 0 0 0 38950 53 0 0 25 0 1 0 795969330 14618624 2175 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2175 566 18 0 3551 0
vsize: 14276
[startup+400.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2241 0 0 0 39950 53 0 0 25 0 1 0 795969330 14618624 2175 4294967295 134512640 134581331 3221221792 3221220392 1075289785 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2175 566 18 0 3551 0
vsize: 14276
[startup+410.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2241 0 0 0 40949 54 0 0 25 0 1 0 795969330 14618624 2175 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2175 566 18 0 3551 0
vsize: 14276
[startup+420.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2241 0 0 0 41949 54 0 0 25 0 1 0 795969330 14618624 2175 4294967295 134512640 134581331 3221221792 3221220656 134528503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2175 566 18 0 3551 0
vsize: 14276
[startup+430.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2241 0 0 0 42948 55 0 0 25 0 1 0 795969330 14618624 2175 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2175 566 18 0 3551 0
vsize: 14276
[startup+440.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2241 0 0 0 43947 56 0 0 25 0 1 0 795969330 14618624 2175 4294967295 134512640 134581331 3221221792 3221220736 134558965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2175 566 18 0 3551 0
vsize: 14276
[startup+450.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2241 0 0 0 44946 57 0 0 25 0 1 0 795969330 14618624 2175 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2175 566 18 0 3551 0
vsize: 14276
[startup+460.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2241 0 0 0 45946 58 0 0 25 0 1 0 795969330 14618624 2175 4294967295 134512640 134581331 3221221792 3221220704 134531401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2175 566 18 0 3551 0
vsize: 14276
[startup+470.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2241 0 0 0 46946 59 0 0 25 0 1 0 795969330 14618624 2175 4294967295 134512640 134581331 3221221792 3221220488 1075291632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2175 566 18 0 3551 0
vsize: 14276
[startup+480.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2241 0 0 0 47945 59 0 0 25 0 1 0 795969330 14618624 2175 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2175 566 18 0 3551 0
vsize: 14276
[startup+490.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 48944 60 0 0 25 0 1 0 795969330 14880768 2233 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3633 2233 566 18 0 3615 0
vsize: 14532
[startup+500.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 49944 61 0 0 25 0 1 0 795969330 14880768 2233 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3633 2233 566 18 0 3615 0
vsize: 14532
[startup+510.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 50944 61 0 0 25 0 1 0 795969330 14708736 2205 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3591 2205 566 18 0 3573 0
vsize: 14364
[startup+520.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 51943 62 0 0 25 0 1 0 795969330 14700544 2203 4294967295 134512640 134581331 3221221792 3221220704 134527772 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3589 2203 566 18 0 3571 0
vsize: 14356
[startup+530.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 52943 63 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220704 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+540.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 53942 63 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+550.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 54942 64 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220656 134528323 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+560.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 55941 64 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+570.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 56941 65 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+580.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 57940 66 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+590.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 58940 67 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+600.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 59940 67 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+610.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 60939 67 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+620.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 61939 68 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+630.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 62939 68 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220688 134517897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+640.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 63938 69 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+650.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 64938 70 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+660.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 65937 71 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+670.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 66936 71 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+680.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 67936 72 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220656 134528347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+690.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 68935 73 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+700.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 69934 74 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+710.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 70933 75 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220656 134528342 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+720.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 71933 76 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+730.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 72932 76 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+740.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 73932 77 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+750.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 74932 77 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220704 134527783 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+760.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 75931 78 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+770.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 76931 79 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220656 134528254 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+780.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 77931 79 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+790.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 78930 79 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+800.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 79930 80 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+810.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 80930 80 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220704 134527980 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+820.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 81929 81 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+830.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 82928 82 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220656 134528358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+840.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 83928 82 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220672 134520304 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+850.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 84928 83 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+860.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2299 0 0 0 85926 85 0 0 25 0 1 0 795969330 14696448 2202 4294967295 134512640 134581331 3221221792 3221220704 134527778 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2202 566 18 0 3570 0
vsize: 14352
[startup+870.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2300 0 0 0 86924 87 0 0 25 0 1 0 795969330 14696448 2203 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2203 566 18 0 3570 0
vsize: 14352
[startup+880.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2300 0 0 0 87923 88 0 0 25 0 1 0 795969330 14696448 2203 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2203 566 18 0 3570 0
vsize: 14352
[startup+890.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2300 0 0 0 88920 91 0 0 25 0 1 0 795969330 14696448 2203 4294967295 134512640 134581331 3221221792 3221220704 134527636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2203 566 18 0 3570 0
vsize: 14352
[startup+900.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2300 0 0 0 89918 94 0 0 25 0 1 0 795969330 14696448 2203 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2203 566 18 0 3570 0
vsize: 14352
[startup+910.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2300 0 0 0 90916 97 0 0 25 0 1 0 795969330 14696448 2203 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2203 566 18 0 3570 0
vsize: 14352
[startup+920.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2300 0 0 0 91915 98 0 0 25 0 1 0 795969330 14696448 2203 4294967295 134512640 134581331 3221221792 3221220736 134558859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2203 566 18 0 3570 0
vsize: 14352
[startup+930.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2300 0 0 0 92914 99 0 0 25 0 1 0 795969330 14696448 2203 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2203 566 18 0 3570 0
vsize: 14352
[startup+940.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2300 0 0 0 93913 100 0 0 25 0 1 0 795969330 14696448 2203 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2203 566 18 0 3570 0
vsize: 14352
[startup+950.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2300 0 0 0 94912 101 0 0 25 0 1 0 795969330 14696448 2203 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2203 566 18 0 3570 0
vsize: 14352
[startup+960.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2300 0 0 0 95912 103 0 0 25 0 1 0 795969330 14696448 2203 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2203 566 18 0 3570 0
vsize: 14352
[startup+970.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2300 0 0 0 96911 103 0 0 25 0 1 0 795969330 14696448 2203 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2203 566 18 0 3570 0
vsize: 14352
[startup+980.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2351 0 0 0 97911 104 0 0 25 0 1 0 795969330 14954496 2254 4294967295 134512640 134581331 3221221792 3221220656 134528270 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3651 2254 566 18 0 3633 0
vsize: 14604
[startup+990.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2390 0 0 0 98910 104 0 0 25 0 1 0 795969330 15085568 2293 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3683 2293 566 18 0 3665 0
vsize: 14732
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2390 0 0 0 99910 105 0 0 25 0 1 0 795969330 15085568 2293 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3683 2293 566 18 0 3665 0
vsize: 14732
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2461 0 0 0 100909 105 0 0 25 0 1 0 795969330 15482880 2364 4294967295 134512640 134581331 3221221792 3221220612 134528700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3780 2364 566 18 0 3762 0
vsize: 15120
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2461 0 0 0 101908 107 0 0 25 0 1 0 795969330 15474688 2364 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3778 2364 566 18 0 3760 0
vsize: 15112
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2461 0 0 0 102906 109 0 0 25 0 1 0 795969330 15454208 2364 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3773 2364 566 18 0 3755 0
vsize: 15092
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2461 0 0 0 103905 111 0 0 25 0 1 0 795969330 15147008 2313 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3698 2313 566 18 0 3680 0
vsize: 14792
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2461 0 0 0 104904 112 0 0 25 0 1 0 795969330 15147008 2313 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3698 2313 566 18 0 3680 0
vsize: 14792
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2461 0 0 0 105903 113 0 0 25 0 1 0 795969330 15147008 2313 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3698 2313 566 18 0 3680 0
vsize: 14792
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2461 0 0 0 106902 114 0 0 25 0 1 0 795969330 15147008 2313 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3698 2313 566 18 0 3680 0
vsize: 14792
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2461 0 0 0 107901 115 0 0 25 0 1 0 795969330 15147008 2313 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3698 2313 566 18 0 3680 0
vsize: 14792
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2483 0 0 0 108900 116 0 0 25 0 1 0 795969330 15269888 2335 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3728 2335 566 18 0 3710 0
vsize: 14912
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2483 0 0 0 109900 117 0 0 25 0 1 0 795969330 15253504 2335 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3724 2335 566 18 0 3706 0
vsize: 14896
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2483 0 0 0 110900 117 0 0 25 0 1 0 795969330 15171584 2319 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3704 2319 566 18 0 3686 0
vsize: 14816
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2483 0 0 0 111899 118 0 0 25 0 1 0 795969330 15167488 2318 4294967295 134512640 134581331 3221221792 3221220704 134527636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2318 566 18 0 3685 0
vsize: 14812
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2483 0 0 0 112899 118 0 0 25 0 1 0 795969330 15167488 2318 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2318 566 18 0 3685 0
vsize: 14812
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2483 0 0 0 113898 119 0 0 25 0 1 0 795969330 15167488 2318 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2318 566 18 0 3685 0
vsize: 14812
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2483 0 0 0 114898 119 0 0 25 0 1 0 795969330 15167488 2318 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2318 566 18 0 3685 0
vsize: 14812
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2483 0 0 0 115898 120 0 0 25 0 1 0 795969330 15167488 2318 4294967295 134512640 134581331 3221221792 3221220784 134560879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2318 566 18 0 3685 0
vsize: 14812
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2483 0 0 0 116897 121 0 0 25 0 1 0 795969330 15167488 2318 4294967295 134512640 134581331 3221221792 3221220656 134528316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2318 566 18 0 3685 0
vsize: 14812
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2483 0 0 0 117897 121 0 0 25 0 1 0 795969330 15167488 2318 4294967295 134512640 134581331 3221221792 3221220656 134528270 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2318 566 18 0 3685 0
vsize: 14812
[startup+1188.89 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 32212
Raw data (stat): 32212 (Pueblo) R 32211 7876 7672 0 -1 0 2483 0 0 0 117897 121 0 0 25 0 1 0 795969330 15167488 2318 4294967295 134512640 134581331 3221221792 3221220656 134528270 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2318 566 18 0 3685 0
vsize: 0

Child status: 10
Real time (s): 1188.89
CPU time (s): 1189.03
CPU user time (s): 1187.8
CPU system time (s): 1.22981
CPU usage (%): 100.012
Max. virtual memory (Kb): 15120
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	493056
#### END VERIFIER DATA ####