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 39189

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 22:53:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27251 boxname=wulflinc5 idbench=1379 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  962e64054cef66ff1ace4918a032c24a  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-pp08a.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-pp08a.opb
IDLAUNCH: 27251
/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:        638792 kB
Buffers:         30148 kB
Cached:         342536 kB
SwapCached:        568 kB
Active:          25268 kB
Inactive:       349504 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        638540 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5148 kB
Slab:            15500 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 23:13:32 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 27251 0 1189.01 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.91 1/54 14461
Raw data (stat): 14461 (runsolver) R 14460 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 853540554 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 1104 0 0 0 997 2 0 0 25 0 1 0 853540554 10153984 1078 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2479 1078 566 18 0 2461 0
vsize: 9916
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 1360 0 0 0 1996 2 0 0 25 0 1 0 853540554 11210752 1334 4294967295 134512640 134581267 3221224576 3221223440 134528324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2737 1334 566 18 0 2719 0
vsize: 10948
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 1384 0 0 0 2996 3 0 0 25 0 1 0 853540554 11079680 1325 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2705 1325 566 18 0 2687 0
vsize: 10820
[startup+40.0029 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 1384 0 0 0 3996 3 0 0 25 0 1 0 853540554 11079680 1325 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2705 1325 566 18 0 2687 0
vsize: 10820
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 1434 0 0 0 4995 4 0 0 25 0 1 0 853540554 11341824 1375 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2769 1375 566 18 0 2751 0
vsize: 11076
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 1434 0 0 0 5995 4 0 0 25 0 1 0 853540554 11341824 1375 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2769 1375 566 18 0 2751 0
vsize: 11076
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 1439 0 0 0 6995 4 0 0 25 0 1 0 853540554 11341824 1380 4294967295 134512640 134581267 3221224576 3221223488 134527918 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2769 1380 566 18 0 2751 0
vsize: 11076
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 1441 0 0 0 7995 5 0 0 25 0 1 0 853540554 11341824 1382 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2769 1382 566 18 0 2751 0
vsize: 11076
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 1574 0 0 0 8994 5 0 0 25 0 1 0 853540554 11923456 1515 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2911 1515 566 18 0 2893 0
vsize: 11644
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 1986 0 0 0 9993 6 0 0 25 0 1 0 853540554 13635584 1927 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3329 1927 566 18 0 3311 0
vsize: 13316
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 2022 0 0 0 10993 6 0 0 25 0 1 0 853540554 13750272 1963 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3357 1963 566 18 0 3339 0
vsize: 13428
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 2129 0 0 0 11992 7 0 0 25 0 1 0 853540554 14254080 2070 4294967295 134512640 134581267 3221224576 3221223488 134527709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3480 2070 566 18 0 3462 0
vsize: 13920
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 2138 0 0 0 12992 7 0 0 25 0 1 0 853540554 14254080 2079 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3480 2079 566 18 0 3462 0
vsize: 13920
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 2138 0 0 0 13992 7 0 0 25 0 1 0 853540554 14221312 2079 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3472 2079 566 18 0 3454 0
vsize: 13888
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 2138 0 0 0 14992 8 0 0 25 0 1 0 853540554 14127104 2068 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2068 566 18 0 3431 0
vsize: 13796
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 2138 0 0 0 15991 8 0 0 25 0 1 0 853540554 14127104 2068 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2068 566 18 0 3431 0
vsize: 13796
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 2138 0 0 0 16991 8 0 0 25 0 1 0 853540554 14127104 2068 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2068 566 18 0 3431 0
vsize: 13796
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 2138 0 0 0 17990 9 0 0 25 0 1 0 853540554 14127104 2068 4294967295 134512640 134581267 3221224576 3221223520 134558768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2068 566 18 0 3431 0
vsize: 13796
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 2138 0 0 0 18990 10 0 0 25 0 1 0 853540554 14127104 2068 4294967295 134512640 134581267 3221224576 3221223472 134517630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2068 566 18 0 3431 0
vsize: 13796
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 2138 0 0 0 19990 10 0 0 25 0 1 0 853540554 14127104 2068 4294967295 134512640 134581267 3221224576 3221223552 134560779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2068 566 18 0 3431 0
vsize: 13796
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 2138 0 0 0 20990 10 0 0 25 0 1 0 853540554 14127104 2068 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2068 566 18 0 3431 0
vsize: 13796
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 2138 0 0 0 21989 10 0 0 25 0 1 0 853540554 14127104 2068 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2068 566 18 0 3431 0
vsize: 13796
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 2138 0 0 0 22989 10 0 0 25 0 1 0 853540554 14127104 2068 4294967295 134512640 134581267 3221224576 3221223472 134517737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2068 566 18 0 3431 0
vsize: 13796
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 2138 0 0 0 23989 11 0 0 25 0 1 0 853540554 14127104 2068 4294967295 134512640 134581267 3221224576 3221223532 134519782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2068 566 18 0 3431 0
vsize: 13796
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 2138 0 0 0 24989 11 0 0 25 0 1 0 853540554 14127104 2068 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2068 566 18 0 3431 0
vsize: 13796
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 2138 0 0 0 25988 11 0 0 25 0 1 0 853540554 14127104 2068 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2068 566 18 0 3431 0
vsize: 13796
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 2138 0 0 0 26988 11 0 0 25 0 1 0 853540554 14127104 2068 4294967295 134512640 134581267 3221224576 3221223632 134556196 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2068 566 18 0 3431 0
vsize: 13796
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 2138 0 0 0 27988 11 0 0 25 0 1 0 853540554 14127104 2068 4294967295 134512640 134581267 3221224576 3221223440 134560418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2068 566 18 0 3431 0
vsize: 13796
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 2305 0 0 0 28988 12 0 0 25 0 1 0 853540554 14913536 2235 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3641 2235 566 18 0 3623 0
vsize: 14564
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 2460 0 0 0 29987 13 0 0 25 0 1 0 853540554 15560704 2390 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3799 2390 566 18 0 3781 0
vsize: 15196
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 2460 0 0 0 30986 13 0 0 25 0 1 0 853540554 15560704 2390 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3799 2390 566 18 0 3781 0
vsize: 15196
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3006 0 0 0 31982 17 0 0 25 0 1 0 853540554 17768448 2936 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4338 2936 566 18 0 4320 0
vsize: 17352
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 32980 19 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 33978 21 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 34976 23 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 35974 25 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14461
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 36970 30 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 14462
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 37965 34 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+390.014 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 14514
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 38960 39 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223568 134561098 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+400.014 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 14514
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 39956 43 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223676 134563251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+410.015 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 14514
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 40952 47 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+420.014 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14514
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 41946 53 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+430.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14514
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 42943 57 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+440.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14514
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 43936 64 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+450.12 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14514
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 44940 71 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+460.127 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 45934 77 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+470.126 s]
Raw data (loadavg): 1.02 0.99 0.91 3/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 46928 84 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+480.127 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 47920 92 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+490.126 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 48912 99 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+500.126 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 49905 107 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+510.126 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 50899 113 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+520.126 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 51890 122 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+530.126 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 52883 130 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+540.126 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 53876 136 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+550.126 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 54869 143 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223504 134520109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+560.126 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 55861 152 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+570.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 56855 158 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+580.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 57848 165 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+590.126 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 58842 171 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+600.126 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 59835 178 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223536 134516723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+610.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 60826 187 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223536 134531373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+620.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 61820 194 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+630.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 62812 202 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+640.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 63805 209 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+650.124 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 64797 217 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223472 134517720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+660.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 65789 225 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+670.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 66781 233 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223456 134520246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+680.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 67773 242 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+690.124 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 68765 250 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+700.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 69758 257 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+710.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 70750 265 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+720.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14516
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 71744 272 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223440 134528324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+730.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 72737 279 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+740.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 73729 287 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+750.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 74722 294 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+760.126 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 75716 300 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+770.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 76709 307 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223272 1075291238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+780.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 77703 313 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+790.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 78697 320 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+800.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 79689 328 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+810.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 80681 336 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+820.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 81675 342 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+830.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 82671 347 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+840.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 83663 354 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+850.124 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 84657 361 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+860.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 85651 367 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+870.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 86644 374 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+880.126 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 87638 380 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+890.126 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 88631 388 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223536 134516751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+900.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 89625 393 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+910.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 90619 399 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+920.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 91614 405 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+930.125 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 92608 411 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+940.126 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 93602 418 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+950.126 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 94594 425 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+960.127 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 95589 431 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+970.126 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 96582 438 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+980.126 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 97575 445 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+990.126 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 98570 450 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+1000.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 99561 459 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+1010.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 100554 467 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+1020.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 101548 473 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223016 134566407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+1030.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 102540 481 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223520 134559264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+1040.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 103535 486 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+1050.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 104530 491 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+1060.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 105524 498 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+1070.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 106518 504 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+1080.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 107512 510 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+1090.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 108506 516 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+1100.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 109502 521 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+1110.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 110496 528 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+1120.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 111490 534 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+1130.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 112482 542 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223520 134558895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+1140.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 113476 548 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+1150.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 114469 555 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+1160.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 115462 562 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+1170.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 116454 570 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223644 1075422392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+1180.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 117448 577 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 17612
[startup+1188.9 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 14518
Raw data (stat): 14461 (Pueblo-v2) R 14460 7266 7265 0 -1 0 3075 0 0 0 117448 577 0 0 25 0 1 0 853540554 18034688 3005 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3005 566 18 0 4385 0
vsize: 0

Child status: 10
Real time (s): 1188.9
CPU time (s): 1189.01
CPU user time (s): 1183.18
CPU system time (s): 5.83811
CPU usage (%): 100.01
Max. virtual memory (Kb): 17612
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1983976
#### END VERIFIER DATA ####