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-l152lav.opb
MD5SUM00855a9538cee8df79108d56ee6867b4
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4732
Optimality of the best value was proved NO
Number of terms in the objective function 1989
Biggest coefficient in the objective function 268
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 382524
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 382524
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.4
Number of variables1989
Total number of constraints2086
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2085
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint1989

Trace number 8090

Launcher Data

LAUNCH ON wulflinc30 THE 2005-09-20 15:30:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5203 boxname=wulflinc30 idbench=515 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  00855a9538cee8df79108d56ee6867b4  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-l152lav.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5203
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        845172 kB
Buffers:         34632 kB
Cached:         124384 kB
SwapCached:        784 kB
Active:          82248 kB
Inactive:        79456 kB
HighTotal:      131008 kB
HighFree:        16968 kB
LowTotal:       903652 kB
LowFree:        828204 kB
SwapTotal:     2097892 kB
SwapFree:      2096640 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5792 kB
Slab:            22000 kB
Committed_AS:    64308 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 15:50:24 (client local time) WITH STATUS 0 IN 1200.2 SECONDS
stats: 5203 7 1200.2 0

Solver Data

c Pueblo version 1.3 (July 2005)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini

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/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859617793 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9853/statm): 41 3 40 18 0 23 0
[pid=9853] 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.0037 s]
Raw data (loadavg): 0.68 0.87 0.88 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 1434 0 0 0 995 2 0 0 25 0 1 0 1859617793 7352320 1400 4294967295 134512640 134578447 3221224624 3221223504 134527793 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 1795 1400 566 18 0 1777 0
[pid=9853] vsize: 7180
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 7180

[startup+20.0045 s]
Raw data (loadavg): 0.73 0.88 0.88 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 1815 0 0 0 1993 4 0 0 25 0 1 0 1859617793 8982528 1781 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 2193 1781 566 18 0 2175 0
[pid=9853] vsize: 8772
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 8772

[startup+30.0053 s]
Raw data (loadavg): 0.77 0.88 0.88 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 2036 0 0 0 2993 4 0 0 25 0 1 0 1859617793 9945088 2002 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 2428 2002 566 18 0 2410 0
[pid=9853] vsize: 9712
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 9712

[startup+40.0051 s]
Raw data (loadavg): 0.81 0.88 0.88 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 2348 0 0 0 3992 5 0 0 25 0 1 0 1859617793 11132928 2314 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 2718 2314 566 18 0 2700 0
[pid=9853] vsize: 10872
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 10872

[startup+50.0059 s]
Raw data (loadavg): 0.85 0.89 0.89 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 2521 0 0 0 4992 6 0 0 25 0 1 0 1859617793 11800576 2487 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 2881 2487 566 18 0 2863 0
[pid=9853] vsize: 11524
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 11524

[startup+60.0057 s]
Raw data (loadavg): 0.87 0.89 0.89 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 2727 0 0 0 5991 6 0 0 25 0 1 0 1859617793 12709888 2693 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 3103 2693 566 18 0 3085 0
[pid=9853] vsize: 12412
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 12412

[startup+70.0055 s]
Raw data (loadavg): 0.89 0.89 0.89 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 2747 0 0 0 6991 7 0 0 25 0 1 0 1859617793 12857344 2713 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 3139 2713 566 18 0 3121 0
[pid=9853] vsize: 12556
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 12556

[startup+80.0063 s]
Raw data (loadavg): 0.91 0.90 0.89 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 2747 0 0 0 7991 7 0 0 25 0 1 0 1859617793 12795904 2713 4294967295 134512640 134578447 3221224624 3221223536 134556778 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 3124 2713 566 18 0 3106 0
[pid=9853] vsize: 12496
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 12496

[startup+90.0061 s]
Raw data (loadavg): 0.92 0.90 0.89 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 2747 0 0 0 8991 7 0 0 25 0 1 0 1859617793 12795904 2713 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 3124 2713 566 18 0 3106 0
[pid=9853] vsize: 12496
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 12496

[startup+100.007 s]
Raw data (loadavg): 0.93 0.90 0.89 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 2747 0 0 0 9991 7 0 0 25 0 1 0 1859617793 12795904 2713 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 3124 2713 566 18 0 3106 0
[pid=9853] vsize: 12496
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 12496

[startup+110.008 s]
Raw data (loadavg): 0.94 0.91 0.89 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 3003 0 0 0 10990 8 0 0 25 0 1 0 1859617793 13844480 2969 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 3380 2969 566 18 0 3362 0
[pid=9853] vsize: 13520
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 13520

[startup+120.007 s]
Raw data (loadavg): 0.95 0.91 0.89 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 3261 0 0 0 11990 9 0 0 25 0 1 0 1859617793 14942208 3227 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 3648 3227 566 18 0 3630 0
[pid=9853] vsize: 14592
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 14592

[startup+130.008 s]
Raw data (loadavg): 0.96 0.91 0.89 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 3268 0 0 0 12990 9 0 0 25 0 1 0 1859617793 14692352 3193 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 3587 3193 566 18 0 3569 0
[pid=9853] vsize: 14348
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 14348

[startup+140.009 s]
Raw data (loadavg): 0.96 0.91 0.89 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 3268 0 0 0 13990 9 0 0 25 0 1 0 1859617793 14692352 3193 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 3587 3193 566 18 0 3569 0
[pid=9853] vsize: 14348
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 14348

[startup+150.01 s]
Raw data (loadavg): 0.97 0.92 0.90 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 3268 0 0 0 14990 9 0 0 25 0 1 0 1859617793 14692352 3193 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 3587 3193 566 18 0 3569 0
[pid=9853] vsize: 14348
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 14348

[startup+160.011 s]
Raw data (loadavg): 0.97 0.92 0.90 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 3392 0 0 0 15990 9 0 0 25 0 1 0 1859617793 15233024 3317 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 3719 3317 566 18 0 3701 0
[pid=9853] vsize: 14876
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 14876

[startup+170.01 s]
Raw data (loadavg): 0.98 0.92 0.90 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 3859 0 0 0 16989 10 0 0 25 0 1 0 1859617793 17215488 3784 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 4203 3784 566 18 0 4185 0
[pid=9853] vsize: 16812
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 16812

[startup+180.011 s]
Raw data (loadavg): 0.98 0.92 0.90 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 3859 0 0 0 17989 10 0 0 25 0 1 0 1859617793 17215488 3784 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 4203 3784 566 18 0 4185 0
[pid=9853] vsize: 16812
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 16812

[startup+190.011 s]
Raw data (loadavg): 0.98 0.92 0.90 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4106 0 0 0 18988 11 0 0 25 0 1 0 1859617793 18128896 4031 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 4426 4031 566 18 0 4408 0
[pid=9853] vsize: 17704
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 17704

[startup+200.012 s]
Raw data (loadavg): 0.98 0.93 0.90 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4106 0 0 0 19988 11 0 0 25 0 1 0 1859617793 18128896 4031 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 4426 4031 566 18 0 4408 0
[pid=9853] vsize: 17704
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 17704

[startup+210.013 s]
Raw data (loadavg): 0.99 0.93 0.90 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4106 0 0 0 20989 11 0 0 25 0 1 0 1859617793 18128896 4031 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 4426 4031 566 18 0 4408 0
[pid=9853] vsize: 17704
Current children cumulated CPU time (s) 210
Current children cumulated vsize (Kb) 17704

[startup+220.012 s]
Raw data (loadavg): 0.99 0.93 0.90 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4106 0 0 0 21989 11 0 0 25 0 1 0 1859617793 18128896 4031 4294967295 134512640 134578447 3221224624 3221223504 134527723 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 4426 4031 566 18 0 4408 0
[pid=9853] vsize: 17704
Current children cumulated CPU time (s) 220
Current children cumulated vsize (Kb) 17704

[startup+230.013 s]
Raw data (loadavg): 0.99 0.93 0.90 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4106 0 0 0 22989 11 0 0 25 0 1 0 1859617793 18128896 4031 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 4426 4031 566 18 0 4408 0
[pid=9853] vsize: 17704
Current children cumulated CPU time (s) 230
Current children cumulated vsize (Kb) 17704

[startup+240.013 s]
Raw data (loadavg): 0.99 0.93 0.90 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4106 0 0 0 23989 11 0 0 25 0 1 0 1859617793 18128896 4031 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 4426 4031 566 18 0 4408 0
[pid=9853] vsize: 17704
Current children cumulated CPU time (s) 240
Current children cumulated vsize (Kb) 17704

[startup+250.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4106 0 0 0 24989 11 0 0 25 0 1 0 1859617793 18128896 4031 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 4426 4031 566 18 0 4408 0
[pid=9853] vsize: 17704
Current children cumulated CPU time (s) 250
Current children cumulated vsize (Kb) 17704

[startup+260.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4106 0 0 0 25989 11 0 0 25 0 1 0 1859617793 18128896 4031 4294967295 134512640 134578447 3221224624 3221223376 134528863 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 4426 4031 566 18 0 4408 0
[pid=9853] vsize: 17704
Current children cumulated CPU time (s) 260
Current children cumulated vsize (Kb) 17704

[startup+270.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4106 0 0 0 26989 11 0 0 25 0 1 0 1859617793 18128896 4031 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 4426 4031 566 18 0 4408 0
[pid=9853] vsize: 17704
Current children cumulated CPU time (s) 270
Current children cumulated vsize (Kb) 17704

[startup+280.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4106 0 0 0 27989 11 0 0 25 0 1 0 1859617793 18128896 4031 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 4426 4031 566 18 0 4408 0
[pid=9853] vsize: 17704
Current children cumulated CPU time (s) 280
Current children cumulated vsize (Kb) 17704

[startup+290.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4106 0 0 0 28989 12 0 0 25 0 1 0 1859617793 18128896 4031 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 4426 4031 566 18 0 4408 0
[pid=9853] vsize: 17704
Current children cumulated CPU time (s) 290.01
Current children cumulated vsize (Kb) 17704

[startup+300.015 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4106 0 0 0 29990 12 0 0 25 0 1 0 1859617793 18128896 4031 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 4426 4031 566 18 0 4408 0
[pid=9853] vsize: 17704
Current children cumulated CPU time (s) 300.02
Current children cumulated vsize (Kb) 17704

[startup+310.016 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4106 0 0 0 30990 12 0 0 25 0 1 0 1859617793 18128896 4031 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 4426 4031 566 18 0 4408 0
[pid=9853] vsize: 17704
Current children cumulated CPU time (s) 310.02
Current children cumulated vsize (Kb) 17704

[startup+320.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4106 0 0 0 31990 12 0 0 25 0 1 0 1859617793 18128896 4031 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 4426 4031 566 18 0 4408 0
[pid=9853] vsize: 17704
Current children cumulated CPU time (s) 320.02
Current children cumulated vsize (Kb) 17704

[startup+330.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4178 0 0 0 32990 12 0 0 25 0 1 0 1859617793 18518016 4103 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 4521 4103 566 18 0 4503 0
[pid=9853] vsize: 18084
Current children cumulated CPU time (s) 330.02
Current children cumulated vsize (Kb) 18084

[startup+340.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4652 0 0 0 33988 13 0 0 25 0 1 0 1859617793 20418560 4577 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 4985 4577 566 18 0 4967 0
[pid=9853] vsize: 19940
Current children cumulated CPU time (s) 340.01
Current children cumulated vsize (Kb) 19940

[startup+350.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4681 0 0 0 34988 13 0 0 25 0 1 0 1859617793 20549632 4606 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5017 4606 566 18 0 4999 0
[pid=9853] vsize: 20068
Current children cumulated CPU time (s) 350.01
Current children cumulated vsize (Kb) 20068

[startup+360.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4681 0 0 0 35989 13 0 0 25 0 1 0 1859617793 20549632 4606 4294967295 134512640 134578447 3221224624 3221223456 134527045 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5017 4606 566 18 0 4999 0
[pid=9853] vsize: 20068
Current children cumulated CPU time (s) 360.02
Current children cumulated vsize (Kb) 20068

[startup+370.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4681 0 0 0 36989 14 0 0 25 0 1 0 1859617793 20549632 4606 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5017 4606 566 18 0 4999 0
[pid=9853] vsize: 20068
Current children cumulated CPU time (s) 370.03
Current children cumulated vsize (Kb) 20068

[startup+380.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4681 0 0 0 37989 14 0 0 25 0 1 0 1859617793 20549632 4606 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5017 4606 566 18 0 4999 0
[pid=9853] vsize: 20068
Current children cumulated CPU time (s) 380.03
Current children cumulated vsize (Kb) 20068

[startup+390.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4681 0 0 0 38989 14 0 0 25 0 1 0 1859617793 20549632 4606 4294967295 134512640 134578447 3221224624 3221223472 134520167 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5017 4606 566 18 0 4999 0
[pid=9853] vsize: 20068
Current children cumulated CPU time (s) 390.03
Current children cumulated vsize (Kb) 20068

[startup+400.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4681 0 0 0 39989 14 0 0 25 0 1 0 1859617793 20549632 4606 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5017 4606 566 18 0 4999 0
[pid=9853] vsize: 20068
Current children cumulated CPU time (s) 400.03
Current children cumulated vsize (Kb) 20068

[startup+410.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4753 0 0 0 40989 14 0 0 25 0 1 0 1859617793 20811776 4678 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5081 4678 566 18 0 5063 0
[pid=9853] vsize: 20324
Current children cumulated CPU time (s) 410.03
Current children cumulated vsize (Kb) 20324

[startup+420.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4753 0 0 0 41989 14 0 0 25 0 1 0 1859617793 20811776 4678 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5081 4678 566 18 0 5063 0
[pid=9853] vsize: 20324
Current children cumulated CPU time (s) 420.03
Current children cumulated vsize (Kb) 20324

[startup+430.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4753 0 0 0 42989 14 0 0 25 0 1 0 1859617793 20811776 4678 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5081 4678 566 18 0 5063 0
[pid=9853] vsize: 20324
Current children cumulated CPU time (s) 430.03
Current children cumulated vsize (Kb) 20324

[startup+440.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4753 0 0 0 43990 14 0 0 25 0 1 0 1859617793 20811776 4678 4294967295 134512640 134578447 3221224624 3221223504 134528071 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5081 4678 566 18 0 5063 0
[pid=9853] vsize: 20324
Current children cumulated CPU time (s) 440.04
Current children cumulated vsize (Kb) 20324

[startup+450.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4753 0 0 0 44990 14 0 0 25 0 1 0 1859617793 20811776 4678 4294967295 134512640 134578447 3221224624 3221223456 134528332 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5081 4678 566 18 0 5063 0
[pid=9853] vsize: 20324
Current children cumulated CPU time (s) 450.04
Current children cumulated vsize (Kb) 20324

[startup+460.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4753 0 0 0 45990 14 0 0 25 0 1 0 1859617793 20811776 4678 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5081 4678 566 18 0 5063 0
[pid=9853] vsize: 20324
Current children cumulated CPU time (s) 460.04
Current children cumulated vsize (Kb) 20324

[startup+470.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4753 0 0 0 46990 14 0 0 25 0 1 0 1859617793 20811776 4678 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5081 4678 566 18 0 5063 0
[pid=9853] vsize: 20324
Current children cumulated CPU time (s) 470.04
Current children cumulated vsize (Kb) 20324

[startup+480.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4780 0 0 0 47990 14 0 0 25 0 1 0 1859617793 20951040 4705 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5115 4705 566 18 0 5097 0
[pid=9853] vsize: 20460
Current children cumulated CPU time (s) 480.04
Current children cumulated vsize (Kb) 20460

[startup+490.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4780 0 0 0 48990 14 0 0 25 0 1 0 1859617793 20951040 4705 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5115 4705 566 18 0 5097 0
[pid=9853] vsize: 20460
Current children cumulated CPU time (s) 490.04
Current children cumulated vsize (Kb) 20460

[startup+500.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4780 0 0 0 49991 14 0 0 25 0 1 0 1859617793 20951040 4705 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5115 4705 566 18 0 5097 0
[pid=9853] vsize: 20460
Current children cumulated CPU time (s) 500.05
Current children cumulated vsize (Kb) 20460

[startup+510.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4780 0 0 0 50991 14 0 0 25 0 1 0 1859617793 20951040 4705 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5115 4705 566 18 0 5097 0
[pid=9853] vsize: 20460
Current children cumulated CPU time (s) 510.05
Current children cumulated vsize (Kb) 20460

[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4780 0 0 0 51991 14 0 0 25 0 1 0 1859617793 20951040 4705 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5115 4705 566 18 0 5097 0
[pid=9853] vsize: 20460
Current children cumulated CPU time (s) 520.05
Current children cumulated vsize (Kb) 20460

[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4780 0 0 0 52991 14 0 0 25 0 1 0 1859617793 20951040 4705 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5115 4705 566 18 0 5097 0
[pid=9853] vsize: 20460
Current children cumulated CPU time (s) 530.05
Current children cumulated vsize (Kb) 20460

[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4886 0 0 0 53990 15 0 0 25 0 1 0 1859617793 21426176 4811 4294967295 134512640 134578447 3221224624 3221223456 134528434 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5231 4811 566 18 0 5213 0
[pid=9853] vsize: 20924
Current children cumulated CPU time (s) 540.05
Current children cumulated vsize (Kb) 20924

[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4886 0 0 0 54991 15 0 0 25 0 1 0 1859617793 21426176 4811 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5231 4811 566 18 0 5213 0
[pid=9853] vsize: 20924
Current children cumulated CPU time (s) 550.06
Current children cumulated vsize (Kb) 20924

[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 4886 0 0 0 55991 15 0 0 25 0 1 0 1859617793 21426176 4811 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5231 4811 566 18 0 5213 0
[pid=9853] vsize: 20924
Current children cumulated CPU time (s) 560.06
Current children cumulated vsize (Kb) 20924

[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5054 0 0 0 56990 16 0 0 25 0 1 0 1859617793 22089728 4979 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5393 4979 566 18 0 5375 0
[pid=9853] vsize: 21572
Current children cumulated CPU time (s) 570.06
Current children cumulated vsize (Kb) 21572

[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5135 0 0 0 57990 16 0 0 25 0 1 0 1859617793 22355968 5060 4294967295 134512640 134578447 3221224624 3221223376 134528867 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5458 5060 566 18 0 5440 0
[pid=9853] vsize: 21832
Current children cumulated CPU time (s) 580.06
Current children cumulated vsize (Kb) 21832

[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5135 0 0 0 58990 16 0 0 25 0 1 0 1859617793 22355968 5060 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5458 5060 566 18 0 5440 0
[pid=9853] vsize: 21832
Current children cumulated CPU time (s) 590.06
Current children cumulated vsize (Kb) 21832

[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5135 0 0 0 59990 16 0 0 25 0 1 0 1859617793 22355968 5060 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5458 5060 566 18 0 5440 0
[pid=9853] vsize: 21832
Current children cumulated CPU time (s) 600.06
Current children cumulated vsize (Kb) 21832

[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5135 0 0 0 60990 16 0 0 25 0 1 0 1859617793 22355968 5060 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5458 5060 566 18 0 5440 0
[pid=9853] vsize: 21832
Current children cumulated CPU time (s) 610.06
Current children cumulated vsize (Kb) 21832

[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5135 0 0 0 61991 16 0 0 25 0 1 0 1859617793 22355968 5060 4294967295 134512640 134578447 3221224624 3221223504 134527739 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5458 5060 566 18 0 5440 0
[pid=9853] vsize: 21832
Current children cumulated CPU time (s) 620.07
Current children cumulated vsize (Kb) 21832

[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5135 0 0 0 62991 16 0 0 25 0 1 0 1859617793 22355968 5060 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5458 5060 566 18 0 5440 0
[pid=9853] vsize: 21832
Current children cumulated CPU time (s) 630.07
Current children cumulated vsize (Kb) 21832

[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5135 0 0 0 63991 16 0 0 25 0 1 0 1859617793 22355968 5060 4294967295 134512640 134578447 3221224624 3221223476 134555916 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5458 5060 566 18 0 5440 0
[pid=9853] vsize: 21832
Current children cumulated CPU time (s) 640.07
Current children cumulated vsize (Kb) 21832

[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5135 0 0 0 64991 16 0 0 25 0 1 0 1859617793 22355968 5060 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5458 5060 566 18 0 5440 0
[pid=9853] vsize: 21832
Current children cumulated CPU time (s) 650.07
Current children cumulated vsize (Kb) 21832

[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5135 0 0 0 65991 16 0 0 25 0 1 0 1859617793 22355968 5060 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5458 5060 566 18 0 5440 0
[pid=9853] vsize: 21832
Current children cumulated CPU time (s) 660.07
Current children cumulated vsize (Kb) 21832

[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5135 0 0 0 66991 16 0 0 25 0 1 0 1859617793 22355968 5060 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5458 5060 566 18 0 5440 0
[pid=9853] vsize: 21832
Current children cumulated CPU time (s) 670.07
Current children cumulated vsize (Kb) 21832

[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5135 0 0 0 67991 16 0 0 25 0 1 0 1859617793 22355968 5060 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5458 5060 566 18 0 5440 0
[pid=9853] vsize: 21832
Current children cumulated CPU time (s) 680.07
Current children cumulated vsize (Kb) 21832

[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5135 0 0 0 68991 16 0 0 25 0 1 0 1859617793 22355968 5060 4294967295 134512640 134578447 3221224624 3221223584 134559088 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5458 5060 566 18 0 5440 0
[pid=9853] vsize: 21832
Current children cumulated CPU time (s) 690.07
Current children cumulated vsize (Kb) 21832

[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5178 0 0 0 69992 17 0 0 25 0 1 0 1859617793 22622208 5103 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5523 5103 566 18 0 5505 0
[pid=9853] vsize: 22092
Current children cumulated CPU time (s) 700.09
Current children cumulated vsize (Kb) 22092

[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5253 0 0 0 70992 17 0 0 25 0 1 0 1859617793 22876160 5178 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5585 5178 566 18 0 5567 0
[pid=9853] vsize: 22340
Current children cumulated CPU time (s) 710.09
Current children cumulated vsize (Kb) 22340

[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5253 0 0 0 71992 17 0 0 25 0 1 0 1859617793 22876160 5178 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5585 5178 566 18 0 5567 0
[pid=9853] vsize: 22340
Current children cumulated CPU time (s) 720.09
Current children cumulated vsize (Kb) 22340

[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5253 0 0 0 72992 17 0 0 25 0 1 0 1859617793 22876160 5178 4294967295 134512640 134578447 3221224624 3221223476 134555765 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5585 5178 566 18 0 5567 0
[pid=9853] vsize: 22340
Current children cumulated CPU time (s) 730.09
Current children cumulated vsize (Kb) 22340

[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5517 0 0 0 73991 18 0 0 25 0 1 0 1859617793 23920640 5442 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5840 5442 566 18 0 5822 0
[pid=9853] vsize: 23360
Current children cumulated CPU time (s) 740.09
Current children cumulated vsize (Kb) 23360

[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5562 0 0 0 74990 18 0 0 25 0 1 0 1859617793 24182784 5487 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5904 5487 566 18 0 5886 0
[pid=9853] vsize: 23616
Current children cumulated CPU time (s) 750.08
Current children cumulated vsize (Kb) 23616

[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5562 0 0 0 75991 18 0 0 25 0 1 0 1859617793 24182784 5487 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5904 5487 566 18 0 5886 0
[pid=9853] vsize: 23616
Current children cumulated CPU time (s) 760.09
Current children cumulated vsize (Kb) 23616

[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5562 0 0 0 76991 18 0 0 25 0 1 0 1859617793 24182784 5487 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 5904 5487 566 18 0 5886 0
[pid=9853] vsize: 23616
Current children cumulated CPU time (s) 770.09
Current children cumulated vsize (Kb) 23616

[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5781 0 0 0 77991 19 0 0 25 0 1 0 1859617793 25092096 5706 4294967295 134512640 134578447 3221224624 3221223192 1075289717 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6126 5706 566 18 0 6108 0
[pid=9853] vsize: 24504
Current children cumulated CPU time (s) 780.1
Current children cumulated vsize (Kb) 24504

[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5781 0 0 0 78991 19 0 0 25 0 1 0 1859617793 25092096 5706 4294967295 134512640 134578447 3221224624 3221223504 134527790 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6126 5706 566 18 0 6108 0
[pid=9853] vsize: 24504
Current children cumulated CPU time (s) 790.1
Current children cumulated vsize (Kb) 24504

[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5781 0 0 0 79991 19 0 0 25 0 1 0 1859617793 25092096 5706 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6126 5706 566 18 0 6108 0
[pid=9853] vsize: 24504
Current children cumulated CPU time (s) 800.1
Current children cumulated vsize (Kb) 24504

[startup+810.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5781 0 0 0 80991 19 0 0 25 0 1 0 1859617793 25092096 5706 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6126 5706 566 18 0 6108 0
[pid=9853] vsize: 24504
Current children cumulated CPU time (s) 810.1
Current children cumulated vsize (Kb) 24504

[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5781 0 0 0 81991 19 0 0 25 0 1 0 1859617793 25092096 5706 4294967295 134512640 134578447 3221224624 3221223472 134556320 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6126 5706 566 18 0 6108 0
[pid=9853] vsize: 24504
Current children cumulated CPU time (s) 820.1
Current children cumulated vsize (Kb) 24504

[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5781 0 0 0 82991 19 0 0 25 0 1 0 1859617793 25092096 5706 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6126 5706 566 18 0 6108 0
[pid=9853] vsize: 24504
Current children cumulated CPU time (s) 830.1
Current children cumulated vsize (Kb) 24504

[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5781 0 0 0 83992 19 0 0 25 0 1 0 1859617793 25092096 5706 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6126 5706 566 18 0 6108 0
[pid=9853] vsize: 24504
Current children cumulated CPU time (s) 840.11
Current children cumulated vsize (Kb) 24504

[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5781 0 0 0 84992 19 0 0 25 0 1 0 1859617793 25088000 5706 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6125 5706 566 18 0 6107 0
[pid=9853] vsize: 24500
Current children cumulated CPU time (s) 850.11
Current children cumulated vsize (Kb) 24500

[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5781 0 0 0 85992 19 0 0 25 0 1 0 1859617793 25088000 5706 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6125 5706 566 18 0 6107 0
[pid=9853] vsize: 24500
Current children cumulated CPU time (s) 860.11
Current children cumulated vsize (Kb) 24500

[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5781 0 0 0 86992 19 0 0 25 0 1 0 1859617793 25088000 5706 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6125 5706 566 18 0 6107 0
[pid=9853] vsize: 24500
Current children cumulated CPU time (s) 870.11
Current children cumulated vsize (Kb) 24500

[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5781 0 0 0 87992 19 0 0 25 0 1 0 1859617793 25088000 5706 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6125 5706 566 18 0 6107 0
[pid=9853] vsize: 24500
Current children cumulated CPU time (s) 880.11
Current children cumulated vsize (Kb) 24500

[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5781 0 0 0 88992 19 0 0 25 0 1 0 1859617793 25088000 5706 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6125 5706 566 18 0 6107 0
[pid=9853] vsize: 24500
Current children cumulated CPU time (s) 890.11
Current children cumulated vsize (Kb) 24500

[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5781 0 0 0 89992 19 0 0 25 0 1 0 1859617793 25088000 5706 4294967295 134512640 134578447 3221224624 3221223376 134528860 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6125 5706 566 18 0 6107 0
[pid=9853] vsize: 24500
Current children cumulated CPU time (s) 900.11
Current children cumulated vsize (Kb) 24500

[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5781 0 0 0 90993 19 0 0 25 0 1 0 1859617793 25088000 5706 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6125 5706 566 18 0 6107 0
[pid=9853] vsize: 24500
Current children cumulated CPU time (s) 910.12
Current children cumulated vsize (Kb) 24500

[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5781 0 0 0 91993 19 0 0 25 0 1 0 1859617793 25088000 5706 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6125 5706 566 18 0 6107 0
[pid=9853] vsize: 24500
Current children cumulated CPU time (s) 920.12
Current children cumulated vsize (Kb) 24500

[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5781 0 0 0 92993 19 0 0 25 0 1 0 1859617793 25088000 5706 4294967295 134512640 134578447 3221224624 3221223504 134527864 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6125 5706 566 18 0 6107 0
[pid=9853] vsize: 24500
Current children cumulated CPU time (s) 930.12
Current children cumulated vsize (Kb) 24500

[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5781 0 0 0 93993 19 0 0 25 0 1 0 1859617793 25067520 5706 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5706 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 940.12
Current children cumulated vsize (Kb) 24480

[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5781 0 0 0 94993 19 0 0 25 0 1 0 1859617793 25067520 5706 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5706 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 950.12
Current children cumulated vsize (Kb) 24480

[startup+960.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5781 0 0 0 95993 19 0 0 25 0 1 0 1859617793 25067520 5706 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5706 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 960.12
Current children cumulated vsize (Kb) 24480

[startup+970.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5781 0 0 0 96993 19 0 0 25 0 1 0 1859617793 25067520 5706 4294967295 134512640 134578447 3221224624 3221223456 134528410 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5706 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 970.12
Current children cumulated vsize (Kb) 24480

[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5781 0 0 0 97994 19 0 0 25 0 1 0 1859617793 25067520 5706 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5706 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 980.13
Current children cumulated vsize (Kb) 24480

[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 98994 20 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223296 134522529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 990.14
Current children cumulated vsize (Kb) 24480

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 99994 20 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1000.14
Current children cumulated vsize (Kb) 24480

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 100994 20 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1010.14
Current children cumulated vsize (Kb) 24480

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 101994 20 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223508 1075285509 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1020.14
Current children cumulated vsize (Kb) 24480

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 102994 20 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1030.14
Current children cumulated vsize (Kb) 24480

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 103994 20 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1040.14
Current children cumulated vsize (Kb) 24480

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 104995 20 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527720 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1050.15
Current children cumulated vsize (Kb) 24480

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 105995 20 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1060.15
Current children cumulated vsize (Kb) 24480

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 106995 20 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1070.15
Current children cumulated vsize (Kb) 24480

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 107995 20 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1080.15
Current children cumulated vsize (Kb) 24480

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 108995 20 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1090.15
Current children cumulated vsize (Kb) 24480

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 109995 20 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1100.15
Current children cumulated vsize (Kb) 24480

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 110996 20 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1110.16
Current children cumulated vsize (Kb) 24480

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 111996 20 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1120.16
Current children cumulated vsize (Kb) 24480

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 112996 20 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1130.16
Current children cumulated vsize (Kb) 24480

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 113996 20 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527810 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1140.16
Current children cumulated vsize (Kb) 24480

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 114996 20 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1150.16
Current children cumulated vsize (Kb) 24480

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 115997 20 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1160.17
Current children cumulated vsize (Kb) 24480

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 116997 21 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527793 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1170.18
Current children cumulated vsize (Kb) 24480

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 117997 21 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1180.18
Current children cumulated vsize (Kb) 24480

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 118997 21 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134527793 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1190.18
Current children cumulated vsize (Kb) 24480

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 119997 21 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134528051 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1200.18
Current children cumulated vsize (Kb) 24480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 9853
Raw data (/proc/9853/stat): 9853 (Pueblo) R 9852 9853 5245 0 -1 0 5782 0 0 0 119997 21 0 0 25 0 1 0 1859617793 25067520 5707 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 6120 5707 566 18 0 6102 0
[pid=9853] vsize: 24480
Current children cumulated CPU time (s) 1200.18
Current children cumulated vsize (Kb) 24480

Sending SIGTERM to -9853
Sleeping 2 seconds
One traced child (pid=9853) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.06
CPU time (s): 1200.2
CPU user time (s): 1199.98
CPU system time (s): 0.222966
CPU usage (%): 100.011
Max. virtual memory (cumulated for all children) (Kb): 24504

Verifier Data

ERROR: no interpretation found !