PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08a.opb
MD5SUM	962e64054cef66ff1ace4918a032c24a
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1983976
Optimality of the best value was proved	NO
Number of terms in the objective function	2304
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	178464600
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	178464600
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	3584
Total number of constraints	200
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	64
Number of constraints which are nor clauses,nor cardinality constraints	136
Minimum length of a constraint	1
Maximum length of a constraint	160
Trace number 27216

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-24 20:11:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17921 boxname=wulflinc5 idbench=1379 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  962e64054cef66ff1ace4918a032c24a  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-pp08a.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-pp08a.opb
IDLAUNCH: 17921
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        742832 kB
Buffers:           444 kB
Cached:         270376 kB
SwapCached:        636 kB
Active:          23892 kB
Inactive:       249532 kB
HighTotal:      131008 kB
HighFree:        10220 kB
LowTotal:       903652 kB
LowFree:        732612 kB
SwapTotal:     2097136 kB
SwapFree:      2096136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5740 kB
Slab:            12660 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 20:31:05 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 17921 0 1189.02 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/wulflinc5/normalized-mps-v2-13-7-pp08a.opb
c #variables read: 3584 - #constraints read: 265
s SATISFIABLE
v -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 x177_bit0 x178_bit0 x179_bit0 x180_bit0 x181_bit0 x182_bit0 x183_bit0 x184_bit0 x185_bit0 x186_bit0 x187_bit0 x188_bit0 x189_bit0 x190_bit0 -x191_bit0 x192_bit0 x193_bit0 -x194_bit0 -x195_bit0 x196_bit0 x197_bit0 x198_bit0 x199_bit0 -x200_bit0 -x201_bit0 x202_bit0 x203_bit0 x204_bit0 x205_bit0 x206_bit0 x207_bit0 x208_bit0 x209_bit0 -x210_bit0 x211_bit0 x212_bit0 x213_bit0 x214_bit0 -x215_bit0 -x216_bit0 x217_bit0 x218_bit0 x219_bit0 x220_bit0 x221_bit0 x222_bit0 x223_bit0 x224_bit0 x225_bit0 x226_bit0 x227_bit0 -x228_bit0 x229_bit0 x230_bit0 x231_bit0 x232_bit0 x233_bit0 x234_bit0 -x235_bit0 -x236_bit0 x237_bit0 x238_bit0 -x239_bit0 x240_bit0 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 -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 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 x144_bit_7 -x144_bit_6 -x144_bit_5 x144_bit_4 x144_bit_3 x144_bit_2 -x144_bit_1 x144_bit0 x144_bit1 -x144_bit2 -x144_bit3 x144_bit4 x144_bit5 x144_bit6 -x144_bit7 -x144_bit8 -x144_bit9 -x144_bit10 -x144_bit11 -x144_bit12 -x145_bit_7 -x145_bit_6 -x145_bit_5 -x145_bit_4 -x145_bit_3 -x145_bit_2 -x145_bit_1 -x145_bit0 x145_bit1 x145_bit2 x145_bit3 x145_bit4 -x145_bit5 -x145_bit6 -x145_bit7 -x145_bit8 -x145_bit9 -x145_bit10 -x145_bit11 -x145_bit12 -x146_bit_7 -x146_bit_6 -x146_bit_5 -x146_bit_4 -x146_bit_3 -x146_bit_2 -x146_bit_1 -x146_bit0 -x146_bit1 -x146_bit2 -x146_bit3 -x146_bit4 -x146_bit5 -x146_bit6 -x146_bit7 -x146_bit8 -x146_bit9 -x146_bit10 -x146_bit11 -x146_bit12 -x147_bit_7 -x147_bit_6 -x147_bit_5 x147_bit_4 -x147_bit_3 -x147_bit_2 -x147_bit_1 -x147_bit0 -x147_bit1 -x147_bit2 -x147_bit3 x147_bit4 x147_bit5 -x147_bit6 -x147_bit7 -x147_bit8 -x147_bit9 -x147_bit10 -x147_bit11 -x147_bit12 x148_bit_7 -x148_bit_6 -x148_bit_5 x148_bit_4 x148_bit_3 x148_bit_2 -x148_bit_1 x148_bit0 x148_bit1 x148_bit2 x148_bit3 x148_bit4 -x148_bit5 -x148_bit6 -x148_bit7 -x148_bit8 -x148_bit9 -x148_bit10 -x148_bit11 -x148_bit12 -x149_bit_7 -x149_bit_6 -x149_bit_5 -x149_bit_4 -x149_bit_3 -x149_bit_2 x149_bit_1 -x149_bit0 x149_bit1 -x149_bit2 x149_bit3 -x149_bit4 -x149_bit5 -x149_bit6 -x149_bit7 -x149_bit8 -x149_bit9 -x149_bit10 -x149_bit11 -x149_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 x150_bit_7 x150_bit_6 x150_bit_5 x150_bit_4 x150_bit_3 x150_bit_2 x150_bit_1 x150_bit0 x150_bit1 x150_bit2 -x150_bit3 -x150_bit4 x150_bit5 -x150_bit6 -x150_bit7 -x150_bit8 -x150_bit9 -x150_bit10 -x150_bit11 -x150_bit12 -x151_bit_7 -x151_bit_6 -x151_bit_5 -x151_bit_4 -x151_bit_3 -x151_bit_2 -x151_bit_1 -x151_bit0 -x151_bit1 -x151_bit2 -x151_bit3 -x151_bit4 -x151_bit5 -x151_bit6 -x151_bit7 -x151_bit8 -x151_bit9 -x151_bit10 -x151_bit11 -x151_bit12 -x152_bit_7 -x152_bit_6 -x152_bit_5 -x152_bit_4 -x152_bit_3 -x152_bit_2 -x152_bit_1 -x152_bit0 -x152_bit1 -x152_bit2 -x152_bit3 -x152_bit4 -x152_bit5 -x152_bit6 -x152_bit7 -x152_bit8 -x152_bit9 -x152_bit10 -x152_bit11 -x152_bit12 -x153_bit_7 x153_bit_6 x153_bit_5 x153_bit_4 -x153_bit_3 x153_bit_2 x153_bit_1 x153_bit0 -x153_bit1 x153_bit2 -x153_bit3 -x153_bit4 -x153_bit5 x153_bit6 -x153_bit7 -x153_bit8 -x153_bit9 -x153_bit10 -x153_bit11 -x153_bit12 -x154_bit_7 x154_bit_6 -x154_bit_5 -x154_bit_4 x154_bit_3 -x154_bit_2 -x154_bit_1 -x154_bit0 -x154_bit1 -x154_bit2 x154_bit3 -x154_bit4 x154_bit5 -x154_bit6 -x154_bit7 -x154_bit8 -x154_bit9 -x154_bit10 -x154_bit11 -x154_bit12 -x155_bit_7 -x155_bit_6 -x155_bit_5 -x155_bit_4 -x155_bit_3 -x155_bit_2 -x155_bit_1 -x155_bit0 -x155_bit1 -x155_bit2 x155_bit3 -x155_bit4 x155_bit5 -x155_bit6 -x155_bit7 -x155_bit8 -x155_bit9 -x155_bit10 -x155_bit11 -x155_bit12 -x156_bit_7 -x156_bit_6 -x156_bit_5 -x156_bit_4 -x156_bit_3 -x156_bit_2 -x156_bit_1 -x156_bit0 -x156_bit1 -x156_bit2 x156_bit3 -x156_bit4 x156_bit5 -x156_bit6 -x156_bit7 -x156_bit8 -x156_bit9 -x156_bit10 -x156_bit11 -x156_bit12 x157_bit_7 -x157_bit_6 -x157_bit_5 -x157_bit_4 -x157_bit_3 -x157_bit_2 -x157_bit_1 -x157_bit0 -x157_bit1 -x157_bit2 -x157_bit3 -x157_bit4 -x157_bit5 -x157_bit6 x157_bit7 -x157_bit8 -x157_bit9 -x157_bit10 -x157_bit11 -x157_bit12 x158_bit_7 x158_bit_6 x158_bit_5 x158_bit_4 x158_bit_3 x158_bit_2 x158_bit_1 -x158_bit0 -x158_bit1 -x158_bit2 -x158_bit3 -x158_bit4 -x158_bit5 -x158_bit6 -x158_bit7 -x158_bit8 -x158_bit9 -x158_bit10 -x158_bit11 -x158_bit12 -x159_bit_7 -x159_bit_6 x159_bit_5 -x159_bit_4 -x159_bit_3 -x159_bit_2 -x159_bit_1 x159_bit0 x159_bit1 x159_bit2 x159_bit3 x159_bit4 -x159_bit5 -x159_bit6 -x159_bit7 -x159_bit8 -x159_bit9 -x159_bit10 -x159_bit11 -x159_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 -x160_bit_7 -x160_bit_6 x160_bit_5 x160_bit_4 x160_bit_3 x160_bit_2 x160_bit_1 x160_bit0 -x160_bit1 -x160_bit2 -x160_bit3 x160_bit4 x160_bit5 -x160_bit6 -x160_bit7 -x160_bit8 -x160_bit9 -x160_bit10 -x160_bit11 -x160_bit12 -x161_bit_7 -x161_bit_6 x161_bit_5 x161_bit_4 -x161_bit_3 x161_bit_2 -x161_bit_1 -x161_bit0 x161_bit1 -x161_bit2 x161_bit3 -x161_bit4 -x161_bit5 -x161_bit6 -x161_bit7 -x161_bit8 -x161_bit9 -x161_bit10 -x161_bit11 -x161_bit12 x162_bit_7 x162_bit_6 x162_bit_5 x162_bit_4 x162_bit_3 -x162_bit_2 x162_bit_1 x162_bit0 x162_bit1 x162_bit2 -x162_bit3 -x162_bit4 -x162_bit5 -x162_bit6 -x162_bit7 -x162_bit8 -x162_bit9 -x162_bit10 -x162_bit11 -x162_bit12 x163_bit_7 x163_bit_6 x163_bit_5 x163_bit_4 x163_bit_3 x163_bit_2 x163_bit_1 x163_bit0 x163_bit1 x163_bit2 x163_bit3 x163_bit4 x163_bit5 -x163_bit6 -x163_bit7 -x163_bit8 -x163_bit9 -x163_bit10 -x163_bit11 -x163_bit12 -x164_bit_7 -x164_bit_6 -x164_bit_5 -x164_bit_4 -x164_bit_3 -x164_bit_2 -x164_bit_1 -x164_bit0 -x164_bit1 -x164_bit2 -x164_bit3 -x164_bit4 -x164_bit5 -x164_bit6 -x164_bit7 -x164_bit8 -x164_bit9 -x164_bit10 -x164_bit11 -x164_bit12 -x165_bit_7 x165_bit_6 -x165_bit_5 -x165_bit_4 x165_bit_3 x165_bit_2 x165_bit_1 x165_bit0 -x165_bit1 -x165_bit2 -x165_bit3 x165_bit4 -x165_bit5 -x165_bit6 -x165_bit7 -x165_bit8 -x165_bit9 -x165_bit10 -x165_bit11 -x165_bit12 -x166_bit_7 -x166_bit_6 -x166_bit_5 -x166_bit_4 -x166_bit_3 -x166_bit_2 -x166_bit_1 -x166_bit0 -x166_bit1 x166_bit2 -x166_bit3 -x166_bit4 -x166_bit5 x166_bit6 -x166_bit7 -x166_bit8 -x166_bit9 -x166_bit10 -x166_bit11 -x166_bit12 x167_bit_7 -x167_bit_6 x167_bit_5 -x167_bit_4 -x167_bit_3 -x167_bit_2 -x167_bit_1 -x167_bit0 -x167_bit1 -x167_bit2 -x167_bit3 -x167_bit4 -x167_bit5 -x167_bit6 -x167_bit7 -x167_bit8 -x167_bit9 -x167_bit10 -x167_bit11 -x167_bit12 x168_bit_7 x168_bit_6 x168_bit_5 x168_bit_4 x168_bit_3 x168_bit_2 x168_bit_1 x168_bit0 x168_bit1 x168_bit2 -x168_bit3 -x168_bit4 -x168_bit5 x168_bit6 -x168_bit7 -x168_bit8 -x168_bit9 -x168_bit10 -x168_bit11 -x168_bit12 -x169_bit_7 -x169_bit_6 -x169_bit_5 -x169_bit_4 -x169_bit_3 -x169_bit_2 -x169_bit_1 -x169_bit0 x169_bit1 -x169_bit2 x169_bit3 -x169_bit4 -x169_bit5 -x169_bit6 -x169_bit7 -x169_bit8 -x169_bit9 -x169_bit10 -x169_bit11 -x169_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 -x170_bit_7 -x170_bit_6 -x170_bit_5 -x170_bit_4 -x170_bit_3 -x170_bit_2 -x170_bit_1 -x170_bit0 -x170_bit1 x170_bit2 -x170_bit3 x170_bit4 -x170_bit5 -x170_bit6 -x170_bit7 -x170_bit8 -x170_bit9 -x170_bit10 -x170_bit11 -x170_bit12 -x171_bit_7 -x171_bit_6 -x171_bit_5 -x171_bit_4 -x171_bit_3 -x171_bit_2 -x171_bit_1 -x171_bit0 -x171_bit1 -x171_bit2 -x171_bit3 -x171_bit4 -x171_bit5 -x171_bit6 -x171_bit7 -x171_bit8 -x171_bit9 -x171_bit10 -x171_bit11 -x171_bit12 -x172_bit_7 -x172_bit_6 -x172_bit_5 -x172_bit_4 -x172_bit_3 -x172_bit_2 -x172_bit_1 -x172_bit0 -x172_bit1 -x172_bit2 -x172_bit3 -x172_bit4 -x172_bit5 -x172_bit6 -x172_bit7 -x172_bit8 -x172_bit9 -x172_bit10 -x172_bit11 -x172_bit12 -x173_bit_7 -x173_bit_6 -x173_bit_5 -x173_bit_4 -x173_bit_3 -x173_bit_2 -x173_bit_1 -x173_bit0 x173_bit1 -x173_bit2 x173_bit3 -x173_bit4 -x173_bit5 -x173_bit6 -x173_bit7 -x173_bit8 -x173_bit9 -x173_bit10 -x173_bit11 -x173_bit12 -x174_bit_7 -x174_bit_6 -x174_bit_5 -x174_bit_4 -x174_bit_3 -x174_bit_2 -x174_bit_1 -x174_bit0 -x174_bit1 x174_bit2 -x174_bit3 x174_bit4 -x174_bit5 -x174_bit6 -x174_bit7 -x174_bit8 -x174_bit9 -x174_bit10 -x174_bit11 -x174_bit12 -x175_bit_7 -x175_bit_6 -x175_bit_5 -x175_bit_4 -x175_bit_3 -x175_bit_2 -x175_bit_1 -x175_bit0 -x175_bit1 -x175_bit2 -x175_bit3 -x175_bit4 -x175_bit5 -x175_bit6 -x175_bit7 -x175_bit8 -x175_bit9 -x175_bit10 -x175_bit11 -x175_bit12 -x176_bit_7 -x176_bit_6 -x176_bit_5 -x176_bit_4 -x176_bit_3 -x176_bit_2 -x176_bit_1 -x176_bit0 -x176_bit1 -x176_bit2 x176_bit3 -x176_bit4 x176_bit5 -x176_bit6 -x176_bit7 -x176_bit8 -x176_bit9 -x176_bit10 -x176_bit11 -x176_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 -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 -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 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 -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 -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 
#### 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.91 2/54 11793
Raw data (stat): 11793 (runsolver) R 11792 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774795265 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99967 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 991 0 0 0 996 3 0 0 25 0 1 0 774795265 9728000 969 4294967295 134512640 134581331 3221224608 3221223296 1075288267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2375 969 566 18 0 2357 0
vsize: 9500
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 1239 0 0 0 1995 4 0 0 25 0 1 0 774795265 10645504 1217 4294967295 134512640 134581331 3221224608 3221223536 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2599 1217 566 18 0 2581 0
vsize: 10396
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 1384 0 0 0 2995 4 0 0 25 0 1 0 774795265 11264000 1362 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2750 1362 566 18 0 2732 0
vsize: 11000
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 1384 0 0 0 3994 5 0 0 25 0 1 0 774795265 11264000 1362 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2750 1362 566 18 0 2732 0
vsize: 11000
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 1395 0 0 0 4994 5 0 0 25 0 1 0 774795265 11395072 1373 4294967295 134512640 134581331 3221224608 3221223520 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2782 1373 566 18 0 2764 0
vsize: 11128
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 1395 0 0 0 5993 6 0 0 25 0 1 0 774795265 11395072 1373 4294967295 134512640 134581331 3221224608 3221223520 134527995 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2782 1373 566 18 0 2764 0
vsize: 11128
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 1400 0 0 0 6993 6 0 0 25 0 1 0 774795265 11395072 1378 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2782 1378 566 18 0 2764 0
vsize: 11128
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 1402 0 0 0 7993 6 0 0 25 0 1 0 774795265 11395072 1380 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2782 1380 566 18 0 2764 0
vsize: 11128
[startup+90.0051 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 1405 0 0 0 8993 7 0 0 25 0 1 0 774795265 11395072 1383 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2782 1383 566 18 0 2764 0
vsize: 11128
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 1536 0 0 0 9992 7 0 0 25 0 1 0 774795265 11919360 1514 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 1514 566 18 0 2892 0
vsize: 11640
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 1536 0 0 0 10992 8 0 0 25 0 1 0 774795265 11919360 1514 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 1514 566 18 0 2892 0
vsize: 11640
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 1985 0 0 0 11990 9 0 0 25 0 1 0 774795265 13762560 1963 4294967295 134512640 134581331 3221224608 3221223504 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 1963 566 18 0 3342 0
vsize: 13440
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 1985 0 0 0 12990 10 0 0 25 0 1 0 774795265 13733888 1963 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3353 1963 566 18 0 3335 0
vsize: 13412
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2105 0 0 0 13989 11 0 0 25 0 1 0 774795265 14258176 2083 4294967295 134512640 134581331 3221224608 3221223536 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3481 2083 566 18 0 3463 0
vsize: 13924
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2106 0 0 0 14988 11 0 0 25 0 1 0 774795265 14254080 2084 4294967295 134512640 134581331 3221224608 3221223536 134519945 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2084 566 18 0 3462 0
vsize: 13920
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2106 0 0 0 15988 12 0 0 25 0 1 0 774795265 14254080 2084 4294967295 134512640 134581331 3221224608 3221223024 134566395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2084 566 18 0 3462 0
vsize: 13920
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2106 0 0 0 16988 12 0 0 25 0 1 0 774795265 14254080 2084 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2084 566 18 0 3462 0
vsize: 13920
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2106 0 0 0 17987 13 0 0 25 0 1 0 774795265 14254080 2084 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2084 566 18 0 3462 0
vsize: 13920
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2106 0 0 0 18987 13 0 0 25 0 1 0 774795265 14254080 2084 4294967295 134512640 134581331 3221224608 3221223472 134528412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2084 566 18 0 3462 0
vsize: 13920
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2106 0 0 0 19986 14 0 0 25 0 1 0 774795265 14254080 2084 4294967295 134512640 134581331 3221224608 3221223520 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2084 566 18 0 3462 0
vsize: 13920
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2106 0 0 0 20986 14 0 0 25 0 1 0 774795265 14254080 2084 4294967295 134512640 134581331 3221224608 3221223504 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2084 566 18 0 3462 0
vsize: 13920
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2106 0 0 0 21985 14 0 0 25 0 1 0 774795265 14254080 2084 4294967295 134512640 134581331 3221224608 3221223536 134519844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2084 566 18 0 3462 0
vsize: 13920
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2106 0 0 0 22985 15 0 0 25 0 1 0 774795265 14254080 2084 4294967295 134512640 134581331 3221224608 3221223504 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2084 566 18 0 3462 0
vsize: 13920
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2106 0 0 0 23985 15 0 0 25 0 1 0 774795265 14254080 2084 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2084 566 18 0 3462 0
vsize: 13920
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2106 0 0 0 24984 16 0 0 25 0 1 0 774795265 14254080 2084 4294967295 134512640 134581331 3221224608 3221223520 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2084 566 18 0 3462 0
vsize: 13920
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2106 0 0 0 25983 17 0 0 25 0 1 0 774795265 14254080 2084 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2084 566 18 0 3462 0
vsize: 13920
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2106 0 0 0 26983 17 0 0 25 0 1 0 774795265 14254080 2084 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2084 566 18 0 3462 0
vsize: 13920
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2106 0 0 0 27983 17 0 0 25 0 1 0 774795265 14254080 2084 4294967295 134512640 134581331 3221224608 3221223472 134528541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2084 566 18 0 3462 0
vsize: 13920
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2106 0 0 0 28983 17 0 0 25 0 1 0 774795265 14254080 2084 4294967295 134512640 134581331 3221224608 3221223552 134559822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2084 566 18 0 3462 0
vsize: 13920
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2106 0 0 0 29983 18 0 0 25 0 1 0 774795265 14254080 2084 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2084 566 18 0 3462 0
vsize: 13920
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2106 0 0 0 30982 18 0 0 25 0 1 0 774795265 14254080 2084 4294967295 134512640 134581331 3221224608 3221223520 134527729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2084 566 18 0 3462 0
vsize: 13920
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2106 0 0 0 31982 18 0 0 25 0 1 0 774795265 14254080 2084 4294967295 134512640 134581331 3221224608 3221223536 134520095 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2084 566 18 0 3462 0
vsize: 13920
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2106 0 0 0 32982 19 0 0 25 0 1 0 774795265 14254080 2084 4294967295 134512640 134581331 3221224608 3221223304 1075291317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2084 566 18 0 3462 0
vsize: 13920
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2409 0 0 0 33981 20 0 0 25 0 1 0 774795265 15437824 2387 4294967295 134512640 134581331 3221224608 3221223504 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3769 2387 566 18 0 3751 0
vsize: 15076
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2409 0 0 0 34980 20 0 0 25 0 1 0 774795265 15437824 2387 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3769 2387 566 18 0 3751 0
vsize: 15076
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 2459 0 0 0 35979 22 0 0 25 0 1 0 774795265 15704064 2437 4294967295 134512640 134581331 3221224608 3221223552 134558956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2437 566 18 0 3816 0
vsize: 15336
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3018 0 0 0 36977 24 0 0 25 0 1 0 774795265 18014208 2996 4294967295 134512640 134581331 3221224608 3221223572 134519893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 2996 566 18 0 4380 0
vsize: 17592
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 37975 26 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223552 134558842 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 38973 28 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223504 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 39971 30 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223520 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 40968 33 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 41964 37 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223392 134528732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 42961 40 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 43958 44 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 44954 47 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223472 134528350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 45949 53 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223552 134559087 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 46945 57 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223464 1075285907 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 47940 62 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 48936 66 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 49930 71 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223392 134528708 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 50925 77 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223536 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 51919 83 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223488 134520328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 52913 89 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223472 134528412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 53905 97 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223472 134526992 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 54898 104 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223564 134519782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 55891 111 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223380 1075285153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 56886 117 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 57879 124 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223536 134520043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 58871 132 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223600 134561125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 59865 138 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223504 134517729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 60857 146 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223472 134528289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 61852 152 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223392 134528822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 62846 158 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 63839 164 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 64835 169 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 65829 175 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+670.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 66823 182 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223552 134558842 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+680.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 67817 189 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+690.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 68810 196 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+700.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 69804 202 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223392 134528782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+710.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 70796 210 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+720.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 71790 216 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+730.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 72785 222 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+740.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 73780 227 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223296 1075288371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+750.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 74774 232 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223584 134560730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+760.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 75768 239 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+770.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 76764 243 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223552 134558812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+780.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 77758 249 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+790.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 78753 255 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+800.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 79747 261 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+810.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 80741 267 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+820.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 81736 272 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+830.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 82730 278 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+840.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 83724 284 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+850.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 84719 290 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+860.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 85714 295 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223472 134528316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+870.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 86709 300 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+880.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 87704 305 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+890.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 88697 312 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223488 134520233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+900.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 89692 318 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+910.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 90687 323 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223576 134527301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+920.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 91682 328 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223552 134558956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+930.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 92677 334 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+940.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 93672 338 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+950.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 94667 343 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223504 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+960.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 95663 347 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+970.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 96659 352 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+980.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 97653 358 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+990.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 98648 363 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223552 134558819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 99643 368 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223504 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 100636 375 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223572 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 101631 381 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 102626 386 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 103621 391 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 104615 397 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 105609 403 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 106604 409 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 107599 413 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 108595 418 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 109591 422 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223536 134519867 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 110585 428 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 111579 434 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 112574 440 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223504 134517521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 113570 444 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 114564 450 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 115559 455 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 116554 460 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 117550 464 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 17592
[startup+1188.92 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 11793
Raw data (stat): 11793 (Pueblo) R 11792 7266 7265 0 -1 0 3030 0 0 0 117550 464 0 0 25 0 1 0 774795265 18014208 3008 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3008 566 18 0 4380 0
vsize: 0

Child status: 10
Real time (s): 1188.92
CPU time (s): 1189.02
CPU user time (s): 1184.32
CPU system time (s): 4.70328
CPU usage (%): 100.008
Max. virtual memory (Kb): 17592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1983976
#### END VERIFIER DATA ####