Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  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

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mkc.opb
MD5SUMb9e9aa470fdb3341d7e10860fcc70cec
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of terms in the objective function 2946
Biggest coefficient in the objective function 20000
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 31442101
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 65536000
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 629010691
Number of bits of the biggest sum of numbers30
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.11
Number of variables5363
Total number of constraints8734
Number of constraints which are clauses2977
Number of constraints which are cardinality constraints (but not clauses)5731
Number of constraints which are nor clauses,nor cardinality constraints26
Minimum length of a constraint1
Maximum length of a constraint2942

Trace number 27091

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-24 19:09:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18610 boxname=wulflinc26 idbench=1432 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  b9e9aa470fdb3341d7e10860fcc70cec  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-mkc.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-mkc.opb
IDLAUNCH: 18610
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        427312 kB
Buffers:         34876 kB
Cached:         541084 kB
SwapCached:        680 kB
Active:          43444 kB
Inactive:       535196 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        427032 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            23092 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:29:41 (client local time) WITH STATUS 10 IN 1189.11 SECONDS
stats: 18610 0 1189.11 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/wulflinc26/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
Raw data (loadavg): 0.85 0.95 0.94 2/54 23284
Raw data (stat): 23284 (runsolver) R 23283 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832654766 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.87 0.95 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 3974 0 0 0 987 11 0 0 25 0 1 0 832654766 22110208 3952 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5398 3952 566 18 0 5380 0
vsize: 21592
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.95 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 7274 0 0 0 1979 18 0 0 25 0 1 0 832654766 35618816 7252 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8696 7252 566 18 0 8678 0
vsize: 34784
[startup+30.0004 s]
Raw data (loadavg): 0.91 0.95 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 11416 0 0 0 2970 28 0 0 25 0 1 0 832654766 52527104 11394 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12824 11394 566 18 0 12806 0
vsize: 51296
[startup+40.0004 s]
Raw data (loadavg): 0.92 0.95 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 15417 0 0 0 3962 35 0 0 25 0 1 0 832654766 68964352 15395 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16837 15395 566 18 0 16819 0
vsize: 67348
[startup+50.0011 s]
Raw data (loadavg): 0.93 0.95 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 17676 0 0 0 4958 40 0 0 25 0 1 0 832654766 78229504 17654 4294967295 134512640 134581331 3221224608 3221223472 134528516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19099 17654 566 18 0 19081 0
vsize: 76396
[startup+60.0015 s]
Raw data (loadavg): 0.94 0.96 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 22362 0 0 0 5948 50 0 0 25 0 1 0 832654766 97378304 22340 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23774 22340 566 18 0 23756 0
vsize: 95096
[startup+70.0024 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 23400 0 0 0 6946 52 0 0 25 0 1 0 832654766 101629952 23378 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24812 23378 566 18 0 24794 0
vsize: 99248
[startup+80.0021 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 23400 0 0 0 7946 53 0 0 25 0 1 0 832654766 101629952 23378 4294967295 134512640 134581331 3221224608 3221223536 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24812 23378 566 18 0 24794 0
vsize: 99248
[startup+90.0025 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 24231 0 0 0 8944 55 0 0 25 0 1 0 832654766 105082880 24209 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25655 24209 566 18 0 25637 0
vsize: 102620
[startup+100.003 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 24334 0 0 0 9944 55 0 0 25 0 1 0 832654766 105426944 24312 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25739 24312 566 18 0 25721 0
vsize: 102956
[startup+110.003 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 24334 0 0 0 10944 55 0 0 25 0 1 0 832654766 105426944 24312 4294967295 134512640 134581331 3221224608 3221223536 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25739 24312 566 18 0 25721 0
vsize: 102956
[startup+120.003 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 24334 0 0 0 11944 55 0 0 25 0 1 0 832654766 105426944 24312 4294967295 134512640 134581331 3221224608 3221223536 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25739 24312 566 18 0 25721 0
vsize: 102956
[startup+130.003 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 24334 0 0 0 12944 56 0 0 25 0 1 0 832654766 105426944 24312 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25739 24312 566 18 0 25721 0
vsize: 102956
[startup+140.003 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 24334 0 0 0 13944 56 0 0 25 0 1 0 832654766 105426944 24312 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25739 24312 566 18 0 25721 0
vsize: 102956
[startup+150.003 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 24399 0 0 0 14944 56 0 0 25 0 1 0 832654766 105771008 24377 4294967295 134512640 134581331 3221224608 3221223536 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25823 24377 566 18 0 25805 0
vsize: 103292
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 28159 0 0 0 15935 65 0 0 25 0 1 0 832654766 121176064 28137 4294967295 134512640 134581331 3221224608 3221223536 134520080 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29584 28137 566 18 0 29566 0
vsize: 118336
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 29094 0 0 0 16932 68 0 0 25 0 1 0 832654766 124968960 29072 4294967295 134512640 134581331 3221224608 3221223504 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30510 29072 566 18 0 30492 0
vsize: 122040
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 29094 0 0 0 17932 68 0 0 25 0 1 0 832654766 124968960 29072 4294967295 134512640 134581331 3221224608 3221223392 134528824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30510 29072 566 18 0 30492 0
vsize: 122040
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 29094 0 0 0 18932 69 0 0 25 0 1 0 832654766 124968960 29072 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30510 29072 566 18 0 30492 0
vsize: 122040
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 29501 0 0 0 19931 69 0 0 25 0 1 0 832654766 126693376 29479 4294967295 134512640 134581331 3221224608 3221223504 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30931 29479 566 18 0 30913 0
vsize: 123724
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 32976 0 0 0 20924 77 0 0 25 0 1 0 832654766 140849152 32954 4294967295 134512640 134581331 3221224608 3221223356 1075285122 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34387 32954 566 18 0 34369 0
vsize: 137548
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 33841 0 0 0 21922 79 0 0 25 0 1 0 832654766 144412672 33819 4294967295 134512640 134581331 3221224608 3221223536 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35257 33819 566 18 0 35239 0
vsize: 141028
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 33841 0 0 0 22921 80 0 0 25 0 1 0 832654766 144412672 33819 4294967295 134512640 134581331 3221224608 3221223536 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35257 33819 566 18 0 35239 0
vsize: 141028
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 33841 0 0 0 23921 80 0 0 25 0 1 0 832654766 144412672 33819 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35257 33819 566 18 0 35239 0
vsize: 141028
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 33841 0 0 0 24921 80 0 0 25 0 1 0 832654766 144412672 33819 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35257 33819 566 18 0 35239 0
vsize: 141028
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 34097 0 0 0 25921 81 0 0 25 0 1 0 832654766 145448960 34075 4294967295 134512640 134581331 3221224608 3221223452 134528557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35510 34077 566 18 0 35492 0
vsize: 142040
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 37142 0 0 0 26914 88 0 0 25 0 1 0 832654766 157986816 37120 4294967295 134512640 134581331 3221224608 3221223504 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38571 37120 566 18 0 38553 0
vsize: 154284
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 37142 0 0 0 27914 88 0 0 25 0 1 0 832654766 157986816 37120 4294967295 134512640 134581331 3221224608 3221223384 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38571 37120 566 18 0 38553 0
vsize: 154284
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 37142 0 0 0 28914 88 0 0 25 0 1 0 832654766 157986816 37120 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38571 37120 566 18 0 38553 0
vsize: 154284
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 37142 0 0 0 29914 89 0 0 25 0 1 0 832654766 157986816 37120 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38571 37120 566 18 0 38553 0
vsize: 154284
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 37142 0 0 0 30914 89 0 0 25 0 1 0 832654766 157986816 37120 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38571 37120 566 18 0 38553 0
vsize: 154284
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 37142 0 0 0 31914 89 0 0 25 0 1 0 832654766 157986816 37120 4294967295 134512640 134581331 3221224608 3221223600 134561134 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38571 37120 566 18 0 38553 0
vsize: 154284
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 37142 0 0 0 32913 90 0 0 25 0 1 0 832654766 157986816 37120 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38571 37120 566 18 0 38553 0
vsize: 154284
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 37142 0 0 0 33913 90 0 0 25 0 1 0 832654766 157986816 37120 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38571 37120 566 18 0 38553 0
vsize: 154284
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 37142 0 0 0 34912 91 0 0 25 0 1 0 832654766 157986816 37120 4294967295 134512640 134581331 3221224608 3221223472 134528287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38571 37120 566 18 0 38553 0
vsize: 154284
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 37142 0 0 0 35912 91 0 0 25 0 1 0 832654766 157986816 37120 4294967295 134512640 134581331 3221224608 3221223680 134531401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38571 37120 566 18 0 38553 0
vsize: 154284
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 37142 0 0 0 36912 91 0 0 25 0 1 0 832654766 157986816 37120 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38571 37120 566 18 0 38553 0
vsize: 154284
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 39925 0 0 0 37906 98 0 0 25 0 1 0 832654766 169394176 39903 4294967295 134512640 134581331 3221224608 3221223536 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41356 39903 566 18 0 41338 0
vsize: 165424
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 39930 0 0 0 38906 98 0 0 25 0 1 0 832654766 169394176 39908 4294967295 134512640 134581331 3221224608 3221223472 134528503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41356 39908 566 18 0 41338 0
vsize: 165424
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 39930 0 0 0 39906 98 0 0 25 0 1 0 832654766 169394176 39908 4294967295 134512640 134581331 3221224608 3221223472 134528384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41356 39908 566 18 0 41338 0
vsize: 165424
[startup+410.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 39930 0 0 0 40906 99 0 0 25 0 1 0 832654766 169394176 39908 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41356 39908 566 18 0 41338 0
vsize: 165424
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 39930 0 0 0 41906 99 0 0 25 0 1 0 832654766 169394176 39908 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41356 39908 566 18 0 41338 0
vsize: 165424
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 39930 0 0 0 42906 99 0 0 25 0 1 0 832654766 169394176 39908 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41356 39908 566 18 0 41338 0
vsize: 165424
[startup+440.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 39930 0 0 0 43906 99 0 0 25 0 1 0 832654766 169394176 39908 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41356 39908 566 18 0 41338 0
vsize: 165424
[startup+450.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 39930 0 0 0 44906 99 0 0 25 0 1 0 832654766 169394176 39908 4294967295 134512640 134581331 3221224608 3221223472 134528258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41356 39908 566 18 0 41338 0
vsize: 165424
[startup+460.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 39930 0 0 0 45906 99 0 0 25 0 1 0 832654766 169394176 39908 4294967295 134512640 134581331 3221224608 3221223304 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41356 39908 566 18 0 41338 0
vsize: 165424
[startup+470 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 39930 0 0 0 46906 100 0 0 25 0 1 0 832654766 169394176 39908 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41356 39908 566 18 0 41338 0
vsize: 165424
[startup+480 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 39930 0 0 0 47906 100 0 0 25 0 1 0 832654766 169394176 39908 4294967295 134512640 134581331 3221224608 3221223488 134520219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41356 39908 566 18 0 41338 0
vsize: 165424
[startup+490.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 39937 0 0 0 48906 100 0 0 25 0 1 0 832654766 169394176 39915 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41356 39915 566 18 0 41338 0
vsize: 165424
[startup+500.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 39937 0 0 0 49905 101 0 0 25 0 1 0 832654766 169394176 39915 4294967295 134512640 134581331 3221224608 3221223536 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41356 39915 566 18 0 41338 0
vsize: 165424
[startup+510.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 39937 0 0 0 50904 102 0 0 25 0 1 0 832654766 169394176 39915 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41356 39915 566 18 0 41338 0
vsize: 165424
[startup+520.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 39937 0 0 0 51904 102 0 0 25 0 1 0 832654766 169394176 39915 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41356 39915 566 18 0 41338 0
vsize: 165424
[startup+530.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 39937 0 0 0 52904 102 0 0 25 0 1 0 832654766 169394176 39915 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41356 39915 566 18 0 41338 0
vsize: 165424
[startup+540.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 39937 0 0 0 53904 103 0 0 25 0 1 0 832654766 169394176 39915 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41356 39915 566 18 0 41338 0
vsize: 165424
[startup+550.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 41098 0 0 0 54901 106 0 0 25 0 1 0 832654766 174108672 41076 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42507 41076 566 18 0 42489 0
vsize: 170028
[startup+560.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 42825 0 0 0 55898 110 0 0 25 0 1 0 832654766 181252096 42803 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44251 42803 566 18 0 44233 0
vsize: 177004
[startup+570.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 42825 0 0 0 56897 110 0 0 25 0 1 0 832654766 181252096 42803 4294967295 134512640 134581331 3221224608 3221223504 134517777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44251 42803 566 18 0 44233 0
vsize: 177004
[startup+580.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 42825 0 0 0 57897 111 0 0 25 0 1 0 832654766 181252096 42803 4294967295 134512640 134581331 3221224608 3221223520 134527709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44251 42803 566 18 0 44233 0
vsize: 177004
[startup+590.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 42825 0 0 0 58897 111 0 0 25 0 1 0 832654766 181252096 42803 4294967295 134512640 134581331 3221224608 3221223520 134527658 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44251 42803 566 18 0 44233 0
vsize: 177004
[startup+600.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 42825 0 0 0 59897 111 0 0 25 0 1 0 832654766 181252096 42803 4294967295 134512640 134581331 3221224608 3221223536 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44251 42803 566 18 0 44233 0
vsize: 177004
[startup+610.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 42825 0 0 0 60897 111 0 0 25 0 1 0 832654766 181252096 42803 4294967295 134512640 134581331 3221224608 3221223504 134517533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44251 42803 566 18 0 44233 0
vsize: 177004
[startup+620.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 43218 0 0 0 61896 112 0 0 25 0 1 0 832654766 182861824 43196 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44644 43196 566 18 0 44626 0
vsize: 178576
[startup+630.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 43218 0 0 0 62896 112 0 0 25 0 1 0 832654766 182861824 43196 4294967295 134512640 134581331 3221224608 3221223472 134528425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44644 43196 566 18 0 44626 0
vsize: 178576
[startup+640.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 43218 0 0 0 63896 113 0 0 25 0 1 0 832654766 182861824 43196 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44644 43196 566 18 0 44626 0
vsize: 178576
[startup+650.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 43218 0 0 0 64896 113 0 0 25 0 1 0 832654766 182861824 43196 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44644 43196 566 18 0 44626 0
vsize: 178576
[startup+660.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 43218 0 0 0 65896 113 0 0 25 0 1 0 832654766 182861824 43196 4294967295 134512640 134581331 3221224608 3221223536 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44644 43196 566 18 0 44626 0
vsize: 178576
[startup+670.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 43218 0 0 0 66896 113 0 0 25 0 1 0 832654766 182861824 43196 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44644 43196 566 18 0 44626 0
vsize: 178576
[startup+680.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 43218 0 0 0 67896 114 0 0 25 0 1 0 832654766 182861824 43196 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44644 43196 566 18 0 44626 0
vsize: 178576
[startup+690.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 43218 0 0 0 68896 114 0 0 25 0 1 0 832654766 182861824 43196 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44644 43196 566 18 0 44626 0
vsize: 178576
[startup+700.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 43218 0 0 0 69896 114 0 0 25 0 1 0 832654766 182861824 43196 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44644 43196 566 18 0 44626 0
vsize: 178576
[startup+710.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 43218 0 0 0 70896 114 0 0 25 0 1 0 832654766 182861824 43196 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44644 43196 566 18 0 44626 0
vsize: 178576
[startup+720.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 43218 0 0 0 71896 115 0 0 25 0 1 0 832654766 182861824 43196 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44644 43196 566 18 0 44626 0
vsize: 178576
[startup+730.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 43218 0 0 0 72895 115 0 0 25 0 1 0 832654766 182861824 43196 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44644 43196 566 18 0 44626 0
vsize: 178576
[startup+740.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 43218 0 0 0 73895 115 0 0 25 0 1 0 832654766 182861824 43196 4294967295 134512640 134581331 3221224608 3221223392 134528824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44644 43196 566 18 0 44626 0
vsize: 178576
[startup+750.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 43218 0 0 0 74895 115 0 0 25 0 1 0 832654766 182079488 43027 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44453 43027 566 18 0 44435 0
vsize: 177812
[startup+760.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 43218 0 0 0 75896 115 0 0 25 0 1 0 832654766 182079488 43027 4294967295 134512640 134581331 3221224608 3221223536 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44453 43027 566 18 0 44435 0
vsize: 177812
[startup+770.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 43218 0 0 0 76895 116 0 0 25 0 1 0 832654766 182079488 43027 4294967295 134512640 134581331 3221224608 3221223536 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44453 43027 566 18 0 44435 0
vsize: 177812
[startup+780.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 43218 0 0 0 77895 116 0 0 25 0 1 0 832654766 182079488 43027 4294967295 134512640 134581331 3221224608 3221223536 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44453 43027 566 18 0 44435 0
vsize: 177812
[startup+790.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 43218 0 0 0 78895 116 0 0 25 0 1 0 832654766 182079488 43027 4294967295 134512640 134581331 3221224608 3221223536 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44453 43027 566 18 0 44435 0
vsize: 177812
[startup+800.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 43218 0 0 0 79895 116 0 0 25 0 1 0 832654766 182079488 43027 4294967295 134512640 134581331 3221224608 3221223472 134528316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44453 43027 566 18 0 44435 0
vsize: 177812
[startup+810.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 43218 0 0 0 80895 116 0 0 25 0 1 0 832654766 182079488 43027 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44453 43027 566 18 0 44435 0
vsize: 177812
[startup+820.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 43218 0 0 0 81895 117 0 0 25 0 1 0 832654766 182079488 43027 4294967295 134512640 134581331 3221224608 3221223552 134558842 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44453 43027 566 18 0 44435 0
vsize: 177812
[startup+830.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 44751 0 0 0 82892 120 0 0 25 0 1 0 832654766 188395520 44560 4294967295 134512640 134581331 3221224608 3221223536 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45995 44560 566 18 0 45977 0
vsize: 183980
[startup+840.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 47522 0 0 0 83885 127 0 0 25 0 1 0 832654766 199720960 47331 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48760 47331 566 18 0 48742 0
vsize: 195040
[startup+850.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 47522 0 0 0 84885 127 0 0 25 0 1 0 832654766 199720960 47331 4294967295 134512640 134581331 3221224608 3221223504 134517533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48760 47331 566 18 0 48742 0
vsize: 195040
[startup+860.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 47522 0 0 0 85885 127 0 0 25 0 1 0 832654766 199720960 47331 4294967295 134512640 134581331 3221224608 3221223536 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48760 47331 566 18 0 48742 0
vsize: 195040
[startup+870.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 47522 0 0 0 86886 127 0 0 25 0 1 0 832654766 199720960 47331 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48760 47331 566 18 0 48742 0
vsize: 195040
[startup+880.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 47522 0 0 0 87886 128 0 0 25 0 1 0 832654766 199720960 47331 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48760 47331 566 18 0 48742 0
vsize: 195040
[startup+890.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 47522 0 0 0 88885 128 0 0 25 0 1 0 832654766 199720960 47331 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48760 47331 566 18 0 48742 0
vsize: 195040
[startup+900.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 48998 0 0 0 89883 131 0 0 25 0 1 0 832654766 205799424 48807 4294967295 134512640 134581331 3221224608 3221223680 134531401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50244 48807 566 18 0 50226 0
vsize: 200976
[startup+910.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49358 0 0 0 90882 132 0 0 25 0 1 0 832654766 207269888 49167 4294967295 134512640 134581331 3221224608 3221223504 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50603 49167 566 18 0 50585 0
vsize: 202412
[startup+920.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49358 0 0 0 91882 132 0 0 25 0 1 0 832654766 207269888 49167 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50603 49167 566 18 0 50585 0
vsize: 202412
[startup+930.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49358 0 0 0 92881 133 0 0 25 0 1 0 832654766 207269888 49167 4294967295 134512640 134581331 3221224608 3221223552 134558806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50603 49167 566 18 0 50585 0
vsize: 202412
[startup+940.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49358 0 0 0 93882 133 0 0 25 0 1 0 832654766 207269888 49167 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50603 49167 566 18 0 50585 0
vsize: 202412
[startup+950.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49358 0 0 0 94881 133 0 0 25 0 1 0 832654766 207269888 49167 4294967295 134512640 134581331 3221224608 3221223552 134559466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50603 49167 566 18 0 50585 0
vsize: 202412
[startup+960.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49358 0 0 0 95881 134 0 0 25 0 1 0 832654766 207269888 49167 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50603 49167 566 18 0 50585 0
vsize: 202412
[startup+970.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49479 0 0 0 96881 134 0 0 25 0 1 0 832654766 207765504 49288 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50724 49288 566 18 0 50706 0
vsize: 202896
[startup+980.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49479 0 0 0 97880 135 0 0 25 0 1 0 832654766 207765504 49288 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50724 49288 566 18 0 50706 0
vsize: 202896
[startup+990.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49479 0 0 0 98880 135 0 0 25 0 1 0 832654766 207765504 49288 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50724 49288 566 18 0 50706 0
vsize: 202896
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49479 0 0 0 99880 135 0 0 25 0 1 0 832654766 207765504 49288 4294967295 134512640 134581331 3221224608 3221223552 134558812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50724 49288 566 18 0 50706 0
vsize: 202896
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49479 0 0 0 100880 136 0 0 25 0 1 0 832654766 207765504 49288 4294967295 134512640 134581331 3221224608 3221223536 134520109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50724 49288 566 18 0 50706 0
vsize: 202896
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49479 0 0 0 101880 136 0 0 25 0 1 0 832654766 207765504 49288 4294967295 134512640 134581331 3221224608 3221223536 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50724 49288 566 18 0 50706 0
vsize: 202896
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49479 0 0 0 102880 136 0 0 25 0 1 0 832654766 207765504 49288 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50724 49288 566 18 0 50706 0
vsize: 202896
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49667 0 0 0 103879 137 0 0 25 0 1 0 832654766 208601088 49476 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50928 49476 566 18 0 50910 0
vsize: 203712
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49667 0 0 0 104879 137 0 0 25 0 1 0 832654766 208601088 49476 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50928 49476 566 18 0 50910 0
vsize: 203712
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49667 0 0 0 105880 137 0 0 25 0 1 0 832654766 208601088 49476 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50928 49476 566 18 0 50910 0
vsize: 203712
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49667 0 0 0 106879 137 0 0 25 0 1 0 832654766 208601088 49476 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50928 49476 566 18 0 50910 0
vsize: 203712
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49667 0 0 0 107879 138 0 0 25 0 1 0 832654766 208601088 49476 4294967295 134512640 134581331 3221224608 3221223536 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50928 49476 566 18 0 50910 0
vsize: 203712
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49667 0 0 0 108879 138 0 0 25 0 1 0 832654766 208601088 49476 4294967295 134512640 134581331 3221224608 3221223536 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50928 49476 566 18 0 50910 0
vsize: 203712
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49667 0 0 0 109879 138 0 0 25 0 1 0 832654766 208601088 49476 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50928 49476 566 18 0 50910 0
vsize: 203712
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49948 0 0 0 110878 139 0 0 25 0 1 0 832654766 209690624 49757 4294967295 134512640 134581331 3221224608 3221223536 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51194 49757 566 18 0 51176 0
vsize: 204776
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49948 0 0 0 111878 140 0 0 25 0 1 0 832654766 209690624 49757 4294967295 134512640 134581331 3221224608 3221223536 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51194 49757 566 18 0 51176 0
vsize: 204776
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49948 0 0 0 112878 140 0 0 25 0 1 0 832654766 209690624 49757 4294967295 134512640 134581331 3221224608 3221223472 134528289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51194 49757 566 18 0 51176 0
vsize: 204776
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49948 0 0 0 113878 140 0 0 25 0 1 0 832654766 209690624 49757 4294967295 134512640 134581331 3221224608 3221223472 134528358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51194 49757 566 18 0 51176 0
vsize: 204776
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49948 0 0 0 114878 140 0 0 25 0 1 0 832654766 209690624 49757 4294967295 134512640 134581331 3221224608 3221223392 134528844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51194 49757 566 18 0 51176 0
vsize: 204776
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49948 0 0 0 115878 140 0 0 25 0 1 0 832654766 209690624 49757 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51194 49757 566 18 0 51176 0
vsize: 204776
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49948 0 0 0 116878 140 0 0 25 0 1 0 832654766 209690624 49757 4294967295 134512640 134581331 3221224608 3221223492 134557901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51194 49757 566 18 0 51176 0
vsize: 204776
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49948 0 0 0 117878 141 0 0 25 0 1 0 832654766 209690624 49757 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51194 49757 566 18 0 51176 0
vsize: 204776
[startup+1188.93 s]
Raw data (loadavg): 0.99 0.97 0.94 1/53 23284
Raw data (stat): 23284 (Pueblo) R 23283 20687 20686 0 -1 0 49948 0 0 0 117878 141 0 0 25 0 1 0 832654766 209690624 49757 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51194 49757 566 18 0 51176 0
vsize: 0

Child status: 10
Real time (s): 1188.93
CPU time (s): 1189.11
CPU user time (s): 1187.6
CPU system time (s): 1.51477
CPU usage (%): 100.016
Max. virtual memory (Kb): 204776
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####