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/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb
MD5SUMb552ff39062b6c42ea64365c815cbd78
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 2650
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2650
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2650
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables2650
Total number of constraints6619
Number of constraints which are clauses6619
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3

Trace number 7760

Launcher Data

LAUNCH ON wulflinc25 THE 2005-09-20 13:53:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4881 boxname=wulflinc25 idbench=193 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  b552ff39062b6c42ea64365c815cbd78  /oldhome/oroussel/tmp/wulflinc25/normalized-par32-3-c.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4881
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        859232 kB
Buffers:         32992 kB
Cached:         114972 kB
SwapCached:        888 kB
Active:          59092 kB
Inactive:        91516 kB
HighTotal:      131008 kB
HighFree:        18620 kB
LowTotal:       903652 kB
LowFree:        840612 kB
SwapTotal:     2097892 kB
SwapFree:      2096524 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            19264 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 14:13:36 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 4881 7 1200.22 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/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859076714 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2856/statm): 41 3 40 18 0 23 0
[pid=2856] 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.0034 s]
Raw data (loadavg): 0.93 0.97 0.87 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 751 0 0 0 997 1 0 0 25 0 1 0 1859076714 4665344 717 4294967295 134512640 134578447 3221224624 3221223536 134556775 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 1139 717 566 18 0 1121 0
[pid=2856] vsize: 4556
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 4556

[startup+20.003 s]
Raw data (loadavg): 0.94 0.97 0.87 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 856 0 0 0 1996 1 0 0 25 0 1 0 1859076714 5193728 822 4294967295 134512640 134578447 3221224624 3221223552 134552645 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 1268 822 566 18 0 1250 0
[pid=2856] vsize: 5072
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 5072

[startup+30.0036 s]
Raw data (loadavg): 0.95 0.97 0.87 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 899 0 0 0 2996 1 0 0 25 0 1 0 1859076714 5324800 865 4294967295 134512640 134578447 3221224624 3221223524 134556724 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 1300 865 566 18 0 1282 0
[pid=2856] vsize: 5200
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 5200

[startup+40.0032 s]
Raw data (loadavg): 0.96 0.97 0.87 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 979 0 0 0 3997 1 0 0 25 0 1 0 1859076714 5595136 945 4294967295 134512640 134578447 3221224624 3221223520 134519997 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 1366 945 566 18 0 1348 0
[pid=2856] vsize: 5464
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 5464

[startup+50.0038 s]
Raw data (loadavg): 0.96 0.97 0.87 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 979 0 0 0 4997 1 0 0 25 0 1 0 1859076714 5595136 945 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 1366 945 566 18 0 1348 0
[pid=2856] vsize: 5464
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 5464

[startup+60.0034 s]
Raw data (loadavg): 0.97 0.97 0.87 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1023 0 0 0 5996 2 0 0 25 0 1 0 1859076714 5861376 989 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 1431 989 566 18 0 1413 0
[pid=2856] vsize: 5724
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 5724

[startup+70.003 s]
Raw data (loadavg): 0.97 0.97 0.87 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1072 0 0 0 6996 2 0 0 25 0 1 0 1859076714 5992448 1038 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 1463 1038 566 18 0 1445 0
[pid=2856] vsize: 5852
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 5852

[startup+80.0036 s]
Raw data (loadavg): 0.98 0.97 0.87 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1088 0 0 0 7996 2 0 0 25 0 1 0 1859076714 6164480 1054 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 1505 1054 566 18 0 1487 0
[pid=2856] vsize: 6020
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 6020

[startup+90.0032 s]
Raw data (loadavg): 0.98 0.97 0.87 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1133 0 0 0 8996 3 0 0 25 0 1 0 1859076714 6295552 1099 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 1537 1099 566 18 0 1519 0
[pid=2856] vsize: 6148
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 6148

[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.87 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1202 0 0 0 9994 5 0 0 25 0 1 0 1859076714 6561792 1168 4294967295 134512640 134578447 3221224624 3221223536 134557225 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 1602 1168 566 18 0 1584 0
[pid=2856] vsize: 6408
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 6408

[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.87 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1236 0 0 0 10994 5 0 0 25 0 1 0 1859076714 6692864 1202 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 1634 1202 566 18 0 1616 0
[pid=2856] vsize: 6536
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 6536

[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.88 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1236 0 0 0 11994 6 0 0 25 0 1 0 1859076714 6692864 1202 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 1634 1202 566 18 0 1616 0
[pid=2856] vsize: 6536
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 6536

[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.88 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1259 0 0 0 12994 6 0 0 25 0 1 0 1859076714 6828032 1225 4294967295 134512640 134578447 3221224624 3221223520 134519742 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 1667 1225 566 18 0 1649 0
[pid=2856] vsize: 6668
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 6668

[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.88 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1431 0 0 0 13992 7 0 0 25 0 1 0 1859076714 7487488 1397 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 1828 1397 566 18 0 1810 0
[pid=2856] vsize: 7312
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 7312

[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.88 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1506 0 0 0 14992 8 0 0 25 0 1 0 1859076714 7884800 1472 4294967295 134512640 134578447 3221224624 3221223504 134519923 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 1925 1472 566 18 0 1907 0
[pid=2856] vsize: 7700
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 7700

[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.88 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1595 0 0 0 15991 9 0 0 25 0 1 0 1859076714 8151040 1561 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 1990 1561 566 18 0 1972 0
[pid=2856] vsize: 7960
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 7960

[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.88 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1672 0 0 0 16991 9 0 0 25 0 1 0 1859076714 8548352 1638 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2087 1638 566 18 0 2069 0
[pid=2856] vsize: 8348
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 8348

[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.88 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1828 0 0 0 17990 10 0 0 25 0 1 0 1859076714 9203712 1794 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2247 1794 566 18 0 2229 0
[pid=2856] vsize: 8988
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 8988

[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.88 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1903 0 0 0 18990 10 0 0 25 0 1 0 1859076714 9465856 1869 4294967295 134512640 134578447 3221224624 3221223584 134559080 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1869 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 9244

[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.88 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 19990 10 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 9244

[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.88 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 20990 10 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 210
Current children cumulated vsize (Kb) 9244

[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.89 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 21990 10 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 220
Current children cumulated vsize (Kb) 9244

[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.89 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 22991 10 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223472 134558515 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 230.01
Current children cumulated vsize (Kb) 9244

[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.89 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 23990 11 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 240.01
Current children cumulated vsize (Kb) 9244

[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.89 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 24991 11 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 250.02
Current children cumulated vsize (Kb) 9244

[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.89 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 25991 11 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223484 134558154 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 260.02
Current children cumulated vsize (Kb) 9244

[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.89 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 26991 11 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 270.02
Current children cumulated vsize (Kb) 9244

[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.89 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 27991 11 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 280.02
Current children cumulated vsize (Kb) 9244

[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.89 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 28991 11 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 290.02
Current children cumulated vsize (Kb) 9244

[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.89 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1906 0 0 0 29991 11 0 0 25 0 1 0 1859076714 9465856 1872 4294967295 134512640 134578447 3221224624 3221223536 134557432 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1872 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 300.02
Current children cumulated vsize (Kb) 9244

[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.89 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 30991 11 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223472 134558433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 310.02
Current children cumulated vsize (Kb) 9244

[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.90 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 31992 11 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223520 134519831 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 320.03
Current children cumulated vsize (Kb) 9244

[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.90 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 32991 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 330.03
Current children cumulated vsize (Kb) 9244

[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.90 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 33992 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223440 1075285089 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 340.04
Current children cumulated vsize (Kb) 9244

[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.90 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 34992 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 350.04
Current children cumulated vsize (Kb) 9244

[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.90 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 35992 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 360.04
Current children cumulated vsize (Kb) 9244

[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.90 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 36992 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 370.04
Current children cumulated vsize (Kb) 9244

[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.90 2/56 2856
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 37992 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223472 134558343 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 380.04
Current children cumulated vsize (Kb) 9244

[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.90 2/57 2857
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 38994 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 390.06
Current children cumulated vsize (Kb) 9244

[startup+400.025 s]
Raw data (loadavg): 1.07 0.99 0.91 2/56 2911
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 39993 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223556 134519841 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 400.05
Current children cumulated vsize (Kb) 9244

[startup+410.024 s]
Raw data (loadavg): 1.06 0.99 0.91 2/56 2911
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 40994 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223584 134559074 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 410.06
Current children cumulated vsize (Kb) 9244

[startup+420.024 s]
Raw data (loadavg): 1.05 0.99 0.91 2/56 2911
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 41994 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223524 134556722 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 420.06
Current children cumulated vsize (Kb) 9244

[startup+430.025 s]
Raw data (loadavg): 1.04 0.99 0.91 2/56 2911
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 42994 12 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223520 134519815 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 430.06
Current children cumulated vsize (Kb) 9244

[startup+440.024 s]
Raw data (loadavg): 1.03 0.99 0.91 2/56 2911
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 43994 13 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 440.07
Current children cumulated vsize (Kb) 9244

[startup+450.025 s]
Raw data (loadavg): 1.03 0.99 0.91 2/56 2911
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1907 0 0 0 44994 13 0 0 25 0 1 0 1859076714 9465856 1873 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1873 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 450.07
Current children cumulated vsize (Kb) 9244

[startup+460.024 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 45994 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 460.07
Current children cumulated vsize (Kb) 9244

[startup+470.024 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 46994 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 470.07
Current children cumulated vsize (Kb) 9244

[startup+480.024 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 47994 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 480.07
Current children cumulated vsize (Kb) 9244

[startup+490.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 48995 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223520 134519783 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 490.08
Current children cumulated vsize (Kb) 9244

[startup+500.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 49995 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 500.08
Current children cumulated vsize (Kb) 9244

[startup+510.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 50995 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223556 134519841 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 510.08
Current children cumulated vsize (Kb) 9244

[startup+520.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 51995 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223536 134556812 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 520.08
Current children cumulated vsize (Kb) 9244

[startup+530.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 52995 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 530.08
Current children cumulated vsize (Kb) 9244

[startup+540.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 53995 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 540.08
Current children cumulated vsize (Kb) 9244

[startup+550.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 54995 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 550.08
Current children cumulated vsize (Kb) 9244

[startup+560.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1908 0 0 0 55995 13 0 0 25 0 1 0 1859076714 9465856 1874 4294967295 134512640 134578447 3221224624 3221223576 134559033 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1874 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 560.08
Current children cumulated vsize (Kb) 9244

[startup+570.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1909 0 0 0 56996 13 0 0 25 0 1 0 1859076714 9465856 1875 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1875 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 570.09
Current children cumulated vsize (Kb) 9244

[startup+580.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1909 0 0 0 57996 13 0 0 25 0 1 0 1859076714 9465856 1875 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1875 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 580.09
Current children cumulated vsize (Kb) 9244

[startup+590.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1909 0 0 0 58995 14 0 0 25 0 1 0 1859076714 9465856 1875 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1875 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 590.09
Current children cumulated vsize (Kb) 9244

[startup+600.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1909 0 0 0 59996 14 0 0 25 0 1 0 1859076714 9465856 1875 4294967295 134512640 134578447 3221224624 3221223472 134558377 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1875 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 600.1
Current children cumulated vsize (Kb) 9244

[startup+610.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1909 0 0 0 60996 14 0 0 25 0 1 0 1859076714 9465856 1875 4294967295 134512640 134578447 3221224624 3221223536 134556867 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1875 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 610.1
Current children cumulated vsize (Kb) 9244

[startup+620.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1909 0 0 0 61996 14 0 0 25 0 1 0 1859076714 9465856 1875 4294967295 134512640 134578447 3221224624 3221223472 134558409 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1875 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 620.1
Current children cumulated vsize (Kb) 9244

[startup+630.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1909 0 0 0 62996 14 0 0 25 0 1 0 1859076714 9465856 1875 4294967295 134512640 134578447 3221224624 3221223572 134559036 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1875 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 630.1
Current children cumulated vsize (Kb) 9244

[startup+640.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1909 0 0 0 63996 14 0 0 25 0 1 0 1859076714 9465856 1875 4294967295 134512640 134578447 3221224624 3221223536 134556671 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1875 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 640.1
Current children cumulated vsize (Kb) 9244

[startup+650.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1909 0 0 0 64997 14 0 0 25 0 1 0 1859076714 9465856 1875 4294967295 134512640 134578447 3221224624 3221223472 134558198 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1875 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 650.11
Current children cumulated vsize (Kb) 9244

[startup+660.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1909 0 0 0 65997 14 0 0 25 0 1 0 1859076714 9465856 1875 4294967295 134512640 134578447 3221224624 3221223584 134558919 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1875 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 660.11
Current children cumulated vsize (Kb) 9244

[startup+670.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1914 0 0 0 66997 14 0 0 25 0 1 0 1859076714 9465856 1880 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1880 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 670.11
Current children cumulated vsize (Kb) 9244

[startup+680.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1914 0 0 0 67997 14 0 0 25 0 1 0 1859076714 9465856 1880 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1880 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 680.11
Current children cumulated vsize (Kb) 9244

[startup+690.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1914 0 0 0 68997 14 0 0 25 0 1 0 1859076714 9465856 1880 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1880 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 690.11
Current children cumulated vsize (Kb) 9244

[startup+700.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1914 0 0 0 69995 16 0 0 25 0 1 0 1859076714 9465856 1880 4294967295 134512640 134578447 3221224624 3221223524 134556724 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2311 1880 566 18 0 2293 0
[pid=2856] vsize: 9244
Current children cumulated CPU time (s) 700.11
Current children cumulated vsize (Kb) 9244

[startup+710.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1921 0 0 0 70995 16 0 0 25 0 1 0 1859076714 9629696 1887 4294967295 134512640 134578447 3221224624 3221223520 134519738 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2351 1887 566 18 0 2333 0
[pid=2856] vsize: 9404
Current children cumulated CPU time (s) 710.11
Current children cumulated vsize (Kb) 9404

[startup+720.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1921 0 0 0 71995 16 0 0 25 0 1 0 1859076714 9629696 1887 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2351 1887 566 18 0 2333 0
[pid=2856] vsize: 9404
Current children cumulated CPU time (s) 720.11
Current children cumulated vsize (Kb) 9404

[startup+730.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1921 0 0 0 72995 17 0 0 25 0 1 0 1859076714 9629696 1887 4294967295 134512640 134578447 3221224624 3221223520 134519847 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2351 1887 566 18 0 2333 0
[pid=2856] vsize: 9404
Current children cumulated CPU time (s) 730.12
Current children cumulated vsize (Kb) 9404

[startup+740.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1921 0 0 0 73995 17 0 0 25 0 1 0 1859076714 9629696 1887 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2351 1887 566 18 0 2333 0
[pid=2856] vsize: 9404
Current children cumulated CPU time (s) 740.12
Current children cumulated vsize (Kb) 9404

[startup+750.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2915
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1921 0 0 0 74995 17 0 0 25 0 1 0 1859076714 9629696 1887 4294967295 134512640 134578447 3221224624 3221223520 134557473 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2351 1887 566 18 0 2333 0
[pid=2856] vsize: 9404
Current children cumulated CPU time (s) 750.12
Current children cumulated vsize (Kb) 9404

[startup+760.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1921 0 0 0 75995 18 0 0 25 0 1 0 1859076714 9629696 1887 4294967295 134512640 134578447 3221224624 3221223560 134552641 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2351 1887 566 18 0 2333 0
[pid=2856] vsize: 9404
Current children cumulated CPU time (s) 760.13
Current children cumulated vsize (Kb) 9404

[startup+770.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1926 0 0 0 76995 18 0 0 25 0 1 0 1859076714 9629696 1892 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2351 1892 566 18 0 2333 0
[pid=2856] vsize: 9404
Current children cumulated CPU time (s) 770.13
Current children cumulated vsize (Kb) 9404

[startup+780.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1926 0 0 0 77995 18 0 0 25 0 1 0 1859076714 9629696 1892 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2351 1892 566 18 0 2333 0
[pid=2856] vsize: 9404
Current children cumulated CPU time (s) 780.13
Current children cumulated vsize (Kb) 9404

[startup+790.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1931 0 0 0 78995 18 0 0 25 0 1 0 1859076714 9629696 1897 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2351 1897 566 18 0 2333 0
[pid=2856] vsize: 9404
Current children cumulated CPU time (s) 790.13
Current children cumulated vsize (Kb) 9404

[startup+800.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1932 0 0 0 79995 18 0 0 25 0 1 0 1859076714 9629696 1898 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2351 1898 566 18 0 2333 0
[pid=2856] vsize: 9404
Current children cumulated CPU time (s) 800.13
Current children cumulated vsize (Kb) 9404

[startup+810.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1937 0 0 0 80995 18 0 0 25 0 1 0 1859076714 9629696 1903 4294967295 134512640 134578447 3221224624 3221223536 134557341 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2351 1903 566 18 0 2333 0
[pid=2856] vsize: 9404
Current children cumulated CPU time (s) 810.13
Current children cumulated vsize (Kb) 9404

[startup+820.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1943 0 0 0 81995 18 0 0 25 0 1 0 1859076714 9629696 1909 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2351 1909 566 18 0 2333 0
[pid=2856] vsize: 9404
Current children cumulated CPU time (s) 820.13
Current children cumulated vsize (Kb) 9404

[startup+830.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1943 0 0 0 82995 18 0 0 25 0 1 0 1859076714 9629696 1909 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2351 1909 566 18 0 2333 0
[pid=2856] vsize: 9404
Current children cumulated CPU time (s) 830.13
Current children cumulated vsize (Kb) 9404

[startup+840.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1943 0 0 0 83995 19 0 0 25 0 1 0 1859076714 9629696 1909 4294967295 134512640 134578447 3221224624 3221223568 134558951 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2351 1909 566 18 0 2333 0
[pid=2856] vsize: 9404
Current children cumulated CPU time (s) 840.14
Current children cumulated vsize (Kb) 9404

[startup+850.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1943 0 0 0 84995 19 0 0 25 0 1 0 1859076714 9629696 1909 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2351 1909 566 18 0 2333 0
[pid=2856] vsize: 9404
Current children cumulated CPU time (s) 850.14
Current children cumulated vsize (Kb) 9404

[startup+860.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1943 0 0 0 85995 19 0 0 25 0 1 0 1859076714 9629696 1909 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2351 1909 566 18 0 2333 0
[pid=2856] vsize: 9404
Current children cumulated CPU time (s) 860.14
Current children cumulated vsize (Kb) 9404

[startup+870.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1944 0 0 0 86995 19 0 0 25 0 1 0 1859076714 9629696 1910 4294967295 134512640 134578447 3221224624 3221223504 134531670 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2351 1910 566 18 0 2333 0
[pid=2856] vsize: 9404
Current children cumulated CPU time (s) 870.14
Current children cumulated vsize (Kb) 9404

[startup+880.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1944 0 0 0 87995 19 0 0 25 0 1 0 1859076714 9629696 1910 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2351 1910 566 18 0 2333 0
[pid=2856] vsize: 9404
Current children cumulated CPU time (s) 880.14
Current children cumulated vsize (Kb) 9404

[startup+890.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1944 0 0 0 88995 19 0 0 25 0 1 0 1859076714 9629696 1910 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2351 1910 566 18 0 2333 0
[pid=2856] vsize: 9404
Current children cumulated CPU time (s) 890.14
Current children cumulated vsize (Kb) 9404

[startup+900.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1944 0 0 0 89996 19 0 0 25 0 1 0 1859076714 9629696 1910 4294967295 134512640 134578447 3221224624 3221223584 134558898 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2351 1910 566 18 0 2333 0
[pid=2856] vsize: 9404
Current children cumulated CPU time (s) 900.15
Current children cumulated vsize (Kb) 9404

[startup+910.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 1944 0 0 0 90996 19 0 0 25 0 1 0 1859076714 9629696 1910 4294967295 134512640 134578447 3221224624 3221223568 134558663 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2351 1910 566 18 0 2333 0
[pid=2856] vsize: 9404
Current children cumulated CPU time (s) 910.15
Current children cumulated vsize (Kb) 9404

[startup+920.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2011 0 0 0 91995 20 0 0 25 0 1 0 1859076714 10043392 1977 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2452 1977 566 18 0 2434 0
[pid=2856] vsize: 9808
Current children cumulated CPU time (s) 920.15
Current children cumulated vsize (Kb) 9808

[startup+930.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 92995 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0
[pid=2856] vsize: 9808
Current children cumulated CPU time (s) 930.15
Current children cumulated vsize (Kb) 9808

[startup+940.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 93995 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0
[pid=2856] vsize: 9808
Current children cumulated CPU time (s) 940.15
Current children cumulated vsize (Kb) 9808

[startup+950.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 94995 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0
[pid=2856] vsize: 9808
Current children cumulated CPU time (s) 950.15
Current children cumulated vsize (Kb) 9808

[startup+960.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 95996 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0
[pid=2856] vsize: 9808
Current children cumulated CPU time (s) 960.16
Current children cumulated vsize (Kb) 9808

[startup+970.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 96996 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0
[pid=2856] vsize: 9808
Current children cumulated CPU time (s) 970.16
Current children cumulated vsize (Kb) 9808

[startup+980.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 97996 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0
[pid=2856] vsize: 9808
Current children cumulated CPU time (s) 980.16
Current children cumulated vsize (Kb) 9808

[startup+990.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 98996 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0
[pid=2856] vsize: 9808
Current children cumulated CPU time (s) 990.16
Current children cumulated vsize (Kb) 9808

[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 99996 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223584 134558819 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0
[pid=2856] vsize: 9808
Current children cumulated CPU time (s) 1000.16
Current children cumulated vsize (Kb) 9808

[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 100996 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0
[pid=2856] vsize: 9808
Current children cumulated CPU time (s) 1010.16
Current children cumulated vsize (Kb) 9808

[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 101996 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223520 134519738 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0
[pid=2856] vsize: 9808
Current children cumulated CPU time (s) 1020.16
Current children cumulated vsize (Kb) 9808

[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 102996 20 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0
[pid=2856] vsize: 9808
Current children cumulated CPU time (s) 1030.16
Current children cumulated vsize (Kb) 9808

[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 103996 21 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0
[pid=2856] vsize: 9808
Current children cumulated CPU time (s) 1040.17
Current children cumulated vsize (Kb) 9808

[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 104996 21 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223536 134557049 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0
[pid=2856] vsize: 9808
Current children cumulated CPU time (s) 1050.17
Current children cumulated vsize (Kb) 9808

[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 105997 21 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0
[pid=2856] vsize: 9808
Current children cumulated CPU time (s) 1060.18
Current children cumulated vsize (Kb) 9808

[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 106997 21 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0
[pid=2856] vsize: 9808
Current children cumulated CPU time (s) 1070.18
Current children cumulated vsize (Kb) 9808

[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2016 0 0 0 107997 21 0 0 25 0 1 0 1859076714 10043392 1982 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2452 1982 566 18 0 2434 0
[pid=2856] vsize: 9808
Current children cumulated CPU time (s) 1080.18
Current children cumulated vsize (Kb) 9808

[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2019 0 0 0 108997 21 0 0 25 0 1 0 1859076714 10043392 1985 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2452 1985 566 18 0 2434 0
[pid=2856] vsize: 9808
Current children cumulated CPU time (s) 1090.18
Current children cumulated vsize (Kb) 9808

[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2019 0 0 0 109997 21 0 0 25 0 1 0 1859076714 10043392 1985 4294967295 134512640 134578447 3221224624 3221223536 134556815 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2452 1985 566 18 0 2434 0
[pid=2856] vsize: 9808
Current children cumulated CPU time (s) 1100.18
Current children cumulated vsize (Kb) 9808

[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2027 0 0 0 110997 21 0 0 25 0 1 0 1859076714 10043392 1993 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2452 1993 566 18 0 2434 0
[pid=2856] vsize: 9808
Current children cumulated CPU time (s) 1110.18
Current children cumulated vsize (Kb) 9808

[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2139 0 0 0 111997 22 0 0 25 0 1 0 1859076714 10436608 2105 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2548 2105 566 18 0 2530 0
[pid=2856] vsize: 10192
Current children cumulated CPU time (s) 1120.19
Current children cumulated vsize (Kb) 10192

[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2139 0 0 0 112997 22 0 0 25 0 1 0 1859076714 10436608 2105 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2548 2105 566 18 0 2530 0
[pid=2856] vsize: 10192
Current children cumulated CPU time (s) 1130.19
Current children cumulated vsize (Kb) 10192

[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2139 0 0 0 113997 22 0 0 25 0 1 0 1859076714 10436608 2105 4294967295 134512640 134578447 3221224624 3221223472 134558415 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2548 2105 566 18 0 2530 0
[pid=2856] vsize: 10192
Current children cumulated CPU time (s) 1140.19
Current children cumulated vsize (Kb) 10192

[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2139 0 0 0 114997 22 0 0 25 0 1 0 1859076714 10436608 2105 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2548 2105 566 18 0 2530 0
[pid=2856] vsize: 10192
Current children cumulated CPU time (s) 1150.19
Current children cumulated vsize (Kb) 10192

[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2139 0 0 0 115998 22 0 0 25 0 1 0 1859076714 10436608 2105 4294967295 134512640 134578447 3221224624 3221223472 134520200 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2548 2105 566 18 0 2530 0
[pid=2856] vsize: 10192
Current children cumulated CPU time (s) 1160.2
Current children cumulated vsize (Kb) 10192

[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2139 0 0 0 116998 22 0 0 25 0 1 0 1859076714 10436608 2105 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2548 2105 566 18 0 2530 0
[pid=2856] vsize: 10192
Current children cumulated CPU time (s) 1170.2
Current children cumulated vsize (Kb) 10192

[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2139 0 0 0 117997 22 0 0 25 0 1 0 1859076714 10436608 2105 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2548 2105 566 18 0 2530 0
[pid=2856] vsize: 10192
Current children cumulated CPU time (s) 1180.19
Current children cumulated vsize (Kb) 10192

[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2140 0 0 0 118998 22 0 0 25 0 1 0 1859076714 10436608 2106 4294967295 134512640 134578447 3221224624 3221223568 134558663 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2548 2106 566 18 0 2530 0
[pid=2856] vsize: 10192
Current children cumulated CPU time (s) 1190.2
Current children cumulated vsize (Kb) 10192

[startup+1200.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2140 0 0 0 119998 22 0 0 25 0 1 0 1859076714 10436608 2106 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2548 2106 566 18 0 2530 0
[pid=2856] vsize: 10192
Current children cumulated CPU time (s) 1200.2
Current children cumulated vsize (Kb) 10192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 2917
Raw data (/proc/2856/stat): 2856 (Pueblo) R 2855 2856 4419 0 -1 0 2140 0 0 0 119998 22 0 0 25 0 1 0 1859076714 10436608 2106 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2856/statm): 2548 2106 566 18 0 2530 0
[pid=2856] vsize: 10192
Current children cumulated CPU time (s) 1200.2
Current children cumulated vsize (Kb) 10192

Sending SIGTERM to -2856
Sleeping 2 seconds
One traced child (pid=2856) 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.03
CPU time (s): 1200.22
CPU user time (s): 1199.98
CPU system time (s): 0.231964
CPU usage (%): 100.016
Max. virtual memory (cumulated for all children) (Kb): 10192

Verifier Data

ERROR: no interpretation found !