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 38817

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-02 17:42:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26883 boxname=wulflinc1 idbench=1011 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  c1b4c3ad409db732d2b559e570b6f24c  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-vpm2.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-vpm2.opb
IDLAUNCH: 26883
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        617772 kB
Buffers:         26184 kB
Cached:         366664 kB
SwapCached:        668 kB
Active:          27836 kB
Inactive:       367312 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        617520 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5820 kB
Slab:            15860 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 18:01:55 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26883 0 1189.01 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc1/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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.91 2/55 9555
Raw data (stat): 9555 (runsolver) R 9554 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 794813934 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+9.99971 s]
Raw data (loadavg): 0.93 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 990 0 0 0 996 2 0 0 25 0 1 0 794813934 9740288 964 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2378 964 566 18 0 2360 0
vsize: 9512
[startup+20.0084 s]
Raw data (loadavg): 0.94 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 990 0 0 0 1997 2 0 0 25 0 1 0 794813934 9740288 964 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2378 964 566 18 0 2360 0
vsize: 9512
[startup+30.0081 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 990 0 0 0 2997 2 0 0 25 0 1 0 794813934 9740288 964 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2378 964 566 18 0 2360 0
vsize: 9512
[startup+40.0079 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 990 0 0 0 3997 2 0 0 25 0 1 0 794813934 9740288 964 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2378 964 566 18 0 2360 0
vsize: 9512
[startup+50.0087 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 990 0 0 0 4997 2 0 0 25 0 1 0 794813934 9740288 964 4294967295 134512640 134581267 3221224576 3221223488 134527464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2378 964 566 18 0 2360 0
vsize: 9512
[startup+60.0085 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 991 0 0 0 5997 2 0 0 25 0 1 0 794813934 9740288 965 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2378 965 566 18 0 2360 0
vsize: 9512
[startup+70.0093 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 991 0 0 0 6997 2 0 0 25 0 1 0 794813934 9740288 965 4294967295 134512640 134581267 3221224576 3221223440 134528299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2378 965 566 18 0 2360 0
vsize: 9512
[startup+80.0091 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 991 0 0 0 7998 2 0 0 25 0 1 0 794813934 9740288 965 4294967295 134512640 134581267 3221224576 3221223544 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2378 965 566 18 0 2360 0
vsize: 9512
[startup+90.0088 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1029 0 0 0 8998 2 0 0 25 0 1 0 794813934 9871360 1003 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2410 1003 566 18 0 2392 0
vsize: 9640
[startup+100.009 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1030 0 0 0 9998 3 0 0 25 0 1 0 794813934 9871360 1004 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2410 1004 566 18 0 2392 0
vsize: 9640
[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1030 0 0 0 10998 3 0 0 25 0 1 0 794813934 9871360 1004 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2410 1004 566 18 0 2392 0
vsize: 9640
[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1042 0 0 0 11998 3 0 0 25 0 1 0 794813934 10002432 1016 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2442 1016 566 18 0 2424 0
vsize: 9768
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1302 0 0 0 12994 7 0 0 25 0 1 0 794813934 11059200 1276 4294967295 134512640 134581267 3221224576 3221223488 134527712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2700 1276 566 18 0 2682 0
vsize: 10800
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1306 0 0 0 13989 12 0 0 25 0 1 0 794813934 11059200 1280 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2700 1280 566 18 0 2682 0
vsize: 10800
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1306 0 0 0 14983 18 0 0 25 0 1 0 794813934 11059200 1280 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2700 1280 566 18 0 2682 0
vsize: 10800
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1306 0 0 0 15979 22 0 0 25 0 1 0 794813934 11059200 1280 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2700 1280 566 18 0 2682 0
vsize: 10800
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1306 0 0 0 16975 27 0 0 25 0 1 0 794813934 11059200 1280 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2700 1280 566 18 0 2682 0
vsize: 10800
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1308 0 0 0 17970 32 0 0 25 0 1 0 794813934 11059200 1282 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2700 1282 566 18 0 2682 0
vsize: 10800
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1309 0 0 0 18964 38 0 0 25 0 1 0 794813934 11059200 1283 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2700 1283 566 18 0 2682 0
vsize: 10800
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1309 0 0 0 19959 44 0 0 25 0 1 0 794813934 11059200 1283 4294967295 134512640 134581267 3221224576 3221223472 134517630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2700 1283 566 18 0 2682 0
vsize: 10800
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1310 0 0 0 20953 49 0 0 25 0 1 0 794813934 11059200 1284 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2700 1284 566 18 0 2682 0
vsize: 10800
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1310 0 0 0 21948 54 0 0 25 0 1 0 794813934 11059200 1284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2700 1284 566 18 0 2682 0
vsize: 10800
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1313 0 0 0 22943 60 0 0 25 0 1 0 794813934 11059200 1287 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2700 1287 566 18 0 2682 0
vsize: 10800
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1313 0 0 0 23937 65 0 0 25 0 1 0 794813934 11059200 1287 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2700 1287 566 18 0 2682 0
vsize: 10800
[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1328 0 0 0 24932 71 0 0 25 0 1 0 794813934 11198464 1302 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2734 1302 566 18 0 2716 0
vsize: 10936
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1338 0 0 0 25926 77 0 0 25 0 1 0 794813934 11198464 1312 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2734 1312 566 18 0 2716 0
vsize: 10936
[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1340 0 0 0 26918 85 0 0 25 0 1 0 794813934 11198464 1314 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2734 1314 566 18 0 2716 0
vsize: 10936
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1344 0 0 0 27911 92 0 0 25 0 1 0 794813934 11198464 1318 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2734 1318 566 18 0 2716 0
vsize: 10936
[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1346 0 0 0 28904 100 0 0 25 0 1 0 794813934 11198464 1320 4294967295 134512640 134581267 3221224576 3221223536 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2734 1320 566 18 0 2716 0
vsize: 10936
[startup+300.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1400 0 0 0 29898 106 0 0 25 0 1 0 794813934 11468800 1374 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2800 1374 566 18 0 2782 0
vsize: 11200
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1409 0 0 0 30891 113 0 0 25 0 1 0 794813934 11468800 1383 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2800 1383 566 18 0 2782 0
vsize: 11200
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1409 0 0 0 31887 117 0 0 25 0 1 0 794813934 11468800 1383 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2800 1383 566 18 0 2782 0
vsize: 11200
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1423 0 0 0 32880 124 0 0 25 0 1 0 794813934 11599872 1397 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2832 1397 566 18 0 2814 0
vsize: 11328
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1476 0 0 0 33874 131 0 0 25 0 1 0 794813934 11735040 1450 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2865 1450 566 18 0 2847 0
vsize: 11460
[startup+350.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1535 0 0 0 34869 135 0 0 25 0 1 0 794813934 12001280 1509 4294967295 134512640 134581267 3221224576 3221223568 134560619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2930 1509 566 18 0 2912 0
vsize: 11720
[startup+360.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1535 0 0 0 35863 142 0 0 25 0 1 0 794813934 12001280 1509 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2930 1509 566 18 0 2912 0
vsize: 11720
[startup+370.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1634 0 0 0 36858 147 0 0 25 0 1 0 794813934 12398592 1608 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3027 1608 566 18 0 3009 0
vsize: 12108
[startup+380.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1634 0 0 0 37854 151 0 0 25 0 1 0 794813934 12398592 1608 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3027 1608 566 18 0 3009 0
vsize: 12108
[startup+390.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1634 0 0 0 38848 157 0 0 25 0 1 0 794813934 12398592 1608 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3027 1608 566 18 0 3009 0
vsize: 12108
[startup+400.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1666 0 0 0 39845 160 0 0 25 0 1 0 794813934 12529664 1640 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3059 1640 566 18 0 3041 0
vsize: 12236
[startup+410.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1666 0 0 0 40842 163 0 0 25 0 1 0 794813934 12439552 1633 4294967295 134512640 134581267 3221224576 3221223468 1074910621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3037 1633 566 18 0 3019 0
vsize: 12148
[startup+420.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1674 0 0 0 41838 168 0 0 25 0 1 0 794813934 12574720 1641 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3070 1641 566 18 0 3052 0
vsize: 12280
[startup+430.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1674 0 0 0 42832 173 0 0 25 0 1 0 794813934 12472320 1641 4294967295 134512640 134581267 3221224576 3221223488 134528045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3045 1641 566 18 0 3027 0
vsize: 12180
[startup+440.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1674 0 0 0 43826 179 0 0 25 0 1 0 794813934 12472320 1641 4294967295 134512640 134581267 3221224576 3221223504 134519788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3045 1641 566 18 0 3027 0
vsize: 12180
[startup+450.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1674 0 0 0 44822 183 0 0 25 0 1 0 794813934 12472320 1641 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3045 1641 566 18 0 3027 0
vsize: 12180
[startup+460.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1674 0 0 0 45817 188 0 0 25 0 1 0 794813934 12472320 1641 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3045 1641 566 18 0 3027 0
vsize: 12180
[startup+470.011 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1674 0 0 0 46811 195 0 0 25 0 1 0 794813934 12472320 1641 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3045 1641 566 18 0 3027 0
vsize: 12180
[startup+480.011 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1674 0 0 0 47806 200 0 0 25 0 1 0 794813934 12472320 1641 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3045 1641 566 18 0 3027 0
vsize: 12180
[startup+490.011 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1674 0 0 0 48801 205 0 0 25 0 1 0 794813934 12472320 1641 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3045 1641 566 18 0 3027 0
vsize: 12180
[startup+500.012 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1674 0 0 0 49796 211 0 0 25 0 1 0 794813934 12472320 1641 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3045 1641 566 18 0 3027 0
vsize: 12180
[startup+510.012 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1674 0 0 0 50788 219 0 0 25 0 1 0 794813934 12472320 1641 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3045 1641 566 18 0 3027 0
vsize: 12180
[startup+520.012 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1674 0 0 0 51780 227 0 0 25 0 1 0 794813934 12472320 1641 4294967295 134512640 134581267 3221224576 3221223536 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3045 1641 566 18 0 3027 0
vsize: 12180
[startup+530.011 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1674 0 0 0 52774 233 0 0 25 0 1 0 794813934 12472320 1641 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3045 1641 566 18 0 3027 0
vsize: 12180
[startup+540.012 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1684 0 0 0 53768 239 0 0 25 0 1 0 794813934 12611584 1651 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3079 1651 566 18 0 3061 0
vsize: 12316
[startup+550.012 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1690 0 0 0 54764 244 0 0 25 0 1 0 794813934 12611584 1657 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3079 1657 566 18 0 3061 0
vsize: 12316
[startup+560.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1698 0 0 0 55759 249 0 0 25 0 1 0 794813934 12611584 1665 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3079 1665 566 18 0 3061 0
vsize: 12316
[startup+570.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1698 0 0 0 56752 255 0 0 25 0 1 0 794813934 12611584 1665 4294967295 134512640 134581267 3221224576 3221223568 134561073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3079 1665 566 18 0 3061 0
vsize: 12316
[startup+580.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1698 0 0 0 57746 262 0 0 25 0 1 0 794813934 12611584 1665 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3079 1665 566 18 0 3061 0
vsize: 12316
[startup+590.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1702 0 0 0 58739 269 0 0 25 0 1 0 794813934 12611584 1669 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3079 1669 566 18 0 3061 0
vsize: 12316
[startup+600.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1702 0 0 0 59733 275 0 0 25 0 1 0 794813934 12611584 1669 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3079 1669 566 18 0 3061 0
vsize: 12316
[startup+610.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1714 0 0 0 60728 281 0 0 25 0 1 0 794813934 12750848 1681 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3113 1681 566 18 0 3095 0
vsize: 12452
[startup+620.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1714 0 0 0 61723 286 0 0 25 0 1 0 794813934 12750848 1681 4294967295 134512640 134581267 3221224576 3221223568 134561067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3113 1681 566 18 0 3095 0
vsize: 12452
[startup+630.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1714 0 0 0 62717 292 0 0 25 0 1 0 794813934 12750848 1681 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3113 1681 566 18 0 3095 0
vsize: 12452
[startup+640.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1820 0 0 0 63713 296 0 0 25 0 1 0 794813934 13148160 1787 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1787 566 18 0 3192 0
vsize: 12840
[startup+650.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1820 0 0 0 64709 300 0 0 25 0 1 0 794813934 13148160 1787 4294967295 134512640 134581267 3221224576 3221223488 134531368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1787 566 18 0 3192 0
vsize: 12840
[startup+660.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 65706 304 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223264 1075288489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+670.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 66702 308 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+680.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 67696 313 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+690.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 68689 320 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+700.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 69684 326 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+710.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 70679 331 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+720.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 71674 336 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+730.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 72669 341 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223540 134519893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+740.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 73663 347 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+750.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 74658 353 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221222720 134566802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+760.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 75653 358 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+770.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 76647 364 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+780.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 77641 371 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223504 134519850 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+790.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 78636 376 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+800.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 79630 382 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223504 134519867 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+810.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 80625 387 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+820.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 81620 392 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+830.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 82615 398 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+840.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 83610 402 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+850.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 84605 408 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+860.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 85599 414 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+870.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 86593 421 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+880.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 87587 427 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+890.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 88582 432 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223520 134558889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+900.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1837 0 0 0 89578 436 0 0 25 0 1 0 794813934 13148160 1804 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3210 1804 566 18 0 3192 0
vsize: 12840
[startup+910.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1857 0 0 0 90574 440 0 0 25 0 1 0 794813934 13279232 1824 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3242 1824 566 18 0 3224 0
vsize: 12968
[startup+920.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1857 0 0 0 91570 444 0 0 25 0 1 0 794813934 13279232 1824 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3242 1824 566 18 0 3224 0
vsize: 12968
[startup+930.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1898 0 0 0 92566 449 0 0 25 0 1 0 794813934 13414400 1865 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3275 1865 566 18 0 3257 0
vsize: 13100
[startup+940.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1898 0 0 0 93561 454 0 0 25 0 1 0 794813934 13414400 1865 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3275 1865 566 18 0 3257 0
vsize: 13100
[startup+950.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1898 0 0 0 94558 457 0 0 25 0 1 0 794813934 13258752 1833 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3237 1833 566 18 0 3219 0
vsize: 12948
[startup+960.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1898 0 0 0 95553 462 0 0 25 0 1 0 794813934 13258752 1833 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3237 1833 566 18 0 3219 0
vsize: 12948
[startup+970.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1898 0 0 0 96548 468 0 0 25 0 1 0 794813934 13258752 1833 4294967295 134512640 134581267 3221224576 3221223520 134558698 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3237 1833 566 18 0 3219 0
vsize: 12948
[startup+980.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1898 0 0 0 97542 473 0 0 25 0 1 0 794813934 13258752 1833 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3237 1833 566 18 0 3219 0
vsize: 12948
[startup+990.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1898 0 0 0 98537 478 0 0 25 0 1 0 794813934 13258752 1833 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3237 1833 566 18 0 3219 0
vsize: 12948
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1898 0 0 0 99531 484 0 0 25 0 1 0 794813934 13258752 1833 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3237 1833 566 18 0 3219 0
vsize: 12948
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1898 0 0 0 100527 489 0 0 25 0 1 0 794813934 13258752 1833 4294967295 134512640 134581267 3221224576 3221223456 134560260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3237 1833 566 18 0 3219 0
vsize: 12948
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1898 0 0 0 101523 493 0 0 25 0 1 0 794813934 13258752 1833 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3237 1833 566 18 0 3219 0
vsize: 12948
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1898 0 0 0 102519 497 0 0 25 0 1 0 794813934 13258752 1833 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3237 1833 566 18 0 3219 0
vsize: 12948
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1898 0 0 0 103514 503 0 0 25 0 1 0 794813934 13258752 1833 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3237 1833 566 18 0 3219 0
vsize: 12948
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1898 0 0 0 104511 506 0 0 25 0 1 0 794813934 13258752 1833 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3237 1833 566 18 0 3219 0
vsize: 12948
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1898 0 0 0 105508 509 0 0 25 0 1 0 794813934 13258752 1833 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3237 1833 566 18 0 3219 0
vsize: 12948
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9555
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1898 0 0 0 106505 512 0 0 25 0 1 0 794813934 13258752 1833 4294967295 134512640 134581267 3221224576 3221223488 134527689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3237 1833 566 18 0 3219 0
vsize: 12948
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9608
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1915 0 0 0 107500 517 0 0 25 0 1 0 794813934 13389824 1850 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3269 1850 566 18 0 3251 0
vsize: 13076
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9608
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1915 0 0 0 108495 522 0 0 25 0 1 0 794813934 13389824 1850 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3269 1850 566 18 0 3251 0
vsize: 13076
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9608
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1915 0 0 0 109490 527 0 0 25 0 1 0 794813934 13389824 1850 4294967295 134512640 134581267 3221224576 3221223504 134519939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3269 1850 566 18 0 3251 0
vsize: 13076
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9608
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1915 0 0 0 110486 531 0 0 25 0 1 0 794813934 13389824 1850 4294967295 134512640 134581267 3221224576 3221223556 134560749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3269 1850 566 18 0 3251 0
vsize: 13076
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9608
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1915 0 0 0 111480 537 0 0 25 0 1 0 794813934 13389824 1850 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3269 1850 566 18 0 3251 0
vsize: 13076
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9608
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1915 0 0 0 112474 543 0 0 25 0 1 0 794813934 13389824 1850 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3269 1850 566 18 0 3251 0
vsize: 13076
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9610
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 1915 0 0 0 113468 548 0 0 25 0 1 0 794813934 13389824 1850 4294967295 134512640 134581267 3221224576 3221223520 134559165 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3269 1850 566 18 0 3251 0
vsize: 13076
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9612
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 2019 0 0 0 114464 553 0 0 25 0 1 0 794813934 13787136 1954 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3366 1954 566 18 0 3348 0
vsize: 13464
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9612
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 2019 0 0 0 115460 558 0 0 25 0 1 0 794813934 13787136 1954 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3366 1954 566 18 0 3348 0
vsize: 13464
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9612
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 2019 0 0 0 116455 562 0 0 25 0 1 0 794813934 13787136 1954 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3366 1954 566 18 0 3348 0
vsize: 13464
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9612
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 2112 0 0 0 117451 566 0 0 25 0 1 0 794813934 14180352 2047 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3462 2047 566 18 0 3444 0
vsize: 13848
[startup+1188.85 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 9612
Raw data (stat): 9555 (Pueblo-v2) R 9554 8378 8377 0 -1 0 2112 0 0 0 117451 566 0 0 25 0 1 0 794813934 14180352 2047 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3462 2047 566 18 0 3444 0
vsize: 0

Child status: 10
Real time (s): 1188.85
CPU time (s): 1189.01
CPU user time (s): 1183.3
CPU system time (s): 5.71013
CPU usage (%): 100.013
Max. virtual memory (Kb): 13848
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	138
#### END VERIFIER DATA ####