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-ran10x12.opb
MD5SUM	ddd1f838c1e3a248aad1987162b1d40d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	656964
Optimality of the best value was proved	NO
Number of terms in the objective function	2520
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	666682247
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	666682247
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	1175.04
Number of variables	2520
Total number of constraints	142
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	142
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 26895

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-24 17:49:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19234 boxname=wulflinc22 idbench=1480 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  ddd1f838c1e3a248aad1987162b1d40d  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-ran10x12.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-ran10x12.opb
IDLAUNCH: 19234
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        863080 kB
Buffers:         36168 kB
Cached:         101912 kB
SwapCached:      12200 kB
Active:          64196 kB
Inactive:        88276 kB
HighTotal:      131008 kB
HighFree:        28644 kB
LowTotal:       903652 kB
LowFree:        834436 kB
SwapTotal:     2097892 kB
SwapFree:      2085472 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            13660 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:09:07 (client local time) WITH STATUS 10 IN 1189.03 SECONDS
stats: 19234 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/wulflinc22/normalized-mps-v2-13-7-ran10x12.opb
c #variables read: 2520 - #constraints read: 165
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 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 
#### 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.97 0.97 2/54 25260
Raw data (stat): 25260 (runsolver) R 25259 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832163837 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 1316 0 0 0 995 4 0 0 25 0 1 0 832163837 11071488 1294 4294967295 134512640 134581331 3221224592 3221223504 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2703 1294 566 18 0 2685 0
vsize: 10812
[startup+20.0033 s]
Raw data (loadavg): 0.94 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 1317 0 0 0 1994 5 0 0 25 0 1 0 832163837 11071488 1295 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2703 1295 566 18 0 2685 0
vsize: 10812
[startup+30.0036 s]
Raw data (loadavg): 0.95 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 1572 0 0 0 2992 7 0 0 25 0 1 0 832163837 12095488 1550 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2953 1550 566 18 0 2935 0
vsize: 11812
[startup+40.0041 s]
Raw data (loadavg): 0.96 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 1680 0 0 0 3992 8 0 0 25 0 1 0 832163837 12587008 1658 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3073 1658 566 18 0 3055 0
vsize: 12292
[startup+50.0041 s]
Raw data (loadavg): 0.96 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2107 0 0 0 4991 9 0 0 25 0 1 0 832163837 14282752 2085 4294967295 134512640 134581331 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3487 2085 566 18 0 3469 0
vsize: 13948
[startup+60.0048 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2126 0 0 0 5990 10 0 0 25 0 1 0 832163837 14413824 2104 4294967295 134512640 134581331 3221224592 3221223504 134527678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3519 2104 566 18 0 3501 0
vsize: 14076
[startup+70.0052 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 6990 10 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+80.0055 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 7989 11 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+90.0059 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 8989 11 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 9989 12 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 10988 13 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 11988 13 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223488 134517912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 12988 14 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 13988 14 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223504 134527678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 14987 15 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223504 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 15987 15 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 16986 16 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 17985 17 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223456 134528272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 18985 18 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223456 134528270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 19985 18 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223456 134560296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 20984 19 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 21983 20 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 22982 21 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 23981 23 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 24980 24 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223456 134528325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 25979 25 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 26978 26 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 27978 27 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223456 134528248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 28977 28 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 29976 29 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 30974 30 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 31974 31 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 32973 32 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223504 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 33973 32 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 34973 32 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2228 0 0 0 35972 34 0 0 25 0 1 0 832163837 14798848 2206 4294967295 134512640 134581331 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2206 566 18 0 3595 0
vsize: 14452
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2258 0 0 0 36972 34 0 0 25 0 1 0 832163837 14934016 2236 4294967295 134512640 134581331 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3646 2236 566 18 0 3628 0
vsize: 14584
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2268 0 0 0 37970 36 0 0 25 0 1 0 832163837 14934016 2246 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3646 2246 566 18 0 3628 0
vsize: 14584
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2303 0 0 0 38970 36 0 0 25 0 1 0 832163837 15069184 2281 4294967295 134512640 134581331 3221224592 3221223504 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2281 566 18 0 3661 0
vsize: 14716
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2303 0 0 0 39970 37 0 0 25 0 1 0 832163837 15069184 2281 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2281 566 18 0 3661 0
vsize: 14716
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2303 0 0 0 40969 38 0 0 25 0 1 0 832163837 15069184 2281 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2281 566 18 0 3661 0
vsize: 14716
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2303 0 0 0 41969 38 0 0 25 0 1 0 832163837 15069184 2281 4294967295 134512640 134581331 3221224592 3221223504 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2281 566 18 0 3661 0
vsize: 14716
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2303 0 0 0 42968 39 0 0 25 0 1 0 832163837 15069184 2281 4294967295 134512640 134581331 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2281 566 18 0 3661 0
vsize: 14716
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2303 0 0 0 43967 40 0 0 25 0 1 0 832163837 15069184 2281 4294967295 134512640 134581331 3221224592 3221223504 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2281 566 18 0 3661 0
vsize: 14716
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2303 0 0 0 44967 41 0 0 25 0 1 0 832163837 15069184 2281 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2281 566 18 0 3661 0
vsize: 14716
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2303 0 0 0 45967 41 0 0 25 0 1 0 832163837 15069184 2281 4294967295 134512640 134581331 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2281 566 18 0 3661 0
vsize: 14716
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2303 0 0 0 46967 41 0 0 25 0 1 0 832163837 15069184 2281 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2281 566 18 0 3661 0
vsize: 14716
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2303 0 0 0 47966 42 0 0 25 0 1 0 832163837 15069184 2281 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2281 566 18 0 3661 0
vsize: 14716
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2303 0 0 0 48965 43 0 0 25 0 1 0 832163837 15069184 2281 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2281 566 18 0 3661 0
vsize: 14716
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2303 0 0 0 49965 43 0 0 25 0 1 0 832163837 15069184 2281 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2281 566 18 0 3661 0
vsize: 14716
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2303 0 0 0 50964 44 0 0 25 0 1 0 832163837 15069184 2281 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2281 566 18 0 3661 0
vsize: 14716
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2303 0 0 0 51964 45 0 0 25 0 1 0 832163837 15069184 2281 4294967295 134512640 134581331 3221224592 3221223456 134528254 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2281 566 18 0 3661 0
vsize: 14716
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2303 0 0 0 52964 45 0 0 25 0 1 0 832163837 15069184 2281 4294967295 134512640 134581331 3221224592 3221223456 134560320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2281 566 18 0 3661 0
vsize: 14716
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2303 0 0 0 53963 46 0 0 25 0 1 0 832163837 15069184 2281 4294967295 134512640 134581331 3221224592 3221223504 134528085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2281 566 18 0 3661 0
vsize: 14716
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2303 0 0 0 54963 47 0 0 25 0 1 0 832163837 15069184 2281 4294967295 134512640 134581331 3221224592 3221223584 134560775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2281 566 18 0 3661 0
vsize: 14716
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2303 0 0 0 55962 48 0 0 25 0 1 0 832163837 15069184 2281 4294967295 134512640 134581331 3221224592 3221223456 134528323 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2281 566 18 0 3661 0
vsize: 14716
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2303 0 0 0 56961 49 0 0 25 0 1 0 832163837 15069184 2281 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2281 566 18 0 3661 0
vsize: 14716
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2303 0 0 0 57960 49 0 0 25 0 1 0 832163837 15069184 2281 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3679 2281 566 18 0 3661 0
vsize: 14716
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2357 0 0 0 58960 50 0 0 25 0 1 0 832163837 15335424 2335 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3744 2335 566 18 0 3726 0
vsize: 14976
[startup+600.014 s]
Raw data (loadavg): 1.07 0.99 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 59959 51 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+610.015 s]
Raw data (loadavg): 1.06 0.99 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 60959 52 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223456 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+620.015 s]
Raw data (loadavg): 1.05 0.99 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 61958 52 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+630.015 s]
Raw data (loadavg): 1.04 0.99 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 62958 53 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223504 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+640.016 s]
Raw data (loadavg): 1.03 0.99 0.97 2/54 25260
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 63957 54 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223488 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+650.016 s]
Raw data (loadavg): 1.27 1.04 0.99 2/54 25313
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 64957 54 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+660.017 s]
Raw data (loadavg): 1.23 1.04 0.99 2/54 25313
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 65956 56 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+670.017 s]
Raw data (loadavg): 1.19 1.03 0.99 2/54 25313
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 66955 57 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223488 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+680.017 s]
Raw data (loadavg): 1.16 1.03 0.99 2/54 25313
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 67954 58 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223456 134528350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+690.018 s]
Raw data (loadavg): 1.14 1.03 0.99 2/54 25313
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 68953 58 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223536 134559269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+700.019 s]
Raw data (loadavg): 1.11 1.03 0.99 2/54 25313
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 69953 59 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223376 134528763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+710.019 s]
Raw data (loadavg): 1.10 1.03 0.99 2/54 25313
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 70952 61 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223456 134528334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+720.019 s]
Raw data (loadavg): 1.15 1.04 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 71951 62 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+730.019 s]
Raw data (loadavg): 1.13 1.04 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 72950 63 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223584 134560775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+740.02 s]
Raw data (loadavg): 1.11 1.04 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 73949 64 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+750.019 s]
Raw data (loadavg): 1.09 1.04 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 74949 64 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223472 134520448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+760.02 s]
Raw data (loadavg): 1.08 1.03 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 75947 66 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223456 134528254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+770.02 s]
Raw data (loadavg): 1.07 1.03 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 76947 67 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223456 134528267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+780.02 s]
Raw data (loadavg): 1.06 1.03 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 77946 67 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223504 134527964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+790.021 s]
Raw data (loadavg): 1.05 1.03 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 78946 68 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+800.021 s]
Raw data (loadavg): 1.04 1.03 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 79946 69 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+810.021 s]
Raw data (loadavg): 1.03 1.03 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 80945 69 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+820.021 s]
Raw data (loadavg): 1.03 1.03 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 81945 70 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+830.021 s]
Raw data (loadavg): 1.02 1.02 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2390 0 0 0 82944 70 0 0 25 0 1 0 832163837 15470592 2368 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3777 2368 566 18 0 3759 0
vsize: 15108
[startup+840.021 s]
Raw data (loadavg): 1.02 1.02 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2440 0 0 0 83944 71 0 0 25 0 1 0 832163837 15740928 2418 4294967295 134512640 134581331 3221224592 3221223560 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3843 2418 566 18 0 3825 0
vsize: 15372
[startup+850.021 s]
Raw data (loadavg): 1.02 1.02 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2582 0 0 0 84943 72 0 0 25 0 1 0 832163837 16236544 2560 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 2560 566 18 0 3946 0
vsize: 15856
[startup+860.022 s]
Raw data (loadavg): 1.01 1.02 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2582 0 0 0 85943 72 0 0 25 0 1 0 832163837 16236544 2560 4294967295 134512640 134581331 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 2560 566 18 0 3946 0
vsize: 15856
[startup+870.023 s]
Raw data (loadavg): 1.01 1.02 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2627 0 0 0 86943 72 0 0 25 0 1 0 832163837 16470016 2605 4294967295 134512640 134581331 3221224592 3221223520 134519956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4021 2605 566 18 0 4003 0
vsize: 16084
[startup+880.022 s]
Raw data (loadavg): 1.01 1.02 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2667 0 0 0 87943 73 0 0 25 0 1 0 832163837 16592896 2645 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4051 2645 566 18 0 4033 0
vsize: 16204
[startup+890.023 s]
Raw data (loadavg): 1.01 1.02 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 88943 73 0 0 25 0 1 0 832163837 16711680 2678 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4080 2678 566 18 0 4062 0
vsize: 16320
[startup+900.023 s]
Raw data (loadavg): 1.00 1.02 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 89942 74 0 0 25 0 1 0 832163837 16711680 2678 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4080 2678 566 18 0 4062 0
vsize: 16320
[startup+910.023 s]
Raw data (loadavg): 1.00 1.02 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 90942 74 0 0 25 0 1 0 832163837 16711680 2678 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4080 2678 566 18 0 4062 0
vsize: 16320
[startup+920.023 s]
Raw data (loadavg): 1.00 1.02 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 91942 74 0 0 25 0 1 0 832163837 16711680 2678 4294967295 134512640 134581331 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4080 2678 566 18 0 4062 0
vsize: 16320
[startup+930.023 s]
Raw data (loadavg): 1.00 1.02 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 92942 75 0 0 25 0 1 0 832163837 16711680 2678 4294967295 134512640 134581331 3221224592 3221223456 134528342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4080 2678 566 18 0 4062 0
vsize: 16320
[startup+940.024 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 93942 75 0 0 25 0 1 0 832163837 16711680 2678 4294967295 134512640 134581331 3221224592 3221223504 134527778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4080 2678 566 18 0 4062 0
vsize: 16320
[startup+950.023 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 94941 76 0 0 25 0 1 0 832163837 16711680 2678 4294967295 134512640 134581331 3221224592 3221223456 134528270 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4080 2678 566 18 0 4062 0
vsize: 16320
[startup+960.024 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 95942 76 0 0 25 0 1 0 832163837 16707584 2678 4294967295 134512640 134581331 3221224592 3221223504 134527554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4079 2678 566 18 0 4061 0
vsize: 16316
[startup+970.025 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 96942 76 0 0 25 0 1 0 832163837 16699392 2678 4294967295 134512640 134581331 3221224592 3221223456 134528503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4077 2678 566 18 0 4059 0
vsize: 16308
[startup+980.025 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 25315
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 97942 76 0 0 25 0 1 0 832163837 16666624 2674 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4069 2674 566 18 0 4051 0
vsize: 16276
[startup+990.025 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 25317
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 98942 76 0 0 25 0 1 0 832163837 16666624 2674 4294967295 134512640 134581331 3221224592 3221223504 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4069 2674 566 18 0 4051 0
vsize: 16276
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 25317
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 99942 76 0 0 25 0 1 0 832163837 16658432 2672 4294967295 134512640 134581331 3221224592 3221223504 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4067 2672 566 18 0 4049 0
vsize: 16268
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 25317
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 100942 76 0 0 25 0 1 0 832163837 16658432 2672 4294967295 134512640 134581331 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4067 2672 566 18 0 4049 0
vsize: 16268
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 25317
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 101942 77 0 0 25 0 1 0 832163837 16658432 2672 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4067 2672 566 18 0 4049 0
vsize: 16268
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.01 0.99 2/54 25317
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 102941 77 0 0 25 0 1 0 832163837 16658432 2672 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4067 2672 566 18 0 4049 0
vsize: 16268
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25317
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 103941 77 0 0 25 0 1 0 832163837 16658432 2672 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4067 2672 566 18 0 4049 0
vsize: 16268
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25317
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 104941 78 0 0 25 0 1 0 832163837 16658432 2672 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4067 2672 566 18 0 4049 0
vsize: 16268
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25317
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 105941 78 0 0 25 0 1 0 832163837 16658432 2672 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4067 2672 566 18 0 4049 0
vsize: 16268
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25317
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 106942 78 0 0 25 0 1 0 832163837 16658432 2672 4294967295 134512640 134581331 3221224592 3221223504 134527964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4067 2672 566 18 0 4049 0
vsize: 16268
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25317
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 107942 78 0 0 25 0 1 0 832163837 16658432 2672 4294967295 134512640 134581331 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4067 2672 566 18 0 4049 0
vsize: 16268
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25317
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 108942 78 0 0 25 0 1 0 832163837 16658432 2672 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4067 2672 566 18 0 4049 0
vsize: 16268
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25317
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 109942 78 0 0 25 0 1 0 832163837 16658432 2672 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4067 2672 566 18 0 4049 0
vsize: 16268
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25317
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 110942 78 0 0 25 0 1 0 832163837 16658432 2672 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4067 2672 566 18 0 4049 0
vsize: 16268
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25317
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 111942 78 0 0 25 0 1 0 832163837 16658432 2672 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4067 2672 566 18 0 4049 0
vsize: 16268
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25317
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 112942 78 0 0 25 0 1 0 832163837 16658432 2672 4294967295 134512640 134581331 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4067 2672 566 18 0 4049 0
vsize: 16268
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25317
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 113942 79 0 0 25 0 1 0 832163837 16658432 2672 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4067 2672 566 18 0 4049 0
vsize: 16268
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25317
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 114942 79 0 0 25 0 1 0 832163837 16658432 2672 4294967295 134512640 134581331 3221224592 3221223504 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4067 2672 566 18 0 4049 0
vsize: 16268
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25317
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2700 0 0 0 115942 79 0 0 25 0 1 0 832163837 16658432 2672 4294967295 134512640 134581331 3221224592 3221223504 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4067 2672 566 18 0 4049 0
vsize: 16268
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25317
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2791 0 0 0 116942 79 0 0 25 0 1 0 832163837 17043456 2763 4294967295 134512640 134581331 3221224592 3221223504 134527769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4161 2763 566 18 0 4143 0
vsize: 16644
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25317
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2791 0 0 0 117942 80 0 0 25 0 1 0 832163837 17043456 2763 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4161 2763 566 18 0 4143 0
vsize: 16644
[startup+1188.84 s]
Raw data (loadavg): 1.00 1.00 0.99 1/53 25317
Raw data (stat): 25260 (Pueblo) R 25259 23310 23309 0 -1 0 2791 0 0 0 117942 80 0 0 25 0 1 0 832163837 17043456 2763 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4161 2763 566 18 0 4143 0
vsize: 0

Child status: 10
Real time (s): 1188.84
CPU time (s): 1189.03
CPU user time (s): 1188.22
CPU system time (s): 0.808877
CPU usage (%): 100.016
Max. virtual memory (Kb): 16644
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	987768
#### END VERIFIER DATA ####