Some explanations

1. 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.
2. SOLVER DATA
   This is the output of the solver (stdout and stderr).
3. 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.
4. 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

Trace number 39242

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-03 00:22:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27304 boxname=wulflinc3 idbench=1432 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  b9e9aa470fdb3341d7e10860fcc70cec  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-mkc.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-mkc.opb
IDLAUNCH: 27304
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        350392 kB
Buffers:         27852 kB
Cached:         634092 kB
SwapCached:        240 kB
Active:          30900 kB
Inactive:       633500 kB
HighTotal:      131008 kB
HighFree:        38220 kB
LowTotal:       903652 kB
LowFree:        312172 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6212 kB
Slab:            14168 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 00:42:20 (client local time) WITH STATUS 10 IN 1189.12 SECONDS
stats: 27304 0 1189.12 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/wulflinc3/normalized-mps-v2-13-7-mkc.opb
c #variables read: 5363 - #constraints read: 8681
s SATISFIABLE
v -x0000_bit0 -x0100_bit0 -x0300_bit0 -x0400_bit0 -x0500_bit0 -x0600_bit0 -x0700_bit0 -x0800_bit0 -x0900_bit0 -x1000_bit0 -x1100_bit0 -x1300_bit0 -x1400_bit0 -x1500_bit0 -x1600_bit0 -x1700_bit0 -x1800_bit0 -x1900_bit0 -x2000_bit0 -x2200_bit0 -x2300_bit0 -x2400_bit0 -x2500_bit0 -x2600_bit0 -x2700_bit0 -x2800_bit0 -x2900_bit0 -x3000_bit0 -x3100_bit0 -x3300_bit0 -x3400_bit0 -x3500_bit0 -x3600_bit0 -x3700_bit0 -x3800_bit0 -x3900_bit0 -x4000_bit0 -x4100_bit0 -x4200_bit0 -x4300_bit0 -x4400_bit0 -x4500_bit0 -x4600_bit0 -x4700_bit0 -x4800_bit0 -x4900_bit0 -x5000_bit0 -x5100_bit0 -x5200_bit0 -x5500_bit0 -x5600_bit0 -x5700_bit0 -x5800_bit0 -x6000_bit0 -x6100_bit0 -x6200_bit0 -x6300_bit0 -x6500_bit0 -x6600_bit0 -x6700_bit0 -x6800_bit0 -x6900_bit0 -x7000_bit0 -x7100_bit0 -x7200_bit0 -x7300_bit0 -x7400_bit0 -x7500_bit0 -x7700_bit0 -x7800_bit0 -x7900_bit0 -x8000_bit0 -x8100_bit0 -x8300_bit0 -x8400_bit0 -x8500_bit0 -x8600_bit0 -x8700_bit0 -x8800_bit0 -x9000_bit0 -x9100_bit0 -x9200_bit0 -x9300_bit0 -x9400_bit0 -x9500_bit0 -x9600_bit0 -x9700_bit0 -x9800_bit0 -x10000_bit0 -x10200_bit0 -x10300_bit0 -x10500_bit0 -x10600_bit0 -x10700_bit0 -x10900_bit0 -x11000_bit0 -x11300_bit0 -x11400_bit0 -x11500_bit0 -x11600_bit0 -x11700_bit0 -x11800_bit0 -x13000_bit0 -x13100_bit0 -x13200_bit0 -x13300_bit0 -x13500_bit0 -x13600_bit0 -x13700_bit0 -x13900_bit0 -x14200_bit0 -x14300_bit0 -x14400_bit0 -x14500_bit0 -x14600_bit0 -x14700_bit0 -x14800_bit0 -x14900_bit0 -x15200_bit0 -x15300_bit0 -x15400_bit0 -x15500_bit0 -x15600_bit0 -x15700_bit0 -x15800_bit0 -x15900_bit0 -x16000_bit0 -x16100_bit0 -x16200_bit0 -x16300_bit0 -x16400_bit0 -x16500_bit0 -x16600_bit0 -x16700_bit0 -x16900_bit0 -x17000_bit0 -x17200_bit0 -x18000_bit0 -x18100_bit0 -x18200_bit0 -x18300_bit0 -x18400_bit0 -x19000_bit0 -x19100_bit0 -x19500_bit0 -x19600_bit0 -x23500_bit0 -x23600_bit0 -x23800_bit0 -x23900_bit0 -x24300_bit0 -x24800_bit0 -x24900_bit0 -x25100_bit0 -x25200_bit0 -x25300_bit0 -x25400_bit0 -x25500_bit0 -x25600_bit0 -x25700_bit0 -x25800_bit0 -x25900_bit0 -x26000_bit0 -x26100_bit0 -x26200_bit0 -x26300_bit0 -x26400_bit0 -x26500_bit0 -x26600_bit0 -x26700_bit0 -x26800_bit0 -x26900_bit0 -x27000_bit0 -x27100_bit0 -x27200_bit0 -x27300_bit0 -x27400_bit0 -x27500_bit0 -x27600_bit0 -x27700_bit0 -x27800_bit0 -x27900_bit0 -x28000_bit0 -x28200_bit0 -x28300_bit0 -x28400_bit0 -x28500_bit0 -x28600_bit0 -x28700_bit0 -x28800_bit0 -x29000_bit0 -x29100_bit0 -x29200_bit0 -x29300_bit0 -x29400_bit0 -x29500_bit0 -x29600_bit0 -x29700_bit0 -x29800_bit0 -x30000_bit0 -x30100_bit0 -x30300_bit0 -x30400_bit0 -x30600_bit0 -x30700_bit0 -x30800_bit0 -x30900_bit0 -x31000_bit0 -x31100_bit0 -x31200_bit0 -x31300_bit0 -x31400_bit0 -x31500_bit0 -x31600_bit0 -x31700_bit0 -x31800_bit0 -x31900_bit0 -x32000_bit0 -x32100_bit0 -x32200_bit0 -x32300_bit0 -x32400_bit0 -x32500_bit0 -x32600_bit0 -x32700_bit0 -x32800_bit0 -x34800_bit0 -x34900_bit0 -x35000_bit0 -x35100_bit0 -x35200_bit0 -x35300_bit0 -x35400_bit0 -x35500_bit0 -x35600_bit0 -x35700_bit0 -x35800_bit0 -x35900_bit0 -x36000_bit0 -x36100_bit0 -x36200_bit0 -x36500_bit0 -x36600_bit0 -x36700_bit0 -x36800_bit0 -x36900_bit0 -x37000_bit0 -x37100_bit0 -x37300_bit0 -x37400_bit0 -x37500_bit0 -x37600_bit0 -x39700_bit0 -x39900_bit0 -x40000_bit0 -x40100_bit0 -x40200_bit0 -x40300_bit0 -x40400_bit0 -x40500_bit0 -x40600_bit0 -x40700_bit0 -x40800_bit0 -x41100_bit0 -x41200_bit0 -x41300_bit0 -x41400_bit0 -x41500_bit0 -x41600_bit0 -x41700_bit0 -x41800_bit0 -x41900_bit0 -x42000_bit0 -x42100_bit0 -x42200_bit0 -x42400_bit0 -x42500_bit0 -x42600_bit0 -x42700_bit0 -x42800_bit0 -x42900_bit0 -x43000_bit0 -x43100_bit0 -x43200_bit0 -x43300_bit0 -x43400_bit0 -x43500_bit0 -x43600_bit0 -x43700_bit0 -x43800_bit0 -x0101_bit0 -x0301_bit0 -x0401_bit0 -x0801_bit0 -x1101_bit0 -x1501_bit0 -x1601_bit0 -x1901_bit0 -x2001_bit0 -x2201_bit0 -x2301_bit0 -x2901_bit0 -x3001_bit0 -x3401_bit0 -x3801_bit0 -x4001_bit0 -x4101_bit0 -x4401_bit0 -x4801_bit0 -x5001_bit0 -x5101_bit0 -x5201_bit0 -x5501_bit0 -x5601_bit0 -x6501_bit0 -x6601_bit0 -x7301_bit0 -x7401_bit0 -x7701_bit0 -x8301_bit0 -x8401_bit0 -x9001_bit0 -x9101_bit0 -x9201_bit0 -x9501_bit0 -x9601_bit0 -x10001_bit0 -x10201_bit0 -x10301_bit0 -x10501_bit0 -x10601_bit0 -x10701_bit0 -x10901_bit0 -x11301_bit0 -x11401_bit0 -x11601_bit0 -x11701_bit0 -x11801_bit0 -x13101_bit0 -x13301_bit0 -x13701_bit0 -x13901_bit0 -x14201_bit0 -x14301_bit0 -x14501_bit0 -x15201_bit0 -x15301_bit0 -x15601_bit0 -x16001_bit0 -x16201_bit0 -x19101_bit0 -x23601_bit0 -x25601_bit0 -x26201_bit0 -x26301_bit0 -x26401_bit0 -x26601_bit0 -x26701_bit0 -x26901_bit0 -x27001_bit0 -x27101_bit0 -x27201_bit0 -x27301_bit0 -x27401_bit0 -x27501_bit0 -x27601_bit0 -x27701_bit0 -x27801_bit0 -x27901_bit0 -x28201_bit0 -x29101_bit0 -x29201_bit0 -x29401_bit0 -x29501_bit0 -x29601_bit0 -x29701_bit0 -x29801_bit0 -x30101_bit0 -x30301_bit0 -x30401_bit0 -x30801_bit0 -x30901_bit0 -x31201_bit0 -x31301_bit0 -x31501_bit0 -x31801_bit0 -x32101_bit0 -x32201_bit0 -x32301_bit0 -x32401_bit0 -x32501_bit0 -x32601_bit0 -x32701_bit0 -x32801_bit0 -x35301_bit0 -x35501_bit0 -x35801_bit0 -x36101_bit0 -x36201_bit0 -x36901_bit0 -x37301_bit0 -x37401_bit0 -x37501_bit0 -x37601_bit0 -x40501_bit0 -x40601_bit0 -x40701_bit0 -x40801_bit0 -x41101_bit0 -x41501_bit0 -x41601_bit0 -x41701_bit0 -x41901_bit0 -x42101_bit0 -x42201_bit0 -x42501_bit0 -x42601_bit0 -x43501_bit0 -x43701_bit0 -x0102_bit0 -x0302_bit0 -x0402_bit0 -x0802_bit0 -x1102_bit0 -x1202_bit0 -x1502_bit0 -x1602_bit0 -x1902_bit0 -x2002_bit0 -x2202_bit0 -x2302_bit0 -x2902_bit0 -x3002_bit0 -x3202_bit0 -x3402_bit0 -x3802_bit0 -x4002_bit0 -x4102_bit0 -x4402_bit0 -x4802_bit0 -x5002_bit0 -x5102_bit0 -x5202_bit0 -x5302_bit0 -x5402_bit0 -x5502_bit0 -x5602_bit0 -x6502_bit0 -x6602_bit0 -x7302_bit0 -x7402_bit0 -x7602_bit0 -x7702_bit0 -x8302_bit0 -x8402_bit0 -x9002_bit0 -x9102_bit0 -x9202_bit0 -x9502_bit0 -x9602_bit0 -x10002_bit0 -x10102_bit0 -x10202_bit0 -x10302_bit0 -x10502_bit0 -x10802_bit0 -x10902_bit0 -x11202_bit0 -x11402_bit0 -x11602_bit0 -x11702_bit0 -x11802_bit0 -x12202_bit0 -x12902_bit0 -x13102_bit0 -x13902_bit0 -x14202_bit0 -x14302_bit0 -x15202_bit0 -x15302_bit0 -x16802_bit0 -x17102_bit0 -x17302_bit0 -x17402_bit0 -x17502_bit0 -x17602_bit0 -x17702_bit0 -x17802_bit0 -x17902_bit0 -x18502_bit0 -x18602_bit0 -x18702_bit0 -x18802_bit0 -x18902_bit0 -x19102_bit0 -x19202_bit0 -x19302_bit0 -x19402_bit0 -x19802_bit0 -x19902_bit0 -x20002_bit0 -x20202_bit0 -x20302_bit0 -x20502_bit0 -x20702_bit0 -x20902_bit0 -x21002_bit0 -x21302_bit0 -x21502_bit0 -x21802_bit0 -x21902_bit0 -x22002_bit0 -x22102_bit0 -x22302_bit0 -x22402_bit0 -x22502_bit0 -x22702_bit0 -x22902_bit0 -x23002_bit0 -x23602_bit0 -x24402_bit0 -x25602_bit0 -x26202_bit0 -x26302_bit0 -x26402_bit0 -x26602_bit0 -x26702_bit0 -x26902_bit0 -x27002_bit0 -x27102_bit0 -x27202_bit0 -x27302_bit0 -x27402_bit0 -x27502_bit0 -x27602_bit0 -x27702_bit0 -x27802_bit0 -x27902_bit0 -x28202_bit0 -x29102_bit0 -x29202_bit0 -x29402_bit0 -x29502_bit0 -x29602_bit0 -x29702_bit0 -x29802_bit0 -x30102_bit0 -x30202_bit0 -x30302_bit0 -x30402_bit0 -x30802_bit0 -x30902_bit0 -x31202_bit0 -x31302_bit0 -x31502_bit0 -x31802_bit0 -x32102_bit0 -x32202_bit0 -x32302_bit0 -x32402_bit0 -x32502_bit0 -x32602_bit0 -x32702_bit0 -x32802_bit0 -x33002_bit0 -x33102_bit0 -x33302_bit0 -x33402_bit0 -x33602_bit0 -x34002_bit0 -x34202_bit0 -x34502_bit0 -x35302_bit0 -x35502_bit0 -x35802_bit0 -x36102_bit0 -x36202_bit0 -x36302_bit0 -x36402_bit0 -x37302_bit0 -x37402_bit0 -x37502_bit0 -x37602_bit0 -x37702_bit0 -x37802_bit0 -x38102_bit0 -x38202_bit0 -x38402_bit0 -x38502_bit0 -x38802_bit0 -x38902_bit0 -x39202_bit0 -x40502_bit0 -x40602_bit0 -x40702_bit0 -x40802_bit0 -x41102_bit0 -x41502_bit0 -x41602_bit0 -x41702_bit0 -x41902_bit0 -x42102_bit0 -x42202_bit0 -x42302_bit0 -x42502_bit0 -x42602_bit0 -x43502_bit0 -x43702_bit0 -x0103_bit0 -x0303_bit0 -x0403_bit0 -x0803_bit0 -x1103_bit0 -x1203_bit0 -x1503_bit0 -x1603_bit0 -x1903_bit0 -x2003_bit0 -x2203_bit0 -x2303_bit0 -x2903_bit0 -x3003_bit0 -x3203_bit0 -x3403_bit0 -x3803_bit0 -x4003_bit0 -x4103_bit0 -x4403_bit0 -x4803_bit0 -x5003_bit0 -x5103_bit0 -x5203_bit0 -x5303_bit0 -x5403_bit0 -x5503_bit0 -x5603_bit0 -x6503_bit0 -x6603_bit0 -x7303_bit0 -x7403_bit0 -x7603_bit0 -x7703_bit0 -x8303_bit0 -x8403_bit0 -x9003_bit0 -x9103_bit0 -x9203_bit0 -x9503_bit0 -x9603_bit0 -x10003_bit0 -x10103_bit0 -x10203_bit0 -x10303_bit0 -x10503_bit0 -x10803_bit0 -x10903_bit0 -x11203_bit0 -x11403_bit0 -x11603_bit0 -x11703_bit0 -x11803_bit0 -x12203_bit0 -x12903_bit0 -x13103_bit0 -x13903_bit0 -x14203_bit0 -x14303_bit0 -x15203_bit0 -x15303_bit0 -x16803_bit0 -x17103_bit0 -x17303_bit0 -x17403_bit0 -x17503_bit0 -x17603_bit0 -x17703_bit0 -x17803_bit0 -x17903_bit0 -x18503_bit0 -x18603_bit0 -x18703_bit0 -x18803_bit0 -x18903_bit0 -x19103_bit0 -x19203_bit0 -x19303_bit0 -x19403_bit0 -x19803_bit0 -x19903_bit0 -x20003_bit0 -x20203_bit0 -x20303_bit0 -x20503_bit0 -x20703_bit0 -x20903_bit0 -x21003_bit0 -x21303_bit0 -x21503_bit0 -x21803_bit0 -x21903_bit0 -x22003_bit0 -x22103_bit0 -x22303_bit0 -x22403_bit0 -x22503_bit0 -x22703_bit0 -x22903_bit0 -x23003_bit0 -x23603_bit0 -x24403_bit0 -x25603_bit0 -x26203_bit0 -x26303_bit0 -x26403_bit0 -x26603_bit0 -x26703_bit0 -x26903_bit0 -x27003_bit0 -x27103_bit0 -x27203_bit0 -x27303_bit0 -x27403_bit0 -x27503_bit0 -x27603_bit0 -x27703_bit0 -x27803_bit0 -x27903_bit0 -x28203_bit0 -x29103_bit0 -x29203_bit0 -x29403_bit0 -x29503_bit0 -x29603_bit0 -x29703_bit0 -x29803_bit0 -x30103_bit0 -x30203_bit0 -x30303_bit0 -x30403_bit0 -x30803_bit0 -x30903_bit0 -x31203_bit0 -x31303_bit0 -x31503_bit0 -x31803_bit0 -x32103_bit0 -x32203_bit0 -x32303_bit0 -x32403_bit0 -x32503_bit0 -x32603_bit0 -x32703_bit0 -x32803_bit0 -x33003_bit0 -x33103_bit0 -x33303_bit0 -x33403_bit0 -x33603_bit0 -x34003_bit0 -x34203_bit0 -x34503_bit0 -x35303_bit0 -x35503_bit0 -x35803_bit0 -x36103_bit0 -x36203_bit0 -x36303_bit0 -x36403_bit0 -x37303_bit0 -x37403_bit0 -x37503_bit0 -x37603_bit0 -x37703_bit0 -x37803_bit0 -x38103_bit0 -x38203_bit0 -x38403_bit0 -x38503_bit0 -x38803_bit0 -x38903_bit0 -x39203_bit0 -x40503_bit0 -x40603_bit0 -x40703_bit0 -x40803_bit0 -x41103_bit0 -x41503_bit0 -x41603_bit0 -x41703_bit0 -x41903_bit0 -x42103_bit0 -x42203_bit0 -x42303_bit0 -x42503_bit0 -x42603_bit0 -x43503_bit0 -x43703_bit0 -x0104_bit0 -x0304_bit0 -x0404_bit0 -x0704_bit0 -x1004_bit0 -x1104_bit0 -x1204_bit0 -x1504_bit0 -x1904_bit0 -x2004_bit0 -x2204_bit0 -x2304_bit0 -x2904_bit0 -x3004_bit0 -x3404_bit0 -x3804_bit0 -x3904_bit0 -x4004_bit0 -x4104_bit0 -x4404_bit0 -x4704_bit0 -x4804_bit0 -x5004_bit0 -x5104_bit0 -x5204_bit0 -x5604_bit0 -x5804_bit0 -x6504_bit0 -x6604_bit0 -x6904_bit0 -x7304_bit0 -x7404_bit0 -x7504_bit0 -x7604_bit0 -x7704_bit0 -x8304_bit0 -x8504_bit0 -x8604_bit0 -x9004_bit0 -x9104_bit0 -x9204_bit0 -x9504_bit0 -x9604_bit0 -x9704_bit0 -x9804_bit0 -x10204_bit0 -x10304_bit0 -x10504_bit0 -x10804_bit0 -x10904_bit0 -x11204_bit0 -x11404_bit0 -x11604_bit0 -x11704_bit0 -x11804_bit0 -x12204_bit0 -x12904_bit0 -x13904_bit0 -x14204_bit0 -x14304_bit0 -x15204_bit0 -x15304_bit0 -x16604_bit0 -x16704_bit0 -x16804_bit0 -x17104_bit0 -x17304_bit0 -x17404_bit0 -x17504_bit0 -x17604_bit0 -x17704_bit0 -x17804_bit0 -x17904_bit0 -x18504_bit0 -x18604_bit0 -x18704_bit0 -x18804_bit0 -x18904_bit0 -x19104_bit0 -x19204_bit0 -x19304_bit0 -x19404_bit0 -x19804_bit0 -x19904_bit0 -x20004_bit0 -x20204_bit0 -x20304_bit0 -x20504_bit0 -x20704_bit0 -x20904_bit0 -x21004_bit0 -x21304_bit0 -x21504_bit0 -x21804_bit0 -x21904_bit0 -x22004_bit0 -x22104_bit0 -x22304_bit0 -x22404_bit0 -x22504_bit0 -x22704_bit0 -x22904_bit0 -x23004_bit0 -x23604_bit0 -x23904_bit0 -x24404_bit0 -x25304_bit0 -x25404_bit0 -x25604_bit0 -x25704_bit0 -x25804_bit0 -x25904_bit0 -x26004_bit0 -x26104_bit0 -x26204_bit0 -x26304_bit0 -x26404_bit0 -x26504_bit0 -x26604_bit0 -x26704_bit0 -x26904_bit0 -x27004_bit0 -x27104_bit0 -x27204_bit0 -x27304_bit0 -x27404_bit0 -x27504_bit0 -x27604_bit0 -x27704_bit0 -x27804_bit0 -x27904_bit0 -x28204_bit0 -x28304_bit0 -x28404_bit0 -x28504_bit0 -x28604_bit0 -x28704_bit0 -x28804_bit0 -x29004_bit0 -x29104_bit0 -x29204_bit0 -x29404_bit0 -x29504_bit0 -x29604_bit0 -x29704_bit0 -x29804_bit0 -x30104_bit0 -x30204_bit0 -x30304_bit0 -x30404_bit0 -x30804_bit0 -x30904_bit0 -x31204_bit0 -x31304_bit0 -x31404_bit0 -x31504_bit0 -x32104_bit0 -x32204_bit0 -x32304_bit0 -x32404_bit0 -x32504_bit0 -x32604_bit0 -x32704_bit0 -x32804_bit0 -x33004_bit0 -x33104_bit0 -x33304_bit0 -x33404_bit0 -x33604_bit0 -x34004_bit0 -x34204_bit0 -x34504_bit0 -x35304_bit0 -x35504_bit0 -x36104_bit0 -x36204_bit0 -x37304_bit0 -x37404_bit0 -x37504_bit0 -x37604_bit0 -x37704_bit0 -x37804_bit0 -x38104_bit0 -x38204_bit0 -x38404_bit0 -x38504_bit0 -x38804_bit0 -x38904_bit0 -x39204_bit0 -x40504_bit0 -x40604_bit0 -x40704_bit0 -x40804_bit0 -x41504_bit0 -x41604_bit0 -x41704_bit0 -x41904_bit0 -x42204_bit0 -x42304_bit0 -x42604_bit0 -x0105_bit0 -x0305_bit0 -x0405_bit0 -x0805_bit0 -x1105_bit0 -x1205_bit0 -x1505_bit0 -x1605_bit0 -x1905_bit0 -x2005_bit0 -x2205_bit0 -x2305_bit0 -x2905_bit0 -x3005_bit0 -x3205_bit0 -x3405_bit0 -x3805_bit0 -x4005_bit0 -x4105_bit0 -x4405_bit0 -x4805_bit0 -x5005_bit0 -x5105_bit0 -x5205_bit0 -x5305_bit0 -x5405_bit0 -x5505_bit0 -x5605_bit0 -x6505_bit0 -x6605_bit0 -x7305_bit0 -x7405_bit0 -x7605_bit0 -x7705_bit0 -x8305_bit0 -x8405_bit0 -x9005_bit0 -x9105_bit0 -x9205_bit0 -x9505_bit0 -x9605_bit0 -x10005_bit0 -x10105_bit0 -x10205_bit0 -x10305_bit0 -x10505_bit0 -x10805_bit0 -x10905_bit0 -x11205_bit0 -x11405_bit0 -x11605_bit0 -x11705_bit0 -x11805_bit0 -x12205_bit0 -x12905_bit0 -x13105_bit0 -x13905_bit0 -x14205_bit0 -x14305_bit0 -x15205_bit0 -x15305_bit0 -x16805_bit0 -x17105_bit0 -x17305_bit0 -x17405_bit0 -x17505_bit0 -x17605_bit0 -x17705_bit0 -x17805_bit0 -x17905_bit0 -x18505_bit0 -x18605_bit0 -x18705_bit0 -x18805_bit0 -x18905_bit0 -x19105_bit0 -x19205_bit0 -x19305_bit0 -x19405_bit0 -x19805_bit0 -x19905_bit0 -x20005_bit0 -x20205_bit0 -x20305_bit0 -x20505_bit0 -x20705_bit0 -x20905_bit0 -x21005_bit0 -x21305_bit0 -x21505_bit0 -x21805_bit0 -x21905_bit0 -x22005_bit0 -x22105_bit0 -x22305_bit0 -x22405_bit0 -x22505_bit0 -x22705_bit0 -x22905_bit0 -x23005_bit0 -x23605_bit0 -x24405_bit0 -x25605_bit0 -x26205_bit0 -x26305_bit0 -x26405_bit0 -x26605_bit0 -x26705_bit0 -x26905_bit0 -x27005_bit0 -x27105_bit0 -x27205_bit0 -x27305_bit0 -x27405_bit0 -x27505_bit0 -x27605_bit0 -x27705_bit0 -x27805_bit0 -x27905_bit0 -x28205_bit0 -x29105_bit0 -x29205_bit0 -x29405_bit0 -x29505_bit0 -x29605_bit0 -x29705_bit0 -x29805_bit0 -x30105_bit0 -x30205_bit0 -x30305_bit0 -x30405_bit0 -x30805_bit0 -x30905_bit0 -x31205_bit0 -x31305_bit0 -x31505_bit0 -x31805_bit0 -x32105_bit0 -x32205_bit0 -x32305_bit0 -x32405_bit0 -x32505_bit0 -x32605_bit0 -x32705_bit0 -x32805_bit0 -x33005_bit0 -x33105_bit0 -x33305_bit0 -x33405_bit0 -x33605_bit0 -x34005_bit0 -x34205_bit0 -x34505_bit0 -x35305_bit0 -x35505_bit0 -x35805_bit0 -x36105_bit0 -x36205_bit0 -x36305_bit0 -x36405_bit0 -x37305_bit0 -x37405_bit0 -x37505_bit0 -x37605_bit0 -x37705_bit0 -x37805_bit0 -x38105_bit0 -x38205_bit0 -x38405_bit0 -x38505_bit0 -x38805_bit0 -x38905_bit0 -x39205_bit0 -x40505_bit0 -x40605_bit0 -x40705_bit0 -x40805_bit0 -x41105_bit0 -x41505_bit0 -x41605_bit0 -x41705_bit0 -x41905_bit0 -x42105_bit0 -x42205_bit0 -x42305_bit0 -x42505_bit0 -x42605_bit0 -x43505_bit0 -x43705_bit0 -x0106_bit0 -x0306_bit0 -x0406_bit0 -x0806_bit0 -x1106_bit0 -x1206_bit0 -x1506_bit0 -x1606_bit0 -x1906_bit0 -x2006_bit0 -x2206_bit0 -x2306_bit0 -x2906_bit0 -x3006_bit0 -x3206_bit0 -x3406_bit0 -x3806_bit0 -x4006_bit0 -x4106_bit0 -x4406_bit0 -x4806_bit0 -x5006_bit0 -x5106_bit0 -x5206_bit0 -x5306_bit0 -x5406_bit0 -x5506_bit0 -x5606_bit0 -x6506_bit0 -x6606_bit0 -x7306_bit0 -x7406_bit0 -x7606_bit0 -x7706_bit0 -x8306_bit0 -x8406_bit0 -x9006_bit0 -x9106_bit0 -x9206_bit0 -x9506_bit0 -x9606_bit0 -x10006_bit0 -x10106_bit0 -x10206_bit0 -x10306_bit0 -x10506_bit0 -x10806_bit0 -x10906_bit0 -x11206_bit0 -x11406_bit0 -x11606_bit0 -x11706_bit0 -x11806_bit0 -x12206_bit0 -x12906_bit0 -x13106_bit0 -x13906_bit0 -x14206_bit0 -x14306_bit0 -x15206_bit0 -x15306_bit0 -x16806_bit0 -x17106_bit0 -x17306_bit0 -x17406_bit0 -x17506_bit0 -x17606_bit0 -x17706_bit0 -x17806_bit0 -x17906_bit0 -x18506_bit0 -x18606_bit0 -x18706_bit0 -x18806_bit0 -x18906_bit0 -x19106_bit0 -x19206_bit0 -x19306_bit0 -x19406_bit0 -x19806_bit0 -x19906_bit0 -x20006_bit0 -x20206_bit0 -x20306_bit0 -x20506_bit0 -x20706_bit0 -x20906_bit0 -x21006_bit0 -x21306_bit0 -x21506_bit0 -x21806_bit0 -x21906_bit0 -x22006_bit0 -x22106_bit0 -x22306_bit0 -x22406_bit0 -x22506_bit0 -x22706_bit0 -x22906_bit0 -x23006_bit0 -x23606_bit0 -x24406_bit0 -x25606_bit0 -x26206_bit0 -x26306_bit0 -x26406_bit0 -x26606_bit0 -x26706_bit0 -x26906_bit0 -x27006_bit0 -x27106_bit0 -x27206_bit0 -x27306_bit0 -x27406_bit0 -x27506_bit0 -x27606_bit0 -x27706_bit0 -x27806_bit0 -x27906_bit0 -x28206_bit0 -x29106_bit0 -x29206_bit0 -x29406_bit0 -x29506_bit0 -x29606_bit0 -x29706_bit0 -x29806_bit0 -x30106_bit0 -x30206_bit0 -x30306_bit0 -x30406_bit0 -x30806_bit0 -x30906_bit0 -x31206_bit0 -x31306_bit0 -x31506_bit0 -x31806_bit0 -x32106_bit0 -x32206_bit0 -x32306_bit0 -x32406_bit0 -x32506_bit0 -x32606_bit0 -x32706_bit0 -x32806_bit0 -x33006_bit0 -x33106_bit0 -x33306_bit0 -x33406_bit0 -x33606_bit0 -x34006_bit0 -x34206_bit0 -x34506_bit0 -x35306_bit0 -x35506_bit0 -x35806_bit0 -x36106_bit0 -x36206_bit0 -x36306_bit0 -x36406_bit0 -x37306_bit0 -x37406_bit0 -x37506_bit0 -x37606_bit0 -x37706_bit0 -x37806_bit0 -x38106_bit0 -x38206_bit0 -x38406_bit0 -x38506_bit0 -x38806_bit0 -x38906_bit0 -x39206_bit0 -x40506_bit0 -x40606_bit0 -x40706_bit0 -x40806_bit0 -x41106_bit0 -x41506_bit0 -x41606_bit0 -x41706_bit0 -x41906_bit0 -x42106_bit0 -x42206_bit0 -x42306_bit0 -x42506_bit0 -x42606_bit0 -x43506_bit0 -x43706_bit0 -x0107_bit0 -x0307_bit0 -x0407_bit0 -x0807_bit0 -x1107_bit0 -x1207_bit0 -x1507_bit0 -x1607_bit0 -x1907_bit0 -x2007_bit0 -x2207_bit0 -x2307_bit0 -x2907_bit0 -x3007_bit0 -x3207_bit0 -x3407_bit0 -x3807_bit0 -x4007_bit0 -x4107_bit0 -x4407_bit0 -x4807_bit0 -x5007_bit0 -x5107_bit0 -x5207_bit0 -x5307_bit0 -x5407_bit0 -x5507_bit0 -x5607_bit0 -x6507_bit0 -x6607_bit0 -x7307_bit0 -x7407_bit0 -x7607_bit0 -x7707_bit0 -x8307_bit0 -x8407_bit0 -x9007_bit0 -x9107_bit0 -x9207_bit0 -x9507_bit0 -x9607_bit0 -x10007_bit0 -x10107_bit0 -x10207_bit0 -x10307_bit0 -x10507_bit0 -x10807_bit0 -x10907_bit0 -x11207_bit0 -x11407_bit0 -x11607_bit0 -x11707_bit0 -x11807_bit0 -x12207_bit0 -x12907_bit0 -x13107_bit0 -x13907_bit0 -x14207_bit0 -x14307_bit0 -x15207_bit0 -x15307_bit0 -x16807_bit0 -x17107_bit0 -x17307_bit0 -x17407_bit0 -x17507_bit0 -x17607_bit0 -x17707_bit0 -x17807_bit0 -x17907_bit0 -x18507_bit0 -x18607_bit0 -x18707_bit0 -x18807_bit0 -x18907_bit0 -x19107_bit0 -x19207_bit0 -x19307_bit0 -x19407_bit0 -x19807_bit0 -x19907_bit0 -x20007_bit0 -x20207_bit0 -x20307_bit0 -x20507_bit0 -x20707_bit0 -x20907_bit0 -x21007_bit0 -x21307_bit0 -x21507_bit0 -x21807_bit0 -x21907_bit0 -x22007_bit0 -x22107_bit0 -x22307_bit0 -x22407_bit0 -x22507_bit0 -x22707_bit0 -x22907_bit0 -x23007_bit0 -x23607_bit0 -x24407_bit0 -x25607_bit0 -x26207_bit0 -x26307_bit0 -x26407_bit0 -x26607_bit0 -x26707_bit0 -x26907_bit0 -x27007_bit0 -x27107_bit0 -x27207_bit0 -x27307_bit0 -x27407_bit0 -x27507_bit0 -x27607_bit0 -x27707_bit0 -x27807_bit0 -x27907_bit0 -x28207_bit0 -x29107_bit0 -x29207_bit0 -x29407_bit0 -x29507_bit0 -x29607_bit0 -x29707_bit0 -x29807_bit0 -x30107_bit0 -x30207_bit0 -x30307_bit0 -x30407_bit0 -x30807_bit0 -x30907_bit0 -x31207_bit0 -x31307_bit0 -x31507_bit0 -x31807_bit0 -x32107_bit0 -x32207_bit0 -x32307_bit0 -x32407_bit0 -x32507_bit0 -x32607_bit0 -x32707_bit0 -x32807_bit0 -x33007_bit0 -x33107_bit0 -x33307_bit0 -x33407_bit0 -x33607_bit0 -x34007_bit0 -x34207_bit0 -x34507_bit0 -x35307_bit0 -x35507_bit0 -x35807_bit0 -x36107_bit0 -x36207_bit0 -x36307_bit0 -x36407_bit0 -x37307_bit0 -x37407_bit0 -x37507_bit0 -x37607_bit0 -x37707_bit0 -x37807_bit0 -x38107_bit0 -x38207_bit0 -x38407_bit0 -x38507_bit0 -x38807_bit0 -x38907_bit0 -x39207_bit0 -x40507_bit0 -x40607_bit0 -x40707_bit0 -x40807_bit0 -x41107_bit0 -x41507_bit0 -x41607_bit0 -x41707_bit0 -x41907_bit0 -x42107_bit0 -x42207_bit0 -x42307_bit0 -x42507_bit0 -x42607_bit0 -x43507_bit0 -x43707_bit0 -x0108_bit0 -x0308_bit0 -x0708_bit0 -x1008_bit0 -x1108_bit0 -x1308_bit0 -x1508_bit0 -x1908_bit0 -x2008_bit0 -x2208_bit0 -x3008_bit0 -x3408_bit0 -x3608_bit0 -x3808_bit0 -x3908_bit0 -x4008_bit0 -x4108_bit0 -x4408_bit0 -x4808_bit0 -x5008_bit0 -x5608_bit0 -x5808_bit0 -x5908_bit0 -x6208_bit0 -x6508_bit0 -x6908_bit0 -x7308_bit0 -x7408_bit0 -x7508_bit0 -x8108_bit0 -x8308_bit0 -x8508_bit0 -x8608_bit0 -x8708_bit0 -x8808_bit0 -x9308_bit0 -x9408_bit0 -x9508_bit0 -x9608_bit0 -x9708_bit0 -x9808_bit0 -x10308_bit0 -x10408_bit0 -x10508_bit0 -x10808_bit0 -x10908_bit0 -x11208_bit0 -x11408_bit0 -x11608_bit0 -x11708_bit0 -x11808_bit0 -x12108_bit0 -x12208_bit0 -x12308_bit0 -x12408_bit0 -x12508_bit0 -x12608_bit0 -x12708_bit0 -x12808_bit0 -x12908_bit0 -x13908_bit0 -x16408_bit0 -x16608_bit0 -x16708_bit0 -x16808_bit0 -x17108_bit0 -x17308_bit0 -x17408_bit0 -x17508_bit0 -x17608_bit0 -x17708_bit0 -x17808_bit0 -x17908_bit0 -x18508_bit0 -x18608_bit0 -x18708_bit0 -x18808_bit0 -x18908_bit0 -x19108_bit0 -x19208_bit0 -x19308_bit0 -x19408_bit0 -x19708_bit0 -x19808_bit0 -x19908_bit0 -x20008_bit0 -x20108_bit0 -x20208_bit0 -x20308_bit0 -x20408_bit0 -x20508_bit0 -x20708_bit0 -x20908_bit0 -x21008_bit0 -x21308_bit0 -x21508_bit0 -x21708_bit0 -x21808_bit0 -x21908_bit0 -x22008_bit0 -x22108_bit0 -x22308_bit0 -x22408_bit0 -x22508_bit0 -x22708_bit0 -x22808_bit0 -x22908_bit0 -x23008_bit0 -x23108_bit0 -x23508_bit0 -x23608_bit0 -x23908_bit0 -x24208_bit0 -x24408_bit0 -x25308_bit0 -x25408_bit0 -x25608_bit0 -x25708_bit0 -x25808_bit0 -x25908_bit0 -x26008_bit0 -x26108_bit0 -x26208_bit0 -x26308_bit0 -x26408_bit0 -x26508_bit0 -x26608_bit0 -x26708_bit0 -x26908_bit0 -x27008_bit0 -x27108_bit0 -x27208_bit0 -x27308_bit0 -x27408_bit0 -x27508_bit0 -x27608_bit0 -x27708_bit0 -x27808_bit0 -x27908_bit0 -x28108_bit0 -x28208_bit0 -x28308_bit0 -x28408_bit0 -x28508_bit0 -x28608_bit0 -x28708_bit0 -x28808_bit0 -x29008_bit0 -x29108_bit0 -x29408_bit0 -x29508_bit0 -x29608_bit0 -x29708_bit0 -x29808_bit0 -x29908_bit0 -x30108_bit0 -x30208_bit0 -x30308_bit0 -x30408_bit0 -x30808_bit0 -x30908_bit0 -x31208_bit0 -x31308_bit0 -x31408_bit0 -x31508_bit0 -x32108_bit0 -x32208_bit0 -x32308_bit0 -x32408_bit0 -x32508_bit0 -x32608_bit0 -x32708_bit0 -x32908_bit0 -x33008_bit0 -x33108_bit0 -x33308_bit0 -x33408_bit0 -x33508_bit0 -x33608_bit0 -x33708_bit0 -x33808_bit0 -x34008_bit0 -x34208_bit0 -x34508_bit0 -x35408_bit0 -x35508_bit0 -x35608_bit0 -x36108_bit0 -x37208_bit0 -x37308_bit0 -x37408_bit0 -x37508_bit0 -x37608_bit0 -x37708_bit0 -x37808_bit0 -x37908_bit0 -x38008_bit0 -x38108_bit0 -x38208_bit0 -x38408_bit0 -x38508_bit0 -x38608_bit0 -x38808_bit0 -x38908_bit0 -x39208_bit0 -x39708_bit0 -x40108_bit0 -x40608_bit0 -x40708_bit0 -x41508_bit0 -x41608_bit0 -x41708_bit0 -x42208_bit0 -x42308_bit0 -x0109_bit0 -x0309_bit0 -x0409_bit0 -x0709_bit0 -x1009_bit0 -x1109_bit0 -x1209_bit0 -x1309_bit0 -x1509_bit0 -x1909_bit0 -x2009_bit0 -x2209_bit0 -x2309_bit0 -x2909_bit0 -x3009_bit0 -x3409_bit0 -x3609_bit0 -x3809_bit0 -x3909_bit0 -x4009_bit0 -x4109_bit0 -x4409_bit0 -x4709_bit0 -x4809_bit0 -x5009_bit0 -x5109_bit0 -x5209_bit0 -x5609_bit0 -x5809_bit0 -x6209_bit0 -x6509_bit0 -x6609_bit0 -x6909_bit0 -x7309_bit0 -x7409_bit0 -x7509_bit0 -x7609_bit0 -x7709_bit0 -x8109_bit0 -x8309_bit0 -x8509_bit0 -x8609_bit0 -x8709_bit0 -x8809_bit0 -x9009_bit0 -x9109_bit0 -x9209_bit0 -x9309_bit0 -x9409_bit0 -x9509_bit0 -x9609_bit0 -x9709_bit0 -x9809_bit0 -x10209_bit0 -x10309_bit0 -x10509_bit0 -x10809_bit0 -x10909_bit0 -x11209_bit0 -x11409_bit0 -x11609_bit0 -x11709_bit0 -x11809_bit0 -x12109_bit0 -x12209_bit0 -x12309_bit0 -x12409_bit0 -x12509_bit0 -x12609_bit0 -x12709_bit0 -x12809_bit0 -x12909_bit0 -x13909_bit0 -x14209_bit0 -x14309_bit0 -x15209_bit0 -x15309_bit0 -x16409_bit0 -x16609_bit0 -x16709_bit0 -x16809_bit0 -x17109_bit0 -x17309_bit0 -x17409_bit0 -x17509_bit0 -x17609_bit0 -x17709_bit0 -x17809_bit0 -x17909_bit0 -x18509_bit0 -x18609_bit0 -x18709_bit0 -x18809_bit0 -x18909_bit0 -x19109_bit0 -x19209_bit0 -x19309_bit0 -x19409_bit0 -x19709_bit0 -x19809_bit0 -x19909_bit0 -x20009_bit0 -x20209_bit0 -x20309_bit0 -x20509_bit0 -x20709_bit0 -x20909_bit0 -x21009_bit0 -x21309_bit0 -x21509_bit0 -x21709_bit0 -x21809_bit0 -x21909_bit0 -x22009_bit0 -x22109_bit0 -x22309_bit0 -x22409_bit0 -x22509_bit0 -x22709_bit0 -x22909_bit0 -x23009_bit0 -x23509_bit0 -x23609_bit0 -x23909_bit0 -x24209_bit0 -x24409_bit0 -x25309_bit0 -x25409_bit0 -x25609_bit0 -x25709_bit0 -x25809_bit0 -x25909_bit0 -x26009_bit0 -x26109_bit0 -x26209_bit0 -x26309_bit0 -x26409_bit0 -x26509_bit0 -x26609_bit0 -x26709_bit0 -x26909_bit0 -x27009_bit0 -x27109_bit0 -x27209_bit0 -x27309_bit0 -x27409_bit0 -x27509_bit0 -x27609_bit0 -x27709_bit0 -x27809_bit0 -x27909_bit0 -x28209_bit0 -x28309_bit0 -x28409_bit0 -x28509_bit0 -x28609_bit0 -x28709_bit0 -x28809_bit0 -x29009_bit0 -x29109_bit0 -x29209_bit0 -x29409_bit0 -x29509_bit0 -x29609_bit0 -x29709_bit0 -x29809_bit0 -x30109_bit0 -x30209_bit0 -x30309_bit0 -x30409_bit0 -x30809_bit0 -x30909_bit0 -x31209_bit0 -x31309_bit0 -x31409_bit0 -x31509_bit0 -x32109_bit0 -x32209_bit0 -x32309_bit0 -x32409_bit0 -x32509_bit0 -x32609_bit0 -x32709_bit0 -x32809_bit0 -x33009_bit0 -x33109_bit0 -x33309_bit0 -x33409_bit0 -x33609_bit0 -x34009_bit0 -x34209_bit0 -x34509_bit0 -x35309_bit0 -x35409_bit0 -x35509_bit0 -x35609_bit0 -x36109_bit0 -x36209_bit0 -x37309_bit0 -x37409_bit0 -x37509_bit0 -x37609_bit0 -x37709_bit0 -x37809_bit0 -x38109_bit0 -x38209_bit0 -x38409_bit0 -x38509_bit0 -x38809_bit0 -x38909_bit0 -x39209_bit0 -x39709_bit0 -x39909_bit0 -x40009_bit0 -x40109_bit0 -x40509_bit0 -x40609_bit0 -x40709_bit0 -x40809_bit0 -x41509_bit0 -x41609_bit0 -x41709_bit0 -x41909_bit0 -x42209_bit0 -x42309_bit0 -x42609_bit0 -x0110_bit0 -x0210_bit0 -x0310_bit0 -x0710_bit0 -x1010_bit0 -x1110_bit0 -x1510_bit0 -x1910_bit0 -x2010_bit0 -x2110_bit0 -x2210_bit0 -x3010_bit0 -x3410_bit0 -x3810_bit0 -x3910_bit0 -x4010_bit0 -x4110_bit0 -x4410_bit0 -x4810_bit0 -x5010_bit0 -x5610_bit0 -x5810_bit0 -x6410_bit0 -x6510_bit0 -x6910_bit0 -x7310_bit0 -x7410_bit0 -x7510_bit0 -x8210_bit0 -x8310_bit0 -x8510_bit0 -x8610_bit0 -x9510_bit0 -x9610_bit0 -x9710_bit0 -x9810_bit0 -x9910_bit0 -x10310_bit0 -x10510_bit0 -x10810_bit0 -x10910_bit0 -x11110_bit0 -x11210_bit0 -x11410_bit0 -x11610_bit0 -x11710_bit0 -x11810_bit0 -x11910_bit0 -x12010_bit0 -x12210_bit0 -x12910_bit0 -x13410_bit0 -x13810_bit0 -x13910_bit0 -x15010_bit0 -x15210_bit0 -x16610_bit0 -x16710_bit0 -x16810_bit0 -x17110_bit0 -x17310_bit0 -x17410_bit0 -x17510_bit0 -x17610_bit0 -x17710_bit0 -x17810_bit0 -x17910_bit0 -x18510_bit0 -x18610_bit0 -x18710_bit0 -x18810_bit0 -x18910_bit0 -x19110_bit0 -x19210_bit0 -x19310_bit0 -x19410_bit0 -x19810_bit0 -x19910_bit0 -x20510_bit0 -x20610_bit0 -x20710_bit0 -x20810_bit0 -x20910_bit0 -x21010_bit0 -x21110_bit0 -x21210_bit0 -x21310_bit0 -x21410_bit0 -x21510_bit0 -x21610_bit0 -x21810_bit0 -x21910_bit0 -x22110_bit0 -x22210_bit0 -x22610_bit0 -x22710_bit0 -x22910_bit0 -x23010_bit0 -x23210_bit0 -x23310_bit0 -x23410_bit0 -x23610_bit0 -x23710_bit0 -x23910_bit0 -x24410_bit0 -x25310_bit0 -x25410_bit0 -x25610_bit0 -x25710_bit0 -x25810_bit0 -x25910_bit0 -x26010_bit0 -x26110_bit0 -x26210_bit0 -x26310_bit0 -x26410_bit0 -x26510_bit0 -x26610_bit0 -x26710_bit0 -x26910_bit0 -x27010_bit0 -x27110_bit0 -x27210_bit0 -x27310_bit0 -x27410_bit0 -x27510_bit0 -x27610_bit0 -x27710_bit0 -x27810_bit0 -x27910_bit0 -x28210_bit0 -x28310_bit0 -x28410_bit0 -x28510_bit0 -x28610_bit0 -x28710_bit0 -x28810_bit0 -x28910_bit0 -x29010_bit0 -x29110_bit0 -x29410_bit0 -x29510_bit0 -x29610_bit0 -x29710_bit0 -x29810_bit0 -x30110_bit0 -x30210_bit0 -x30310_bit0 -x30410_bit0 -x30510_bit0 -x30810_bit0 -x30910_bit0 -x31210_bit0 -x31310_bit0 -x31410_bit0 -x31510_bit0 -x32110_bit0 -x32210_bit0 -x32310_bit0 -x32410_bit0 -x32510_bit0 -x32610_bit0 -x32710_bit0 -x33010_bit0 -x33110_bit0 -x33210_bit0 -x33410_bit0 -x33610_bit0 -x33910_bit0 -x34110_bit0 -x34210_bit0 -x34310_bit0 -x34410_bit0 -x34510_bit0 -x35510_bit0 -x36110_bit0 -x37310_bit0 -x37410_bit0 -x37510_bit0 -x37610_bit0 -x37810_bit0 -x38110_bit0 -x38210_bit0 -x38310_bit0 -x38410_bit0 -x38510_bit0 -x38710_bit0 -x38810_bit0 -x39010_bit0 -x39110_bit0 -x39210_bit0 -x40610_bit0 -x40710_bit0 -x41510_bit0 -x41610_bit0 -x41710_bit0 -x42210_bit0 -x42310_bit0 -x0311_bit0 -x0411_bit0 -x1111_bit0 -x1211_bit0 -x1511_bit0 -x1911_bit0 -x2011_bit0 -x2311_bit0 -x2911_bit0 -x3011_bit0 -x3411_bit0 -x3811_bit0 -x4011_bit0 -x4411_bit0 -x4811_bit0 -x5011_bit0 -x5111_bit0 -x5211_bit0 -x5611_bit0 -x6511_bit0 -x6611_bit0 -x7311_bit0 -x7411_bit0 -x7611_bit0 -x7711_bit0 -x8311_bit0 -x9011_bit0 -x9111_bit0 -x9211_bit0 -x9511_bit0 -x9611_bit0 -x10211_bit0 -x10511_bit0 -x10811_bit0 -x11211_bit0 -x11411_bit0 -x11611_bit0 -x11711_bit0 -x11811_bit0 -x12911_bit0 -x13911_bit0 -x14211_bit0 -x14311_bit0 -x15211_bit0 -x15311_bit0 -x17111_bit0 -x17311_bit0 -x17411_bit0 -x17511_bit0 -x17611_bit0 -x17711_bit0 -x17811_bit0 -x17911_bit0 -x18511_bit0 -x18611_bit0 -x18711_bit0 -x18811_bit0 -x18911_bit0 -x19111_bit0 -x19211_bit0 -x19311_bit0 -x19411_bit0 -x20011_bit0 -x20211_bit0 -x20311_bit0 -x20511_bit0 -x20711_bit0 -x20911_bit0 -x21011_bit0 -x21511_bit0 -x21911_bit0 -x22011_bit0 -x22111_bit0 -x22311_bit0 -x22411_bit0 -x22511_bit0 -x22711_bit0 -x22911_bit0 -x24411_bit0 -x26911_bit0 -x27011_bit0 -x27111_bit0 -x27211_bit0 -x27311_bit0 -x27411_bit0 -x28211_bit0 -x29111_bit0 -x29211_bit0 -x29411_bit0 -x29711_bit0 -x29811_bit0 -x30111_bit0 -x30211_bit0 -x30311_bit0 -x30411_bit0 -x30811_bit0 -x30911_bit0 -x31211_bit0 -x31311_bit0 -x32111_bit0 -x32211_bit0 -x32311_bit0 -x32411_bit0 -x32511_bit0 -x32611_bit0 -x32711_bit0 -x32811_bit0 -x33011_bit0 -x33111_bit0 -x33311_bit0 -x33411_bit0 -x33611_bit0 -x34011_bit0 -x34211_bit0 -x34511_bit0 -x35311_bit0 -x36111_bit0 -x36211_bit0 -x37311_bit0 -x37411_bit0 -x37511_bit0 -x37611_bit0 -x37711_bit0 -x37811_bit0 -x38111_bit0 -x38211_bit0 -x38411_bit0 -x38511_bit0 -x38811_bit0 -x38911_bit0 -x40511_bit0 -x40611_bit0 -x40711_bit0 -x40811_bit0 -x41511_bit0 -x41711_bit0 -x41911_bit0 -x42211_bit0 -x42311_bit0 -x42611_bit0 -x0312_bit0 -x0412_bit0 -x0712_bit0 -x1012_bit0 -x1112_bit0 -x1212_bit0 -x1312_bit0 -x1512_bit0 -x1912_bit0 -x2012_bit0 -x2312_bit0 -x2912_bit0 -x3012_bit0 -x3412_bit0 -x3612_bit0 -x3812_bit0 -x3912_bit0 -x4012_bit0 -x4412_bit0 -x4712_bit0 -x4812_bit0 -x5012_bit0 -x5112_bit0 -x5212_bit0 -x5612_bit0 -x5812_bit0 -x6212_bit0 -x6512_bit0 -x6612_bit0 -x6712_bit0 -x6912_bit0 -x7312_bit0 -x7412_bit0 -x7512_bit0 -x7612_bit0 -x7712_bit0 -x8112_bit0 -x8312_bit0 -x8712_bit0 -x8812_bit0 -x9012_bit0 -x9112_bit0 -x9212_bit0 -x9312_bit0 -x9412_bit0 -x9512_bit0 -x9612_bit0 -x9712_bit0 -x9812_bit0 -x10212_bit0 -x10512_bit0 -x10812_bit0 -x11212_bit0 -x11412_bit0 -x11612_bit0 -x11712_bit0 -x11812_bit0 -x12112_bit0 -x12412_bit0 -x12512_bit0 -x12712_bit0 -x12812_bit0 -x12912_bit0 -x13912_bit0 -x14212_bit0 -x14312_bit0 -x15212_bit0 -x15312_bit0 -x16412_bit0 -x16612_bit0 -x17112_bit0 -x17312_bit0 -x17412_bit0 -x17712_bit0 -x17812_bit0 -x17912_bit0 -x18512_bit0 -x18712_bit0 -x18812_bit0 -x18912_bit0 -x19112_bit0 -x19212_bit0 -x19412_bit0 -x19712_bit0 -x20012_bit0 -x20212_bit0 -x20312_bit0 -x20512_bit0 -x20712_bit0 -x20912_bit0 -x21012_bit0 -x21512_bit0 -x21712_bit0 -x21912_bit0 -x22012_bit0 -x22112_bit0 -x22312_bit0 -x22412_bit0 -x22512_bit0 -x22712_bit0 -x22912_bit0 -x23912_bit0 -x24212_bit0 -x25312_bit0 -x25412_bit0 -x26912_bit0 -x27012_bit0 -x27112_bit0 -x27212_bit0 -x27312_bit0 -x27412_bit0 -x28212_bit0 -x28312_bit0 -x28712_bit0 -x28812_bit0 -x29112_bit0 -x29212_bit0 -x29412_bit0 -x29712_bit0 -x29812_bit0 -x30112_bit0 -x30212_bit0 -x30312_bit0 -x30412_bit0 -x30912_bit0 -x31312_bit0 -x31412_bit0 -x32112_bit0 -x32212_bit0 -x32312_bit0 -x32412_bit0 -x32512_bit0 -x32612_bit0 -x32712_bit0 -x32812_bit0 -x33012_bit0 -x33112_bit0 -x33312_bit0 -x33412_bit0 -x33612_bit0 -x34012_bit0 -x34212_bit0 -x34512_bit0 -x35312_bit0 -x36112_bit0 -x36212_bit0 -x37312_bit0 -x37412_bit0 -x37512_bit0 -x37612_bit0 -x37712_bit0 -x37812_bit0 -x38112_bit0 -x38212_bit0 -x38412_bit0 -x38512_bit0 -x38912_bit0 -x39912_bit0 -x40012_bit0 -x40112_bit0 -x40512_bit0 -x40612_bit0 -x40812_bit0 -x41512_bit0 -x41712_bit0 -x41912_bit0 -x42112_bit0 -x42212_bit0 -x42312_bit0 -x42612_bit0 -x0413_bit0 -x0613_bit0 -x0713_bit0 -x1013_bit0 -x1413_bit0 -x1513_bit0 -x2013_bit0 -x2313_bit0 -x2413_bit0 -x2613_bit0 -x2713_bit0 -x2813_bit0 -x3113_bit0 -x3513_bit0 -x3713_bit0 -x3813_bit0 -x3913_bit0 -x4013_bit0 -x4313_bit0 -x4513_bit0 -x4613_bit0 -x4713_bit0 -x4813_bit0 -x4913_bit0 -x5013_bit0 -x5213_bit0 -x5813_bit0 -x6013_bit0 -x6113_bit0 -x6313_bit0 -x6513_bit0 -x6613_bit0 -x6913_bit0 -x7313_bit0 -x7713_bit0 -x7813_bit0 -x8313_bit0 -x9013_bit0 -x9113_bit0 -x9213_bit0 -x9513_bit0 -x9613_bit0 -x9713_bit0 -x10213_bit0 -x11013_bit0 -x11413_bit0 -x11613_bit0 -x11713_bit0 -x11813_bit0 -x13513_bit0 -x13613_bit0 -x14213_bit0 -x14313_bit0 -x14413_bit0 -x15213_bit0 -x15313_bit0 -x15813_bit0 -x16113_bit0 -x16613_bit0 -x17213_bit0 -x19513_bit0 -x24513_bit0 -x24613_bit0 -x24713_bit0 -x25013_bit0 -x25313_bit0 -x26813_bit0 -x26913_bit0 -x27013_bit0 -x27113_bit0 -x27213_bit0 -x27313_bit0 -x28013_bit0 -x28813_bit0 -x29213_bit0 -x29413_bit0 -x29713_bit0 -x30113_bit0 -x30313_bit0 -x31013_bit0 -x31413_bit0 -x31613_bit0 -x31713_bit0 -x32013_bit0 -x32113_bit0 -x32213_bit0 -x32313_bit0 -x32413_bit0 -x32613_bit0 -x32713_bit0 -x32813_bit0 -x34613_bit0 -x34713_bit0 -x34813_bit0 -x35013_bit0 -x35313_bit0 -x36013_bit0 -x36513_bit0 -x36613_bit0 -x36713_bit0 -x36813_bit0 -x37313_bit0 -x37413_bit0 -x37513_bit0 -x37613_bit0 -x39313_bit0 -x39413_bit0 -x39513_bit0 -x39613_bit0 -x39813_bit0 -x40113_bit0 -x40513_bit0 -x40913_bit0 -x41013_bit0 -x41313_bit0 -x41713_bit0 -x42213_bit0 -x42613_bit0 -x42713_bit0 -x42913_bit0 -x43013_bit0 -x43113_bit0 -x43213_bit0 -x43313_bit0 -x43413_bit0 -x0414_bit0 -x0814_bit0 -x1214_bit0 -x1514_bit0 -x1614_bit0 -x2014_bit0 -x2314_bit0 -x2914_bit0 -x3214_bit0 -x3814_bit0 -x4014_bit0 -x4814_bit0 -x5014_bit0 -x5114_bit0 -x5214_bit0 -x5314_bit0 -x5414_bit0 -x5514_bit0 -x6514_bit0 -x6614_bit0 -x7614_bit0 -x7714_bit0 -x8314_bit0 -x8414_bit0 -x9014_bit0 -x9114_bit0 -x9214_bit0 -x9514_bit0 -x9614_bit0 -x10014_bit0 -x10114_bit0 -x10214_bit0 -x11214_bit0 -x11414_bit0 -x11614_bit0 -x11714_bit0 -x11814_bit0 -x12914_bit0 -x13114_bit0 -x14214_bit0 -x14314_bit0 -x15214_bit0 -x15314_bit0 -x20014_bit0 -x20214_bit0 -x20314_bit0 -x22014_bit0 -x22414_bit0 -x22514_bit0 -x26914_bit0 -x27014_bit0 -x27114_bit0 -x27214_bit0 -x27314_bit0 -x29214_bit0 -x29414_bit0 -x29714_bit0 -x30114_bit0 -x30314_bit0 -x31814_bit0 -x32114_bit0 -x32214_bit0 -x32314_bit0 -x32414_bit0 -x32714_bit0 -x32814_bit0 -x33314_bit0 -x35314_bit0 -x35814_bit0 -x36214_bit0 -x36314_bit0 -x36414_bit0 -x37314_bit0 -x37414_bit0 -x37514_bit0 -x37614_bit0 -x37714_bit0 -x37814_bit0 -x38914_bit0 -x40514_bit0 -x40814_bit0 -x41114_bit0 -x41714_bit0 -x41914_bit0 -x42114_bit0 -x42514_bit0 -x42614_bit0 -x43514_bit0 -x43714_bit0 -x0415_bit0 -x2015_bit0 -x2315_bit0 -x2915_bit0 -x3815_bit0 -x4015_bit0 -x4815_bit0 -x5015_bit0 -x5115_bit0 -x5215_bit0 -x5515_bit0 -x6515_bit0 -x6615_bit0 -x7715_bit0 -x8315_bit0 -x9015_bit0 -x9115_bit0 -x9215_bit0 -x9515_bit0 -x9615_bit0 -x10215_bit0 -x11315_bit0 -x11415_bit0 -x11615_bit0 -x11715_bit0 -x11815_bit0 -x13115_bit0 -x13315_bit0 -x13715_bit0 -x14215_bit0 -x14315_bit0 -x14515_bit0 -x15215_bit0 -x15315_bit0 -x15615_bit0 -x16015_bit0 -x16215_bit0 -x26915_bit0 -x27015_bit0 -x27115_bit0 -x27215_bit0 -x27315_bit0 -x29215_bit0 -x29415_bit0 -x29715_bit0 -x30115_bit0 -x30315_bit0 -x32115_bit0 -x32215_bit0 -x32315_bit0 -x32415_bit0 -x32715_bit0 -x32815_bit0 -x35315_bit0 -x35815_bit0 -x36215_bit0 -x36915_bit0 -x37315_bit0 -x37415_bit0 -x37515_bit0 -x37615_bit0 -x40515_bit0 -x40815_bit0 -x41115_bit0 -x41715_bit0 -x41915_bit0 -x42115_bit0 -x42515_bit0 -x42615_bit0 -x43515_bit0 -x43715_bit0 -x0416_bit0 -x1216_bit0 -x2316_bit0 -x2916_bit0 -x4716_bit0 -x5116_bit0 -x5216_bit0 -x6616_bit0 -x6716_bit0 -x7616_bit0 -x7716_bit0 -x9016_bit0 -x9116_bit0 -x9216_bit0 -x10216_bit0 -x14216_bit0 -x14316_bit0 -x15316_bit0 -x29216_bit0 -x32816_bit0 -x35316_bit0 -x36216_bit0 -x39916_bit0 -x40016_bit0 -x40516_bit0 -x40816_bit0 -x41916_bit0 -x42116_bit0 -x42616_bit0 -x0417_bit0 -x1217_bit0 -x2317_bit0 -x2917_bit0 -x5117_bit0 -x5217_bit0 -x7617_bit0 -x9017_bit0 -x14217_bit0 -x14317_bit0 -x15317_bit0 -x36217_bit0 -x39917_bit0 -x40017_bit0 -x40517_bit0 -x40817_bit0 -x41917_bit0 -x0818_bit0 -x1618_bit0 -x3218_bit0 -x5318_bit0 -x5418_bit0 -x5518_bit0 -x6718_bit0 -x8418_bit0 -x10018_bit0 -x10118_bit0 -x13118_bit0 -x31818_bit0 -x35818_bit0 -x36318_bit0 -x36418_bit0 -x40318_bit0 -x41118_bit0 -x42118_bit0 -x42518_bit0 -x43518_bit0 -x43718_bit0 -x0819_bit0 -x1619_bit0 -x3219_bit0 -x5319_bit0 -x5419_bit0 -x5519_bit0 -x8419_bit0 -x10019_bit0 -x10119_bit0 -x13119_bit0 -x31819_bit0 -x35819_bit0 -x36319_bit0 -x36419_bit0 -x41119_bit0 -x42519_bit0 -x43519_bit0 -x0820_bit0 -x1620_bit0 -x3220_bit0 -x5320_bit0 -x5420_bit0 -x8420_bit0 -x10020_bit0 -x10120_bit0 -x13120_bit0 -x31820_bit0 -x35820_bit0 -x36320_bit0 -x36420_bit0 -x2921_bit0 -x8921_bit0 -x14021_bit0 -x14121_bit0 -x15121_bit0 -x16921_bit0 -x17021_bit0 -x18121_bit0 -x18321_bit0 -x24021_bit0 -x24121_bit0 -x39921_bit0 -x40021_bit0 -x5522_bit0 -x10122_bit0 -x35822_bit0 -x41122_bit0 -x42122_bit0 -x42522_bit0 -x43522_bit0 -x43722_bit0 -x5523_bit0 -x10123_bit0 -x13123_bit0 -x35823_bit0 -x41123_bit0 -x42523_bit0 -x43523_bit0 -z00_bit0 -z01_bit0 -z02_bit0 -z03_bit0 -z04_bit0 -z05_bit0 -z06_bit0 -z07_bit0 -z08_bit0 -z09_bit0 -z10_bit0 -z11_bit0 -z12_bit0 -z13_bit0 -z14_bit0 -z15_bit0 -z16_bit0 -z17_bit0 -z18_bit0 -z19_bit0 -z20_bit0 -z21_bit0 -z22_bit0 -z23_bit0 -y0000_bit0 -y0100_bit0 -y0200_bit0 -y0300_bit0 -y0400_bit0 -y0500_bit0 -y0600_bit0 -y0700_bit0 -y0800_bit0 -y0900_bit0 -y1000_bit0 -y1100_bit0 -y1200_bit0 -y1300_bit0 -y1400_bit0 -y1500_bit0 -y1600_bit0 -y1700_bit0 -y1800_bit0 -y1900_bit0 -y2000_bit0 -y2100_bit0 -y2200_bit0 -y2300_bit0 -y2400_bit0 -y2500_bit0 -y2600_bit0 -y2700_bit0 -y2800_bit0 -y2900_bit0 -y3000_bit0 -y3100_bit0 -y3200_bit0 -y3300_bit0 -y3400_bit0 -y3500_bit0 -y3600_bit0 -y3700_bit0 -y3800_bit0 -y3900_bit0 -y4000_bit0 -y4100_bit0 -y4200_bit0 -y4300_bit0 -y4400_bit0 -y4500_bit0 -y4600_bit0 -y4700_bit0 -y4800_bit0 -y4900_bit0 -y5000_bit0 -y5100_bit0 -y5200_bit0 -y5300_bit0 -y5400_bit0 -y5500_bit0 -y5600_bit0 -y5700_bit0 -y5800_bit0 -y5900_bit0 -y6000_bit0 -y6100_bit0 -y6200_bit0 -y6300_bit0 -y6400_bit0 -y6500_bit0 -y6600_bit0 -y6700_bit0 -y6800_bit0 -y6900_bit0 -y7000_bit0 -y7100_bit0 -y7200_bit0 -y7300_bit0 -y7400_bit0 -y7500_bit0 -y7600_bit0 -y7700_bit0 -y7800_bit0 -y7900_bit0 -y8000_bit0 -y8100_bit0 -y8200_bit0 -y8300_bit0 -y8400_bit0 -y8500_bit0 -y8600_bit0 -y8700_bit0 -y8800_bit0 -y8900_bit0 -y9000_bit0 -y9100_bit0 -y9200_bit0 -y9300_bit0 -y9400_bit0 -y9500_bit0 -y9600_bit0 -y9700_bit0 -y9800_bit0 -y9900_bit0 -y10000_bit0 -y10100_bit0 -y10200_bit0 -y10300_bit0 -y10400_bit0 -y10500_bit0 -y10600_bit0 -y10700_bit0 -y10800_bit0 -y10900_bit0 -y11000_bit0 -y11100_bit0 -y11200_bit0 -y11300_bit0 -y11400_bit0 -y11500_bit0 -y11600_bit0 -y11700_bit0 -y11800_bit0 -y11900_bit0 -y12000_bit0 -y12100_bit0 -y12200_bit0 -y12300_bit0 -y12400_bit0 -y12500_bit0 -y12600_bit0 -y12700_bit0 -y12800_bit0 -y12900_bit0 -y13000_bit0 -y13100_bit0 -y13200_bit0 -y13300_bit0 -y13400_bit0 -y13500_bit0 -y13600_bit0 -y13700_bit0 -y13800_bit0 -y13900_bit0 -y14000_bit0 -y14100_bit0 -y14200_bit0 -y14300_bit0 -y14400_bit0 -y14500_bit0 -y14600_bit0 -y14700_bit0 -y14800_bit0 -y14900_bit0 -y15000_bit0 -y15100_bit0 -y15200_bit0 -y15300_bit0 -y15400_bit0 -y15500_bit0 -y15600_bit0 -y15700_bit0 -y15800_bit0 -y15900_bit0 -y16000_bit0 -y16100_bit0 -y16200_bit0 -y16300_bit0 -y16400_bit0 -y16500_bit0 -y16600_bit0 -y16700_bit0 -y16800_bit0 -y16900_bit0 -y17000_bit0 -y17100_bit0 -y17200_bit0 -y17300_bit0 -y17400_bit0 -y17500_bit0 -y17600_bit0 -y17700_bit0 -y17800_bit0 -y17900_bit0 -y18000_bit0 -y18100_bit0 -y18200_bit0 -y18300_bit0 -y18400_bit0 -y18500_bit0 -y18600_bit0 -y18700_bit0 -y18800_bit0 -y18900_bit0 -y19000_bit0 -y19100_bit0 -y19200_bit0 -y19300_bit0 -y19400_bit0 -y19500_bit0 -y19600_bit0 -y19700_bit0 -y19800_bit0 -y19900_bit0 -y20000_bit0 -y20100_bit0 -y20200_bit0 -y20300_bit0 -y20400_bit0 -y20500_bit0 -y20600_bit0 -y20700_bit0 -y20800_bit0 -y20900_bit0 -y21000_bit0 -y21100_bit0 -y21200_bit0 -y21300_bit0 -y21400_bit0 -y21500_bit0 -y21600_bit0 -y21700_bit0 -y21800_bit0 -y21900_bit0 -y22000_bit0 -y22100_bit0 -y0101_bit0 -y0201_bit0 -y0301_bit0 -y0701_bit0 -y1001_bit0 -y1201_bit0 -y1501_bit0 -y1601_bit0 -y1701_bit0 -y1801_bit0 -y2301_bit0 -y2401_bit0 -y2701_bit0 -y3101_bit0 -y3201_bit0 -y3801_bit0 -y3901_bit0 -y4001_bit0 -y4101_bit0 -y4201_bit0 -y4301_bit0 -y4801_bit0 -y5401_bit0 -y5601_bit0 -y6001_bit0 -y6101_bit0 -y6401_bit0 -y6501_bit0 -y6601_bit0 -y6901_bit0 -y7101_bit0 -y7201_bit0 -y7301_bit0 -y7401_bit0 -y7501_bit0 -y7701_bit0 -y7801_bit0 -y8001_bit0 -y8101_bit0 -y8301_bit0 -y8501_bit0 -y8701_bit0 -y8801_bit0 -y8901_bit0 -y9201_bit0 -y9401_bit0 -y10601_bit0 -y10801_bit0 -y11701_bit0 -y12201_bit0 -y12301_bit0 -y12501_bit0 -y12601_bit0 -y12701_bit0 -y12801_bit0 -y12901_bit0 -y13001_bit0 -y13101_bit0 -y13201_bit0 -y13301_bit0 -y14001_bit0 -y14101_bit0 -y14301_bit0 -y14401_bit0 -y14501_bit0 -y14601_bit0 -y14801_bit0 -y14901_bit0 -y15001_bit0 -y15301_bit0 -y15401_bit0 -y15701_bit0 -y15801_bit0 -y15901_bit0 -y16101_bit0 -y16301_bit0 -y16401_bit0 -y16501_bit0 -y16601_bit0 -y16701_bit0 -y16801_bit0 -y16901_bit0 -y17401_bit0 -y17601_bit0 -y17901_bit0 -y18101_bit0 -y18201_bit0 -y18601_bit0 -y18901_bit0 -y19001_bit0 -y19701_bit0 -y19801_bit0 -y19901_bit0 -y20001_bit0 -y20101_bit0 -y20501_bit0 -y20601_bit0 -y20701_bit0 -y21001_bit0 -y21101_bit0 -y21301_bit0 -y21401_bit0 -y21901_bit0 -y22101_bit0 -y0102_bit0 -y0202_bit0 -y0302_bit0 -y0702_bit0 -y1002_bit0 -y1202_bit0 -y1502_bit0 -y1602_bit0 -y1702_bit0 -y1802_bit0 -y2302_bit0 -y2402_bit0 -y2702_bit0 -y3102_bit0 -y3202_bit0 -y3802_bit0 -y3902_bit0 -y4002_bit0 -y4102_bit0 -y4202_bit0 -y4302_bit0 -y4802_bit0 -y5402_bit0 -y5602_bit0 -y6002_bit0 -y6102_bit0 -y6402_bit0 -y6502_bit0 -y6602_bit0 -y6902_bit0 -y7102_bit0 -y7202_bit0 -y7302_bit0 -y7502_bit0 -y7802_bit0 -y8002_bit0 -y8102_bit0 -y8302_bit0 -y8802_bit0 -y8902_bit0 -y9202_bit0 -y10602_bit0 -y10802_bit0 -y11702_bit0 -y12202_bit0 -y12302_bit0 -y12502_bit0 -y12602_bit0 -y12702_bit0 -y12802_bit0 -y12902_bit0 -y13002_bit0 -y13102_bit0 -y13202_bit0 -y13302_bit0 -y14002_bit0 -y14102_bit0 -y14302_bit0 -y14402_bit0 -y14502_bit0 -y14602_bit0 -y14802_bit0 -y14902_bit0 -y15002_bit0 -y15302_bit0 -y15402_bit0 -y15702_bit0 -y15802_bit0 -y15902_bit0 -y16102_bit0 -y16302_bit0 -y16402_bit0 -y16502_bit0 -y16602_bit0 -y16702_bit0 -y16802_bit0 -y16902_bit0 -y17402_bit0 -y17602_bit0 -y17902_bit0 -y18102_bit0 -y18202_bit0 -y18902_bit0 -y19002_bit0 -y19702_bit0 -y19802_bit0 -y19902_bit0 -y20002_bit0 -y20102_bit0 -y20502_bit0 -y20602_bit0 -y20702_bit0 -y21002_bit0 -y21102_bit0 -y21302_bit0 -y21402_bit0 -y21902_bit0 -y22102_bit0 -y22202_bit0 -y22302_bit0 -y22402_bit0 -y22502_bit0 -y22602_bit0 -y22702_bit0 -y22802_bit0 -y22902_bit0 -y23002_bit0 -y23102_bit0 -y23202_bit0 -y23302_bit0 -y23402_bit0 -y23502_bit0 -y23602_bit0 -y23702_bit0 -y23802_bit0 -y23902_bit0 -y24002_bit0 -y24102_bit0 -y24202_bit0 -y24302_bit0 -y24402_bit0 -y24502_bit0 -y24602_bit0 -y24702_bit0 -y24802_bit0 -y24902_bit0 -y25002_bit0 -y25102_bit0 -y25202_bit0 -y25302_bit0 -y25402_bit0 -y25502_bit0 -y25602_bit0 -y25702_bit0 -y25802_bit0 -y25902_bit0 -y26002_bit0 -y26102_bit0 -y26202_bit0 -y26302_bit0 -y26402_bit0 -y26502_bit0 -y26602_bit0 -y26702_bit0 -y26802_bit0 -y26902_bit0 -y27002_bit0 -y27102_bit0 -y27202_bit0 -y27302_bit0 -y27402_bit0 -y27502_bit0 -y27602_bit0 -y27702_bit0 -y27802_bit0 -y27902_bit0 -y0103_bit0 -y0203_bit0 -y0303_bit0 -y0703_bit0 -y1003_bit0 -y1203_bit0 -y1503_bit0 -y1603_bit0 -y1703_bit0 -y1803_bit0 -y2303_bit0 -y2403_bit0 -y2703_bit0 -y3103_bit0 -y3203_bit0 -y3803_bit0 -y3903_bit0 -y4003_bit0 -y4103_bit0 -y4203_bit0 -y4303_bit0 -y4803_bit0 -y5403_bit0 -y5603_bit0 -y6003_bit0 -y6103_bit0 -y6403_bit0 -y6503_bit0 -y6603_bit0 -y6903_bit0 -y7103_bit0 -y7203_bit0 -y7303_bit0 -y7503_bit0 -y7803_bit0 -y8003_bit0 -y8103_bit0 -y8303_bit0 -y8803_bit0 -y8903_bit0 -y9203_bit0 -y10603_bit0 -y10803_bit0 -y11703_bit0 -y12203_bit0 -y12303_bit0 -y12503_bit0 -y12603_bit0 -y12703_bit0 -y12803_bit0 -y12903_bit0 -y13003_bit0 -y13103_bit0 -y13203_bit0 -y13303_bit0 -y14003_bit0 -y14103_bit0 -y14303_bit0 -y14403_bit0 -y14503_bit0 -y14603_bit0 -y14803_bit0 -y14903_bit0 -y15003_bit0 -y15303_bit0 -y15403_bit0 -y15703_bit0 -y15803_bit0 -y15903_bit0 -y16103_bit0 -y16303_bit0 -y16403_bit0 -y16503_bit0 -y16603_bit0 -y16703_bit0 -y16803_bit0 -y16903_bit0 -y17403_bit0 -y17603_bit0 -y17903_bit0 -y18103_bit0 -y18203_bit0 -y18903_bit0 -y19003_bit0 -y19703_bit0 -y19803_bit0 -y19903_bit0 -y20003_bit0 -y20103_bit0 -y20503_bit0 -y20603_bit0 -y20703_bit0 -y21003_bit0 -y21103_bit0 -y21303_bit0 -y21403_bit0 -y21903_bit0 -y22103_bit0 -y22203_bit0 -y22303_bit0 -y22403_bit0 -y22503_bit0 -y22603_bit0 -y22703_bit0 -y22803_bit0 -y22903_bit0 -y23003_bit0 -y23103_bit0 -y23203_bit0 -y23303_bit0 -y23403_bit0 -y23503_bit0 -y23603_bit0 -y23703_bit0 -y23803_bit0 -y23903_bit0 -y24003_bit0 -y24103_bit0 -y24203_bit0 -y24303_bit0 -y24403_bit0 -y24503_bit0 -y24603_bit0 -y24703_bit0 -y24803_bit0 -y24903_bit0 -y25003_bit0 -y25103_bit0 -y25203_bit0 -y25303_bit0 -y25403_bit0 -y25503_bit0 -y25603_bit0 -y25703_bit0 -y25803_bit0 -y25903_bit0 -y26003_bit0 -y26103_bit0 -y26203_bit0 -y26303_bit0 -y26403_bit0 -y26503_bit0 -y26603_bit0 -y26703_bit0 -y26803_bit0 -y26903_bit0 -y27003_bit0 -y27103_bit0 -y27203_bit0 -y27303_bit0 -y27403_bit0 -y27503_bit0 -y27603_bit0 -y27703_bit0 -y27803_bit0 -y27903_bit0 -y0104_bit0 -y0204_bit0 -y0304_bit0 -y0604_bit0 -y0904_bit0 -y1004_bit0 -y1204_bit0 -y1504_bit0 -y1604_bit0 -y1704_bit0 -y1804_bit0 -y2304_bit0 -y2404_bit0 -y2704_bit0 -y3104_bit0 -y3204_bit0 -y3704_bit0 -y3804_bit0 -y3904_bit0 -y4004_bit0 -y4104_bit0 -y4304_bit0 -y4404_bit0 -y4804_bit0 -y5104_bit0 -y5404_bit0 -y5504_bit0 -y5604_bit0 -y6004_bit0 -y6204_bit0 -y6304_bit0 -y6404_bit0 -y6504_bit0 -y6604_bit0 -y6904_bit0 -y7004_bit0 -y7204_bit0 -y7304_bit0 -y7504_bit0 -y7804_bit0 -y8004_bit0 -y8104_bit0 -y8804_bit0 -y8904_bit0 -y9204_bit0 -y9904_bit0 -y10004_bit0 -y10604_bit0 -y10804_bit0 -y11004_bit0 -y11404_bit0 -y11504_bit0 -y11704_bit0 -y11804_bit0 -y11904_bit0 -y12004_bit0 -y12104_bit0 -y12204_bit0 -y12304_bit0 -y12404_bit0 -y12504_bit0 -y12604_bit0 -y12704_bit0 -y12804_bit0 -y12904_bit0 -y13004_bit0 -y13104_bit0 -y13204_bit0 -y13304_bit0 -y13404_bit0 -y13504_bit0 -y13604_bit0 -y13704_bit0 -y13804_bit0 -y13904_bit0 -y14004_bit0 -y14104_bit0 -y14304_bit0 -y14404_bit0 -y14504_bit0 -y14604_bit0 -y14804_bit0 -y14904_bit0 -y15004_bit0 -y15304_bit0 -y15404_bit0 -y15704_bit0 -y15804_bit0 -y15904_bit0 -y16304_bit0 -y16404_bit0 -y16504_bit0 -y16604_bit0 -y16704_bit0 -y16804_bit0 -y16904_bit0 -y17404_bit0 -y17604_bit0 -y18104_bit0 -y18204_bit0 -y18904_bit0 -y19004_bit0 -y19704_bit0 -y19804_bit0 -y19904_bit0 -y20004_bit0 -y20504_bit0 -y20604_bit0 -y20704_bit0 -y21104_bit0 -y21404_bit0 -y22204_bit0 -y22604_bit0 -y22704_bit0 -y22804_bit0 -y22904_bit0 -y23004_bit0 -y23104_bit0 -y23204_bit0 -y23304_bit0 -y23404_bit0 -y23504_bit0 -y23604_bit0 -y23704_bit0 -y23804_bit0 -y23904_bit0 -y24004_bit0 -y24104_bit0 -y24204_bit0 -y24304_bit0 -y24404_bit0 -y24504_bit0 -y24604_bit0 -y24704_bit0 -y24804_bit0 -y24904_bit0 -y25004_bit0 -y25104_bit0 -y25204_bit0 -y25304_bit0 -y25404_bit0 -y25504_bit0 -y25604_bit0 -y25704_bit0 -y25804_bit0 -y25904_bit0 -y26004_bit0 -y26104_bit0 -y26204_bit0 -y26304_bit0 -y26404_bit0 -y26504_bit0 -y26604_bit0 -y26704_bit0 -y27004_bit0 -y27104_bit0 -y27204_bit0 -y27304_bit0 -y27404_bit0 -y27504_bit0 -y27604_bit0 -y27704_bit0 -y27804_bit0 -y27904_bit0 -y0105_bit0 -y0205_bit0 -y0305_bit0 -y0705_bit0 -y1005_bit0 -y1205_bit0 -y1505_bit0 -y1605_bit0 -y1705_bit0 -y1805_bit0 -y2305_bit0 -y2405_bit0 -y2705_bit0 -y3105_bit0 -y3205_bit0 -y3805_bit0 -y3905_bit0 -y4005_bit0 -y4105_bit0 -y4205_bit0 -y4305_bit0 -y4805_bit0 -y5405_bit0 -y5605_bit0 -y6005_bit0 -y6105_bit0 -y6405_bit0 -y6505_bit0 -y6605_bit0 -y6905_bit0 -y7105_bit0 -y7205_bit0 -y7305_bit0 -y7505_bit0 -y7805_bit0 -y8005_bit0 -y8105_bit0 -y8305_bit0 -y8805_bit0 -y8905_bit0 -y9205_bit0 -y10605_bit0 -y10805_bit0 -y11705_bit0 -y12205_bit0 -y12305_bit0 -y12505_bit0 -y12605_bit0 -y12705_bit0 -y12805_bit0 -y12905_bit0 -y13005_bit0 -y13105_bit0 -y13205_bit0 -y13305_bit0 -y14005_bit0 -y14105_bit0 -y14305_bit0 -y14405_bit0 -y14505_bit0 -y14605_bit0 -y14805_bit0 -y14905_bit0 -y15005_bit0 -y15305_bit0 -y15405_bit0 -y15705_bit0 -y15805_bit0 -y15905_bit0 -y16105_bit0 -y16305_bit0 -y16405_bit0 -y16505_bit0 -y16605_bit0 -y16705_bit0 -y16805_bit0 -y16905_bit0 -y17405_bit0 -y17605_bit0 -y17905_bit0 -y18105_bit0 -y18205_bit0 -y18905_bit0 -y19005_bit0 -y19705_bit0 -y19805_bit0 -y19905_bit0 -y20005_bit0 -y20105_bit0 -y20505_bit0 -y20605_bit0 -y20705_bit0 -y21005_bit0 -y21105_bit0 -y21305_bit0 -y21405_bit0 -y21905_bit0 -y22105_bit0 -y22205_bit0 -y22305_bit0 -y22405_bit0 -y22505_bit0 -y22605_bit0 -y22705_bit0 -y22805_bit0 -y22905_bit0 -y23005_bit0 -y23105_bit0 -y23205_bit0 -y23305_bit0 -y23405_bit0 -y23505_bit0 -y23605_bit0 -y23705_bit0 -y23805_bit0 -y23905_bit0 -y24005_bit0 -y24105_bit0 -y24205_bit0 -y24305_bit0 -y24405_bit0 -y24505_bit0 -y24605_bit0 -y24705_bit0 -y24805_bit0 -y24905_bit0 -y25005_bit0 -y25105_bit0 -y25205_bit0 -y25305_bit0 -y25405_bit0 -y25505_bit0 -y25605_bit0 -y25705_bit0 -y25805_bit0 -y25905_bit0 -y26005_bit0 -y26105_bit0 -y26205_bit0 -y26305_bit0 -y26405_bit0 -y26505_bit0 -y26605_bit0 -y26705_bit0 -y26805_bit0 -y26905_bit0 -y27005_bit0 -y27105_bit0 -y27205_bit0 -y27305_bit0 -y27405_bit0 -y27505_bit0 -y27605_bit0 -y27705_bit0 -y27805_bit0 -y27905_bit0 -y0106_bit0 -y0206_bit0 -y0306_bit0 -y0706_bit0 -y1006_bit0 -y1206_bit0 -y1506_bit0 -y1606_bit0 -y1706_bit0 -y1806_bit0 -y2306_bit0 -y2406_bit0 -y2706_bit0 -y3106_bit0 -y3206_bit0 -y3806_bit0 -y3906_bit0 -y4006_bit0 -y4106_bit0 -y4206_bit0 -y4306_bit0 -y4806_bit0 -y5406_bit0 -y5606_bit0 -y6006_bit0 -y6106_bit0 -y6406_bit0 -y6506_bit0 -y6606_bit0 -y6906_bit0 -y7106_bit0 -y7206_bit0 -y7306_bit0 -y7506_bit0 -y7806_bit0 -y8006_bit0 -y8106_bit0 -y8306_bit0 -y8806_bit0 -y8906_bit0 -y9206_bit0 -y10606_bit0 -y10806_bit0 -y11706_bit0 -y12206_bit0 -y12306_bit0 -y12506_bit0 -y12606_bit0 -y12706_bit0 -y12806_bit0 -y12906_bit0 -y13006_bit0 -y13106_bit0 -y13206_bit0 -y13306_bit0 -y14006_bit0 -y14106_bit0 -y14306_bit0 -y14406_bit0 -y14506_bit0 -y14606_bit0 -y14806_bit0 -y14906_bit0 -y15006_bit0 -y15306_bit0 -y15406_bit0 -y15706_bit0 -y15806_bit0 -y15906_bit0 -y16106_bit0 -y16306_bit0 -y16406_bit0 -y16506_bit0 -y16606_bit0 -y16706_bit0 -y16806_bit0 -y16906_bit0 -y17406_bit0 -y17606_bit0 -y17906_bit0 -y18106_bit0 -y18206_bit0 -y18906_bit0 -y19006_bit0 -y19706_bit0 -y19806_bit0 -y19906_bit0 -y20006_bit0 -y20106_bit0 -y20506_bit0 -y20606_bit0 -y20706_bit0 -y21006_bit0 -y21106_bit0 -y21306_bit0 -y21406_bit0 -y21906_bit0 -y22106_bit0 -y22206_bit0 -y22306_bit0 -y22406_bit0 -y22506_bit0 -y22606_bit0 -y22706_bit0 -y22806_bit0 -y22906_bit0 -y23006_bit0 -y23106_bit0 -y23206_bit0 -y23306_bit0 -y23406_bit0 -y23506_bit0 -y23606_bit0 -y23706_bit0 -y23806_bit0 -y23906_bit0 -y24006_bit0 -y24106_bit0 -y24206_bit0 -y24306_bit0 -y24406_bit0 -y24506_bit0 -y24606_bit0 -y24706_bit0 -y24806_bit0 -y24906_bit0 -y25006_bit0 -y25106_bit0 -y25206_bit0 -y25306_bit0 -y25406_bit0 -y25506_bit0 -y25606_bit0 -y25706_bit0 -y25806_bit0 -y25906_bit0 -y26006_bit0 -y26106_bit0 -y26206_bit0 -y26306_bit0 -y26406_bit0 -y26506_bit0 -y26606_bit0 -y26706_bit0 -y26806_bit0 -y26906_bit0 -y27006_bit0 -y27106_bit0 -y27206_bit0 -y27306_bit0 -y27406_bit0 -y27506_bit0 -y27606_bit0 -y27706_bit0 -y27806_bit0 -y27906_bit0 -y0107_bit0 -y0207_bit0 -y0307_bit0 -y0707_bit0 -y1007_bit0 -y1207_bit0 -y1507_bit0 -y1607_bit0 -y1707_bit0 -y1807_bit0 -y2307_bit0 -y2407_bit0 -y2707_bit0 -y3107_bit0 -y3207_bit0 -y3807_bit0 -y3907_bit0 -y4007_bit0 -y4107_bit0 -y4207_bit0 -y4307_bit0 -y4807_bit0 -y5407_bit0 -y5607_bit0 -y6007_bit0 -y6107_bit0 -y6407_bit0 -y6507_bit0 -y6607_bit0 -y6907_bit0 -y7107_bit0 -y7207_bit0 -y7307_bit0 -y7507_bit0 -y7807_bit0 -y8007_bit0 -y8107_bit0 -y8307_bit0 -y8807_bit0 -y8907_bit0 -y9207_bit0 -y10607_bit0 -y10807_bit0 -y11707_bit0 -y12207_bit0 -y12307_bit0 -y12507_bit0 -y12607_bit0 -y12707_bit0 -y12807_bit0 -y12907_bit0 -y13007_bit0 -y13107_bit0 -y13207_bit0 -y13307_bit0 -y14007_bit0 -y14107_bit0 -y14307_bit0 -y14407_bit0 -y14507_bit0 -y14607_bit0 -y14807_bit0 -y14907_bit0 -y15007_bit0 -y15307_bit0 -y15407_bit0 -y15707_bit0 -y15807_bit0 -y15907_bit0 -y16107_bit0 -y16307_bit0 -y16407_bit0 -y16507_bit0 -y16607_bit0 -y16707_bit0 -y16807_bit0 -y16907_bit0 -y17407_bit0 -y17607_bit0 -y17907_bit0 -y18107_bit0 -y18207_bit0 -y18907_bit0 -y19007_bit0 -y19707_bit0 -y19807_bit0 -y19907_bit0 -y20007_bit0 -y20107_bit0 -y20507_bit0 -y20607_bit0 -y20707_bit0 -y21007_bit0 -y21107_bit0 -y21307_bit0 -y21407_bit0 -y21907_bit0 -y22107_bit0 -y22207_bit0 -y22307_bit0 -y22407_bit0 -y22507_bit0 -y22607_bit0 -y22707_bit0 -y22807_bit0 -y22907_bit0 -y23007_bit0 -y23107_bit0 -y23207_bit0 -y23307_bit0 -y23407_bit0 -y23507_bit0 -y23607_bit0 -y23707_bit0 -y23807_bit0 -y23907_bit0 -y24007_bit0 -y24107_bit0 -y24207_bit0 -y24307_bit0 -y24407_bit0 -y24507_bit0 -y24607_bit0 -y24707_bit0 -y24807_bit0 -y24907_bit0 -y25007_bit0 -y25107_bit0 -y25207_bit0 -y25307_bit0 -y25407_bit0 -y25507_bit0 -y25607_bit0 -y25707_bit0 -y25807_bit0 -y25907_bit0 -y26007_bit0 -y26107_bit0 -y26207_bit0 -y26307_bit0 -y26407_bit0 -y26507_bit0 -y26607_bit0 -y26707_bit0 -y26807_bit0 -y26907_bit0 -y27007_bit0 -y27107_bit0 -y27207_bit0 -y27307_bit0 -y27407_bit0 -y27507_bit0 -y27607_bit0 -y27707_bit0 -y27807_bit0 -y27907_bit0 -y0108_bit0 -y0208_bit0 -y0608_bit0 -y0908_bit0 -y1008_bit0 -y1108_bit0 -y1208_bit0 -y1508_bit0 -y1608_bit0 -y1708_bit0 -y2408_bit0 -y2708_bit0 -y2908_bit0 -y3108_bit0 -y3208_bit0 -y3808_bit0 -y3908_bit0 -y4308_bit0 -y4408_bit0 -y4608_bit0 -y5108_bit0 -y5408_bit0 -y5508_bit0 -y5908_bit0 -y6008_bit0 -y6208_bit0 -y6308_bit0 -y6708_bit0 -y6808_bit0 -y6908_bit0 -y7008_bit0 -y7208_bit0 -y7308_bit0 -y7508_bit0 -y7808_bit0 -y8008_bit0 -y8108_bit0 -y8808_bit0 -y9808_bit0 -y9908_bit0 -y10008_bit0 -y10608_bit0 -y10708_bit0 -y10808_bit0 -y11008_bit0 -y11408_bit0 -y11508_bit0 -y11708_bit0 -y11808_bit0 -y11908_bit0 -y12008_bit0 -y12108_bit0 -y12208_bit0 -y12308_bit0 -y12408_bit0 -y12508_bit0 -y12608_bit0 -y12708_bit0 -y12808_bit0 -y12908_bit0 -y13008_bit0 -y13108_bit0 -y13208_bit0 -y13308_bit0 -y13408_bit0 -y13508_bit0 -y13608_bit0 -y13708_bit0 -y13808_bit0 -y13908_bit0 -y14008_bit0 -y14308_bit0 -y14408_bit0 -y14508_bit0 -y14608_bit0 -y14808_bit0 -y14908_bit0 -y15008_bit0 -y15308_bit0 -y15408_bit0 -y15708_bit0 -y15808_bit0 -y15908_bit0 -y16308_bit0 -y16408_bit0 -y16508_bit0 -y16608_bit0 -y16708_bit0 -y16808_bit0 -y17508_bit0 -y17608_bit0 -y17708_bit0 -y18108_bit0 -y18908_bit0 -y19008_bit0 -y19308_bit0 -y19808_bit0 -y19908_bit0 -y20508_bit0 -y20608_bit0 -y20708_bit0 -y21108_bit0 -y22608_bit0 -y22708_bit0 -y22808_bit0 -y22908_bit0 -y23008_bit0 -y23108_bit0 -y23208_bit0 -y23308_bit0 -y23408_bit0 -y23508_bit0 -y23608_bit0 -y23708_bit0 -y23808_bit0 -y23908_bit0 -y24008_bit0 -y24108_bit0 -y24208_bit0 -y24308_bit0 -y24408_bit0 -y24508_bit0 -y24608_bit0 -y24708_bit0 -y24808_bit0 -y24908_bit0 -y25008_bit0 -y25108_bit0 -y25208_bit0 -y25308_bit0 -y25408_bit0 -y25508_bit0 -y25608_bit0 -y25708_bit0 -y25808_bit0 -y25908_bit0 -y26008_bit0 -y26108_bit0 -y26208_bit0 -y26308_bit0 -y26408_bit0 -y26508_bit0 -y26608_bit0 -y26708_bit0 -y27008_bit0 -y27108_bit0 -y27208_bit0 -y27308_bit0 -y27408_bit0 -y27508_bit0 -y27608_bit0 -y27708_bit0 -y27808_bit0 -y27908_bit0 -y28008_bit0 -y28108_bit0 -y28208_bit0 -y28308_bit0 -y28408_bit0 -y28508_bit0 -y28608_bit0 -y28708_bit0 -y28808_bit0 -y28908_bit0 -y29008_bit0 -y29108_bit0 -y29208_bit0 -y29308_bit0 -y29408_bit0 -y29508_bit0 -y29608_bit0 -y29708_bit0 -y29808_bit0 -y29908_bit0 -y30008_bit0 -y30108_bit0 -y30208_bit0 -y30308_bit0 -y0109_bit0 -y0209_bit0 -y0309_bit0 -y0609_bit0 -y0909_bit0 -y1009_bit0 -y1109_bit0 -y1209_bit0 -y1509_bit0 -y1609_bit0 -y1709_bit0 -y1809_bit0 -y2309_bit0 -y2409_bit0 -y2709_bit0 -y2909_bit0 -y3109_bit0 -y3209_bit0 -y3709_bit0 -y3809_bit0 -y3909_bit0 -y4009_bit0 -y4109_bit0 -y4309_bit0 -y4409_bit0 -y4609_bit0 -y4809_bit0 -y5109_bit0 -y5409_bit0 -y5509_bit0 -y5609_bit0 -y5909_bit0 -y6009_bit0 -y6209_bit0 -y6309_bit0 -y6409_bit0 -y6509_bit0 -y6609_bit0 -y6709_bit0 -y6809_bit0 -y6909_bit0 -y7009_bit0 -y7209_bit0 -y7309_bit0 -y7509_bit0 -y7809_bit0 -y8009_bit0 -y8109_bit0 -y8809_bit0 -y8909_bit0 -y9209_bit0 -y9809_bit0 -y9909_bit0 -y10009_bit0 -y10609_bit0 -y10709_bit0 -y10809_bit0 -y11009_bit0 -y11409_bit0 -y11509_bit0 -y11709_bit0 -y11809_bit0 -y11909_bit0 -y12009_bit0 -y12109_bit0 -y12209_bit0 -y12309_bit0 -y12409_bit0 -y12509_bit0 -y12609_bit0 -y12709_bit0 -y12809_bit0 -y12909_bit0 -y13009_bit0 -y13109_bit0 -y13209_bit0 -y13309_bit0 -y13409_bit0 -y13509_bit0 -y13609_bit0 -y13709_bit0 -y13809_bit0 -y13909_bit0 -y14009_bit0 -y14109_bit0 -y14309_bit0 -y14409_bit0 -y14509_bit0 -y14609_bit0 -y14809_bit0 -y14909_bit0 -y15009_bit0 -y15309_bit0 -y15409_bit0 -y15709_bit0 -y15809_bit0 -y15909_bit0 -y16309_bit0 -y16409_bit0 -y16509_bit0 -y16609_bit0 -y16709_bit0 -y16809_bit0 -y16909_bit0 -y17409_bit0 -y17509_bit0 -y17609_bit0 -y17709_bit0 -y18109_bit0 -y18209_bit0 -y18909_bit0 -y19009_bit0 -y19109_bit0 -y19209_bit0 -y19309_bit0 -y19709_bit0 -y19809_bit0 -y19909_bit0 -y20009_bit0 -y20509_bit0 -y20609_bit0 -y20709_bit0 -y21109_bit0 -y21409_bit0 -y22209_bit0 -y22609_bit0 -y22709_bit0 -y22809_bit0 -y22909_bit0 -y23009_bit0 -y23109_bit0 -y23209_bit0 -y23309_bit0 -y23409_bit0 -y23509_bit0 -y23609_bit0 -y23709_bit0 -y23809_bit0 -y23909_bit0 -y24009_bit0 -y24109_bit0 -y24209_bit0 -y24309_bit0 -y24409_bit0 -y24509_bit0 -y24609_bit0 -y24709_bit0 -y24809_bit0 -y24909_bit0 -y25009_bit0 -y25109_bit0 -y25209_bit0 -y25309_bit0 -y25409_bit0 -y25509_bit0 -y25609_bit0 -y25709_bit0 -y25809_bit0 -y25909_bit0 -y26009_bit0 -y26109_bit0 -y26209_bit0 -y26309_bit0 -y26409_bit0 -y26509_bit0 -y26609_bit0 -y26709_bit0 -y27009_bit0 -y27109_bit0 -y27209_bit0 -y27309_bit0 -y27409_bit0 -y27509_bit0 -y27609_bit0 -y27709_bit0 -y27809_bit0 -y27909_bit0 -y28209_bit0 -y28309_bit0 -y28409_bit0 -y28509_bit0 -y28609_bit0 -y28709_bit0 -y28809_bit0 -y29009_bit0 -y29309_bit0 -y0110_bit0 -y0210_bit0 -y0610_bit0 -y0910_bit0 -y1010_bit0 -y1210_bit0 -y1510_bit0 -y1610_bit0 -y1710_bit0 -y2410_bit0 -y2710_bit0 -y3110_bit0 -y3210_bit0 -y3810_bit0 -y3910_bit0 -y4310_bit0 -y4410_bit0 -y5110_bit0 -y5410_bit0 -y5510_bit0 -y6010_bit0 -y6210_bit0 -y6310_bit0 -y6910_bit0 -y7010_bit0 -y7210_bit0 -y7310_bit0 -y7510_bit0 -y7810_bit0 -y8010_bit0 -y8110_bit0 -y8810_bit0 -y9210_bit0 -y9910_bit0 -y10010_bit0 -y10610_bit0 -y10810_bit0 -y11010_bit0 -y11410_bit0 -y11510_bit0 -y11710_bit0 -y11810_bit0 -y11910_bit0 -y12010_bit0 -y12110_bit0 -y12210_bit0 -y12310_bit0 -y12410_bit0 -y12510_bit0 -y12610_bit0 -y12710_bit0 -y12810_bit0 -y12910_bit0 -y13010_bit0 -y13110_bit0 -y13210_bit0 -y13310_bit0 -y13410_bit0 -y13510_bit0 -y13610_bit0 -y13710_bit0 -y13810_bit0 -y13910_bit0 -y14010_bit0 -y14310_bit0 -y14410_bit0 -y14510_bit0 -y14610_bit0 -y14810_bit0 -y14910_bit0 -y15010_bit0 -y15310_bit0 -y15410_bit0 -y15710_bit0 -y15810_bit0 -y15910_bit0 -y16310_bit0 -y16410_bit0 -y16510_bit0 -y16610_bit0 -y16710_bit0 -y16810_bit0 -y17610_bit0 -y18110_bit0 -y18910_bit0 -y19010_bit0 -y19810_bit0 -y19910_bit0 -y20510_bit0 -y20610_bit0 -y20710_bit0 -y21110_bit0 -y22610_bit0 -y22710_bit0 -y22810_bit0 -y22910_bit0 -y23010_bit0 -y23110_bit0 -y23210_bit0 -y23310_bit0 -y23410_bit0 -y23510_bit0 -y23610_bit0 -y23710_bit0 -y23810_bit0 -y23910_bit0 -y24210_bit0 -y24310_bit0 -y24410_bit0 -y24510_bit0 -y24610_bit0 -y24710_bit0 -y24810_bit0 -y24910_bit0 -y25110_bit0 -y25510_bit0 -y25610_bit0 -y25710_bit0 -y25810_bit0 -y25910_bit0 -y26010_bit0 -y26110_bit0 -y26310_bit0 -y26410_bit0 -y26610_bit0 -y26710_bit0 -y27110_bit0 -y27210_bit0 -y27310_bit0 -y27410_bit0 -y27510_bit0 -y27610_bit0 -y27810_bit0 -y27910_bit0 -y30410_bit0 -y30510_bit0 -y30610_bit0 -y30710_bit0 -y30810_bit0 -y30910_bit0 -y31010_bit0 -y31110_bit0 -y31210_bit0 -y31310_bit0 -y31410_bit0 -y31510_bit0 -y31610_bit0 -y31710_bit0 -y31810_bit0 -y31910_bit0 -y32010_bit0 -y32110_bit0 -y32210_bit0 -y32310_bit0 -y32410_bit0 -y32510_bit0 -y32610_bit0 -y32710_bit0 -y32810_bit0 -y32910_bit0 -y33010_bit0 -y33110_bit0 -y33210_bit0 -y33310_bit0 -y33410_bit0 -y0211_bit0 -y0311_bit0 -y1011_bit0 -y1211_bit0 -y1511_bit0 -y1611_bit0 -y1811_bit0 -y2311_bit0 -y2411_bit0 -y2711_bit0 -y3111_bit0 -y3211_bit0 -y3811_bit0 -y3911_bit0 -y4011_bit0 -y4111_bit0 -y4311_bit0 -y4811_bit0 -y5411_bit0 -y5611_bit0 -y6011_bit0 -y6411_bit0 -y6511_bit0 -y6611_bit0 -y6911_bit0 -y7311_bit0 -y7811_bit0 -y8011_bit0 -y8111_bit0 -y8811_bit0 -y8911_bit0 -y9211_bit0 -y10611_bit0 -y12611_bit0 -y12711_bit0 -y12811_bit0 -y13311_bit0 -y14011_bit0 -y14111_bit0 -y14311_bit0 -y14511_bit0 -y14611_bit0 -y14811_bit0 -y14911_bit0 -y15011_bit0 -y15311_bit0 -y15411_bit0 -y15711_bit0 -y15811_bit0 -y16311_bit0 -y16411_bit0 -y16511_bit0 -y16611_bit0 -y16711_bit0 -y16811_bit0 -y16911_bit0 -y17411_bit0 -y18111_bit0 -y18211_bit0 -y18911_bit0 -y19011_bit0 -y19711_bit0 -y19811_bit0 -y19911_bit0 -y20011_bit0 -y20511_bit0 -y20711_bit0 -y21111_bit0 -y21411_bit0 -y22211_bit0 -y22611_bit0 -y22711_bit0 -y22911_bit0 -y23111_bit0 -y23211_bit0 -y23311_bit0 -y23411_bit0 -y23511_bit0 -y23611_bit0 -y23711_bit0 -y24011_bit0 -y24111_bit0 -y24211_bit0 -y24311_bit0 -y24411_bit0 -y24511_bit0 -y24711_bit0 -y24911_bit0 -y25011_bit0 -y25111_bit0 -y25211_bit0 -y25311_bit0 -y25411_bit0 -y25511_bit0 -y25611_bit0 -y25811_bit0 -y25911_bit0 -y26011_bit0 -y26111_bit0 -y26211_bit0 -y26311_bit0 -y26411_bit0 -y26511_bit0 -y26611_bit0 -y26711_bit0 -y27011_bit0 -y27111_bit0 -y27211_bit0 -y27311_bit0 -y27411_bit0 -y27511_bit0 -y27611_bit0 -y27711_bit0 -y27911_bit0 -y0212_bit0 -y0312_bit0 -y0612_bit0 -y0912_bit0 -y1012_bit0 -y1112_bit0 -y1212_bit0 -y1512_bit0 -y1612_bit0 -y1812_bit0 -y2312_bit0 -y2412_bit0 -y2712_bit0 -y2912_bit0 -y3112_bit0 -y3212_bit0 -y3712_bit0 -y3812_bit0 -y3912_bit0 -y4012_bit0 -y4112_bit0 -y4312_bit0 -y4412_bit0 -y4612_bit0 -y4812_bit0 -y4912_bit0 -y5112_bit0 -y5412_bit0 -y5512_bit0 -y5612_bit0 -y5912_bit0 -y6012_bit0 -y6412_bit0 -y6512_bit0 -y6612_bit0 -y6712_bit0 -y6812_bit0 -y6912_bit0 -y7012_bit0 -y7312_bit0 -y7812_bit0 -y8012_bit0 -y8112_bit0 -y8812_bit0 -y8912_bit0 -y9212_bit0 -y9812_bit0 -y9912_bit0 -y10612_bit0 -y11012_bit0 -y11412_bit0 -y11512_bit0 -y12612_bit0 -y12712_bit0 -y12812_bit0 -y13312_bit0 -y13412_bit0 -y13812_bit0 -y13912_bit0 -y14012_bit0 -y14112_bit0 -y14312_bit0 -y14512_bit0 -y14612_bit0 -y14812_bit0 -y14912_bit0 -y15012_bit0 -y15412_bit0 -y15812_bit0 -y16312_bit0 -y16412_bit0 -y16512_bit0 -y16612_bit0 -y16712_bit0 -y16812_bit0 -y16912_bit0 -y17412_bit0 -y18112_bit0 -y18212_bit0 -y18912_bit0 -y19012_bit0 -y19112_bit0 -y19212_bit0 -y19312_bit0 -y19712_bit0 -y19812_bit0 -y20012_bit0 -y20512_bit0 -y20712_bit0 -y21012_bit0 -y21112_bit0 -y21412_bit0 -y22212_bit0 -y22612_bit0 -y22712_bit0 -y22912_bit0 -y23112_bit0 -y23212_bit0 -y23412_bit0 -y23512_bit0 -y23612_bit0 -y23712_bit0 -y24012_bit0 -y24112_bit0 -y24212_bit0 -y24312_bit0 -y24412_bit0 -y24512_bit0 -y24712_bit0 -y24912_bit0 -y25012_bit0 -y25112_bit0 -y25212_bit0 -y25312_bit0 -y25412_bit0 -y25512_bit0 -y25612_bit0 -y25912_bit0 -y26012_bit0 -y26112_bit0 -y26212_bit0 -y26312_bit0 -y26412_bit0 -y26512_bit0 -y26612_bit0 -y26712_bit0 -y27012_bit0 -y27112_bit0 -y27212_bit0 -y27312_bit0 -y27412_bit0 -y27512_bit0 -y27712_bit0 -y27912_bit0 -y28212_bit0 -y28412_bit0 -y28612_bit0 -y28712_bit0 -y28812_bit0 -y29012_bit0 -y29312_bit0 -y0313_bit0 -y0513_bit0 -y0613_bit0 -y0913_bit0 -y1213_bit0 -y1613_bit0 -y1813_bit0 -y1913_bit0 -y2113_bit0 -y2213_bit0 -y2513_bit0 -y2813_bit0 -y3013_bit0 -y3113_bit0 -y3213_bit0 -y3413_bit0 -y3513_bit0 -y3613_bit0 -y3713_bit0 -y3813_bit0 -y3913_bit0 -y4113_bit0 -y4413_bit0 -y4513_bit0 -y4713_bit0 -y4813_bit0 -y5113_bit0 -y5413_bit0 -y5613_bit0 -y6013_bit0 -y6413_bit0 -y6513_bit0 -y6613_bit0 -y6913_bit0 -y7013_bit0 -y7613_bit0 -y7813_bit0 -y8013_bit0 -y8113_bit0 -y8613_bit0 -y8913_bit0 -y9213_bit0 -y9613_bit0 -y9913_bit0 -y10313_bit0 -y11413_bit0 -y12613_bit0 -y12713_bit0 -y13913_bit0 -y14113_bit0 -y14313_bit0 -y14513_bit0 -y14813_bit0 -y14913_bit0 -y15513_bit0 -y16013_bit0 -y16313_bit0 -y16413_bit0 -y16513_bit0 -y16613_bit0 -y16713_bit0 -y16813_bit0 -y16913_bit0 -y17013_bit0 -y17413_bit0 -y18013_bit0 -y18313_bit0 -y18413_bit0 -y18513_bit0 -y18913_bit0 -y19013_bit0 -y19313_bit0 -y19713_bit0 -y20313_bit0 -y20713_bit0 -y21113_bit0 -y21413_bit0 -y21513_bit0 -y21713_bit0 -y21813_bit0 -y33513_bit0 -y33613_bit0 -y33713_bit0 -y33813_bit0 -y33913_bit0 -y34013_bit0 -y34113_bit0 -y34213_bit0 -y34313_bit0 -y0314_bit0 -y0714_bit0 -y1214_bit0 -y1614_bit0 -y1814_bit0 -y2314_bit0 -y3114_bit0 -y3214_bit0 -y3814_bit0 -y3914_bit0 -y4014_bit0 -y4114_bit0 -y4214_bit0 -y4814_bit0 -y5614_bit0 -y6014_bit0 -y6114_bit0 -y6414_bit0 -y6514_bit0 -y6614_bit0 -y6914_bit0 -y7114_bit0 -y7814_bit0 -y8014_bit0 -y8114_bit0 -y8314_bit0 -y8914_bit0 -y9214_bit0 -y12614_bit0 -y12714_bit0 -y14114_bit0 -y14314_bit0 -y14514_bit0 -y14814_bit0 -y14914_bit0 -y16114_bit0 -y16314_bit0 -y16414_bit0 -y16514_bit0 -y16614_bit0 -y16814_bit0 -y16914_bit0 -y17414_bit0 -y17914_bit0 -y18214_bit0 -y18914_bit0 -y19014_bit0 -y19714_bit0 -y20014_bit0 -y20114_bit0 -y20714_bit0 -y21014_bit0 -y21314_bit0 -y21414_bit0 -y21914_bit0 -y22114_bit0 -y22214_bit0 -y22314_bit0 -y22414_bit0 -y22514_bit0 -y22714_bit0 -y22914_bit0 -y24014_bit0 -y24114_bit0 -y25014_bit0 -y25314_bit0 -y25414_bit0 -y26214_bit0 -y26814_bit0 -y26914_bit0 -y27014_bit0 -y27114_bit0 -y27714_bit0 -y0315_bit0 -y1615_bit0 -y1815_bit0 -y2315_bit0 -y3115_bit0 -y3215_bit0 -y3815_bit0 -y3915_bit0 -y4015_bit0 -y4115_bit0 -y4215_bit0 -y4815_bit0 -y5615_bit0 -y6015_bit0 -y6415_bit0 -y6515_bit0 -y6615_bit0 -y6915_bit0 -y7715_bit0 -y7815_bit0 -y8015_bit0 -y8115_bit0 -y8315_bit0 -y8515_bit0 -y8715_bit0 -y8915_bit0 -y9215_bit0 -y9415_bit0 -y12615_bit0 -y12715_bit0 -y14115_bit0 -y14315_bit0 -y14515_bit0 -y14815_bit0 -y14915_bit0 -y16315_bit0 -y16415_bit0 -y16515_bit0 -y16615_bit0 -y16815_bit0 -y16915_bit0 -y17415_bit0 -y17915_bit0 -y18215_bit0 -y18615_bit0 -y18915_bit0 -y19015_bit0 -y19715_bit0 -y20015_bit0 -y20115_bit0 -y20715_bit0 -y21015_bit0 -y21315_bit0 -y21415_bit0 -y21915_bit0 -y22115_bit0 -y0316_bit0 -y1816_bit0 -y2316_bit0 -y3716_bit0 -y4016_bit0 -y4116_bit0 -y4816_bit0 -y4916_bit0 -y5616_bit0 -y6416_bit0 -y6516_bit0 -y6616_bit0 -y8916_bit0 -y14116_bit0 -y16916_bit0 -y17416_bit0 -y18216_bit0 -y19116_bit0 -y19216_bit0 -y19716_bit0 -y20016_bit0 -y21016_bit0 -y21416_bit0 -y22216_bit0 -y0317_bit0 -y1817_bit0 -y2317_bit0 -y4017_bit0 -y4117_bit0 -y6417_bit0 -y8917_bit0 -y18217_bit0 -y19117_bit0 -y19217_bit0 -y19717_bit0 -y20017_bit0 -y22217_bit0 -y0718_bit0 -y4218_bit0 -y4918_bit0 -y6118_bit0 -y7118_bit0 -y8318_bit0 -y16118_bit0 -y17918_bit0 -y19518_bit0 -y20118_bit0 -y21018_bit0 -y21318_bit0 -y21918_bit0 -y22118_bit0 -y22318_bit0 -y22418_bit0 -y22518_bit0 -y26818_bit0 -y26918_bit0 -y0719_bit0 -y4219_bit0 -y6119_bit0 -y7119_bit0 -y8319_bit0 -y16119_bit0 -y17919_bit0 -y20119_bit0 -y21319_bit0 -y21919_bit0 -y22319_bit0 -y22419_bit0 -y22519_bit0 -y26819_bit0 -y26919_bit0 -y0720_bit0 -y6120_bit0 -y7120_bit0 -y8320_bit0 -y16120_bit0 -y17920_bit0 -y22320_bit0 -y22420_bit0 -y22520_bit0 -y26820_bit0 -y26920_bit0 -y2321_bit0 -y10121_bit0 -y10221_bit0 -y19121_bit0 -y19221_bit0 -y34421_bit0 -y34521_bit0 -y34621_bit0 -y4222_bit0 -y17922_bit0 -y20122_bit0 -y21022_bit0 -y21322_bit0 -y21922_bit0 -y22122_bit0 -y22522_bit0 -y4223_bit0 -y8323_bit0 -y17923_bit0 -y20123_bit0 -y21323_bit0 -y21923_bit0 -y22523_bit0 -a_bit_7 -a_bit_6 -a_bit_5 -a_bit_4 -a_bit_3 -a_bit_2 -a_bit_1 -a_bit0 -a_bit1 -a_bit2 -a_bit3 -a_bit4 -a_bit5 -a_bit6 -a_bit7 -a_bit8 -a_bit9 -a_bit10 -a_bit11 -a_bit12 -p_bit_7 -p_bit_6 -p_bit_5 -p_bit_4 -p_bit_3 -p_bit_2 -p_bit_1 -p_bit0 -p_bit1 -p_bit2 -p_bit3 -p_bit4 -p_bit5 -p_bit6 -p_bit7 -p_bit8 -p_bit9 -p_bit10 -p_bit11 -p_bit12 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 21694
Raw data (stat): 21694 (runsolver) R 21693 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854065340 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 4444 0 0 0 985 13 0 0 25 0 1 0 854065340 23957504 4418 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5849 4418 566 18 0 5831 0
vsize: 23396
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 8313 0 0 0 1975 22 0 0 25 0 1 0 854065340 39862272 8287 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9732 8287 566 18 0 9714 0
vsize: 38928
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 13159 0 0 0 2965 33 0 0 25 0 1 0 854065340 59662336 13133 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14566 13133 566 18 0 14548 0
vsize: 58264
[startup+40.0026 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 15275 0 0 0 3960 37 0 0 25 0 1 0 854065340 68292608 15249 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16673 15249 566 18 0 16655 0
vsize: 66692
[startup+50.0037 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 20077 0 0 0 4950 48 0 0 25 0 1 0 854065340 88010752 20051 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21487 20051 566 18 0 21469 0
vsize: 85948
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 22500 0 0 0 5944 53 0 0 25 0 1 0 854065340 97914880 22474 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23905 22474 566 18 0 23887 0
vsize: 95620
[startup+70.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 22500 0 0 0 6944 54 0 0 25 0 1 0 854065340 97914880 22474 4294967295 134512640 134581267 3221224576 3221223520 134559412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23905 22474 566 18 0 23887 0
vsize: 95620
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 22867 0 0 0 7943 55 0 0 25 0 1 0 854065340 99409920 22841 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24270 22841 566 18 0 24252 0
vsize: 97080
[startup+90.0051 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 22867 0 0 0 8943 55 0 0 25 0 1 0 854065340 99409920 22841 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24270 22841 566 18 0 24252 0
vsize: 97080
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 22867 0 0 0 9943 55 0 0 25 0 1 0 854065340 99409920 22841 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24270 22841 566 18 0 24252 0
vsize: 97080
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 22867 0 0 0 10944 55 0 0 25 0 1 0 854065340 99409920 22841 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24270 22841 566 18 0 24252 0
vsize: 97080
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 22867 0 0 0 11944 55 0 0 25 0 1 0 854065340 99409920 22841 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24270 22841 566 18 0 24252 0
vsize: 97080
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 22867 0 0 0 12943 55 0 0 25 0 1 0 854065340 99409920 22841 4294967295 134512640 134581267 3221224576 3221223440 134528289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24270 22841 566 18 0 24252 0
vsize: 97080
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 26394 0 0 0 13937 62 0 0 25 0 1 0 854065340 113856512 26368 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27797 26368 566 18 0 27779 0
vsize: 111188
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 28861 0 0 0 14931 68 0 0 25 0 1 0 854065340 123998208 28835 4294967295 134512640 134581267 3221224576 3221223520 134558830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30273 28835 566 18 0 30255 0
vsize: 121092
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 28861 0 0 0 15931 68 0 0 25 0 1 0 854065340 123998208 28835 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30273 28835 566 18 0 30255 0
vsize: 121092
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 28861 0 0 0 16931 69 0 0 25 0 1 0 854065340 123998208 28835 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30273 28835 566 18 0 30255 0
vsize: 121092
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 30021 0 0 0 17928 72 0 0 25 0 1 0 854065340 128712704 29995 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31424 29995 566 18 0 31406 0
vsize: 125696
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 33593 0 0 0 18919 81 0 0 25 0 1 0 854065340 143364096 33567 4294967295 134512640 134581267 3221224576 3221223456 134520278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35001 33567 566 18 0 34983 0
vsize: 140004
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 33593 0 0 0 19919 81 0 0 25 0 1 0 854065340 143364096 33567 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35001 33567 566 18 0 34983 0
vsize: 140004
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 33593 0 0 0 20918 82 0 0 25 0 1 0 854065340 143364096 33567 4294967295 134512640 134581267 3221224576 3221223520 134558830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35001 33567 566 18 0 34983 0
vsize: 140004
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 33593 0 0 0 21918 83 0 0 25 0 1 0 854065340 143364096 33567 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35001 33567 566 18 0 34983 0
vsize: 140004
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 33593 0 0 0 22918 83 0 0 25 0 1 0 854065340 143364096 33567 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35001 33567 566 18 0 34983 0
vsize: 140004
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 36754 0 0 0 23912 89 0 0 25 0 1 0 854065340 156352512 36728 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38172 36728 566 18 0 38154 0
vsize: 152688
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 36754 0 0 0 24912 90 0 0 25 0 1 0 854065340 156352512 36728 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38172 36728 566 18 0 38154 0
vsize: 152688
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 36754 0 0 0 25911 90 0 0 25 0 1 0 854065340 156352512 36728 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38172 36728 566 18 0 38154 0
vsize: 152688
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 36754 0 0 0 26912 90 0 0 25 0 1 0 854065340 156352512 36728 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38172 36728 566 18 0 38154 0
vsize: 152688
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 36754 0 0 0 27912 90 0 0 25 0 1 0 854065340 156352512 36728 4294967295 134512640 134581267 3221224576 3221223456 134520219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38172 36728 566 18 0 38154 0
vsize: 152688
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 36754 0 0 0 28912 90 0 0 25 0 1 0 854065340 156352512 36728 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38172 36728 566 18 0 38154 0
vsize: 152688
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 36754 0 0 0 29911 91 0 0 25 0 1 0 854065340 156352512 36728 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38172 36728 566 18 0 38154 0
vsize: 152688
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 36754 0 0 0 30911 91 0 0 25 0 1 0 854065340 156352512 36728 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38172 36728 566 18 0 38154 0
vsize: 152688
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 36754 0 0 0 31911 92 0 0 25 0 1 0 854065340 156352512 36728 4294967295 134512640 134581267 3221224576 3221223456 134520439 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38172 36728 566 18 0 38154 0
vsize: 152688
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 37237 0 0 0 32909 93 0 0 25 0 1 0 854065340 158306304 37211 4294967295 134512640 134581267 3221224576 3221223520 134559429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38649 37211 566 18 0 38631 0
vsize: 154596
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 39531 0 0 0 33904 99 0 0 25 0 1 0 854065340 167747584 39505 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40954 39505 566 18 0 40936 0
vsize: 163816
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 39531 0 0 0 34904 99 0 0 25 0 1 0 854065340 167747584 39505 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40954 39505 566 18 0 40936 0
vsize: 163816
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 39531 0 0 0 35904 99 0 0 25 0 1 0 854065340 167747584 39505 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40954 39505 566 18 0 40936 0
vsize: 163816
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 39531 0 0 0 36904 100 0 0 25 0 1 0 854065340 167747584 39505 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40954 39505 566 18 0 40936 0
vsize: 163816
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 39531 0 0 0 37903 100 0 0 25 0 1 0 854065340 167747584 39505 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40954 39505 566 18 0 40936 0
vsize: 163816
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 39531 0 0 0 38903 100 0 0 25 0 1 0 854065340 167747584 39505 4294967295 134512640 134581267 3221224576 3221223508 1075290412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40954 39505 566 18 0 40936 0
vsize: 163816
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 39531 0 0 0 39903 101 0 0 25 0 1 0 854065340 167747584 39505 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40954 39505 566 18 0 40936 0
vsize: 163816
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 39531 0 0 0 40903 101 0 0 25 0 1 0 854065340 167747584 39505 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40954 39505 566 18 0 40936 0
vsize: 163816
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 39531 0 0 0 41904 101 0 0 25 0 1 0 854065340 167747584 39505 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40954 39505 566 18 0 40936 0
vsize: 163816
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 39532 0 0 0 42903 101 0 0 25 0 1 0 854065340 167747584 39506 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40954 39506 566 18 0 40936 0
vsize: 163816
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 39535 0 0 0 43903 102 0 0 25 0 1 0 854065340 167747584 39509 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40954 39509 566 18 0 40936 0
vsize: 163816
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 39535 0 0 0 44903 102 0 0 25 0 1 0 854065340 167747584 39509 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40954 39509 566 18 0 40936 0
vsize: 163816
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 39535 0 0 0 45903 103 0 0 25 0 1 0 854065340 167747584 39509 4294967295 134512640 134581267 3221224576 3221223504 134519877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40954 39509 566 18 0 40936 0
vsize: 163816
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 39535 0 0 0 46903 103 0 0 25 0 1 0 854065340 167747584 39509 4294967295 134512640 134581267 3221224576 3221223472 134517764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40954 39509 566 18 0 40936 0
vsize: 163816
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 39535 0 0 0 47902 103 0 0 25 0 1 0 854065340 167747584 39509 4294967295 134512640 134581267 3221224576 3221223520 134558768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40954 39509 566 18 0 40936 0
vsize: 163816
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 41987 0 0 0 48897 109 0 0 25 0 1 0 854065340 177745920 41961 4294967295 134512640 134581267 3221224576 3221223568 134561106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43395 41961 566 18 0 43377 0
vsize: 173580
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 42421 0 0 0 49896 111 0 0 25 0 1 0 854065340 179585024 42395 4294967295 134512640 134581267 3221224576 3221223456 134520266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43844 42395 566 18 0 43826 0
vsize: 175376
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 42421 0 0 0 50895 111 0 0 25 0 1 0 854065340 179585024 42395 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43844 42395 566 18 0 43826 0
vsize: 175376
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 42421 0 0 0 51896 111 0 0 25 0 1 0 854065340 179585024 42395 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43844 42395 566 18 0 43826 0
vsize: 175376
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 42421 0 0 0 52896 111 0 0 25 0 1 0 854065340 179585024 42395 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43844 42395 566 18 0 43826 0
vsize: 175376
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 42421 0 0 0 53896 111 0 0 25 0 1 0 854065340 179585024 42395 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43844 42395 566 18 0 43826 0
vsize: 175376
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 42802 0 0 0 54895 112 0 0 25 0 1 0 854065340 181080064 42776 4294967295 134512640 134581267 3221224576 3221223352 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44209 42776 566 18 0 44191 0
vsize: 176836
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 42802 0 0 0 55895 113 0 0 25 0 1 0 854065340 181080064 42776 4294967295 134512640 134581267 3221224576 3221223440 134528380 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44209 42776 566 18 0 44191 0
vsize: 176836
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 42802 0 0 0 56894 113 0 0 25 0 1 0 854065340 181080064 42776 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44209 42776 566 18 0 44191 0
vsize: 176836
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 42802 0 0 0 57894 113 0 0 25 0 1 0 854065340 181080064 42776 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44209 42776 566 18 0 44191 0
vsize: 176836
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 42802 0 0 0 58895 113 0 0 25 0 1 0 854065340 181080064 42776 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44209 42776 566 18 0 44191 0
vsize: 176836
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 42802 0 0 0 59894 114 0 0 25 0 1 0 854065340 181080064 42776 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44209 42776 566 18 0 44191 0
vsize: 176836
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 42802 0 0 0 60894 114 0 0 25 0 1 0 854065340 181080064 42776 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44209 42776 566 18 0 44191 0
vsize: 176836
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 42802 0 0 0 61894 115 0 0 25 0 1 0 854065340 181080064 42776 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44209 42776 566 18 0 44191 0
vsize: 176836
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 42802 0 0 0 62894 115 0 0 25 0 1 0 854065340 181080064 42776 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44209 42776 566 18 0 44191 0
vsize: 176836
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 42802 0 0 0 63893 116 0 0 25 0 1 0 854065340 181080064 42776 4294967295 134512640 134581267 3221224576 3221223440 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44209 42776 566 18 0 44191 0
vsize: 176836
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 42802 0 0 0 64893 116 0 0 25 0 1 0 854065340 181080064 42776 4294967295 134512640 134581267 3221224576 3221223568 134561067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44209 42776 566 18 0 44191 0
vsize: 176836
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 42844 0 0 0 65893 116 0 0 25 0 1 0 854065340 181309440 42818 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44265 42818 566 18 0 44247 0
vsize: 177060
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 42844 0 0 0 66893 116 0 0 25 0 1 0 854065340 181309440 42818 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44265 42818 566 18 0 44247 0
vsize: 177060
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 42844 0 0 0 67892 117 0 0 25 0 1 0 854065340 181309440 42818 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44265 42818 566 18 0 44247 0
vsize: 177060
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 42844 0 0 0 68892 118 0 0 25 0 1 0 854065340 181309440 42818 4294967295 134512640 134581267 3221224576 3221223520 134559415 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44265 42818 566 18 0 44247 0
vsize: 177060
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 42844 0 0 0 69892 118 0 0 25 0 1 0 854065340 181309440 42818 4294967295 134512640 134581267 3221224576 3221223472 134517918 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44265 42818 566 18 0 44247 0
vsize: 177060
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 44697 0 0 0 70888 122 0 0 25 0 1 0 854065340 188870656 44671 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46111 44671 566 18 0 46093 0
vsize: 184444
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 45398 0 0 0 71886 125 0 0 25 0 1 0 854065340 191725568 45372 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46808 45372 566 18 0 46790 0
vsize: 187232
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 45398 0 0 0 72886 125 0 0 25 0 1 0 854065340 191725568 45372 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46808 45372 566 18 0 46790 0
vsize: 187232
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 45398 0 0 0 73886 125 0 0 25 0 1 0 854065340 191725568 45372 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46808 45372 566 18 0 46790 0
vsize: 187232
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 45398 0 0 0 74886 125 0 0 25 0 1 0 854065340 191725568 45372 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46808 45372 566 18 0 46790 0
vsize: 187232
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 45398 0 0 0 75886 125 0 0 25 0 1 0 854065340 191725568 45372 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46808 45372 566 18 0 46790 0
vsize: 187232
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 45398 0 0 0 76886 126 0 0 25 0 1 0 854065340 191725568 45372 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46808 45372 566 18 0 46790 0
vsize: 187232
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 45398 0 0 0 77886 126 0 0 25 0 1 0 854065340 191725568 45372 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46808 45372 566 18 0 46790 0
vsize: 187232
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 45398 0 0 0 78886 126 0 0 25 0 1 0 854065340 191725568 45372 4294967295 134512640 134581267 3221224576 3221223456 134520219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46808 45372 566 18 0 46790 0
vsize: 187232
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 45398 0 0 0 79886 126 0 0 25 0 1 0 854065340 191725568 45372 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46808 45372 566 18 0 46790 0
vsize: 187232
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 45398 0 0 0 80885 127 0 0 25 0 1 0 854065340 191725568 45372 4294967295 134512640 134581267 3221224576 3221223472 134517927 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46808 45372 566 18 0 46790 0
vsize: 187232
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 45398 0 0 0 81885 127 0 0 25 0 1 0 854065340 191725568 45372 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46808 45372 566 18 0 46790 0
vsize: 187232
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 45398 0 0 0 82885 128 0 0 25 0 1 0 854065340 191643648 45362 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46788 45362 566 18 0 46770 0
vsize: 187152
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 45398 0 0 0 83885 128 0 0 25 0 1 0 854065340 191643648 45362 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46788 45362 566 18 0 46770 0
vsize: 187152
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 45398 0 0 0 84885 128 0 0 25 0 1 0 854065340 191643648 45362 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46788 45362 566 18 0 46770 0
vsize: 187152
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 45398 0 0 0 85885 129 0 0 25 0 1 0 854065340 191643648 45362 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46788 45362 566 18 0 46770 0
vsize: 187152
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 45398 0 0 0 86885 129 0 0 25 0 1 0 854065340 191643648 45362 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46788 45362 566 18 0 46770 0
vsize: 187152
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 45736 0 0 0 87884 130 0 0 25 0 1 0 854065340 193130496 45700 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47151 45700 566 18 0 47133 0
vsize: 188604
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 88883 131 0 0 25 0 1 0 854065340 194269184 45987 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47429 45987 566 18 0 47411 0
vsize: 189716
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 89883 131 0 0 25 0 1 0 854065340 194269184 45987 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47429 45987 566 18 0 47411 0
vsize: 189716
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 90883 131 0 0 25 0 1 0 854065340 194269184 45987 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47429 45987 566 18 0 47411 0
vsize: 189716
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 91883 131 0 0 25 0 1 0 854065340 194269184 45987 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47429 45987 566 18 0 47411 0
vsize: 189716
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 92883 132 0 0 25 0 1 0 854065340 194269184 45987 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47429 45987 566 18 0 47411 0
vsize: 189716
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 93883 132 0 0 25 0 1 0 854065340 194269184 45987 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47429 45987 566 18 0 47411 0
vsize: 189716
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 94883 132 0 0 25 0 1 0 854065340 194269184 45987 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47429 45987 566 18 0 47411 0
vsize: 189716
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 95883 132 0 0 25 0 1 0 854065340 194269184 45987 4294967295 134512640 134581267 3221224576 3221223472 134517846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47429 45987 566 18 0 47411 0
vsize: 189716
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 96883 133 0 0 25 0 1 0 854065340 194269184 45987 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47429 45987 566 18 0 47411 0
vsize: 189716
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 97883 133 0 0 25 0 1 0 854065340 194269184 45987 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47429 45987 566 18 0 47411 0
vsize: 189716
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 98882 133 0 0 25 0 1 0 854065340 194269184 45987 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47429 45987 566 18 0 47411 0
vsize: 189716
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 99882 134 0 0 25 0 1 0 854065340 194269184 45987 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47429 45987 566 18 0 47411 0
vsize: 189716
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 100882 134 0 0 25 0 1 0 854065340 192942080 45679 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47105 45679 566 18 0 47087 0
vsize: 188420
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 101883 134 0 0 25 0 1 0 854065340 192942080 45679 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47105 45679 566 18 0 47087 0
vsize: 188420
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 102883 134 0 0 25 0 1 0 854065340 192942080 45679 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47105 45679 566 18 0 47087 0
vsize: 188420
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 103883 134 0 0 25 0 1 0 854065340 192942080 45679 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47105 45679 566 18 0 47087 0
vsize: 188420
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 104883 134 0 0 25 0 1 0 854065340 192942080 45679 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47105 45679 566 18 0 47087 0
vsize: 188420
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 105883 134 0 0 25 0 1 0 854065340 192942080 45679 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47105 45679 566 18 0 47087 0
vsize: 188420
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 106883 135 0 0 25 0 1 0 854065340 192942080 45679 4294967295 134512640 134581267 3221224576 3221223472 134517927 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47105 45679 566 18 0 47087 0
vsize: 188420
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 107883 135 0 0 25 0 1 0 854065340 192942080 45679 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47105 45679 566 18 0 47087 0
vsize: 188420
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 108883 135 0 0 25 0 1 0 854065340 192942080 45679 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47105 45679 566 18 0 47087 0
vsize: 188420
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 109883 135 0 0 25 0 1 0 854065340 192942080 45679 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47105 45679 566 18 0 47087 0
vsize: 188420
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 110883 136 0 0 25 0 1 0 854065340 192942080 45679 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47105 45679 566 18 0 47087 0
vsize: 188420
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 46023 0 0 0 111883 136 0 0 25 0 1 0 854065340 192942080 45679 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47105 45679 566 18 0 47087 0
vsize: 188420
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 49396 0 0 0 112876 143 0 0 25 0 1 0 854065340 206770176 49052 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50481 49052 566 18 0 50463 0
vsize: 201924
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 51952 0 0 0 113870 149 0 0 25 0 1 0 854065340 217272320 51608 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53045 51608 566 18 0 53027 0
vsize: 212180
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 51952 0 0 0 114870 150 0 0 25 0 1 0 854065340 217272320 51608 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53045 51608 566 18 0 53027 0
vsize: 212180
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 51952 0 0 0 115869 150 0 0 25 0 1 0 854065340 217272320 51608 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53045 51608 566 18 0 53027 0
vsize: 212180
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 51952 0 0 0 116869 151 0 0 25 0 1 0 854065340 217272320 51608 4294967295 134512640 134581267 3221224576 3221223472 134517779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53045 51608 566 18 0 53027 0
vsize: 212180
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 51952 0 0 0 117869 151 0 0 25 0 1 0 854065340 217272320 51608 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53045 51608 566 18 0 53027 0
vsize: 212180
[startup+1188.96 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 21694
Raw data (stat): 21694 (Pueblo-v2) R 21693 20224 20223 0 -1 0 51952 0 0 0 117869 151 0 0 25 0 1 0 854065340 217272320 51608 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53045 51608 566 18 0 53027 0
vsize: 0

Child status: 10
Real time (s): 1188.96
CPU time (s): 1189.12
CPU user time (s): 1187.51
CPU system time (s): 1.61275
CPU usage (%): 100.014
Max. virtual memory (Kb): 212180
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####