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

Namesubmitted/een/normalized-p0548.opb
MD5SUM422c0da7d5380a26c4dac413428db5c9
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18745
Optimality of the best value was proved NO
Number of terms in the objective function 416
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 96797
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 96797
Number of bits of the biggest sum of numbers17
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.1
Number of variables527
Total number of constraints156
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints116
Minimum length of a constraint2
Maximum length of a constraint134

Trace number 7850

Launcher Data

LAUNCH ON wulflinc29 THE 2005-09-20 14:21:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4974 boxname=wulflinc29 idbench=286 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  422c0da7d5380a26c4dac413428db5c9  /oldhome/oroussel/tmp/wulflinc29/normalized-p0548.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4974
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        641376 kB
Buffers:         40820 kB
Cached:         320580 kB
SwapCached:        768 kB
Active:         231704 kB
Inactive:       132196 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        641124 kB
SwapTotal:     2097892 kB
SwapFree:      2096528 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5688 kB
Slab:            23692 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 14:41:17 (client local time) WITH STATUS 0 IN 1200.18 SECONDS
stats: 4974 7 1200.18 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/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859205003 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 41 3 40 18 0 23 0
[pid=11474] 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.0042 s]
Raw data (loadavg): 0.74 0.90 0.89 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 341 0 0 0 997 1 0 0 25 0 1 0 1859205003 2912256 307 4294967295 134512640 134578447 3221224624 3221223456 134528460 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 711 307 566 18 0 693 0
[pid=11474] vsize: 2844
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 2844

[startup+20.005 s]
Raw data (loadavg): 0.78 0.90 0.89 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 345 0 0 0 1996 2 0 0 25 0 1 0 1859205003 2912256 311 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 711 311 566 18 0 693 0
[pid=11474] vsize: 2844
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 2844

[startup+30.0058 s]
Raw data (loadavg): 0.81 0.90 0.89 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 348 0 0 0 2995 3 0 0 25 0 1 0 1859205003 3043328 314 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 314 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 2972

[startup+40.0065 s]
Raw data (loadavg): 0.84 0.91 0.89 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 351 0 0 0 3994 5 0 0 25 0 1 0 1859205003 3043328 317 4294967295 134512640 134578447 3221224624 3221223456 134528608 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 317 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 2972

[startup+50.0073 s]
Raw data (loadavg): 0.87 0.91 0.89 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 352 0 0 0 4993 5 0 0 25 0 1 0 1859205003 3043328 318 4294967295 134512640 134578447 3221224624 3221223368 1075285892 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 318 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 2972

[startup+60.0081 s]
Raw data (loadavg): 0.89 0.91 0.89 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 355 0 0 0 5992 6 0 0 25 0 1 0 1859205003 3043328 321 4294967295 134512640 134578447 3221224624 3221223288 1075291312 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 321 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 2972

[startup+70.0089 s]
Raw data (loadavg): 0.90 0.91 0.89 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 357 0 0 0 6992 6 0 0 25 0 1 0 1859205003 3043328 323 4294967295 134512640 134578447 3221224624 3221223664 134531684 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 323 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 2972

[startup+80.0096 s]
Raw data (loadavg): 0.92 0.92 0.89 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 361 0 0 0 7991 7 0 0 25 0 1 0 1859205003 3043328 327 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 327 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 2972

[startup+90.0104 s]
Raw data (loadavg): 0.93 0.92 0.89 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 361 0 0 0 8991 7 0 0 25 0 1 0 1859205003 3043328 327 4294967295 134512640 134578447 3221224624 3221223488 134517601 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 327 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 2972

[startup+100.011 s]
Raw data (loadavg): 0.94 0.92 0.90 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 362 0 0 0 9991 8 0 0 25 0 1 0 1859205003 3043328 328 4294967295 134512640 134578447 3221224624 3221223552 134519840 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 328 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 2972

[startup+110.012 s]
Raw data (loadavg): 0.95 0.92 0.90 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 364 0 0 0 10991 8 0 0 25 0 1 0 1859205003 3043328 330 4294967295 134512640 134578447 3221224624 3221223648 134553836 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 330 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 2972

[startup+120.013 s]
Raw data (loadavg): 0.96 0.92 0.90 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 365 0 0 0 11990 9 0 0 25 0 1 0 1859205003 3043328 331 4294967295 134512640 134578447 3221224624 3221223456 134528226 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 331 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 2972

[startup+130.013 s]
Raw data (loadavg): 0.96 0.93 0.90 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 365 0 0 0 12990 9 0 0 25 0 1 0 1859205003 3043328 331 4294967295 134512640 134578447 3221224624 3221223204 1074910624 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 331 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 2972

[startup+140.013 s]
Raw data (loadavg): 0.97 0.93 0.90 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 367 0 0 0 13989 10 0 0 25 0 1 0 1859205003 3043328 333 4294967295 134512640 134578447 3221224624 3221223456 134528498 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 333 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 2972

[startup+150.014 s]
Raw data (loadavg): 0.97 0.93 0.90 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 367 0 0 0 14989 10 0 0 25 0 1 0 1859205003 3043328 333 4294967295 134512640 134578447 3221224624 3221223288 1075291632 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 333 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 2972

[startup+160.015 s]
Raw data (loadavg): 0.98 0.93 0.90 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 367 0 0 0 15989 11 0 0 25 0 1 0 1859205003 3043328 333 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 333 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 2972

[startup+170.016 s]
Raw data (loadavg): 0.98 0.93 0.90 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 369 0 0 0 16988 11 0 0 25 0 1 0 1859205003 3043328 335 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 335 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 2972

[startup+180.015 s]
Raw data (loadavg): 0.98 0.94 0.90 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 371 0 0 0 17987 12 0 0 25 0 1 0 1859205003 3043328 337 4294967295 134512640 134578447 3221224624 3221223440 134527286 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 337 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 2972

[startup+190.016 s]
Raw data (loadavg): 0.98 0.94 0.90 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 371 0 0 0 18987 12 0 0 25 0 1 0 1859205003 3043328 337 4294967295 134512640 134578447 3221224624 3221223536 134556887 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 337 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 2972

[startup+200.017 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 371 0 0 0 19987 13 0 0 25 0 1 0 1859205003 3043328 337 4294967295 134512640 134578447 3221224624 3221223584 134559057 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 337 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 2972

[startup+210.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 372 0 0 0 20987 13 0 0 25 0 1 0 1859205003 3043328 338 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 338 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 210
Current children cumulated vsize (Kb) 2972

[startup+220.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 372 0 0 0 21986 14 0 0 25 0 1 0 1859205003 3043328 338 4294967295 134512640 134578447 3221224624 3221223488 134517923 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 338 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 220
Current children cumulated vsize (Kb) 2972

[startup+230.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 373 0 0 0 22986 14 0 0 25 0 1 0 1859205003 3043328 339 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 339 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 230
Current children cumulated vsize (Kb) 2972

[startup+240.019 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 373 0 0 0 23986 14 0 0 25 0 1 0 1859205003 3043328 339 4294967295 134512640 134578447 3221224624 3221223472 134520194 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 339 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 240
Current children cumulated vsize (Kb) 2972

[startup+250.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 377 0 0 0 24986 14 0 0 25 0 1 0 1859205003 3043328 343 4294967295 134512640 134578447 3221224624 3221223520 134519738 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 343 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 250
Current children cumulated vsize (Kb) 2972

[startup+260.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 377 0 0 0 25985 15 0 0 25 0 1 0 1859205003 3043328 343 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 343 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 260
Current children cumulated vsize (Kb) 2972

[startup+270.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 377 0 0 0 26985 15 0 0 25 0 1 0 1859205003 3043328 343 4294967295 134512640 134578447 3221224624 3221223356 1075285220 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 343 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 270
Current children cumulated vsize (Kb) 2972

[startup+280.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 377 0 0 0 27985 15 0 0 25 0 1 0 1859205003 3043328 343 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 343 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 280
Current children cumulated vsize (Kb) 2972

[startup+290.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 377 0 0 0 28985 15 0 0 25 0 1 0 1859205003 3043328 343 4294967295 134512640 134578447 3221224624 3221223376 134528865 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 343 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 290
Current children cumulated vsize (Kb) 2972

[startup+300.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 377 0 0 0 29985 16 0 0 25 0 1 0 1859205003 3043328 343 4294967295 134512640 134578447 3221224624 3221223520 134520026 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 343 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 300.01
Current children cumulated vsize (Kb) 2972

[startup+310.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 378 0 0 0 30984 16 0 0 25 0 1 0 1859205003 3043328 344 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 344 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 310
Current children cumulated vsize (Kb) 2972

[startup+320.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 379 0 0 0 31984 17 0 0 25 0 1 0 1859205003 3043328 345 4294967295 134512640 134578447 3221224624 3221223536 134556815 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 345 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 320.01
Current children cumulated vsize (Kb) 2972

[startup+330.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 379 0 0 0 32983 17 0 0 25 0 1 0 1859205003 3043328 345 4294967295 134512640 134578447 3221224624 3221223536 134557735 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 743 345 566 18 0 725 0
[pid=11474] vsize: 2972
Current children cumulated CPU time (s) 330
Current children cumulated vsize (Kb) 2972

[startup+340.025 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 382 0 0 0 33983 18 0 0 25 0 1 0 1859205003 3174400 348 4294967295 134512640 134578447 3221224624 3221223536 134557225 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 775 348 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 340.01
Current children cumulated vsize (Kb) 3100

[startup+350.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 383 0 0 0 34983 18 0 0 25 0 1 0 1859205003 3174400 349 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 775 349 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 350.01
Current children cumulated vsize (Kb) 3100

[startup+360.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 386 0 0 0 35983 18 0 0 25 0 1 0 1859205003 3174400 352 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 775 352 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 360.01
Current children cumulated vsize (Kb) 3100

[startup+370.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 387 0 0 0 36983 19 0 0 25 0 1 0 1859205003 3174400 353 4294967295 134512640 134578447 3221224624 3221223536 134556908 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 775 353 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 370.02
Current children cumulated vsize (Kb) 3100

[startup+380.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 390 0 0 0 37982 20 0 0 25 0 1 0 1859205003 3174400 356 4294967295 134512640 134578447 3221224624 3221223536 134557651 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 775 356 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 380.02
Current children cumulated vsize (Kb) 3100

[startup+390.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 390 0 0 0 38981 20 0 0 25 0 1 0 1859205003 3174400 356 4294967295 134512640 134578447 3221224624 3221223376 134528897 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 775 356 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 390.01
Current children cumulated vsize (Kb) 3100

[startup+400.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 390 0 0 0 39982 20 0 0 25 0 1 0 1859205003 3174400 356 4294967295 134512640 134578447 3221224624 3221223648 134554018 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 775 356 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 400.02
Current children cumulated vsize (Kb) 3100

[startup+410.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 391 0 0 0 40981 20 0 0 25 0 1 0 1859205003 3174400 357 4294967295 134512640 134578447 3221224624 3221223476 134555731 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 775 357 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 410.01
Current children cumulated vsize (Kb) 3100

[startup+420.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 393 0 0 0 41981 21 0 0 25 0 1 0 1859205003 3174400 359 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 775 359 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 420.02
Current children cumulated vsize (Kb) 3100

[startup+430.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 394 0 0 0 42981 21 0 0 25 0 1 0 1859205003 3174400 360 4294967295 134512640 134578447 3221224624 3221223476 134555961 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 775 360 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 430.02
Current children cumulated vsize (Kb) 3100

[startup+440.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 394 0 0 0 43981 21 0 0 25 0 1 0 1859205003 3174400 360 4294967295 134512640 134578447 3221224624 3221223536 134557832 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 775 360 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 440.02
Current children cumulated vsize (Kb) 3100

[startup+450.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 394 0 0 0 44981 21 0 0 25 0 1 0 1859205003 3174400 360 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 775 360 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 450.02
Current children cumulated vsize (Kb) 3100

[startup+460.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 394 0 0 0 45981 21 0 0 25 0 1 0 1859205003 3174400 360 4294967295 134512640 134578447 3221224624 3221223512 134556180 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 775 360 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 460.02
Current children cumulated vsize (Kb) 3100

[startup+470.034 s]
Raw data (loadavg): 1.07 0.98 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 394 0 0 0 46980 22 0 0 25 0 1 0 1859205003 3174400 360 4294967295 134512640 134578447 3221224624 3221223664 134554241 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 775 360 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 470.02
Current children cumulated vsize (Kb) 3100

[startup+480.034 s]
Raw data (loadavg): 1.06 0.98 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 395 0 0 0 47980 22 0 0 25 0 1 0 1859205003 3174400 361 4294967295 134512640 134578447 3221224624 3221223476 134555711 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 775 361 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 480.02
Current children cumulated vsize (Kb) 3100

[startup+490.034 s]
Raw data (loadavg): 1.05 0.98 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 395 0 0 0 48980 22 0 0 25 0 1 0 1859205003 3174400 361 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 775 361 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 490.02
Current children cumulated vsize (Kb) 3100

[startup+500.034 s]
Raw data (loadavg): 1.04 0.98 0.91 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 397 0 0 0 49980 22 0 0 25 0 1 0 1859205003 3174400 363 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 775 363 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 500.02
Current children cumulated vsize (Kb) 3100

[startup+510.035 s]
Raw data (loadavg): 1.11 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 397 0 0 0 50980 23 0 0 25 0 1 0 1859205003 3174400 363 4294967295 134512640 134578447 3221224624 3221223488 134517722 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 775 363 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 510.03
Current children cumulated vsize (Kb) 3100

[startup+520.036 s]
Raw data (loadavg): 1.10 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 398 0 0 0 51979 23 0 0 25 0 1 0 1859205003 3174400 364 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 775 364 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 520.02
Current children cumulated vsize (Kb) 3100

[startup+530.035 s]
Raw data (loadavg): 1.08 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 399 0 0 0 52979 24 0 0 25 0 1 0 1859205003 3174400 365 4294967295 134512640 134578447 3221224624 3221223384 1075288331 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11474/statm): 775 365 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 530.03
Current children cumulated vsize (Kb) 3100

[startup+540.036 s]
Raw data (loadavg): 1.07 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 400 0 0 0 53979 24 0 0 25 0 1 0 1859205003 3174400 366 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 366 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 540.03
Current children cumulated vsize (Kb) 3100

[startup+550.036 s]
Raw data (loadavg): 1.06 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 400 0 0 0 54979 24 0 0 25 0 1 0 1859205003 3174400 366 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 366 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 550.03
Current children cumulated vsize (Kb) 3100

[startup+560.037 s]
Raw data (loadavg): 1.05 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 400 0 0 0 55979 24 0 0 25 0 1 0 1859205003 3174400 366 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 366 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 560.03
Current children cumulated vsize (Kb) 3100

[startup+570.037 s]
Raw data (loadavg): 1.04 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 400 0 0 0 56980 24 0 0 25 0 1 0 1859205003 3174400 366 4294967295 134512640 134578447 3221224624 3221223472 134558459 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 366 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 570.04
Current children cumulated vsize (Kb) 3100

[startup+580.036 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 403 0 0 0 57980 24 0 0 25 0 1 0 1859205003 3174400 369 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 369 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 580.04
Current children cumulated vsize (Kb) 3100

[startup+590.037 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 405 0 0 0 58980 24 0 0 25 0 1 0 1859205003 3174400 371 4294967295 134512640 134578447 3221224624 3221223456 134528498 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 371 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 590.04
Current children cumulated vsize (Kb) 3100

[startup+600.037 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 405 0 0 0 59980 24 0 0 25 0 1 0 1859205003 3174400 371 4294967295 134512640 134578447 3221224624 3221223456 134528423 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 371 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 600.04
Current children cumulated vsize (Kb) 3100

[startup+610.038 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 405 0 0 0 60980 24 0 0 25 0 1 0 1859205003 3174400 371 4294967295 134512640 134578447 3221224624 3221223376 134528924 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 371 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 610.04
Current children cumulated vsize (Kb) 3100

[startup+620.038 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 405 0 0 0 61981 24 0 0 25 0 1 0 1859205003 3174400 371 4294967295 134512640 134578447 3221224624 3221223376 134528924 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 371 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 620.05
Current children cumulated vsize (Kb) 3100

[startup+630.038 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 405 0 0 0 62981 24 0 0 25 0 1 0 1859205003 3174400 371 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 371 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 630.05
Current children cumulated vsize (Kb) 3100

[startup+640.039 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 405 0 0 0 63981 24 0 0 25 0 1 0 1859205003 3174400 371 4294967295 134512640 134578447 3221224624 3221223456 134528617 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 371 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 640.05
Current children cumulated vsize (Kb) 3100

[startup+650.039 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 405 0 0 0 64981 24 0 0 25 0 1 0 1859205003 3174400 371 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 371 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 650.05
Current children cumulated vsize (Kb) 3100

[startup+660.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 405 0 0 0 65981 24 0 0 25 0 1 0 1859205003 3174400 371 4294967295 134512640 134578447 3221224624 3221223424 134528638 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 371 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 660.05
Current children cumulated vsize (Kb) 3100

[startup+670.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 406 0 0 0 66981 24 0 0 25 0 1 0 1859205003 3174400 372 4294967295 134512640 134578447 3221224624 3221223272 1075289666 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 372 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 670.05
Current children cumulated vsize (Kb) 3100

[startup+680.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 406 0 0 0 67982 24 0 0 25 0 1 0 1859205003 3174400 372 4294967295 134512640 134578447 3221224624 3221223456 134528423 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 372 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 680.06
Current children cumulated vsize (Kb) 3100

[startup+690.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 406 0 0 0 68982 24 0 0 25 0 1 0 1859205003 3174400 372 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 372 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 690.06
Current children cumulated vsize (Kb) 3100

[startup+700.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 406 0 0 0 69982 24 0 0 25 0 1 0 1859205003 3174400 372 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 372 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 700.06
Current children cumulated vsize (Kb) 3100

[startup+710.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 408 0 0 0 70982 24 0 0 25 0 1 0 1859205003 3174400 374 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 374 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 710.06
Current children cumulated vsize (Kb) 3100

[startup+720.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 408 0 0 0 71982 24 0 0 25 0 1 0 1859205003 3174400 374 4294967295 134512640 134578447 3221224624 3221223508 1075285608 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 374 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 720.06
Current children cumulated vsize (Kb) 3100

[startup+730.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 408 0 0 0 72983 24 0 0 25 0 1 0 1859205003 3174400 374 4294967295 134512640 134578447 3221224624 3221223376 134528924 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 374 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 730.07
Current children cumulated vsize (Kb) 3100

[startup+740.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 408 0 0 0 73983 24 0 0 25 0 1 0 1859205003 3174400 374 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 374 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 740.07
Current children cumulated vsize (Kb) 3100

[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 408 0 0 0 74983 24 0 0 25 0 1 0 1859205003 3174400 374 4294967295 134512640 134578447 3221224624 3221223584 134558785 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 374 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 750.07
Current children cumulated vsize (Kb) 3100

[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 408 0 0 0 75983 24 0 0 25 0 1 0 1859205003 3174400 374 4294967295 134512640 134578447 3221224624 3221223476 134555811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 374 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 760.07
Current children cumulated vsize (Kb) 3100

[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 410 0 0 0 76983 24 0 0 25 0 1 0 1859205003 3174400 376 4294967295 134512640 134578447 3221224624 3221223472 134520245 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 376 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 770.07
Current children cumulated vsize (Kb) 3100

[startup+780.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 410 0 0 0 77984 24 0 0 25 0 1 0 1859205003 3174400 376 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 376 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 780.08
Current children cumulated vsize (Kb) 3100

[startup+790.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 410 0 0 0 78984 24 0 0 25 0 1 0 1859205003 3174400 376 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 376 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 790.08
Current children cumulated vsize (Kb) 3100

[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 411 0 0 0 79984 24 0 0 25 0 1 0 1859205003 3174400 377 4294967295 134512640 134578447 3221224624 3221223376 134528924 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 775 377 566 18 0 757 0
[pid=11474] vsize: 3100
Current children cumulated CPU time (s) 800.08
Current children cumulated vsize (Kb) 3100

[startup+810.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 412 0 0 0 80984 24 0 0 25 0 1 0 1859205003 3305472 378 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 807 378 566 18 0 789 0
[pid=11474] vsize: 3228
Current children cumulated CPU time (s) 810.08
Current children cumulated vsize (Kb) 3228

[startup+820.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 412 0 0 0 81984 24 0 0 25 0 1 0 1859205003 3305472 378 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 807 378 566 18 0 789 0
[pid=11474] vsize: 3228
Current children cumulated CPU time (s) 820.08
Current children cumulated vsize (Kb) 3228

[startup+830.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 414 0 0 0 82985 24 0 0 25 0 1 0 1859205003 3305472 380 4294967295 134512640 134578447 3221224624 3221223584 134558926 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 807 380 566 18 0 789 0
[pid=11474] vsize: 3228
Current children cumulated CPU time (s) 830.09
Current children cumulated vsize (Kb) 3228

[startup+840.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 414 0 0 0 83985 24 0 0 25 0 1 0 1859205003 3301376 380 4294967295 134512640 134578447 3221224624 3221223280 1075288662 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 380 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 840.09
Current children cumulated vsize (Kb) 3224

[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 414 0 0 0 84985 24 0 0 25 0 1 0 1859205003 3301376 380 4294967295 134512640 134578447 3221224624 3221223536 134556800 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 380 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 850.09
Current children cumulated vsize (Kb) 3224

[startup+860.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 414 0 0 0 85985 24 0 0 25 0 1 0 1859205003 3301376 380 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 380 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 860.09
Current children cumulated vsize (Kb) 3224

[startup+870.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 416 0 0 0 86985 24 0 0 25 0 1 0 1859205003 3301376 382 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 382 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 870.09
Current children cumulated vsize (Kb) 3224

[startup+880.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 416 0 0 0 87986 24 0 0 25 0 1 0 1859205003 3301376 382 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 382 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 880.1
Current children cumulated vsize (Kb) 3224

[startup+890.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 417 0 0 0 88986 24 0 0 25 0 1 0 1859205003 3301376 383 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 383 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 890.1
Current children cumulated vsize (Kb) 3224

[startup+900.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 417 0 0 0 89986 24 0 0 25 0 1 0 1859205003 3301376 383 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 383 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 900.1
Current children cumulated vsize (Kb) 3224

[startup+910.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 418 0 0 0 90986 24 0 0 25 0 1 0 1859205003 3301376 384 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 384 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 910.1
Current children cumulated vsize (Kb) 3224

[startup+920.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 419 0 0 0 91987 24 0 0 25 0 1 0 1859205003 3301376 385 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 385 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 920.11
Current children cumulated vsize (Kb) 3224

[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 419 0 0 0 92987 24 0 0 25 0 1 0 1859205003 3301376 385 4294967295 134512640 134578447 3221224624 3221223456 134528429 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 385 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 930.11
Current children cumulated vsize (Kb) 3224

[startup+940.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 419 0 0 0 93987 24 0 0 25 0 1 0 1859205003 3301376 385 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 385 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 940.11
Current children cumulated vsize (Kb) 3224

[startup+950.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 419 0 0 0 94987 24 0 0 25 0 1 0 1859205003 3301376 385 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 385 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 950.11
Current children cumulated vsize (Kb) 3224

[startup+960.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 419 0 0 0 95987 24 0 0 25 0 1 0 1859205003 3301376 385 4294967295 134512640 134578447 3221224624 3221223456 134528454 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 385 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 960.11
Current children cumulated vsize (Kb) 3224

[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 419 0 0 0 96988 24 0 0 25 0 1 0 1859205003 3301376 385 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 385 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 970.12
Current children cumulated vsize (Kb) 3224

[startup+980.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 419 0 0 0 97988 24 0 0 25 0 1 0 1859205003 3301376 385 4294967295 134512640 134578447 3221224624 3221223508 1075285590 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 385 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 980.12
Current children cumulated vsize (Kb) 3224

[startup+990.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 419 0 0 0 98988 24 0 0 25 0 1 0 1859205003 3301376 385 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 385 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 990.12
Current children cumulated vsize (Kb) 3224

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 419 0 0 0 99988 24 0 0 25 0 1 0 1859205003 3301376 385 4294967295 134512640 134578447 3221224624 3221223536 134556768 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 385 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1000.12
Current children cumulated vsize (Kb) 3224

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 420 0 0 0 100988 24 0 0 25 0 1 0 1859205003 3301376 386 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 386 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1010.12
Current children cumulated vsize (Kb) 3224

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 420 0 0 0 101989 24 0 0 25 0 1 0 1859205003 3301376 386 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 386 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1020.13
Current children cumulated vsize (Kb) 3224

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 420 0 0 0 102989 24 0 0 25 0 1 0 1859205003 3301376 386 4294967295 134512640 134578447 3221224624 3221223376 134528924 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 386 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1030.13
Current children cumulated vsize (Kb) 3224

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 420 0 0 0 103989 24 0 0 25 0 1 0 1859205003 3301376 386 4294967295 134512640 134578447 3221224624 3221223368 1075285731 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 386 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1040.13
Current children cumulated vsize (Kb) 3224

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 420 0 0 0 104989 24 0 0 25 0 1 0 1859205003 3301376 386 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 386 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1050.13
Current children cumulated vsize (Kb) 3224

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 420 0 0 0 105989 24 0 0 25 0 1 0 1859205003 3301376 386 4294967295 134512640 134578447 3221224624 3221223520 134519724 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 386 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1060.13
Current children cumulated vsize (Kb) 3224

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 422 0 0 0 106990 24 0 0 25 0 1 0 1859205003 3301376 388 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 388 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1070.14
Current children cumulated vsize (Kb) 3224

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 422 0 0 0 107990 24 0 0 25 0 1 0 1859205003 3301376 388 4294967295 134512640 134578447 3221224624 3221223376 134528869 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 388 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1080.14
Current children cumulated vsize (Kb) 3224

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 425 0 0 0 108990 24 0 0 25 0 1 0 1859205003 3301376 391 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 391 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1090.14
Current children cumulated vsize (Kb) 3224

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 425 0 0 0 109990 24 0 0 25 0 1 0 1859205003 3301376 391 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 391 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1100.14
Current children cumulated vsize (Kb) 3224

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 425 0 0 0 110990 24 0 0 25 0 1 0 1859205003 3301376 391 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 391 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1110.14
Current children cumulated vsize (Kb) 3224

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 425 0 0 0 111991 24 0 0 25 0 1 0 1859205003 3301376 391 4294967295 134512640 134578447 3221224624 3221223456 134528344 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 391 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1120.15
Current children cumulated vsize (Kb) 3224

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 426 0 0 0 112991 24 0 0 25 0 1 0 1859205003 3301376 392 4294967295 134512640 134578447 3221224624 3221223404 134516096 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 392 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1130.15
Current children cumulated vsize (Kb) 3224

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 426 0 0 0 113991 24 0 0 25 0 1 0 1859205003 3301376 392 4294967295 134512640 134578447 3221224624 3221223504 134527820 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 392 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1140.15
Current children cumulated vsize (Kb) 3224

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 426 0 0 0 114991 24 0 0 25 0 1 0 1859205003 3301376 392 4294967295 134512640 134578447 3221224624 3221223476 134555832 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 392 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1150.15
Current children cumulated vsize (Kb) 3224

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 426 0 0 0 115991 24 0 0 25 0 1 0 1859205003 3301376 392 4294967295 134512640 134578447 3221224624 3221223504 134531689 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 392 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1160.15
Current children cumulated vsize (Kb) 3224

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 426 0 0 0 116992 24 0 0 25 0 1 0 1859205003 3301376 392 4294967295 134512640 134578447 3221224624 3221223488 134517848 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 392 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1170.16
Current children cumulated vsize (Kb) 3224

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 426 0 0 0 117992 24 0 0 25 0 1 0 1859205003 3301376 392 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 392 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1180.16
Current children cumulated vsize (Kb) 3224

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 426 0 0 0 118992 24 0 0 25 0 1 0 1859205003 3301376 392 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 392 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1190.16
Current children cumulated vsize (Kb) 3224

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 426 0 0 0 119992 24 0 0 25 0 1 0 1859205003 3301376 392 4294967295 134512640 134578447 3221224624 3221223316 1074910621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 392 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1200.16
Current children cumulated vsize (Kb) 3224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 11474
Raw data (/proc/11474/stat): 11474 (Pueblo) R 11473 11474 19818 0 -1 0 426 0 0 0 119992 24 0 0 25 0 1 0 1859205003 3301376 392 4294967295 134512640 134578447 3221224624 3221223456 134528344 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11474/statm): 806 392 566 18 0 788 0
[pid=11474] vsize: 3224
Current children cumulated CPU time (s) 1200.16
Current children cumulated vsize (Kb) 3224

Sending SIGTERM to -11474
Sleeping 2 seconds
One traced child (pid=11474) 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.07
CPU time (s): 1200.18
CPU user time (s): 1199.93
CPU system time (s): 0.247962
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (Kb): 3228

Verifier Data

ERROR: no interpretation found !