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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb
MD5SUM44281820d2b00a47b643433ffa4e2d73
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 117
Optimality of the best value was proved NO
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 138
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 535
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.01
Number of variables464
Total number of constraints1395
Number of constraints which are clauses336
Number of constraints which are cardinality constraints (but not clauses)336
Number of constraints which are nor clauses,nor cardinality constraints723
Minimum length of a constraint1
Maximum length of a constraint128

Trace number 8421

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        842932 kB
Buffers:         32848 kB
Cached:         130416 kB
SwapCached:       1160 kB
Active:          60504 kB
Inactive:       105584 kB
HighTotal:      131008 kB
HighFree:         6160 kB
LowTotal:       903652 kB
LowFree:        836772 kB
SwapTotal:     2097892 kB
SwapFree:      2096252 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            19944 kB
Committed_AS:    64352 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 16:35:59 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5410 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: 464 - #constraints read: 1406
c total time              : 1189 s
s SATISFIABLE
v C0377_bit0 -C0377_bit1 C0377_bit2 -C0377_bit3 C0377_bit4 C0377_bit5 C0377_bit6 -C0377_bit7 C0001_bit0 C0002_bit0 C0003_bit0 C0004_bit0 C0005_bit0 C0006_bit0 -C0007_bit0 -C0008_bit0 -C0009_bit0 C0010_bit0 C0011_bit0 C0012_bit0 -C0013_bit0 C0014_bit0 C0015_bit0 -C0016_bit0 C0017_bit0 C0018_bit0 C0019_bit0 C0020_bit0 -C0021_bit0 -C0022_bit0 C0023_bit0 C0024_bit0 C0025_bit0 C0026_bit0 C0027_bit0 C0028_bit0 C0029_bit0 C0030_bit0 C0031_bit0 C0032_bit0 -C0033_bit0 -C0034_bit0 C0035_bit0 -C0036_bit0 -C0037_bit0 C0038_bit0 -C0039_bit0 C0040_bit0 -C0041_bit0 -C0042_bit0 C0043_bit0 C0044_bit0 -C0045_bit0 C0046_bit0 -C0047_bit0 C0048_bit0 C0049_bit0 -C0050_bit0 C0051_bit0 -C0052_bit0 C0053_bit0 -C0054_bit0 -C0055_bit0 -C0056_bit0 -C0057_bit0 C0058_bit0 C0059_bit0 C0060_bit0 -C0061_bit0 -C0062_bit0 C0063_bit0 -C0064_bit0 -C0065_bit0 -C0066_bit0 -C0067_bit0 -C0068_bit0 -C0069_bit0 -C0070_bit0 -C0071_bit0 -C0072_bit0 -C0073_bit0 -C0074_bit0 -C0075_bit0 -C0076_bit0 -C0077_bit0 -C0078_bit0 C0079_bit0 -C0080_bit0 C0081_bit0 -C0082_bit0 C0083_bit0 C0084_bit0 -C0085_bit0 -C0086_bit0 -C0087_bit0 -C0088_bit0 -C0089_bit0 -C0090_bit0 C0091_bit0 C0092_bit0 C0093_bit0 -C0094_bit0 -C0095_bit0 -C0096_bit0 C0097_bit0 -C0098_bit0 -C0099_bit0 C0100_bit0 -C0101_bit0 -C0102_bit0 -C0103_bit0 -C0104_bit0 C0105_bit0 C0106_bit0 -C0107_bit0 -C0108_bit0 -C0109_bit0 -C0110_bit0 -C0111_bit0 -C0112_bit0 -C0113_bit0 -C0114_bit0 -C0115_bit0 -C0116_bit0 C0117_bit0 C0118_bit0 -C0119_bit0 C0120_bit0 C0121_bit0 -C0122_bit0 C0123_bit0 -C0124_bit0 C0125_bit0 C0126_bit0 -C0127_bit0 -C0128_bit0 C0129_bit0 -C0130_bit0 C0131_bit0 -C0132_bit0 -C0133_bit0 C0134_bit0 -C0135_bit0 C0136_bit0 -C0137_bit0 C0138_bit0 C0139_bit0 C0140_bit0 C0141_bit0 -C0142_bit0 -C0143_bit0 -C0144_bit0 C0145_bit0 C0146_bit0 -C0147_bit0 C0148_bit0 C0149_bit0 C0150_bit0 C0151_bit0 C0152_bit0 C0153_bit0 C0154_bit0 C0155_bit0 C0156_bit0 C0157_bit0 C0158_bit0 C0159_bit0 C0160_bit0 C0161_bit0 C0162_bit0 -C0163_bit0 C0164_bit0 -C0165_bit0 C0166_bit0 -C0167_bit0 -C0168_bit0 C0169_bit0 C0170_bit0 C0171_bit0 C0172_bit0 C0173_bit0 C0174_bit0 -C0175_bit0 C0176_bit0 -C0177_bit0 C0178_bit0 C0179_bit0 C0180_bit0 C0181_bit0 C0182_bit0 C0183_bit0 -C0184_bit0 -C0185_bit0 C0186_bit0 C0187_bit0 C0188_bit0 C0189_bit0 C0190_bit0 C0191_bit0 -C0192_bit0 C0193_bit0 -C0194_bit0 C0195_bit0 C0196_bit0 -C0197_bit0 C0198_bit0 -C0199_bit0 C0200_bit0 -C0201_bit0 C0202_bit0 -C0203_bit0 -C0204_bit0 C0205_bit0 -C0206_bit0 C0207_bit0 -C0208_bit0 -C0209_bit0 C0210_bit0 C0211_bit0 C0212_bit0 C0213_bit0 C0214_bit0 -C0215_bit0 C0216_bit0 -C0217_bit0 -C0218_bit0 -C0219_bit0 -C0220_bit0 -C0221_bit0 C0222_bit0 C0223_bit0 -C0224_bit0 -C0225_bit0 C0226_bit0 -C0227_bit0 -C0228_bit0 -C0229_bit0 -C0230_bit0 C0231_bit0 -C0232_bit0 -C0233_bit0 C0234_bit0 -C0235_bit0 -C0236_bit0 -C0237_bit0 C0238_bit0 C0239_bit0 C0240_bit0 C0241_bit0 C0242_bit0 C0243_bit0 C0244_bit0 -C0245_bit0 C0246_bit0 -C0247_bit0 -C0248_bit0 -C0249_bit0 -C0250_bit0 -C0251_bit0 C0252_bit0 -C0253_bit0 -C0254_bit0 -C0255_bit0 -C0256_bit0 -C0257_bit0 -C0258_bit0 C0259_bit0 -C0260_bit0 C0261_bit0 -C0262_bit0 -C0263_bit0 -C0264_bit0 -C0265_bit0 -C0266_bit0 -C0267_bit0 C0268_bit0 C0269_bit0 -C0270_bit0 -C0271_bit0 -C0272_bit0 -C0273_bit0 -C0274_bit0 -C0275_bit0 C0276_bit0 -C0277_bit0 C0278_bit0 -C0279_bit0 -C0280_bit0 C0281_bit0 -C0282_bit0 C0283_bit0 -C0284_bit0 C0285_bit0 -C0286_bit0 C0287_bit0 C0288_bit0 -C0289_bit0 C0290_bit0 -C0291_bit0 C0292_bit0 C0293_bit0 -C0294_bit0 -C0295_bit0 -C0296_bit0 -C0297_bit0 -C0298_bit0 C0299_bit0 -C0300_bit0 C0301_bit0 C0302_bit0 C0303_bit0 C0304_bit0 C0305_bit0 -C0306_bit0 -C0307_bit0 C0308_bit0 C0309_bit0 -C0310_bit0 C0311_bit0 C0312_bit0 C0313_bit0 C0314_bit0 -C0315_bit0 C0316_bit0 C0317_bit0 -C0318_bit0 C0319_bit0 C0320_bit0 C0321_bit0 -C0322_bit0 -C0323_bit0 -C0324_bit0 -C0325_bit0 -C0326_bit0 -C0327_bit0 -C0328_bit0 C0329_bit0 -C0330_bit0 C0331_bit0 C0332_bit0 C0333_bit0 C0334_bit0 C0335_bit0 -C0336_bit0 -C0337_bit0 -C0337_bit1 -C0337_bit2 -C0338_bit0 -C0338_bit1 C0338_bit2 -C0339_bit0 C0339_bit1 -C0339_bit2 C0340_bit0 C0340_bit1 -C0340_bit2 C0341_bit0 -C0341_bit1 -C0341_bit2 -C0342_bit0 C0342_bit1 C0342_bit2 C0343_bit0 -C0343_bit1 C0343_bit2 C0344_bit0 C0344_bit1 -C0344_bit2 C0345_bit0 C0345_bit1 -C0345_bit2 -C0346_bit0 C0346_bit1 C0346_bit2 -C0347_bit0 -C0347_bit1 -C0347_bit2 C0348_bit0 -C0348_bit1 -C0348_bit2 -C0349_bit0 -C0349_bit1 -C0349_bit2 C0350_bit0 -C0350_bit1 C0350_bit2 -C0351_bit0 -C0351_bit1 C0351_bit2 C0352_bit0 C0352_bit1 -C0352_bit2 -C0353_bit0 C0353_bit1 C0353_bit2 -C0354_bit0 C0354_bit1 -C0354_bit2 C0355_bit0 -C0355_bit1 C0355_bit2 C0356_bit0 -C0356_bit1 -C0356_bit2 -C0357_bit0 -C0357_bit1 C0357_bit2 -C0358_bit0 C0358_bit1 C0358_bit2 -C0359_bit0 C0359_bit1 -C0359_bit2 C0360_bit0 C0360_bit1 -C0360_bit2 -C0361_bit0 C0361_bit1 C0361_bit2 -C0362_bit0 -C0362_bit1 -C0362_bit2 C0363_bit0 -C0363_bit1 C0363_bit2 C0364_bit0 -C0364_bit1 -C0364_bit2 -C0365_bit0 -C0365_bit1 C0365_bit2 -C0366_bit0 -C0366_bit1 C0366_bit2 -C0367_bit0 -C0367_bit1 -C0367_bit2 -C0368_bit0 -C0368_bit1 -C0368_bit2 C0369_bit0 -C0369_bit1 -C0369_bit2 -C0370_bit0 C0370_bit1 C0370_bit2 C0371_bit0 -C0371_bit1 C0371_bit2 -C0372_bit0 -C0372_bit1 C0372_bit2 C0373_bit0 -C0373_bit1 -C0373_bit2 -C0374_bit0 C0374_bit1 -C0374_bit2 -C0375_bit0 -C0375_bit1 -C0375_bit2 C0376_bit0 C0376_bit1 -C0376_bit2

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/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859860265 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 41 3 40 18 0 23 0
[pid=13504] 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.0035 s]
Raw data (loadavg): 0.79 0.87 0.94 1/57 13504
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 442 0 0 0 905 34 0 0 25 0 1 0 1859860265 3301376 408 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 806 408 566 18 0 788 0
[pid=13504] vsize: 3224
Current children cumulated CPU time (s) 9.39
Current children cumulated vsize (Kb) 3224

[startup+20.0044 s]
Raw data (loadavg): 0.82 0.88 0.94 2/57 13504
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 471 0 0 0 1824 62 0 0 25 0 1 0 1859860265 3432448 437 4294967295 134512640 134578447 3221224624 3221223476 134555731 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 838 437 566 18 0 820 0
[pid=13504] vsize: 3352
Current children cumulated CPU time (s) 18.86
Current children cumulated vsize (Kb) 3352

[startup+30.0053 s]
Raw data (loadavg): 0.85 0.88 0.94 2/57 13504
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 482 0 0 0 2737 93 0 0 25 0 1 0 1859860265 3559424 448 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 869 448 566 18 0 851 0
[pid=13504] vsize: 3476
Current children cumulated CPU time (s) 28.3
Current children cumulated vsize (Kb) 3476

[startup+40.0062 s]
Raw data (loadavg): 0.95 0.90 0.94 1/57 13504
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 491 0 0 0 3670 115 0 0 25 0 1 0 1859860265 3551232 457 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 867 457 566 18 0 849 0
[pid=13504] vsize: 3468
Current children cumulated CPU time (s) 37.85
Current children cumulated vsize (Kb) 3468

[startup+50.0072 s]
Raw data (loadavg): 0.96 0.90 0.94 2/57 13504
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 496 0 0 0 4609 135 0 0 25 0 1 0 1859860265 3551232 462 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 867 462 566 18 0 849 0
[pid=13504] vsize: 3468
Current children cumulated CPU time (s) 47.44
Current children cumulated vsize (Kb) 3468

[startup+60.0081 s]
Raw data (loadavg): 0.96 0.91 0.94 1/57 13506
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 507 0 0 0 5537 160 0 0 25 0 1 0 1859860265 3551232 473 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13504/statm): 867 473 566 18 0 849 0
[pid=13504] vsize: 3468
Current children cumulated CPU time (s) 56.97
Current children cumulated vsize (Kb) 3468

[startup+70.009 s]
Raw data (loadavg): 0.97 0.91 0.94 2/57 13506
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 509 0 0 0 6473 183 0 0 25 0 1 0 1859860265 3670016 475 4294967295 134512640 134578447 3221224624 3221223504 134527883 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13504/statm): 896 475 566 18 0 878 0
[pid=13504] vsize: 3584
Current children cumulated CPU time (s) 66.56
Current children cumulated vsize (Kb) 3584

[startup+80.01 s]
Raw data (loadavg): 0.97 0.91 0.94 2/57 13506
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 510 0 0 0 7401 209 0 0 25 0 1 0 1859860265 3670016 476 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 896 476 566 18 0 878 0
[pid=13504] vsize: 3584
Current children cumulated CPU time (s) 76.1
Current children cumulated vsize (Kb) 3584

[startup+90.0099 s]
Raw data (loadavg): 0.98 0.91 0.94 2/57 13506
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 527 0 0 0 8343 231 0 0 25 0 1 0 1859860265 3670016 493 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 896 493 566 18 0 878 0
[pid=13504] vsize: 3584
Current children cumulated CPU time (s) 85.74
Current children cumulated vsize (Kb) 3584

[startup+100.011 s]
Raw data (loadavg): 0.98 0.92 0.94 2/57 13506
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 531 0 0 0 9281 251 0 0 25 0 1 0 1859860265 3670016 497 4294967295 134512640 134578447 3221224624 3221223484 1075285664 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 896 497 566 18 0 878 0
[pid=13504] vsize: 3584
Current children cumulated CPU time (s) 95.32
Current children cumulated vsize (Kb) 3584

[startup+110.012 s]
Raw data (loadavg): 0.98 0.92 0.94 2/57 13506
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 536 0 0 0 10222 272 0 0 25 0 1 0 1859860265 3670016 502 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 896 502 566 18 0 878 0
[pid=13504] vsize: 3584
Current children cumulated CPU time (s) 104.94
Current children cumulated vsize (Kb) 3584

[startup+120.013 s]
Raw data (loadavg): 0.98 0.92 0.94 2/57 13508
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 543 0 0 0 11162 294 0 0 22 0 1 0 1859860265 3805184 509 4294967295 134512640 134578447 3221224624 3221223504 134527799 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 929 509 566 18 0 911 0
[pid=13504] vsize: 3716
Current children cumulated CPU time (s) 114.56
Current children cumulated vsize (Kb) 3716

[startup+130.014 s]
Raw data (loadavg): 0.99 0.92 0.94 2/57 13508
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 548 0 0 0 12100 314 0 0 24 0 1 0 1859860265 3805184 514 4294967295 134512640 134578447 3221224624 3221223456 134558515 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 929 514 566 18 0 911 0
[pid=13504] vsize: 3716
Current children cumulated CPU time (s) 124.14
Current children cumulated vsize (Kb) 3716

[startup+140.014 s]
Raw data (loadavg): 0.99 0.92 0.94 2/57 13508
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 554 0 0 0 13042 336 0 0 25 0 1 0 1859860265 3805184 520 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 929 520 566 18 0 911 0
[pid=13504] vsize: 3716
Current children cumulated CPU time (s) 133.78
Current children cumulated vsize (Kb) 3716

[startup+150.014 s]
Raw data (loadavg): 0.99 0.93 0.94 2/57 13508
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 554 0 0 0 13984 355 0 0 25 0 1 0 1859860265 3805184 520 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 929 520 566 18 0 911 0
[pid=13504] vsize: 3716
Current children cumulated CPU time (s) 143.39
Current children cumulated vsize (Kb) 3716

[startup+160.014 s]
Raw data (loadavg): 0.99 0.93 0.94 2/57 13508
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 558 0 0 0 14926 374 0 0 25 0 1 0 1859860265 3805184 524 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13504/statm): 929 524 566 18 0 911 0
[pid=13504] vsize: 3716
Current children cumulated CPU time (s) 153
Current children cumulated vsize (Kb) 3716

[startup+170.015 s]
Raw data (loadavg): 0.99 0.93 0.94 2/57 13508
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 566 0 0 0 15873 393 0 0 25 0 1 0 1859860265 3805184 532 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 929 532 566 18 0 911 0
[pid=13504] vsize: 3716
Current children cumulated CPU time (s) 162.66
Current children cumulated vsize (Kb) 3716

[startup+180.016 s]
Raw data (loadavg): 0.99 0.93 0.94 2/57 13510
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 566 0 0 0 16823 412 0 0 25 0 1 0 1859860265 3805184 532 4294967295 134512640 134578447 3221224624 3221223368 1075285796 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 929 532 566 18 0 911 0
[pid=13504] vsize: 3716
Current children cumulated CPU time (s) 172.35
Current children cumulated vsize (Kb) 3716

[startup+190.016 s]
Raw data (loadavg): 0.99 0.93 0.94 1/57 13510
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 570 0 0 0 17759 434 0 0 25 0 1 0 1859860265 3805184 536 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 929 536 566 18 0 911 0
[pid=13504] vsize: 3716
Current children cumulated CPU time (s) 181.93
Current children cumulated vsize (Kb) 3716

[startup+200.017 s]
Raw data (loadavg): 0.99 0.94 0.94 2/57 13510
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 570 0 0 0 18700 453 0 0 25 0 1 0 1859860265 3805184 536 4294967295 134512640 134578447 3221224624 3221223456 134528601 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 929 536 566 18 0 911 0
[pid=13504] vsize: 3716
Current children cumulated CPU time (s) 191.53
Current children cumulated vsize (Kb) 3716

[startup+210.018 s]
Raw data (loadavg): 0.99 0.94 0.94 2/57 13510
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 572 0 0 0 19644 473 0 0 25 0 1 0 1859860265 3911680 538 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 955 538 566 18 0 937 0
[pid=13504] vsize: 3820
Current children cumulated CPU time (s) 201.17
Current children cumulated vsize (Kb) 3820

[startup+220.019 s]
Raw data (loadavg): 0.99 0.94 0.94 2/57 13510
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 572 0 0 0 20592 492 0 0 25 0 1 0 1859860265 3911680 538 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 955 538 566 18 0 937 0
[pid=13504] vsize: 3820
Current children cumulated CPU time (s) 210.84
Current children cumulated vsize (Kb) 3820

[startup+230.02 s]
Raw data (loadavg): 0.99 0.94 0.94 2/57 13510
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 578 0 0 0 21528 517 0 0 25 0 1 0 1859860265 3911680 544 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 955 544 566 18 0 937 0
[pid=13504] vsize: 3820
Current children cumulated CPU time (s) 220.45
Current children cumulated vsize (Kb) 3820

[startup+240.021 s]
Raw data (loadavg): 0.99 0.94 0.94 2/57 13512
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 580 0 0 0 22463 537 0 0 25 0 1 0 1859860265 3911680 546 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 955 546 566 18 0 937 0
[pid=13504] vsize: 3820
Current children cumulated CPU time (s) 230
Current children cumulated vsize (Kb) 3820

[startup+250.022 s]
Raw data (loadavg): 0.99 0.94 0.94 1/57 13512
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 580 0 0 0 23399 559 0 0 25 0 1 0 1859860265 3911680 546 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 955 546 566 18 0 937 0
[pid=13504] vsize: 3820
Current children cumulated CPU time (s) 239.58
Current children cumulated vsize (Kb) 3820

[startup+260.023 s]
Raw data (loadavg): 0.99 0.94 0.94 1/57 13512
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 580 0 0 0 24338 582 0 0 25 0 1 0 1859860265 3911680 546 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 955 546 566 18 0 937 0
[pid=13504] vsize: 3820
Current children cumulated CPU time (s) 249.2
Current children cumulated vsize (Kb) 3820

[startup+270.025 s]
Raw data (loadavg): 0.99 0.95 0.94 1/57 13512
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 580 0 0 0 25274 604 0 0 25 0 1 0 1859860265 3911680 546 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 955 546 566 18 0 937 0
[pid=13504] vsize: 3820
Current children cumulated CPU time (s) 258.78
Current children cumulated vsize (Kb) 3820

[startup+280.026 s]
Raw data (loadavg): 0.99 0.95 0.94 2/57 13512
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 580 0 0 0 26211 625 0 0 25 0 1 0 1859860265 3911680 546 4294967295 134512640 134578447 3221224624 3221223476 134555800 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 955 546 566 18 0 937 0
[pid=13504] vsize: 3820
Current children cumulated CPU time (s) 268.36
Current children cumulated vsize (Kb) 3820

[startup+290.026 s]
Raw data (loadavg): 0.99 0.95 0.94 2/57 13512
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 580 0 0 0 27147 647 0 0 25 0 1 0 1859860265 3911680 546 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 955 546 566 18 0 937 0
[pid=13504] vsize: 3820
Current children cumulated CPU time (s) 277.94
Current children cumulated vsize (Kb) 3820

[startup+300.026 s]
Raw data (loadavg): 0.99 0.95 0.94 2/57 13514
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 580 0 0 0 28085 667 0 0 25 0 1 0 1859860265 3911680 546 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 955 546 566 18 0 937 0
[pid=13504] vsize: 3820
Current children cumulated CPU time (s) 287.52
Current children cumulated vsize (Kb) 3820

[startup+310.027 s]
Raw data (loadavg): 0.99 0.95 0.94 2/57 13514
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 580 0 0 0 29025 685 0 0 25 0 1 0 1859860265 3911680 546 4294967295 134512640 134578447 3221224624 3221223536 134556881 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13504/statm): 955 546 566 18 0 937 0
[pid=13504] vsize: 3820
Current children cumulated CPU time (s) 297.1
Current children cumulated vsize (Kb) 3820

[startup+320.028 s]
Raw data (loadavg): 0.99 0.95 0.94 2/57 13514
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 583 0 0 0 29966 705 0 0 25 0 1 0 1859860265 3911680 549 4294967295 134512640 134578447 3221224624 3221223520 134519831 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 955 549 566 18 0 937 0
[pid=13504] vsize: 3820
Current children cumulated CPU time (s) 306.71
Current children cumulated vsize (Kb) 3820

[startup+330.029 s]
Raw data (loadavg): 0.99 0.95 0.94 2/57 13514
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 588 0 0 0 30905 727 0 0 25 0 1 0 1859860265 3911680 554 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 955 554 566 18 0 937 0
[pid=13504] vsize: 3820
Current children cumulated CPU time (s) 316.32
Current children cumulated vsize (Kb) 3820

[startup+340.029 s]
Raw data (loadavg): 0.99 0.95 0.94 1/57 13514
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 588 0 0 0 31839 751 0 0 25 0 1 0 1859860265 3911680 554 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13504/statm): 955 554 566 18 0 937 0
[pid=13504] vsize: 3820
Current children cumulated CPU time (s) 325.9
Current children cumulated vsize (Kb) 3820

[startup+350.03 s]
Raw data (loadavg): 0.99 0.95 0.94 1/57 13514
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 588 0 0 0 32775 774 0 0 25 0 1 0 1859860265 3911680 554 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 955 554 566 18 0 937 0
[pid=13504] vsize: 3820
Current children cumulated CPU time (s) 335.49
Current children cumulated vsize (Kb) 3820

[startup+360.031 s]
Raw data (loadavg): 0.99 0.95 0.94 2/57 13516
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 595 0 0 0 33710 795 0 0 25 0 1 0 1859860265 3911680 561 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 955 561 566 18 0 937 0
[pid=13504] vsize: 3820
Current children cumulated CPU time (s) 345.05
Current children cumulated vsize (Kb) 3820

[startup+370.032 s]
Raw data (loadavg): 1.07 0.97 0.95 2/57 13516
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 597 0 0 0 34649 816 0 0 25 0 1 0 1859860265 4034560 563 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13504/statm): 985 563 566 18 0 967 0
[pid=13504] vsize: 3940
Current children cumulated CPU time (s) 354.65
Current children cumulated vsize (Kb) 3940

[startup+380.033 s]
Raw data (loadavg): 1.06 0.97 0.95 2/57 13516
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 597 0 0 0 35586 836 0 0 25 0 1 0 1859860265 4022272 563 4294967295 134512640 134578447 3221224624 3221223504 134527861 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13504/statm): 982 563 566 18 0 964 0
[pid=13504] vsize: 3928
Current children cumulated CPU time (s) 364.22
Current children cumulated vsize (Kb) 3928

[startup+390.033 s]
Raw data (loadavg): 1.05 0.97 0.95 2/57 13516
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 597 0 0 0 36522 855 0 0 25 0 1 0 1859860265 4022272 563 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 982 563 566 18 0 964 0
[pid=13504] vsize: 3928
Current children cumulated CPU time (s) 373.77
Current children cumulated vsize (Kb) 3928

[startup+400.034 s]
Raw data (loadavg): 1.04 0.97 0.95 2/57 13516
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 598 0 0 0 37467 877 0 0 25 0 1 0 1859860265 4022272 564 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 982 564 566 18 0 964 0
[pid=13504] vsize: 3928
Current children cumulated CPU time (s) 383.44
Current children cumulated vsize (Kb) 3928

[startup+410.034 s]
Raw data (loadavg): 1.04 0.97 0.95 2/57 13516
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 602 0 0 0 38416 895 0 0 25 0 1 0 1859860265 4022272 568 4294967295 134512640 134578447 3221224624 3221223228 1075289088 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 982 568 566 18 0 964 0
[pid=13504] vsize: 3928
Current children cumulated CPU time (s) 393.11
Current children cumulated vsize (Kb) 3928

[startup+420.035 s]
Raw data (loadavg): 1.03 0.97 0.95 1/57 13518
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 607 0 0 0 39352 919 0 0 25 0 1 0 1859860265 4022272 573 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 982 573 566 18 0 964 0
[pid=13504] vsize: 3928
Current children cumulated CPU time (s) 402.71
Current children cumulated vsize (Kb) 3928

[startup+430.036 s]
Raw data (loadavg): 1.03 0.97 0.95 2/57 13518
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 607 0 0 0 40303 936 0 0 25 0 1 0 1859860265 4022272 573 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 982 573 566 18 0 964 0
[pid=13504] vsize: 3928
Current children cumulated CPU time (s) 412.39
Current children cumulated vsize (Kb) 3928

[startup+440.035 s]
Raw data (loadavg): 1.02 0.97 0.95 2/57 13518
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 615 0 0 0 41250 954 0 0 25 0 1 0 1859860265 4022272 581 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 982 581 566 18 0 964 0
[pid=13504] vsize: 3928
Current children cumulated CPU time (s) 422.04
Current children cumulated vsize (Kb) 3928

[startup+450.036 s]
Raw data (loadavg): 1.02 0.97 0.95 2/57 13518
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 615 0 0 0 42197 974 0 0 25 0 1 0 1859860265 4022272 581 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 982 581 566 18 0 964 0
[pid=13504] vsize: 3928
Current children cumulated CPU time (s) 431.71
Current children cumulated vsize (Kb) 3928

[startup+460.037 s]
Raw data (loadavg): 1.01 0.97 0.95 1/57 13518
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 619 0 0 0 43152 992 0 0 25 0 1 0 1859860265 4022272 585 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13504/statm): 982 585 566 18 0 964 0
[pid=13504] vsize: 3928
Current children cumulated CPU time (s) 441.44
Current children cumulated vsize (Kb) 3928

[startup+470.038 s]
Raw data (loadavg): 1.01 0.97 0.95 1/57 13518
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 625 0 0 0 44102 1010 0 0 25 0 1 0 1859860265 4124672 591 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1007 591 566 18 0 989 0
[pid=13504] vsize: 4028
Current children cumulated CPU time (s) 451.12
Current children cumulated vsize (Kb) 4028

[startup+480.039 s]
Raw data (loadavg): 1.01 0.97 0.95 2/57 13520
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 625 0 0 0 45044 1034 0 0 25 0 1 0 1859860265 4112384 591 4294967295 134512640 134578447 3221224624 3221223488 134528383 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13504/statm): 1004 591 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 460.78
Current children cumulated vsize (Kb) 4016

[startup+490.039 s]
Raw data (loadavg): 1.01 0.97 0.95 2/57 13520
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 625 0 0 0 45992 1053 0 0 25 0 1 0 1859860265 4112384 591 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 591 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 470.45
Current children cumulated vsize (Kb) 4016

[startup+500.04 s]
Raw data (loadavg): 1.01 0.97 0.95 2/57 13520
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 625 0 0 0 46943 1072 0 0 25 0 1 0 1859860265 4112384 591 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 591 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 480.15
Current children cumulated vsize (Kb) 4016

[startup+510.041 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13520
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 625 0 0 0 47892 1089 0 0 25 0 1 0 1859860265 4112384 591 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 591 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 489.81
Current children cumulated vsize (Kb) 4016

[startup+520.042 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13520
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 625 0 0 0 48839 1108 0 0 25 0 1 0 1859860265 4112384 591 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 591 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 499.47
Current children cumulated vsize (Kb) 4016

[startup+530.043 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13520
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 625 0 0 0 49790 1125 0 0 25 0 1 0 1859860265 4112384 591 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 591 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 509.15
Current children cumulated vsize (Kb) 4016

[startup+540.043 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 13522
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 625 0 0 0 50737 1144 0 0 25 0 1 0 1859860265 4112384 591 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 591 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 518.81
Current children cumulated vsize (Kb) 4016

[startup+550.044 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 13522
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 638 0 0 0 51692 1159 0 0 25 0 1 0 1859860265 4112384 604 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13504/statm): 1004 604 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 528.51
Current children cumulated vsize (Kb) 4016

[startup+560.044 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 13522
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 638 0 0 0 52635 1179 0 0 25 0 1 0 1859860265 4112384 604 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 604 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 538.14
Current children cumulated vsize (Kb) 4016

[startup+570.046 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13522
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 638 0 0 0 53582 1197 0 0 25 0 1 0 1859860265 4112384 604 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 604 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 547.79
Current children cumulated vsize (Kb) 4016

[startup+580.046 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13522
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 638 0 0 0 54527 1215 0 0 25 0 1 0 1859860265 4112384 604 4294967295 134512640 134578447 3221224624 3221223456 134527242 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13504/statm): 1004 604 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 557.42
Current children cumulated vsize (Kb) 4016

[startup+590.046 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13522
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 638 0 0 0 55472 1235 0 0 25 0 1 0 1859860265 4112384 604 4294967295 134512640 134578447 3221224624 3221223520 134519742 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 604 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 567.07
Current children cumulated vsize (Kb) 4016

[startup+600.048 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13524
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 638 0 0 0 56416 1254 0 0 25 0 1 0 1859860265 4112384 604 4294967295 134512640 134578447 3221224624 3221223584 134558776 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 604 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 576.7
Current children cumulated vsize (Kb) 4016

[startup+610.049 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13524
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 638 0 0 0 57355 1276 0 0 25 0 1 0 1859860265 4112384 604 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 604 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 586.31
Current children cumulated vsize (Kb) 4016

[startup+620.05 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 13524
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 638 0 0 0 58300 1297 0 0 25 0 1 0 1859860265 4112384 604 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13504/statm): 1004 604 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 595.97
Current children cumulated vsize (Kb) 4016

[startup+630.051 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 13524
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 638 0 0 0 59233 1319 0 0 25 0 1 0 1859860265 4112384 604 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13504/statm): 1004 604 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 605.52
Current children cumulated vsize (Kb) 4016

[startup+640.052 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13524
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 638 0 0 0 60176 1341 0 0 25 0 1 0 1859860265 4112384 604 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13504/statm): 1004 604 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 615.17
Current children cumulated vsize (Kb) 4016

[startup+650.053 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13524
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 645 0 0 0 61125 1360 0 0 25 0 1 0 1859860265 4112384 611 4294967295 134512640 134578447 3221224624 3221223228 1075288351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 611 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 624.85
Current children cumulated vsize (Kb) 4016

[startup+660.054 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 13526
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 645 0 0 0 62076 1376 0 0 25 0 1 0 1859860265 4112384 611 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 611 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 634.52
Current children cumulated vsize (Kb) 4016

[startup+670.056 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13526
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 645 0 0 0 63025 1395 0 0 25 0 1 0 1859860265 4112384 611 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 611 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 644.2
Current children cumulated vsize (Kb) 4016

[startup+680.057 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 13526
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 645 0 0 0 63974 1415 0 0 25 0 1 0 1859860265 4112384 611 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 611 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 653.89
Current children cumulated vsize (Kb) 4016

[startup+690.057 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13526
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 645 0 0 0 64919 1435 0 0 25 0 1 0 1859860265 4112384 611 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 611 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 663.54
Current children cumulated vsize (Kb) 4016

[startup+700.058 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13526
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 645 0 0 0 65859 1455 0 0 17 0 1 0 1859860265 4112384 611 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13504/statm): 1004 611 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 673.14
Current children cumulated vsize (Kb) 4016

[startup+710.058 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13526
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 645 0 0 0 66793 1480 0 0 25 0 1 0 1859860265 4112384 611 4294967295 134512640 134578447 3221224624 3221223580 134558755 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 611 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 682.73
Current children cumulated vsize (Kb) 4016

[startup+720.058 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13528
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 645 0 0 0 67733 1500 0 0 25 0 1 0 1859860265 4112384 611 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13504/statm): 1004 611 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 692.33
Current children cumulated vsize (Kb) 4016

[startup+730.059 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13528
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 645 0 0 0 68675 1522 0 0 25 0 1 0 1859860265 4112384 611 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 611 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (Kb) 4016

[startup+740.06 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 13528
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 645 0 0 0 69611 1545 0 0 25 0 1 0 1859860265 4112384 611 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 611 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 711.56
Current children cumulated vsize (Kb) 4016

[startup+750.061 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 13528
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 645 0 0 0 70552 1568 0 0 25 0 1 0 1859860265 4112384 611 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13504/statm): 1004 611 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 721.2
Current children cumulated vsize (Kb) 4016

[startup+760.062 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 13528
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 645 0 0 0 71488 1592 0 0 18 0 1 0 1859860265 4112384 611 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13504/statm): 1004 611 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 730.8
Current children cumulated vsize (Kb) 4016

[startup+770.063 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13528
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 645 0 0 0 72430 1612 0 0 25 0 1 0 1859860265 4112384 611 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13504/statm): 1004 611 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 740.42
Current children cumulated vsize (Kb) 4016

[startup+780.064 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13530
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 645 0 0 0 73367 1635 0 0 25 0 1 0 1859860265 4112384 611 4294967295 134512640 134578447 3221224624 3221223556 134527379 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 611 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 750.02
Current children cumulated vsize (Kb) 4016

[startup+790.064 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13530
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 645 0 0 0 74301 1657 0 0 25 0 1 0 1859860265 4112384 611 4294967295 134512640 134578447 3221224624 3221223584 134558754 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13504/statm): 1004 611 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 759.58
Current children cumulated vsize (Kb) 4016

[startup+800.065 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13530
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 645 0 0 0 75240 1678 0 0 25 0 1 0 1859860265 4112384 611 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 611 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 769.18
Current children cumulated vsize (Kb) 4016

[startup+810.066 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13530
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 645 0 0 0 76187 1698 0 0 25 0 1 0 1859860265 4112384 611 4294967295 134512640 134578447 3221224624 3221223476 134555970 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1004 611 566 18 0 986 0
[pid=13504] vsize: 4016
Current children cumulated CPU time (s) 778.85
Current children cumulated vsize (Kb) 4016

[startup+820.067 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13530
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 665 0 0 0 77140 1715 0 0 25 0 1 0 1859860265 4247552 631 4294967295 134512640 134578447 3221224624 3221223584 134559071 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1037 631 566 18 0 1019 0
[pid=13504] vsize: 4148
Current children cumulated CPU time (s) 788.55
Current children cumulated vsize (Kb) 4148

[startup+830.068 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13530
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 674 0 0 0 78099 1728 0 0 25 0 1 0 1859860265 4247552 640 4294967295 134512640 134578447 3221224624 3221223504 134528043 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13504/statm): 1037 640 566 18 0 1019 0
[pid=13504] vsize: 4148
Current children cumulated CPU time (s) 798.27
Current children cumulated vsize (Kb) 4148

[startup+840.068 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13532
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 674 0 0 0 79059 1741 0 0 25 0 1 0 1859860265 4247552 640 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1037 640 566 18 0 1019 0
[pid=13504] vsize: 4148
Current children cumulated CPU time (s) 808
Current children cumulated vsize (Kb) 4148

[startup+850.069 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13532
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 680 0 0 0 80021 1755 0 0 25 0 1 0 1859860265 4345856 646 4294967295 134512640 134578447 3221224624 3221223156 1074910624 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1061 646 566 18 0 1043 0
[pid=13504] vsize: 4244
Current children cumulated CPU time (s) 817.76
Current children cumulated vsize (Kb) 4244

[startup+860.069 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13532
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 680 0 0 0 80974 1771 0 0 25 0 1 0 1859860265 4345856 646 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1061 646 566 18 0 1043 0
[pid=13504] vsize: 4244
Current children cumulated CPU time (s) 827.45
Current children cumulated vsize (Kb) 4244

[startup+870.07 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 13532
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 680 0 0 0 81930 1787 0 0 25 0 1 0 1859860265 4345856 646 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1061 646 566 18 0 1043 0
[pid=13504] vsize: 4244
Current children cumulated CPU time (s) 837.17
Current children cumulated vsize (Kb) 4244

[startup+880.071 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13532
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 680 0 0 0 82890 1803 0 0 25 0 1 0 1859860265 4345856 646 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1061 646 566 18 0 1043 0
[pid=13504] vsize: 4244
Current children cumulated CPU time (s) 846.93
Current children cumulated vsize (Kb) 4244

[startup+890.071 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 13532
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 680 0 0 0 83844 1821 0 0 25 0 1 0 1859860265 4345856 646 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13504/statm): 1061 646 566 18 0 1043 0
[pid=13504] vsize: 4244
Current children cumulated CPU time (s) 856.65
Current children cumulated vsize (Kb) 4244

[startup+900.072 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13534
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 680 0 0 0 84791 1840 0 0 25 0 1 0 1859860265 4345856 646 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1061 646 566 18 0 1043 0
[pid=13504] vsize: 4244
Current children cumulated CPU time (s) 866.31
Current children cumulated vsize (Kb) 4244

[startup+910.073 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13534
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 680 0 0 0 85747 1856 0 0 25 0 1 0 1859860265 4345856 646 4294967295 134512640 134578447 3221224624 3221223504 134528076 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1061 646 566 18 0 1043 0
[pid=13504] vsize: 4244
Current children cumulated CPU time (s) 876.03
Current children cumulated vsize (Kb) 4244

[startup+920.075 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 13534
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 680 0 0 0 86696 1873 0 0 25 0 1 0 1859860265 4345856 646 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13504/statm): 1061 646 566 18 0 1043 0
[pid=13504] vsize: 4244
Current children cumulated CPU time (s) 885.69
Current children cumulated vsize (Kb) 4244

[startup+930.076 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13534
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 680 0 0 0 87653 1888 0 0 25 0 1 0 1859860265 4345856 646 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1061 646 566 18 0 1043 0
[pid=13504] vsize: 4244
Current children cumulated CPU time (s) 895.41
Current children cumulated vsize (Kb) 4244

[startup+940.077 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13534
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 680 0 0 0 88603 1907 0 0 25 0 1 0 1859860265 4345856 646 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13504/statm): 1061 646 566 18 0 1043 0
[pid=13504] vsize: 4244
Current children cumulated CPU time (s) 905.1
Current children cumulated vsize (Kb) 4244

[startup+950.078 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13534
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 680 0 0 0 89550 1926 0 0 25 0 1 0 1859860265 4345856 646 4294967295 134512640 134578447 3221224624 3221223504 134528161 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1061 646 566 18 0 1043 0
[pid=13504] vsize: 4244
Current children cumulated CPU time (s) 914.76
Current children cumulated vsize (Kb) 4244

[startup+960.079 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13536
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 680 0 0 0 90496 1945 0 0 25 0 1 0 1859860265 4345856 646 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1061 646 566 18 0 1043 0
[pid=13504] vsize: 4244
Current children cumulated CPU time (s) 924.41
Current children cumulated vsize (Kb) 4244

[startup+970.08 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 13536
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 680 0 0 0 91446 1963 0 0 25 0 1 0 1859860265 4345856 646 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1061 646 566 18 0 1043 0
[pid=13504] vsize: 4244
Current children cumulated CPU time (s) 934.09
Current children cumulated vsize (Kb) 4244

[startup+980.081 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 13536
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 680 0 0 0 92396 1980 0 0 25 0 1 0 1859860265 4345856 646 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1061 646 566 18 0 1043 0
[pid=13504] vsize: 4244
Current children cumulated CPU time (s) 943.76
Current children cumulated vsize (Kb) 4244

[startup+990.082 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13536
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 680 0 0 0 93352 1995 0 0 25 0 1 0 1859860265 4341760 646 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1060 646 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 953.47
Current children cumulated vsize (Kb) 4240

[startup+1000.08 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 13536
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 686 0 0 0 94301 2012 0 0 25 0 1 0 1859860265 4341760 652 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1060 652 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 963.13
Current children cumulated vsize (Kb) 4240

[startup+1010.08 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 13536
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 686 0 0 0 95250 2030 0 0 25 0 1 0 1859860265 4341760 652 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13504/statm): 1060 652 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 972.8
Current children cumulated vsize (Kb) 4240

[startup+1020.08 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13538
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 686 0 0 0 96194 2049 0 0 25 0 1 0 1859860265 4341760 652 4294967295 134512640 134578447 3221224624 3221223456 134558354 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13504/statm): 1060 652 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 982.43
Current children cumulated vsize (Kb) 4240

[startup+1030.08 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13538
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 686 0 0 0 97136 2071 0 0 25 0 1 0 1859860265 4341760 652 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1060 652 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 992.07
Current children cumulated vsize (Kb) 4240

[startup+1040.09 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13538
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 686 0 0 0 98078 2091 0 0 25 0 1 0 1859860265 4341760 652 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1060 652 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 1001.69
Current children cumulated vsize (Kb) 4240

[startup+1050.09 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 13538
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 686 0 0 0 99018 2113 0 0 25 0 1 0 1859860265 4341760 652 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1060 652 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 1011.31
Current children cumulated vsize (Kb) 4240

[startup+1060.09 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13538
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 686 0 0 0 99959 2134 0 0 25 0 1 0 1859860265 4341760 652 4294967295 134512640 134578447 3221224624 3221223520 134519823 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1060 652 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 1020.93
Current children cumulated vsize (Kb) 4240

[startup+1070.09 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13538
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 686 0 0 0 100903 2154 0 0 25 0 1 0 1859860265 4341760 652 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13504/statm): 1060 652 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 1030.57
Current children cumulated vsize (Kb) 4240

[startup+1080.09 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13540
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 686 0 0 0 101853 2172 0 0 25 0 1 0 1859860265 4341760 652 4294967295 134512640 134578447 3221224624 3221223472 134556266 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1060 652 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 1040.25
Current children cumulated vsize (Kb) 4240

[startup+1090.09 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13540
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 686 0 0 0 102799 2191 0 0 25 0 1 0 1859860265 4341760 652 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1060 652 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 1049.9
Current children cumulated vsize (Kb) 4240

[startup+1100.09 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13540
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 686 0 0 0 103749 2208 0 0 25 0 1 0 1859860265 4341760 652 4294967295 134512640 134578447 3221224624 3221223504 134527907 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1060 652 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 1059.57
Current children cumulated vsize (Kb) 4240

[startup+1110.09 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13540
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 686 0 0 0 104698 2226 0 0 25 0 1 0 1859860265 4341760 652 4294967295 134512640 134578447 3221224624 3221223520 134519887 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1060 652 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 1069.24
Current children cumulated vsize (Kb) 4240

[startup+1120.09 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 13540
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 686 0 0 0 105646 2245 0 0 25 0 1 0 1859860265 4341760 652 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1060 652 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 1078.91
Current children cumulated vsize (Kb) 4240

[startup+1130.09 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13540
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 686 0 0 0 106588 2267 0 0 25 0 1 0 1859860265 4341760 652 4294967295 134512640 134578447 3221224624 3221223504 134528068 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13504/statm): 1060 652 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 1088.55
Current children cumulated vsize (Kb) 4240

[startup+1140.09 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 13542
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 686 0 0 0 107534 2287 0 0 25 0 1 0 1859860265 4341760 652 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1060 652 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 1098.21
Current children cumulated vsize (Kb) 4240

[startup+1150.09 s]
Raw data (loadavg): 1.00 0.97 0.95 1/57 13542
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 686 0 0 0 108478 2307 0 0 25 0 1 0 1859860265 4341760 652 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1060 652 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 1107.85
Current children cumulated vsize (Kb) 4240

[startup+1160.09 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13542
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 686 0 0 0 109421 2327 0 0 25 0 1 0 1859860265 4341760 652 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13504/statm): 1060 652 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 1117.48
Current children cumulated vsize (Kb) 4240

[startup+1170.1 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13542
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 686 0 0 0 110361 2345 0 0 25 0 1 0 1859860265 4341760 652 4294967295 134512640 134578447 3221224624 3221223476 134555723 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1060 652 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 1127.06
Current children cumulated vsize (Kb) 4240

[startup+1180.1 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13542
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 686 0 0 0 111309 2363 0 0 25 0 1 0 1859860265 4341760 652 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1060 652 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 1136.72
Current children cumulated vsize (Kb) 4240

[startup+1190.1 s]
Raw data (loadavg): 1.00 0.97 0.95 2/57 13542
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 688 0 0 0 112259 2380 0 0 25 0 1 0 1859860265 4341760 654 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1060 654 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 1146.39
Current children cumulated vsize (Kb) 4240

[startup+1200.1 s]
Raw data (loadavg): 1.08 0.99 0.95 2/57 13544
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 688 0 0 0 113202 2400 0 0 25 0 1 0 1859860265 4341760 654 4294967295 134512640 134578447 3221224624 3221223508 134531664 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1060 654 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 1156.02
Current children cumulated vsize (Kb) 4240

[startup+1210.1 s]
Raw data (loadavg): 1.07 0.99 0.95 2/57 13544
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 688 0 0 0 114148 2420 0 0 25 0 1 0 1859860265 4341760 654 4294967295 134512640 134578447 3221224624 3221223288 1075291317 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1060 654 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 1165.68
Current children cumulated vsize (Kb) 4240

[startup+1220.1 s]
Raw data (loadavg): 1.06 0.99 0.95 1/57 13544
Raw data (/proc/13504/stat): 13504 (Pueblo) T 13503 13504 9102 0 -1 0 688 0 0 0 115095 2438 0 0 25 0 1 0 1859860265 4341760 654 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1060 654 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 1175.33
Current children cumulated vsize (Kb) 4240

[startup+1230.1 s]
Raw data (loadavg): 1.05 0.99 0.95 2/57 13544
Raw data (/proc/13504/stat): 13504 (Pueblo) R 13503 13504 9102 0 -1 0 688 0 0 0 116039 2457 0 0 25 0 1 0 1859860265 4341760 654 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13504/statm): 1060 654 566 18 0 1042 0
[pid=13504] vsize: 4240
Current children cumulated CPU time (s) 1184.96
Current children cumulated vsize (Kb) 4240
One traced child (pid=13504) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1234.3
CPU time (s): 1189.01
CPU user time (s): 1164.35
CPU system time (s): 24.6593
CPU usage (%): 96.331
Max. virtual memory (cumulated for all children) (Kb): 4244

Verifier Data

Verifier:	OK	117