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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb
MD5SUM	c1b4c3ad409db732d2b559e570b6f24c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	138
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	819200
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	4941871
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	2754
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	84
Trace number 28376

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-25 01:57:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13137 boxname=wulflinc5 idbench=1011 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  c1b4c3ad409db732d2b559e570b6f24c  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-vpm2.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-vpm2.opb
IDLAUNCH: 13137
/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:        650568 kB
Buffers:         16784 kB
Cached:         344376 kB
SwapCached:       1348 kB
Active:          31180 kB
Inactive:       333280 kB
HighTotal:      131008 kB
HighFree:        14448 kB
LowTotal:       903652 kB
LowFree:        636120 kB
SwapTotal:     2097136 kB
SwapFree:      2095356 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5744 kB
Slab:            13888 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 02:16:56 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 13137 0 1189.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-vpm2.opb
c #variables read: 2754 - #constraints read: 655
s SATISFIABLE
v x169_bit0 x170_bit0 x171_bit0 -x172_bit0 -x173_bit0 x174_bit0 x175_bit0 x176_bit0 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 -x241_bit0 -x242_bit0 -x243_bit0 -x244_bit0 x245_bit0 x246_bit0 -x247_bit0 -x248_bit0 -x249_bit0 -x250_bit0 x251_bit0 x252_bit0 -x253_bit0 -x254_bit0 -x255_bit0 -x256_bit0 -x257_bit0 -x258_bit0 -x259_bit0 -x260_bit0 -x261_bit0 -x262_bit0 -x263_bit0 x264_bit0 -x265_bit0 -x266_bit0 -x267_bit0 x268_bit0 -x269_bit0 x270_bit0 -x271_bit0 -x272_bit0 -x273_bit0 x274_bit0 x275_bit0 -x276_bit0 -x277_bit0 -x278_bit0 -x279_bit0 x280_bit0 x281_bit0 -x282_bit0 -x283_bit0 -x284_bit0 -x285_bit0 -x286_bit0 -x287_bit0 x288_bit0 x289_bit0 -x290_bit0 -x291_bit0 -x292_bit0 -x293_bit0 -x294_bit0 -x295_bit0 x296_bit0 -x297_bit0 -x298_bit0 -x299_bit0 -x300_bit0 x301_bit0 -x302_bit0 -x303_bit0 -x304_bit0 -x305_bit0 -x306_bit0 -x307_bit0 -x308_bit0 -x309_bit0 -x310_bit0 -x311_bit0 -x312_bit0 -x313_bit0 -x314_bit0 x315_bit0 -x316_bit0 -x317_bit0 -x318_bit0 -x319_bit0 -x320_bit0 x321_bit0 -x322_bit0 -x323_bit0 -x324_bit0 -x325_bit0 x326_bit0 x327_bit0 -x328_bit0 -x329_bit0 -x330_bit0 -x331_bit0 -x332_bit0 -x333_bit0 -x334_bit0 -x335_bit0 -x336_bit0 -x1_bit_10 -x1_bit_9 -x1_bit_8 x1_bit_7 x1_bit_6 x1_bit_5 x1_bit_4 -x1_bit_3 -x1_bit_2 -x1_bit_1 -x1_bit0 x2_bit_10 x2_bit_9 x2_bit_8 x2_bit_7 x2_bit_6 -x2_bit_5 x2_bit_4 x2_bit_3 -x2_bit_2 -x2_bit_1 -x2_bit0 x3_bit_10 x3_bit_9 x3_bit_8 x3_bit_7 x3_bit_6 x3_bit_5 x3_bit_4 x3_bit_3 x3_bit_2 -x3_bit_1 -x3_bit0 -x4_bit_10 -x4_bit_9 -x4_bit_8 -x4_bit_7 -x4_bit_6 -x4_bit_5 -x4_bit_4 -x4_bit_3 -x4_bit_2 -x4_bit_1 -x4_bit0 -x5_bit_10 -x5_bit_9 -x5_bit_8 -x5_bit_7 -x5_bit_6 -x5_bit_5 -x5_bit_4 -x5_bit_3 -x5_bit_2 -x5_bit_1 -x5_bit0 x6_bit_10 x6_bit_9 x6_bit_8 x6_bit_7 x6_bit_6 -x6_bit_5 x6_bit_4 x6_bit_3 -x6_bit_2 -x6_bit_1 -x6_bit0 x7_bit_10 x7_bit_9 x7_bit_8 x7_bit_7 -x7_bit_6 x7_bit_5 -x7_bit_4 -x7_bit_3 -x7_bit_2 -x7_bit_1 -x7_bit0 x8_bit_10 x8_bit_9 x8_bit_8 x8_bit_7 -x8_bit_6 x8_bit_5 x8_bit_4 -x8_bit_3 -x8_bit_2 -x8_bit_1 -x8_bit0 x9_bit_10 x9_bit_9 x9_bit_8 x9_bit_7 x9_bit_6 x9_bit_5 x9_bit_4 x9_bit_3 x9_bit_2 -x9_bit_1 -x9_bit0 -x10_bit_10 -x10_bit_9 -x10_bit_8 -x10_bit_7 -x10_bit_6 -x10_bit_5 -x10_bit_4 -x10_bit_3 -x10_bit_2 -x10_bit_1 -x10_bit0 -x11_bit_10 -x11_bit_9 -x11_bit_8 -x11_bit_7 -x11_bit_6 -x11_bit_5 -x11_bit_4 -x11_bit_3 -x11_bit_2 -x11_bit_1 -x11_bit0 -x12_bit_10 -x12_bit_9 -x12_bit_8 -x12_bit_7 -x12_bit_6 -x12_bit_5 -x12_bit_4 -x12_bit_3 -x12_bit_2 -x12_bit_1 -x12_bit0 x13_bit_10 -x13_bit_9 -x13_bit_8 -x13_bit_7 -x13_bit_6 -x13_bit_5 -x13_bit_4 -x13_bit_3 -x13_bit_2 -x13_bit_1 -x13_bit0 -x14_bit_10 x14_bit_9 -x14_bit_8 -x14_bit_7 -x14_bit_6 -x14_bit_5 -x14_bit_4 -x14_bit_3 -x14_bit_2 -x14_bit_1 -x14_bit0 x15_bit_10 x15_bit_9 x15_bit_8 x15_bit_7 x15_bit_6 x15_bit_5 x15_bit_4 x15_bit_3 -x15_bit_2 -x15_bit_1 -x15_bit0 -x16_bit_10 -x16_bit_9 -x16_bit_8 -x16_bit_7 -x16_bit_6 -x16_bit_5 -x16_bit_4 -x16_bit_3 -x16_bit_2 -x16_bit_1 -x16_bit0 -x17_bit_10 -x17_bit_9 -x17_bit_8 -x17_bit_7 -x17_bit_6 -x17_bit_5 -x17_bit_4 -x17_bit_3 -x17_bit_2 -x17_bit_1 -x17_bit0 x18_bit_10 -x18_bit_9 -x18_bit_8 x18_bit_7 x18_bit_6 -x18_bit_5 -x18_bit_4 x18_bit_3 x18_bit_2 x18_bit_1 -x18_bit0 -x19_bit_10 -x19_bit_9 -x19_bit_8 -x19_bit_7 -x19_bit_6 -x19_bit_5 -x19_bit_4 x19_bit_3 x19_bit_2 x19_bit_1 -x19_bit0 x20_bit_10 x20_bit_9 -x20_bit_8 x20_bit_7 x20_bit_6 x20_bit_5 x20_bit_4 x20_bit_3 -x20_bit_2 x20_bit_1 -x20_bit0 -x21_bit_10 x21_bit_9 x21_bit_8 -x21_bit_7 x21_bit_6 x21_bit_5 x21_bit_4 x21_bit_3 x21_bit_2 -x21_bit_1 -x21_bit0 -x22_bit_10 -x22_bit_9 -x22_bit_8 -x22_bit_7 -x22_bit_6 -x22_bit_5 -x22_bit_4 -x22_bit_3 -x22_bit_2 -x22_bit_1 -x22_bit0 -x23_bit_10 -x23_bit_9 -x23_bit_8 -x23_bit_7 -x23_bit_6 -x23_bit_5 -x23_bit_4 -x23_bit_3 -x23_bit_2 -x23_bit_1 -x23_bit0 -x24_bit_10 -x24_bit_9 -x24_bit_8 -x24_bit_7 -x24_bit_6 -x24_bit_5 -x24_bit_4 -x24_bit_3 -x24_bit_2 -x24_bit_1 -x24_bit0 -x25_bit_10 -x25_bit_9 -x25_bit_8 -x25_bit_7 -x25_bit_6 -x25_bit_5 -x25_bit_4 -x25_bit_3 -x25_bit_2 -x25_bit_1 -x25_bit0 x26_bit_10 x26_bit_9 x26_bit_8 -x26_bit_7 -x26_bit_6 -x26_bit_5 x26_bit_4 -x26_bit_3 -x26_bit_2 x26_bit_1 -x26_bit0 x27_bit_10 x27_bit_9 x27_bit_8 x27_bit_7 -x27_bit_6 -x27_bit_5 x27_bit_4 x27_bit_3 -x27_bit_2 -x27_bit_1 -x27_bit0 x28_bit_10 x28_bit_9 x28_bit_8 x28_bit_7 x28_bit_6 x28_bit_5 x28_bit_4 x28_bit_3 -x28_bit_2 -x28_bit_1 -x28_bit0 x29_bit_10 x29_bit_9 x29_bit_8 x29_bit_7 x29_bit_6 x29_bit_5 x29_bit_4 x29_bit_3 x29_bit_2 -x29_bit_1 -x29_bit0 -x30_bit_10 -x30_bit_9 -x30_bit_8 -x30_bit_7 -x30_bit_6 -x30_bit_5 -x30_bit_4 -x30_bit_3 -x30_bit_2 -x30_bit_1 -x30_bit0 -x31_bit_10 -x31_bit_9 -x31_bit_8 -x31_bit_7 -x31_bit_6 -x31_bit_5 -x31_bit_4 -x31_bit_3 -x31_bit_2 -x31_bit_1 -x31_bit0 -x32_bit_10 -x32_bit_9 -x32_bit_8 -x32_bit_7 -x32_bit_6 -x32_bit_5 -x32_bit_4 -x32_bit_3 -x32_bit_2 -x32_bit_1 -x32_bit0 -x33_bit_10 -x33_bit_9 -x33_bit_8 -x33_bit_7 -x33_bit_6 -x33_bit_5 -x33_bit_4 -x33_bit_3 -x33_bit_2 -x33_bit_1 -x33_bit0 x34_bit_10 x34_bit_9 x34_bit_8 x34_bit_7 x34_bit_6 x34_bit_5 x34_bit_4 x34_bit_3 -x34_bit_2 -x34_bit_1 -x34_bit0 -x35_bit_10 -x35_bit_9 -x35_bit_8 -x35_bit_7 -x35_bit_6 -x35_bit_5 -x35_bit_4 -x35_bit_3 -x35_bit_2 -x35_bit_1 -x35_bit0 -x36_bit_10 -x36_bit_9 -x36_bit_8 -x36_bit_7 -x36_bit_6 -x36_bit_5 -x36_bit_4 -x36_bit_3 -x36_bit_2 -x36_bit_1 -x36_bit0 -x37_bit_10 -x37_bit_9 -x37_bit_8 -x37_bit_7 -x37_bit_6 -x37_bit_5 -x37_bit_4 -x37_bit_3 -x37_bit_2 -x37_bit_1 -x37_bit0 -x38_bit_10 -x38_bit_9 -x38_bit_8 -x38_bit_7 -x38_bit_6 -x38_bit_5 -x38_bit_4 -x38_bit_3 -x38_bit_2 -x38_bit_1 -x38_bit0 -x39_bit_10 x39_bit_9 x39_bit_8 -x39_bit_7 x39_bit_6 -x39_bit_5 x39_bit_4 x39_bit_3 -x39_bit_2 -x39_bit_1 -x39_bit0 -x40_bit_10 -x40_bit_9 x40_bit_8 -x40_bit_7 x40_bit_6 x40_bit_5 x40_bit_4 x40_bit_3 -x40_bit_2 -x40_bit_1 -x40_bit0 -x41_bit_10 -x41_bit_9 -x41_bit_8 -x41_bit_7 -x41_bit_6 -x41_bit_5 -x41_bit_4 -x41_bit_3 -x41_bit_2 -x41_bit_1 -x41_bit0 -x42_bit_10 -x42_bit_9 -x42_bit_8 -x42_bit_7 -x42_bit_6 -x42_bit_5 -x42_bit_4 -x42_bit_3 -x42_bit_2 -x42_bit_1 -x42_bit0 -x43_bit_10 -x43_bit_9 -x43_bit_8 -x43_bit_7 -x43_bit_6 -x43_bit_5 -x43_bit_4 -x43_bit_3 -x43_bit_2 -x43_bit_1 -x43_bit0 -x44_bit_10 -x44_bit_9 -x44_bit_8 -x44_bit_7 -x44_bit_6 -x44_bit_5 -x44_bit_4 -x44_bit_3 -x44_bit_2 -x44_bit_1 -x44_bit0 -x45_bit_10 -x45_bit_9 x45_bit_8 x45_bit_7 x45_bit_6 x45_bit_5 x45_bit_4 x45_bit_3 -x45_bit_2 -x45_bit_1 -x45_bit0 x46_bit_10 x46_bit_9 x46_bit_8 x46_bit_7 x46_bit_6 x46_bit_5 x46_bit_4 x46_bit_3 -x46_bit_2 -x46_bit_1 -x46_bit0 x47_bit_10 x47_bit_9 x47_bit_8 x47_bit_7 x47_bit_6 x47_bit_5 x47_bit_4 x47_bit_3 x47_bit_2 -x47_bit_1 -x47_bit0 -x48_bit_10 -x48_bit_9 -x48_bit_8 -x48_bit_7 -x48_bit_6 -x48_bit_5 -x48_bit_4 -x48_bit_3 -x48_bit_2 -x48_bit_1 -x48_bit0 -x49_bit_10 -x49_bit_9 -x49_bit_8 -x49_bit_7 -x49_bit_6 -x49_bit_5 -x49_bit_4 -x49_bit_3 -x49_bit_2 -x49_bit_1 -x49_bit0 -x50_bit_10 -x50_bit_9 -x50_bit_8 -x50_bit_7 -x50_bit_6 -x50_bit_5 -x50_bit_4 -x50_bit_3 -x50_bit_2 -x50_bit_1 -x50_bit0 -x51_bit_10 -x51_bit_9 -x51_bit_8 -x51_bit_7 -x51_bit_6 -x51_bit_5 -x51_bit_4 -x51_bit_3 -x51_bit_2 -x51_bit_1 -x51_bit0 x52_bit_10 x52_bit_9 x52_bit_8 x52_bit_7 x52_bit_6 x52_bit_5 -x52_bit_4 -x52_bit_3 -x52_bit_2 -x52_bit_1 -x52_bit0 -x53_bit_10 x53_bit_9 x53_bit_8 x53_bit_7 x53_bit_6 x53_bit_5 -x53_bit_4 x53_bit_3 x53_bit_2 -x53_bit_1 -x53_bit0 -x54_bit_10 -x54_bit_9 -x54_bit_8 -x54_bit_7 -x54_bit_6 -x54_bit_5 -x54_bit_4 -x54_bit_3 -x54_bit_2 -x54_bit_1 -x54_bit0 -x55_bit_10 -x55_bit_9 -x55_bit_8 -x55_bit_7 -x55_bit_6 -x55_bit_5 -x55_bit_4 -x55_bit_3 -x55_bit_2 -x55_bit_1 -x55_bit0 -x56_bit_10 -x56_bit_9 -x56_bit_8 -x56_bit_7 -x56_bit_6 -x56_bit_5 -x56_bit_4 -x56_bit_3 -x56_bit_2 -x56_bit_1 -x56_bit0 -x57_bit_10 -x57_bit_9 -x57_bit_8 -x57_bit_7 -x57_bit_6 -x57_bit_5 -x57_bit_4 -x57_bit_3 -x57_bit_2 -x57_bit_1 -x57_bit0 -x58_bit_10 x58_bit_9 -x58_bit_8 -x58_bit_7 -x58_bit_6 -x58_bit_5 x58_bit_4 x58_bit_3 -x58_bit_2 -x58_bit_1 -x58_bit0 -x59_bit_10 -x59_bit_9 x59_bit_8 x59_bit_7 x59_bit_6 x59_bit_5 -x59_bit_4 -x59_bit_3 -x59_bit_2 -x59_bit_1 -x59_bit0 -x60_bit_10 -x60_bit_9 -x60_bit_8 -x60_bit_7 -x60_bit_6 -x60_bit_5 -x60_bit_4 -x60_bit_3 -x60_bit_2 -x60_bit_1 -x60_bit0 -x61_bit_10 -x61_bit_9 -x61_bit_8 -x61_bit_7 -x61_bit_6 -x61_bit_5 -x61_bit_4 -x61_bit_3 -x61_bit_2 -x61_bit_1 -x61_bit0 -x62_bit_10 -x62_bit_9 -x62_bit_8 -x62_bit_7 -x62_bit_6 -x62_bit_5 -x62_bit_4 -x62_bit_3 -x62_bit_2 -x62_bit_1 -x62_bit0 -x63_bit_10 -x63_bit_9 -x63_bit_8 -x63_bit_7 -x63_bit_6 -x63_bit_5 -x63_bit_4 -x63_bit_3 -x63_bit_2 -x63_bit_1 -x63_bit0 -x64_bit_10 -x64_bit_9 -x64_bit_8 -x64_bit_7 -x64_bit_6 -x64_bit_5 -x64_bit_4 -x64_bit_3 -x64_bit_2 -x64_bit_1 -x64_bit0 x65_bit_10 x65_bit_9 -x65_bit_8 -x65_bit_7 x65_bit_6 x65_bit_5 -x65_bit_4 x65_bit_3 -x65_bit_2 x65_bit_1 -x65_bit0 -x66_bit_10 -x66_bit_9 -x66_bit_8 -x66_bit_7 -x66_bit_6 -x66_bit_5 -x66_bit_4 -x66_bit_3 -x66_bit_2 -x66_bit_1 -x66_bit0 -x67_bit_10 -x67_bit_9 -x67_bit_8 -x67_bit_7 -x67_bit_6 -x67_bit_5 -x67_bit_4 -x67_bit_3 -x67_bit_2 -x67_bit_1 -x67_bit0 -x68_bit_10 -x68_bit_9 -x68_bit_8 -x68_bit_7 -x68_bit_6 -x68_bit_5 -x68_bit_4 -x68_bit_3 -x68_bit_2 -x68_bit_1 -x68_bit0 -x69_bit_10 -x69_bit_9 -x69_bit_8 -x69_bit_7 -x69_bit_6 -x69_bit_5 -x69_bit_4 -x69_bit_3 -x69_bit_2 -x69_bit_1 -x69_bit0 x70_bit_10 x70_bit_9 x70_bit_8 x70_bit_7 x70_bit_6 x70_bit_5 x70_bit_4 x70_bit_3 x70_bit_2 -x70_bit_1 -x70_bit0 -x71_bit_10 -x71_bit_9 -x71_bit_8 -x71_bit_7 -x71_bit_6 -x71_bit_5 -x71_bit_4 -x71_bit_3 x71_bit_2 -x71_bit_1 -x71_bit0 -x72_bit_10 -x72_bit_9 -x72_bit_8 -x72_bit_7 -x72_bit_6 -x72_bit_5 -x72_bit_4 -x72_bit_3 -x72_bit_2 -x72_bit_1 -x72_bit0 -x73_bit_10 -x73_bit_9 -x73_bit_8 -x73_bit_7 -x73_bit_6 -x73_bit_5 -x73_bit_4 -x73_bit_3 -x73_bit_2 -x73_bit_1 -x73_bit0 -x74_bit_10 -x74_bit_9 -x74_bit_8 -x74_bit_7 -x74_bit_6 -x74_bit_5 -x74_bit_4 -x74_bit_3 -x74_bit_2 -x74_bit_1 -x74_bit0 -x75_bit_10 -x75_bit_9 -x75_bit_8 -x75_bit_7 -x75_bit_6 -x75_bit_5 -x75_bit_4 -x75_bit_3 -x75_bit_2 -x75_bit_1 -x75_bit0 -x76_bit_10 -x76_bit_9 -x76_bit_8 -x76_bit_7 -x76_bit_6 -x76_bit_5 -x76_bit_4 -x76_bit_3 -x76_bit_2 -x76_bit_1 -x76_bit0 x77_bit_10 -x77_bit_9 -x77_bit_8 -x77_bit_7 -x77_bit_6 -x77_bit_5 -x77_bit_4 -x77_bit_3 -x77_bit_2 -x77_bit_1 -x77_bit0 x78_bit_10 x78_bit_9 x78_bit_8 x78_bit_7 x78_bit_6 x78_bit_5 x78_bit_4 x78_bit_3 x78_bit_2 -x78_bit_1 -x78_bit0 -x79_bit_10 -x79_bit_9 -x79_bit_8 -x79_bit_7 -x79_bit_6 -x79_bit_5 -x79_bit_4 -x79_bit_3 -x79_bit_2 -x79_bit_1 -x79_bit0 -x80_bit_10 -x80_bit_9 -x80_bit_8 -x80_bit_7 -x80_bit_6 -x80_bit_5 -x80_bit_4 -x80_bit_3 -x80_bit_2 -x80_bit_1 -x80_bit0 -x81_bit_10 -x81_bit_9 -x81_bit_8 -x81_bit_7 -x81_bit_6 -x81_bit_5 -x81_bit_4 -x81_bit_3 -x81_bit_2 -x81_bit_1 -x81_bit0 -x82_bit_10 -x82_bit_9 -x82_bit_8 -x82_bit_7 -x82_bit_6 -x82_bit_5 -x82_bit_4 -x82_bit_3 -x82_bit_2 -x82_bit_1 -x82_bit0 x83_bit_10 -x83_bit_9 x83_bit_8 -x83_bit_7 x83_bit_6 x83_bit_5 x83_bit_4 x83_bit_3 -x83_bit_2 x83_bit_1 -x83_bit0 -x84_bit_10 -x84_bit_9 x84_bit_8 x84_bit_7 -x84_bit_6 -x84_bit_5 x84_bit_4 x84_bit_3 x84_bit_2 x84_bit_1 -x84_bit0 -x85_bit_10 -x85_bit_9 -x85_bit_8 -x85_bit_7 -x85_bit_6 -x85_bit_5 -x85_bit_4 -x85_bit_3 -x85_bit_2 -x85_bit_1 -x85_bit0 -x86_bit_10 -x86_bit_9 -x86_bit_8 -x86_bit_7 -x86_bit_6 -x86_bit_5 -x86_bit_4 -x86_bit_3 -x86_bit_2 -x86_bit_1 -x86_bit0 -x87_bit_10 -x87_bit_9 -x87_bit_8 -x87_bit_7 -x87_bit_6 -x87_bit_5 -x87_bit_4 -x87_bit_3 -x87_bit_2 -x87_bit_1 -x87_bit0 -x88_bit_10 -x88_bit_9 -x88_bit_8 -x88_bit_7 -x88_bit_6 -x88_bit_5 -x88_bit_4 -x88_bit_3 -x88_bit_2 -x88_bit_1 -x88_bit0 -x89_bit_10 -x89_bit_9 -x89_bit_8 -x89_bit_7 -x89_bit_6 -x89_bit_5 -x89_bit_4 -x89_bit_3 -x89_bit_2 -x89_bit_1 -x89_bit0 -x90_bit_10 -x90_bit_9 -x90_bit_8 -x90_bit_7 -x90_bit_6 -x90_bit_5 -x90_bit_4 -x90_bit_3 -x90_bit_2 -x90_bit_1 -x90_bit0 -x91_bit_10 -x91_bit_9 -x91_bit_8 -x91_bit_7 -x91_bit_6 -x91_bit_5 -x91_bit_4 -x91_bit_3 -x91_bit_2 -x91_bit_1 -x91_bit0 -x92_bit_10 -x92_bit_9 -x92_bit_8 -x92_bit_7 -x92_bit_6 -x92_bit_5 -x92_bit_4 -x92_bit_3 -x92_bit_2 -x92_bit_1 -x92_bit0 -x93_bit_10 -x93_bit_9 -x93_bit_8 -x93_bit_7 -x93_bit_6 -x93_bit_5 -x93_bit_4 -x93_bit_3 -x93_bit_2 -x93_bit_1 -x93_bit0 -x94_bit_10 -x94_bit_9 -x94_bit_8 -x94_bit_7 -x94_bit_6 -x94_bit_5 -x94_bit_4 -x94_bit_3 -x94_bit_2 -x94_bit_1 -x94_bit0 -x95_bit_10 -x95_bit_9 -x95_bit_8 -x95_bit_7 -x95_bit_6 -x95_bit_5 -x95_bit_4 -x95_bit_3 -x95_bit_2 -x95_bit_1 -x95_bit0 -x96_bit_10 -x96_bit_9 x96_bit_8 -x96_bit_7 x96_bit_6 -x96_bit_5 x96_bit_4 -x96_bit_3 -x96_bit_2 x96_bit_1 -x96_bit0 -x97_bit_10 -x97_bit_9 -x97_bit_8 -x97_bit_7 -x97_bit_6 -x97_bit_5 -x97_bit_4 -x97_bit_3 -x97_bit_2 -x97_bit_1 -x97_bit0 -x98_bit_10 -x98_bit_9 -x98_bit_8 -x98_bit_7 -x98_bit_6 -x98_bit_5 -x98_bit_4 -x98_bit_3 -x98_bit_2 -x98_bit_1 -x98_bit0 -x99_bit_10 -x99_bit_9 -x99_bit_8 -x99_bit_7 -x99_bit_6 -x99_bit_5 -x99_bit_4 -x99_bit_3 -x99_bit_2 -x99_bit_1 -x99_bit0 -x100_bit_10 -x100_bit_9 x100_bit_8 x100_bit_7 x100_bit_6 x100_bit_5 -x100_bit_4 -x100_bit_3 x100_bit_2 -x100_bit_1 -x100_bit0 -x101_bit_10 -x101_bit_9 -x101_bit_8 -x101_bit_7 -x101_bit_6 -x101_bit_5 -x101_bit_4 -x101_bit_3 -x101_bit_2 -x101_bit_1 -x101_bit0 x102_bit_10 x102_bit_9 x102_bit_8 x102_bit_7 x102_bit_6 -x102_bit_5 x102_bit_4 x102_bit_3 -x102_bit_2 -x102_bit_1 -x102_bit0 -x103_bit_10 -x103_bit_9 -x103_bit_8 -x103_bit_7 -x103_bit_6 -x103_bit_5 -x103_bit_4 -x103_bit_3 -x103_bit_2 -x103_bit_1 -x103_bit0 -x104_bit_10 -x104_bit_9 -x104_bit_8 -x104_bit_7 -x104_bit_6 -x104_bit_5 -x104_bit_4 -x104_bit_3 -x104_bit_2 -x104_bit_1 -x104_bit0 -x105_bit_10 -x105_bit_9 -x105_bit_8 -x105_bit_7 -x105_bit_6 -x105_bit_5 -x105_bit_4 -x105_bit_3 -x105_bit_2 -x105_bit_1 -x105_bit0 x106_bit_10 -x106_bit_9 x106_bit_8 -x106_bit_7 -x106_bit_6 x106_bit_5 -x106_bit_4 x106_bit_3 x106_bit_2 -x106_bit_1 -x106_bit0 x107_bit_10 -x107_bit_9 x107_bit_8 -x107_bit_7 x107_bit_6 x107_bit_5 -x107_bit_4 -x107_bit_3 -x107_bit_2 -x107_bit_1 -x107_bit0 -x108_bit_10 -x108_bit_9 -x108_bit_8 -x108_bit_7 -x108_bit_6 -x108_bit_5 -x108_bit_4 -x108_bit_3 -x108_bit_2 -x108_bit_1 -x108_bit0 -x109_bit_10 -x109_bit_9 -x109_bit_8 -x109_bit_7 -x109_bit_6 -x109_bit_5 -x109_bit_4 -x109_bit_3 -x109_bit_2 -x109_bit_1 -x109_bit0 -x110_bit_10 -x110_bit_9 -x110_bit_8 -x110_bit_7 -x110_bit_6 -x110_bit_5 -x110_bit_4 -x110_bit_3 -x110_bit_2 -x110_bit_1 -x110_bit0 -x111_bit_10 -x111_bit_9 -x111_bit_8 -x111_bit_7 -x111_bit_6 -x111_bit_5 -x111_bit_4 -x111_bit_3 -x111_bit_2 -x111_bit_1 -x111_bit0 x112_bit_10 x112_bit_9 x112_bit_8 x112_bit_7 x112_bit_6 x112_bit_5 -x112_bit_4 -x112_bit_3 -x112_bit_2 x112_bit_1 -x112_bit0 x113_bit_10 x113_bit_9 x113_bit_8 x113_bit_7 x113_bit_6 x113_bit_5 x113_bit_4 -x113_bit_3 -x113_bit_2 -x113_bit_1 -x113_bit0 -x114_bit_10 -x114_bit_9 -x114_bit_8 -x114_bit_7 -x114_bit_6 -x114_bit_5 -x114_bit_4 -x114_bit_3 -x114_bit_2 -x114_bit_1 -x114_bit0 -x115_bit_10 -x115_bit_9 -x115_bit_8 -x115_bit_7 -x115_bit_6 -x115_bit_5 -x115_bit_4 -x115_bit_3 -x115_bit_2 -x115_bit_1 -x115_bit0 -x116_bit_10 -x116_bit_9 -x116_bit_8 -x116_bit_7 -x116_bit_6 -x116_bit_5 -x116_bit_4 -x116_bit_3 -x116_bit_2 -x116_bit_1 -x116_bit0 -x117_bit_10 -x117_bit_9 -x117_bit_8 -x117_bit_7 -x117_bit_6 -x117_bit_5 -x117_bit_4 -x117_bit_3 -x117_bit_2 -x117_bit_1 -x117_bit0 -x118_bit_10 -x118_bit_9 -x118_bit_8 -x118_bit_7 -x118_bit_6 -x118_bit_5 -x118_bit_4 -x118_bit_3 -x118_bit_2 -x118_bit_1 -x118_bit0 -x119_bit_10 -x119_bit_9 -x119_bit_8 -x119_bit_7 -x119_bit_6 -x119_bit_5 -x119_bit_4 -x119_bit_3 -x119_bit_2 -x119_bit_1 -x119_bit0 -x120_bit_10 -x120_bit_9 x120_bit_8 x120_bit_7 -x120_bit_6 x120_bit_5 -x120_bit_4 x120_bit_3 -x120_bit_2 -x120_bit_1 -x120_bit0 -x121_bit_10 -x121_bit_9 x121_bit_8 -x121_bit_7 -x121_bit_6 -x121_bit_5 -x121_bit_4 -x121_bit_3 x121_bit_2 x121_bit_1 -x121_bit0 -x122_bit_10 -x122_bit_9 -x122_bit_8 -x122_bit_7 -x122_bit_6 -x122_bit_5 -x122_bit_4 -x122_bit_3 -x122_bit_2 -x122_bit_1 -x122_bit0 -x123_bit_10 -x123_bit_9 -x123_bit_8 -x123_bit_7 -x123_bit_6 -x123_bit_5 -x123_bit_4 -x123_bit_3 -x123_bit_2 -x123_bit_1 -x123_bit0 -x124_bit_10 -x124_bit_9 -x124_bit_8 -x124_bit_7 -x124_bit_6 -x124_bit_5 -x124_bit_4 -x124_bit_3 -x124_bit_2 -x124_bit_1 -x124_bit0 -x125_bit_10 -x125_bit_9 -x125_bit_8 -x125_bit_7 -x125_bit_6 -x125_bit_5 -x125_bit_4 -x125_bit_3 -x125_bit_2 -x125_bit_1 -x125_bit0 -x126_bit_10 -x126_bit_9 -x126_bit_8 -x126_bit_7 -x126_bit_6 -x126_bit_5 -x126_bit_4 -x126_bit_3 -x126_bit_2 -x126_bit_1 -x126_bit0 -x127_bit_10 -x127_bit_9 -x127_bit_8 -x127_bit_7 -x127_bit_6 -x127_bit_5 -x127_bit_4 -x127_bit_3 -x127_bit_2 -x127_bit_1 -x127_bit0 -x128_bit_10 -x128_bit_9 -x128_bit_8 -x128_bit_7 -x128_bit_6 -x128_bit_5 -x128_bit_4 -x128_bit_3 -x128_bit_2 x128_bit_1 -x128_bit0 -x129_bit_10 -x129_bit_9 -x129_bit_8 -x129_bit_7 -x129_bit_6 -x129_bit_5 -x129_bit_4 -x129_bit_3 -x129_bit_2 -x129_bit_1 -x129_bit0 -x130_bit_10 -x130_bit_9 -x130_bit_8 -x130_bit_7 -x130_bit_6 -x130_bit_5 -x130_bit_4 -x130_bit_3 -x130_bit_2 -x130_bit_1 -x130_bit0 -x131_bit_10 -x131_bit_9 -x131_bit_8 -x131_bit_7 -x131_bit_6 -x131_bit_5 -x131_bit_4 -x131_bit_3 -x131_bit_2 -x131_bit_1 -x131_bit0 -x132_bit_10 -x132_bit_9 -x132_bit_8 -x132_bit_7 -x132_bit_6 -x132_bit_5 -x132_bit_4 -x132_bit_3 -x132_bit_2 -x132_bit_1 -x132_bit0 x133_bit_10 -x133_bit_9 -x133_bit_8 x133_bit_7 -x133_bit_6 x133_bit_5 -x133_bit_4 -x133_bit_3 x133_bit_2 x133_bit_1 -x133_bit0 -x134_bit_10 -x134_bit_9 -x134_bit_8 -x134_bit_7 -x134_bit_6 -x134_bit_5 -x134_bit_4 -x134_bit_3 -x134_bit_2 -x134_bit_1 -x134_bit0 -x135_bit_10 -x135_bit_9 -x135_bit_8 -x135_bit_7 -x135_bit_6 -x135_bit_5 -x135_bit_4 -x135_bit_3 -x135_bit_2 -x135_bit_1 -x135_bit0 -x136_bit_10 -x136_bit_9 -x136_bit_8 -x136_bit_7 -x136_bit_6 -x136_bit_5 -x136_bit_4 -x136_bit_3 -x136_bit_2 -x136_bit_1 -x136_bit0 -x137_bit_10 -x137_bit_9 -x137_bit_8 -x137_bit_7 -x137_bit_6 -x137_bit_5 -x137_bit_4 -x137_bit_3 -x137_bit_2 -x137_bit_1 -x137_bit0 -x138_bit_10 -x138_bit_9 -x138_bit_8 -x138_bit_7 -x138_bit_6 -x138_bit_5 -x138_bit_4 -x138_bit_3 -x138_bit_2 -x138_bit_1 -x138_bit0 -x139_bit_10 -x139_bit_9 -x139_bit_8 -x139_bit_7 -x139_bit_6 -x139_bit_5 -x139_bit_4 -x139_bit_3 -x139_bit_2 -x139_bit_1 -x139_bit0 -x140_bit_10 -x140_bit_9 -x140_bit_8 -x140_bit_7 -x140_bit_6 -x140_bit_5 -x140_bit_4 -x140_bit_3 -x140_bit_2 -x140_bit_1 -x140_bit0 -x141_bit_10 -x141_bit_9 -x141_bit_8 -x141_bit_7 -x141_bit_6 -x141_bit_5 -x141_bit_4 -x141_bit_3 -x141_bit_2 -x141_bit_1 -x141_bit0 -x142_bit_10 -x142_bit_9 -x142_bit_8 -x142_bit_7 -x142_bit_6 -x142_bit_5 -x142_bit_4 -x142_bit_3 -x142_bit_2 -x142_bit_1 -x142_bit0 -x143_bit_10 -x143_bit_9 -x143_bit_8 -x143_bit_7 -x143_bit_6 -x143_bit_5 -x143_bit_4 -x143_bit_3 -x143_bit_2 -x143_bit_1 -x143_bit0 -x144_bit_10 -x144_bit_9 -x144_bit_8 -x144_bit_7 -x144_bit_6 -x144_bit_5 -x144_bit_4 -x144_bit_3 -x144_bit_2 -x144_bit_1 -x144_bit0 -x145_bit_10 -x145_bit_9 -x145_bit_8 -x145_bit_7 -x145_bit_6 -x145_bit_5 -x145_bit_4 -x145_bit_3 -x145_bit_2 -x145_bit_1 -x145_bit0 -x146_bit_10 -x146_bit_9 -x146_bit_8 -x146_bit_7 -x146_bit_6 -x146_bit_5 -x146_bit_4 -x146_bit_3 -x146_bit_2 -x146_bit_1 -x146_bit0 x147_bit_10 x147_bit_9 x147_bit_8 x147_bit_7 -x147_bit_6 x147_bit_5 x147_bit_4 x147_bit_3 -x147_bit_2 -x147_bit_1 -x147_bit0 -x148_bit_10 -x148_bit_9 -x148_bit_8 -x148_bit_7 -x148_bit_6 -x148_bit_5 -x148_bit_4 -x148_bit_3 -x148_bit_2 -x148_bit_1 -x148_bit0 -x149_bit_10 -x149_bit_9 -x149_bit_8 -x149_bit_7 -x149_bit_6 -x149_bit_5 -x149_bit_4 -x149_bit_3 -x149_bit_2 -x149_bit_1 -x149_bit0 -x150_bit_10 -x150_bit_9 -x150_bit_8 -x150_bit_7 -x150_bit_6 -x150_bit_5 -x150_bit_4 -x150_bit_3 -x150_bit_2 -x150_bit_1 -x150_bit0 -x151_bit_10 -x151_bit_9 -x151_bit_8 -x151_bit_7 -x151_bit_6 -x151_bit_5 -x151_bit_4 -x151_bit_3 -x151_bit_2 -x151_bit_1 -x151_bit0 -x152_bit_10 -x152_bit_9 -x152_bit_8 -x152_bit_7 -x152_bit_6 -x152_bit_5 -x152_bit_4 -x152_bit_3 -x152_bit_2 -x152_bit_1 -x152_bit0 x153_bit_10 x153_bit_9 x153_bit_8 x153_bit_7 x153_bit_6 x153_bit_5 x153_bit_4 -x153_bit_3 x153_bit_2 -x153_bit_1 -x153_bit0 -x154_bit_10 -x154_bit_9 -x154_bit_8 -x154_bit_7 -x154_bit_6 -x154_bit_5 -x154_bit_4 -x154_bit_3 -x154_bit_2 -x154_bit_1 -x154_bit0 -x155_bit_10 -x155_bit_9 -x155_bit_8 -x155_bit_7 -x155_bit_6 -x155_bit_5 -x155_bit_4 -x155_bit_3 -x155_bit_2 -x155_bit_1 -x155_bit0 -x156_bit_10 -x156_bit_9 -x156_bit_8 -x156_bit_7 -x156_bit_6 -x156_bit_5 -x156_bit_4 -x156_bit_3 -x156_bit_2 -x156_bit_1 -x156_bit0 -x157_bit_10 -x157_bit_9 -x157_bit_8 -x157_bit_7 -x157_bit_6 -x157_bit_5 -x157_bit_4 -x157_bit_3 -x157_bit_2 -x157_bit_1 -x157_bit0 -x158_bit_10 -x158_bit_9 -x158_bit_8 -x158_bit_7 -x158_bit_6 -x158_bit_5 -x158_bit_4 -x158_bit_3 x158_bit_2 x158_bit_1 -x158_bit0 x159_bit_10 x159_bit_9 x159_bit_8 -x159_bit_7 x159_bit_6 x159_bit_5 x159_bit_4 x159_bit_3 -x159_bit_2 -x159_bit_1 -x159_bit0 -x160_bit_10 -x160_bit_9 -x160_bit_8 -x160_bit_7 -x160_bit_6 -x160_bit_5 -x160_bit_4 -x160_bit_3 -x160_bit_2 -x160_bit_1 -x160_bit0 -x161_bit_10 -x161_bit_9 -x161_bit_8 -x161_bit_7 -x161_bit_6 -x161_bit_5 -x161_bit_4 -x161_bit_3 -x161_bit_2 -x161_bit_1 -x161_bit0 -x162_bit_10 -x162_bit_9 -x162_bit_8 -x162_bit_7 -x162_bit_6 -x162_bit_5 -x162_bit_4 -x162_bit_3 -x162_bit_2 -x162_bit_1 -x162_bit0 -x163_bit_10 -x163_bit_9 -x163_bit_8 -x163_bit_7 -x163_bit_6 -x163_bit_5 -x163_bit_4 -x163_bit_3 -x163_bit_2 -x163_bit_1 -x163_bit0 -x164_bit_10 -x164_bit_9 -x164_bit_8 -x164_bit_7 -x164_bit_6 -x164_bit_5 -x164_bit_4 -x164_bit_3 -x164_bit_2 -x164_bit_1 -x164_bit0 -x165_bit_10 -x165_bit_9 -x165_bit_8 -x165_bit_7 -x165_bit_6 -x165_bit_5 -x165_bit_4 -x165_bit_3 -x165_bit_2 -x165_bit_1 -x165_bit0 -x166_bit_10 -x166_bit_9 -x166_bit_8 -x166_bit_7 -x166_bit_6 -x166_bit_5 -x166_bit_4 -x166_bit_3 -x166_bit_2 -x166_bit_1 -x166_bit0 -x167_bit_10 -x167_bit_9 -x167_bit_8 -x167_bit_7 -x167_bit_6 -x167_bit_5 -x167_bit_4 -x167_bit_3 -x167_bit_2 -x167_bit_1 -x167_bit0 -x168_bit_10 -x168_bit_9 -x168_bit_8 -x168_bit_7 -x168_bit_6 -x168_bit_5 -x168_bit_4 -x168_bit_3 -x168_bit_2 -x168_bit_1 -x168_bit0 -x337_bit_10 -x337_bit_9 x337_bit_8 -x337_bit_7 -x337_bit_6 x337_bit_5 x337_bit_4 -x337_bit_3 -x337_bit_2 -x337_bit_1 -x337_bit0 -x337_bit1 -x337_bit2 -x337_bit3 -x337_bit4 -x337_bit5 -x337_bit6 -x337_bit7 -x338_bit_10 -x338_bit_9 x338_bit_8 -x338_bit_7 x338_bit_6 x338_bit_5 x338_bit_4 x338_bit_3 x338_bit_2 -x338_bit_1 -x338_bit0 -x338_bit1 -x338_bit2 -x338_bit3 -x338_bit4 -x338_bit5 -x338_bit6 -x338_bit7 -x339_bit_10 -x339_bit_9 -x339_bit_8 x339_bit_7 x339_bit_6 x339_bit_5 -x339_bit_4 x339_bit_3 -x339_bit_2 x339_bit_1 -x339_bit0 -x339_bit1 x339_bit2 -x339_bit3 -x339_bit4 -x339_bit5 x339_bit6 x339_bit7 -x340_bit_10 -x340_bit_9 -x340_bit_8 x340_bit_7 x340_bit_6 x340_bit_5 -x340_bit_4 x340_bit_3 -x340_bit_2 x340_bit_1 -x340_bit0 -x340_bit1 x340_bit2 -x340_bit3 -x340_bit4 -x340_bit5 x340_bit6 x340_bit7 -x341_bit_10 -x341_bit_9 -x341_bit_8 x341_bit_7 x341_bit_6 x341_bit_5 -x341_bit_4 x341_bit_3 -x341_bit_2 x341_bit_1 -x341_bit0 -x341_bit1 x341_bit2 -x341_bit3 -x341_bit4 -x341_bit5 x341_bit6 x341_bit7 -x342_bit_10 -x342_bit_9 -x342_bit_8 -x342_bit_7 -x342_bit_6 -x342_bit_5 -x342_bit_4 -x342_bit_3 -x342_bit_2 -x342_bit_1 -x342_bit0 -x342_bit1 -x342_bit2 -x342_bit3 -x342_bit4 -x342_bit5 -x342_bit6 -x342_bit7 -x343_bit_10 -x343_bit_9 -x343_bit_8 -x343_bit_7 -x343_bit_6 -x343_bit_5 -x343_bit_4 -x343_bit_3 -x343_bit_2 -x343_bit_1 -x343_bit0 -x343_bit1 -x343_bit2 x343_bit3 -x343_bit4 -x343_bit5 x343_bit6 x343_bit7 -x344_bit_10 -x344_bit_9 -x344_bit_8 -x344_bit_7 x344_bit_6 x344_bit_5 x344_bit_4 x344_bit_3 -x344_bit_2 x344_bit_1 x344_bit0 x344_bit1 x344_bit2 x344_bit3 x344_bit4 x344_bit5 x344_bit6 -x344_bit7 -x345_bit_10 -x345_bit_9 -x345_bit_8 x345_bit_7 x345_bit_6 x345_bit_5 -x345_bit_4 x345_bit_3 x345_bit_2 x345_bit_1 x345_bit0 x345_bit1 x345_bit2 x345_bit3 x345_bit4 x345_bit5 x345_bit6 -x345_bit7 -x346_bit_10 -x346_bit_9 -x346_bit_8 -x346_bit_7 -x346_bit_6 x346_bit_5 -x346_bit_4 -x346_bit_3 x346_bit_2 x346_bit_1 -x346_bit0 -x346_bit1 -x346_bit2 -x346_bit3 -x346_bit4 -x346_bit5 -x346_bit6 -x346_bit7 -x347_bit_10 -x347_bit_9 -x347_bit_8 -x347_bit_7 -x347_bit_6 -x347_bit_5 -x347_bit_4 -x347_bit_3 -x347_bit_2 -x347_bit_1 -x347_bit0 -x347_bit1 -x347_bit2 -x347_bit3 -x347_bit4 -x347_bit5 -x347_bit6 -x347_bit7 -x348_bit_10 -x348_bit_9 -x348_bit_8 -x348_bit_7 -x348_bit_6 -x348_bit_5 -x348_bit_4 -x348_bit_3 -x348_bit_2 -x348_bit_1 -x348_bit0 -x348_bit1 -x348_bit2 -x348_bit3 -x348_bit4 -x348_bit5 -x348_bit6 -x348_bit7 -x349_bit_10 -x349_bit_9 -x349_bit_8 -x349_bit_7 -x349_bit_6 -x349_bit_5 -x349_bit_4 -x349_bit_3 -x349_bit_2 -x349_bit_1 -x349_bit0 -x349_bit1 x349_bit2 -x349_bit3 -x349_bit4 x349_bit5 x349_bit6 -x350_bit_10 -x350_bit_9 -x350_bit_8 -x350_bit_7 -x350_bit_6 -x350_bit_5 -x350_bit_4 -x350_bit_3 -x350_bit_2 -x350_bit_1 -x350_bit0 -x350_bit1 x350_bit2 -x350_bit3 -x350_bit4 x350_bit5 x350_bit6 -x351_bit_10 -x351_bit_9 -x351_bit_8 -x351_bit_7 -x351_bit_6 -x351_bit_5 -x351_bit_4 -x351_bit_3 -x351_bit_2 -x351_bit_1 -x351_bit0 -x351_bit1 x351_bit2 -x351_bit3 -x351_bit4 x351_bit5 x351_bit6 -x352_bit_10 -x352_bit_9 -x352_bit_8 -x352_bit_7 -x352_bit_6 -x352_bit_5 -x352_bit_4 -x352_bit_3 -x352_bit_2 -x352_bit_1 -x352_bit0 -x352_bit1 x352_bit2 -x352_bit3 -x352_bit4 x352_bit5 x352_bit6 -x353_bit_10 -x353_bit_9 x353_bit_8 -x353_bit_7 -x353_bit_6 x353_bit_5 x353_bit_4 -x353_bit_3 -x353_bit_2 -x353_bit_1 -x353_bit0 -x353_bit1 -x353_bit2 -x353_bit3 -x353_bit4 -x353_bit5 -x353_bit6 -x354_bit_10 -x354_bit_9 x354_bit_8 -x354_bit_7 -x354_bit_6 x354_bit_5 x354_bit_4 -x354_bit_3 -x354_bit_2 -x354_bit_1 -x354_bit0 -x354_bit1 -x354_bit2 -x354_bit3 -x354_bit4 -x354_bit5 -x354_bit6 -x355_bit_10 -x355_bit_9 -x355_bit_8 -x355_bit_7 -x355_bit_6 -x355_bit_5 -x355_bit_4 -x355_bit_3 -x355_bit_2 -x355_bit_1 -x355_bit0 -x355_bit1 x355_bit2 -x355_bit3 -x355_bit4 x355_bit5 x355_bit6 -x356_bit_10 -x356_bit_9 -x356_bit_8 -x356_bit_7 -x356_bit_6 -x356_bit_5 -x356_bit_4 -x356_bit_3 -x356_bit_2 -x356_bit_1 -x356_bit0 -x356_bit1 x356_bit2 -x356_bit3 -x356_bit4 x356_bit5 x356_bit6 -x357_bit_10 -x357_bit_9 -x357_bit_8 -x357_bit_7 -x357_bit_6 -x357_bit_5 -x357_bit_4 -x357_bit_3 -x357_bit_2 -x357_bit_1 -x357_bit0 -x357_bit1 x357_bit2 -x357_bit3 -x357_bit4 x357_bit5 x357_bit6 -x358_bit_10 -x358_bit_9 -x358_bit_8 -x358_bit_7 -x358_bit_6 -x358_bit_5 -x358_bit_4 -x358_bit_3 -x358_bit_2 -x358_bit_1 -x358_bit0 -x358_bit1 x358_bit2 -x358_bit3 -x358_bit4 x358_bit5 x358_bit6 -x359_bit_10 -x359_bit_9 x359_bit_8 x359_bit_7 x359_bit_6 x359_bit_5 x359_bit_4 x359_bit_3 x359_bit_2 x359_bit_1 x359_bit0 x359_bit1 x359_bit2 x359_bit3 x359_bit4 -x359_bit5 x359_bit6 -x360_bit_10 -x360_bit_9 -x360_bit_8 -x360_bit_7 -x360_bit_6 -x360_bit_5 -x360_bit_4 -x360_bit_3 -x360_bit_2 -x360_bit_1 -x360_bit0 -x360_bit1 -x360_bit2 -x360_bit3 -x360_bit4 -x360_bit5 -x360_bit6 -x361_bit_10 -x361_bit_9 -x361_bit_8 -x361_bit_7 -x361_bit_6 -x361_bit_5 -x361_bit_4 -x361_bit_3 -x361_bit_2 -x361_bit_1 -x361_bit0 -x361_bit1 x361_bit2 x361_bit3 -x361_bit4 x361_bit5 -x361_bit6 -x361_bit7 x361_bit8 -x362_bit_10 -x362_bit_9 -x362_bit_8 -x362_bit_7 -x362_bit_6 -x362_bit_5 -x362_bit_4 -x362_bit_3 -x362_bit_2 -x362_bit_1 -x362_bit0 -x362_bit1 x362_bit2 x362_bit3 -x362_bit4 x362_bit5 -x362_bit6 -x362_bit7 x362_bit8 -x363_bit_10 -x363_bit_9 -x363_bit_8 -x363_bit_7 -x363_bit_6 -x363_bit_5 -x363_bit_4 -x363_bit_3 -x363_bit_2 -x363_bit_1 -x363_bit0 -x363_bit1 x363_bit2 x363_bit3 -x363_bit4 x363_bit5 -x363_bit6 -x363_bit7 x363_bit8 -x364_bit_10 -x364_bit_9 x364_bit_8 -x364_bit_7 -x364_bit_6 x364_bit_5 x364_bit_4 -x364_bit_3 -x364_bit_2 -x364_bit_1 -x364_bit0 -x364_bit1 -x364_bit2 -x364_bit3 -x364_bit4 -x364_bit5 -x364_bit6 -x364_bit7 -x364_bit8 -x365_bit_10 -x365_bit_9 -x365_bit_8 x365_bit_7 -x365_bit_6 x365_bit_5 x365_bit_4 -x365_bit_3 x365_bit_2 x365_bit_1 -x365_bit0 x365_bit1 x365_bit2 -x365_bit3 x365_bit4 -x365_bit5 -x365_bit6 -x365_bit7 -x365_bit8 -x366_bit_10 -x366_bit_9 -x366_bit_8 -x366_bit_7 -x366_bit_6 -x366_bit_5 -x366_bit_4 -x366_bit_3 -x366_bit_2 -x366_bit_1 -x366_bit0 -x366_bit1 -x366_bit2 -x366_bit3 -x366_bit4 -x366_bit5 -x366_bit6 -x366_bit7 -x366_bit8 -x367_bit_10 -x367_bit_9 -x367_bit_8 x367_bit_7 -x367_bit_6 -x367_bit_5 x367_bit_4 x367_bit_3 -x367_bit_2 -x367_bit_1 -x367_bit0 -x367_bit1 -x367_bit2 -x367_bit3 -x367_bit4 -x367_bit5 -x367_bit6 -x368_bit_10 -x368_bit_9 -x368_bit_8 x368_bit_7 -x368_bit_6 -x368_bit_5 x368_bit_4 x368_bit_3 -x368_bit_2 -x368_bit_1 -x368_bit0 x368_bit1 -x368_bit2 -x368_bit3 x368_bit4 x368_bit5 -x368_bit6 -x369_bit_10 -x369_bit_9 -x369_bit_8 x369_bit_7 -x369_bit_6 -x369_bit_5 x369_bit_4 x369_bit_3 -x369_bit_2 -x369_bit_1 -x369_bit0 x369_bit1 -x369_bit2 -x369_bit3 x369_bit4 x369_bit5 -x369_bit6 -x370_bit_10 -x370_bit_9 -x370_bit_8 x370_bit_7 -x370_bit_6 -x370_bit_5 x370_bit_4 x370_bit_3 -x370_bit_2 -x370_bit_1 -x370_bit0 x370_bit1 -x370_bit2 -x370_bit3 x370_bit4 x370_bit5 -x370_bit6 -x371_bit_10 -x371_bit_9 -x371_bit_8 x371_bit_7 -x371_bit_6 -x371_bit_5 x371_bit_4 x371_bit_3 -x371_bit_2 -x371_bit_1 -x371_bit0 x371_bit1 -x371_bit2 -x371_bit3 x371_bit4 x371_bit5 -x371_bit6 -x372_bit_10 -x372_bit_9 -x372_bit_8 x372_bit_7 -x372_bit_6 -x372_bit_5 x372_bit_4 x372_bit_3 -x372_bit_2 -x372_bit_1 -x372_bit0 x372_bit1 -x372_bit2 -x372_bit3 x372_bit4 x372_bit5 -x372_bit6 -x373_bit_10 -x373_bit_9 -x373_bit_8 -x373_bit_7 -x373_bit_6 -x373_bit_5 -x373_bit_4 -x373_bit_3 -x373_bit_2 -x373_bit_1 -x373_bit0 -x373_bit1 x373_bit2 -x373_bit3 -x373_bit4 x373_bit5 x373_bit6 -x374_bit_10 -x374_bit_9 -x374_bit_8 -x374_bit_7 -x374_bit_6 -x374_bit_5 -x374_bit_4 -x374_bit_3 -x374_bit_2 -x374_bit_1 -x374_bit0 -x374_bit1 x374_bit2 -x374_bit3 -x374_bit4 x374_bit5 x374_bit6 -x375_bit_10 -x375_bit_9 -x375_bit_8 x375_bit_7 -x375_bit_6 -x375_bit_5 x375_bit_4 x375_bit_3 -x375_bit_2 -x375_bit_1 -x375_bit0 -x375_bit1 -x375_bit2 -x375_bit3 -x375_bit4 -x375_bit5 -x375_bit6 -x376_bit_10 -x376_bit_9 -x376_bit_8 x376_bit_7 -x376_bit_6 -x376_bit_5 x376_bit_4 x376_bit_3 -x376_bit_2 -x376_bit_1 -x376_bit0 -x376_bit1 -x376_bit2 -x376_bit3 -x376_bit4 -x376_bit5 -x376_bit6 -x377_bit_10 -x377_bit_9 -x377_bit_8 x377_bit_7 -x377_bit_6 -x377_bit_5 x377_bit_4 x377_bit_3 -x377_bit_2 -x377_bit_1 -x377_bit0 -x377_bit1 -x377_bit2 -x377_bit3 -x377_bit4 -x377_bit5 -x377_bit6 -x378_bit_10 -x378_bit_9 -x378_bit_8 x378_bit_7 -x378_bit_6 -x378_bit_5 x378_bit_4 x378_bit_3 -x378_bit_2 -x378_bit_1 -x378_bit0 -x378_bit1 -x378_bit2 -x378_bit3 -x378_bit4 -x378_bit5 -x378_bit6 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.97 2/54 16340
Raw data (stat): 16340 (runsolver) R 16339 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776870684 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.97 0.97 2/54 16340
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 873 0 0 0 996 2 0 0 25 0 1 0 776870684 9261056 851 4294967295 134512640 134581331 3221224608 3221223472 134528425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2261 851 566 18 0 2243 0
vsize: 9044
[startup+19.9998 s]
Raw data (loadavg): 0.94 0.97 0.97 2/54 16340
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 985 0 0 0 1996 2 0 0 25 0 1 0 776870684 9797632 963 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2392 963 566 18 0 2374 0
vsize: 9568
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.97 0.97 2/54 16340
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 985 0 0 0 2996 2 0 0 25 0 1 0 776870684 9797632 963 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2392 963 566 18 0 2374 0
vsize: 9568
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.97 0.97 2/54 16340
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 985 0 0 0 3997 2 0 0 25 0 1 0 776870684 9797632 963 4294967295 134512640 134581331 3221224608 3221223536 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2392 963 566 18 0 2374 0
vsize: 9568
[startup+50.0142 s]
Raw data (loadavg): 0.96 0.97 0.97 2/54 16340
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 985 0 0 0 4998 2 0 0 25 0 1 0 776870684 9797632 963 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2392 963 566 18 0 2374 0
vsize: 9568
[startup+60.0142 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 16340
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 985 0 0 0 5998 2 0 0 25 0 1 0 776870684 9797632 963 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2392 963 566 18 0 2374 0
vsize: 9568
[startup+70.0136 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 16340
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 985 0 0 0 6998 2 0 0 25 0 1 0 776870684 9797632 963 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2392 963 566 18 0 2374 0
vsize: 9568
[startup+80.0153 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 16340
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 985 0 0 0 7999 2 0 0 25 0 1 0 776870684 9797632 963 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2392 963 566 18 0 2374 0
vsize: 9568
[startup+90.0154 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 16340
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 985 0 0 0 8999 2 0 0 25 0 1 0 776870684 9797632 963 4294967295 134512640 134581331 3221224608 3221223472 134528287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2392 963 566 18 0 2374 0
vsize: 9568
[startup+100.016 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 16340
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1023 0 0 0 9999 3 0 0 25 0 1 0 776870684 9928704 1001 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2424 1001 566 18 0 2406 0
vsize: 9696
[startup+110.017 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 16340
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1023 0 0 0 10999 3 0 0 25 0 1 0 776870684 9928704 1001 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2424 1001 566 18 0 2406 0
vsize: 9696
[startup+120.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16340
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1025 0 0 0 11999 3 0 0 25 0 1 0 776870684 9928704 1003 4294967295 134512640 134581331 3221224608 3221223520 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2424 1003 566 18 0 2406 0
vsize: 9696
[startup+130.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16340
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1038 0 0 0 12999 3 0 0 25 0 1 0 776870684 9928704 1016 4294967295 134512640 134581331 3221224608 3221223440 134531748 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2424 1016 566 18 0 2406 0
vsize: 9696
[startup+140.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16340
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1199 0 0 0 13995 7 0 0 25 0 1 0 776870684 10596352 1177 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1177 566 18 0 2569 0
vsize: 10348
[startup+150.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16340
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1199 0 0 0 14992 10 0 0 25 0 1 0 776870684 10596352 1177 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1177 566 18 0 2569 0
vsize: 10348
[startup+160.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16340
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1199 0 0 0 15987 16 0 0 25 0 1 0 776870684 10596352 1177 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1177 566 18 0 2569 0
vsize: 10348
[startup+170.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 16340
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1199 0 0 0 16983 20 0 0 25 0 1 0 776870684 10596352 1177 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1177 566 18 0 2569 0
vsize: 10348
[startup+180.018 s]
Raw data (loadavg): 0.99 0.97 0.97 3/57 16380
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1199 0 0 0 17977 26 0 0 25 0 1 0 776870684 10596352 1177 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1177 566 18 0 2569 0
vsize: 10348
[startup+190.018 s]
Raw data (loadavg): 1.07 0.99 0.98 2/54 16393
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1199 0 0 0 18972 31 0 0 25 0 1 0 776870684 10596352 1177 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1177 566 18 0 2569 0
vsize: 10348
[startup+200.018 s]
Raw data (loadavg): 1.06 0.99 0.98 2/54 16393
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1199 0 0 0 19967 36 0 0 25 0 1 0 776870684 10596352 1177 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1177 566 18 0 2569 0
vsize: 10348
[startup+210.017 s]
Raw data (loadavg): 1.05 0.99 0.98 2/54 16393
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1262 0 0 0 20964 39 0 0 25 0 1 0 776870684 10862592 1240 4294967295 134512640 134581331 3221224608 3221223516 134527740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2652 1240 566 18 0 2634 0
vsize: 10608
[startup+220.018 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 16393
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1262 0 0 0 21960 43 0 0 25 0 1 0 776870684 10862592 1240 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2652 1240 566 18 0 2634 0
vsize: 10608
[startup+230.019 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 16393
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1262 0 0 0 22957 47 0 0 25 0 1 0 776870684 10862592 1240 4294967295 134512640 134581331 3221224608 3221223520 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2652 1240 566 18 0 2634 0
vsize: 10608
[startup+240.019 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 16393
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1295 0 0 0 23953 51 0 0 25 0 1 0 776870684 10891264 1256 4294967295 134512640 134581331 3221224608 3221223472 134528281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1256 566 18 0 2641 0
vsize: 10636
[startup+250.018 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 16393
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1295 0 0 0 24947 57 0 0 25 0 1 0 776870684 10891264 1256 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1256 566 18 0 2641 0
vsize: 10636
[startup+260.019 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1295 0 0 0 25942 62 0 0 25 0 1 0 776870684 10891264 1256 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1256 566 18 0 2641 0
vsize: 10636
[startup+270.019 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1295 0 0 0 26939 66 0 0 25 0 1 0 776870684 10891264 1256 4294967295 134512640 134581331 3221224608 3221222736 134566772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1256 566 18 0 2641 0
vsize: 10636
[startup+280.02 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1295 0 0 0 27933 72 0 0 25 0 1 0 776870684 10891264 1256 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1256 566 18 0 2641 0
vsize: 10636
[startup+290.02 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1295 0 0 0 28929 76 0 0 25 0 1 0 776870684 10891264 1256 4294967295 134512640 134581331 3221224608 3221223520 134527649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1256 566 18 0 2641 0
vsize: 10636
[startup+300.02 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1296 0 0 0 29922 83 0 0 25 0 1 0 776870684 11026432 1257 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2692 1257 566 18 0 2674 0
vsize: 10768
[startup+310.038 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1296 0 0 0 30917 91 0 0 25 0 1 0 776870684 11026432 1257 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2692 1257 566 18 0 2674 0
vsize: 10768
[startup+320.077 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1310 0 0 0 31914 97 0 0 25 0 1 0 776870684 11026432 1271 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2692 1271 566 18 0 2674 0
vsize: 10768
[startup+330.077 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1312 0 0 0 32910 101 0 0 25 0 1 0 776870684 11026432 1273 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2692 1273 566 18 0 2674 0
vsize: 10768
[startup+340.077 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1339 0 0 0 33907 105 0 0 25 0 1 0 776870684 11157504 1300 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2724 1300 566 18 0 2706 0
vsize: 10896
[startup+350.102 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1460 0 0 0 34904 110 0 0 25 0 1 0 776870684 11685888 1421 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2853 1421 566 18 0 2835 0
vsize: 11412
[startup+360.102 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1479 0 0 0 35901 113 0 0 25 0 1 0 776870684 11685888 1440 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2853 1440 566 18 0 2835 0
vsize: 11412
[startup+370.101 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1482 0 0 0 36897 118 0 0 25 0 1 0 776870684 11685888 1443 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2853 1443 566 18 0 2835 0
vsize: 11412
[startup+380.102 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1520 0 0 0 37892 122 0 0 25 0 1 0 776870684 11829248 1481 4294967295 134512640 134581331 3221224608 3221223536 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2888 1481 566 18 0 2870 0
vsize: 11552
[startup+390.103 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1520 0 0 0 38888 127 0 0 25 0 1 0 776870684 11829248 1481 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2888 1481 566 18 0 2870 0
vsize: 11552
[startup+400.102 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1520 0 0 0 39884 131 0 0 25 0 1 0 776870684 11829248 1481 4294967295 134512640 134581331 3221224608 3221223472 134528422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2888 1481 566 18 0 2870 0
vsize: 11552
[startup+410.105 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1520 0 0 0 40880 135 0 0 25 0 1 0 776870684 11829248 1481 4294967295 134512640 134581331 3221224608 3221223472 134560453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2888 1481 566 18 0 2870 0
vsize: 11552
[startup+420.105 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1520 0 0 0 41876 140 0 0 25 0 1 0 776870684 11829248 1481 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2888 1481 566 18 0 2870 0
vsize: 11552
[startup+430.106 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1538 0 0 0 42872 144 0 0 25 0 1 0 776870684 11960320 1499 4294967295 134512640 134581331 3221224608 3221223600 134561155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2920 1499 566 18 0 2902 0
vsize: 11680
[startup+440.107 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1579 0 0 0 43869 147 0 0 25 0 1 0 776870684 11952128 1512 4294967295 134512640 134581331 3221224608 3221223552 134558953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2918 1512 566 18 0 2900 0
vsize: 11672
[startup+450.106 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1594 0 0 0 44866 150 0 0 25 0 1 0 776870684 12083200 1527 4294967295 134512640 134581331 3221224608 3221223552 134558819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2950 1527 566 18 0 2932 0
vsize: 11800
[startup+460.114 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1594 0 0 0 45863 154 0 0 25 0 1 0 776870684 12029952 1527 4294967295 134512640 134581331 3221224608 3221223520 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2937 1527 566 18 0 2919 0
vsize: 11748
[startup+470.114 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1651 0 0 0 46860 158 0 0 25 0 1 0 776870684 12292096 1584 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3001 1584 566 18 0 2983 0
vsize: 12004
[startup+480.115 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1651 0 0 0 47855 163 0 0 25 0 1 0 776870684 12111872 1551 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2957 1551 566 18 0 2939 0
vsize: 11828
[startup+490.114 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1659 0 0 0 48853 165 0 0 25 0 1 0 776870684 12242944 1559 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2989 1559 566 18 0 2971 0
vsize: 11956
[startup+500.114 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1659 0 0 0 49849 169 0 0 25 0 1 0 776870684 12242944 1559 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2989 1559 566 18 0 2971 0
vsize: 11956
[startup+510.115 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1678 0 0 0 50846 172 0 0 25 0 1 0 776870684 12242944 1578 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2989 1578 566 18 0 2971 0
vsize: 11956
[startup+520.114 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1678 0 0 0 51843 176 0 0 25 0 1 0 776870684 12242944 1578 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2989 1578 566 18 0 2971 0
vsize: 11956
[startup+530.124 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16395
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1683 0 0 0 52840 179 0 0 25 0 1 0 776870684 12242944 1583 4294967295 134512640 134581331 3221224608 3221223552 134559182 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2989 1583 566 18 0 2971 0
vsize: 11956
[startup+540.124 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 53837 182 0 0 25 0 1 0 776870684 12374016 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3021 1589 566 18 0 3003 0
vsize: 12084
[startup+550.132 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 54834 187 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223472 134528316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+560.144 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 55831 191 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+570.143 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 56827 196 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+580.143 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 57822 201 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+590.143 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 58817 205 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+600.143 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 59812 211 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+610.143 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 60807 216 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+620.143 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 61802 221 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+630.144 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 62797 226 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+640.144 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 63793 230 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223428 1075290618 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+650.143 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 64787 236 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+660.144 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 65783 241 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223568 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+670.144 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 66778 246 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+680.151 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 67773 251 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+690.155 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 68769 257 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223484 134527050 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+700.155 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 69764 261 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+710.156 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 70761 265 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+720.156 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 71756 270 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+730.156 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 72751 276 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+740.156 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 73746 281 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+750.156 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 74741 285 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223568 134516754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+760.157 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 75737 290 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223504 134517729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+770.156 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 76734 293 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+780.157 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 77730 297 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+790.158 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 78726 301 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+800.158 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 79724 304 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+810.158 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 80719 309 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+820.158 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 81715 313 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+830.159 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 82710 318 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223488 134560197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+840.159 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 83707 321 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+850.158 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 84702 326 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223536 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+860.17 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 85698 332 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+870.173 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 86693 337 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+880.173 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 87687 344 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+890.173 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 88681 350 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+900.173 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1689 0 0 0 89677 354 0 0 25 0 1 0 776870684 12353536 1589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1589 566 18 0 2998 0
vsize: 12064
[startup+910.173 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1690 0 0 0 90671 360 0 0 25 0 1 0 776870684 12353536 1590 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1590 566 18 0 2998 0
vsize: 12064
[startup+920.174 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1692 0 0 0 91665 366 0 0 25 0 1 0 776870684 12353536 1592 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1592 566 18 0 2998 0
vsize: 12064
[startup+930.174 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1692 0 0 0 92660 371 0 0 25 0 1 0 776870684 12353536 1592 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1592 566 18 0 2998 0
vsize: 12064
[startup+940.174 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1694 0 0 0 93656 376 0 0 25 0 1 0 776870684 12353536 1594 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1594 566 18 0 2998 0
vsize: 12064
[startup+950.174 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1694 0 0 0 94650 382 0 0 25 0 1 0 776870684 12353536 1594 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1594 566 18 0 2998 0
vsize: 12064
[startup+960.176 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1694 0 0 0 95644 388 0 0 25 0 1 0 776870684 12353536 1594 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1594 566 18 0 2998 0
vsize: 12064
[startup+970.177 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1694 0 0 0 96637 395 0 0 25 0 1 0 776870684 12353536 1594 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1594 566 18 0 2998 0
vsize: 12064
[startup+980.178 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1694 0 0 0 97631 401 0 0 25 0 1 0 776870684 12353536 1594 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1594 566 18 0 2998 0
vsize: 12064
[startup+990.178 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1694 0 0 0 98625 408 0 0 25 0 1 0 776870684 12353536 1594 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1594 566 18 0 2998 0
vsize: 12064
[startup+1000.18 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1696 0 0 0 99621 413 0 0 25 0 1 0 776870684 12353536 1596 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1596 566 18 0 2998 0
vsize: 12064
[startup+1010.19 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1696 0 0 0 100615 419 0 0 25 0 1 0 776870684 12353536 1596 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1596 566 18 0 2998 0
vsize: 12064
[startup+1020.19 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1696 0 0 0 101609 425 0 0 25 0 1 0 776870684 12353536 1596 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1596 566 18 0 2998 0
vsize: 12064
[startup+1030.21 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1696 0 0 0 102605 431 0 0 25 0 1 0 776870684 12353536 1596 4294967295 134512640 134581331 3221224608 3221223504 134517830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1596 566 18 0 2998 0
vsize: 12064
[startup+1040.22 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1698 0 0 0 103602 437 0 0 25 0 1 0 776870684 12353536 1598 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1598 566 18 0 2998 0
vsize: 12064
[startup+1050.23 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1698 0 0 0 104596 443 0 0 25 0 1 0 776870684 12353536 1598 4294967295 134512640 134581331 3221224608 3221223520 134527712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1598 566 18 0 2998 0
vsize: 12064
[startup+1060.24 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1739 0 0 0 105594 447 0 0 25 0 1 0 776870684 12484608 1639 4294967295 134512640 134581331 3221224608 3221223584 134560721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3048 1639 566 18 0 3030 0
vsize: 12192
[startup+1070.27 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1780 0 0 0 106591 453 0 0 25 0 1 0 776870684 12754944 1680 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3114 1680 566 18 0 3096 0
vsize: 12456
[startup+1080.27 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1787 0 0 0 107588 456 0 0 25 0 1 0 776870684 12754944 1687 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3114 1687 566 18 0 3096 0
vsize: 12456
[startup+1090.39 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1790 0 0 0 108595 461 0 0 25 0 1 0 776870684 12754944 1690 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3114 1690 566 18 0 3096 0
vsize: 12456
[startup+1100.42 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1790 0 0 0 109593 466 0 0 25 0 1 0 776870684 12754944 1690 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3114 1690 566 18 0 3096 0
vsize: 12456
[startup+1110.44 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1791 0 0 0 110589 472 0 0 25 0 1 0 776870684 12754944 1691 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3114 1691 566 18 0 3096 0
vsize: 12456
[startup+1120.44 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1792 0 0 0 111584 478 0 0 25 0 1 0 776870684 12754944 1692 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3114 1692 566 18 0 3096 0
vsize: 12456
[startup+1130.45 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1792 0 0 0 112578 485 0 0 25 0 1 0 776870684 12754944 1692 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3114 1692 566 18 0 3096 0
vsize: 12456
[startup+1140.56 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1798 0 0 0 113582 491 0 0 25 0 1 0 776870684 12754944 1698 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3114 1698 566 18 0 3096 0
vsize: 12456
[startup+1150.56 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1804 0 0 0 114576 497 0 0 25 0 1 0 776870684 12754944 1704 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3114 1704 566 18 0 3096 0
vsize: 12456
[startup+1160.56 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1804 0 0 0 115570 504 0 0 25 0 1 0 776870684 12754944 1704 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3114 1704 566 18 0 3096 0
vsize: 12456
[startup+1170.56 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1804 0 0 0 116565 509 0 0 25 0 1 0 776870684 12754944 1704 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3114 1704 566 18 0 3096 0
vsize: 12456
[startup+1180.56 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1804 0 0 0 117558 517 0 0 25 0 1 0 776870684 12754944 1704 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3114 1704 566 18 0 3096 0
vsize: 12456
[startup+1188.98 s]
Raw data (loadavg): 1.00 0.99 0.98 1/53 16397
Raw data (stat): 16340 (Pueblo) R 16339 7266 7265 0 -1 0 1804 0 0 0 117558 517 0 0 25 0 1 0 776870684 12754944 1704 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3114 1704 566 18 0 3096 0
vsize: 0

Child status: 10
Real time (s): 1188.97
CPU time (s): 1189.02
CPU user time (s): 1183.79
CPU system time (s): 5.22121
CPU usage (%): 100.004
Max. virtual memory (Kb): 12456
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	138
#### END VERIFIER DATA ####