PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x12.opb
MD5SUM	ddd1f838c1e3a248aad1987162b1d40d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	656964
Optimality of the best value was proved	NO
Number of terms in the objective function	2520
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	666682247
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	666682247
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.04
Number of variables	2520
Total number of constraints	142
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	142
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 39286

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-03 02:18:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27352 boxname=wulflinc2 idbench=1480 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  ddd1f838c1e3a248aad1987162b1d40d  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-ran10x12.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-ran10x12.opb
IDLAUNCH: 27352
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        387344 kB
Buffers:         32964 kB
Cached:         592156 kB
SwapCached:       1160 kB
Active:          58804 kB
Inactive:       568848 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        387092 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            13988 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 02:38:03 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 27352 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/wulflinc2/normalized-mps-v2-13-7-ran10x12.opb
c #variables read: 2520 - #constraints read: 165
s SATISFIABLE
v -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 -X1_bit0 -X1_bit1 -X1_bit2 -X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 -X2_bit0 -X2_bit1 -X2_bit2 -X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 -X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 -X4_bit0 -X4_bit1 -X4_bit2 -X4_bit3 -X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 -X6_bit0 -X6_bit1 -X6_bit2 -X6_bit3 -X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 -X7_bit0 -X7_bit1 -X7_bit2 -X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 -X8_bit0 X8_bit1 X8_bit2 X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X9_bit_7 -X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 -X9_bit0 -X9_bit1 -X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 -X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X14_bit_7 -X14_bit_6 -X14_bit_5 -X14_bit_4 -X14_bit_3 -X14_bit_2 -X14_bit_1 -X14_bit0 -X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 -X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X16_bit_7 -X16_bit_6 -X16_bit_5 -X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 -X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X17_bit_7 -X17_bit_6 X17_bit_5 X17_bit_4 X17_bit_3 X17_bit_2 X17_bit_1 X17_bit0 X17_bit1 X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 X18_bit_7 -X18_bit_6 X18_bit_5 X18_bit_4 X18_bit_3 X18_bit_2 X18_bit_1 X18_bit0 -X18_bit1 -X18_bit2 -X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X19_bit_7 -X19_bit_6 -X19_bit_5 -X19_bit_4 -X19_bit_3 -X19_bit_2 -X19_bit_1 -X19_bit0 -X19_bit1 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X20_bit_7 X20_bit_6 -X20_bit_5 X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 X20_bit0 X20_bit1 -X20_bit2 -X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X21_bit_7 -X21_bit_6 -X21_bit_5 -X21_bit_4 -X21_bit_3 -X21_bit_2 -X21_bit_1 -X21_bit0 -X21_bit1 -X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 -X22_bit1 -X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 X23_bit_7 -X23_bit_6 X23_bit_5 X23_bit_4 X23_bit_3 X23_bit_2 X23_bit_1 X23_bit0 X23_bit1 X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X24_bit_7 -X24_bit_6 -X24_bit_5 -X24_bit_4 -X24_bit_3 -X24_bit_2 -X24_bit_1 -X24_bit0 -X24_bit1 -X24_bit2 -X24_bit3 -X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 -X25_bit_3 -X25_bit_2 -X25_bit_1 -X25_bit0 -X25_bit1 -X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 -X26_bit0 -X26_bit1 -X26_bit2 -X26_bit3 -X26_bit4 -X26_bit5 -X26_bit6 -X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X27_bit_7 -X27_bit_6 -X27_bit_5 -X27_bit_4 -X27_bit_3 -X27_bit_2 -X27_bit_1 -X27_bit0 -X27_bit1 -X27_bit2 -X27_bit3 -X27_bit4 -X27_bit5 -X27_bit6 -X27_bit7 -X27_bit8 -X27_bit9 -X27_bit10 -X27_bit11 -X27_bit12 -X28_bit_7 -X28_bit_6 -X28_bit_5 -X28_bit_4 -X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 -X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 -X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -X33_bit0 -X33_bit1 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 X34_bit_7 -X34_bit_6 -X34_bit_5 X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -X34_bit0 -X34_bit1 X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 X35_bit_7 X35_bit_6 X35_bit_5 -X35_bit_4 X35_bit_3 X35_bit_2 X35_bit_1 X35_bit0 -X35_bit1 -X35_bit2 X35_bit3 X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X36_bit_7 -X36_bit_6 -X36_bit_5 -X36_bit_4 -X36_bit_3 -X36_bit_2 -X36_bit_1 -X36_bit0 -X36_bit1 -X36_bit2 -X36_bit3 -X36_bit4 -X36_bit5 -X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X37_bit_7 -X37_bit_6 -X37_bit_5 -X37_bit_4 -X37_bit_3 -X37_bit_2 -X37_bit_1 X37_bit0 X37_bit1 X37_bit2 -X37_bit3 -X37_bit4 -X37_bit5 -X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X38_bit_7 -X38_bit_6 -X38_bit_5 -X38_bit_4 -X38_bit_3 -X38_bit_2 -X38_bit_1 -X38_bit0 -X38_bit1 -X38_bit2 -X38_bit3 -X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X40_bit_7 -X40_bit_6 -X40_bit_5 -X40_bit_4 -X40_bit_3 -X40_bit_2 -X40_bit_1 -X40_bit0 -X40_bit1 -X40_bit2 -X40_bit3 -X40_bit4 -X40_bit5 -X40_bit6 -X40_bit7 -X40_bit8 -X40_bit9 -X40_bit10 -X40_bit11 -X40_bit12 -X41_bit_7 -X41_bit_6 X41_bit_5 -X41_bit_4 X41_bit_3 X41_bit_2 X41_bit_1 X41_bit0 X41_bit1 X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit10 -X41_bit11 -X41_bit12 -X42_bit_7 -X42_bit_6 -X42_bit_5 -X42_bit_4 -X42_bit_3 -X42_bit_2 -X42_bit_1 -X42_bit0 -X42_bit1 -X42_bit2 -X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit10 -X42_bit11 -X42_bit12 -X43_bit_7 -X43_bit_6 -X43_bit_5 -X43_bit_4 -X43_bit_3 -X43_bit_2 -X43_bit_1 -X43_bit0 -X43_bit1 -X43_bit2 -X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 -X43_bit10 -X43_bit11 -X43_bit12 -X44_bit_7 -X44_bit_6 -X44_bit_5 -X44_bit_4 -X44_bit_3 -X44_bit_2 -X44_bit_1 -X44_bit0 -X44_bit1 -X44_bit2 -X44_bit3 -X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit10 -X44_bit11 -X44_bit12 -X45_bit_7 -X45_bit_6 -X45_bit_5 -X45_bit_4 -X45_bit_3 -X45_bit_2 -X45_bit_1 -X45_bit0 -X45_bit1 -X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit10 -X45_bit11 -X45_bit12 -X46_bit_7 -X46_bit_6 -X46_bit_5 -X46_bit_4 -X46_bit_3 -X46_bit_2 -X46_bit_1 -X46_bit0 -X46_bit1 -X46_bit2 -X46_bit3 -X46_bit4 -X46_bit5 -X46_bit6 -X46_bit7 -X46_bit8 -X46_bit9 -X46_bit10 -X46_bit11 -X46_bit12 -X47_bit_7 -X47_bit_6 X47_bit_5 X47_bit_4 -X47_bit_3 -X47_bit_2 -X47_bit_1 -X47_bit0 X47_bit1 -X47_bit2 -X47_bit3 -X47_bit4 -X47_bit5 -X47_bit6 -X47_bit7 -X47_bit8 -X47_bit9 -X47_bit10 -X47_bit11 -X47_bit12 -X48_bit_7 -X48_bit_6 -X48_bit_5 -X48_bit_4 -X48_bit_3 -X48_bit_2 -X48_bit_1 -X48_bit0 -X48_bit1 -X48_bit2 -X48_bit3 -X48_bit4 -X48_bit5 -X48_bit6 -X48_bit7 -X48_bit8 -X48_bit9 -X48_bit10 -X48_bit11 -X48_bit12 -X49_bit_7 -X49_bit_6 -X49_bit_5 -X49_bit_4 -X49_bit_3 -X49_bit_2 -X49_bit_1 -X49_bit0 -X49_bit1 -X49_bit2 -X49_bit3 -X49_bit4 -X49_bit5 -X49_bit6 -X49_bit7 -X49_bit8 -X49_bit9 -X49_bit10 -X49_bit11 -X49_bit12 -X50_bit_7 -X50_bit_6 -X50_bit_5 X50_bit_4 X50_bit_3 -X50_bit_2 -X50_bit_1 X50_bit0 X50_bit1 -X50_bit2 -X50_bit3 -X50_bit4 -X50_bit5 -X50_bit6 -X50_bit7 -X50_bit8 -X50_bit9 -X50_bit10 -X50_bit11 -X50_bit12 -X51_bit_7 -X51_bit_6 -X51_bit_5 -X51_bit_4 -X51_bit_3 -X51_bit_2 -X51_bit_1 -X51_bit0 -X51_bit1 -X51_bit2 -X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit10 -X51_bit11 -X51_bit12 -X52_bit_7 -X52_bit_6 -X52_bit_5 X52_bit_4 -X52_bit_3 X52_bit_2 X52_bit_1 -X52_bit0 -X52_bit1 -X52_bit2 -X52_bit3 -X52_bit4 -X52_bit5 -X52_bit6 -X52_bit7 -X52_bit8 -X52_bit9 -X52_bit10 -X52_bit11 -X52_bit12 -X53_bit_7 -X53_bit_6 -X53_bit_5 -X53_bit_4 -X53_bit_3 -X53_bit_2 -X53_bit_1 -X53_bit0 -X53_bit1 -X53_bit2 -X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit10 -X53_bit11 -X53_bit12 -X54_bit_7 -X54_bit_6 -X54_bit_5 -X54_bit_4 -X54_bit_3 -X54_bit_2 -X54_bit_1 -X54_bit0 -X54_bit1 -X54_bit2 -X54_bit3 -X54_bit4 -X54_bit5 -X54_bit6 -X54_bit7 -X54_bit8 -X54_bit9 -X54_bit10 -X54_bit11 -X54_bit12 -X55_bit_7 -X55_bit_6 -X55_bit_5 -X55_bit_4 -X55_bit_3 -X55_bit_2 -X55_bit_1 -X55_bit0 -X55_bit1 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit10 -X55_bit11 -X55_bit12 -X56_bit_7 -X56_bit_6 -X56_bit_5 -X56_bit_4 -X56_bit_3 -X56_bit_2 -X56_bit_1 -X56_bit0 -X56_bit1 X56_bit2 -X56_bit3 -X56_bit4 -X56_bit5 -X56_bit6 -X56_bit7 -X56_bit8 -X56_bit9 -X56_bit10 -X56_bit11 -X56_bit12 -X57_bit_7 -X57_bit_6 -X57_bit_5 -X57_bit_4 -X57_bit_3 -X57_bit_2 -X57_bit_1 -X57_bit0 -X57_bit1 -X57_bit2 -X57_bit3 -X57_bit4 -X57_bit5 -X57_bit6 -X57_bit7 -X57_bit8 -X57_bit9 -X57_bit10 -X57_bit11 -X57_bit12 -X58_bit_7 -X58_bit_6 -X58_bit_5 -X58_bit_4 -X58_bit_3 -X58_bit_2 -X58_bit_1 -X58_bit0 -X58_bit1 -X58_bit2 -X58_bit3 -X58_bit4 -X58_bit5 -X58_bit6 -X58_bit7 -X58_bit8 -X58_bit9 -X58_bit10 -X58_bit11 -X58_bit12 -X59_bit_7 -X59_bit_6 -X59_bit_5 -X59_bit_4 -X59_bit_3 -X59_bit_2 -X59_bit_1 -X59_bit0 -X59_bit1 -X59_bit2 -X59_bit3 -X59_bit4 -X59_bit5 -X59_bit6 -X59_bit7 -X59_bit8 -X59_bit9 -X59_bit10 -X59_bit11 -X59_bit12 -X60_bit_7 -X60_bit_6 -X60_bit_5 -X60_bit_4 -X60_bit_3 -X60_bit_2 -X60_bit_1 -X60_bit0 -X60_bit1 -X60_bit2 -X60_bit3 -X60_bit4 -X60_bit5 -X60_bit6 -X60_bit7 -X60_bit8 -X60_bit9 -X60_bit10 -X60_bit11 -X60_bit12 -X61_bit_7 -X61_bit_6 -X61_bit_5 -X61_bit_4 -X61_bit_3 -X61_bit_2 -X61_bit_1 -X61_bit0 -X61_bit1 -X61_bit2 -X61_bit3 -X61_bit4 -X61_bit5 -X61_bit6 -X61_bit7 -X61_bit8 -X61_bit9 -X61_bit10 -X61_bit11 -X61_bit12 -X62_bit_7 -X62_bit_6 -X62_bit_5 X62_bit_4 -X62_bit_3 -X62_bit_2 -X62_bit_1 X62_bit0 -X62_bit1 -X62_bit2 -X62_bit3 -X62_bit4 -X62_bit5 -X62_bit6 -X62_bit7 -X62_bit8 -X62_bit9 -X62_bit10 -X62_bit11 -X62_bit12 -X63_bit_7 X63_bit_6 -X63_bit_5 -X63_bit_4 -X63_bit_3 -X63_bit_2 -X63_bit_1 X63_bit0 -X63_bit1 -X63_bit2 -X63_bit3 -X63_bit4 -X63_bit5 -X63_bit6 -X63_bit7 -X63_bit8 -X63_bit9 -X63_bit10 -X63_bit11 -X63_bit12 -X64_bit_7 -X64_bit_6 -X64_bit_5 -X64_bit_4 -X64_bit_3 -X64_bit_2 -X64_bit_1 -X64_bit0 -X64_bit1 -X64_bit2 -X64_bit3 -X64_bit4 -X64_bit5 -X64_bit6 -X64_bit7 -X64_bit8 -X64_bit9 -X64_bit10 -X64_bit11 -X64_bit12 -X65_bit_7 -X65_bit_6 -X65_bit_5 -X65_bit_4 -X65_bit_3 -X65_bit_2 -X65_bit_1 -X65_bit0 -X65_bit1 -X65_bit2 -X65_bit3 -X65_bit4 -X65_bit5 -X65_bit6 -X65_bit7 -X65_bit8 -X65_bit9 -X65_bit10 -X65_bit11 -X65_bit12 -X66_bit_7 -X66_bit_6 -X66_bit_5 -X66_bit_4 -X66_bit_3 -X66_bit_2 -X66_bit_1 -X66_bit0 -X66_bit1 -X66_bit2 -X66_bit3 -X66_bit4 -X66_bit5 -X66_bit6 -X66_bit7 -X66_bit8 -X66_bit9 -X66_bit10 -X66_bit11 -X66_bit12 -X67_bit_7 -X67_bit_6 -X67_bit_5 -X67_bit_4 -X67_bit_3 -X67_bit_2 -X67_bit_1 -X67_bit0 -X67_bit1 -X67_bit2 -X67_bit3 -X67_bit4 -X67_bit5 -X67_bit6 -X67_bit7 -X67_bit8 -X67_bit9 -X67_bit10 -X67_bit11 -X67_bit12 -X68_bit_7 X68_bit_6 X68_bit_5 -X68_bit_4 X68_bit_3 X68_bit_2 X68_bit_1 X68_bit0 X68_bit1 X68_bit2 -X68_bit3 -X68_bit4 -X68_bit5 -X68_bit6 -X68_bit7 -X68_bit8 -X68_bit9 -X68_bit10 -X68_bit11 -X68_bit12 -X69_bit_7 -X69_bit_6 -X69_bit_5 -X69_bit_4 -X69_bit_3 -X69_bit_2 -X69_bit_1 -X69_bit0 -X69_bit1 -X69_bit2 -X69_bit3 -X69_bit4 -X69_bit5 -X69_bit6 -X69_bit7 -X69_bit8 -X69_bit9 -X69_bit10 -X69_bit11 -X69_bit12 -X70_bit_7 -X70_bit_6 -X70_bit_5 -X70_bit_4 -X70_bit_3 -X70_bit_2 -X70_bit_1 -X70_bit0 -X70_bit1 -X70_bit2 -X70_bit3 -X70_bit4 -X70_bit5 -X70_bit6 -X70_bit7 -X70_bit8 -X70_bit9 -X70_bit10 -X70_bit11 -X70_bit12 -X71_bit_7 -X71_bit_6 -X71_bit_5 -X71_bit_4 -X71_bit_3 -X71_bit_2 -X71_bit_1 -X71_bit0 -X71_bit1 -X71_bit2 -X71_bit3 -X71_bit4 -X71_bit5 -X71_bit6 -X71_bit7 -X71_bit8 -X71_bit9 -X71_bit10 -X71_bit11 -X71_bit12 -X72_bit_7 -X72_bit_6 -X72_bit_5 -X72_bit_4 -X72_bit_3 -X72_bit_2 -X72_bit_1 -X72_bit0 X72_bit1 -X72_bit2 -X72_bit3 -X72_bit4 -X72_bit5 -X72_bit6 -X72_bit7 -X72_bit8 -X72_bit9 -X72_bit10 -X72_bit11 -X72_bit12 -X73_bit_7 -X73_bit_6 -X73_bit_5 -X73_bit_4 -X73_bit_3 -X73_bit_2 -X73_bit_1 -X73_bit0 -X73_bit1 -X73_bit2 -X73_bit3 -X73_bit4 -X73_bit5 -X73_bit6 -X73_bit7 -X73_bit8 -X73_bit9 -X73_bit10 -X73_bit11 -X73_bit12 -X74_bit_7 -X74_bit_6 -X74_bit_5 -X74_bit_4 -X74_bit_3 X74_bit_2 X74_bit_1 -X74_bit0 -X74_bit1 -X74_bit2 X74_bit3 -X74_bit4 -X74_bit5 -X74_bit6 -X74_bit7 -X74_bit8 -X74_bit9 -X74_bit10 -X74_bit11 -X74_bit12 -X75_bit_7 X75_bit_6 X75_bit_5 X75_bit_4 X75_bit_3 X75_bit_2 X75_bit_1 X75_bit0 -X75_bit1 -X75_bit2 -X75_bit3 -X75_bit4 -X75_bit5 -X75_bit6 -X75_bit7 -X75_bit8 -X75_bit9 -X75_bit10 -X75_bit11 -X75_bit12 -X76_bit_7 X76_bit_6 -X76_bit_5 X76_bit_4 X76_bit_3 X76_bit_2 -X76_bit_1 X76_bit0 X76_bit1 -X76_bit2 X76_bit3 -X76_bit4 -X76_bit5 -X76_bit6 -X76_bit7 -X76_bit8 -X76_bit9 -X76_bit10 -X76_bit11 -X76_bit12 -X77_bit_7 -X77_bit_6 -X77_bit_5 -X77_bit_4 -X77_bit_3 -X77_bit_2 -X77_bit_1 -X77_bit0 -X77_bit1 -X77_bit2 -X77_bit3 -X77_bit4 -X77_bit5 -X77_bit6 -X77_bit7 -X77_bit8 -X77_bit9 -X77_bit10 -X77_bit11 -X77_bit12 -X78_bit_7 -X78_bit_6 -X78_bit_5 -X78_bit_4 -X78_bit_3 -X78_bit_2 -X78_bit_1 -X78_bit0 -X78_bit1 -X78_bit2 -X78_bit3 -X78_bit4 -X78_bit5 -X78_bit6 -X78_bit7 -X78_bit8 -X78_bit9 -X78_bit10 -X78_bit11 -X78_bit12 -X79_bit_7 -X79_bit_6 -X79_bit_5 X79_bit_4 -X79_bit_3 X79_bit_2 X79_bit_1 X79_bit0 -X79_bit1 -X79_bit2 -X79_bit3 -X79_bit4 -X79_bit5 -X79_bit6 -X79_bit7 -X79_bit8 -X79_bit9 -X79_bit10 -X79_bit11 -X79_bit12 -X80_bit_7 -X80_bit_6 -X80_bit_5 -X80_bit_4 -X80_bit_3 -X80_bit_2 -X80_bit_1 -X80_bit0 -X80_bit1 -X80_bit2 -X80_bit3 -X80_bit4 -X80_bit5 -X80_bit6 -X80_bit7 -X80_bit8 -X80_bit9 -X80_bit10 -X80_bit11 -X80_bit12 -X81_bit_7 -X81_bit_6 -X81_bit_5 -X81_bit_4 -X81_bit_3 -X81_bit_2 -X81_bit_1 -X81_bit0 X81_bit1 -X81_bit2 -X81_bit3 -X81_bit4 -X81_bit5 -X81_bit6 -X81_bit7 -X81_bit8 -X81_bit9 -X81_bit10 -X81_bit11 -X81_bit12 -X82_bit_7 -X82_bit_6 -X82_bit_5 -X82_bit_4 -X82_bit_3 -X82_bit_2 -X82_bit_1 -X82_bit0 -X82_bit1 -X82_bit2 -X82_bit3 -X82_bit4 -X82_bit5 -X82_bit6 -X82_bit7 -X82_bit8 -X82_bit9 -X82_bit10 -X82_bit11 -X82_bit12 -X83_bit_7 -X83_bit_6 -X83_bit_5 -X83_bit_4 -X83_bit_3 -X83_bit_2 -X83_bit_1 -X83_bit0 -X83_bit1 -X83_bit2 -X83_bit3 -X83_bit4 -X83_bit5 -X83_bit6 -X83_bit7 -X83_bit8 -X83_bit9 -X83_bit10 -X83_bit11 -X83_bit12 -X84_bit_7 -X84_bit_6 -X84_bit_5 -X84_bit_4 -X84_bit_3 -X84_bit_2 -X84_bit_1 -X84_bit0 -X84_bit1 -X84_bit2 -X84_bit3 -X84_bit4 -X84_bit5 -X84_bit6 -X84_bit7 -X84_bit8 -X84_bit9 -X84_bit10 -X84_bit11 -X84_bit12 -X85_bit_7 -X85_bit_6 -X85_bit_5 -X85_bit_4 -X85_bit_3 -X85_bit_2 -X85_bit_1 -X85_bit0 -X85_bit1 -X85_bit2 -X85_bit3 -X85_bit4 -X85_bit5 -X85_bit6 -X85_bit7 -X85_bit8 -X85_bit9 -X85_bit10 -X85_bit11 -X85_bit12 -X86_bit_7 -X86_bit_6 -X86_bit_5 -X86_bit_4 -X86_bit_3 -X86_bit_2 -X86_bit_1 -X86_bit0 -X86_bit1 -X86_bit2 -X86_bit3 -X86_bit4 -X86_bit5 -X86_bit6 -X86_bit7 -X86_bit8 -X86_bit9 -X86_bit10 -X86_bit11 -X86_bit12 -X87_bit_7 -X87_bit_6 -X87_bit_5 -X87_bit_4 -X87_bit_3 -X87_bit_2 -X87_bit_1 -X87_bit0 -X87_bit1 -X87_bit2 -X87_bit3 -X87_bit4 -X87_bit5 -X87_bit6 -X87_bit7 -X87_bit8 -X87_bit9 -X87_bit10 -X87_bit11 -X87_bit12 X88_bit_7 X88_bit_6 X88_bit_5 X88_bit_4 X88_bit_3 -X88_bit_2 X88_bit_1 X88_bit0 X88_bit1 -X88_bit2 -X88_bit3 -X88_bit4 -X88_bit5 -X88_bit6 -X88_bit7 -X88_bit8 -X88_bit9 -X88_bit10 -X88_bit11 -X88_bit12 X89_bit_7 X89_bit_6 X89_bit_5 X89_bit_4 -X89_bit_3 -X89_bit_2 -X89_bit_1 -X89_bit0 -X89_bit1 -X89_bit2 -X89_bit3 -X89_bit4 -X89_bit5 -X89_bit6 -X89_bit7 -X89_bit8 -X89_bit9 -X89_bit10 -X89_bit11 -X89_bit12 X90_bit_7 X90_bit_6 -X90_bit_5 -X90_bit_4 -X90_bit_3 -X90_bit_2 -X90_bit_1 -X90_bit0 -X90_bit1 -X90_bit2 -X90_bit3 -X90_bit4 -X90_bit5 -X90_bit6 -X90_bit7 -X90_bit8 -X90_bit9 -X90_bit10 -X90_bit11 -X90_bit12 -X91_bit_7 -X91_bit_6 -X91_bit_5 X91_bit_4 X91_bit_3 -X91_bit_2 -X91_bit_1 -X91_bit0 -X91_bit1 -X91_bit2 -X91_bit3 -X91_bit4 -X91_bit5 -X91_bit6 -X91_bit7 -X91_bit8 -X91_bit9 -X91_bit10 -X91_bit11 -X91_bit12 -X92_bit_7 -X92_bit_6 -X92_bit_5 -X92_bit_4 -X92_bit_3 -X92_bit_2 -X92_bit_1 -X92_bit0 -X92_bit1 -X92_bit2 -X92_bit3 -X92_bit4 -X92_bit5 -X92_bit6 -X92_bit7 -X92_bit8 -X92_bit9 -X92_bit10 -X92_bit11 -X92_bit12 -X93_bit_7 -X93_bit_6 -X93_bit_5 -X93_bit_4 -X93_bit_3 -X93_bit_2 -X93_bit_1 -X93_bit0 -X93_bit1 -X93_bit2 -X93_bit3 -X93_bit4 -X93_bit5 -X93_bit6 -X93_bit7 -X93_bit8 -X93_bit9 -X93_bit10 -X93_bit11 -X93_bit12 X94_bit_7 X94_bit_6 X94_bit_5 -X94_bit_4 X94_bit_3 X94_bit_2 X94_bit_1 -X94_bit0 -X94_bit1 -X94_bit2 -X94_bit3 -X94_bit4 -X94_bit5 -X94_bit6 -X94_bit7 -X94_bit8 -X94_bit9 -X94_bit10 -X94_bit11 -X94_bit12 -X95_bit_7 -X95_bit_6 -X95_bit_5 -X95_bit_4 -X95_bit_3 -X95_bit_2 -X95_bit_1 -X95_bit0 -X95_bit1 -X95_bit2 -X95_bit3 -X95_bit4 -X95_bit5 -X95_bit6 -X95_bit7 -X95_bit8 -X95_bit9 -X95_bit10 -X95_bit11 -X95_bit12 -X96_bit_7 -X96_bit_6 -X96_bit_5 -X96_bit_4 -X96_bit_3 -X96_bit_2 -X96_bit_1 -X96_bit0 -X96_bit1 -X96_bit2 -X96_bit3 -X96_bit4 -X96_bit5 -X96_bit6 -X96_bit7 -X96_bit8 -X96_bit9 -X96_bit10 -X96_bit11 -X96_bit12 -X97_bit_7 -X97_bit_6 -X97_bit_5 -X97_bit_4 -X97_bit_3 -X97_bit_2 -X97_bit_1 -X97_bit0 -X97_bit1 -X97_bit2 -X97_bit3 -X97_bit4 -X97_bit5 -X97_bit6 -X97_bit7 -X97_bit8 -X97_bit9 -X97_bit10 -X97_bit11 -X97_bit12 -X98_bit_7 -X98_bit_6 -X98_bit_5 -X98_bit_4 -X98_bit_3 -X98_bit_2 -X98_bit_1 -X98_bit0 -X98_bit1 -X98_bit2 -X98_bit3 -X98_bit4 -X98_bit5 -X98_bit6 -X98_bit7 -X98_bit8 -X98_bit9 -X98_bit10 -X98_bit11 -X98_bit12 -X99_bit_7 -X99_bit_6 -X99_bit_5 -X99_bit_4 -X99_bit_3 -X99_bit_2 -X99_bit_1 -X99_bit0 -X99_bit1 -X99_bit2 -X99_bit3 -X99_bit4 -X99_bit5 -X99_bit6 -X99_bit7 -X99_bit8 -X99_bit9 -X99_bit10 -X99_bit11 -X99_bit12 -X100_bit_7 -X100_bit_6 -X100_bit_5 -X100_bit_4 -X100_bit_3 -X100_bit_2 -X100_bit_1 -X100_bit0 -X100_bit1 -X100_bit2 -X100_bit3 -X100_bit4 -X100_bit5 -X100_bit6 -X100_bit7 -X100_bit8 -X100_bit9 -X100_bit10 -X100_bit11 -X100_bit12 -X101_bit_7 -X101_bit_6 -X101_bit_5 -X101_bit_4 -X101_bit_3 -X101_bit_2 -X101_bit_1 -X101_bit0 -X101_bit1 -X101_bit2 -X101_bit3 -X101_bit4 -X101_bit5 -X101_bit6 -X101_bit7 -X101_bit8 -X101_bit9 -X101_bit10 -X101_bit11 -X101_bit12 -X102_bit_7 -X102_bit_6 -X102_bit_5 -X102_bit_4 -X102_bit_3 -X102_bit_2 -X102_bit_1 -X102_bit0 -X102_bit1 -X102_bit2 -X102_bit3 -X102_bit4 -X102_bit5 -X102_bit6 -X102_bit7 -X102_bit8 -X102_bit9 -X102_bit10 -X102_bit11 -X102_bit12 -X103_bit_7 -X103_bit_6 -X103_bit_5 -X103_bit_4 -X103_bit_3 -X103_bit_2 -X103_bit_1 -X103_bit0 -X103_bit1 -X103_bit2 -X103_bit3 -X103_bit4 -X103_bit5 -X103_bit6 -X103_bit7 -X103_bit8 -X103_bit9 -X103_bit10 -X103_bit11 -X103_bit12 -X104_bit_7 -X104_bit_6 -X104_bit_5 -X104_bit_4 -X104_bit_3 -X104_bit_2 -X104_bit_1 -X104_bit0 -X104_bit1 -X104_bit2 -X104_bit3 -X104_bit4 -X104_bit5 -X104_bit6 -X104_bit7 -X104_bit8 -X104_bit9 -X104_bit10 -X104_bit11 -X104_bit12 -X105_bit_7 -X105_bit_6 -X105_bit_5 -X105_bit_4 -X105_bit_3 -X105_bit_2 -X105_bit_1 -X105_bit0 -X105_bit1 -X105_bit2 -X105_bit3 -X105_bit4 -X105_bit5 -X105_bit6 -X105_bit7 -X105_bit8 -X105_bit9 -X105_bit10 -X105_bit11 -X105_bit12 -X106_bit_7 -X106_bit_6 -X106_bit_5 -X106_bit_4 -X106_bit_3 -X106_bit_2 -X106_bit_1 -X106_bit0 -X106_bit1 -X106_bit2 -X106_bit3 -X106_bit4 -X106_bit5 -X106_bit6 -X106_bit7 -X106_bit8 -X106_bit9 -X106_bit10 -X106_bit11 -X106_bit12 -X107_bit_7 -X107_bit_6 -X107_bit_5 -X107_bit_4 -X107_bit_3 -X107_bit_2 -X107_bit_1 X107_bit0 -X107_bit1 X107_bit2 -X107_bit3 -X107_bit4 -X107_bit5 -X107_bit6 -X107_bit7 -X107_bit8 -X107_bit9 -X107_bit10 -X107_bit11 -X107_bit12 -X108_bit_7 -X108_bit_6 -X108_bit_5 -X108_bit_4 -X108_bit_3 -X108_bit_2 -X108_bit_1 -X108_bit0 -X108_bit1 -X108_bit2 -X108_bit3 -X108_bit4 -X108_bit5 -X108_bit6 -X108_bit7 -X108_bit8 -X108_bit9 -X108_bit10 -X108_bit11 -X108_bit12 -X109_bit_7 -X109_bit_6 -X109_bit_5 -X109_bit_4 -X109_bit_3 -X109_bit_2 -X109_bit_1 -X109_bit0 -X109_bit1 -X109_bit2 -X109_bit3 -X109_bit4 -X109_bit5 -X109_bit6 -X109_bit7 -X109_bit8 -X109_bit9 -X109_bit10 -X109_bit11 -X109_bit12 -X110_bit_7 -X110_bit_6 -X110_bit_5 -X110_bit_4 -X110_bit_3 -X110_bit_2 -X110_bit_1 -X110_bit0 -X110_bit1 -X110_bit2 -X110_bit3 -X110_bit4 -X110_bit5 -X110_bit6 -X110_bit7 -X110_bit8 -X110_bit9 -X110_bit10 -X110_bit11 -X110_bit12 -X111_bit_7 -X111_bit_6 -X111_bit_5 -X111_bit_4 -X111_bit_3 -X111_bit_2 -X111_bit_1 -X111_bit0 -X111_bit1 -X111_bit2 -X111_bit3 -X111_bit4 -X111_bit5 -X111_bit6 -X111_bit7 -X111_bit8 -X111_bit9 -X111_bit10 -X111_bit11 -X111_bit12 X112_bit_7 X112_bit_6 X112_bit_5 X112_bit_4 X112_bit_3 X112_bit_2 X112_bit_1 X112_bit0 X112_bit1 -X112_bit2 X112_bit3 -X112_bit4 -X112_bit5 -X112_bit6 -X112_bit7 -X112_bit8 -X112_bit9 -X112_bit10 -X112_bit11 -X112_bit12 X113_bit_7 -X113_bit_6 -X113_bit_5 -X113_bit_4 -X113_bit_3 -X113_bit_2 -X113_bit_1 -X113_bit0 -X113_bit1 -X113_bit2 -X113_bit3 -X113_bit4 -X113_bit5 -X113_bit6 -X113_bit7 -X113_bit8 -X113_bit9 -X113_bit10 -X113_bit11 -X113_bit12 -X114_bit_7 -X114_bit_6 -X114_bit_5 -X114_bit_4 -X114_bit_3 -X114_bit_2 -X114_bit_1 -X114_bit0 -X114_bit1 -X114_bit2 -X114_bit3 -X114_bit4 -X114_bit5 -X114_bit6 -X114_bit7 -X114_bit8 -X114_bit9 -X114_bit10 -X114_bit11 -X114_bit12 -X115_bit_7 -X115_bit_6 -X115_bit_5 -X115_bit_4 -X115_bit_3 -X115_bit_2 -X115_bit_1 -X115_bit0 -X115_bit1 -X115_bit2 -X115_bit3 -X115_bit4 -X115_bit5 -X115_bit6 -X115_bit7 -X115_bit8 -X115_bit9 -X115_bit10 -X115_bit11 -X115_bit12 -X116_bit_7 -X116_bit_6 -X116_bit_5 -X116_bit_4 -X116_bit_3 -X116_bit_2 -X116_bit_1 -X116_bit0 -X116_bit1 -X116_bit2 -X116_bit3 -X116_bit4 -X116_bit5 -X116_bit6 -X116_bit7 -X116_bit8 -X116_bit9 -X116_bit10 -X116_bit11 -X116_bit12 -X117_bit_7 -X117_bit_6 -X117_bit_5 -X117_bit_4 -X117_bit_3 -X117_bit_2 -X117_bit_1 -X117_bit0 -X117_bit1 -X117_bit2 -X117_bit3 -X117_bit4 -X117_bit5 -X117_bit6 -X117_bit7 -X117_bit8 -X117_bit9 -X117_bit10 -X117_bit11 -X117_bit12 -X118_bit_7 -X118_bit_6 -X118_bit_5 -X118_bit_4 -X118_bit_3 -X118_bit_2 -X118_bit_1 -X118_bit0 -X118_bit1 -X118_bit2 -X118_bit3 -X118_bit4 -X118_bit5 -X118_bit6 -X118_bit7 -X118_bit8 -X118_bit9 -X118_bit10 -X118_bit11 -X118_bit12 -X119_bit_7 -X119_bit_6 -X119_bit_5 -X119_bit_4 -X119_bit_3 -X119_bit_2 -X119_bit_1 -X119_bit0 -X119_bit1 -X119_bit2 -X119_bit3 -X119_bit4 -X119_bit5 -X119_bit6 -X119_bit7 -X119_bit8 -X119_bit9 -X119_bit10 -X119_bit11 -X119_bit12 -Y0_bit0 -Y1_bit0 -Y2_bit0 -Y3_bit0 -Y4_bit0 -Y5_bit0 -Y6_bit0 -Y7_bit0 Y8_bit0 -Y9_bit0 -Y10_bit0 -Y11_bit0 -Y12_bit0 -Y13_bit0 -Y14_bit0 -Y15_bit0 -Y16_bit0 Y17_bit0 Y18_bit0 -Y19_bit0 Y20_bit0 -Y21_bit0 -Y22_bit0 Y23_bit0 -Y24_bit0 -Y25_bit0 -Y26_bit0 -Y27_bit0 -Y28_bit0 -Y29_bit0 -Y30_bit0 -Y31_bit0 -Y32_bit0 -Y33_bit0 Y34_bit0 Y35_bit0 -Y36_bit0 Y37_bit0 -Y38_bit0 -Y39_bit0 -Y40_bit0 Y41_bit0 -Y42_bit0 -Y43_bit0 -Y44_bit0 -Y45_bit0 -Y46_bit0 Y47_bit0 -Y48_bit0 -Y49_bit0 Y50_bit0 -Y51_bit0 Y52_bit0 -Y53_bit0 -Y54_bit0 -Y55_bit0 Y56_bit0 -Y57_bit0 -Y58_bit0 -Y59_bit0 -Y60_bit0 -Y61_bit0 Y62_bit0 Y63_bit0 -Y64_bit0 -Y65_bit0 -Y66_bit0 -Y67_bit0 Y68_bit0 -Y69_bit0 -Y70_bit0 -Y71_bit0 Y72_bit0 -Y73_bit0 Y74_bit0 Y75_bit0 Y76_bit0 -Y77_bit0 -Y78_bit0 Y79_bit0 -Y80_bit0 Y81_bit0 -Y82_bit0 -Y83_bit0 -Y84_bit0 -Y85_bit0 -Y86_bit0 -Y87_bit0 Y88_bit0 Y89_bit0 Y90_bit0 Y91_bit0 -Y92_bit0 -Y93_bit0 Y94_bit0 -Y95_bit0 -Y96_bit0 -Y97_bit0 -Y98_bit0 -Y99_bit0 -Y100_bit0 -Y101_bit0 -Y102_bit0 -Y103_bit0 -Y104_bit0 -Y105_bit0 -Y106_bit0 Y107_bit0 -Y108_bit0 -Y109_bit0 -Y110_bit0 -Y111_bit0 Y112_bit0 Y113_bit0 -Y114_bit0 -Y115_bit0 -Y116_bit0 -Y117_bit0 -Y118_bit0 -Y119_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.97 0.91 1/54 2990
Raw data (stat): 2990 (runsolver) R 2989 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854771341 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.87 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 1313 0 0 0 996 2 0 0 25 0 1 0 854771341 11051008 1287 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2698 1287 566 18 0 2680 0
vsize: 10792
[startup+20.0008 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 1318 0 0 0 1995 3 0 0 25 0 1 0 854771341 11051008 1292 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2698 1292 566 18 0 2680 0
vsize: 10792
[startup+30.001 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 1525 0 0 0 2994 5 0 0 25 0 1 0 854771341 11939840 1499 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2915 1499 566 18 0 2897 0
vsize: 11660
[startup+40.0003 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 1962 0 0 0 3992 7 0 0 25 0 1 0 854771341 13705216 1932 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3346 1932 566 18 0 3328 0
vsize: 13384
[startup+50.001 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2383 0 0 0 4991 9 0 0 25 0 1 0 854771341 15429632 2353 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3767 2353 566 18 0 3749 0
vsize: 15068
[startup+60.014 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2448 0 0 0 5992 9 0 0 25 0 1 0 854771341 15691776 2418 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3831 2418 566 18 0 3813 0
vsize: 15324
[startup+70.0275 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2503 0 0 0 6992 10 0 0 25 0 1 0 854771341 15941632 2473 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 2473 566 18 0 3874 0
vsize: 15568
[startup+80.0282 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2503 0 0 0 7992 10 0 0 25 0 1 0 854771341 15941632 2473 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 2473 566 18 0 3874 0
vsize: 15568
[startup+90.0284 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2503 0 0 0 8991 11 0 0 25 0 1 0 854771341 15941632 2473 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 2473 566 18 0 3874 0
vsize: 15568
[startup+100.029 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2514 0 0 0 9990 13 0 0 25 0 1 0 854771341 15937536 2484 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3891 2484 566 18 0 3873 0
vsize: 15564
[startup+110.028 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2514 0 0 0 10989 14 0 0 25 0 1 0 854771341 15937536 2484 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3891 2484 566 18 0 3873 0
vsize: 15564
[startup+120.03 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2514 0 0 0 11988 16 0 0 25 0 1 0 854771341 15937536 2484 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3891 2484 566 18 0 3873 0
vsize: 15564
[startup+130.03 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2514 0 0 0 12986 17 0 0 25 0 1 0 854771341 15937536 2484 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3891 2484 566 18 0 3873 0
vsize: 15564
[startup+140.03 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2514 0 0 0 13985 18 0 0 25 0 1 0 854771341 15937536 2484 4294967295 134512640 134581267 3221224576 3221223440 134528299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3891 2484 566 18 0 3873 0
vsize: 15564
[startup+150.031 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2514 0 0 0 14984 20 0 0 25 0 1 0 854771341 15937536 2484 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3891 2484 566 18 0 3873 0
vsize: 15564
[startup+160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2514 0 0 0 15982 22 0 0 25 0 1 0 854771341 15937536 2484 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3891 2484 566 18 0 3873 0
vsize: 15564
[startup+170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2514 0 0 0 16981 23 0 0 25 0 1 0 854771341 15937536 2484 4294967295 134512640 134581267 3221224576 3221223440 134528326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3891 2484 566 18 0 3873 0
vsize: 15564
[startup+180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2514 0 0 0 17980 25 0 0 25 0 1 0 854771341 15937536 2484 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3891 2484 566 18 0 3873 0
vsize: 15564
[startup+190.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2514 0 0 0 18979 25 0 0 25 0 1 0 854771341 15937536 2484 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3891 2484 566 18 0 3873 0
vsize: 15564
[startup+200.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2577 0 0 0 19978 27 0 0 25 0 1 0 854771341 16191488 2547 4294967295 134512640 134581267 3221224576 3221223440 134528310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3953 2547 566 18 0 3935 0
vsize: 15812
[startup+210.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2587 0 0 0 20976 29 0 0 25 0 1 0 854771341 16191488 2557 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3953 2557 566 18 0 3935 0
vsize: 15812
[startup+220.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2587 0 0 0 21975 30 0 0 25 0 1 0 854771341 16191488 2557 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3953 2557 566 18 0 3935 0
vsize: 15812
[startup+230.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2587 0 0 0 22974 31 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+240.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2587 0 0 0 23972 34 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+250.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2587 0 0 0 24970 35 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223544 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+260.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2587 0 0 0 25968 37 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+270.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2587 0 0 0 26967 39 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+280.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2587 0 0 0 27966 40 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+290.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2587 0 0 0 28965 41 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+300.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2587 0 0 0 29964 42 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223440 134528390 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+310.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2587 0 0 0 30963 43 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+320.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2587 0 0 0 31963 44 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+330.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2587 0 0 0 32962 45 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+340.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2587 0 0 0 33961 46 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+350.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2587 0 0 0 34960 47 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223488 134527791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+360.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2587 0 0 0 35959 48 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+370.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2587 0 0 0 36958 49 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+380.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2587 0 0 0 37958 50 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+390.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2587 0 0 0 38957 50 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+400.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2587 0 0 0 39957 51 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+410.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2626 0 0 0 40956 52 0 0 25 0 1 0 854771341 16351232 2571 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3992 2571 566 18 0 3974 0
vsize: 15968
[startup+420.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2626 0 0 0 41956 53 0 0 25 0 1 0 854771341 16306176 2571 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3981 2571 566 18 0 3963 0
vsize: 15924
[startup+430.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2626 0 0 0 42955 54 0 0 25 0 1 0 854771341 16121856 2541 4294967295 134512640 134581267 3221224576 3221223440 134528291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3936 2541 566 18 0 3918 0
vsize: 15744
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2626 0 0 0 43953 55 0 0 25 0 1 0 854771341 16101376 2536 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3931 2536 566 18 0 3913 0
vsize: 15724
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2626 0 0 0 44953 56 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2626 0 0 0 45953 56 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+470.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2626 0 0 0 46951 58 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2626 0 0 0 47951 59 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223504 134519937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2626 0 0 0 48949 61 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223472 134517924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2626 0 0 0 49948 62 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2626 0 0 0 50947 63 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+520.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2626 0 0 0 51947 64 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+530.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2626 0 0 0 52945 65 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+540.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2626 0 0 0 53945 66 0 0 25 0 1 0 854771341 16084992 2532 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 2532 566 18 0 3909 0
vsize: 15708
[startup+550.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2645 0 0 0 54944 66 0 0 25 0 1 0 854771341 16216064 2551 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3959 2551 566 18 0 3941 0
vsize: 15836
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2659 0 0 0 55943 67 0 0 25 0 1 0 854771341 16289792 2565 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3977 2565 566 18 0 3959 0
vsize: 15908
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2659 0 0 0 56943 68 0 0 25 0 1 0 854771341 16240640 2565 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3965 2565 566 18 0 3947 0
vsize: 15860
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2659 0 0 0 57943 69 0 0 25 0 1 0 854771341 16203776 2561 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3956 2561 566 18 0 3938 0
vsize: 15824
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2659 0 0 0 58942 70 0 0 25 0 1 0 854771341 16203776 2561 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3956 2561 566 18 0 3938 0
vsize: 15824
[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2659 0 0 0 59941 71 0 0 25 0 1 0 854771341 16203776 2561 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3956 2561 566 18 0 3938 0
vsize: 15824
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2659 0 0 0 60941 71 0 0 25 0 1 0 854771341 16203776 2561 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3956 2561 566 18 0 3938 0
vsize: 15824
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2659 0 0 0 61940 72 0 0 25 0 1 0 854771341 16203776 2561 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3956 2561 566 18 0 3938 0
vsize: 15824
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2659 0 0 0 62940 73 0 0 25 0 1 0 854771341 16203776 2561 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3956 2561 566 18 0 3938 0
vsize: 15824
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2682 0 0 0 63939 73 0 0 25 0 1 0 854771341 16330752 2584 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3987 2584 566 18 0 3969 0
vsize: 15948
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2797 0 0 0 64939 74 0 0 25 0 1 0 854771341 16846848 2699 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4113 2699 566 18 0 4095 0
vsize: 16452
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2797 0 0 0 65939 74 0 0 25 0 1 0 854771341 16846848 2699 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4113 2699 566 18 0 4095 0
vsize: 16452
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2797 0 0 0 66938 75 0 0 25 0 1 0 854771341 16846848 2699 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4113 2699 566 18 0 4095 0
vsize: 16452
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2797 0 0 0 67938 75 0 0 25 0 1 0 854771341 16846848 2699 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4113 2699 566 18 0 4095 0
vsize: 16452
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2797 0 0 0 68937 76 0 0 25 0 1 0 854771341 16846848 2699 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4113 2699 566 18 0 4095 0
vsize: 16452
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2797 0 0 0 69937 76 0 0 25 0 1 0 854771341 16846848 2699 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4113 2699 566 18 0 4095 0
vsize: 16452
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2819 0 0 0 70936 78 0 0 25 0 1 0 854771341 16973824 2721 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4144 2721 566 18 0 4126 0
vsize: 16576
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2819 0 0 0 71935 79 0 0 25 0 1 0 854771341 16859136 2721 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2721 566 18 0 4098 0
vsize: 16464
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2819 0 0 0 72934 80 0 0 25 0 1 0 854771341 16859136 2721 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2721 566 18 0 4098 0
vsize: 16464
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2819 0 0 0 73933 81 0 0 25 0 1 0 854771341 16859136 2721 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2721 566 18 0 4098 0
vsize: 16464
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2819 0 0 0 74933 81 0 0 25 0 1 0 854771341 16859136 2721 4294967295 134512640 134581267 3221224576 3221223520 134558768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2721 566 18 0 4098 0
vsize: 16464
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2819 0 0 0 75933 82 0 0 25 0 1 0 854771341 16859136 2721 4294967295 134512640 134581267 3221224576 3221223440 134528318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2721 566 18 0 4098 0
vsize: 16464
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2819 0 0 0 76932 82 0 0 25 0 1 0 854771341 16859136 2721 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2721 566 18 0 4098 0
vsize: 16464
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2819 0 0 0 77931 84 0 0 25 0 1 0 854771341 16859136 2721 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2721 566 18 0 4098 0
vsize: 16464
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2819 0 0 0 78930 85 0 0 25 0 1 0 854771341 16859136 2721 4294967295 134512640 134581267 3221224576 3221223440 134560407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2721 566 18 0 4098 0
vsize: 16464
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2819 0 0 0 79930 86 0 0 25 0 1 0 854771341 16859136 2721 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2721 566 18 0 4098 0
vsize: 16464
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2819 0 0 0 80929 86 0 0 25 0 1 0 854771341 16859136 2721 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2721 566 18 0 4098 0
vsize: 16464
[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2819 0 0 0 81929 87 0 0 25 0 1 0 854771341 16859136 2721 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2721 566 18 0 4098 0
vsize: 16464
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2819 0 0 0 82929 87 0 0 25 0 1 0 854771341 16859136 2721 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2721 566 18 0 4098 0
vsize: 16464
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2819 0 0 0 83929 88 0 0 25 0 1 0 854771341 16859136 2721 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2721 566 18 0 4098 0
vsize: 16464
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2819 0 0 0 84928 88 0 0 25 0 1 0 854771341 16859136 2721 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2721 566 18 0 4098 0
vsize: 16464
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2819 0 0 0 85927 89 0 0 25 0 1 0 854771341 16859136 2721 4294967295 134512640 134581267 3221224576 3221223548 134527304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2721 566 18 0 4098 0
vsize: 16464
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2819 0 0 0 86927 89 0 0 25 0 1 0 854771341 16859136 2721 4294967295 134512640 134581267 3221224576 3221223504 134519817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2721 566 18 0 4098 0
vsize: 16464
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2819 0 0 0 87927 90 0 0 25 0 1 0 854771341 16859136 2721 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2721 566 18 0 4098 0
vsize: 16464
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2819 0 0 0 88926 92 0 0 25 0 1 0 854771341 16859136 2721 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2721 566 18 0 4098 0
vsize: 16464
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2819 0 0 0 89925 92 0 0 25 0 1 0 854771341 16859136 2721 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4116 2721 566 18 0 4098 0
vsize: 16464
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2842 0 0 0 90925 93 0 0 25 0 1 0 854771341 16990208 2744 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4148 2744 566 18 0 4130 0
vsize: 16592
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2845 0 0 0 91924 93 0 0 25 0 1 0 854771341 16990208 2747 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4148 2747 566 18 0 4130 0
vsize: 16592
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2845 0 0 0 92924 94 0 0 25 0 1 0 854771341 16990208 2747 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4148 2747 566 18 0 4130 0
vsize: 16592
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2845 0 0 0 93924 94 0 0 25 0 1 0 854771341 16990208 2747 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4148 2747 566 18 0 4130 0
vsize: 16592
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2845 0 0 0 94924 95 0 0 25 0 1 0 854771341 16990208 2747 4294967295 134512640 134581267 3221224576 3221223488 134527486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4148 2747 566 18 0 4130 0
vsize: 16592
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2845 0 0 0 95923 95 0 0 25 0 1 0 854771341 16990208 2747 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4148 2747 566 18 0 4130 0
vsize: 16592
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2866 0 0 0 96923 96 0 0 25 0 1 0 854771341 17125376 2768 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4181 2768 566 18 0 4163 0
vsize: 16724
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2909 0 0 0 97923 96 0 0 25 0 1 0 854771341 17260544 2811 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4214 2811 566 18 0 4196 0
vsize: 16856
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 2920 0 0 0 98922 97 0 0 25 0 1 0 854771341 17391616 2822 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4246 2822 566 18 0 4228 0
vsize: 16984
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 3289 0 0 0 99920 99 0 0 25 0 1 0 854771341 18849792 3191 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4602 3191 566 18 0 4584 0
vsize: 18408
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 3289 0 0 0 100920 100 0 0 25 0 1 0 854771341 18837504 3191 4294967295 134512640 134581267 3221224576 3221223324 1075285160 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4599 3191 566 18 0 4581 0
vsize: 18396
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 3289 0 0 0 101920 100 0 0 25 0 1 0 854771341 18833408 3191 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3191 566 18 0 4580 0
vsize: 18392
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 3289 0 0 0 102918 102 0 0 25 0 1 0 854771341 18833408 3191 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3191 566 18 0 4580 0
vsize: 18392
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 3289 0 0 0 103917 103 0 0 25 0 1 0 854771341 18833408 3191 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3191 566 18 0 4580 0
vsize: 18392
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 3289 0 0 0 104915 105 0 0 25 0 1 0 854771341 18833408 3191 4294967295 134512640 134581267 3221224576 3221223488 134527420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3191 566 18 0 4580 0
vsize: 18392
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 3289 0 0 0 105914 107 0 0 25 0 1 0 854771341 18833408 3191 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3191 566 18 0 4580 0
vsize: 18392
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 3289 0 0 0 106913 107 0 0 25 0 1 0 854771341 18833408 3191 4294967295 134512640 134581267 3221224576 3221223520 134558875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3191 566 18 0 4580 0
vsize: 18392
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 3289 0 0 0 107913 108 0 0 25 0 1 0 854771341 18833408 3191 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3191 566 18 0 4580 0
vsize: 18392
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 3289 0 0 0 108911 110 0 0 25 0 1 0 854771341 18833408 3191 4294967295 134512640 134581267 3221224576 3221223440 134528299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3191 566 18 0 4580 0
vsize: 18392
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 3289 0 0 0 109910 111 0 0 25 0 1 0 854771341 18833408 3191 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3191 566 18 0 4580 0
vsize: 18392
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 3289 0 0 0 110909 112 0 0 25 0 1 0 854771341 18833408 3191 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3191 566 18 0 4580 0
vsize: 18392
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 3289 0 0 0 111908 114 0 0 25 0 1 0 854771341 18833408 3191 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3191 566 18 0 4580 0
vsize: 18392
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 3289 0 0 0 112907 115 0 0 25 0 1 0 854771341 18833408 3191 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3191 566 18 0 4580 0
vsize: 18392
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 3289 0 0 0 113904 118 0 0 25 0 1 0 854771341 18833408 3191 4294967295 134512640 134581267 3221224576 3221223520 134558830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3191 566 18 0 4580 0
vsize: 18392
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 3289 0 0 0 114903 119 0 0 25 0 1 0 854771341 18833408 3191 4294967295 134512640 134581267 3221224576 3221223488 134527712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3191 566 18 0 4580 0
vsize: 18392
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 3289 0 0 0 115902 120 0 0 25 0 1 0 854771341 18833408 3191 4294967295 134512640 134581267 3221224576 3221223440 134528291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3191 566 18 0 4580 0
vsize: 18392
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 3289 0 0 0 116901 122 0 0 25 0 1 0 854771341 18833408 3191 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3191 566 18 0 4580 0
vsize: 18392
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 3289 0 0 0 117899 123 0 0 25 0 1 0 854771341 18833408 3191 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3191 566 18 0 4580 0
vsize: 18392
[startup+1188.83 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 2990
Raw data (stat): 2990 (Pueblo-v2) R 2989 31399 31398 0 -1 0 3289 0 0 0 117899 123 0 0 25 0 1 0 854771341 18833408 3191 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3191 566 18 0 4580 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189.02
CPU user time (s): 1187.76
CPU system time (s): 1.26681
CPU usage (%): 100.017
Max. virtual memory (Kb): 18408
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	836631
#### END VERIFIER DATA ####