PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb
MD5SUM	f2badf1ad4c3213045697b74fa812a03
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4605
Optimality of the best value was proved	NO
Number of terms in the objective function	2166
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	321831
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	321831
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06284
Number of variables	2756
Total number of constraints	3511
Number of constraints which are clauses	132
Number of constraints which are cardinality constraints (but not clauses)	2976
Number of constraints which are nor clauses,nor cardinality constraints	403
Minimum length of a constraint	1
Maximum length of a constraint	546
Trace number 38811

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-02 17:22:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26864 boxname=wulflinc1 idbench=992 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  f2badf1ad4c3213045697b74fa812a03  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-p2756.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-p2756.opb
IDLAUNCH: 26864
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        618276 kB
Buffers:         25656 kB
Cached:         366716 kB
SwapCached:        668 kB
Active:          26880 kB
Inactive:       367720 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        618024 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5820 kB
Slab:            15944 kB
Committed_AS:    92680 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 17:41:57 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 26864 0 1189.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-p2756.opb
c #variables read: 2756 - #constraints read: 3512
s SATISFIABLE
v -x1_bit0 -x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 -x6_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x14_bit0 -x17_bit0 -x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 -x27_bit0 -x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 -x42_bit0 x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 -x54_bit0 -x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 -x65_bit0 -x66_bit0 -x67_bit0 -x68_bit0 -x70_bit0 -x73_bit0 x74_bit0 -x75_bit0 -x76_bit0 -x77_bit0 -x78_bit0 -x79_bit0 -x80_bit0 -x83_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 -x95_bit0 -x98_bit0 -x100_bit0 -x101_bit0 -x102_bit0 -x103_bit0 -x104_bit0 -x105_bit0 -x106_bit0 -x107_bit0 -x110_bit0 -x112_bit0 -x113_bit0 -x114_bit0 -x115_bit0 -x116_bit0 -x117_bit0 -x119_bit0 -x120_bit0 -x121_bit0 -x122_bit0 -x123_bit0 -x124_bit0 x126_bit0 -x127_bit0 -x128_bit0 -x129_bit0 -x131_bit0 -x132_bit0 -x133_bit0 -x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x139_bit0 -x140_bit0 -x141_bit0 -x142_bit0 -x143_bit0 -x144_bit0 -x145_bit0 -x148_bit0 -x149_bit0 -x150_bit0 -x153_bit0 -x156_bit0 -x158_bit0 -x159_bit0 -x160_bit0 -x161_bit0 -x162_bit0 -x163_bit0 -x166_bit0 -x168_bit0 -x169_bit0 -x170_bit0 -x171_bit0 -x172_bit0 -x173_bit0 -x174_bit0 -x175_bit0 -x176_bit0 -x177_bit0 -x178_bit0 -x181_bit0 -x183_bit0 -x184_bit0 -x185_bit0 -x186_bit0 -x187_bit0 -x188_bit0 -x189_bit0 -x190_bit0 -x193_bit0 -x195_bit0 -x196_bit0 -x197_bit0 -x198_bit0 -x199_bit0 -x200_bit0 -x201_bit0 -x204_bit0 -x205_bit0 -x206_bit0 -x207_bit0 -x209_bit0 -x212_bit0 -x213_bit0 -x214_bit0 -x215_bit0 -x216_bit0 -x217_bit0 -x218_bit0 -x219_bit0 -x222_bit0 -x224_bit0 -x225_bit0 -x226_bit0 -x227_bit0 -x228_bit0 -x229_bit0 -x230_bit0 -x231_bit0 -x232_bit0 -x233_bit0 -x234_bit0 -x237_bit0 -x239_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 -x244_bit0 -x245_bit0 -x246_bit0 -x249_bit0 -x251_bit0 -x252_bit0 -x253_bit0 -x254_bit0 -x255_bit0 -x256_bit0 -x258_bit0 -x259_bit0 -x260_bit0 -x261_bit0 -x262_bit0 -x263_bit0 -x265_bit0 -x266_bit0 -x267_bit0 -x268_bit0 -x270_bit0 -x271_bit0 -x272_bit0 -x273_bit0 -x274_bit0 -x275_bit0 -x276_bit0 -x278_bit0 -x279_bit0 -x280_bit0 -x281_bit0 -x283_bit0 -x284_bit0 -x285_bit0 -x286_bit0 -x289_bit0 -x290_bit0 -x291_bit0 -x292_bit0 -x293_bit0 -x294_bit0 -x295_bit0 x296_bit0 -x297_bit0 -x298_bit0 -x299_bit0 -x300_bit0 -x303_bit0 -x304_bit0 -x305_bit0 -x306_bit0 -x307_bit0 -x308_bit0 x309_bit0 -x310_bit0 x313_bit0 -x314_bit0 -x315_bit0 -x316_bit0 -x317_bit0 -x318_bit0 -x319_bit0 -x320_bit0 -x321_bit0 -x322_bit0 -x323_bit0 -x326_bit0 -x327_bit0 -x328_bit0 -x329_bit0 -x330_bit0 -x331_bit0 -x332_bit0 -x333_bit0 -x335_bit0 -x338_bit0 -x339_bit0 -x340_bit0 -x341_bit0 -x343_bit0 -x344_bit0 -x345_bit0 -x347_bit0 -x348_bit0 -x349_bit0 -x351_bit0 -x352_bit0 -x353_bit0 -x354_bit0 -x356_bit0 -x357_bit0 -x358_bit0 x359_bit0 -x360_bit0 -x361_bit0 -x362_bit0 -x363_bit0 -x366_bit0 -x367_bit0 -x368_bit0 -x369_bit0 x370_bit0 -x371_bit0 -x372_bit0 -x373_bit0 -x374_bit0 -x375_bit0 -x376_bit0 -x377_bit0 -x380_bit0 -x381_bit0 -x382_bit0 -x383_bit0 -x384_bit0 -x385_bit0 -x386_bit0 -x387_bit0 -x390_bit0 -x391_bit0 -x392_bit0 -x393_bit0 -x394_bit0 -x395_bit0 -x396_bit0 -x397_bit0 -x398_bit0 -x399_bit0 -x400_bit0 -x403_bit0 -x404_bit0 -x405_bit0 -x406_bit0 -x407_bit0 -x408_bit0 -x409_bit0 -x410_bit0 -x411_bit0 -x412_bit0 -x415_bit0 -x416_bit0 -x417_bit0 -x418_bit0 -x419_bit0 -x420_bit0 -x421_bit0 -x422_bit0 -x423_bit0 -x424_bit0 -x425_bit0 -x426_bit0 -x428_bit0 -x429_bit0 -x430_bit0 -x431_bit0 -x432_bit0 -x433_bit0 -x434_bit0 -x435_bit0 -x436_bit0 -x437_bit0 -x438_bit0 -x439_bit0 -x440_bit0 -x441_bit0 -x442_bit0 -x443_bit0 -x444_bit0 -x445_bit0 -x446_bit0 -x447_bit0 -x448_bit0 -x449_bit0 -x450_bit0 -x451_bit0 -x452_bit0 -x453_bit0 -x454_bit0 -x456_bit0 -x457_bit0 -x458_bit0 -x459_bit0 -x460_bit0 -x461_bit0 -x463_bit0 -x464_bit0 -x465_bit0 -x466_bit0 -x467_bit0 x468_bit0 x469_bit0 -x470_bit0 -x471_bit0 -x472_bit0 -x473_bit0 -x474_bit0 -x475_bit0 -x476_bit0 -x479_bit0 -x480_bit0 -x481_bit0 -x482_bit0 -x483_bit0 -x484_bit0 -x485_bit0 -x486_bit0 -x489_bit0 -x490_bit0 -x491_bit0 -x492_bit0 -x493_bit0 -x494_bit0 -x495_bit0 -x496_bit0 -x497_bit0 -x498_bit0 -x499_bit0 -x500_bit0 -x501_bit0 -x502_bit0 -x503_bit0 -x506_bit0 -x507_bit0 -x508_bit0 -x509_bit0 -x510_bit0 -x511_bit0 -x512_bit0 -x513_bit0 -x514_bit0 -x515_bit0 -x516_bit0 -x517_bit0 -x519_bit0 -x522_bit0 -x523_bit0 -x524_bit0 -x525_bit0 -x526_bit0 -x527_bit0 -x528_bit0 -x529_bit0 -x530_bit0 -x531_bit0 -x532_bit0 -x533_bit0 -x535_bit0 -x536_bit0 -x537_bit0 -x538_bit0 -x539_bit0 -x540_bit0 -x541_bit0 -x542_bit0 -x543_bit0 -x544_bit0 -x545_bit0 -x546_bit0 -x549_bit0 -x550_bit0 -x551_bit0 -x552_bit0 -x553_bit0 -x554_bit0 -x555_bit0 -x556_bit0 -x559_bit0 -x560_bit0 -x561_bit0 -x562_bit0 -x563_bit0 -x564_bit0 -x565_bit0 -x566_bit0 -x567_bit0 -x568_bit0 -x569_bit0 -x570_bit0 -x571_bit0 -x572_bit0 -x573_bit0 -x576_bit0 -x577_bit0 -x578_bit0 -x579_bit0 -x580_bit0 -x581_bit0 -x582_bit0 -x583_bit0 -x584_bit0 -x585_bit0 -x586_bit0 -x587_bit0 -x588_bit0 -x589_bit0 -x592_bit0 -x593_bit0 -x594_bit0 -x595_bit0 -x596_bit0 -x597_bit0 -x598_bit0 -x599_bit0 -x600_bit0 -x601_bit0 -x602_bit0 -x603_bit0 -x605_bit0 -x606_bit0 -x607_bit0 -x608_bit0 -x609_bit0 -x610_bit0 -x611_bit0 -x612_bit0 -x613_bit0 -x614_bit0 -x615_bit0 -x616_bit0 -x617_bit0 -x618_bit0 -x619_bit0 -x620_bit0 -x621_bit0 -x622_bit0 -x623_bit0 -x624_bit0 -x625_bit0 -x626_bit0 -x627_bit0 -x628_bit0 -x629_bit0 -x630_bit0 -x631_bit0 -x633_bit0 -x634_bit0 -x635_bit0 -x636_bit0 -x637_bit0 -x638_bit0 -x639_bit0 -x640_bit0 -x641_bit0 -x642_bit0 -x643_bit0 -x644_bit0 -x645_bit0 -x646_bit0 -x647_bit0 -x648_bit0 -x650_bit0 -x651_bit0 -x652_bit0 -x653_bit0 -x656_bit0 -x657_bit0 -x658_bit0 -x659_bit0 -x660_bit0 -x661_bit0 -x662_bit0 -x663_bit0 -x666_bit0 -x667_bit0 -x668_bit0 -x669_bit0 -x670_bit0 -x671_bit0 -x672_bit0 -x673_bit0 -x674_bit0 -x675_bit0 -x676_bit0 -x677_bit0 -x678_bit0 -x679_bit0 -x680_bit0 -x683_bit0 -x684_bit0 -x685_bit0 -x686_bit0 -x687_bit0 -x688_bit0 -x689_bit0 -x690_bit0 -x691_bit0 -x692_bit0 -x693_bit0 -x694_bit0 -x696_bit0 -x699_bit0 -x700_bit0 -x701_bit0 -x702_bit0 -x703_bit0 -x704_bit0 -x705_bit0 -x706_bit0 -x707_bit0 -x708_bit0 -x709_bit0 -x710_bit0 -x712_bit0 -x713_bit0 -x714_bit0 -x715_bit0 -x716_bit0 -x717_bit0 -x718_bit0 -x719_bit0 -x720_bit0 -x721_bit0 -x722_bit0 -x723_bit0 -x726_bit0 -x727_bit0 -x728_bit0 -x729_bit0 -x730_bit0 -x731_bit0 -x732_bit0 -x733_bit0 -x736_bit0 -x737_bit0 -x738_bit0 -x739_bit0 -x740_bit0 -x741_bit0 -x742_bit0 -x743_bit0 -x744_bit0 -x745_bit0 -x746_bit0 -x747_bit0 -x748_bit0 -x749_bit0 -x750_bit0 -x753_bit0 -x754_bit0 -x755_bit0 -x756_bit0 -x757_bit0 -x758_bit0 -x759_bit0 -x760_bit0 -x761_bit0 -x762_bit0 -x763_bit0 -x764_bit0 -x765_bit0 -x766_bit0 -x769_bit0 -x770_bit0 -x771_bit0 -x772_bit0 -x773_bit0 -x774_bit0 -x775_bit0 -x776_bit0 -x777_bit0 -x778_bit0 -x779_bit0 -x780_bit0 -x782_bit0 -x783_bit0 -x784_bit0 -x785_bit0 -x786_bit0 -x787_bit0 -x788_bit0 -x789_bit0 -x790_bit0 -x791_bit0 -x792_bit0 -x793_bit0 -x796_bit0 -x797_bit0 -x798_bit0 -x799_bit0 -x800_bit0 -x812_bit0 -x813_bit0 -x814_bit0 -x815_bit0 -x816_bit0 -x817_bit0 -x818_bit0 -x821_bit0 -x822_bit0 -x823_bit0 -x824_bit0 -x825_bit0 -x829_bit0 -x833_bit0 -x837_bit0 -x838_bit0 -x839_bit0 -x840_bit0 -x841_bit0 -x842_bit0 -x843_bit0 -x846_bit0 -x847_bit0 -x848_bit0 -x849_bit0 x850_bit0 -x851_bit0 -x854_bit0 -x856_bit0 -x860_bit0 -x864_bit0 -x865_bit0 -x867_bit0 -x870_bit0 -x871_bit0 -x872_bit0 -x873_bit0 -x875_bit0 -x876_bit0 -x877_bit0 -x878_bit0 -x879_bit0 -x880_bit0 -x882_bit0 -x883_bit0 -x884_bit0 -x885_bit0 -x886_bit0 -x887_bit0 -x888_bit0 -x889_bit0 -x890_bit0 -x891_bit0 -x892_bit0 -x893_bit0 -x896_bit0 -x897_bit0 -x898_bit0 -x899_bit0 x900_bit0 -x904_bit0 -x908_bit0 -x912_bit0 -x913_bit0 x914_bit0 -x915_bit0 -x916_bit0 -x917_bit0 -x918_bit0 -x921_bit0 -x922_bit0 -x923_bit0 -x924_bit0 -x925_bit0 -x926_bit0 -x929_bit0 -x933_bit0 -x937_bit0 -x938_bit0 -x939_bit0 -x940_bit0 -x941_bit0 -x942_bit0 -x943_bit0 -x946_bit0 -x947_bit0 -x948_bit0 -x949_bit0 -x950_bit0 -x951_bit0 -x952_bit0 -x954_bit0 -x955_bit0 -x956_bit0 -x959_bit0 -x960_bit0 -x961_bit0 -x962_bit0 -x964_bit0 -x965_bit0 -x967_bit0 -x970_bit0 -x971_bit0 -x972_bit0 -x973_bit0 -x974_bit0 -x975_bit0 -x976_bit0 -x977_bit0 -x978_bit0 -x979_bit0 -x980_bit0 -x982_bit0 -x983_bit0 -x984_bit0 -x985_bit0 -x986_bit0 -x987_bit0 -x988_bit0 -x989_bit0 -x990_bit0 -x991_bit0 -x992_bit0 -x993_bit0 -x994_bit0 -x995_bit0 -x996_bit0 -x997_bit0 -x1000_bit0 -x1001_bit0 -x1002_bit0 -x1003_bit0 x1004_bit0 -x1005_bit0 -x1008_bit0 -x1011_bit0 -x1012_bit0 -x1013_bit0 -x1014_bit0 -x1016_bit0 -x1017_bit0 -x1018_bit0 -x1019_bit0 -x1020_bit0 -x1021_bit0 x1022_bit0 -x1023_bit0 -x1024_bit0 -x1025_bit0 -x1026_bit0 -x1029_bit0 -x1030_bit0 -x1031_bit0 -x1032_bit0 -x1033_bit0 -x1034_bit0 -x1035_bit0 -x1036_bit0 -x1037_bit0 -x1038_bit0 -x1039_bit0 -x1040_bit0 -x1041_bit0 -x1042_bit0 -x1043_bit0 -x1045_bit0 -x1048_bit0 -x1049_bit0 -x1050_bit0 -x1051_bit0 -x1052_bit0 -x1053_bit0 -x1054_bit0 -x1055_bit0 -x1056_bit0 -x1057_bit0 -x1058_bit0 -x1059_bit0 -x1060_bit0 -x1061_bit0 -x1062_bit0 -x1063_bit0 -x1064_bit0 -x1065_bit0 -x1066_bit0 -x1067_bit0 -x1070_bit0 -x1071_bit0 -x1072_bit0 -x1073_bit0 -x1074_bit0 -x1075_bit0 -x1076_bit0 -x1077_bit0 -x1078_bit0 -x1079_bit0 -x1080_bit0 -x1081_bit0 -x1082_bit0 -x1083_bit0 -x1084_bit0 -x1085_bit0 -x1086_bit0 -x1087_bit0 -x1088_bit0 -x1091_bit0 -x1092_bit0 -x1093_bit0 -x1094_bit0 -x1095_bit0 -x1096_bit0 -x1097_bit0 -x1098_bit0 -x1099_bit0 -x1100_bit0 -x1101_bit0 -x1102_bit0 -x1103_bit0 -x1106_bit0 -x1107_bit0 -x1108_bit0 -x1109_bit0 -x1110_bit0 -x1111_bit0 -x1112_bit0 -x1113_bit0 -x1114_bit0 -x1115_bit0 -x1116_bit0 -x1117_bit0 -x1118_bit0 -x1119_bit0 -x1120_bit0 -x1121_bit0 -x1122_bit0 -x1123_bit0 -x1124_bit0 -x1126_bit0 -x1127_bit0 -x1128_bit0 -x1129_bit0 -x1130_bit0 -x1131_bit0 -x1132_bit0 -x1133_bit0 -x1134_bit0 -x1135_bit0 -x1136_bit0 -x1137_bit0 -x1138_bit0 -x1139_bit0 -x1140_bit0 -x1141_bit0 -x1144_bit0 -x1145_bit0 -x1146_bit0 -x1147_bit0 -x1148_bit0 -x1149_bit0 -x1152_bit0 -x1155_bit0 -x1156_bit0 -x1157_bit0 -x1158_bit0 -x1160_bit0 -x1161_bit0 -x1162_bit0 -x1163_bit0 -x1164_bit0 -x1165_bit0 -x1166_bit0 -x1167_bit0 -x1168_bit0 -x1169_bit0 -x1170_bit0 -x1173_bit0 -x1174_bit0 -x1175_bit0 x1176_bit0 x1177_bit0 -x1178_bit0 -x1179_bit0 -x1180_bit0 -x1181_bit0 -x1182_bit0 -x1183_bit0 -x1184_bit0 -x1185_bit0 -x1186_bit0 -x1187_bit0 -x1189_bit0 -x1192_bit0 -x1193_bit0 -x1194_bit0 -x1195_bit0 -x1196_bit0 -x1197_bit0 -x1198_bit0 -x1199_bit0 -x1200_bit0 -x1201_bit0 -x1202_bit0 -x1203_bit0 -x1204_bit0 -x1205_bit0 -x1206_bit0 -x1207_bit0 -x1208_bit0 -x1209_bit0 -x1210_bit0 -x1211_bit0 -x1214_bit0 -x1215_bit0 -x1216_bit0 -x1217_bit0 -x1218_bit0 -x1219_bit0 -x1220_bit0 -x1221_bit0 -x1222_bit0 -x1223_bit0 -x1224_bit0 -x1225_bit0 -x1226_bit0 -x1227_bit0 -x1228_bit0 -x1229_bit0 -x1230_bit0 -x1231_bit0 -x1232_bit0 -x1235_bit0 -x1236_bit0 -x1237_bit0 -x1238_bit0 -x1239_bit0 -x1240_bit0 -x1241_bit0 -x1242_bit0 -x1243_bit0 -x1244_bit0 -x1245_bit0 -x1246_bit0 -x1247_bit0 -x1250_bit0 -x1251_bit0 -x1252_bit0 -x1253_bit0 -x1254_bit0 -x1255_bit0 -x1256_bit0 -x1257_bit0 -x1258_bit0 -x1259_bit0 -x1260_bit0 -x1261_bit0 -x1262_bit0 -x1263_bit0 -x1264_bit0 -x1265_bit0 -x1266_bit0 -x1267_bit0 -x1268_bit0 -x1270_bit0 -x1271_bit0 -x1272_bit0 -x1273_bit0 -x1274_bit0 -x1275_bit0 -x1276_bit0 -x1277_bit0 -x1278_bit0 -x1279_bit0 -x1280_bit0 -x1281_bit0 -x1282_bit0 -x1283_bit0 -x1284_bit0 -x1285_bit0 -x1286_bit0 -x1287_bit0 -x1288_bit0 -x1289_bit0 -x1290_bit0 -x1291_bit0 -x1292_bit0 -x1293_bit0 -x1294_bit0 -x1295_bit0 -x1296_bit0 -x1297_bit0 -x1298_bit0 -x1299_bit0 -x1300_bit0 -x1301_bit0 -x1302_bit0 -x1303_bit0 -x1304_bit0 -x1305_bit0 -x1306_bit0 -x1307_bit0 -x1308_bit0 -x1309_bit0 -x1310_bit0 -x1311_bit0 -x1312_bit0 -x1313_bit0 -x1314_bit0 -x1315_bit0 -x1316_bit0 -x1317_bit0 -x1318_bit0 -x1319_bit0 -x1320_bit0 -x1321_bit0 -x1322_bit0 -x1323_bit0 -x1324_bit0 -x1325_bit0 -x1326_bit0 -x1327_bit0 -x1328_bit0 -x1329_bit0 -x1330_bit0 -x1331_bit0 -x1332_bit0 -x1333_bit0 -x1334_bit0 -x1335_bit0 -x1336_bit0 -x1337_bit0 -x1338_bit0 -x1339_bit0 -x1340_bit0 -x1341_bit0 -x1342_bit0 -x1343_bit0 -x1344_bit0 -x1345_bit0 -x1346_bit0 -x1348_bit0 -x1349_bit0 -x1351_bit0 -x1352_bit0 -x1353_bit0 -x1354_bit0 -x1355_bit0 -x1356_bit0 -x1357_bit0 -x1358_bit0 -x1359_bit0 -x1360_bit0 -x1361_bit0 -x1362_bit0 -x1363_bit0 -x1364_bit0 -x1365_bit0 -x1366_bit0 -x1367_bit0 -x1369_bit0 -x1370_bit0 -x1371_bit0 -x1372_bit0 -x1373_bit0 -x1374_bit0 -x1375_bit0 -x1376_bit0 -x1377_bit0 -x1378_bit0 -x1379_bit0 -x1380_bit0 -x1381_bit0 -x1382_bit0 -x1384_bit0 -x1386_bit0 -x1387_bit0 -x1391_bit0 -x1392_bit0 -x1393_bit0 -x1394_bit0 -x1395_bit0 -x1396_bit0 -x1397_bit0 -x1398_bit0 -x1399_bit0 -x1401_bit0 -x1402_bit0 -x1404_bit0 -x1405_bit0 -x1406_bit0 -x1407_bit0 -x1408_bit0 -x1409_bit0 -x1410_bit0 -x1411_bit0 -x1412_bit0 -x1413_bit0 -x1414_bit0 -x1415_bit0 -x1416_bit0 -x1417_bit0 -x1418_bit0 -x1419_bit0 -x1420_bit0 -x1422_bit0 -x1423_bit0 -x1424_bit0 -x1425_bit0 -x1426_bit0 -x1427_bit0 -x1428_bit0 -x1429_bit0 -x1430_bit0 -x1431_bit0 -x1432_bit0 -x1433_bit0 -x1434_bit0 -x1435_bit0 -x1436_bit0 -x1437_bit0 -x1438_bit0 -x1440_bit0 -x1441_bit0 -x1442_bit0 -x1443_bit0 -x1444_bit0 -x1445_bit0 -x1446_bit0 -x1447_bit0 -x1448_bit0 -x1449_bit0 -x1450_bit0 -x1451_bit0 -x1452_bit0 -x1453_bit0 -x1455_bit0 -x1457_bit0 -x1458_bit0 -x1459_bit0 -x1460_bit0 -x1461_bit0 -x1462_bit0 -x1463_bit0 -x1464_bit0 -x1465_bit0 -x1466_bit0 -x1467_bit0 -x1468_bit0 -x1469_bit0 -x1470_bit0 -x1471_bit0 -x1472_bit0 -x1473_bit0 -x1475_bit0 -x1476_bit0 -x1477_bit0 -x1478_bit0 -x1479_bit0 -x1480_bit0 -x1481_bit0 -x1482_bit0 -x1483_bit0 -x1484_bit0 -x1485_bit0 -x1486_bit0 -x1487_bit0 -x1488_bit0 -x1489_bit0 -x1490_bit0 -x1491_bit0 -x1493_bit0 -x1494_bit0 -x1495_bit0 -x1496_bit0 -x1497_bit0 -x1498_bit0 -x1499_bit0 -x1500_bit0 -x1501_bit0 -x1502_bit0 -x1503_bit0 -x1504_bit0 -x1505_bit0 -x1506_bit0 -x1507_bit0 -x1508_bit0 -x1509_bit0 -x1511_bit0 -x1512_bit0 -x1513_bit0 -x1514_bit0 -x1515_bit0 -x1516_bit0 -x1517_bit0 -x1518_bit0 -x1519_bit0 -x1520_bit0 -x1521_bit0 -x1522_bit0 -x1524_bit0 -x1525_bit0 -x1526_bit0 -x1527_bit0 -x1528_bit0 -x1529_bit0 -x1530_bit0 -x1531_bit0 -x1532_bit0 -x1533_bit0 -x1534_bit0 -x1535_bit0 -x1536_bit0 -x1537_bit0 -x1538_bit0 -x1539_bit0 -x1540_bit0 -x1542_bit0 -x1543_bit0 -x1544_bit0 -x1545_bit0 -x1546_bit0 -x1547_bit0 -x1548_bit0 -x1549_bit0 -x1550_bit0 -x1551_bit0 -x1552_bit0 -x1553_bit0 -x1554_bit0 -x1555_bit0 -x1556_bit0 -x1557_bit0 -x1558_bit0 -x1560_bit0 -x1561_bit0 -x1562_bit0 -x1563_bit0 -x1564_bit0 -x1565_bit0 -x1566_bit0 -x1567_bit0 -x1568_bit0 -x1569_bit0 -x1570_bit0 -x1571_bit0 -x1572_bit0 -x1573_bit0 -x1574_bit0 -x1575_bit0 -x1576_bit0 -x1578_bit0 -x1579_bit0 -x1580_bit0 -x1581_bit0 -x1582_bit0 -x1583_bit0 -x1584_bit0 -x1585_bit0 -x1586_bit0 -x1587_bit0 -x1588_bit0 -x1589_bit0 -x1591_bit0 -x1592_bit0 -x1593_bit0 -x1594_bit0 -x1595_bit0 -x1596_bit0 -x1597_bit0 -x1598_bit0 -x1599_bit0 -x1600_bit0 -x1601_bit0 -x1602_bit0 -x1603_bit0 -x1604_bit0 -x1605_bit0 -x1606_bit0 -x1607_bit0 -x1609_bit0 -x1610_bit0 -x1611_bit0 -x1612_bit0 -x1613_bit0 -x1614_bit0 -x1615_bit0 -x1616_bit0 -x1617_bit0 -x1618_bit0 -x1619_bit0 -x1620_bit0 -x1623_bit0 -x1624_bit0 -x1625_bit0 -x1626_bit0 -x1627_bit0 -x1628_bit0 -x1631_bit0 -x1634_bit0 -x1635_bit0 -x1636_bit0 -x1637_bit0 -x1639_bit0 -x1640_bit0 -x1641_bit0 -x1642_bit0 -x1643_bit0 -x1644_bit0 -x1647_bit0 -x1648_bit0 -x1649_bit0 -x1650_bit0 -x1651_bit0 -x1652_bit0 -x1653_bit0 -x1654_bit0 -x1655_bit0 -x1656_bit0 -x1658_bit0 -x1659_bit0 -x1660_bit0 -x1663_bit0 -x1664_bit0 -x1665_bit0 -x1666_bit0 -x1667_bit0 -x1668_bit0 -x1669_bit0 -x1670_bit0 -x1671_bit0 -x1672_bit0 -x1673_bit0 -x1675_bit0 -x1678_bit0 -x1679_bit0 -x1680_bit0 -x1683_bit0 -x1684_bit0 -x1685_bit0 -x1686_bit0 -x1687_bit0 -x1688_bit0 -x1690_bit0 -x1692_bit0 -x1694_bit0 -x1695_bit0 -x1696_bit0 -x1699_bit0 -x1700_bit0 -x1701_bit0 -x1702_bit0 -x1703_bit0 -x1704_bit0 -x1705_bit0 -x1708_bit0 -x1709_bit0 -x1710_bit0 -x1711_bit0 -x1712_bit0 -x1713_bit0 -x1714_bit0 -x1716_bit0 -x1719_bit0 -x1720_bit0 -x1721_bit0 -x1722_bit0 -x1723_bit0 -x1724_bit0 -x1725_bit0 -x1726_bit0 -x1727_bit0 -x1728_bit0 -x1729_bit0 -x1732_bit0 -x1733_bit0 -x1734_bit0 -x1735_bit0 -x1736_bit0 -x1737_bit0 -x1738_bit0 -x1739_bit0 -x1740_bit0 -x1741_bit0 -x1742_bit0 -x1743_bit0 -x1744_bit0 -x1745_bit0 -x1748_bit0 -x1749_bit0 -x1750_bit0 -x1751_bit0 -x1752_bit0 -x1753_bit0 -x1754_bit0 -x1755_bit0 -x1756_bit0 -x1757_bit0 -x1758_bit0 -x1760_bit0 -x1763_bit0 -x1764_bit0 -x1765_bit0 -x1766_bit0 -x1768_bit0 -x1769_bit0 -x1770_bit0 -x1771_bit0 -x1772_bit0 -x1773_bit0 -x1775_bit0 -x1776_bit0 -x1777_bit0 -x1779_bit0 -x1780_bit0 -x1781_bit0 -x1782_bit0 -x1783_bit0 -x1784_bit0 -x1785_bit0 -x1786_bit0 -x1787_bit0 -x1788_bit0 -x1789_bit0 -x1790_bit0 -x1793_bit0 -x1794_bit0 -x1795_bit0 -x1796_bit0 -x1797_bit0 -x1798_bit0 -x1799_bit0 -x1801_bit0 -x1804_bit0 -x1805_bit0 -x1806_bit0 -x1807_bit0 -x1808_bit0 -x1809_bit0 -x1810_bit0 -x1811_bit0 -x1812_bit0 -x1813_bit0 -x1814_bit0 -x1817_bit0 -x1818_bit0 -x1819_bit0 -x1820_bit0 -x1821_bit0 -x1822_bit0 -x1823_bit0 -x1824_bit0 -x1825_bit0 -x1826_bit0 -x1827_bit0 -x1828_bit0 -x1829_bit0 -x1830_bit0 -x1833_bit0 -x1834_bit0 -x1835_bit0 -x1836_bit0 -x1837_bit0 -x1838_bit0 -x1839_bit0 -x1840_bit0 -x1841_bit0 -x1842_bit0 -x1843_bit0 -x1845_bit0 -x1848_bit0 -x1849_bit0 -x1850_bit0 -x1851_bit0 -x1852_bit0 -x1853_bit0 -x1854_bit0 -x1855_bit0 -x1856_bit0 -x1857_bit0 -x1858_bit0 -x1859_bit0 -x1860_bit0 -x1861_bit0 -x1862_bit0 -x1864_bit0 -x1865_bit0 -x1866_bit0 -x1867_bit0 -x1868_bit0 -x1869_bit0 -x1870_bit0 -x1871_bit0 -x1872_bit0 -x1873_bit0 -x1874_bit0 -x1875_bit0 -x1878_bit0 -x1879_bit0 -x1880_bit0 -x1881_bit0 -x1882_bit0 -x1883_bit0 -x1884_bit0 -x1885_bit0 -x1886_bit0 -x1889_bit0 -x1890_bit0 -x1891_bit0 -x1892_bit0 -x1893_bit0 -x1894_bit0 -x1895_bit0 -x1896_bit0 -x1897_bit0 -x1898_bit0 -x1899_bit0 -x1902_bit0 -x1903_bit0 -x1904_bit0 -x1905_bit0 -x1906_bit0 -x1907_bit0 -x1908_bit0 x1909_bit0 -x1910_bit0 -x1911_bit0 -x1912_bit0 -x1913_bit0 -x1914_bit0 -x1915_bit0 -x1918_bit0 -x1919_bit0 -x1920_bit0 -x1921_bit0 -x1922_bit0 -x1923_bit0 -x1924_bit0 -x1925_bit0 -x1926_bit0 -x1927_bit0 -x1928_bit0 -x1929_bit0 -x1930_bit0 -x1933_bit0 -x1934_bit0 -x1935_bit0 -x1936_bit0 -x1937_bit0 -x1938_bit0 -x1939_bit0 -x1940_bit0 -x1941_bit0 -x1942_bit0 -x1943_bit0 -x1944_bit0 -x1945_bit0 -x1946_bit0 -x1947_bit0 -x1949_bit0 -x1950_bit0 -x1951_bit0 -x1952_bit0 -x1953_bit0 -x1954_bit0 -x1955_bit0 -x1956_bit0 -x1957_bit0 -x1958_bit0 -x1959_bit0 -x1960_bit0 -x1961_bit0 -x1962_bit0 -x1963_bit0 -x1966_bit0 -x1967_bit0 -x1968_bit0 -x1969_bit0 -x1970_bit0 -x1971_bit0 -x1972_bit0 -x1973_bit0 -x1974_bit0 -x1975_bit0 -x1976_bit0 -x1977_bit0 -x1980_bit0 -x1981_bit0 -x1982_bit0 -x1983_bit0 -x1984_bit0 -x1985_bit0 -x1986_bit0 -x1987_bit0 -x1988_bit0 -x1989_bit0 -x1990_bit0 -x1991_bit0 -x1992_bit0 x1993_bit0 -x1994_bit0 -x1995_bit0 -x1996_bit0 -x1997_bit0 -x1998_bit0 -x1999_bit0 -x2000_bit0 -x2001_bit0 -x2003_bit0 -x2004_bit0 -x2005_bit0 -x2006_bit0 -x2007_bit0 -x2008_bit0 -x2009_bit0 -x2010_bit0 -x2011_bit0 -x2012_bit0 -x2013_bit0 -x2014_bit0 -x2015_bit0 -x2016_bit0 -x2017_bit0 -x2018_bit0 -x2019_bit0 -x2020_bit0 -x2021_bit0 -x2022_bit0 -x2023_bit0 -x2024_bit0 -x2025_bit0 -x2027_bit0 -x2028_bit0 -x2029_bit0 -x2030_bit0 -x2031_bit0 -x2032_bit0 -x2033_bit0 -x2034_bit0 -x2035_bit0 -x2038_bit0 -x2040_bit0 -x2041_bit0 -x2042_bit0 -x2043_bit0 -x2045_bit0 -x2046_bit0 -x2047_bit0 -x2048_bit0 -x2049_bit0 -x2050_bit0 -x2051_bit0 -x2053_bit0 -x2054_bit0 -x2055_bit0 -x2056_bit0 -x2057_bit0 -x2058_bit0 -x2059_bit0 -x2060_bit0 -x2061_bit0 -x2062_bit0 -x2064_bit0 -x2066_bit0 -x2067_bit0 -x2068_bit0 -x2071_bit0 -x2072_bit0 -x2073_bit0 -x2074_bit0 -x2075_bit0 -x2076_bit0 -x2077_bit0 -x2078_bit0 -x2080_bit0 -x2081_bit0 -x2082_bit0 -x2083_bit0 -x2084_bit0 -x2085_bit0 -x2086_bit0 -x2087_bit0 -x2088_bit0 -x2089_bit0 -x2090_bit0 -x2091_bit0 -x2092_bit0 -x2094_bit0 -x2095_bit0 -x2096_bit0 -x2097_bit0 -x2098_bit0 -x2099_bit0 -x2100_bit0 -x2101_bit0 -x2102_bit0 x2105_bit0 -x2107_bit0 -x2108_bit0 -x2109_bit0 -x2110_bit0 -x2112_bit0 -x2113_bit0 -x2114_bit0 -x2115_bit0 -x2116_bit0 -x2117_bit0 -x2118_bit0 -x2120_bit0 -x2121_bit0 -x2122_bit0 -x2123_bit0 -x2124_bit0 -x2125_bit0 -x2126_bit0 -x2127_bit0 -x2128_bit0 -x2129_bit0 -x2131_bit0 -x2133_bit0 -x2134_bit0 -x2135_bit0 -x2138_bit0 -x2139_bit0 -x2140_bit0 -x2141_bit0 -x2142_bit0 -x2143_bit0 -x2144_bit0 -x2145_bit0 -x2147_bit0 -x2148_bit0 -x2149_bit0 -x2150_bit0 -x2151_bit0 -x2152_bit0 -x2153_bit0 -x2154_bit0 -x2155_bit0 -x2156_bit0 -x2157_bit0 -x2158_bit0 -x2159_bit0 -x2161_bit0 -x2162_bit0 -x2163_bit0 -x2164_bit0 -x2165_bit0 -x2166_bit0 -x2167_bit0 -x2168_bit0 -x2169_bit0 -x2170_bit0 -x2172_bit0 -x2174_bit0 -x2175_bit0 -x2176_bit0 -x2177_bit0 -x2178_bit0 -x2179_bit0 -x2180_bit0 -x2181_bit0 -x2182_bit0 -x2183_bit0 -x2184_bit0 -x2185_bit0 -x2187_bit0 -x2188_bit0 -x2189_bit0 -x2190_bit0 -x2191_bit0 -x2192_bit0 -x2193_bit0 -x2194_bit0 -x2195_bit0 -x2196_bit0 -x2198_bit0 -x2200_bit0 -x2201_bit0 -x2202_bit0 -x2203_bit0 -x2204_bit0 -x2205_bit0 -x2206_bit0 -x2207_bit0 -x2208_bit0 -x2209_bit0 -x2210_bit0 -x2211_bit0 -x2212_bit0 -x2214_bit0 -x2215_bit0 -x2216_bit0 -x2217_bit0 -x2218_bit0 -x2219_bit0 -x2220_bit0 -x2221_bit0 -x2222_bit0 -x2223_bit0 -x2224_bit0 -x2225_bit0 -x2226_bit0 -x2228_bit0 -x2229_bit0 -x2230_bit0 -x2231_bit0 -x2232_bit0 -x2233_bit0 -x2234_bit0 -x2235_bit0 -x2236_bit0 -x2237_bit0 -x2239_bit0 -x2241_bit0 -x2242_bit0 -x2243_bit0 -x2244_bit0 -x2245_bit0 -x2246_bit0 -x2247_bit0 -x2248_bit0 -x2249_bit0 -x2250_bit0 -x2251_bit0 -x2252_bit0 -x2254_bit0 -x2255_bit0 -x2256_bit0 -x2257_bit0 -x2258_bit0 -x2259_bit0 -x2260_bit0 -x2261_bit0 -x2262_bit0 -x2263_bit0 -x2265_bit0 -x2267_bit0 -x2268_bit0 -x2269_bit0 -x2270_bit0 -x2271_bit0 -x2272_bit0 -x2273_bit0 -x2274_bit0 -x2275_bit0 -x2276_bit0 -x2277_bit0 -x2278_bit0 -x2279_bit0 -x2281_bit0 -x2282_bit0 -x2283_bit0 -x2284_bit0 -x2285_bit0 -x2286_bit0 -x2287_bit0 -x2288_bit0 -x2289_bit0 -x2290_bit0 -x2291_bit0 -x2292_bit0 -x2293_bit0 -x2295_bit0 -x2296_bit0 -x2297_bit0 -x2298_bit0 -x2299_bit0 -x2300_bit0 -x2301_bit0 -x2302_bit0 -x2303_bit0 -x2306_bit0 -x2308_bit0 -x2309_bit0 -x2310_bit0 -x2311_bit0 -x2313_bit0 -x2314_bit0 -x2315_bit0 -x2316_bit0 -x2317_bit0 -x2318_bit0 -x2319_bit0 -x2321_bit0 -x2322_bit0 -x2323_bit0 -x2324_bit0 -x2325_bit0 -x2326_bit0 -x2327_bit0 -x2328_bit0 -x2329_bit0 -x2330_bit0 -x2332_bit0 -x2334_bit0 -x2335_bit0 -x2336_bit0 -x2337_bit0 -x2339_bit0 -x2340_bit0 -x2341_bit0 -x2342_bit0 -x2343_bit0 -x2345_bit0 -x2346_bit0 -x2348_bit0 -x2349_bit0 -x2350_bit0 -x2351_bit0 -x2352_bit0 -x2353_bit0 -x2354_bit0 -x2355_bit0 -x2356_bit0 -x2357_bit0 -x2358_bit0 -x2359_bit0 -x2360_bit0 -x2362_bit0 -x2363_bit0 -x2364_bit0 -x2365_bit0 -x2366_bit0 -x2367_bit0 -x2368_bit0 -x2369_bit0 -x2370_bit0 x2373_bit0 -x2375_bit0 -x2376_bit0 -x2377_bit0 -x2378_bit0 -x2380_bit0 -x2381_bit0 -x2382_bit0 -x2383_bit0 -x2384_bit0 -x2385_bit0 -x2386_bit0 -x2388_bit0 -x2389_bit0 -x2390_bit0 -x2391_bit0 -x2392_bit0 -x2393_bit0 -x2394_bit0 -x2395_bit0 -x2396_bit0 -x2397_bit0 -x2399_bit0 -x2401_bit0 -x2402_bit0 -x2403_bit0 -x2404_bit0 -x2406_bit0 -x2407_bit0 -x2408_bit0 -x2409_bit0 -x2410_bit0 -x2411_bit0 -x2412_bit0 -x2413_bit0 -x2415_bit0 -x2416_bit0 -x2417_bit0 -x2418_bit0 -x2419_bit0 -x2420_bit0 -x2421_bit0 -x2422_bit0 -x2423_bit0 -x2424_bit0 -x2425_bit0 -x2426_bit0 -x2427_bit0 -x2428_bit0 -x2429_bit0 -x2430_bit0 -x2432_bit0 -x2433_bit0 -x2434_bit0 -x2435_bit0 -x2436_bit0 -x2437_bit0 -x2438_bit0 -x2439_bit0 -x2440_bit0 -x2441_bit0 -x2442_bit0 -x2443_bit0 -x2444_bit0 -x2445_bit0 -x2446_bit0 -x2448_bit0 -x2449_bit0 -x2450_bit0 -x2451_bit0 -x2452_bit0 -x2453_bit0 -x2454_bit0 -x2455_bit0 -x2456_bit0 -x2457_bit0 -x2458_bit0 -x2459_bit0 -x2460_bit0 -x2461_bit0 -x2462_bit0 -x2463_bit0 -x2464_bit0 -x2466_bit0 -x2467_bit0 -x2468_bit0 -x2469_bit0 -x2470_bit0 -x2471_bit0 -x2472_bit0 -x2473_bit0 -x2474_bit0 -x2475_bit0 -x2476_bit0 -x2477_bit0 -x2478_bit0 -x2479_bit0 -x2480_bit0 x2481_bit0 -x2483_bit0 -x2484_bit0 -x2485_bit0 -x2486_bit0 -x2487_bit0 -x2488_bit0 -x2489_bit0 -x2490_bit0 -x2491_bit0 -x2492_bit0 -x2493_bit0 -x2494_bit0 -x2495_bit0 -x2496_bit0 x2497_bit0 -x2499_bit0 -x2500_bit0 -x2501_bit0 -x2502_bit0 -x2503_bit0 -x2504_bit0 -x2505_bit0 -x2506_bit0 -x2507_bit0 -x2508_bit0 x2509_bit0 -x2510_bit0 -x2511_bit0 -x2512_bit0 x2513_bit0 -x2514_bit0 x2515_bit0 -x2517_bit0 x2518_bit0 x2519_bit0 x2520_bit0 x2521_bit0 -x2522_bit0 -x2523_bit0 x2524_bit0 -x2526_bit0 -x2527_bit0 -x2528_bit0 x2529_bit0 x2530_bit0 -x2531_bit0 x2532_bit0 -x2534_bit0 -x2535_bit0 -x2536_bit0 x2537_bit0 x2538_bit0 -x2539_bit0 -x2540_bit0 -x2541_bit0 -x2542_bit0 -x2544_bit0 -x2545_bit0 -x2546_bit0 -x2547_bit0 -x2548_bit0 x2549_bit0 -x2550_bit0 x2551_bit0 -x2552_bit0 -x2553_bit0 -x2554_bit0 -x2555_bit0 -x2556_bit0 -x2557_bit0 -x2558_bit0 -x2559_bit0 x2560_bit0 -x2561_bit0 -x2562_bit0 -x2563_bit0 x2564_bit0 -x2565_bit0 -x2566_bit0 x2567_bit0 -x7_bit0 x8_bit0 -x12_bit0 -x13_bit0 -x15_bit0 -x16_bit0 -x18_bit0 -x25_bit0 -x26_bit0 x28_bit0 -x40_bit0 x41_bit0 x43_bit0 -x52_bit0 -x53_bit0 -x55_bit0 -x63_bit0 x64_bit0 -x69_bit0 -x71_bit0 x72_bit0 -x81_bit0 x82_bit0 -x84_bit0 -x96_bit0 -x97_bit0 -x99_bit0 -x108_bit0 -x109_bit0 -x111_bit0 -x118_bit0 -x125_bit0 -x130_bit0 -x138_bit0 -x146_bit0 -x147_bit0 -x151_bit0 -x152_bit0 -x154_bit0 -x155_bit0 -x157_bit0 -x164_bit0 x165_bit0 -x167_bit0 -x179_bit0 -x180_bit0 -x182_bit0 -x191_bit0 -x192_bit0 -x194_bit0 -x202_bit0 -x203_bit0 -x208_bit0 -x210_bit0 -x211_bit0 -x220_bit0 -x221_bit0 -x223_bit0 -x235_bit0 -x236_bit0 -x238_bit0 -x247_bit0 -x248_bit0 -x250_bit0 -x257_bit0 -x264_bit0 x269_bit0 -x277_bit0 -x282_bit0 -x287_bit0 -x288_bit0 -x301_bit0 x302_bit0 -x311_bit0 x312_bit0 -x324_bit0 -x325_bit0 -x334_bit0 -x336_bit0 -x337_bit0 -x342_bit0 -x346_bit0 -x350_bit0 -x355_bit0 -x364_bit0 x365_bit0 -x378_bit0 -x379_bit0 -x388_bit0 -x389_bit0 -x401_bit0 -x402_bit0 -x413_bit0 -x414_bit0 -x427_bit0 -x455_bit0 -x462_bit0 -x477_bit0 -x478_bit0 -x487_bit0 -x488_bit0 -x504_bit0 -x505_bit0 -x518_bit0 -x520_bit0 -x521_bit0 -x534_bit0 -x547_bit0 -x548_bit0 -x557_bit0 -x558_bit0 -x574_bit0 x575_bit0 -x590_bit0 x591_bit0 -x604_bit0 -x632_bit0 -x649_bit0 -x654_bit0 -x655_bit0 -x664_bit0 -x665_bit0 -x681_bit0 -x682_bit0 -x695_bit0 -x697_bit0 -x698_bit0 -x711_bit0 -x724_bit0 -x725_bit0 -x734_bit0 -x735_bit0 -x751_bit0 x752_bit0 -x767_bit0 x768_bit0 -x781_bit0 -x794_bit0 x795_bit0 -x801_bit0 -x802_bit0 -x803_bit0 -x804_bit0 -x805_bit0 -x806_bit0 -x807_bit0 -x808_bit0 -x809_bit0 -x810_bit0 -x811_bit0 -x819_bit0 x820_bit0 -x826_bit0 -x827_bit0 -x828_bit0 -x830_bit0 -x831_bit0 -x832_bit0 -x834_bit0 -x835_bit0 -x836_bit0 -x844_bit0 x845_bit0 -x852_bit0 -x853_bit0 -x855_bit0 -x857_bit0 -x858_bit0 -x859_bit0 -x861_bit0 -x862_bit0 -x863_bit0 -x866_bit0 -x868_bit0 -x869_bit0 -x874_bit0 -x881_bit0 -x894_bit0 x895_bit0 -x901_bit0 -x902_bit0 -x903_bit0 -x905_bit0 -x906_bit0 -x907_bit0 -x909_bit0 -x910_bit0 -x911_bit0 -x919_bit0 x920_bit0 -x927_bit0 -x928_bit0 -x930_bit0 -x931_bit0 -x932_bit0 -x934_bit0 -x935_bit0 -x936_bit0 -x944_bit0 -x945_bit0 -x953_bit0 -x957_bit0 -x958_bit0 -x963_bit0 -x966_bit0 -x968_bit0 -x969_bit0 -x981_bit0 -x998_bit0 x999_bit0 -x1006_bit0 -x1007_bit0 -x1009_bit0 -x1010_bit0 -x1015_bit0 -x1027_bit0 x1028_bit0 -x1044_bit0 -x1046_bit0 -x1047_bit0 -x1068_bit0 -x1069_bit0 -x1089_bit0 -x1090_bit0 -x1104_bit0 -x1105_bit0 -x1125_bit0 -x1142_bit0 -x1143_bit0 -x1150_bit0 -x1151_bit0 -x1153_bit0 -x1154_bit0 -x1159_bit0 -x1171_bit0 x1172_bit0 -x1188_bit0 -x1190_bit0 -x1191_bit0 -x1212_bit0 -x1213_bit0 -x1233_bit0 -x1234_bit0 -x1248_bit0 x1249_bit0 -x1269_bit0 -x1347_bit0 -x1350_bit0 -x1368_bit0 -x1383_bit0 -x1385_bit0 -x1388_bit0 -x1389_bit0 -x1390_bit0 -x1400_bit0 -x1403_bit0 x1421_bit0 -x1439_bit0 -x1454_bit0 -x1456_bit0 x1474_bit0 -x1492_bit0 x1510_bit0 -x1523_bit0 -x1541_bit0 -x1559_bit0 -x1577_bit0 -x1590_bit0 x1608_bit0 -x1621_bit0 -x1622_bit0 -x1629_bit0 -x1630_bit0 -x1632_bit0 -x1633_bit0 -x1638_bit0 -x1645_bit0 -x1646_bit0 -x1657_bit0 -x1661_bit0 -x1662_bit0 -x1674_bit0 -x1676_bit0 -x1677_bit0 -x1681_bit0 -x1682_bit0 -x1689_bit0 -x1691_bit0 -x1693_bit0 -x1697_bit0 -x1698_bit0 -x1706_bit0 -x1707_bit0 -x1715_bit0 -x1717_bit0 -x1718_bit0 -x1730_bit0 -x1731_bit0 -x1746_bit0 x1747_bit0 -x1759_bit0 -x1761_bit0 -x1762_bit0 x1767_bit0 -x1774_bit0 -x1778_bit0 -x1791_bit0 -x1792_bit0 -x1800_bit0 -x1802_bit0 -x1803_bit0 -x1815_bit0 -x1816_bit0 -x1831_bit0 -x1832_bit0 -x1844_bit0 -x1846_bit0 -x1847_bit0 -x1863_bit0 -x1876_bit0 -x1877_bit0 -x1887_bit0 -x1888_bit0 -x1900_bit0 -x1901_bit0 -x1916_bit0 x1917_bit0 -x1931_bit0 x1932_bit0 -x1948_bit0 -x1964_bit0 -x1965_bit0 -x1978_bit0 -x1979_bit0 -x2002_bit0 -x2026_bit0 -x2036_bit0 -x2037_bit0 -x2039_bit0 -x2044_bit0 -x2052_bit0 -x2063_bit0 -x2065_bit0 -x2069_bit0 -x2070_bit0 -x2079_bit0 -x2093_bit0 -x2103_bit0 -x2104_bit0 -x2106_bit0 -x2111_bit0 -x2119_bit0 -x2130_bit0 -x2132_bit0 -x2136_bit0 -x2137_bit0 -x2146_bit0 -x2160_bit0 -x2171_bit0 -x2173_bit0 -x2186_bit0 -x2197_bit0 -x2199_bit0 -x2213_bit0 -x2227_bit0 -x2238_bit0 -x2240_bit0 -x2253_bit0 -x2264_bit0 -x2266_bit0 -x2280_bit0 -x2294_bit0 -x2304_bit0 -x2305_bit0 -x2307_bit0 -x2312_bit0 -x2320_bit0 -x2331_bit0 -x2333_bit0 -x2338_bit0 -x2344_bit0 -x2347_bit0 -x2361_bit0 -x2371_bit0 -x2372_bit0 -x2374_bit0 -x2379_bit0 -x2387_bit0 -x2398_bit0 -x2400_bit0 -x2405_bit0 -x2414_bit0 -x2431_bit0 -x2447_bit0 -x2465_bit0 x2482_bit0 x2498_bit0 x2516_bit0 x2525_bit0 x2533_bit0 -x2543_bit0 -x2568_bit0 -x2569_bit0 -x2570_bit0 x2571_bit0 -x2572_bit0 -x2573_bit0 x2574_bit0 -x2575_bit0 -x2576_bit0 -x2577_bit0 -x2578_bit0 -x2579_bit0 -x2580_bit0 -x2581_bit0 -x2582_bit0 -x2583_bit0 x2584_bit0 -x2585_bit0 -x2586_bit0 -x2587_bit0 -x2588_bit0 -x2589_bit0 -x2590_bit0 -x2591_bit0 -x2592_bit0 -x2593_bit0 -x2594_bit0 -x2595_bit0 -x2596_bit0 x2597_bit0 x2598_bit0 -x2599_bit0 -x2600_bit0 -x2601_bit0 x2602_bit0 -x2603_bit0 -x2604_bit0 -x2605_bit0 -x2606_bit0 -x2607_bit0 -x2608_bit0 -x2609_bit0 -x2610_bit0 -x2611_bit0 -x2612_bit0 -x2613_bit0 -x2614_bit0 -x2615_bit0 -x2616_bit0 -x2617_bit0 -x2618_bit0 -x2619_bit0 -x2620_bit0 -x2621_bit0 -x2622_bit0 -x2623_bit0 -x2624_bit0 -x2625_bit0 -x2626_bit0 -x2627_bit0 -x2628_bit0 -x2629_bit0 -x2630_bit0 -x2631_bit0 -x2632_bit0 -x2633_bit0 -x2634_bit0 -x2635_bit0 x2636_bit0 -x2637_bit0 x2638_bit0 -x2639_bit0 x2640_bit0 -x2641_bit0 -x2642_bit0 -x2643_bit0 x2644_bit0 -x2645_bit0 x2646_bit0 -x2647_bit0 -x2648_bit0 -x2649_bit0 -x2650_bit0 -x2651_bit0 x2652_bit0 -x2653_bit0 x2654_bit0 -x2655_bit0 -x2656_bit0 -x2657_bit0 -x2658_bit0 -x2659_bit0 -x2660_bit0 -x2661_bit0 x2662_bit0 -x2663_bit0 -x2664_bit0 -x2665_bit0 -x2666_bit0 -x2667_bit0 -x2668_bit0 -x2669_bit0 -x2670_bit0 -x2671_bit0 -x2672_bit0 -x2673_bit0 -x2674_bit0 -x2675_bit0 x2676_bit0 -x2677_bit0 -x2678_bit0 -x2679_bit0 -x2680_bit0 x2681_bit0 -x2682_bit0 -x2683_bit0 -x2684_bit0 -x2685_bit0 -x2686_bit0 -x2687_bit0 -x2688_bit0 -x2689_bit0 -x2690_bit0 -x2691_bit0 -x2692_bit0 -x2693_bit0 -x2694_bit0 -x2695_bit0 -x2696_bit0 -x2697_bit0 -x2698_bit0 -x2699_bit0 -x2700_bit0 -x2701_bit0 -x2702_bit0 -x2703_bit0 -x2704_bit0 -x2705_bit0 -x2706_bit0 -x2707_bit0 -x2708_bit0 x2709_bit0 -x2710_bit0 -x2711_bit0 -x2712_bit0 -x2713_bit0 -x2714_bit0 -x2715_bit0 -x2716_bit0 -x2717_bit0 -x2718_bit0 -x2719_bit0 -x2720_bit0 -x2721_bit0 -x2722_bit0 -x2723_bit0 -x2724_bit0 -x2725_bit0 -x2726_bit0 -x2727_bit0 -x2728_bit0 -x2729_bit0 -x2730_bit0 -x2731_bit0 -x2732_bit0 -x2733_bit0 -x2734_bit0 -x2735_bit0 -x2736_bit0 -x2737_bit0 -x2738_bit0 -x2739_bit0 -x2740_bit0 -x2741_bit0 -x2742_bit0 -x2743_bit0 -x2744_bit0 -x2745_bit0 -x2746_bit0 -x2747_bit0 -x2748_bit0 -x2749_bit0 -x2750_bit0 -x2751_bit0 x2752_bit0 x2753_bit0 x2754_bit0 x2755_bit0 -x2756_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 1/55 9462
Raw data (stat): 9462 (runsolver) D 9461 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 794694142 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 2075 0 0 0 988 7 0 0 25 0 1 0 794694142 14225408 2049 4294967295 134512640 134581267 3221224576 3221223520 134558768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3473 2049 566 18 0 3455 0
vsize: 13892
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 2350 0 0 0 1985 10 0 0 25 0 1 0 794694142 15273984 2324 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3729 2324 566 18 0 3711 0
vsize: 14916
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 2625 0 0 0 2982 13 0 0 25 0 1 0 794694142 16478208 2599 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4023 2599 566 18 0 4005 0
vsize: 16092
[startup+40.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 2635 0 0 0 3980 15 0 0 25 0 1 0 794694142 16478208 2609 4294967295 134512640 134581267 3221224576 3221223472 134517764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4023 2609 566 18 0 4005 0
vsize: 16092
[startup+50.0008 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 2790 0 0 0 4978 18 0 0 25 0 1 0 794694142 17133568 2764 4294967295 134512640 134581267 3221224576 3221223520 134558830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4183 2764 566 18 0 4165 0
vsize: 16732
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 2970 0 0 0 5975 20 0 0 25 0 1 0 794694142 17788928 2944 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4343 2944 566 18 0 4325 0
vsize: 17372
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 2973 0 0 0 6974 22 0 0 25 0 1 0 794694142 17788928 2947 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4343 2947 566 18 0 4325 0
vsize: 17372
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 2977 0 0 0 7972 24 0 0 25 0 1 0 794694142 17920000 2951 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4375 2951 566 18 0 4357 0
vsize: 17500
[startup+90.0033 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 3191 0 0 0 8970 26 0 0 25 0 1 0 794694142 18702336 3165 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4566 3165 566 18 0 4548 0
vsize: 18264
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 3199 0 0 0 9968 28 0 0 25 0 1 0 794694142 18833408 3173 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3173 566 18 0 4580 0
vsize: 18392
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 3199 0 0 0 10967 30 0 0 25 0 1 0 794694142 18812928 3173 4294967295 134512640 134581267 3221224576 3221223520 134558884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4593 3173 566 18 0 4575 0
vsize: 18372
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 3199 0 0 0 11965 32 0 0 25 0 1 0 794694142 18812928 3173 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4593 3173 566 18 0 4575 0
vsize: 18372
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 3504 0 0 0 12962 35 0 0 25 0 1 0 794694142 19992576 3478 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4881 3478 566 18 0 4863 0
vsize: 19524
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 3511 0 0 0 13960 37 0 0 25 0 1 0 794694142 19992576 3485 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4881 3485 566 18 0 4863 0
vsize: 19524
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 3511 0 0 0 14958 39 0 0 25 0 1 0 794694142 19992576 3485 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4881 3485 566 18 0 4863 0
vsize: 19524
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 3511 0 0 0 15956 42 0 0 25 0 1 0 794694142 19992576 3485 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4881 3485 566 18 0 4863 0
vsize: 19524
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 3511 0 0 0 16955 43 0 0 25 0 1 0 794694142 19992576 3485 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4881 3485 566 18 0 4863 0
vsize: 19524
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 3511 0 0 0 17954 44 0 0 25 0 1 0 794694142 19992576 3485 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4881 3485 566 18 0 4863 0
vsize: 19524
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 3511 0 0 0 18952 46 0 0 25 0 1 0 794694142 19992576 3485 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4881 3485 566 18 0 4863 0
vsize: 19524
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 3707 0 0 0 19949 49 0 0 25 0 1 0 794694142 20910080 3681 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5105 3681 566 18 0 5087 0
vsize: 20420
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 3720 0 0 0 20948 50 0 0 25 0 1 0 794694142 20910080 3694 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5105 3694 566 18 0 5087 0
vsize: 20420
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 3733 0 0 0 21946 52 0 0 25 0 1 0 794694142 20910080 3707 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5105 3707 566 18 0 5087 0
vsize: 20420
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 3772 0 0 0 22945 54 0 0 25 0 1 0 794694142 21172224 3746 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5169 3746 566 18 0 5151 0
vsize: 20676
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 3789 0 0 0 23942 57 0 0 25 0 1 0 794694142 21172224 3763 4294967295 134512640 134581267 3221224576 3221223536 134516754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5169 3763 566 18 0 5151 0
vsize: 20676
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 3789 0 0 0 24940 59 0 0 25 0 1 0 794694142 21172224 3763 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5169 3763 566 18 0 5151 0
vsize: 20676
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 3789 0 0 0 25938 62 0 0 25 0 1 0 794694142 21172224 3763 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5169 3763 566 18 0 5151 0
vsize: 20676
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 3789 0 0 0 26936 63 0 0 25 0 1 0 794694142 21164032 3763 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5167 3763 566 18 0 5149 0
vsize: 20668
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 3789 0 0 0 27935 65 0 0 25 0 1 0 794694142 21155840 3763 4294967295 134512640 134581267 3221224576 3221223348 1074910621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5165 3763 566 18 0 5147 0
vsize: 20660
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 3789 0 0 0 28933 67 0 0 25 0 1 0 794694142 21139456 3763 4294967295 134512640 134581267 3221224576 3221223520 134558784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5161 3763 566 18 0 5143 0
vsize: 20644
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4061 0 0 0 29929 71 0 0 25 0 1 0 794694142 22319104 4035 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5449 4035 566 18 0 5431 0
vsize: 21796
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4068 0 0 0 30927 73 0 0 25 0 1 0 794694142 22319104 4042 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5449 4042 566 18 0 5431 0
vsize: 21796
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4085 0 0 0 31925 75 0 0 25 0 1 0 794694142 22450176 4059 4294967295 134512640 134581267 3221224576 3221223488 134531368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5481 4059 566 18 0 5463 0
vsize: 21924
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4085 0 0 0 32924 77 0 0 25 0 1 0 794694142 22433792 4059 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5477 4059 566 18 0 5459 0
vsize: 21908
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4085 0 0 0 33923 78 0 0 25 0 1 0 794694142 22429696 4059 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5476 4059 566 18 0 5458 0
vsize: 21904
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4085 0 0 0 34920 81 0 0 25 0 1 0 794694142 22409216 4059 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5471 4059 566 18 0 5453 0
vsize: 21884
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4085 0 0 0 35918 83 0 0 25 0 1 0 794694142 22347776 4059 4294967295 134512640 134581267 3221224576 3221223564 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5456 4059 566 18 0 5438 0
vsize: 21824
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4085 0 0 0 36917 85 0 0 25 0 1 0 794694142 22347776 4059 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5456 4059 566 18 0 5438 0
vsize: 21824
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4085 0 0 0 37915 86 0 0 25 0 1 0 794694142 22335488 4059 4294967295 134512640 134581267 3221224576 3221223440 134528326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5453 4059 566 18 0 5435 0
vsize: 21812
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4085 0 0 0 38913 88 0 0 25 0 1 0 794694142 22335488 4059 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5453 4059 566 18 0 5435 0
vsize: 21812
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4085 0 0 0 39911 91 0 0 25 0 1 0 794694142 22335488 4059 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5453 4059 566 18 0 5435 0
vsize: 21812
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4085 0 0 0 40909 93 0 0 25 0 1 0 794694142 22335488 4059 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5453 4059 566 18 0 5435 0
vsize: 21812
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4085 0 0 0 41907 95 0 0 25 0 1 0 794694142 22335488 4059 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5453 4059 566 18 0 5435 0
vsize: 21812
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4085 0 0 0 42906 97 0 0 25 0 1 0 794694142 22335488 4059 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5453 4059 566 18 0 5435 0
vsize: 21812
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4085 0 0 0 43903 99 0 0 25 0 1 0 794694142 22335488 4059 4294967295 134512640 134581267 3221224576 3221223324 1075285122 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5453 4059 566 18 0 5435 0
vsize: 21812
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4085 0 0 0 44902 101 0 0 25 0 1 0 794694142 22335488 4059 4294967295 134512640 134581267 3221224576 3221223556 134560749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5453 4059 566 18 0 5435 0
vsize: 21812
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4228 0 0 0 45901 102 0 0 25 0 1 0 794694142 22990848 4202 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5613 4202 566 18 0 5595 0
vsize: 22452
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4296 0 0 0 46899 104 0 0 25 0 1 0 794694142 23252992 4270 4294967295 134512640 134581267 3221224576 3221223480 134527743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5677 4270 566 18 0 5659 0
vsize: 22708
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4296 0 0 0 47898 106 0 0 25 0 1 0 794694142 23252992 4270 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5677 4270 566 18 0 5659 0
vsize: 22708
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4298 0 0 0 48896 107 0 0 25 0 1 0 794694142 23252992 4272 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5677 4272 566 18 0 5659 0
vsize: 22708
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4298 0 0 0 49895 109 0 0 25 0 1 0 794694142 23252992 4272 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5677 4272 566 18 0 5659 0
vsize: 22708
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4300 0 0 0 50893 111 0 0 25 0 1 0 794694142 23252992 4274 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5677 4274 566 18 0 5659 0
vsize: 22708
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4301 0 0 0 51891 113 0 0 25 0 1 0 794694142 23252992 4275 4294967295 134512640 134581267 3221224576 3221223472 134517528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5677 4275 566 18 0 5659 0
vsize: 22708
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4301 0 0 0 52890 115 0 0 25 0 1 0 794694142 23252992 4275 4294967295 134512640 134581267 3221224576 3221223292 1075288805 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5677 4275 566 18 0 5659 0
vsize: 22708
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4304 0 0 0 53888 117 0 0 25 0 1 0 794694142 23252992 4278 4294967295 134512640 134581267 3221224576 3221223344 1075288356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5677 4278 566 18 0 5659 0
vsize: 22708
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4304 0 0 0 54886 118 0 0 25 0 1 0 794694142 23252992 4278 4294967295 134512640 134581267 3221224576 3221223612 134565049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5677 4278 566 18 0 5659 0
vsize: 22708
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4312 0 0 0 55885 120 0 0 25 0 1 0 794694142 23384064 4286 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5709 4286 566 18 0 5691 0
vsize: 22836
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4314 0 0 0 56883 122 0 0 25 0 1 0 794694142 23384064 4288 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5709 4288 566 18 0 5691 0
vsize: 22836
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4314 0 0 0 57881 124 0 0 25 0 1 0 794694142 23384064 4288 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5709 4288 566 18 0 5691 0
vsize: 22836
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4314 0 0 0 58879 126 0 0 25 0 1 0 794694142 23384064 4288 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5709 4288 566 18 0 5691 0
vsize: 22836
[startup+600.012 s]
Raw data (loadavg): 1.15 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4315 0 0 0 59878 128 0 0 25 0 1 0 794694142 23384064 4289 4294967295 134512640 134581267 3221224576 3221223488 134531368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5709 4289 566 18 0 5691 0
vsize: 22836
[startup+610.013 s]
Raw data (loadavg): 1.12 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4315 0 0 0 60875 130 0 0 25 0 1 0 794694142 23384064 4289 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5709 4289 566 18 0 5691 0
vsize: 22836
[startup+620.013 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4315 0 0 0 61874 132 0 0 25 0 1 0 794694142 23384064 4289 4294967295 134512640 134581267 3221224576 3221223568 134561073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5709 4289 566 18 0 5691 0
vsize: 22836
[startup+630.013 s]
Raw data (loadavg): 1.09 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4315 0 0 0 62872 134 0 0 25 0 1 0 794694142 23384064 4289 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5709 4289 566 18 0 5691 0
vsize: 22836
[startup+640.013 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4320 0 0 0 63870 136 0 0 25 0 1 0 794694142 23384064 4294 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5709 4294 566 18 0 5691 0
vsize: 22836
[startup+650.013 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4326 0 0 0 64868 139 0 0 25 0 1 0 794694142 23384064 4300 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5709 4300 566 18 0 5691 0
vsize: 22836
[startup+660.014 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4326 0 0 0 65867 140 0 0 25 0 1 0 794694142 23384064 4300 4294967295 134512640 134581267 3221224576 3221223536 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5709 4300 566 18 0 5691 0
vsize: 22836
[startup+670.015 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4326 0 0 0 66866 141 0 0 25 0 1 0 794694142 23384064 4300 4294967295 134512640 134581267 3221224576 3221223352 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5709 4300 566 18 0 5691 0
vsize: 22836
[startup+680.014 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4326 0 0 0 67864 143 0 0 25 0 1 0 794694142 23384064 4300 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5709 4300 566 18 0 5691 0
vsize: 22836
[startup+690.014 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4326 0 0 0 68862 145 0 0 25 0 1 0 794694142 23384064 4300 4294967295 134512640 134581267 3221224576 3221223536 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5709 4300 566 18 0 5691 0
vsize: 22836
[startup+700.015 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4611 0 0 0 69860 147 0 0 25 0 1 0 794694142 24625152 4585 4294967295 134512640 134581267 3221224576 3221223536 134516716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6012 4585 566 18 0 5994 0
vsize: 24048
[startup+710.016 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4611 0 0 0 70859 149 0 0 25 0 1 0 794694142 24625152 4585 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6012 4585 566 18 0 5994 0
vsize: 24048
[startup+720.016 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4611 0 0 0 71858 150 0 0 25 0 1 0 794694142 24584192 4585 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6002 4585 566 18 0 5984 0
vsize: 24008
[startup+730.015 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4614 0 0 0 72856 152 0 0 25 0 1 0 794694142 24584192 4588 4294967295 134512640 134581267 3221224576 3221223352 1075291281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6002 4588 566 18 0 5984 0
vsize: 24008
[startup+740.015 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4624 0 0 0 73855 153 0 0 25 0 1 0 794694142 24584192 4598 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6002 4598 566 18 0 5984 0
vsize: 24008
[startup+750.015 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4634 0 0 0 74854 155 0 0 25 0 1 0 794694142 24711168 4608 4294967295 134512640 134581267 3221224576 3221223536 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6033 4608 566 18 0 6015 0
vsize: 24132
[startup+760.016 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4634 0 0 0 75852 157 0 0 25 0 1 0 794694142 24686592 4608 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6027 4608 566 18 0 6009 0
vsize: 24108
[startup+770.015 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4634 0 0 0 76850 159 0 0 25 0 1 0 794694142 24686592 4608 4294967295 134512640 134581267 3221224576 3221223440 134528312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6027 4608 566 18 0 6009 0
vsize: 24108
[startup+780.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4652 0 0 0 77848 161 0 0 25 0 1 0 794694142 24686592 4626 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6027 4626 566 18 0 6009 0
vsize: 24108
[startup+790.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4697 0 0 0 78846 163 0 0 25 0 1 0 794694142 24948736 4671 4294967295 134512640 134581267 3221224576 3221223520 134558821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6091 4671 566 18 0 6073 0
vsize: 24364
[startup+800.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4697 0 0 0 79845 165 0 0 25 0 1 0 794694142 24948736 4671 4294967295 134512640 134581267 3221224576 3221223440 134528380 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6091 4671 566 18 0 6073 0
vsize: 24364
[startup+810.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4697 0 0 0 80843 166 0 0 25 0 1 0 794694142 24948736 4671 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6091 4671 566 18 0 6073 0
vsize: 24364
[startup+820.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4697 0 0 0 81842 168 0 0 25 0 1 0 794694142 24948736 4671 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6091 4671 566 18 0 6073 0
vsize: 24364
[startup+830.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4697 0 0 0 82840 170 0 0 25 0 1 0 794694142 24948736 4671 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6091 4671 566 18 0 6073 0
vsize: 24364
[startup+840.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4697 0 0 0 83838 172 0 0 25 0 1 0 794694142 24948736 4671 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6091 4671 566 18 0 6073 0
vsize: 24364
[startup+850.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4697 0 0 0 84837 173 0 0 25 0 1 0 794694142 24932352 4671 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6087 4671 566 18 0 6069 0
vsize: 24348
[startup+860.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4697 0 0 0 85836 175 0 0 25 0 1 0 794694142 24932352 4671 4294967295 134512640 134581267 3221224576 3221223520 134558784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6087 4671 566 18 0 6069 0
vsize: 24348
[startup+870.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4697 0 0 0 86834 176 0 0 25 0 1 0 794694142 24932352 4671 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6087 4671 566 18 0 6069 0
vsize: 24348
[startup+880.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4697 0 0 0 87833 178 0 0 25 0 1 0 794694142 24895488 4671 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6078 4671 566 18 0 6060 0
vsize: 24312
[startup+890.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4697 0 0 0 88832 179 0 0 25 0 1 0 794694142 24891392 4671 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6077 4671 566 18 0 6059 0
vsize: 24308
[startup+900.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4697 0 0 0 89830 182 0 0 25 0 1 0 794694142 24887296 4671 4294967295 134512640 134581267 3221224576 3221223352 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6076 4671 566 18 0 6058 0
vsize: 24304
[startup+910.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4697 0 0 0 90828 184 0 0 25 0 1 0 794694142 24887296 4671 4294967295 134512640 134581267 3221224576 3221223536 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6076 4671 566 18 0 6058 0
vsize: 24304
[startup+920.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4697 0 0 0 91826 186 0 0 25 0 1 0 794694142 24887296 4671 4294967295 134512640 134581267 3221224576 3221223440 134527148 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6076 4671 566 18 0 6058 0
vsize: 24304
[startup+930.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4697 0 0 0 92824 188 0 0 25 0 1 0 794694142 24887296 4671 4294967295 134512640 134581267 3221224576 3221223520 134559425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6076 4671 566 18 0 6058 0
vsize: 24304
[startup+940.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4697 0 0 0 93823 190 0 0 25 0 1 0 794694142 24887296 4671 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6076 4671 566 18 0 6058 0
vsize: 24304
[startup+950.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4698 0 0 0 94821 192 0 0 25 0 1 0 794694142 24887296 4672 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6076 4672 566 18 0 6058 0
vsize: 24304
[startup+960.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4698 0 0 0 95818 195 0 0 25 0 1 0 794694142 24887296 4672 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6076 4672 566 18 0 6058 0
vsize: 24304
[startup+970.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4698 0 0 0 96816 196 0 0 25 0 1 0 794694142 24887296 4672 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6076 4672 566 18 0 6058 0
vsize: 24304
[startup+980.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4698 0 0 0 97815 198 0 0 25 0 1 0 794694142 24887296 4672 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6076 4672 566 18 0 6058 0
vsize: 24304
[startup+990.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4698 0 0 0 98813 200 0 0 25 0 1 0 794694142 24887296 4672 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6076 4672 566 18 0 6058 0
vsize: 24304
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4698 0 0 0 99811 202 0 0 25 0 1 0 794694142 24887296 4672 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6076 4672 566 18 0 6058 0
vsize: 24304
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4698 0 0 0 100809 205 0 0 25 0 1 0 794694142 24887296 4672 4294967295 134512640 134581267 3221224576 3221223556 134561052 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6076 4672 566 18 0 6058 0
vsize: 24304
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4698 0 0 0 101807 207 0 0 25 0 1 0 794694142 24887296 4672 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6076 4672 566 18 0 6058 0
vsize: 24304
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4698 0 0 0 102805 209 0 0 25 0 1 0 794694142 24887296 4672 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6076 4672 566 18 0 6058 0
vsize: 24304
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4698 0 0 0 103803 211 0 0 25 0 1 0 794694142 24887296 4672 4294967295 134512640 134581267 3221224576 3221223520 134558791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6076 4672 566 18 0 6058 0
vsize: 24304
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4698 0 0 0 104801 213 0 0 25 0 1 0 794694142 24887296 4672 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6076 4672 566 18 0 6058 0
vsize: 24304
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 4698 0 0 0 105799 215 0 0 25 0 1 0 794694142 24887296 4672 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6076 4672 566 18 0 6058 0
vsize: 24304
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 5010 0 0 0 106798 217 0 0 25 0 1 0 794694142 26198016 4984 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6396 4984 566 18 0 6378 0
vsize: 25584
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 5011 0 0 0 107797 218 0 0 25 0 1 0 794694142 26198016 4985 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6396 4985 566 18 0 6378 0
vsize: 25584
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 5021 0 0 0 108795 220 0 0 25 0 1 0 794694142 26198016 4995 4294967295 134512640 134581267 3221224576 3221223536 134516751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6396 4995 566 18 0 6378 0
vsize: 25584
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 5021 0 0 0 109793 222 0 0 25 0 1 0 794694142 26198016 4995 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6396 4995 566 18 0 6378 0
vsize: 25584
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 5021 0 0 0 110792 224 0 0 25 0 1 0 794694142 26198016 4995 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6396 4995 566 18 0 6378 0
vsize: 25584
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 5021 0 0 0 111790 225 0 0 25 0 1 0 794694142 26198016 4995 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6396 4995 566 18 0 6378 0
vsize: 25584
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 5023 0 0 0 112788 228 0 0 25 0 1 0 794694142 26329088 4997 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6428 4997 566 18 0 6410 0
vsize: 25712
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 5023 0 0 0 113786 230 0 0 25 0 1 0 794694142 26324992 4997 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6427 4997 566 18 0 6409 0
vsize: 25708
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 5023 0 0 0 114785 231 0 0 25 0 1 0 794694142 26300416 4997 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6421 4997 566 18 0 6403 0
vsize: 25684
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 5023 0 0 0 115783 233 0 0 25 0 1 0 794694142 26267648 4997 4294967295 134512640 134581267 3221224576 3221223568 134561090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6413 4997 566 18 0 6395 0
vsize: 25652
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 5023 0 0 0 116781 236 0 0 25 0 1 0 794694142 26267648 4997 4294967295 134512640 134581267 3221224576 3221223440 134528393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6413 4997 566 18 0 6395 0
vsize: 25652
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 5023 0 0 0 117780 236 0 0 25 0 1 0 794694142 26267648 4997 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6413 4997 566 18 0 6395 0
vsize: 25652
[startup+1188.88 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 9462
Raw data (stat): 9462 (Pueblo-v2) R 9461 8378 8377 0 -1 0 5023 0 0 0 117780 236 0 0 25 0 1 0 794694142 26267648 4997 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6413 4997 566 18 0 6395 0
vsize: 0

Child status: 10
Real time (s): 1188.87
CPU time (s): 1189.02
CPU user time (s): 1186.62
CPU system time (s): 2.39764
CPU usage (%): 100.012
Max. virtual memory (Kb): 25712
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	31083
#### END VERIFIER DATA ####