Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-p2756.opb
MD5SUMf2badf1ad4c3213045697b74fa812a03
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4457
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 numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1227.23
Number of variables2756
Total number of constraints3511
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)2976
Number of constraints which are nor clauses,nor cardinality constraints403
Minimum length of a constraint1
Maximum length of a constraint546

Trace number 8532

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-20 16:50:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5661 boxname=wulflinc7 idbench=973 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  f2badf1ad4c3213045697b74fa812a03  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-p2756.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5661
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        837184 kB
Buffers:         32876 kB
Cached:         139644 kB
SwapCached:        744 kB
Active:          76604 kB
Inactive:        98548 kB
HighTotal:      131008 kB
HighFree:         2604 kB
LowTotal:       903652 kB
LowFree:        834580 kB
SwapTotal:     2097136 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            16772 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 17:09:58 (client local time) WITH STATUS 10 IN 1189.03 SECONDS
stats: 5661 0 1189.03 10

Solver Data

c Pueblo version 1.3 (July 2005)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c starting to Solve
c #variables read: 2756 - #constraints read: 3512
c total time              : 1189.01 s
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 

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801904546 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19433/statm): 41 3 40 18 0 23 0
[pid=19433] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0041 s]
Raw data (loadavg): 0.93 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 1344 0 0 0 952 19 0 0 25 0 1 0 1801904546 7163904 1310 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 1749 1310 566 18 0 1731 0
[pid=19433] vsize: 6996
Current children cumulated CPU time (s) 9.71
Current children cumulated vsize (Kb) 6996

[startup+20.0047 s]
Raw data (loadavg): 0.94 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 1783 0 0 0 1938 24 0 0 25 0 1 0 1801904546 8876032 1749 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 2167 1749 566 18 0 2149 0
[pid=19433] vsize: 8668
Current children cumulated CPU time (s) 19.62
Current children cumulated vsize (Kb) 8668

[startup+30.0053 s]
Raw data (loadavg): 0.95 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 1783 0 0 0 2924 29 0 0 25 0 1 0 1801904546 8876032 1749 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 2167 1749 566 18 0 2149 0
[pid=19433] vsize: 8668
Current children cumulated CPU time (s) 29.53
Current children cumulated vsize (Kb) 8668

[startup+40.006 s]
Raw data (loadavg): 0.96 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 1965 0 0 0 3913 34 0 0 25 0 1 0 1801904546 9662464 1931 4294967295 134512640 134578447 3221224624 3221223504 134527891 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19433/statm): 2359 1931 566 18 0 2341 0
[pid=19433] vsize: 9436
Current children cumulated CPU time (s) 39.47
Current children cumulated vsize (Kb) 9436

[startup+50.0066 s]
Raw data (loadavg): 0.96 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2210 0 0 0 4900 40 0 0 25 0 1 0 1801904546 10711040 2176 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 2615 2176 566 18 0 2597 0
[pid=19433] vsize: 10460
Current children cumulated CPU time (s) 49.4
Current children cumulated vsize (Kb) 10460

[startup+60.0072 s]
Raw data (loadavg): 0.97 0.98 0.95 1/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) T 19432 19433 15400 0 -1 0 2312 0 0 0 5882 46 0 0 25 0 1 0 1801904546 11104256 2278 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19433/statm): 2711 2278 566 18 0 2693 0
[pid=19433] vsize: 10844
Current children cumulated CPU time (s) 59.28
Current children cumulated vsize (Kb) 10844

[startup+70.0079 s]
Raw data (loadavg): 0.97 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2453 0 0 0 6871 50 0 0 25 0 1 0 1801904546 11628544 2419 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 2839 2419 566 18 0 2821 0
[pid=19433] vsize: 11356
Current children cumulated CPU time (s) 69.21
Current children cumulated vsize (Kb) 11356

[startup+80.0075 s]
Raw data (loadavg): 0.98 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2620 0 0 0 7859 54 0 0 25 0 1 0 1801904546 12288000 2586 4294967295 134512640 134578447 3221224624 3221223504 134527739 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3000 2586 566 18 0 2982 0
[pid=19433] vsize: 12000
Current children cumulated CPU time (s) 79.13
Current children cumulated vsize (Kb) 12000

[startup+90.0081 s]
Raw data (loadavg): 0.98 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2644 0 0 0 8832 63 0 0 25 0 1 0 1801904546 12419072 2610 4294967295 134512640 134578447 3221224624 3221223504 134527728 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19433/statm): 3032 2610 566 18 0 3014 0
[pid=19433] vsize: 12128
Current children cumulated CPU time (s) 88.95
Current children cumulated vsize (Kb) 12128

[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2644 0 0 0 9810 71 0 0 25 0 1 0 1801904546 12419072 2610 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3032 2610 566 18 0 3014 0
[pid=19433] vsize: 12128
Current children cumulated CPU time (s) 98.81
Current children cumulated vsize (Kb) 12128

[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2644 0 0 0 10794 76 0 0 25 0 1 0 1801904546 12419072 2610 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3032 2610 566 18 0 3014 0
[pid=19433] vsize: 12128
Current children cumulated CPU time (s) 108.7
Current children cumulated vsize (Kb) 12128

[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2644 0 0 0 11789 78 0 0 25 0 1 0 1801904546 12419072 2610 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3032 2610 566 18 0 3014 0
[pid=19433] vsize: 12128
Current children cumulated CPU time (s) 118.67
Current children cumulated vsize (Kb) 12128

[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2644 0 0 0 12780 82 0 0 25 0 1 0 1801904546 12419072 2610 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3032 2610 566 18 0 3014 0
[pid=19433] vsize: 12128
Current children cumulated CPU time (s) 128.62
Current children cumulated vsize (Kb) 12128

[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2644 0 0 0 13753 91 0 0 25 0 1 0 1801904546 12419072 2610 4294967295 134512640 134578447 3221224624 3221223504 134527790 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3032 2610 566 18 0 3014 0
[pid=19433] vsize: 12128
Current children cumulated CPU time (s) 138.44
Current children cumulated vsize (Kb) 12128

[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2644 0 0 0 14735 97 0 0 25 0 1 0 1801904546 12419072 2610 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3032 2610 566 18 0 3014 0
[pid=19433] vsize: 12128
Current children cumulated CPU time (s) 148.32
Current children cumulated vsize (Kb) 12128

[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2644 0 0 0 15716 103 0 0 25 0 1 0 1801904546 12419072 2610 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3032 2610 566 18 0 3014 0
[pid=19433] vsize: 12128
Current children cumulated CPU time (s) 158.19
Current children cumulated vsize (Kb) 12128

[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2644 0 0 0 16696 111 0 0 25 0 1 0 1801904546 12419072 2610 4294967295 134512640 134578447 3221224624 3221223456 134528371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3032 2610 566 18 0 3014 0
[pid=19433] vsize: 12128
Current children cumulated CPU time (s) 168.07
Current children cumulated vsize (Kb) 12128

[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2644 0 0 0 17673 118 0 0 25 0 1 0 1801904546 12419072 2610 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19433/statm): 3032 2610 566 18 0 3014 0
[pid=19433] vsize: 12128
Current children cumulated CPU time (s) 177.91
Current children cumulated vsize (Kb) 12128

[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.95 1/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) T 19432 19433 15400 0 -1 0 2644 0 0 0 18657 125 0 0 25 0 1 0 1801904546 12419072 2610 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3032 2610 566 18 0 3014 0
[pid=19433] vsize: 12128
Current children cumulated CPU time (s) 187.82
Current children cumulated vsize (Kb) 12128

[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) T 19432 19433 15400 0 -1 0 2644 0 0 0 19629 134 0 0 25 0 1 0 1801904546 12419072 2610 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3032 2610 566 18 0 3014 0
[pid=19433] vsize: 12128
Current children cumulated CPU time (s) 197.63
Current children cumulated vsize (Kb) 12128

[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2644 0 0 0 20607 143 0 0 25 0 1 0 1801904546 12419072 2610 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3032 2610 566 18 0 3014 0
[pid=19433] vsize: 12128
Current children cumulated CPU time (s) 207.5
Current children cumulated vsize (Kb) 12128

[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2644 0 0 0 21590 150 0 0 25 0 1 0 1801904546 12419072 2610 4294967295 134512640 134578447 3221224624 3221223456 134528362 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3032 2610 566 18 0 3014 0
[pid=19433] vsize: 12128
Current children cumulated CPU time (s) 217.4
Current children cumulated vsize (Kb) 12128

[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2677 0 0 0 22575 156 0 0 25 0 1 0 1801904546 12550144 2643 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3064 2643 566 18 0 3046 0
[pid=19433] vsize: 12256
Current children cumulated CPU time (s) 227.31
Current children cumulated vsize (Kb) 12256

[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2715 0 0 0 23560 161 0 0 25 0 1 0 1801904546 12681216 2681 4294967295 134512640 134578447 3221224624 3221223456 134528418 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3096 2681 566 18 0 3078 0
[pid=19433] vsize: 12384
Current children cumulated CPU time (s) 237.21
Current children cumulated vsize (Kb) 12384

[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.95 1/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) T 19432 19433 15400 0 -1 0 2822 0 0 0 24546 166 0 0 25 0 1 0 1801904546 13205504 2788 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2788 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 247.12
Current children cumulated vsize (Kb) 12896

[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2830 0 0 0 25534 169 0 0 25 0 1 0 1801904546 13205504 2796 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2796 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 257.03
Current children cumulated vsize (Kb) 12896

[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2830 0 0 0 26518 175 0 0 25 0 1 0 1801904546 13205504 2796 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2796 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 266.93
Current children cumulated vsize (Kb) 12896

[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2830 0 0 0 27505 179 0 0 25 0 1 0 1801904546 13205504 2796 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2796 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 276.84
Current children cumulated vsize (Kb) 12896

[startup+290.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2830 0 0 0 28491 185 0 0 25 0 1 0 1801904546 13205504 2796 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2796 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 286.76
Current children cumulated vsize (Kb) 12896

[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2830 0 0 0 29477 190 0 0 25 0 1 0 1801904546 13205504 2796 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2796 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 296.67
Current children cumulated vsize (Kb) 12896

[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2830 0 0 0 30461 197 0 0 25 0 1 0 1801904546 13205504 2796 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2796 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 306.58
Current children cumulated vsize (Kb) 12896

[startup+320.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2830 0 0 0 31447 201 0 0 25 0 1 0 1801904546 13205504 2796 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2796 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 316.48
Current children cumulated vsize (Kb) 12896

[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2830 0 0 0 32436 206 0 0 25 0 1 0 1801904546 13205504 2796 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2796 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 326.42
Current children cumulated vsize (Kb) 12896

[startup+340.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2831 0 0 0 33426 210 0 0 25 0 1 0 1801904546 13205504 2797 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2797 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 336.36
Current children cumulated vsize (Kb) 12896

[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2831 0 0 0 34414 214 0 0 25 0 1 0 1801904546 13205504 2797 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2797 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 346.28
Current children cumulated vsize (Kb) 12896

[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2831 0 0 0 35399 218 0 0 25 0 1 0 1801904546 13205504 2797 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2797 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 356.17
Current children cumulated vsize (Kb) 12896

[startup+370.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2831 0 0 0 36386 223 0 0 25 0 1 0 1801904546 13205504 2797 4294967295 134512640 134578447 3221224624 3221223504 134527733 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2797 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 366.09
Current children cumulated vsize (Kb) 12896

[startup+380.015 s]
Raw data (loadavg): 0.99 0.98 0.95 1/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) T 19432 19433 15400 0 -1 0 2831 0 0 0 37375 229 0 0 25 0 1 0 1801904546 13205504 2797 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2797 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 376.04
Current children cumulated vsize (Kb) 12896

[startup+390.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2831 0 0 0 38363 233 0 0 25 0 1 0 1801904546 13205504 2797 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19433/statm): 3224 2797 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 385.96
Current children cumulated vsize (Kb) 12896

[startup+400.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2831 0 0 0 39350 237 0 0 25 0 1 0 1801904546 13205504 2797 4294967295 134512640 134578447 3221224624 3221223504 134527723 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19433/statm): 3224 2797 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 395.87
Current children cumulated vsize (Kb) 12896

[startup+410.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2831 0 0 0 40337 242 0 0 25 0 1 0 1801904546 13205504 2797 4294967295 134512640 134578447 3221224624 3221223504 134527723 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2797 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 405.79
Current children cumulated vsize (Kb) 12896

[startup+420.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2831 0 0 0 41326 246 0 0 25 0 1 0 1801904546 13205504 2797 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2797 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 415.72
Current children cumulated vsize (Kb) 12896

[startup+430.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2831 0 0 0 42315 249 0 0 25 0 1 0 1801904546 13205504 2797 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2797 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 425.64
Current children cumulated vsize (Kb) 12896

[startup+440.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2831 0 0 0 43305 252 0 0 25 0 1 0 1801904546 13205504 2797 4294967295 134512640 134578447 3221224624 3221223504 134527730 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2797 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 435.57
Current children cumulated vsize (Kb) 12896

[startup+450.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2831 0 0 0 44291 257 0 0 25 0 1 0 1801904546 13205504 2797 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2797 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 445.48
Current children cumulated vsize (Kb) 12896

[startup+460.016 s]
Raw data (loadavg): 0.99 0.98 0.95 1/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) T 19432 19433 15400 0 -1 0 2831 0 0 0 45282 261 0 0 25 0 1 0 1801904546 13205504 2797 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2797 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 455.43
Current children cumulated vsize (Kb) 12896

[startup+470.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2831 0 0 0 46272 265 0 0 25 0 1 0 1801904546 13205504 2797 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2797 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 465.37
Current children cumulated vsize (Kb) 12896

[startup+480.016 s]
Raw data (loadavg): 0.99 0.98 0.95 1/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) T 19432 19433 15400 0 -1 0 2831 0 0 0 47259 270 0 0 25 0 1 0 1801904546 13205504 2797 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2797 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 475.29
Current children cumulated vsize (Kb) 12896

[startup+490.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2831 0 0 0 48241 276 0 0 25 0 1 0 1801904546 13205504 2797 4294967295 134512640 134578447 3221224624 3221223504 134527733 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3224 2797 566 18 0 3206 0
[pid=19433] vsize: 12896
Current children cumulated CPU time (s) 485.17
Current children cumulated vsize (Kb) 12896

[startup+500.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2876 0 0 0 49232 280 0 0 25 0 1 0 1801904546 13340672 2842 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3257 2842 566 18 0 3239 0
[pid=19433] vsize: 13028
Current children cumulated CPU time (s) 495.12
Current children cumulated vsize (Kb) 13028

[startup+510.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2959 0 0 0 50221 284 0 0 25 0 1 0 1801904546 13737984 2925 4294967295 134512640 134578447 3221224624 3221223456 134528332 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3354 2925 566 18 0 3336 0
[pid=19433] vsize: 13416
Current children cumulated CPU time (s) 505.05
Current children cumulated vsize (Kb) 13416

[startup+520.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 2981 0 0 0 51212 288 0 0 25 0 1 0 1801904546 13869056 2947 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3386 2947 566 18 0 3368 0
[pid=19433] vsize: 13544
Current children cumulated CPU time (s) 515
Current children cumulated vsize (Kb) 13544

[startup+530.017 s]
Raw data (loadavg): 0.99 0.98 0.95 1/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) T 19432 19433 15400 0 -1 0 3223 0 0 0 52202 293 0 0 25 0 1 0 1801904546 14786560 3189 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3610 3189 566 18 0 3592 0
[pid=19433] vsize: 14440
Current children cumulated CPU time (s) 524.95
Current children cumulated vsize (Kb) 14440

[startup+540.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3223 0 0 0 53194 296 0 0 25 0 1 0 1801904546 14786560 3189 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3610 3189 566 18 0 3592 0
[pid=19433] vsize: 14440
Current children cumulated CPU time (s) 534.9
Current children cumulated vsize (Kb) 14440

[startup+550.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3223 0 0 0 54182 300 0 0 25 0 1 0 1801904546 14786560 3189 4294967295 134512640 134578447 3221224624 3221223456 134528397 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3610 3189 566 18 0 3592 0
[pid=19433] vsize: 14440
Current children cumulated CPU time (s) 544.82
Current children cumulated vsize (Kb) 14440

[startup+560.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3223 0 0 0 55169 305 0 0 25 0 1 0 1801904546 14786560 3189 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3610 3189 566 18 0 3592 0
[pid=19433] vsize: 14440
Current children cumulated CPU time (s) 554.74
Current children cumulated vsize (Kb) 14440

[startup+570.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3223 0 0 0 56156 310 0 0 25 0 1 0 1801904546 14786560 3189 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3610 3189 566 18 0 3592 0
[pid=19433] vsize: 14440
Current children cumulated CPU time (s) 564.66
Current children cumulated vsize (Kb) 14440

[startup+580.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3223 0 0 0 57142 316 0 0 25 0 1 0 1801904546 14786560 3189 4294967295 134512640 134578447 3221224624 3221223456 134527234 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3610 3189 566 18 0 3592 0
[pid=19433] vsize: 14440
Current children cumulated CPU time (s) 574.58
Current children cumulated vsize (Kb) 14440

[startup+590.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3223 0 0 0 58127 321 0 0 25 0 1 0 1801904546 14786560 3189 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3610 3189 566 18 0 3592 0
[pid=19433] vsize: 14440
Current children cumulated CPU time (s) 584.48
Current children cumulated vsize (Kb) 14440

[startup+600.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19433
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3223 0 0 0 59112 328 0 0 25 0 1 0 1801904546 14786560 3189 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3610 3189 566 18 0 3592 0
[pid=19433] vsize: 14440
Current children cumulated CPU time (s) 594.4
Current children cumulated vsize (Kb) 14440

[startup+610.02 s]
Raw data (loadavg): 0.99 0.98 0.95 1/56 19488
Raw data (/proc/19433/stat): 19433 (Pueblo) T 19432 19433 15400 0 -1 0 3223 0 0 0 60082 346 0 0 25 0 1 0 1801904546 14786560 3189 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3610 3189 566 18 0 3592 0
[pid=19433] vsize: 14440
Current children cumulated CPU time (s) 604.28
Current children cumulated vsize (Kb) 14440

[startup+620.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19488
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3223 0 0 0 61066 352 0 0 25 0 1 0 1801904546 14786560 3189 4294967295 134512640 134578447 3221224624 3221223536 134557033 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3610 3189 566 18 0 3592 0
[pid=19433] vsize: 14440
Current children cumulated CPU time (s) 614.18
Current children cumulated vsize (Kb) 14440

[startup+630.02 s]
Raw data (loadavg): 0.99 0.98 0.95 1/56 19488
Raw data (/proc/19433/stat): 19433 (Pueblo) T 19432 19433 15400 0 -1 0 3223 0 0 0 62053 356 0 0 25 0 1 0 1801904546 14786560 3189 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3610 3189 566 18 0 3592 0
[pid=19433] vsize: 14440
Current children cumulated CPU time (s) 624.09
Current children cumulated vsize (Kb) 14440

[startup+640.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19488
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3223 0 0 0 63037 362 0 0 25 0 1 0 1801904546 14786560 3189 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3610 3189 566 18 0 3592 0
[pid=19433] vsize: 14440
Current children cumulated CPU time (s) 633.99
Current children cumulated vsize (Kb) 14440

[startup+650.021 s]
Raw data (loadavg): 0.99 0.98 0.95 1/56 19488
Raw data (/proc/19433/stat): 19433 (Pueblo) T 19432 19433 15400 0 -1 0 3244 0 0 0 64021 368 0 0 25 0 1 0 1801904546 14917632 3210 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3642 3210 566 18 0 3624 0
[pid=19433] vsize: 14568
Current children cumulated CPU time (s) 643.89
Current children cumulated vsize (Kb) 14568

[startup+660.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19488
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3285 0 0 0 65005 374 0 0 25 0 1 0 1801904546 15048704 3251 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3674 3251 566 18 0 3656 0
[pid=19433] vsize: 14696
Current children cumulated CPU time (s) 653.79
Current children cumulated vsize (Kb) 14696

[startup+670.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19490
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3285 0 0 0 65989 380 0 0 25 0 1 0 1801904546 15048704 3251 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3674 3251 566 18 0 3656 0
[pid=19433] vsize: 14696
Current children cumulated CPU time (s) 663.69
Current children cumulated vsize (Kb) 14696

[startup+680.022 s]
Raw data (loadavg): 0.99 0.98 0.95 1/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) T 19432 19433 15400 0 -1 0 3285 0 0 0 66978 385 0 0 25 0 1 0 1801904546 15048704 3251 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3674 3251 566 18 0 3656 0
[pid=19433] vsize: 14696
Current children cumulated CPU time (s) 673.63
Current children cumulated vsize (Kb) 14696

[startup+690.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3462 0 0 0 67969 388 0 0 25 0 1 0 1801904546 15839232 3428 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3867 3428 566 18 0 3849 0
[pid=19433] vsize: 15468
Current children cumulated CPU time (s) 683.57
Current children cumulated vsize (Kb) 15468

[startup+700.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3462 0 0 0 68959 392 0 0 25 0 1 0 1801904546 15839232 3428 4294967295 134512640 134578447 3221224624 3221223520 134519904 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3867 3428 566 18 0 3849 0
[pid=19433] vsize: 15468
Current children cumulated CPU time (s) 693.51
Current children cumulated vsize (Kb) 15468

[startup+710.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3521 0 0 0 69946 398 0 0 25 0 1 0 1801904546 15970304 3487 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3899 3487 566 18 0 3881 0
[pid=19433] vsize: 15596
Current children cumulated CPU time (s) 703.44
Current children cumulated vsize (Kb) 15596

[startup+720.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3526 0 0 0 70926 406 0 0 25 0 1 0 1801904546 16101376 3492 4294967295 134512640 134578447 3221224624 3221223456 134528410 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3931 3492 566 18 0 3913 0
[pid=19433] vsize: 15724
Current children cumulated CPU time (s) 713.32
Current children cumulated vsize (Kb) 15724

[startup+730.024 s]
Raw data (loadavg): 0.99 0.98 0.95 1/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) T 19432 19433 15400 0 -1 0 3526 0 0 0 71905 414 0 0 25 0 1 0 1801904546 16101376 3492 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3931 3492 566 18 0 3913 0
[pid=19433] vsize: 15724
Current children cumulated CPU time (s) 723.19
Current children cumulated vsize (Kb) 15724

[startup+740.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3526 0 0 0 72900 416 0 0 25 0 1 0 1801904546 16101376 3492 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3931 3492 566 18 0 3913 0
[pid=19433] vsize: 15724
Current children cumulated CPU time (s) 733.16
Current children cumulated vsize (Kb) 15724

[startup+750.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3526 0 0 0 73895 419 0 0 25 0 1 0 1801904546 16101376 3492 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3931 3492 566 18 0 3913 0
[pid=19433] vsize: 15724
Current children cumulated CPU time (s) 743.14
Current children cumulated vsize (Kb) 15724

[startup+760.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3526 0 0 0 74890 420 0 0 25 0 1 0 1801904546 16101376 3492 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3931 3492 566 18 0 3913 0
[pid=19433] vsize: 15724
Current children cumulated CPU time (s) 753.1
Current children cumulated vsize (Kb) 15724

[startup+770.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3526 0 0 0 75885 422 0 0 25 0 1 0 1801904546 16101376 3492 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3931 3492 566 18 0 3913 0
[pid=19433] vsize: 15724
Current children cumulated CPU time (s) 763.07
Current children cumulated vsize (Kb) 15724

[startup+780.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3526 0 0 0 76878 425 0 0 25 0 1 0 1801904546 16101376 3492 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3931 3492 566 18 0 3913 0
[pid=19433] vsize: 15724
Current children cumulated CPU time (s) 773.03
Current children cumulated vsize (Kb) 15724

[startup+790.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3561 0 0 0 77872 428 0 0 25 0 1 0 1801904546 16232448 3527 4294967295 134512640 134578447 3221224624 3221223456 134528399 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3963 3527 566 18 0 3945 0
[pid=19433] vsize: 15852
Current children cumulated CPU time (s) 783
Current children cumulated vsize (Kb) 15852

[startup+800.025 s]
Raw data (loadavg): 0.99 0.98 0.95 1/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) T 19432 19433 15400 0 -1 0 3597 0 0 0 78865 431 0 0 25 0 1 0 1801904546 16363520 3563 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3995 3563 566 18 0 3977 0
[pid=19433] vsize: 15980
Current children cumulated CPU time (s) 792.96
Current children cumulated vsize (Kb) 15980

[startup+810.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3597 0 0 0 79856 434 0 0 25 0 1 0 1801904546 16363520 3563 4294967295 134512640 134578447 3221224624 3221223504 134527742 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3995 3563 566 18 0 3977 0
[pid=19433] vsize: 15980
Current children cumulated CPU time (s) 802.9
Current children cumulated vsize (Kb) 15980

[startup+820.027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3597 0 0 0 80849 437 0 0 25 0 1 0 1801904546 16363520 3563 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 3995 3563 566 18 0 3977 0
[pid=19433] vsize: 15980
Current children cumulated CPU time (s) 812.86
Current children cumulated vsize (Kb) 15980

[startup+830.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3642 0 0 0 81842 440 0 0 25 0 1 0 1801904546 16494592 3608 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4027 3608 566 18 0 4009 0
[pid=19433] vsize: 16108
Current children cumulated CPU time (s) 822.82
Current children cumulated vsize (Kb) 16108

[startup+840.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3642 0 0 0 82836 443 0 0 25 0 1 0 1801904546 16494592 3608 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4027 3608 566 18 0 4009 0
[pid=19433] vsize: 16108
Current children cumulated CPU time (s) 832.79
Current children cumulated vsize (Kb) 16108

[startup+850.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3642 0 0 0 83826 446 0 0 25 0 1 0 1801904546 16494592 3608 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4027 3608 566 18 0 4009 0
[pid=19433] vsize: 16108
Current children cumulated CPU time (s) 842.72
Current children cumulated vsize (Kb) 16108

[startup+860.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3699 0 0 0 84819 449 0 0 25 0 1 0 1801904546 16756736 3665 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4091 3665 566 18 0 4073 0
[pid=19433] vsize: 16364
Current children cumulated CPU time (s) 852.68
Current children cumulated vsize (Kb) 16364

[startup+870.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3699 0 0 0 85810 452 0 0 25 0 1 0 1801904546 16756736 3665 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4091 3665 566 18 0 4073 0
[pid=19433] vsize: 16364
Current children cumulated CPU time (s) 862.62
Current children cumulated vsize (Kb) 16364

[startup+880.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3699 0 0 0 86802 454 0 0 25 0 1 0 1801904546 16756736 3665 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4091 3665 566 18 0 4073 0
[pid=19433] vsize: 16364
Current children cumulated CPU time (s) 872.56
Current children cumulated vsize (Kb) 16364

[startup+890.03 s]
Raw data (loadavg): 0.99 0.98 0.95 1/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) T 19432 19433 15400 0 -1 0 3781 0 0 0 87794 458 0 0 25 0 1 0 1801904546 17145856 3747 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4186 3747 566 18 0 4168 0
[pid=19433] vsize: 16744
Current children cumulated CPU time (s) 882.52
Current children cumulated vsize (Kb) 16744

[startup+900.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3781 0 0 0 88788 460 0 0 25 0 1 0 1801904546 17145856 3747 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4186 3747 566 18 0 4168 0
[pid=19433] vsize: 16744
Current children cumulated CPU time (s) 892.48
Current children cumulated vsize (Kb) 16744

[startup+910.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3781 0 0 0 89781 463 0 0 25 0 1 0 1801904546 17145856 3747 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4186 3747 566 18 0 4168 0
[pid=19433] vsize: 16744
Current children cumulated CPU time (s) 902.44
Current children cumulated vsize (Kb) 16744

[startup+920.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3781 0 0 0 90775 465 0 0 25 0 1 0 1801904546 17145856 3747 4294967295 134512640 134578447 3221224624 3221223472 134520219 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4186 3747 566 18 0 4168 0
[pid=19433] vsize: 16744
Current children cumulated CPU time (s) 912.4
Current children cumulated vsize (Kb) 16744

[startup+930.029 s]
Raw data (loadavg): 0.99 0.98 0.95 1/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) T 19432 19433 15400 0 -1 0 3789 0 0 0 91770 468 0 0 25 0 1 0 1801904546 17145856 3755 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4186 3755 566 18 0 4168 0
[pid=19433] vsize: 16744
Current children cumulated CPU time (s) 922.38
Current children cumulated vsize (Kb) 16744

[startup+940.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3789 0 0 0 92763 470 0 0 25 0 1 0 1801904546 17145856 3755 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4186 3755 566 18 0 4168 0
[pid=19433] vsize: 16744
Current children cumulated CPU time (s) 932.33
Current children cumulated vsize (Kb) 16744

[startup+950.031 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3789 0 0 0 93758 472 0 0 25 0 1 0 1801904546 17145856 3755 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4186 3755 566 18 0 4168 0
[pid=19433] vsize: 16744
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (Kb) 16744

[startup+960.031 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19492
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3789 0 0 0 94750 475 0 0 25 0 1 0 1801904546 17145856 3755 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4186 3755 566 18 0 4168 0
[pid=19433] vsize: 16744
Current children cumulated CPU time (s) 952.25
Current children cumulated vsize (Kb) 16744

[startup+970.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3789 0 0 0 95742 478 0 0 25 0 1 0 1801904546 17145856 3755 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4186 3755 566 18 0 4168 0
[pid=19433] vsize: 16744
Current children cumulated CPU time (s) 962.2
Current children cumulated vsize (Kb) 16744

[startup+980.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3789 0 0 0 96735 481 0 0 25 0 1 0 1801904546 17145856 3755 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4186 3755 566 18 0 4168 0
[pid=19433] vsize: 16744
Current children cumulated CPU time (s) 972.16
Current children cumulated vsize (Kb) 16744

[startup+990.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3789 0 0 0 97726 484 0 0 25 0 1 0 1801904546 17145856 3755 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4186 3755 566 18 0 4168 0
[pid=19433] vsize: 16744
Current children cumulated CPU time (s) 982.1
Current children cumulated vsize (Kb) 16744

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3789 0 0 0 98717 487 0 0 25 0 1 0 1801904546 17145856 3755 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4186 3755 566 18 0 4168 0
[pid=19433] vsize: 16744
Current children cumulated CPU time (s) 992.04
Current children cumulated vsize (Kb) 16744

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3789 0 0 0 99710 490 0 0 25 0 1 0 1801904546 17145856 3755 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4186 3755 566 18 0 4168 0
[pid=19433] vsize: 16744
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (Kb) 16744

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3789 0 0 0 100703 492 0 0 25 0 1 0 1801904546 17145856 3755 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4186 3755 566 18 0 4168 0
[pid=19433] vsize: 16744
Current children cumulated CPU time (s) 1011.95
Current children cumulated vsize (Kb) 16744

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3789 0 0 0 101695 495 0 0 25 0 1 0 1801904546 17145856 3755 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4186 3755 566 18 0 4168 0
[pid=19433] vsize: 16744
Current children cumulated CPU time (s) 1021.9
Current children cumulated vsize (Kb) 16744

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3813 0 0 0 102686 498 0 0 25 0 1 0 1801904546 17272832 3779 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4217 3779 566 18 0 4199 0
[pid=19433] vsize: 16868
Current children cumulated CPU time (s) 1031.84
Current children cumulated vsize (Kb) 16868

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3813 0 0 0 103682 500 0 0 25 0 1 0 1801904546 17272832 3779 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4217 3779 566 18 0 4199 0
[pid=19433] vsize: 16868
Current children cumulated CPU time (s) 1041.82
Current children cumulated vsize (Kb) 16868

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3813 0 0 0 104675 502 0 0 25 0 1 0 1801904546 17272832 3779 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4217 3779 566 18 0 4199 0
[pid=19433] vsize: 16868
Current children cumulated CPU time (s) 1051.77
Current children cumulated vsize (Kb) 16868

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3829 0 0 0 105670 504 0 0 25 0 1 0 1801904546 17272832 3795 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4217 3795 566 18 0 4199 0
[pid=19433] vsize: 16868
Current children cumulated CPU time (s) 1061.74
Current children cumulated vsize (Kb) 16868

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3829 0 0 0 106664 506 0 0 25 0 1 0 1801904546 17272832 3795 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4217 3795 566 18 0 4199 0
[pid=19433] vsize: 16868
Current children cumulated CPU time (s) 1071.7
Current children cumulated vsize (Kb) 16868

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3829 0 0 0 107654 510 0 0 25 0 1 0 1801904546 17272832 3795 4294967295 134512640 134578447 3221224624 3221223584 134558714 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4217 3795 566 18 0 4199 0
[pid=19433] vsize: 16868
Current children cumulated CPU time (s) 1081.64
Current children cumulated vsize (Kb) 16868

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3829 0 0 0 108647 513 0 0 25 0 1 0 1801904546 17272832 3795 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4217 3795 566 18 0 4199 0
[pid=19433] vsize: 16868
Current children cumulated CPU time (s) 1091.6
Current children cumulated vsize (Kb) 16868

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3829 0 0 0 109640 516 0 0 25 0 1 0 1801904546 17272832 3795 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4217 3795 566 18 0 4199 0
[pid=19433] vsize: 16868
Current children cumulated CPU time (s) 1101.56
Current children cumulated vsize (Kb) 16868

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3829 0 0 0 110631 520 0 0 25 0 1 0 1801904546 17272832 3795 4294967295 134512640 134578447 3221224624 3221223456 134528410 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4217 3795 566 18 0 4199 0
[pid=19433] vsize: 16868
Current children cumulated CPU time (s) 1111.51
Current children cumulated vsize (Kb) 16868

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3861 0 0 0 111621 525 0 0 25 0 1 0 1801904546 17399808 3827 4294967295 134512640 134578447 3221224624 3221223456 134528344 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4248 3827 566 18 0 4230 0
[pid=19433] vsize: 16992
Current children cumulated CPU time (s) 1121.46
Current children cumulated vsize (Kb) 16992

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3861 0 0 0 112615 528 0 0 25 0 1 0 1801904546 17399808 3827 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4248 3827 566 18 0 4230 0
[pid=19433] vsize: 16992
Current children cumulated CPU time (s) 1131.43
Current children cumulated vsize (Kb) 16992

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3861 0 0 0 113606 531 0 0 25 0 1 0 1801904546 17399808 3827 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4248 3827 566 18 0 4230 0
[pid=19433] vsize: 16992
Current children cumulated CPU time (s) 1141.37
Current children cumulated vsize (Kb) 16992

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3949 0 0 0 114597 533 0 0 25 0 1 0 1801904546 17793024 3915 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4344 3915 566 18 0 4326 0
[pid=19433] vsize: 17376
Current children cumulated CPU time (s) 1151.3
Current children cumulated vsize (Kb) 17376

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3949 0 0 0 115589 536 0 0 25 0 1 0 1801904546 17793024 3915 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4344 3915 566 18 0 4326 0
[pid=19433] vsize: 17376
Current children cumulated CPU time (s) 1161.25
Current children cumulated vsize (Kb) 17376

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 3984 0 0 0 116580 540 0 0 25 0 1 0 1801904546 17924096 3950 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4376 3950 566 18 0 4358 0
[pid=19433] vsize: 17504
Current children cumulated CPU time (s) 1171.2
Current children cumulated vsize (Kb) 17504

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/56 19494
Raw data (/proc/19433/stat): 19433 (Pueblo) R 19432 19433 15400 0 -1 0 4003 0 0 0 117571 542 0 0 25 0 1 0 1801904546 18051072 3969 4294967295 134512640 134578447 3221224624 3221223536 134556815 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19433/statm): 4407 3969 566 18 0 4389 0
[pid=19433] vsize: 17628
Current children cumulated CPU time (s) 1181.13
Current children cumulated vsize (Kb) 17628
One traced child (pid=19433) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1197.97
CPU time (s): 1189.03
CPU user time (s): 1183.57
CPU system time (s): 5.46117
CPU usage (%): 99.2536
Max. virtual memory (cumulated for all children) (Kb): 17628

Verifier Data

Verifier:	OK	6363