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-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-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.07284
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 39182

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-02 22:40:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27248 boxname=wulflinc1 idbench=1376 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  f2badf1ad4c3213045697b74fa812a03  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-p2756.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-p2756.opb
IDLAUNCH: 27248
/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:        379636 kB
Buffers:         32160 kB
Cached:         598688 kB
SwapCached:        668 kB
Active:          39120 kB
Inactive:       593976 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        379384 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5824 kB
Slab:            16092 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 23:00:37 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 27248 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-13-7-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 2/55 14404
Raw data (stat): 14404 (runsolver) R 14403 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 796606381 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 2075 0 0 0 991 7 0 0 25 0 1 0 796606381 14225408 2049 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3473 2049 566 18 0 3455 0
vsize: 13892
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 2453 0 0 0 1988 11 0 0 25 0 1 0 796606381 15667200 2427 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3825 2427 566 18 0 3807 0
vsize: 15300
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 2625 0 0 0 2986 13 0 0 25 0 1 0 796606381 16478208 2599 4294967295 134512640 134581267 3221224576 3221223520 134558912 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.0011 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 2747 0 0 0 3983 16 0 0 25 0 1 0 796606381 16871424 2721 4294967295 134512640 134581267 3221224576 3221223440 134528390 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4119 2721 566 18 0 4101 0
vsize: 16476
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 2790 0 0 0 4979 20 0 0 25 0 1 0 796606381 17133568 2764 4294967295 134512640 134581267 3221224576 3221223504 134519952 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.0017 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 2970 0 0 0 5977 23 0 0 25 0 1 0 796606381 17788928 2944 4294967295 134512640 134581267 3221224576 3221223488 134527407 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.0015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 2973 0 0 0 6974 26 0 0 25 0 1 0 796606381 17788928 2947 4294967295 134512640 134581267 3221224576 3221223504 134520084 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.0023 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 2977 0 0 0 7971 29 0 0 25 0 1 0 796606381 17920000 2951 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 3191 0 0 0 8968 32 0 0 25 0 1 0 796606381 18702336 3165 4294967295 134512640 134581267 3221224576 3221223488 134527510 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.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 3199 0 0 0 9966 34 0 0 25 0 1 0 796606381 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.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 3199 0 0 0 10964 36 0 0 25 0 1 0 796606381 18812928 3173 4294967295 134512640 134581267 3221224576 3221223568 134561090 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 3199 0 0 0 11962 39 0 0 25 0 1 0 796606381 18812928 3173 4294967295 134512640 134581267 3221224576 3221223552 134561060 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 3504 0 0 0 12959 42 0 0 25 0 1 0 796606381 19992576 3478 4294967295 134512640 134581267 3221224576 3221223488 134527531 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 3511 0 0 0 13957 43 0 0 25 0 1 0 796606381 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+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 3511 0 0 0 14954 47 0 0 25 0 1 0 796606381 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+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 3511 0 0 0 15953 48 0 0 25 0 1 0 796606381 19992576 3485 4294967295 134512640 134581267 3221224576 3221223488 134527407 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 3511 0 0 0 16951 50 0 0 25 0 1 0 796606381 19992576 3485 4294967295 134512640 134581267 3221224576 3221223440 134528235 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 3511 0 0 0 17949 53 0 0 25 0 1 0 796606381 19992576 3485 4294967295 134512640 134581267 3221224576 3221223440 134528312 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 3511 0 0 0 18947 54 0 0 25 0 1 0 796606381 19992576 3485 4294967295 134512640 134581267 3221224576 3221223520 134559412 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 3707 0 0 0 19945 57 0 0 25 0 1 0 796606381 20910080 3681 4294967295 134512640 134581267 3221224576 3221223488 134528056 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 3720 0 0 0 20943 59 0 0 25 0 1 0 796606381 20910080 3694 4294967295 134512640 134581267 3221224576 3221223440 134528222 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 3733 0 0 0 21941 61 0 0 25 0 1 0 796606381 20910080 3707 4294967295 134512640 134581267 3221224576 3221223568 134561073 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 3772 0 0 0 22940 63 0 0 25 0 1 0 796606381 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 3789 0 0 0 23937 66 0 0 25 0 1 0 796606381 21172224 3763 4294967295 134512640 134581267 3221224576 3221223488 134527407 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 3789 0 0 0 24935 68 0 0 25 0 1 0 796606381 21172224 3763 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 3789 0 0 0 25933 69 0 0 25 0 1 0 796606381 21172224 3763 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 3789 0 0 0 26932 71 0 0 25 0 1 0 796606381 21164032 3763 4294967295 134512640 134581267 3221224576 3221223440 134528226 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 3789 0 0 0 27930 73 0 0 25 0 1 0 796606381 21155840 3763 4294967295 134512640 134581267 3221224576 3221223520 134558815 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 3789 0 0 0 28928 75 0 0 25 0 1 0 796606381 21139456 3763 4294967295 134512640 134581267 3221224576 3221223440 134528318 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4061 0 0 0 29925 78 0 0 25 0 1 0 796606381 22319104 4035 4294967295 134512640 134581267 3221224576 3221223504 134519947 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4068 0 0 0 30924 80 0 0 25 0 1 0 796606381 22319104 4042 4294967295 134512640 134581267 3221224576 3221223520 134559425 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4085 0 0 0 31922 82 0 0 25 0 1 0 796606381 22450176 4059 4294967295 134512640 134581267 3221224576 3221223504 134519928 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4085 0 0 0 32920 84 0 0 25 0 1 0 796606381 22433792 4059 4294967295 134512640 134581267 3221224576 3221223488 134527695 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4085 0 0 0 33919 85 0 0 25 0 1 0 796606381 22429696 4059 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4085 0 0 0 34916 88 0 0 25 0 1 0 796606381 22409216 4059 4294967295 134512640 134581267 3221224576 3221223568 134561043 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4085 0 0 0 35915 90 0 0 25 0 1 0 796606381 22347776 4059 4294967295 134512640 134581267 3221224576 3221223504 134520084 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4085 0 0 0 36912 92 0 0 25 0 1 0 796606381 22347776 4059 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4085 0 0 0 37911 94 0 0 25 0 1 0 796606381 22335488 4059 4294967295 134512640 134581267 3221224576 3221223488 134527920 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4085 0 0 0 38909 96 0 0 25 0 1 0 796606381 22335488 4059 4294967295 134512640 134581267 3221224576 3221223504 134519877 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4085 0 0 0 39907 98 0 0 25 0 1 0 796606381 22335488 4059 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5453 4059 566 18 0 5435 0
vsize: 21812
[startup+410.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4085 0 0 0 40906 99 0 0 25 0 1 0 796606381 22335488 4059 4294967295 134512640 134581267 3221224576 3221223472 134517838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5453 4059 566 18 0 5435 0
vsize: 21812
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4085 0 0 0 41903 101 0 0 25 0 1 0 796606381 22335488 4059 4294967295 134512640 134581267 3221224576 3221223504 134519928 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4085 0 0 0 42900 104 0 0 25 0 1 0 796606381 22335488 4059 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4085 0 0 0 43898 107 0 0 25 0 1 0 796606381 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+450.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4085 0 0 0 44896 109 0 0 25 0 1 0 796606381 22335488 4059 4294967295 134512640 134581267 3221224576 3221223504 134519928 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4291 0 0 0 45894 112 0 0 25 0 1 0 796606381 23252992 4265 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5677 4265 566 18 0 5659 0
vsize: 22708
[startup+470.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4296 0 0 0 46892 114 0 0 25 0 1 0 796606381 23252992 4270 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4296 0 0 0 47890 116 0 0 25 0 1 0 796606381 23252992 4270 4294967295 134512640 134581267 3221224576 3221223472 134517809 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4298 0 0 0 48889 117 0 0 25 0 1 0 796606381 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4298 0 0 0 49886 120 0 0 25 0 1 0 796606381 23252992 4272 4294967295 134512640 134581267 3221224576 3221223440 134528238 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4300 0 0 0 50885 121 0 0 25 0 1 0 796606381 23252992 4274 4294967295 134512640 134581267 3221224576 3221223504 134519952 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4301 0 0 0 51883 124 0 0 25 0 1 0 796606381 23252992 4275 4294967295 134512640 134581267 3221224576 3221223504 134519928 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4301 0 0 0 52881 125 0 0 25 0 1 0 796606381 23252992 4275 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4304 0 0 0 53879 128 0 0 25 0 1 0 796606381 23252992 4278 4294967295 134512640 134581267 3221224576 3221223488 134527695 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4304 0 0 0 54878 129 0 0 25 0 1 0 796606381 23252992 4278 4294967295 134512640 134581267 3221224576 3221223504 134519947 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4312 0 0 0 55876 131 0 0 25 0 1 0 796606381 23384064 4286 4294967295 134512640 134581267 3221224576 3221223568 134561045 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.004 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4314 0 0 0 56875 132 0 0 25 0 1 0 796606381 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+580.005 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4314 0 0 0 57873 134 0 0 25 0 1 0 796606381 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.004 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4314 0 0 0 58870 137 0 0 25 0 1 0 796606381 23384064 4288 4294967295 134512640 134581267 3221224576 3221223472 134517615 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.005 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4315 0 0 0 59869 138 0 0 25 0 1 0 796606381 23384064 4289 4294967295 134512640 134581267 3221224576 3221223440 134528321 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.005 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4315 0 0 0 60868 140 0 0 25 0 1 0 796606381 23384064 4289 4294967295 134512640 134581267 3221224576 3221223504 134520076 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.005 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4315 0 0 0 61865 143 0 0 25 0 1 0 796606381 23384064 4289 4294967295 134512640 134581267 3221224576 3221223472 134517617 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.005 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4315 0 0 0 62864 144 0 0 25 0 1 0 796606381 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.006 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4320 0 0 0 63862 146 0 0 25 0 1 0 796606381 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.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4326 0 0 0 64861 147 0 0 25 0 1 0 796606381 23384064 4300 4294967295 134512640 134581267 3221224576 3221223440 134560372 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.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4326 0 0 0 65860 149 0 0 25 0 1 0 796606381 23384064 4300 4294967295 134512640 134581267 3221224576 3221223568 134561104 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.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4326 0 0 0 66859 150 0 0 25 0 1 0 796606381 23384064 4300 4294967295 134512640 134581267 3221224576 3221223504 134519958 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.005 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4326 0 0 0 67858 152 0 0 25 0 1 0 796606381 23384064 4300 4294967295 134512640 134581267 3221224576 3221223520 134558798 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.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4326 0 0 0 68856 153 0 0 25 0 1 0 796606381 23384064 4300 4294967295 134512640 134581267 3221224576 3221223472 134517767 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.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4611 0 0 0 69854 155 0 0 25 0 1 0 796606381 24625152 4585 4294967295 134512640 134581267 3221224576 3221223520 134558815 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.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4611 0 0 0 70852 158 0 0 25 0 1 0 796606381 24625152 4585 4294967295 134512640 134581267 3221224576 3221223504 134519947 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.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4611 0 0 0 71850 160 0 0 25 0 1 0 796606381 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.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4614 0 0 0 72848 162 0 0 25 0 1 0 796606381 24584192 4588 4294967295 134512640 134581267 3221224576 3221223520 134558775 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.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4624 0 0 0 73847 164 0 0 25 0 1 0 796606381 24584192 4598 4294967295 134512640 134581267 3221224576 3221223504 134519947 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.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4634 0 0 0 74845 165 0 0 25 0 1 0 796606381 24702976 4608 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6031 4608 566 18 0 6013 0
vsize: 24124
[startup+760.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4634 0 0 0 75844 167 0 0 25 0 1 0 796606381 24686592 4608 4294967295 134512640 134581267 3221224576 3221223456 134520266 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.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4634 0 0 0 76842 169 0 0 25 0 1 0 796606381 24686592 4608 4294967295 134512640 134581267 3221224576 3221223504 134519958 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.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4652 0 0 0 77840 171 0 0 25 0 1 0 796606381 24686592 4626 4294967295 134512640 134581267 3221224576 3221223488 134527932 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.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4697 0 0 0 78839 173 0 0 25 0 1 0 796606381 24948736 4671 4294967295 134512640 134581267 3221224576 3221223504 134519931 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.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4697 0 0 0 79837 174 0 0 25 0 1 0 796606381 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+810.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4697 0 0 0 80836 176 0 0 25 0 1 0 796606381 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+820.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4697 0 0 0 81834 178 0 0 25 0 1 0 796606381 24948736 4671 4294967295 134512640 134581267 3221224576 3221223504 134519928 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.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4697 0 0 0 82832 180 0 0 25 0 1 0 796606381 24948736 4671 4294967295 134512640 134581267 3221224576 3221223504 134519869 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.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4697 0 0 0 83831 181 0 0 25 0 1 0 796606381 24932352 4671 4294967295 134512640 134581267 3221224576 3221223536 134516723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6087 4671 566 18 0 6069 0
vsize: 24348
[startup+850.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4697 0 0 0 84829 183 0 0 25 0 1 0 796606381 24932352 4671 4294967295 134512640 134581267 3221224576 3221223504 134519958 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.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4697 0 0 0 85828 185 0 0 25 0 1 0 796606381 24932352 4671 4294967295 134512640 134581267 3221224576 3221223488 134531369 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.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4697 0 0 0 86826 187 0 0 25 0 1 0 796606381 24932352 4671 4294967295 134512640 134581267 3221224576 3221223440 134528222 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.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4697 0 0 0 87824 189 0 0 25 0 1 0 796606381 24895488 4671 4294967295 134512640 134581267 3221224576 3221223440 134528390 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.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4697 0 0 0 88824 189 0 0 25 0 1 0 796606381 24891392 4671 4294967295 134512640 134581267 3221224576 3221223520 134558775 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.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4697 0 0 0 89822 191 0 0 25 0 1 0 796606381 24887296 4671 4294967295 134512640 134581267 3221224576 3221223504 134519931 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.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4697 0 0 0 90821 193 0 0 25 0 1 0 796606381 24887296 4671 4294967295 134512640 134581267 3221224576 3221223568 134561045 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.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4697 0 0 0 91819 195 0 0 25 0 1 0 796606381 24887296 4671 4294967295 134512640 134581267 3221224576 3221223488 134528047 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.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4697 0 0 0 92817 197 0 0 25 0 1 0 796606381 24887296 4671 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4697 0 0 0 93816 199 0 0 25 0 1 0 796606381 24887296 4671 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4698 0 0 0 94813 201 0 0 25 0 1 0 796606381 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+960.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4698 0 0 0 95812 203 0 0 25 0 1 0 796606381 24887296 4672 4294967295 134512640 134581267 3221224576 3221223568 134561094 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.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4698 0 0 0 96810 204 0 0 25 0 1 0 796606381 24887296 4672 4294967295 134512640 134581267 3221224576 3221223520 134558815 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.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4698 0 0 0 97809 206 0 0 25 0 1 0 796606381 24887296 4672 4294967295 134512640 134581267 3221224576 3221223440 134528340 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.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4698 0 0 0 98808 207 0 0 25 0 1 0 796606381 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+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4698 0 0 0 99807 209 0 0 25 0 1 0 796606381 24887296 4672 4294967295 134512640 134581267 3221224576 3221223540 134519893 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.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4698 0 0 0 100806 210 0 0 25 0 1 0 796606381 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+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4698 0 0 0 101804 212 0 0 25 0 1 0 796606381 24887296 4672 4294967295 134512640 134581267 3221224576 3221223440 134528179 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 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4698 0 0 0 102802 214 0 0 25 0 1 0 796606381 24887296 4672 4294967295 134512640 134581267 3221224576 3221223440 134527118 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.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4698 0 0 0 103800 216 0 0 25 0 1 0 796606381 24887296 4672 4294967295 134512640 134581267 3221224576 3221223344 1075289603 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 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4698 0 0 0 104797 219 0 0 25 0 1 0 796606381 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 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 4698 0 0 0 105796 220 0 0 25 0 1 0 796606381 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+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 5010 0 0 0 106794 223 0 0 25 0 1 0 796606381 26198016 4984 4294967295 134512640 134581267 3221224576 3221223504 134519924 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 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 5011 0 0 0 107792 225 0 0 25 0 1 0 796606381 26198016 4985 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 5021 0 0 0 108791 227 0 0 25 0 1 0 796606381 26198016 4995 4294967295 134512640 134581267 3221224576 3221223440 134528393 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 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 5021 0 0 0 109788 230 0 0 25 0 1 0 796606381 26198016 4995 4294967295 134512640 134581267 3221224576 3221223504 134519928 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 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 5021 0 0 0 110786 231 0 0 25 0 1 0 796606381 26198016 4995 4294967295 134512640 134581267 3221224576 3221223536 134516716 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 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 5021 0 0 0 111785 233 0 0 25 0 1 0 796606381 26198016 4995 4294967295 134512640 134581267 3221224576 3221223504 134520076 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 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 5023 0 0 0 112783 235 0 0 25 0 1 0 796606381 26329088 4997 4294967295 134512640 134581267 3221224576 3221223488 134528056 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 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 5023 0 0 0 113781 237 0 0 25 0 1 0 796606381 26324992 4997 4294967295 134512640 134581267 3221224576 3221223504 134519928 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 0.99 0.91 2/55 14404
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 5023 0 0 0 114779 239 0 0 25 0 1 0 796606381 26300416 4997 4294967295 134512640 134581267 3221224576 3221223440 134528352 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 0.99 0.91 2/55 14457
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 5023 0 0 0 115778 241 0 0 25 0 1 0 796606381 26267648 4997 4294967295 134512640 134581267 3221224576 3221223440 134528243 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 0.99 0.91 2/55 14457
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 5023 0 0 0 116776 243 0 0 25 0 1 0 796606381 26267648 4997 4294967295 134512640 134581267 3221224576 3221223520 134558798 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 0.99 0.91 2/55 14457
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 5023 0 0 0 117774 245 0 0 25 0 1 0 796606381 26267648 4997 4294967295 134512640 134581267 3221224576 3221223568 134561045 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.85 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 14457
Raw data (stat): 14404 (Pueblo-v2) R 14403 8378 8377 0 -1 0 5023 0 0 0 117774 245 0 0 25 0 1 0 796606381 26267648 4997 4294967295 134512640 134581267 3221224576 3221223568 134561045 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.85
CPU time (s): 1189.02
CPU user time (s): 1186.55
CPU system time (s): 2.47462
CPU usage (%): 100.015
Max. virtual memory (Kb): 25712
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	31083
#### END VERIFIER DATA ####