Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow40b.opb
MD5SUM64cd8dd71c00255f05a721f3d3f16ae5
Bench Categoryoptimization, medium integers (OPTMEDINT)
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 1364
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 230637
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 102400
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 7037881
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables23384
Total number of constraints4170
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1403
Number of constraints which are nor clauses,nor cardinality constraints2767
Minimum length of a constraint1
Maximum length of a constraint1202

Trace number 8140

Launcher Data

LAUNCH ON wulflinc27 THE 2005-09-20 15:41:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5244 boxname=wulflinc27 idbench=556 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  64cd8dd71c00255f05a721f3d3f16ae5  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-aflow40b.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5244
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        808988 kB
Buffers:         33760 kB
Cached:         161932 kB
SwapCached:        692 kB
Active:          71388 kB
Inactive:       126876 kB
HighTotal:      131008 kB
HighFree:         9352 kB
LowTotal:       903652 kB
LowFree:        799636 kB
SwapTotal:     2097892 kB
SwapFree:      2096628 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5748 kB
Slab:            21680 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 16:01:10 (client local time) WITH STATUS 0 IN 1210.01 SECONDS
stats: 5244 7 1210.01 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/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 19 0 0 0 0 0 0 0 21 0 1 0 1859678316 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8751/statm): 41 3 40 18 0 23 0
[pid=8751] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0037 s]
Raw data (loadavg): 0.93 0.96 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 3369 0 0 0 984 12 0 0 25 0 1 0 1859678316 15994880 3309 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 3905 3309 566 18 0 3887 0
[pid=8751] vsize: 15620
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 15620

[startup+20.0045 s]
Raw data (loadavg): 0.94 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 3369 0 0 0 1984 12 0 0 25 0 1 0 1859678316 15994880 3309 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 3905 3309 566 18 0 3887 0
[pid=8751] vsize: 15620
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 15620

[startup+30.0053 s]
Raw data (loadavg): 0.95 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 3399 0 0 0 2984 12 0 0 25 0 1 0 1859678316 16146432 3339 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 3942 3339 566 18 0 3924 0
[pid=8751] vsize: 15768
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 15768

[startup+40.0052 s]
Raw data (loadavg): 0.96 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 3636 0 0 0 3983 12 0 0 25 0 1 0 1859678316 17117184 3576 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 4179 3576 566 18 0 4161 0
[pid=8751] vsize: 16716
Current children cumulated CPU time (s) 39.95
Current children cumulated vsize (Kb) 16716

[startup+50.006 s]
Raw data (loadavg): 0.96 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 3702 0 0 0 4983 12 0 0 25 0 1 0 1859678316 17256448 3642 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 4213 3642 566 18 0 4195 0
[pid=8751] vsize: 16852
Current children cumulated CPU time (s) 49.95
Current children cumulated vsize (Kb) 16852

[startup+60.0058 s]
Raw data (loadavg): 0.97 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 3886 0 0 0 5983 13 0 0 25 0 1 0 1859678316 18063360 3826 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 4410 3826 566 18 0 4392 0
[pid=8751] vsize: 17640
Current children cumulated CPU time (s) 59.96
Current children cumulated vsize (Kb) 17640

[startup+70.0066 s]
Raw data (loadavg): 0.97 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 4108 0 0 0 6982 13 0 0 25 0 1 0 1859678316 18972672 4048 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 4632 4048 566 18 0 4614 0
[pid=8751] vsize: 18528
Current children cumulated CPU time (s) 69.95
Current children cumulated vsize (Kb) 18528

[startup+80.0075 s]
Raw data (loadavg): 0.98 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 4294 0 0 0 7982 14 0 0 25 0 1 0 1859678316 19750912 4234 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 4822 4234 566 18 0 4804 0
[pid=8751] vsize: 19288
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 19288

[startup+90.0073 s]
Raw data (loadavg): 0.98 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 4461 0 0 0 8982 14 0 0 25 0 1 0 1859678316 20410368 4401 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 4983 4401 566 18 0 4965 0
[pid=8751] vsize: 19932
Current children cumulated CPU time (s) 89.96
Current children cumulated vsize (Kb) 19932

[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 4602 0 0 0 9982 14 0 0 25 0 1 0 1859678316 20934656 4542 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 5111 4542 566 18 0 5093 0
[pid=8751] vsize: 20444
Current children cumulated CPU time (s) 99.96
Current children cumulated vsize (Kb) 20444

[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 4738 0 0 0 10981 15 0 0 25 0 1 0 1859678316 21585920 4678 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 5270 4678 566 18 0 5252 0
[pid=8751] vsize: 21080
Current children cumulated CPU time (s) 109.96
Current children cumulated vsize (Kb) 21080

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 4960 0 0 0 11981 15 0 0 25 0 1 0 1859678316 22499328 4900 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 5493 4900 566 18 0 5475 0
[pid=8751] vsize: 21972
Current children cumulated CPU time (s) 119.96
Current children cumulated vsize (Kb) 21972

[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 4960 0 0 0 12981 15 0 0 25 0 1 0 1859678316 22499328 4900 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 5493 4900 566 18 0 5475 0
[pid=8751] vsize: 21972
Current children cumulated CPU time (s) 129.96
Current children cumulated vsize (Kb) 21972

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 4960 0 0 0 13981 15 0 0 25 0 1 0 1859678316 22499328 4900 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 5493 4900 566 18 0 5475 0
[pid=8751] vsize: 21972
Current children cumulated CPU time (s) 139.96
Current children cumulated vsize (Kb) 21972

[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 4960 0 0 0 14981 15 0 0 25 0 1 0 1859678316 22499328 4900 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 5493 4900 566 18 0 5475 0
[pid=8751] vsize: 21972
Current children cumulated CPU time (s) 149.96
Current children cumulated vsize (Kb) 21972

[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 4960 0 0 0 15982 15 0 0 25 0 1 0 1859678316 22499328 4900 4294967295 134512640 134578447 3221224624 3221223504 134527759 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 5493 4900 566 18 0 5475 0
[pid=8751] vsize: 21972
Current children cumulated CPU time (s) 159.97
Current children cumulated vsize (Kb) 21972

[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 4961 0 0 0 16982 15 0 0 25 0 1 0 1859678316 22499328 4901 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 5493 4901 566 18 0 5475 0
[pid=8751] vsize: 21972
Current children cumulated CPU time (s) 169.97
Current children cumulated vsize (Kb) 21972

[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 5009 0 0 0 17982 16 0 0 25 0 1 0 1859678316 22634496 4949 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 5526 4949 566 18 0 5508 0
[pid=8751] vsize: 22104
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 22104

[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 5295 0 0 0 18981 17 0 0 25 0 1 0 1859678316 23826432 5235 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 5817 5235 566 18 0 5799 0
[pid=8751] vsize: 23268
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 23268

[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 5427 0 0 0 19981 17 0 0 25 0 1 0 1859678316 24346624 5367 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 5944 5367 566 18 0 5926 0
[pid=8751] vsize: 23776
Current children cumulated CPU time (s) 199.98
Current children cumulated vsize (Kb) 23776

[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 5445 0 0 0 20981 17 0 0 25 0 1 0 1859678316 24477696 5385 4294967295 134512640 134578447 3221224624 3221223536 134556884 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 5976 5385 566 18 0 5958 0
[pid=8751] vsize: 23904
Current children cumulated CPU time (s) 209.98
Current children cumulated vsize (Kb) 23904

[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 5445 0 0 0 21981 17 0 0 25 0 1 0 1859678316 24477696 5385 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 5976 5385 566 18 0 5958 0
[pid=8751] vsize: 23904
Current children cumulated CPU time (s) 219.98
Current children cumulated vsize (Kb) 23904

[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 5445 0 0 0 22981 17 0 0 25 0 1 0 1859678316 24477696 5385 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 5976 5385 566 18 0 5958 0
[pid=8751] vsize: 23904
Current children cumulated CPU time (s) 229.98
Current children cumulated vsize (Kb) 23904

[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 5445 0 0 0 23981 17 0 0 25 0 1 0 1859678316 24477696 5385 4294967295 134512640 134578447 3221224624 3221223504 134527790 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 5976 5385 566 18 0 5958 0
[pid=8751] vsize: 23904
Current children cumulated CPU time (s) 239.98
Current children cumulated vsize (Kb) 23904

[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 5564 0 0 0 24981 17 0 0 25 0 1 0 1859678316 24989696 5504 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 6101 5504 566 18 0 6083 0
[pid=8751] vsize: 24404
Current children cumulated CPU time (s) 249.98
Current children cumulated vsize (Kb) 24404

[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 5748 0 0 0 25980 18 0 0 25 0 1 0 1859678316 25747456 5688 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 6286 5688 566 18 0 6268 0
[pid=8751] vsize: 25144
Current children cumulated CPU time (s) 259.98
Current children cumulated vsize (Kb) 25144

[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 5869 0 0 0 26980 19 0 0 25 0 1 0 1859678316 26144768 5809 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 6383 5809 566 18 0 6365 0
[pid=8751] vsize: 25532
Current children cumulated CPU time (s) 269.99
Current children cumulated vsize (Kb) 25532

[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 6078 0 0 0 27979 20 0 0 25 0 1 0 1859678316 27058176 6018 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 6606 6018 566 18 0 6588 0
[pid=8751] vsize: 26424
Current children cumulated CPU time (s) 279.99
Current children cumulated vsize (Kb) 26424

[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 6084 0 0 0 28979 20 0 0 25 0 1 0 1859678316 27058176 6024 4294967295 134512640 134578447 3221224624 3221223504 134528161 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 6606 6024 566 18 0 6588 0
[pid=8751] vsize: 26424
Current children cumulated CPU time (s) 289.99
Current children cumulated vsize (Kb) 26424

[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 6084 0 0 0 29979 20 0 0 25 0 1 0 1859678316 27058176 6024 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 6606 6024 566 18 0 6588 0
[pid=8751] vsize: 26424
Current children cumulated CPU time (s) 299.99
Current children cumulated vsize (Kb) 26424

[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 6084 0 0 0 30979 20 0 0 25 0 1 0 1859678316 27058176 6024 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 6606 6024 566 18 0 6588 0
[pid=8751] vsize: 26424
Current children cumulated CPU time (s) 309.99
Current children cumulated vsize (Kb) 26424

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 6084 0 0 0 31979 20 0 0 25 0 1 0 1859678316 27058176 6024 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 6606 6024 566 18 0 6588 0
[pid=8751] vsize: 26424
Current children cumulated CPU time (s) 319.99
Current children cumulated vsize (Kb) 26424

[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 6084 0 0 0 32979 20 0 0 25 0 1 0 1859678316 27058176 6024 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 6606 6024 566 18 0 6588 0
[pid=8751] vsize: 26424
Current children cumulated CPU time (s) 329.99
Current children cumulated vsize (Kb) 26424

[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 6307 0 0 0 33979 21 0 0 25 0 1 0 1859678316 27967488 6247 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 6828 6247 566 18 0 6810 0
[pid=8751] vsize: 27312
Current children cumulated CPU time (s) 340
Current children cumulated vsize (Kb) 27312

[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 6534 0 0 0 34978 21 0 0 25 0 1 0 1859678316 28889088 6474 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 7053 6474 566 18 0 7035 0
[pid=8751] vsize: 28212
Current children cumulated CPU time (s) 349.99
Current children cumulated vsize (Kb) 28212

[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 6738 0 0 0 35977 22 0 0 25 0 1 0 1859678316 29769728 6678 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 7268 6678 566 18 0 7250 0
[pid=8751] vsize: 29072
Current children cumulated CPU time (s) 359.99
Current children cumulated vsize (Kb) 29072

[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 6972 0 0 0 36976 23 0 0 25 0 1 0 1859678316 30699520 6912 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 7495 6912 566 18 0 7477 0
[pid=8751] vsize: 29980
Current children cumulated CPU time (s) 369.99
Current children cumulated vsize (Kb) 29980

[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 7316 0 0 0 37975 24 0 0 25 0 1 0 1859678316 32157696 7256 4294967295 134512640 134578447 3221224624 3221223504 134528051 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 7851 7256 566 18 0 7833 0
[pid=8751] vsize: 31404
Current children cumulated CPU time (s) 379.99
Current children cumulated vsize (Kb) 31404

[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 7778 0 0 0 38974 24 0 0 25 0 1 0 1859678316 34029568 7718 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 8308 7718 566 18 0 8290 0
[pid=8751] vsize: 33232
Current children cumulated CPU time (s) 389.98
Current children cumulated vsize (Kb) 33232

[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 7986 0 0 0 39974 25 0 0 25 0 1 0 1859678316 34836480 7926 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 8505 7926 566 18 0 8487 0
[pid=8751] vsize: 34020
Current children cumulated CPU time (s) 399.99
Current children cumulated vsize (Kb) 34020

[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 8344 0 0 0 40973 26 0 0 25 0 1 0 1859678316 36290560 8284 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 8860 8284 566 18 0 8842 0
[pid=8751] vsize: 35440
Current children cumulated CPU time (s) 409.99
Current children cumulated vsize (Kb) 35440

[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 8344 0 0 0 41973 26 0 0 25 0 1 0 1859678316 36290560 8284 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 8860 8284 566 18 0 8842 0
[pid=8751] vsize: 35440
Current children cumulated CPU time (s) 419.99
Current children cumulated vsize (Kb) 35440

[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 8344 0 0 0 42973 26 0 0 25 0 1 0 1859678316 36290560 8284 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 8860 8284 566 18 0 8842 0
[pid=8751] vsize: 35440
Current children cumulated CPU time (s) 429.99
Current children cumulated vsize (Kb) 35440

[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 8344 0 0 0 43973 26 0 0 25 0 1 0 1859678316 36290560 8284 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 8860 8284 566 18 0 8842 0
[pid=8751] vsize: 35440
Current children cumulated CPU time (s) 439.99
Current children cumulated vsize (Kb) 35440

[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 8344 0 0 0 44973 26 0 0 25 0 1 0 1859678316 36290560 8284 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 8860 8284 566 18 0 8842 0
[pid=8751] vsize: 35440
Current children cumulated CPU time (s) 449.99
Current children cumulated vsize (Kb) 35440

[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 8344 0 0 0 45973 26 0 0 25 0 1 0 1859678316 36290560 8284 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 8860 8284 566 18 0 8842 0
[pid=8751] vsize: 35440
Current children cumulated CPU time (s) 459.99
Current children cumulated vsize (Kb) 35440

[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 8541 0 0 0 46973 27 0 0 25 0 1 0 1859678316 37179392 8481 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 9077 8481 566 18 0 9059 0
[pid=8751] vsize: 36308
Current children cumulated CPU time (s) 470
Current children cumulated vsize (Kb) 36308

[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 8810 0 0 0 47972 27 0 0 25 0 1 0 1859678316 38219776 8750 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 9331 8750 566 18 0 9313 0
[pid=8751] vsize: 37324
Current children cumulated CPU time (s) 479.99
Current children cumulated vsize (Kb) 37324

[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 9060 0 0 0 48971 28 0 0 25 0 1 0 1859678316 39251968 9000 4294967295 134512640 134578447 3221224624 3221223504 134527818 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 9583 9000 566 18 0 9565 0
[pid=8751] vsize: 38332
Current children cumulated CPU time (s) 489.99
Current children cumulated vsize (Kb) 38332

[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 9354 0 0 0 49970 29 0 0 25 0 1 0 1859678316 40460288 9294 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 9878 9294 566 18 0 9860 0
[pid=8751] vsize: 39512
Current children cumulated CPU time (s) 499.99
Current children cumulated vsize (Kb) 39512

[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 9661 0 0 0 50969 30 0 0 25 0 1 0 1859678316 41750528 9601 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 10193 9601 566 18 0 10175 0
[pid=8751] vsize: 40772
Current children cumulated CPU time (s) 509.99
Current children cumulated vsize (Kb) 40772

[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 9887 0 0 0 51967 31 0 0 25 0 1 0 1859678316 42590208 9827 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 10398 9827 566 18 0 10380 0
[pid=8751] vsize: 41592
Current children cumulated CPU time (s) 519.98
Current children cumulated vsize (Kb) 41592

[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 10245 0 0 0 52966 32 0 0 25 0 1 0 1859678316 44163072 10185 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 10782 10185 566 18 0 10764 0
[pid=8751] vsize: 43128
Current children cumulated CPU time (s) 529.98
Current children cumulated vsize (Kb) 43128

[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 10245 0 0 0 53966 32 0 0 25 0 1 0 1859678316 44163072 10185 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 10782 10185 566 18 0 10764 0
[pid=8751] vsize: 43128
Current children cumulated CPU time (s) 539.98
Current children cumulated vsize (Kb) 43128

[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 10245 0 0 0 54966 32 0 0 25 0 1 0 1859678316 44163072 10185 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 10782 10185 566 18 0 10764 0
[pid=8751] vsize: 43128
Current children cumulated CPU time (s) 549.98
Current children cumulated vsize (Kb) 43128

[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 10245 0 0 0 55966 32 0 0 25 0 1 0 1859678316 44163072 10185 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 10782 10185 566 18 0 10764 0
[pid=8751] vsize: 43128
Current children cumulated CPU time (s) 559.98
Current children cumulated vsize (Kb) 43128

[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 10245 0 0 0 56967 32 0 0 25 0 1 0 1859678316 44163072 10185 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 10782 10185 566 18 0 10764 0
[pid=8751] vsize: 43128
Current children cumulated CPU time (s) 569.99
Current children cumulated vsize (Kb) 43128

[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 10245 0 0 0 57967 32 0 0 25 0 1 0 1859678316 44163072 10185 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 10782 10185 566 18 0 10764 0
[pid=8751] vsize: 43128
Current children cumulated CPU time (s) 579.99
Current children cumulated vsize (Kb) 43128

[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 10245 0 0 0 58967 32 0 0 25 0 1 0 1859678316 44163072 10185 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 10782 10185 566 18 0 10764 0
[pid=8751] vsize: 43128
Current children cumulated CPU time (s) 589.99
Current children cumulated vsize (Kb) 43128

[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 10245 0 0 0 59967 32 0 0 25 0 1 0 1859678316 44163072 10185 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 10782 10185 566 18 0 10764 0
[pid=8751] vsize: 43128
Current children cumulated CPU time (s) 599.99
Current children cumulated vsize (Kb) 43128

[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 10245 0 0 0 60967 32 0 0 25 0 1 0 1859678316 44163072 10185 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 10782 10185 566 18 0 10764 0
[pid=8751] vsize: 43128
Current children cumulated CPU time (s) 609.99
Current children cumulated vsize (Kb) 43128

[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 10245 0 0 0 61968 32 0 0 25 0 1 0 1859678316 44163072 10185 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 10782 10185 566 18 0 10764 0
[pid=8751] vsize: 43128
Current children cumulated CPU time (s) 620
Current children cumulated vsize (Kb) 43128

[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 10245 0 0 0 62968 32 0 0 25 0 1 0 1859678316 44163072 10185 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 10782 10185 566 18 0 10764 0
[pid=8751] vsize: 43128
Current children cumulated CPU time (s) 630
Current children cumulated vsize (Kb) 43128

[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 10762 0 0 0 63966 33 0 0 25 0 1 0 1859678316 46243840 10702 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11290 10702 566 18 0 11272 0
[pid=8751] vsize: 45160
Current children cumulated CPU time (s) 639.99
Current children cumulated vsize (Kb) 45160

[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11005 0 0 0 64965 34 0 0 25 0 1 0 1859678316 47177728 10945 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11518 10945 566 18 0 11500 0
[pid=8751] vsize: 46072
Current children cumulated CPU time (s) 649.99
Current children cumulated vsize (Kb) 46072

[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11005 0 0 0 65965 34 0 0 25 0 1 0 1859678316 47177728 10945 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11518 10945 566 18 0 11500 0
[pid=8751] vsize: 46072
Current children cumulated CPU time (s) 659.99
Current children cumulated vsize (Kb) 46072

[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11005 0 0 0 66966 34 0 0 25 0 1 0 1859678316 47177728 10945 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11518 10945 566 18 0 11500 0
[pid=8751] vsize: 46072
Current children cumulated CPU time (s) 670
Current children cumulated vsize (Kb) 46072

[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11005 0 0 0 67966 34 0 0 25 0 1 0 1859678316 47177728 10945 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11518 10945 566 18 0 11500 0
[pid=8751] vsize: 46072
Current children cumulated CPU time (s) 680
Current children cumulated vsize (Kb) 46072

[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11005 0 0 0 68966 34 0 0 25 0 1 0 1859678316 47177728 10945 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11518 10945 566 18 0 11500 0
[pid=8751] vsize: 46072
Current children cumulated CPU time (s) 690
Current children cumulated vsize (Kb) 46072

[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11005 0 0 0 69966 34 0 0 25 0 1 0 1859678316 47177728 10945 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11518 10945 566 18 0 11500 0
[pid=8751] vsize: 46072
Current children cumulated CPU time (s) 700
Current children cumulated vsize (Kb) 46072

[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11005 0 0 0 70966 34 0 0 25 0 1 0 1859678316 47177728 10945 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11518 10945 566 18 0 11500 0
[pid=8751] vsize: 46072
Current children cumulated CPU time (s) 710
Current children cumulated vsize (Kb) 46072

[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11005 0 0 0 71966 34 0 0 25 0 1 0 1859678316 47177728 10945 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11518 10945 566 18 0 11500 0
[pid=8751] vsize: 46072
Current children cumulated CPU time (s) 720
Current children cumulated vsize (Kb) 46072

[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11005 0 0 0 72967 34 0 0 25 0 1 0 1859678316 47177728 10945 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11518 10945 566 18 0 11500 0
[pid=8751] vsize: 46072
Current children cumulated CPU time (s) 730.01
Current children cumulated vsize (Kb) 46072

[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11005 0 0 0 73967 34 0 0 25 0 1 0 1859678316 47177728 10945 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11518 10945 566 18 0 11500 0
[pid=8751] vsize: 46072
Current children cumulated CPU time (s) 740.01
Current children cumulated vsize (Kb) 46072

[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11005 0 0 0 74967 34 0 0 25 0 1 0 1859678316 47177728 10945 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11518 10945 566 18 0 11500 0
[pid=8751] vsize: 46072
Current children cumulated CPU time (s) 750.01
Current children cumulated vsize (Kb) 46072

[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11005 0 0 0 75967 34 0 0 25 0 1 0 1859678316 47177728 10945 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11518 10945 566 18 0 11500 0
[pid=8751] vsize: 46072
Current children cumulated CPU time (s) 760.01
Current children cumulated vsize (Kb) 46072

[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11005 0 0 0 76967 35 0 0 25 0 1 0 1859678316 47177728 10945 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11518 10945 566 18 0 11500 0
[pid=8751] vsize: 46072
Current children cumulated CPU time (s) 770.02
Current children cumulated vsize (Kb) 46072

[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11005 0 0 0 77967 35 0 0 25 0 1 0 1859678316 47177728 10945 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11518 10945 566 18 0 11500 0
[pid=8751] vsize: 46072
Current children cumulated CPU time (s) 780.02
Current children cumulated vsize (Kb) 46072

[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11005 0 0 0 78967 35 0 0 25 0 1 0 1859678316 47177728 10945 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11518 10945 566 18 0 11500 0
[pid=8751] vsize: 46072
Current children cumulated CPU time (s) 790.02
Current children cumulated vsize (Kb) 46072

[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11005 0 0 0 79967 35 0 0 25 0 1 0 1859678316 47177728 10945 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11518 10945 566 18 0 11500 0
[pid=8751] vsize: 46072
Current children cumulated CPU time (s) 800.02
Current children cumulated vsize (Kb) 46072

[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11005 0 0 0 80967 35 0 0 25 0 1 0 1859678316 47177728 10945 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11518 10945 566 18 0 11500 0
[pid=8751] vsize: 46072
Current children cumulated CPU time (s) 810.02
Current children cumulated vsize (Kb) 46072

[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11005 0 0 0 81968 35 0 0 25 0 1 0 1859678316 47177728 10945 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11518 10945 566 18 0 11500 0
[pid=8751] vsize: 46072
Current children cumulated CPU time (s) 820.03
Current children cumulated vsize (Kb) 46072

[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11058 0 0 0 82967 35 0 0 25 0 1 0 1859678316 47435776 10998 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11581 10998 566 18 0 11563 0
[pid=8751] vsize: 46324
Current children cumulated CPU time (s) 830.02
Current children cumulated vsize (Kb) 46324

[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11202 0 0 0 83967 35 0 0 25 0 1 0 1859678316 48033792 11142 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11727 11142 566 18 0 11709 0
[pid=8751] vsize: 46908
Current children cumulated CPU time (s) 840.02
Current children cumulated vsize (Kb) 46908

[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11368 0 0 0 84966 36 0 0 25 0 1 0 1859678316 48689152 11308 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 11887 11308 566 18 0 11869 0
[pid=8751] vsize: 47548
Current children cumulated CPU time (s) 850.02
Current children cumulated vsize (Kb) 47548

[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11485 0 0 0 85966 36 0 0 25 0 1 0 1859678316 49156096 11425 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 12001 11425 566 18 0 11983 0
[pid=8751] vsize: 48004
Current children cumulated CPU time (s) 860.02
Current children cumulated vsize (Kb) 48004

[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11613 0 0 0 86965 37 0 0 25 0 1 0 1859678316 49704960 11553 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 12135 11553 566 18 0 12117 0
[pid=8751] vsize: 48540
Current children cumulated CPU time (s) 870.02
Current children cumulated vsize (Kb) 48540

[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11728 0 0 0 87965 37 0 0 25 0 1 0 1859678316 50159616 11668 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 12246 11668 566 18 0 12228 0
[pid=8751] vsize: 48984
Current children cumulated CPU time (s) 880.02
Current children cumulated vsize (Kb) 48984

[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 11885 0 0 0 88964 37 0 0 25 0 1 0 1859678316 50876416 11825 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 12421 11825 566 18 0 12403 0
[pid=8751] vsize: 49684
Current children cumulated CPU time (s) 890.01
Current children cumulated vsize (Kb) 49684

[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 12046 0 0 0 89963 38 0 0 25 0 1 0 1859678316 51474432 11986 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 12567 11986 566 18 0 12549 0
[pid=8751] vsize: 50268
Current children cumulated CPU time (s) 900.01
Current children cumulated vsize (Kb) 50268

[startup+910.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 12164 0 0 0 90963 39 0 0 25 0 1 0 1859678316 51957760 12104 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 12685 12104 566 18 0 12667 0
[pid=8751] vsize: 50740
Current children cumulated CPU time (s) 910.02
Current children cumulated vsize (Kb) 50740

[startup+920.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 12275 0 0 0 91962 39 0 0 25 0 1 0 1859678316 52408320 12215 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 12795 12215 566 18 0 12777 0
[pid=8751] vsize: 51180
Current children cumulated CPU time (s) 920.01
Current children cumulated vsize (Kb) 51180

[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 12381 0 0 0 92962 40 0 0 25 0 1 0 1859678316 52826112 12321 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 12897 12321 566 18 0 12879 0
[pid=8751] vsize: 51588
Current children cumulated CPU time (s) 930.02
Current children cumulated vsize (Kb) 51588

[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 12481 0 0 0 93961 40 0 0 25 0 1 0 1859678316 53223424 12421 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 12994 12421 566 18 0 12976 0
[pid=8751] vsize: 51976
Current children cumulated CPU time (s) 940.01
Current children cumulated vsize (Kb) 51976

[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 12588 0 0 0 94961 40 0 0 25 0 1 0 1859678316 53706752 12528 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 13112 12528 566 18 0 13094 0
[pid=8751] vsize: 52448
Current children cumulated CPU time (s) 950.01
Current children cumulated vsize (Kb) 52448

[startup+960.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 12689 0 0 0 95960 41 0 0 25 0 1 0 1859678316 54124544 12629 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 13214 12629 566 18 0 13196 0
[pid=8751] vsize: 52856
Current children cumulated CPU time (s) 960.01
Current children cumulated vsize (Kb) 52856

[startup+970.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 12786 0 0 0 96960 41 0 0 25 0 1 0 1859678316 54517760 12726 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 13310 12726 566 18 0 13292 0
[pid=8751] vsize: 53240
Current children cumulated CPU time (s) 970.01
Current children cumulated vsize (Kb) 53240

[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 12892 0 0 0 97960 41 0 0 25 0 1 0 1859678316 54939648 12832 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 13413 12832 566 18 0 13395 0
[pid=8751] vsize: 53652
Current children cumulated CPU time (s) 980.01
Current children cumulated vsize (Kb) 53652

[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 12997 0 0 0 98960 41 0 0 25 0 1 0 1859678316 55332864 12937 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 13509 12937 566 18 0 13491 0
[pid=8751] vsize: 54036
Current children cumulated CPU time (s) 990.01
Current children cumulated vsize (Kb) 54036

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 13129 0 0 0 99959 42 0 0 25 0 1 0 1859678316 56020992 13069 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 13677 13069 566 18 0 13659 0
[pid=8751] vsize: 54708
Current children cumulated CPU time (s) 1000.01
Current children cumulated vsize (Kb) 54708

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 13270 0 0 0 100959 42 0 0 25 0 1 0 1859678316 56512512 13210 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 13797 13210 566 18 0 13779 0
[pid=8751] vsize: 55188
Current children cumulated CPU time (s) 1010.01
Current children cumulated vsize (Kb) 55188

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 13399 0 0 0 101958 43 0 0 25 0 1 0 1859678316 57020416 13339 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 13921 13339 566 18 0 13903 0
[pid=8751] vsize: 55684
Current children cumulated CPU time (s) 1020.01
Current children cumulated vsize (Kb) 55684

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 13529 0 0 0 102957 43 0 0 25 0 1 0 1859678316 57675776 13469 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 14081 13469 566 18 0 14063 0
[pid=8751] vsize: 56324
Current children cumulated CPU time (s) 1030
Current children cumulated vsize (Kb) 56324

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 13683 0 0 0 103957 44 0 0 25 0 1 0 1859678316 58200064 13623 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 14209 13623 566 18 0 14191 0
[pid=8751] vsize: 56836
Current children cumulated CPU time (s) 1040.01
Current children cumulated vsize (Kb) 56836

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 13903 0 0 0 104957 44 0 0 25 0 1 0 1859678316 59215872 13843 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 14457 13843 566 18 0 14439 0
[pid=8751] vsize: 57828
Current children cumulated CPU time (s) 1050.01
Current children cumulated vsize (Kb) 57828

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 14132 0 0 0 105956 45 0 0 25 0 1 0 1859678316 60133376 14072 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 14681 14072 566 18 0 14663 0
[pid=8751] vsize: 58724
Current children cumulated CPU time (s) 1060.01
Current children cumulated vsize (Kb) 58724

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 14341 0 0 0 106955 46 0 0 25 0 1 0 1859678316 60952576 14281 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 14881 14281 566 18 0 14863 0
[pid=8751] vsize: 59524
Current children cumulated CPU time (s) 1070.01
Current children cumulated vsize (Kb) 59524

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 14580 0 0 0 107954 46 0 0 25 0 1 0 1859678316 61870080 14520 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 15105 14520 566 18 0 15087 0
[pid=8751] vsize: 60420
Current children cumulated CPU time (s) 1080
Current children cumulated vsize (Kb) 60420

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 14839 0 0 0 108953 47 0 0 25 0 1 0 1859678316 62967808 14779 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 15373 14779 566 18 0 15355 0
[pid=8751] vsize: 61492
Current children cumulated CPU time (s) 1090
Current children cumulated vsize (Kb) 61492

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 15064 0 0 0 109952 47 0 0 25 0 1 0 1859678316 63901696 15004 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 15601 15004 566 18 0 15583 0
[pid=8751] vsize: 62404
Current children cumulated CPU time (s) 1099.99
Current children cumulated vsize (Kb) 62404

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 15312 0 0 0 110952 48 0 0 25 0 1 0 1859678316 64901120 15252 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 15845 15252 566 18 0 15827 0
[pid=8751] vsize: 63380
Current children cumulated CPU time (s) 1110
Current children cumulated vsize (Kb) 63380

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 15567 0 0 0 111950 48 0 0 25 0 1 0 1859678316 65998848 15507 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 16113 15507 566 18 0 16095 0
[pid=8751] vsize: 64452
Current children cumulated CPU time (s) 1119.98
Current children cumulated vsize (Kb) 64452

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 15740 0 0 0 112950 49 0 0 25 0 1 0 1859678316 66834432 15680 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 16317 15680 566 18 0 16299 0
[pid=8751] vsize: 65268
Current children cumulated CPU time (s) 1129.99
Current children cumulated vsize (Kb) 65268

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 8751
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 15956 0 0 0 113949 49 0 0 25 0 1 0 1859678316 67731456 15896 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 16536 15896 566 18 0 16518 0
[pid=8751] vsize: 66144
Current children cumulated CPU time (s) 1139.98
Current children cumulated vsize (Kb) 66144

[startup+1150.05 s]
Raw data (loadavg): 1.07 0.99 0.96 2/56 8806
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 16268 0 0 0 114946 52 0 0 25 0 1 0 1859678316 68882432 16208 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 16817 16208 566 18 0 16799 0
[pid=8751] vsize: 67268
Current children cumulated CPU time (s) 1149.98
Current children cumulated vsize (Kb) 67268

[startup+1160.05 s]
Raw data (loadavg): 1.06 0.99 0.96 2/56 8806
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 16498 0 0 0 115945 53 0 0 25 0 1 0 1859678316 69959680 16438 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 17080 16438 566 18 0 17062 0
[pid=8751] vsize: 68320
Current children cumulated CPU time (s) 1159.98
Current children cumulated vsize (Kb) 68320

[startup+1170.05 s]
Raw data (loadavg): 1.05 0.99 0.96 2/56 8806
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 16731 0 0 0 116944 54 0 0 25 0 1 0 1859678316 70926336 16671 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 17316 16671 566 18 0 17298 0
[pid=8751] vsize: 69264
Current children cumulated CPU time (s) 1169.98
Current children cumulated vsize (Kb) 69264

[startup+1180.05 s]
Raw data (loadavg): 1.04 0.99 0.96 2/56 8806
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 17033 0 0 0 117943 54 0 0 25 0 1 0 1859678316 72138752 16973 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 17612 16973 566 18 0 17594 0
[pid=8751] vsize: 70448
Current children cumulated CPU time (s) 1179.97
Current children cumulated vsize (Kb) 70448

[startup+1190.05 s]
Raw data (loadavg): 1.04 0.99 0.96 2/56 8806
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 17267 0 0 0 118943 55 0 0 25 0 1 0 1859678316 73039872 17207 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 17832 17207 566 18 0 17814 0
[pid=8751] vsize: 71328
Current children cumulated CPU time (s) 1189.98
Current children cumulated vsize (Kb) 71328

[startup+1200.05 s]
Raw data (loadavg): 1.03 0.99 0.96 2/56 8806
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 17510 0 0 0 119942 55 0 0 25 0 1 0 1859678316 74006528 17450 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 18068 17450 566 18 0 18050 0
[pid=8751] vsize: 72272
Current children cumulated CPU time (s) 1199.97
Current children cumulated vsize (Kb) 72272

[startup+1210.06 s]
Raw data (loadavg): 1.03 0.99 0.96 2/56 8806
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 17755 0 0 0 120941 56 0 0 25 0 1 0 1859678316 75022336 17695 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 18316 17695 566 18 0 18298 0
[pid=8751] vsize: 73264
Current children cumulated CPU time (s) 1209.97
Current children cumulated vsize (Kb) 73264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.06 s]
Raw data (loadavg): 1.03 0.99 0.96 2/56 8806
Raw data (/proc/8751/stat): 8751 (Pueblo) R 8750 8751 28974 0 -1 0 17755 0 0 0 120941 56 0 0 25 0 1 0 1859678316 75022336 17695 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8751/statm): 18316 17695 566 18 0 18298 0
[pid=8751] vsize: 73264
Current children cumulated CPU time (s) 1209.97
Current children cumulated vsize (Kb) 73264

Sending SIGTERM to -8751
Sleeping 2 seconds
One traced child (pid=8751) 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): 1210.09
CPU time (s): 1210.01
CPU user time (s): 1209.41
CPU system time (s): 0.593909
CPU usage (%): 99.993
Max. virtual memory (cumulated for all children) (Kb): 73264

Verifier Data

ERROR: no interpretation found !