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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb
MD5SUMdf52a42b636b50954671d81e4d85c221
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -12288
Optimality of the best value was proved NO
Number of terms in the objective function 19
Biggest coefficient in the objective function 262144
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524287
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 393216
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 917503
Number of bits of the biggest sum of numbers20
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.01
Number of variables787
Total number of constraints833
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)816
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint1
Maximum length of a constraint67

Trace number 8175

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        761088 kB
Buffers:         33552 kB
Cached:         213228 kB
SwapCached:        876 kB
Active:          82352 kB
Inactive:       167180 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        760836 kB
SwapTotal:     2097136 kB
SwapFree:      2095848 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5768 kB
Slab:            18412 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 16:10:16 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5276 0 1189.01 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: 787 - #constraints read: 882
c total time              : 1189 s
s SATISFIABLE
v -x1_bit_10 -x1_bit_9 -x1_bit_8 -x1_bit_7 -x1_bit_6 -x1_bit_5 -x1_bit_4 -x1_bit_3 -x1_bit_2 -x1_bit_1 -x1_bit0 -x1_bit1 x1_bit2 x1_bit3 -x1_bit4 -x1_bit5 -x1_bit6 -x1_bit7 -x1_bit8 -x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 -x6_bit0 -x7_bit0 -x8_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x12_bit0 -x13_bit0 -x14_bit0 -x15_bit0 -x16_bit0 -x17_bit0 -x18_bit0 -x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 x38_bit0 -x39_bit0 -x40_bit0 x41_bit0 -x42_bit0 -x43_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 -x52_bit0 -x53_bit0 -x54_bit0 -x55_bit0 x56_bit0 -x57_bit0 -x58_bit0 x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 -x63_bit0 -x64_bit0 -x65_bit0 -x66_bit0 -x67_bit0 -x68_bit0 -x69_bit0 -x70_bit0 -x71_bit0 -x72_bit0 -x73_bit0 -x74_bit0 -x75_bit0 -x76_bit0 -x77_bit0 -x78_bit0 x79_bit0 -x80_bit0 -x81_bit0 -x82_bit0 -x83_bit0 -x84_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 -x95_bit0 -x96_bit0 -x97_bit0 -x98_bit0 -x99_bit0 -x100_bit0 -x101_bit0 -x102_bit0 -x103_bit0 -x104_bit0 x105_bit0 -x106_bit0 -x107_bit0 -x108_bit0 -x109_bit0 -x110_bit0 x111_bit0 -x112_bit0 -x113_bit0 -x114_bit0 -x115_bit0 -x116_bit0 -x117_bit0 -x118_bit0 -x119_bit0 -x120_bit0 -x121_bit0 -x122_bit0 -x123_bit0 -x124_bit0 -x125_bit0 -x126_bit0 -x127_bit0 -x128_bit0 -x129_bit0 x130_bit0 -x131_bit0 -x132_bit0 -x133_bit0 -x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x138_bit0 -x139_bit0 -x140_bit0 -x141_bit0 -x142_bit0 -x143_bit0 -x144_bit0 x145_bit0 x146_bit0 -x147_bit0 -x148_bit0 -x149_bit0 -x150_bit0 -x151_bit0 -x152_bit0 -x153_bit0 -x154_bit0 -x155_bit0 -x156_bit0 -x157_bit0 -x158_bit0 -x159_bit0 -x160_bit0 -x161_bit0 -x162_bit0 -x163_bit0 -x164_bit0 -x165_bit0 -x166_bit0 -x167_bit0 -x168_bit0 x169_bit0 -x170_bit0 -x171_bit0 -x172_bit0 -x173_bit0 -x174_bit0 x175_bit0 -x176_bit0 -x177_bit0 -x178_bit0 -x179_bit0 -x180_bit0 -x181_bit0 -x182_bit0 -x183_bit0 -x184_bit0 -x185_bit0 -x186_bit0 x187_bit0 x188_bit0 -x189_bit0 -x190_bit0 x191_bit0 -x192_bit0 -x193_bit0 -x194_bit0 -x195_bit0 -x196_bit0 -x197_bit0 -x198_bit0 -x199_bit0 -x200_bit0 -x201_bit0 -x202_bit0 -x203_bit0 x204_bit0 x205_bit0 -x206_bit0 -x207_bit0 -x208_bit0 -x209_bit0 -x210_bit0 -x211_bit0 -x212_bit0 -x213_bit0 -x214_bit0 -x215_bit0 -x216_bit0 -x217_bit0 -x218_bit0 -x219_bit0 -x220_bit0 -x221_bit0 -x222_bit0 -x223_bit0 -x224_bit0 -x225_bit0 -x226_bit0 -x227_bit0 -x228_bit0 -x229_bit0 -x230_bit0 -x231_bit0 -x232_bit0 -x233_bit0 -x234_bit0 -x235_bit0 -x236_bit0 -x237_bit0 -x238_bit0 -x239_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 -x244_bit0 -x245_bit0 -x246_bit0 -x247_bit0 -x248_bit0 -x249_bit0 -x250_bit0 -x251_bit0 -x252_bit0 -x253_bit0 -x254_bit0 x255_bit0 -x256_bit0 -x257_bit0 -x258_bit0 -x259_bit0 -x260_bit0 -x261_bit0 x262_bit0 x263_bit0 -x264_bit0 -x265_bit0 -x266_bit0 -x267_bit0 -x268_bit0 -x269_bit0 -x270_bit0 -x271_bit0 -x272_bit0 -x273_bit0 -x274_bit0 -x275_bit0 -x276_bit0 -x277_bit0 -x278_bit0 -x279_bit0 -x280_bit0 -x281_bit0 x282_bit0 -x283_bit0 -x284_bit0 -x285_bit0 -x286_bit0 x287_bit0 -x288_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 -x301_bit0 -x302_bit0 -x303_bit0 -x304_bit0 -x305_bit0 -x306_bit0 -x307_bit0 -x308_bit0 -x309_bit0 -x310_bit0 -x311_bit0 -x312_bit0 -x313_bit0 -x314_bit0 -x315_bit0 x316_bit0 -x317_bit0 -x318_bit0 -x319_bit0 -x320_bit0 -x321_bit0 -x322_bit0 -x323_bit0 -x324_bit0 -x325_bit0 -x326_bit0 -x327_bit0 -x328_bit0 -x329_bit0 -x330_bit0 -x331_bit0 -x332_bit0 -x333_bit0 -x334_bit0 -x335_bit0 -x336_bit0 -x337_bit0 -x338_bit0 -x339_bit0 -x340_bit0 -x341_bit0 -x342_bit0 -x343_bit0 -x344_bit0 -x345_bit0 -x346_bit0 -x347_bit0 -x348_bit0 x349_bit0 -x350_bit0 -x351_bit0 -x352_bit0 -x353_bit0 -x354_bit0 -x355_bit0 -x356_bit0 -x357_bit0 -x358_bit0 -x359_bit0 -x360_bit0 -x361_bit0 -x362_bit0 -x363_bit0 -x364_bit0 -x365_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 -x378_bit0 -x379_bit0 -x380_bit0 -x381_bit0 -x382_bit0 -x383_bit0 -x384_bit0 -x385_bit0 -x386_bit0 -x387_bit0 -x388_bit0 -x389_bit0 -x390_bit0 -x391_bit0 -x392_bit0 -x393_bit0 -x394_bit0 -x395_bit0 -x396_bit0 -x397_bit0 -x398_bit0 -x399_bit0 -x400_bit0 x401_bit0 -x402_bit0 -x403_bit0 -x404_bit0 -x405_bit0 -x406_bit0 -x407_bit0 -x408_bit0 -x409_bit0 -x410_bit0 -x411_bit0 -x412_bit0 -x413_bit0 -x414_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 -x427_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 -x455_bit0 -x456_bit0 -x457_bit0 -x458_bit0 -x459_bit0 -x460_bit0 -x461_bit0 x462_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 -x477_bit0 -x478_bit0 -x479_bit0 -x480_bit0 -x481_bit0 -x482_bit0 x483_bit0 -x484_bit0 x485_bit0 -x486_bit0 -x487_bit0 -x488_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 -x504_bit0 -x505_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 -x518_bit0 -x519_bit0 -x520_bit0 -x521_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 -x534_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 -x547_bit0 -x548_bit0 -x549_bit0 -x550_bit0 -x551_bit0 -x552_bit0 -x553_bit0 -x554_bit0 -x555_bit0 -x556_bit0 -x557_bit0 -x558_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 -x574_bit0 -x575_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 -x590_bit0 -x591_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 -x604_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 -x632_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 -x649_bit0 -x650_bit0 -x651_bit0 -x652_bit0 -x653_bit0 -x654_bit0 -x655_bit0 -x656_bit0 -x657_bit0 -x658_bit0 -x659_bit0 -x660_bit0 -x661_bit0 -x662_bit0 -x663_bit0 -x664_bit0 -x665_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 -x681_bit0 -x682_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 -x695_bit0 -x696_bit0 x697_bit0 -x698_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 -x711_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 -x724_bit0 -x725_bit0 -x726_bit0 -x727_bit0 -x728_bit0 -x729_bit0 -x730_bit0 -x731_bit0 -x732_bit0 -x733_bit0 x734_bit0 x735_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 -x751_bit0 -x752_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 -x767_bit0 -x768_bit0 -x769_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/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1787956118 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 41 3 40 18 0 23 0
[pid=4419] 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.0036 s]
Raw data (loadavg): 0.93 0.94 0.90 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 766 0 0 0 854 51 0 0 25 0 1 0 1787956118 4673536 732 4294967295 134512640 134578447 3221224624 3221223472 134520250 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 1141 732 566 18 0 1123 0
[pid=4419] vsize: 4564
Current children cumulated CPU time (s) 9.05
Current children cumulated vsize (Kb) 4564

[startup+20.0044 s]
Raw data (loadavg): 0.94 0.95 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 934 0 0 0 1808 66 0 0 25 0 1 0 1787956118 5316608 900 4294967295 134512640 134578447 3221224624 3221223368 1075291637 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4419/statm): 1298 900 566 18 0 1280 0
[pid=4419] vsize: 5192
Current children cumulated CPU time (s) 18.74
Current children cumulated vsize (Kb) 5192

[startup+30.0041 s]
Raw data (loadavg): 0.95 0.95 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 979 0 0 0 2788 73 0 0 25 0 1 0 1787956118 5537792 945 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4419/statm): 1352 945 566 18 0 1334 0
[pid=4419] vsize: 5408
Current children cumulated CPU time (s) 28.61
Current children cumulated vsize (Kb) 5408

[startup+40.0039 s]
Raw data (loadavg): 0.95 0.95 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1035 0 0 0 3754 85 0 0 25 0 1 0 1787956118 5791744 1001 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 1414 1001 566 18 0 1396 0
[pid=4419] vsize: 5656
Current children cumulated CPU time (s) 38.39
Current children cumulated vsize (Kb) 5656

[startup+50.0047 s]
Raw data (loadavg): 0.96 0.95 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1104 0 0 0 4709 100 0 0 25 0 1 0 1787956118 6057984 1070 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4419/statm): 1479 1070 566 18 0 1461 0
[pid=4419] vsize: 5916
Current children cumulated CPU time (s) 48.09
Current children cumulated vsize (Kb) 5916

[startup+60.0055 s]
Raw data (loadavg): 0.97 0.95 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1160 0 0 0 5690 108 0 0 25 0 1 0 1787956118 6332416 1126 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 1546 1126 566 18 0 1528 0
[pid=4419] vsize: 6184
Current children cumulated CPU time (s) 57.98
Current children cumulated vsize (Kb) 6184

[startup+70.0063 s]
Raw data (loadavg): 0.97 0.95 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1180 0 0 0 6673 116 0 0 25 0 1 0 1787956118 6332416 1146 4294967295 134512640 134578447 3221224624 3221223456 134528392 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 1546 1146 566 18 0 1528 0
[pid=4419] vsize: 6184
Current children cumulated CPU time (s) 67.89
Current children cumulated vsize (Kb) 6184

[startup+80.0071 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1192 0 0 0 7655 122 0 0 25 0 1 0 1787956118 6463488 1158 4294967295 134512640 134578447 3221224624 3221223536 134556908 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4419/statm): 1578 1158 566 18 0 1560 0
[pid=4419] vsize: 6312
Current children cumulated CPU time (s) 77.77
Current children cumulated vsize (Kb) 6312

[startup+90.0079 s]
Raw data (loadavg): 0.98 0.95 0.91 1/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) T 4418 4419 27660 0 -1 0 1195 0 0 0 8582 145 0 0 25 0 1 0 1787956118 6463488 1161 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4419/statm): 1578 1161 566 18 0 1560 0
[pid=4419] vsize: 6312
Current children cumulated CPU time (s) 87.27
Current children cumulated vsize (Kb) 6312

[startup+100.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1195 0 0 0 9508 170 0 0 25 0 1 0 1787956118 6463488 1161 4294967295 134512640 134578447 3221224624 3221223488 134517833 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 1578 1161 566 18 0 1560 0
[pid=4419] vsize: 6312
Current children cumulated CPU time (s) 96.78
Current children cumulated vsize (Kb) 6312

[startup+110.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1195 0 0 0 10464 187 0 0 25 0 1 0 1787956118 6463488 1161 4294967295 134512640 134578447 3221224624 3221223424 134532042 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 1578 1161 566 18 0 1560 0
[pid=4419] vsize: 6312
Current children cumulated CPU time (s) 106.51
Current children cumulated vsize (Kb) 6312

[startup+120.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1195 0 0 0 11409 205 0 0 25 0 1 0 1787956118 6463488 1161 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 1578 1161 566 18 0 1560 0
[pid=4419] vsize: 6312
Current children cumulated CPU time (s) 116.14
Current children cumulated vsize (Kb) 6312

[startup+130.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1195 0 0 0 12372 218 0 0 25 0 1 0 1787956118 6463488 1161 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4419/statm): 1578 1161 566 18 0 1560 0
[pid=4419] vsize: 6312
Current children cumulated CPU time (s) 125.9
Current children cumulated vsize (Kb) 6312

[startup+140.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1195 0 0 0 13338 230 0 0 25 0 1 0 1787956118 6463488 1161 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 1578 1161 566 18 0 1560 0
[pid=4419] vsize: 6312
Current children cumulated CPU time (s) 135.68
Current children cumulated vsize (Kb) 6312

[startup+150.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1195 0 0 0 14316 236 0 0 25 0 1 0 1787956118 6463488 1161 4294967295 134512640 134578447 3221224624 3221223456 134526986 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 1578 1161 566 18 0 1560 0
[pid=4419] vsize: 6312
Current children cumulated CPU time (s) 145.52
Current children cumulated vsize (Kb) 6312

[startup+160.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1195 0 0 0 15294 243 0 0 25 0 1 0 1787956118 6463488 1161 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 1578 1161 566 18 0 1560 0
[pid=4419] vsize: 6312
Current children cumulated CPU time (s) 155.37
Current children cumulated vsize (Kb) 6312

[startup+170.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1198 0 0 0 16269 252 0 0 25 0 1 0 1787956118 6463488 1164 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 1578 1164 566 18 0 1560 0
[pid=4419] vsize: 6312
Current children cumulated CPU time (s) 165.21
Current children cumulated vsize (Kb) 6312

[startup+180.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1198 0 0 0 17247 259 0 0 25 0 1 0 1787956118 6463488 1164 4294967295 134512640 134578447 3221224624 3221222384 134532513 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 1578 1164 566 18 0 1560 0
[pid=4419] vsize: 6312
Current children cumulated CPU time (s) 175.06
Current children cumulated vsize (Kb) 6312

[startup+190.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1599 0 0 0 18220 269 0 0 25 0 1 0 1787956118 8093696 1565 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 1976 1565 566 18 0 1958 0
[pid=4419] vsize: 7904
Current children cumulated CPU time (s) 184.89
Current children cumulated vsize (Kb) 7904

[startup+200.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1689 0 0 0 19201 277 0 0 25 0 1 0 1787956118 8491008 1655 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4419/statm): 2073 1655 566 18 0 2055 0
[pid=4419] vsize: 8292
Current children cumulated CPU time (s) 194.78
Current children cumulated vsize (Kb) 8292

[startup+210.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1749 0 0 0 20185 283 0 0 25 0 1 0 1787956118 8753152 1715 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4419/statm): 2137 1715 566 18 0 2119 0
[pid=4419] vsize: 8548
Current children cumulated CPU time (s) 204.68
Current children cumulated vsize (Kb) 8548

[startup+220.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1749 0 0 0 21172 287 0 0 25 0 1 0 1787956118 8753152 1715 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2137 1715 566 18 0 2119 0
[pid=4419] vsize: 8548
Current children cumulated CPU time (s) 214.59
Current children cumulated vsize (Kb) 8548

[startup+230.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1749 0 0 0 22153 293 0 0 25 0 1 0 1787956118 8753152 1715 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4419/statm): 2137 1715 566 18 0 2119 0
[pid=4419] vsize: 8548
Current children cumulated CPU time (s) 224.46
Current children cumulated vsize (Kb) 8548

[startup+240.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1750 0 0 0 23136 299 0 0 25 0 1 0 1787956118 8732672 1716 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2132 1716 566 18 0 2114 0
[pid=4419] vsize: 8528
Current children cumulated CPU time (s) 234.35
Current children cumulated vsize (Kb) 8528

[startup+250.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1798 0 0 0 24121 306 0 0 25 0 1 0 1787956118 8871936 1764 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4419/statm): 2166 1764 566 18 0 2148 0
[pid=4419] vsize: 8664
Current children cumulated CPU time (s) 244.27
Current children cumulated vsize (Kb) 8664

[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1798 0 0 0 25105 312 0 0 25 0 1 0 1787956118 8871936 1764 4294967295 134512640 134578447 3221224624 3221223228 1075289350 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4419/statm): 2166 1764 566 18 0 2148 0
[pid=4419] vsize: 8664
Current children cumulated CPU time (s) 254.17
Current children cumulated vsize (Kb) 8664

[startup+270.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1798 0 0 0 26088 318 0 0 25 0 1 0 1787956118 8871936 1764 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2166 1764 566 18 0 2148 0
[pid=4419] vsize: 8664
Current children cumulated CPU time (s) 264.06
Current children cumulated vsize (Kb) 8664

[startup+280.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1798 0 0 0 27072 324 0 0 25 0 1 0 1787956118 8871936 1764 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4419/statm): 2166 1764 566 18 0 2148 0
[pid=4419] vsize: 8664
Current children cumulated CPU time (s) 273.96
Current children cumulated vsize (Kb) 8664

[startup+290.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1812 0 0 0 28057 330 0 0 25 0 1 0 1787956118 9011200 1778 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2200 1778 566 18 0 2182 0
[pid=4419] vsize: 8800
Current children cumulated CPU time (s) 283.87
Current children cumulated vsize (Kb) 8800

[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1874 0 0 0 29039 336 0 0 25 0 1 0 1787956118 9285632 1840 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2267 1840 566 18 0 2249 0
[pid=4419] vsize: 9068
Current children cumulated CPU time (s) 293.75
Current children cumulated vsize (Kb) 9068

[startup+310.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1874 0 0 0 30021 342 0 0 25 0 1 0 1787956118 9261056 1840 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2261 1840 566 18 0 2243 0
[pid=4419] vsize: 9044
Current children cumulated CPU time (s) 303.63
Current children cumulated vsize (Kb) 9044

[startup+320.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1883 0 0 0 31004 349 0 0 25 0 1 0 1787956118 9261056 1849 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2261 1849 566 18 0 2243 0
[pid=4419] vsize: 9044
Current children cumulated CPU time (s) 313.53
Current children cumulated vsize (Kb) 9044

[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1939 0 0 0 31990 354 0 0 25 0 1 0 1787956118 9527296 1905 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2326 1905 566 18 0 2308 0
[pid=4419] vsize: 9304
Current children cumulated CPU time (s) 323.44
Current children cumulated vsize (Kb) 9304

[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1939 0 0 0 32975 359 0 0 25 0 1 0 1787956118 9469952 1905 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2312 1905 566 18 0 2294 0
[pid=4419] vsize: 9248
Current children cumulated CPU time (s) 333.34
Current children cumulated vsize (Kb) 9248

[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1939 0 0 0 33958 366 0 0 25 0 1 0 1787956118 9465856 1905 4294967295 134512640 134578447 3221224624 3221223376 134529068 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2311 1905 566 18 0 2293 0
[pid=4419] vsize: 9244
Current children cumulated CPU time (s) 343.24
Current children cumulated vsize (Kb) 9244

[startup+360.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1939 0 0 0 34942 372 0 0 25 0 1 0 1787956118 9465856 1905 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2311 1905 566 18 0 2293 0
[pid=4419] vsize: 9244
Current children cumulated CPU time (s) 353.14
Current children cumulated vsize (Kb) 9244

[startup+370.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1939 0 0 0 35930 377 0 0 25 0 1 0 1787956118 9420800 1904 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2300 1904 566 18 0 2282 0
[pid=4419] vsize: 9200
Current children cumulated CPU time (s) 363.07
Current children cumulated vsize (Kb) 9200

[startup+380.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1939 0 0 0 36919 381 0 0 25 0 1 0 1787956118 9420800 1904 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4419/statm): 2300 1904 566 18 0 2282 0
[pid=4419] vsize: 9200
Current children cumulated CPU time (s) 373
Current children cumulated vsize (Kb) 9200

[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1939 0 0 0 37909 384 0 0 25 0 1 0 1787956118 9326592 1881 4294967295 134512640 134578447 3221224624 3221223456 134526986 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2277 1881 566 18 0 2259 0
[pid=4419] vsize: 9108
Current children cumulated CPU time (s) 382.93
Current children cumulated vsize (Kb) 9108

[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1939 0 0 0 38900 387 0 0 25 0 1 0 1787956118 9322496 1880 4294967295 134512640 134578447 3221224624 3221223584 134559051 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2276 1880 566 18 0 2258 0
[pid=4419] vsize: 9104
Current children cumulated CPU time (s) 392.87
Current children cumulated vsize (Kb) 9104

[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1939 0 0 0 39892 390 0 0 25 0 1 0 1787956118 9314304 1878 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2274 1878 566 18 0 2256 0
[pid=4419] vsize: 9096
Current children cumulated CPU time (s) 402.82
Current children cumulated vsize (Kb) 9096

[startup+420.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1939 0 0 0 40882 395 0 0 25 0 1 0 1787956118 9310208 1877 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2273 1877 566 18 0 2255 0
[pid=4419] vsize: 9092
Current children cumulated CPU time (s) 412.77
Current children cumulated vsize (Kb) 9092

[startup+430.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1939 0 0 0 41875 397 0 0 25 0 1 0 1787956118 9306112 1876 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2272 1876 566 18 0 2254 0
[pid=4419] vsize: 9088
Current children cumulated CPU time (s) 422.72
Current children cumulated vsize (Kb) 9088

[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1939 0 0 0 42868 400 0 0 25 0 1 0 1787956118 9306112 1876 4294967295 134512640 134578447 3221224624 3221223560 134527349 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4419/statm): 2272 1876 566 18 0 2254 0
[pid=4419] vsize: 9088
Current children cumulated CPU time (s) 432.68
Current children cumulated vsize (Kb) 9088

[startup+450.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1939 0 0 0 43860 404 0 0 25 0 1 0 1787956118 9306112 1876 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2272 1876 566 18 0 2254 0
[pid=4419] vsize: 9088
Current children cumulated CPU time (s) 442.64
Current children cumulated vsize (Kb) 9088

[startup+460.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1976 0 0 0 44853 406 0 0 25 0 1 0 1787956118 9584640 1913 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2340 1913 566 18 0 2322 0
[pid=4419] vsize: 9360
Current children cumulated CPU time (s) 452.59
Current children cumulated vsize (Kb) 9360

[startup+470.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1976 0 0 0 45843 411 0 0 25 0 1 0 1787956118 9498624 1913 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2319 1913 566 18 0 2301 0
[pid=4419] vsize: 9276
Current children cumulated CPU time (s) 462.54
Current children cumulated vsize (Kb) 9276

[startup+480.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1976 0 0 0 46836 414 0 0 25 0 1 0 1787956118 9498624 1913 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2319 1913 566 18 0 2301 0
[pid=4419] vsize: 9276
Current children cumulated CPU time (s) 472.5
Current children cumulated vsize (Kb) 9276

[startup+490.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1976 0 0 0 47831 415 0 0 25 0 1 0 1787956118 9404416 1900 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2296 1900 566 18 0 2278 0
[pid=4419] vsize: 9184
Current children cumulated CPU time (s) 482.46
Current children cumulated vsize (Kb) 9184

[startup+500.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 1996 0 0 0 48825 418 0 0 25 0 1 0 1787956118 9543680 1920 4294967295 134512640 134578447 3221224624 3221223416 134532067 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2330 1920 566 18 0 2312 0
[pid=4419] vsize: 9320
Current children cumulated CPU time (s) 492.43
Current children cumulated vsize (Kb) 9320

[startup+510.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2006 0 0 0 49818 421 0 0 25 0 1 0 1787956118 9543680 1930 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4419/statm): 2330 1930 566 18 0 2312 0
[pid=4419] vsize: 9320
Current children cumulated CPU time (s) 502.39
Current children cumulated vsize (Kb) 9320

[startup+520.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 50811 423 0 0 25 0 1 0 1787956118 9650176 1940 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2356 1940 566 18 0 2338 0
[pid=4419] vsize: 9424
Current children cumulated CPU time (s) 512.34
Current children cumulated vsize (Kb) 9424

[startup+530.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 51805 426 0 0 25 0 1 0 1787956118 9650176 1940 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2356 1940 566 18 0 2338 0
[pid=4419] vsize: 9424
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (Kb) 9424

[startup+540.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 52799 429 0 0 25 0 1 0 1787956118 9650176 1940 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2356 1940 566 18 0 2338 0
[pid=4419] vsize: 9424
Current children cumulated CPU time (s) 532.28
Current children cumulated vsize (Kb) 9424

[startup+550.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 53794 431 0 0 25 0 1 0 1787956118 9650176 1940 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2356 1940 566 18 0 2338 0
[pid=4419] vsize: 9424
Current children cumulated CPU time (s) 542.25
Current children cumulated vsize (Kb) 9424

[startup+560.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 54783 435 0 0 25 0 1 0 1787956118 9650176 1940 4294967295 134512640 134578447 3221224624 3221223536 134557632 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2356 1940 566 18 0 2338 0
[pid=4419] vsize: 9424
Current children cumulated CPU time (s) 552.18
Current children cumulated vsize (Kb) 9424

[startup+570.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 55774 439 0 0 25 0 1 0 1787956118 9650176 1940 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2356 1940 566 18 0 2338 0
[pid=4419] vsize: 9424
Current children cumulated CPU time (s) 562.13
Current children cumulated vsize (Kb) 9424

[startup+580.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 56763 443 0 0 25 0 1 0 1787956118 9650176 1940 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2356 1940 566 18 0 2338 0
[pid=4419] vsize: 9424
Current children cumulated CPU time (s) 572.06
Current children cumulated vsize (Kb) 9424

[startup+590.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 4419
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 57755 446 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (Kb) 9408

[startup+600.038 s]
Raw data (loadavg): 0.99 0.97 0.91 4/61 4473
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 58733 462 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 591.95
Current children cumulated vsize (Kb) 9408

[startup+610.039 s]
Raw data (loadavg): 1.07 0.99 0.91 2/56 4474
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 59724 465 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 601.89
Current children cumulated vsize (Kb) 9408

[startup+620.039 s]
Raw data (loadavg): 1.06 0.99 0.91 2/56 4474
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 60718 468 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 611.86
Current children cumulated vsize (Kb) 9408

[startup+630.039 s]
Raw data (loadavg): 1.05 0.99 0.91 2/56 4474
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 61709 472 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 621.81
Current children cumulated vsize (Kb) 9408

[startup+640.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/56 4474
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 62701 474 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 631.75
Current children cumulated vsize (Kb) 9408

[startup+650.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/56 4474
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 63693 476 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 641.69
Current children cumulated vsize (Kb) 9408

[startup+660.041 s]
Raw data (loadavg): 1.03 0.99 0.91 2/56 4476
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 64687 478 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 651.65
Current children cumulated vsize (Kb) 9408

[startup+670.041 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 4476
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 65681 480 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 661.61
Current children cumulated vsize (Kb) 9408

[startup+680.041 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 66675 483 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 671.58
Current children cumulated vsize (Kb) 9408

[startup+690.042 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 67667 486 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 681.53
Current children cumulated vsize (Kb) 9408

[startup+700.043 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 68659 488 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 691.47
Current children cumulated vsize (Kb) 9408

[startup+710.044 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 69652 490 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 701.42
Current children cumulated vsize (Kb) 9408

[startup+720.043 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 70646 492 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 711.38
Current children cumulated vsize (Kb) 9408

[startup+730.043 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 71639 496 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 721.35
Current children cumulated vsize (Kb) 9408

[startup+740.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 72632 498 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 731.3
Current children cumulated vsize (Kb) 9408

[startup+750.043 s]
Raw data (loadavg): 1.08 1.00 0.92 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 73626 500 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 741.26
Current children cumulated vsize (Kb) 9408

[startup+760.043 s]
Raw data (loadavg): 1.07 1.00 0.92 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 74620 503 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 751.23
Current children cumulated vsize (Kb) 9408

[startup+770.043 s]
Raw data (loadavg): 1.06 1.00 0.92 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 75613 505 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 761.18
Current children cumulated vsize (Kb) 9408

[startup+780.043 s]
Raw data (loadavg): 1.05 1.00 0.92 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 76597 509 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221220176 134533110 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 771.06
Current children cumulated vsize (Kb) 9408

[startup+790.044 s]
Raw data (loadavg): 1.04 1.00 0.92 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 77586 513 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221222672 134532391 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 780.99
Current children cumulated vsize (Kb) 9408

[startup+800.044 s]
Raw data (loadavg): 1.04 1.00 0.92 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 78574 517 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 790.91
Current children cumulated vsize (Kb) 9408

[startup+810.044 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 79565 519 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 800.84
Current children cumulated vsize (Kb) 9408

[startup+820.045 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 80555 523 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 810.78
Current children cumulated vsize (Kb) 9408

[startup+830.045 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 81544 527 0 0 25 0 1 0 1787956118 9633792 1940 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2352 1940 566 18 0 2334 0
[pid=4419] vsize: 9408
Current children cumulated CPU time (s) 820.71
Current children cumulated vsize (Kb) 9408

[startup+840.046 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 82535 530 0 0 25 0 1 0 1787956118 9457664 1913 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2309 1913 566 18 0 2291 0
[pid=4419] vsize: 9236
Current children cumulated CPU time (s) 830.65
Current children cumulated vsize (Kb) 9236

[startup+850.047 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 83525 534 0 0 25 0 1 0 1787956118 9457664 1913 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2309 1913 566 18 0 2291 0
[pid=4419] vsize: 9236
Current children cumulated CPU time (s) 840.59
Current children cumulated vsize (Kb) 9236

[startup+860.047 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 84516 537 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223572 134558732 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 850.53
Current children cumulated vsize (Kb) 9144

[startup+870.048 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 85508 541 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 860.49
Current children cumulated vsize (Kb) 9144

[startup+880.048 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 86498 544 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 870.42
Current children cumulated vsize (Kb) 9144

[startup+890.049 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 87489 547 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 880.36
Current children cumulated vsize (Kb) 9144

[startup+900.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4478
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 88479 551 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 890.3
Current children cumulated vsize (Kb) 9144

[startup+910.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 89467 555 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 900.22
Current children cumulated vsize (Kb) 9144

[startup+920.049 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) T 4418 4419 27660 0 -1 0 2016 0 0 0 90437 566 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 910.03
Current children cumulated vsize (Kb) 9144

[startup+930.049 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) T 4418 4419 27660 0 -1 0 2016 0 0 0 91356 595 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 919.51
Current children cumulated vsize (Kb) 9144

[startup+940.05 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) T 4418 4419 27660 0 -1 0 2016 0 0 0 92273 624 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 928.97
Current children cumulated vsize (Kb) 9144

[startup+950.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) T 4418 4419 27660 0 -1 0 2016 0 0 0 93203 648 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 938.51
Current children cumulated vsize (Kb) 9144

[startup+960.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 94137 673 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 948.1
Current children cumulated vsize (Kb) 9144

[startup+970.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 95072 697 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223692 134561235 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 957.69
Current children cumulated vsize (Kb) 9144

[startup+980.051 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) T 4418 4419 27660 0 -1 0 2016 0 0 0 96007 718 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 967.25
Current children cumulated vsize (Kb) 9144

[startup+990.052 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) T 4418 4419 27660 0 -1 0 2016 0 0 0 96946 740 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 976.86
Current children cumulated vsize (Kb) 9144

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 97884 761 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223376 134529027 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 986.45
Current children cumulated vsize (Kb) 9144

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 98842 777 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223488 134517715 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 996.19
Current children cumulated vsize (Kb) 9144

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 99815 786 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 1006.01
Current children cumulated vsize (Kb) 9144

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 100786 797 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223488 134517751 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 1015.83
Current children cumulated vsize (Kb) 9144

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 101759 805 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 1025.64
Current children cumulated vsize (Kb) 9144

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 102738 812 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 1035.5
Current children cumulated vsize (Kb) 9144

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 103702 825 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 1045.27
Current children cumulated vsize (Kb) 9144

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 104671 838 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223504 134527861 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 1055.09
Current children cumulated vsize (Kb) 9144

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 105642 848 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223536 134516795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 1064.9
Current children cumulated vsize (Kb) 9144

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 106623 855 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 1074.78
Current children cumulated vsize (Kb) 9144

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 107602 862 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 1084.64
Current children cumulated vsize (Kb) 9144

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 108588 867 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 1094.55
Current children cumulated vsize (Kb) 9144

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 109570 874 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 1104.44
Current children cumulated vsize (Kb) 9144

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 110551 882 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 1114.33
Current children cumulated vsize (Kb) 9144

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 111533 889 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 1124.22
Current children cumulated vsize (Kb) 9144

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 112516 895 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 1134.11
Current children cumulated vsize (Kb) 9144

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 113499 900 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 1143.99
Current children cumulated vsize (Kb) 9144

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 114483 906 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 1153.89
Current children cumulated vsize (Kb) 9144

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 115462 913 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 1163.75
Current children cumulated vsize (Kb) 9144

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) R 4418 4419 27660 0 -1 0 2016 0 0 0 116425 926 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 1173.51
Current children cumulated vsize (Kb) 9144

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 4480
Raw data (/proc/4419/stat): 4419 (Pueblo) T 4418 4419 27660 0 -1 0 2016 0 0 0 117397 937 0 0 25 0 1 0 1787956118 9363456 1890 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4419/statm): 2286 1890 566 18 0 2268 0
[pid=4419] vsize: 9144
Current children cumulated CPU time (s) 1183.34
Current children cumulated vsize (Kb) 9144
One traced child (pid=4419) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1205.83
CPU time (s): 1189.01
CPU user time (s): 1179.57
CPU system time (s): 9.43857
CPU usage (%): 98.6054
Max. virtual memory (cumulated for all children) (Kb): 9424

Verifier Data

Verifier:	OK	-12288