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/miplib/normalized-mps-v2-20-10-lseu.opb
MD5SUM5fcfa2f72175b9723ffb2781fb76fcdc
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1120
Optimality of the best value was proved YES
Number of terms in the objective function 85
Biggest coefficient in the objective function 517
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 15494
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1656
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 15494
Number of bits of the biggest sum of numbers14
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark667.773
Number of variables89
Total number of constraints117
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)104
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint1
Maximum length of a constraint47

Trace number 8095

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        869120 kB
Buffers:         30652 kB
Cached:         106708 kB
SwapCached:        884 kB
Active:          60344 kB
Inactive:        79652 kB
HighTotal:      131008 kB
HighFree:        25732 kB
LowTotal:       903652 kB
LowFree:        843388 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5564 kB
Slab:            19960 kB
Committed_AS:    64188 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 15:55:25 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5205 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: 89 - #constraints read: 118
c total time              : 1189 s
s SATISFIABLE
v C101_bit0 C102_bit0 -C103_bit0 -C104_bit0 -C105_bit0 -C108_bit0 -C111_bit0 -C112_bit0 -C113_bit0 C114_bit0 -C115_bit0 -C116_bit0 -C117_bit0 -C118_bit0 -C119_bit0 -C120_bit0 -C121_bit0 -C122_bit0 -C123_bit0 -C124_bit0 -C125_bit0 -C126_bit0 C127_bit0 -C128_bit0 -C129_bit0 -C130_bit0 -C131_bit0 -C132_bit0 -C133_bit0 -C134_bit0 C135_bit0 -C136_bit0 -C137_bit0 -C138_bit0 -C139_bit0 -C140_bit0 -C141_bit0 -C142_bit0 -C143_bit0 -C144_bit0 C145_bit0 -C146_bit0 -C147_bit0 -C148_bit0 -C149_bit0 C150_bit0 -C151_bit0 C152_bit0 -C153_bit0 -C154_bit0 -C155_bit0 -C156_bit0 -C157_bit0 -C158_bit0 -C159_bit0 -C160_bit0 -C161_bit0 -C162_bit0 C163_bit0 -C164_bit0 -C165_bit0 C166_bit0 -C167_bit0 -C168_bit0 -C169_bit0 C170_bit0 -C171_bit0 -C172_bit0 -C173_bit0 C174_bit0 -C175_bit0 -C176_bit0 -C177_bit0 -C178_bit0 -C179_bit0 -C180_bit0 -C181_bit0 -C182_bit0 -C183_bit0 -C184_bit0 -C185_bit0 -C186_bit0 -C187_bit0 -C188_bit0 -C189_bit0 -C106_bit0 -C107_bit0 C109_bit0 -C110_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/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859633456 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 41 3 40 18 0 23 0
[pid=13876] 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.0038 s]
Raw data (loadavg): 0.93 0.98 0.94 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 327 0 0 0 790 71 0 0 25 0 1 0 1859633456 2904064 293 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13876/statm): 709 293 566 18 0 691 0
[pid=13876] vsize: 2836
Current children cumulated CPU time (s) 8.61
Current children cumulated vsize (Kb) 2836

[startup+20.0046 s]
Raw data (loadavg): 0.94 0.98 0.94 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 332 0 0 0 1658 115 0 0 24 0 1 0 1859633456 2904064 298 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13876/statm): 709 298 566 18 0 691 0
[pid=13876] vsize: 2836
Current children cumulated CPU time (s) 17.73
Current children cumulated vsize (Kb) 2836

[startup+30.0054 s]
Raw data (loadavg): 0.95 0.98 0.94 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 337 0 0 0 2522 164 0 0 25 0 1 0 1859633456 2904064 303 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 709 303 566 18 0 691 0
[pid=13876] vsize: 2836
Current children cumulated CPU time (s) 26.86
Current children cumulated vsize (Kb) 2836

[startup+40.0062 s]
Raw data (loadavg): 0.96 0.98 0.94 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 339 0 0 0 3418 197 0 0 19 0 1 0 1859633456 2904064 305 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13876/statm): 709 305 566 18 0 691 0
[pid=13876] vsize: 2836
Current children cumulated CPU time (s) 36.15
Current children cumulated vsize (Kb) 2836

[startup+50.006 s]
Raw data (loadavg): 0.96 0.98 0.94 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 345 0 0 0 4316 231 0 0 25 0 1 0 1859633456 2904064 311 4294967295 134512640 134578447 3221224624 3221223584 134559095 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 709 311 566 18 0 691 0
[pid=13876] vsize: 2836
Current children cumulated CPU time (s) 45.47
Current children cumulated vsize (Kb) 2836

[startup+60.0068 s]
Raw data (loadavg): 0.97 0.98 0.94 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 349 0 0 0 5212 269 0 0 25 0 1 0 1859633456 2904064 315 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13876/statm): 709 315 566 18 0 691 0
[pid=13876] vsize: 2836
Current children cumulated CPU time (s) 54.81
Current children cumulated vsize (Kb) 2836

[startup+70.0076 s]
Raw data (loadavg): 0.97 0.98 0.94 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 352 0 0 0 6108 306 0 0 25 0 1 0 1859633456 3026944 318 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 739 318 566 18 0 721 0
[pid=13876] vsize: 2956
Current children cumulated CPU time (s) 64.14
Current children cumulated vsize (Kb) 2956

[startup+80.0084 s]
Raw data (loadavg): 0.98 0.98 0.94 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 356 0 0 0 7006 339 0 0 25 0 1 0 1859633456 3026944 322 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 739 322 566 18 0 721 0
[pid=13876] vsize: 2956
Current children cumulated CPU time (s) 73.45
Current children cumulated vsize (Kb) 2956

[startup+90.0092 s]
Raw data (loadavg): 0.98 0.98 0.94 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 357 0 0 0 7889 380 0 0 25 0 1 0 1859633456 3026944 323 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 739 323 566 18 0 721 0
[pid=13876] vsize: 2956
Current children cumulated CPU time (s) 82.69
Current children cumulated vsize (Kb) 2956

[startup+100.009 s]
Raw data (loadavg): 1.06 1.00 0.95 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 365 0 0 0 8793 416 0 0 25 0 1 0 1859633456 3026944 331 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 739 331 566 18 0 721 0
[pid=13876] vsize: 2956
Current children cumulated CPU time (s) 92.09
Current children cumulated vsize (Kb) 2956

[startup+110.01 s]
Raw data (loadavg): 1.05 1.00 0.95 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 365 0 0 0 9709 442 0 0 25 0 1 0 1859633456 3026944 331 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 739 331 566 18 0 721 0
[pid=13876] vsize: 2956
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (Kb) 2956

[startup+120.011 s]
Raw data (loadavg): 1.04 1.00 0.95 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 367 0 0 0 10625 471 0 0 25 0 1 0 1859633456 3026944 333 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 739 333 566 18 0 721 0
[pid=13876] vsize: 2956
Current children cumulated CPU time (s) 110.96
Current children cumulated vsize (Kb) 2956

[startup+130.011 s]
Raw data (loadavg): 1.03 1.00 0.95 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 367 0 0 0 11537 501 0 0 25 0 1 0 1859633456 3026944 333 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13876/statm): 739 333 566 18 0 721 0
[pid=13876] vsize: 2956
Current children cumulated CPU time (s) 120.38
Current children cumulated vsize (Kb) 2956

[startup+140.011 s]
Raw data (loadavg): 1.03 1.00 0.95 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 368 0 0 0 12446 530 0 0 25 0 1 0 1859633456 3026944 334 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 739 334 566 18 0 721 0
[pid=13876] vsize: 2956
Current children cumulated CPU time (s) 129.76
Current children cumulated vsize (Kb) 2956

[startup+150.012 s]
Raw data (loadavg): 1.02 1.00 0.95 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 370 0 0 0 13348 561 0 0 25 0 1 0 1859633456 3026944 336 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 739 336 566 18 0 721 0
[pid=13876] vsize: 2956
Current children cumulated CPU time (s) 139.09
Current children cumulated vsize (Kb) 2956

[startup+160.013 s]
Raw data (loadavg): 1.02 1.00 0.95 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 370 0 0 0 14262 594 0 0 25 0 1 0 1859633456 3026944 336 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 739 336 566 18 0 721 0
[pid=13876] vsize: 2956
Current children cumulated CPU time (s) 148.56
Current children cumulated vsize (Kb) 2956

[startup+170.013 s]
Raw data (loadavg): 1.02 1.00 0.95 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 370 0 0 0 15178 624 0 0 19 0 1 0 1859633456 3026944 336 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 739 336 566 18 0 721 0
[pid=13876] vsize: 2956
Current children cumulated CPU time (s) 158.02
Current children cumulated vsize (Kb) 2956

[startup+180.013 s]
Raw data (loadavg): 1.01 1.00 0.95 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 376 0 0 0 16068 662 0 0 25 0 1 0 1859633456 3026944 342 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 739 342 566 18 0 721 0
[pid=13876] vsize: 2956
Current children cumulated CPU time (s) 167.3
Current children cumulated vsize (Kb) 2956

[startup+190.014 s]
Raw data (loadavg): 1.01 1.00 0.95 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 381 0 0 0 16956 697 0 0 23 0 1 0 1859633456 3158016 347 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 771 347 566 18 0 753 0
[pid=13876] vsize: 3084
Current children cumulated CPU time (s) 176.53
Current children cumulated vsize (Kb) 3084

[startup+200.014 s]
Raw data (loadavg): 1.01 1.00 0.95 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 381 0 0 0 17836 738 0 0 25 0 1 0 1859633456 3158016 347 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 771 347 566 18 0 753 0
[pid=13876] vsize: 3084
Current children cumulated CPU time (s) 185.74
Current children cumulated vsize (Kb) 3084

[startup+210.015 s]
Raw data (loadavg): 1.01 1.00 0.95 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 382 0 0 0 18731 772 0 0 25 0 1 0 1859633456 3125248 348 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 348 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 195.03
Current children cumulated vsize (Kb) 3052

[startup+220.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 382 0 0 0 19645 805 0 0 18 0 1 0 1859633456 3125248 348 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 763 348 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (Kb) 3052

[startup+230.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 382 0 0 0 20539 842 0 0 25 0 1 0 1859633456 3125248 348 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 348 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 213.81
Current children cumulated vsize (Kb) 3052

[startup+240.017 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 384 0 0 0 21427 880 0 0 25 0 1 0 1859633456 3125248 350 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13876/statm): 763 350 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 223.07
Current children cumulated vsize (Kb) 3052

[startup+250.018 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 384 0 0 0 22307 922 0 0 25 0 1 0 1859633456 3125248 350 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 350 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 232.29
Current children cumulated vsize (Kb) 3052

[startup+260.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 387 0 0 0 23173 969 0 0 25 0 1 0 1859633456 3125248 353 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 353 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 241.42
Current children cumulated vsize (Kb) 3052

[startup+270.02 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 387 0 0 0 24040 1014 0 0 25 0 1 0 1859633456 3125248 353 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 353 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 250.54
Current children cumulated vsize (Kb) 3052

[startup+280.02 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 387 0 0 0 24887 1067 0 0 18 0 1 0 1859633456 3125248 353 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 353 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 259.54
Current children cumulated vsize (Kb) 3052

[startup+290.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 387 0 0 0 25748 1117 0 0 25 0 1 0 1859633456 3125248 353 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 353 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 268.65
Current children cumulated vsize (Kb) 3052

[startup+300.021 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 387 0 0 0 26612 1163 0 0 25 0 1 0 1859633456 3125248 353 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 353 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 277.75
Current children cumulated vsize (Kb) 3052

[startup+310.022 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 389 0 0 0 27522 1194 0 0 25 0 1 0 1859633456 3125248 355 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 355 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 287.16
Current children cumulated vsize (Kb) 3052

[startup+320.022 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 389 0 0 0 28412 1232 0 0 25 0 1 0 1859633456 3125248 355 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13876/statm): 763 355 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 296.44
Current children cumulated vsize (Kb) 3052

[startup+330.023 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 389 0 0 0 29291 1275 0 0 25 0 1 0 1859633456 3125248 355 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13876/statm): 763 355 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 305.66
Current children cumulated vsize (Kb) 3052

[startup+340.024 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 389 0 0 0 30155 1324 0 0 19 0 1 0 1859633456 3125248 355 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 355 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 314.79
Current children cumulated vsize (Kb) 3052

[startup+350.024 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 389 0 0 0 31018 1370 0 0 25 0 1 0 1859633456 3125248 355 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 355 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 323.88
Current children cumulated vsize (Kb) 3052

[startup+360.025 s]
Raw data (loadavg): 1.07 1.02 0.95 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 393 0 0 0 31887 1414 0 0 25 0 1 0 1859633456 3125248 359 4294967295 134512640 134578447 3221224624 3221223504 134527418 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 763 359 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 333.01
Current children cumulated vsize (Kb) 3052

[startup+370.026 s]
Raw data (loadavg): 1.06 1.02 0.95 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 393 0 0 0 32762 1457 0 0 25 0 1 0 1859633456 3125248 359 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 359 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (Kb) 3052

[startup+380.026 s]
Raw data (loadavg): 1.12 1.03 0.96 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 393 0 0 0 33645 1496 0 0 25 0 1 0 1859633456 3125248 359 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 359 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 351.41
Current children cumulated vsize (Kb) 3052

[startup+390.027 s]
Raw data (loadavg): 1.11 1.03 0.96 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 393 0 0 0 34512 1542 0 0 25 0 1 0 1859633456 3125248 359 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 763 359 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 360.54
Current children cumulated vsize (Kb) 3052

[startup+400.027 s]
Raw data (loadavg): 1.09 1.03 0.96 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 393 0 0 0 35401 1581 0 0 25 0 1 0 1859633456 3125248 359 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 359 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 369.82
Current children cumulated vsize (Kb) 3052

[startup+410.028 s]
Raw data (loadavg): 1.07 1.03 0.96 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 395 0 0 0 36285 1621 0 0 25 0 1 0 1859633456 3125248 361 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 763 361 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 379.06
Current children cumulated vsize (Kb) 3052

[startup+420.029 s]
Raw data (loadavg): 1.14 1.04 0.96 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 395 0 0 0 37187 1655 0 0 25 0 1 0 1859633456 3125248 361 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 763 361 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 388.42
Current children cumulated vsize (Kb) 3052

[startup+430.029 s]
Raw data (loadavg): 1.12 1.04 0.96 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 395 0 0 0 38068 1696 0 0 25 0 1 0 1859633456 3125248 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 361 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 397.64
Current children cumulated vsize (Kb) 3052

[startup+440.029 s]
Raw data (loadavg): 1.10 1.04 0.96 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 395 0 0 0 38948 1734 0 0 25 0 1 0 1859633456 3125248 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 361 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 406.82
Current children cumulated vsize (Kb) 3052

[startup+450.03 s]
Raw data (loadavg): 1.16 1.05 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 395 0 0 0 39798 1787 0 0 23 0 1 0 1859633456 3125248 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13876/statm): 763 361 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 415.85
Current children cumulated vsize (Kb) 3052

[startup+460.031 s]
Raw data (loadavg): 1.13 1.05 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 395 0 0 0 40649 1838 0 0 18 0 1 0 1859633456 3125248 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 361 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 424.87
Current children cumulated vsize (Kb) 3052

[startup+470.031 s]
Raw data (loadavg): 1.11 1.05 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 395 0 0 0 41517 1879 0 0 25 0 1 0 1859633456 3125248 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13876/statm): 763 361 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 433.96
Current children cumulated vsize (Kb) 3052

[startup+480.032 s]
Raw data (loadavg): 1.10 1.05 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 395 0 0 0 42414 1914 0 0 19 0 1 0 1859633456 3125248 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 361 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 443.28
Current children cumulated vsize (Kb) 3052

[startup+490.032 s]
Raw data (loadavg): 1.08 1.05 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 395 0 0 0 43313 1946 0 0 25 0 1 0 1859633456 3125248 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 361 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 452.59
Current children cumulated vsize (Kb) 3052

[startup+500.032 s]
Raw data (loadavg): 1.07 1.04 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 395 0 0 0 44227 1977 0 0 25 0 1 0 1859633456 3125248 361 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 361 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (Kb) 3052

[startup+510.033 s]
Raw data (loadavg): 1.06 1.04 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 397 0 0 0 45141 2009 0 0 25 0 1 0 1859633456 3125248 363 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 763 363 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 471.5
Current children cumulated vsize (Kb) 3052

[startup+520.034 s]
Raw data (loadavg): 1.05 1.04 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 397 0 0 0 46013 2052 0 0 25 0 1 0 1859633456 3125248 363 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 363 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 480.65
Current children cumulated vsize (Kb) 3052

[startup+530.035 s]
Raw data (loadavg): 1.04 1.04 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 397 0 0 0 46939 2078 0 0 25 0 1 0 1859633456 3125248 363 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 763 363 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 490.17
Current children cumulated vsize (Kb) 3052

[startup+540.035 s]
Raw data (loadavg): 1.03 1.04 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 398 0 0 0 47847 2110 0 0 25 0 1 0 1859633456 3125248 364 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 364 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 499.57
Current children cumulated vsize (Kb) 3052

[startup+550.035 s]
Raw data (loadavg): 1.03 1.03 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 400 0 0 0 48770 2138 0 0 25 0 1 0 1859633456 3125248 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 366 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 509.08
Current children cumulated vsize (Kb) 3052

[startup+560.038 s]
Raw data (loadavg): 1.02 1.03 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 400 0 0 0 49684 2167 0 0 25 0 1 0 1859633456 3125248 366 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 763 366 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 518.51
Current children cumulated vsize (Kb) 3052

[startup+570.039 s]
Raw data (loadavg): 1.02 1.03 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 400 0 0 0 50572 2204 0 0 25 0 1 0 1859633456 3125248 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 366 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 527.76
Current children cumulated vsize (Kb) 3052

[startup+580.04 s]
Raw data (loadavg): 1.02 1.03 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 400 0 0 0 51477 2236 0 0 25 0 1 0 1859633456 3125248 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 366 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 537.13
Current children cumulated vsize (Kb) 3052

[startup+590.04 s]
Raw data (loadavg): 1.01 1.03 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 400 0 0 0 52316 2291 0 0 24 0 1 0 1859633456 3125248 366 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 366 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 546.07
Current children cumulated vsize (Kb) 3052

[startup+600.04 s]
Raw data (loadavg): 1.01 1.03 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 400 0 0 0 53204 2329 0 0 25 0 1 0 1859633456 3125248 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 366 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 555.33
Current children cumulated vsize (Kb) 3052

[startup+610.041 s]
Raw data (loadavg): 1.01 1.03 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 400 0 0 0 54101 2366 0 0 25 0 1 0 1859633456 3125248 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13876/statm): 763 366 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 564.67
Current children cumulated vsize (Kb) 3052

[startup+620.042 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 400 0 0 0 54967 2414 0 0 25 0 1 0 1859633456 3125248 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 366 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 573.81
Current children cumulated vsize (Kb) 3052

[startup+630.043 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 402 0 0 0 55836 2459 0 0 25 0 1 0 1859633456 3125248 368 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 763 368 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 582.95
Current children cumulated vsize (Kb) 3052

[startup+640.042 s]
Raw data (loadavg): 1.00 1.02 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 402 0 0 0 56724 2500 0 0 25 0 1 0 1859633456 3125248 368 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 763 368 566 18 0 745 0
[pid=13876] vsize: 3052
Current children cumulated CPU time (s) 592.24
Current children cumulated vsize (Kb) 3052

[startup+650.042 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 408 0 0 0 57610 2537 0 0 25 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 601.47
Current children cumulated vsize (Kb) 3168

[startup+660.043 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 408 0 0 0 58474 2585 0 0 25 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223288 1075291242 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 610.59
Current children cumulated vsize (Kb) 3168

[startup+670.043 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 408 0 0 0 59326 2634 0 0 25 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 619.6
Current children cumulated vsize (Kb) 3168

[startup+680.043 s]
Raw data (loadavg): 1.00 1.02 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 408 0 0 0 60199 2679 0 0 25 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 628.78
Current children cumulated vsize (Kb) 3168

[startup+690.043 s]
Raw data (loadavg): 1.00 1.02 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 408 0 0 0 61072 2721 0 0 25 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 637.93
Current children cumulated vsize (Kb) 3168

[startup+700.043 s]
Raw data (loadavg): 1.00 1.02 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 408 0 0 0 61926 2770 0 0 21 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 646.96
Current children cumulated vsize (Kb) 3168

[startup+710.044 s]
Raw data (loadavg): 1.00 1.02 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 408 0 0 0 62747 2827 0 0 24 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 655.74
Current children cumulated vsize (Kb) 3168

[startup+720.045 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 408 0 0 0 63569 2883 0 0 25 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 664.52
Current children cumulated vsize (Kb) 3168

[startup+730.045 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 408 0 0 0 64395 2943 0 0 18 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223584 134558704 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 673.38
Current children cumulated vsize (Kb) 3168

[startup+740.045 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 408 0 0 0 65182 3011 0 0 20 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 681.93
Current children cumulated vsize (Kb) 3168

[startup+750.046 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 408 0 0 0 66010 3067 0 0 22 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 690.77
Current children cumulated vsize (Kb) 3168

[startup+760.047 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 408 0 0 0 66846 3120 0 0 25 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 699.66
Current children cumulated vsize (Kb) 3168

[startup+770.048 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 408 0 0 0 67689 3174 0 0 24 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 708.63
Current children cumulated vsize (Kb) 3168

[startup+780.048 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 408 0 0 0 68550 3222 0 0 25 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 717.72
Current children cumulated vsize (Kb) 3168

[startup+790.048 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 408 0 0 0 69382 3277 0 0 21 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 726.59
Current children cumulated vsize (Kb) 3168

[startup+800.048 s]
Raw data (loadavg): 1.07 1.02 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 408 0 0 0 70177 3350 0 0 24 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 735.27
Current children cumulated vsize (Kb) 3168

[startup+810.049 s]
Raw data (loadavg): 1.06 1.02 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 408 0 0 0 70994 3413 0 0 22 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 744.07
Current children cumulated vsize (Kb) 3168

[startup+820.05 s]
Raw data (loadavg): 1.05 1.02 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 408 0 0 0 71854 3461 0 0 25 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 753.15
Current children cumulated vsize (Kb) 3168

[startup+830.05 s]
Raw data (loadavg): 1.04 1.02 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 408 0 0 0 72715 3505 0 0 25 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527632 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 762.2
Current children cumulated vsize (Kb) 3168

[startup+840.05 s]
Raw data (loadavg): 1.04 1.02 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 408 0 0 0 73550 3563 0 0 23 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527548 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 771.13
Current children cumulated vsize (Kb) 3168

[startup+850.051 s]
Raw data (loadavg): 1.03 1.02 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 408 0 0 0 74369 3623 0 0 22 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 779.92
Current children cumulated vsize (Kb) 3168

[startup+860.052 s]
Raw data (loadavg): 1.02 1.02 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 408 0 0 0 75238 3669 0 0 25 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 789.07
Current children cumulated vsize (Kb) 3168

[startup+870.053 s]
Raw data (loadavg): 1.02 1.02 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 408 0 0 0 76073 3724 0 0 23 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 797.97
Current children cumulated vsize (Kb) 3168

[startup+880.053 s]
Raw data (loadavg): 1.02 1.02 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 408 0 0 0 76902 3781 0 0 23 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 806.83
Current children cumulated vsize (Kb) 3168

[startup+890.053 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 408 0 0 0 77728 3841 0 0 23 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223584 134559074 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 815.69
Current children cumulated vsize (Kb) 3168

[startup+900.053 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 408 0 0 0 78567 3896 0 0 22 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223412 1075289770 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 824.63
Current children cumulated vsize (Kb) 3168

[startup+910.054 s]
Raw data (loadavg): 1.01 1.01 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 408 0 0 0 79389 3958 0 0 22 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 833.47
Current children cumulated vsize (Kb) 3168

[startup+920.055 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 408 0 0 0 80225 4012 0 0 25 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223456 134528423 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 842.37
Current children cumulated vsize (Kb) 3168

[startup+930.056 s]
Raw data (loadavg): 1.01 1.01 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 408 0 0 0 81051 4072 0 0 25 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 851.23
Current children cumulated vsize (Kb) 3168

[startup+940.056 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 408 0 0 0 81886 4129 0 0 25 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 860.15
Current children cumulated vsize (Kb) 3168

[startup+950.056 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 408 0 0 0 82697 4192 0 0 22 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 868.89
Current children cumulated vsize (Kb) 3168

[startup+960.057 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 408 0 0 0 83498 4256 0 0 22 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 877.54
Current children cumulated vsize (Kb) 3168

[startup+970.057 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 408 0 0 0 84327 4317 0 0 21 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134528059 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 886.44
Current children cumulated vsize (Kb) 3168

[startup+980.057 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 408 0 0 0 85151 4376 0 0 24 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223520 134519847 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 895.27
Current children cumulated vsize (Kb) 3168

[startup+990.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 408 0 0 0 86013 4424 0 0 24 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 904.37
Current children cumulated vsize (Kb) 3168

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 408 0 0 0 86838 4482 0 0 23 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 913.2
Current children cumulated vsize (Kb) 3168

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 408 0 0 0 87650 4545 0 0 24 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 921.95
Current children cumulated vsize (Kb) 3168

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 408 0 0 0 88482 4604 0 0 24 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 930.86
Current children cumulated vsize (Kb) 3168

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 408 0 0 0 89319 4660 0 0 25 0 1 0 1859633456 3244032 374 4294967295 134512640 134578447 3221224624 3221223552 134552645 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 374 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 939.79
Current children cumulated vsize (Kb) 3168

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 410 0 0 0 90196 4703 0 0 25 0 1 0 1859633456 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 376 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 948.99
Current children cumulated vsize (Kb) 3168

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 410 0 0 0 91048 4753 0 0 25 0 1 0 1859633456 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 376 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 958.01
Current children cumulated vsize (Kb) 3168

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 410 0 0 0 91881 4809 0 0 25 0 1 0 1859633456 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 376 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 966.9
Current children cumulated vsize (Kb) 3168

[startup+1070.06 s]
Raw data (loadavg): 1.08 1.02 0.98 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 410 0 0 0 92713 4866 0 0 23 0 1 0 1859633456 3244032 376 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 376 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 975.79
Current children cumulated vsize (Kb) 3168

[startup+1080.06 s]
Raw data (loadavg): 1.07 1.02 0.98 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 410 0 0 0 93496 4938 0 0 21 0 1 0 1859633456 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 376 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 984.34
Current children cumulated vsize (Kb) 3168

[startup+1090.06 s]
Raw data (loadavg): 1.06 1.01 0.98 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 410 0 0 0 94331 4991 0 0 25 0 1 0 1859633456 3244032 376 4294967295 134512640 134578447 3221224624 3221222976 134532177 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 376 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 993.22
Current children cumulated vsize (Kb) 3168

[startup+1100.06 s]
Raw data (loadavg): 1.05 1.01 0.98 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 410 0 0 0 95180 5042 0 0 24 0 1 0 1859633456 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 376 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 1002.22
Current children cumulated vsize (Kb) 3168

[startup+1110.06 s]
Raw data (loadavg): 1.04 1.01 0.98 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 410 0 0 0 96033 5095 0 0 25 0 1 0 1859633456 3244032 376 4294967295 134512640 134578447 3221224624 3221223472 134520192 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 376 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 1011.28
Current children cumulated vsize (Kb) 3168

[startup+1120.07 s]
Raw data (loadavg): 1.03 1.01 0.98 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 410 0 0 0 96852 5158 0 0 24 0 1 0 1859633456 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 376 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 1020.1
Current children cumulated vsize (Kb) 3168

[startup+1130.06 s]
Raw data (loadavg): 1.03 1.01 0.98 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 410 0 0 0 97681 5212 0 0 22 0 1 0 1859633456 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 376 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 1028.93
Current children cumulated vsize (Kb) 3168

[startup+1140.07 s]
Raw data (loadavg): 1.02 1.01 0.98 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 410 0 0 0 98508 5269 0 0 25 0 1 0 1859633456 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 376 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 1037.77
Current children cumulated vsize (Kb) 3168

[startup+1150.07 s]
Raw data (loadavg): 1.02 1.01 0.98 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 410 0 0 0 99373 5317 0 0 25 0 1 0 1859633456 3244032 376 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 376 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 1046.9
Current children cumulated vsize (Kb) 3168

[startup+1160.07 s]
Raw data (loadavg): 1.02 1.01 0.98 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 410 0 0 0 100223 5368 0 0 25 0 1 0 1859633456 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434789 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 376 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 1055.91
Current children cumulated vsize (Kb) 3168

[startup+1170.07 s]
Raw data (loadavg): 1.01 1.01 0.98 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 410 0 0 0 101052 5424 0 0 21 0 1 0 1859633456 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 376 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 1064.76
Current children cumulated vsize (Kb) 3168

[startup+1180.07 s]
Raw data (loadavg): 1.01 1.01 0.98 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 410 0 0 0 101883 5483 0 0 23 0 1 0 1859633456 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 376 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 1073.66
Current children cumulated vsize (Kb) 3168

[startup+1190.07 s]
Raw data (loadavg): 1.01 1.00 0.98 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 410 0 0 0 102708 5541 0 0 25 0 1 0 1859633456 3244032 376 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 376 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 1082.49
Current children cumulated vsize (Kb) 3168

[startup+1200.07 s]
Raw data (loadavg): 1.01 1.00 0.98 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 410 0 0 0 103534 5599 0 0 24 0 1 0 1859633456 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 376 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 1091.33
Current children cumulated vsize (Kb) 3168

[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 410 0 0 0 104368 5652 0 0 24 0 1 0 1859633456 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 376 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 1100.2
Current children cumulated vsize (Kb) 3168

[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 410 0 0 0 105176 5719 0 0 24 0 1 0 1859633456 3244032 376 4294967295 134512640 134578447 3221224624 3221223472 134520167 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 376 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 1108.95
Current children cumulated vsize (Kb) 3168

[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 410 0 0 0 106001 5782 0 0 25 0 1 0 1859633456 3244032 376 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 376 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 1117.83
Current children cumulated vsize (Kb) 3168

[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 410 0 0 0 106821 5839 0 0 25 0 1 0 1859633456 3244032 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 376 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 1126.6
Current children cumulated vsize (Kb) 3168

[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 417 0 0 0 107640 5901 0 0 24 0 1 0 1859633456 3244032 383 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 383 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 1135.41
Current children cumulated vsize (Kb) 3168

[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) R 13875 13876 5929 0 -1 0 421 0 0 0 108472 5957 0 0 25 0 1 0 1859633456 3244032 387 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 387 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 1144.29
Current children cumulated vsize (Kb) 3168

[startup+1270.07 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 423 0 0 0 109327 6004 0 0 25 0 1 0 1859633456 3244032 389 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 389 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 1153.31
Current children cumulated vsize (Kb) 3168

[startup+1280.07 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 423 0 0 0 110160 6060 0 0 24 0 1 0 1859633456 3244032 389 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13876/statm): 792 389 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 1162.2
Current children cumulated vsize (Kb) 3168

[startup+1290.07 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 423 0 0 0 111031 6105 0 0 25 0 1 0 1859633456 3244032 389 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 389 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 1171.36
Current children cumulated vsize (Kb) 3168

[startup+1300.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 13876
Raw data (/proc/13876/stat): 13876 (Pueblo) T 13875 13876 5929 0 -1 0 423 0 0 0 111886 6158 0 0 25 0 1 0 1859633456 3244032 389 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13876/statm): 792 389 566 18 0 774 0
[pid=13876] vsize: 3168
Current children cumulated CPU time (s) 1180.44
Current children cumulated vsize (Kb) 3168
One traced child (pid=13876) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1309.56
CPU time (s): 1189.01
CPU user time (s): 1126.97
CPU system time (s): 62.0386
CPU usage (%): 90.7946
Max. virtual memory (cumulated for all children) (Kb): 3168

Verifier Data

Verifier:	OK	1313