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-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod010.opb
MD5SUM4f0cac14ed3568050c2c57bb69fdb664
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 2655
Biggest coefficient in the objective function 266
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 489211
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 266
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 489211
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables2655
Total number of constraints2801
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2800
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint2655

Trace number 8473

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        833796 kB
Buffers:         31272 kB
Cached:         141580 kB
SwapCached:        820 kB
Active:          56248 kB
Inactive:       119288 kB
HighTotal:      131008 kB
HighFree:         5712 kB
LowTotal:       903652 kB
LowFree:        828084 kB
SwapTotal:     2097892 kB
SwapFree:      2096616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5752 kB
Slab:            19744 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 16:48:15 (client local time) WITH STATUS 0 IN 1200.14 SECONDS
stats: 5597 7 1200.14 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/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859978086 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21080/statm): 41 3 40 18 0 23 0
[pid=21080] 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.0032 s]
Raw data (loadavg): 0.97 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 1320 0 0 0 993 3 0 0 25 0 1 0 1859978086 7073792 1284 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 1727 1284 566 18 0 1709 0
[pid=21080] vsize: 6908
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 6908

[startup+20.0039 s]
Raw data (loadavg): 0.97 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 1850 0 0 0 1991 5 0 0 25 0 1 0 1859978086 9125888 1814 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 2228 1814 566 18 0 2210 0
[pid=21080] vsize: 8912
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 8912

[startup+30.0046 s]
Raw data (loadavg): 0.97 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 2151 0 0 0 2991 5 0 0 25 0 1 0 1859978086 10383360 2115 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 2535 2115 566 18 0 2517 0
[pid=21080] vsize: 10140
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 10140

[startup+40.0053 s]
Raw data (loadavg): 0.98 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 2588 0 0 0 3989 7 0 0 25 0 1 0 1859978086 12275712 2552 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 2997 2552 566 18 0 2979 0
[pid=21080] vsize: 11988
Current children cumulated CPU time (s) 39.96
Current children cumulated vsize (Kb) 11988

[startup+50.006 s]
Raw data (loadavg): 0.98 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 2666 0 0 0 4988 8 0 0 25 0 1 0 1859978086 12537856 2630 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 3061 2630 566 18 0 3043 0
[pid=21080] vsize: 12244
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (Kb) 12244

[startup+60.0057 s]
Raw data (loadavg): 0.98 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 3092 0 0 0 5987 8 0 0 25 0 1 0 1859978086 14237696 3056 4294967295 134512640 134578447 3221224624 3221223296 134522551 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 3476 3056 566 18 0 3458 0
[pid=21080] vsize: 13904
Current children cumulated CPU time (s) 59.95
Current children cumulated vsize (Kb) 13904

[startup+70.0064 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 3092 0 0 0 6987 9 0 0 25 0 1 0 1859978086 14237696 3056 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 3476 3056 566 18 0 3458 0
[pid=21080] vsize: 13904
Current children cumulated CPU time (s) 69.96
Current children cumulated vsize (Kb) 13904

[startup+80.0071 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 3092 0 0 0 7988 9 0 0 25 0 1 0 1859978086 14237696 3056 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 3476 3056 566 18 0 3458 0
[pid=21080] vsize: 13904
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 13904

[startup+90.0078 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 3422 0 0 0 8987 9 0 0 25 0 1 0 1859978086 15683584 3386 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 3829 3386 566 18 0 3811 0
[pid=21080] vsize: 15316
Current children cumulated CPU time (s) 89.96
Current children cumulated vsize (Kb) 15316

[startup+100.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 3498 0 0 0 9987 9 0 0 25 0 1 0 1859978086 15921152 3462 4294967295 134512640 134578447 3221224624 3221223376 134528920 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 3887 3462 566 18 0 3869 0
[pid=21080] vsize: 15548
Current children cumulated CPU time (s) 99.96
Current children cumulated vsize (Kb) 15548

[startup+110.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 3498 0 0 0 10987 9 0 0 25 0 1 0 1859978086 15921152 3462 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 3887 3462 566 18 0 3869 0
[pid=21080] vsize: 15548
Current children cumulated CPU time (s) 109.96
Current children cumulated vsize (Kb) 15548

[startup+120.011 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 4006 0 0 0 11985 10 0 0 25 0 1 0 1859978086 17981440 3970 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 4390 3970 566 18 0 4372 0
[pid=21080] vsize: 17560
Current children cumulated CPU time (s) 119.95
Current children cumulated vsize (Kb) 17560

[startup+130.011 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 4467 0 0 0 12984 11 0 0 25 0 1 0 1859978086 19927040 4431 4294967295 134512640 134578447 3221224624 3221223476 134555786 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 4865 4433 566 18 0 4847 0
[pid=21080] vsize: 19460
Current children cumulated CPU time (s) 129.95
Current children cumulated vsize (Kb) 19460

[startup+140.011 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 5023 0 0 0 13982 13 0 0 25 0 1 0 1859978086 22147072 4987 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 5407 4987 566 18 0 5389 0
[pid=21080] vsize: 21628
Current children cumulated CPU time (s) 139.95
Current children cumulated vsize (Kb) 21628

[startup+150.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 5287 0 0 0 14981 13 0 0 25 0 1 0 1859978086 23285760 5251 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 5685 5251 566 18 0 5667 0
[pid=21080] vsize: 22740
Current children cumulated CPU time (s) 149.94
Current children cumulated vsize (Kb) 22740

[startup+160.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 5287 0 0 0 15981 14 0 0 25 0 1 0 1859978086 23285760 5251 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 5685 5251 566 18 0 5667 0
[pid=21080] vsize: 22740
Current children cumulated CPU time (s) 159.95
Current children cumulated vsize (Kb) 22740

[startup+170.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 5287 0 0 0 16981 14 0 0 25 0 1 0 1859978086 23285760 5251 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 5685 5251 566 18 0 5667 0
[pid=21080] vsize: 22740
Current children cumulated CPU time (s) 169.95
Current children cumulated vsize (Kb) 22740

[startup+180.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 5287 0 0 0 17981 14 0 0 25 0 1 0 1859978086 23285760 5251 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 5685 5251 566 18 0 5667 0
[pid=21080] vsize: 22740
Current children cumulated CPU time (s) 179.95
Current children cumulated vsize (Kb) 22740

[startup+190.013 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 5287 0 0 0 18981 14 0 0 25 0 1 0 1859978086 23285760 5251 4294967295 134512640 134578447 3221224624 3221223564 134527348 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 5685 5251 566 18 0 5667 0
[pid=21080] vsize: 22740
Current children cumulated CPU time (s) 189.95
Current children cumulated vsize (Kb) 22740

[startup+200.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 5287 0 0 0 19981 14 0 0 25 0 1 0 1859978086 23285760 5251 4294967295 134512640 134578447 3221224624 3221223456 134527237 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 5685 5251 566 18 0 5667 0
[pid=21080] vsize: 22740
Current children cumulated CPU time (s) 199.95
Current children cumulated vsize (Kb) 22740

[startup+210.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 5552 0 0 0 20981 14 0 0 25 0 1 0 1859978086 24330240 5516 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 5940 5516 566 18 0 5922 0
[pid=21080] vsize: 23760
Current children cumulated CPU time (s) 209.95
Current children cumulated vsize (Kb) 23760

[startup+220.013 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 6042 0 0 0 21979 16 0 0 25 0 1 0 1859978086 26333184 6006 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 6429 6006 566 18 0 6411 0
[pid=21080] vsize: 25716
Current children cumulated CPU time (s) 219.95
Current children cumulated vsize (Kb) 25716

[startup+230.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 6091 0 0 0 22978 17 0 0 25 0 1 0 1859978086 26570752 6055 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 6487 6055 566 18 0 6469 0
[pid=21080] vsize: 25948
Current children cumulated CPU time (s) 229.95
Current children cumulated vsize (Kb) 25948

[startup+240.013 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 6091 0 0 0 23978 17 0 0 25 0 1 0 1859978086 26570752 6055 4294967295 134512640 134578447 3221224624 3221223288 1075291184 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 6487 6055 566 18 0 6469 0
[pid=21080] vsize: 25948
Current children cumulated CPU time (s) 239.95
Current children cumulated vsize (Kb) 25948

[startup+250.014 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 6091 0 0 0 24979 17 0 0 25 0 1 0 1859978086 26570752 6055 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 6487 6055 566 18 0 6469 0
[pid=21080] vsize: 25948
Current children cumulated CPU time (s) 249.96
Current children cumulated vsize (Kb) 25948

[startup+260.015 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 6091 0 0 0 25979 17 0 0 25 0 1 0 1859978086 26570752 6055 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 6487 6055 566 18 0 6469 0
[pid=21080] vsize: 25948
Current children cumulated CPU time (s) 259.96
Current children cumulated vsize (Kb) 25948

[startup+270.015 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 6091 0 0 0 26979 17 0 0 25 0 1 0 1859978086 26570752 6055 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 6487 6055 566 18 0 6469 0
[pid=21080] vsize: 25948
Current children cumulated CPU time (s) 269.96
Current children cumulated vsize (Kb) 25948

[startup+280.015 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 6091 0 0 0 27979 17 0 0 25 0 1 0 1859978086 26570752 6055 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 6487 6055 566 18 0 6469 0
[pid=21080] vsize: 25948
Current children cumulated CPU time (s) 279.96
Current children cumulated vsize (Kb) 25948

[startup+290.016 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 6091 0 0 0 28979 17 0 0 25 0 1 0 1859978086 26570752 6055 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 6487 6055 566 18 0 6469 0
[pid=21080] vsize: 25948
Current children cumulated CPU time (s) 289.96
Current children cumulated vsize (Kb) 25948

[startup+300.015 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 6091 0 0 0 29980 17 0 0 25 0 1 0 1859978086 26419200 6036 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 6450 6036 566 18 0 6432 0
[pid=21080] vsize: 25800
Current children cumulated CPU time (s) 299.97
Current children cumulated vsize (Kb) 25800

[startup+310.015 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 6091 0 0 0 30980 17 0 0 25 0 1 0 1859978086 26419200 6036 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 6450 6036 566 18 0 6432 0
[pid=21080] vsize: 25800
Current children cumulated CPU time (s) 309.97
Current children cumulated vsize (Kb) 25800

[startup+320.016 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 6091 0 0 0 31980 17 0 0 25 0 1 0 1859978086 26419200 6036 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 6450 6036 566 18 0 6432 0
[pid=21080] vsize: 25800
Current children cumulated CPU time (s) 319.97
Current children cumulated vsize (Kb) 25800

[startup+330.016 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 6091 0 0 0 32980 17 0 0 25 0 1 0 1859978086 26419200 6036 4294967295 134512640 134578447 3221224624 3221223376 134528897 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 6450 6036 566 18 0 6432 0
[pid=21080] vsize: 25800
Current children cumulated CPU time (s) 329.97
Current children cumulated vsize (Kb) 25800

[startup+340.017 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 6122 0 0 0 33980 17 0 0 25 0 1 0 1859978086 26570752 6067 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 6487 6067 566 18 0 6469 0
[pid=21080] vsize: 25948
Current children cumulated CPU time (s) 339.97
Current children cumulated vsize (Kb) 25948

[startup+350.018 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 6368 0 0 0 34979 18 0 0 25 0 1 0 1859978086 27578368 6313 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 6733 6313 566 18 0 6715 0
[pid=21080] vsize: 26932
Current children cumulated CPU time (s) 349.97
Current children cumulated vsize (Kb) 26932

[startup+360.019 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 6368 0 0 0 35980 18 0 0 25 0 1 0 1859978086 27578368 6313 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 6733 6313 566 18 0 6715 0
[pid=21080] vsize: 26932
Current children cumulated CPU time (s) 359.98
Current children cumulated vsize (Kb) 26932

[startup+370.019 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 6368 0 0 0 36980 18 0 0 25 0 1 0 1859978086 27578368 6313 4294967295 134512640 134578447 3221224624 3221223348 1075289606 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 6733 6313 566 18 0 6715 0
[pid=21080] vsize: 26932
Current children cumulated CPU time (s) 369.98
Current children cumulated vsize (Kb) 26932

[startup+380.019 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 6368 0 0 0 37980 18 0 0 25 0 1 0 1859978086 27578368 6313 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 6733 6313 566 18 0 6715 0
[pid=21080] vsize: 26932
Current children cumulated CPU time (s) 379.98
Current children cumulated vsize (Kb) 26932

[startup+390.02 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 6368 0 0 0 38980 18 0 0 25 0 1 0 1859978086 27578368 6313 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 6733 6313 566 18 0 6715 0
[pid=21080] vsize: 26932
Current children cumulated CPU time (s) 389.98
Current children cumulated vsize (Kb) 26932

[startup+400.02 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 6368 0 0 0 39980 18 0 0 25 0 1 0 1859978086 27578368 6313 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 6733 6313 566 18 0 6715 0
[pid=21080] vsize: 26932
Current children cumulated CPU time (s) 399.98
Current children cumulated vsize (Kb) 26932

[startup+410.02 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 6508 0 0 0 40980 19 0 0 25 0 1 0 1859978086 28188672 6453 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 6882 6453 566 18 0 6864 0
[pid=21080] vsize: 27528
Current children cumulated CPU time (s) 409.99
Current children cumulated vsize (Kb) 27528

[startup+420.021 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 6849 0 0 0 41979 19 0 0 25 0 1 0 1859978086 29581312 6794 4294967295 134512640 134578447 3221224624 3221223384 1075289077 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 7222 6794 566 18 0 7204 0
[pid=21080] vsize: 28888
Current children cumulated CPU time (s) 419.98
Current children cumulated vsize (Kb) 28888

[startup+430.021 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 7425 0 0 0 42977 21 0 0 25 0 1 0 1859978086 31977472 7370 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 7807 7370 566 18 0 7789 0
[pid=21080] vsize: 31228
Current children cumulated CPU time (s) 429.98
Current children cumulated vsize (Kb) 31228

[startup+440.022 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 7482 0 0 0 43977 21 0 0 25 0 1 0 1859978086 32239616 7427 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 7871 7427 566 18 0 7853 0
[pid=21080] vsize: 31484
Current children cumulated CPU time (s) 439.98
Current children cumulated vsize (Kb) 31484

[startup+450.023 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 7482 0 0 0 44977 21 0 0 25 0 1 0 1859978086 32239616 7427 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 7871 7427 566 18 0 7853 0
[pid=21080] vsize: 31484
Current children cumulated CPU time (s) 449.98
Current children cumulated vsize (Kb) 31484

[startup+460.022 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 7482 0 0 0 45978 21 0 0 25 0 1 0 1859978086 32239616 7427 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 7871 7427 566 18 0 7853 0
[pid=21080] vsize: 31484
Current children cumulated CPU time (s) 459.99
Current children cumulated vsize (Kb) 31484

[startup+470.023 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 7482 0 0 0 46978 21 0 0 25 0 1 0 1859978086 32239616 7427 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 7871 7427 566 18 0 7853 0
[pid=21080] vsize: 31484
Current children cumulated CPU time (s) 469.99
Current children cumulated vsize (Kb) 31484

[startup+480.023 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 7482 0 0 0 47978 21 0 0 25 0 1 0 1859978086 32239616 7427 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 7871 7427 566 18 0 7853 0
[pid=21080] vsize: 31484
Current children cumulated CPU time (s) 479.99
Current children cumulated vsize (Kb) 31484

[startup+490.024 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 7482 0 0 0 48978 21 0 0 25 0 1 0 1859978086 32239616 7427 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 7871 7427 566 18 0 7853 0
[pid=21080] vsize: 31484
Current children cumulated CPU time (s) 489.99
Current children cumulated vsize (Kb) 31484

[startup+500.024 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 7482 0 0 0 49978 22 0 0 25 0 1 0 1859978086 32239616 7427 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 7871 7427 566 18 0 7853 0
[pid=21080] vsize: 31484
Current children cumulated CPU time (s) 500
Current children cumulated vsize (Kb) 31484

[startup+510.024 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 7482 0 0 0 50978 22 0 0 25 0 1 0 1859978086 32239616 7427 4294967295 134512640 134578447 3221224624 3221223488 134517819 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 7871 7427 566 18 0 7853 0
[pid=21080] vsize: 31484
Current children cumulated CPU time (s) 510
Current children cumulated vsize (Kb) 31484

[startup+520.025 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 7482 0 0 0 51978 22 0 0 25 0 1 0 1859978086 32239616 7427 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 7871 7427 566 18 0 7853 0
[pid=21080] vsize: 31484
Current children cumulated CPU time (s) 520
Current children cumulated vsize (Kb) 31484

[startup+530.024 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 7482 0 0 0 52978 22 0 0 25 0 1 0 1859978086 32239616 7427 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 7871 7427 566 18 0 7853 0
[pid=21080] vsize: 31484
Current children cumulated CPU time (s) 530
Current children cumulated vsize (Kb) 31484

[startup+540.025 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 7482 0 0 0 53978 22 0 0 25 0 1 0 1859978086 32239616 7427 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 7871 7427 566 18 0 7853 0
[pid=21080] vsize: 31484
Current children cumulated CPU time (s) 540
Current children cumulated vsize (Kb) 31484

[startup+550.025 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 7482 0 0 0 54978 22 0 0 25 0 1 0 1859978086 32239616 7427 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 7871 7427 566 18 0 7853 0
[pid=21080] vsize: 31484
Current children cumulated CPU time (s) 550
Current children cumulated vsize (Kb) 31484

[startup+560.024 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 7482 0 0 0 55979 22 0 0 25 0 1 0 1859978086 32051200 7411 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 7825 7411 566 18 0 7807 0
[pid=21080] vsize: 31300
Current children cumulated CPU time (s) 560.01
Current children cumulated vsize (Kb) 31300

[startup+570.025 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 7482 0 0 0 56979 22 0 0 25 0 1 0 1859978086 32051200 7411 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 7825 7411 566 18 0 7807 0
[pid=21080] vsize: 31300
Current children cumulated CPU time (s) 570.01
Current children cumulated vsize (Kb) 31300

[startup+580.025 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 7482 0 0 0 57979 22 0 0 25 0 1 0 1859978086 32051200 7411 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 7825 7411 566 18 0 7807 0
[pid=21080] vsize: 31300
Current children cumulated CPU time (s) 580.01
Current children cumulated vsize (Kb) 31300

[startup+590.024 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 7482 0 0 0 58979 22 0 0 25 0 1 0 1859978086 32051200 7411 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 7825 7411 566 18 0 7807 0
[pid=21080] vsize: 31300
Current children cumulated CPU time (s) 590.01
Current children cumulated vsize (Kb) 31300

[startup+600.025 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 7482 0 0 0 59979 22 0 0 25 0 1 0 1859978086 32051200 7411 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 7825 7411 566 18 0 7807 0
[pid=21080] vsize: 31300
Current children cumulated CPU time (s) 600.01
Current children cumulated vsize (Kb) 31300

[startup+610.025 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 7482 0 0 0 60979 22 0 0 25 0 1 0 1859978086 32051200 7411 4294967295 134512640 134578447 3221224624 3221223536 134556784 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 7825 7411 566 18 0 7807 0
[pid=21080] vsize: 31300
Current children cumulated CPU time (s) 610.01
Current children cumulated vsize (Kb) 31300

[startup+620.025 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 7517 0 0 0 61979 22 0 0 25 0 1 0 1859978086 32325632 7446 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 7892 7446 566 18 0 7874 0
[pid=21080] vsize: 31568
Current children cumulated CPU time (s) 620.01
Current children cumulated vsize (Kb) 31568

[startup+630.026 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 7834 0 0 0 62979 23 0 0 25 0 1 0 1859978086 33636352 7763 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 8212 7763 566 18 0 8194 0
[pid=21080] vsize: 32848
Current children cumulated CPU time (s) 630.02
Current children cumulated vsize (Kb) 32848

[startup+640.026 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 8076 0 0 0 63978 24 0 0 25 0 1 0 1859978086 34541568 8005 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21080/statm): 8433 8005 566 18 0 8415 0
[pid=21080] vsize: 33732
Current children cumulated CPU time (s) 640.02
Current children cumulated vsize (Kb) 33732

[startup+650.027 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 8423 0 0 0 64976 24 0 0 25 0 1 0 1859978086 35991552 8352 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 8787 8352 566 18 0 8769 0
[pid=21080] vsize: 35148
Current children cumulated CPU time (s) 650
Current children cumulated vsize (Kb) 35148

[startup+660.026 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 8709 0 0 0 65976 25 0 0 25 0 1 0 1859978086 37171200 8638 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9075 8638 566 18 0 9057 0
[pid=21080] vsize: 36300
Current children cumulated CPU time (s) 660.01
Current children cumulated vsize (Kb) 36300

[startup+670.027 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 8867 0 0 0 66976 25 0 0 25 0 1 0 1859978086 37732352 8796 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9212 8796 566 18 0 9194 0
[pid=21080] vsize: 36848
Current children cumulated CPU time (s) 670.01
Current children cumulated vsize (Kb) 36848

[startup+680.028 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 8867 0 0 0 67976 25 0 0 25 0 1 0 1859978086 37732352 8796 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9212 8796 566 18 0 9194 0
[pid=21080] vsize: 36848
Current children cumulated CPU time (s) 680.01
Current children cumulated vsize (Kb) 36848

[startup+690.027 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 8867 0 0 0 68976 25 0 0 25 0 1 0 1859978086 37732352 8796 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9212 8796 566 18 0 9194 0
[pid=21080] vsize: 36848
Current children cumulated CPU time (s) 690.01
Current children cumulated vsize (Kb) 36848

[startup+700.027 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 8867 0 0 0 69976 25 0 0 25 0 1 0 1859978086 37732352 8796 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9212 8796 566 18 0 9194 0
[pid=21080] vsize: 36848
Current children cumulated CPU time (s) 700.01
Current children cumulated vsize (Kb) 36848

[startup+710.028 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 8867 0 0 0 70976 26 0 0 25 0 1 0 1859978086 37732352 8796 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9212 8796 566 18 0 9194 0
[pid=21080] vsize: 36848
Current children cumulated CPU time (s) 710.02
Current children cumulated vsize (Kb) 36848

[startup+720.028 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 8867 0 0 0 71976 26 0 0 25 0 1 0 1859978086 37732352 8796 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9212 8796 566 18 0 9194 0
[pid=21080] vsize: 36848
Current children cumulated CPU time (s) 720.02
Current children cumulated vsize (Kb) 36848

[startup+730.028 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 8867 0 0 0 72976 26 0 0 25 0 1 0 1859978086 37732352 8796 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9212 8796 566 18 0 9194 0
[pid=21080] vsize: 36848
Current children cumulated CPU time (s) 730.02
Current children cumulated vsize (Kb) 36848

[startup+740.028 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 8867 0 0 0 73976 26 0 0 25 0 1 0 1859978086 37732352 8796 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9212 8796 566 18 0 9194 0
[pid=21080] vsize: 36848
Current children cumulated CPU time (s) 740.02
Current children cumulated vsize (Kb) 36848

[startup+750.029 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 8878 0 0 0 74976 26 0 0 25 0 1 0 1859978086 37863424 8807 4294967295 134512640 134578447 3221224624 3221223536 134556775 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9244 8807 566 18 0 9226 0
[pid=21080] vsize: 36976
Current children cumulated CPU time (s) 750.02
Current children cumulated vsize (Kb) 36976

[startup+760.028 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9211 0 0 0 75976 26 0 0 25 0 1 0 1859978086 39149568 9140 4294967295 134512640 134578447 3221224624 3221223488 134517833 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9558 9140 566 18 0 9540 0
[pid=21080] vsize: 38232
Current children cumulated CPU time (s) 760.02
Current children cumulated vsize (Kb) 38232

[startup+770.029 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 76976 27 0 0 25 0 1 0 1859978086 40042496 9330 4294967295 134512640 134578447 3221224624 3221223456 134528332 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9776 9330 566 18 0 9758 0
[pid=21080] vsize: 39104
Current children cumulated CPU time (s) 770.03
Current children cumulated vsize (Kb) 39104

[startup+780.03 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 77976 27 0 0 25 0 1 0 1859978086 40042496 9330 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9776 9330 566 18 0 9758 0
[pid=21080] vsize: 39104
Current children cumulated CPU time (s) 780.03
Current children cumulated vsize (Kb) 39104

[startup+790.029 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 78976 27 0 0 25 0 1 0 1859978086 40042496 9330 4294967295 134512640 134578447 3221224624 3221223456 134528543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9776 9330 566 18 0 9758 0
[pid=21080] vsize: 39104
Current children cumulated CPU time (s) 790.03
Current children cumulated vsize (Kb) 39104

[startup+800.03 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 79976 27 0 0 25 0 1 0 1859978086 40042496 9330 4294967295 134512640 134578447 3221224624 3221223504 134527739 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9776 9330 566 18 0 9758 0
[pid=21080] vsize: 39104
Current children cumulated CPU time (s) 800.03
Current children cumulated vsize (Kb) 39104

[startup+810.031 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 80976 27 0 0 25 0 1 0 1859978086 40042496 9330 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9776 9330 566 18 0 9758 0
[pid=21080] vsize: 39104
Current children cumulated CPU time (s) 810.03
Current children cumulated vsize (Kb) 39104

[startup+820.031 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 81977 27 0 0 25 0 1 0 1859978086 40042496 9330 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9776 9330 566 18 0 9758 0
[pid=21080] vsize: 39104
Current children cumulated CPU time (s) 820.04
Current children cumulated vsize (Kb) 39104

[startup+830.031 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 82977 27 0 0 25 0 1 0 1859978086 40042496 9330 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9776 9330 566 18 0 9758 0
[pid=21080] vsize: 39104
Current children cumulated CPU time (s) 830.04
Current children cumulated vsize (Kb) 39104

[startup+840.031 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 83977 27 0 0 25 0 1 0 1859978086 40042496 9330 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9776 9330 566 18 0 9758 0
[pid=21080] vsize: 39104
Current children cumulated CPU time (s) 840.04
Current children cumulated vsize (Kb) 39104

[startup+850.032 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 84977 27 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 850.04
Current children cumulated vsize (Kb) 38964

[startup+860.031 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 85977 27 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223472 134520380 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 860.04
Current children cumulated vsize (Kb) 38964

[startup+870.032 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 86977 27 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 870.04
Current children cumulated vsize (Kb) 38964

[startup+880.032 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 87977 27 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 880.04
Current children cumulated vsize (Kb) 38964

[startup+890.032 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 88977 28 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223416 134528797 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 890.05
Current children cumulated vsize (Kb) 38964

[startup+900.032 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 89977 28 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 900.05
Current children cumulated vsize (Kb) 38964

[startup+910.032 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 90977 28 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223456 134528513 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 910.05
Current children cumulated vsize (Kb) 38964

[startup+920.032 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 91978 28 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 920.06
Current children cumulated vsize (Kb) 38964

[startup+930.033 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 92978 28 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 930.06
Current children cumulated vsize (Kb) 38964

[startup+940.033 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 93978 28 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 940.06
Current children cumulated vsize (Kb) 38964

[startup+950.033 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 94978 28 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 950.06
Current children cumulated vsize (Kb) 38964

[startup+960.033 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 95978 28 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 960.06
Current children cumulated vsize (Kb) 38964

[startup+970.034 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 96978 28 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 970.06
Current children cumulated vsize (Kb) 38964

[startup+980.034 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 97979 28 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 980.07
Current children cumulated vsize (Kb) 38964

[startup+990.034 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 98979 28 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 990.07
Current children cumulated vsize (Kb) 38964

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 99979 28 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1000.07
Current children cumulated vsize (Kb) 38964

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 100979 28 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1010.07
Current children cumulated vsize (Kb) 38964

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 101979 28 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1020.07
Current children cumulated vsize (Kb) 38964

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 102979 29 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1030.08
Current children cumulated vsize (Kb) 38964

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 103979 29 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1040.08
Current children cumulated vsize (Kb) 38964

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 104979 29 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1050.08
Current children cumulated vsize (Kb) 38964

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 105980 29 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1060.09
Current children cumulated vsize (Kb) 38964

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 106980 29 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1070.09
Current children cumulated vsize (Kb) 38964

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 107980 29 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1080.09
Current children cumulated vsize (Kb) 38964

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 108980 29 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1090.09
Current children cumulated vsize (Kb) 38964

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 109980 29 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223504 134527793 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1100.09
Current children cumulated vsize (Kb) 38964

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 110980 29 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1110.09
Current children cumulated vsize (Kb) 38964

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 111981 29 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1120.1
Current children cumulated vsize (Kb) 38964

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 112981 29 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1130.1
Current children cumulated vsize (Kb) 38964

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 113981 29 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223504 134527812 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1140.1
Current children cumulated vsize (Kb) 38964

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 114981 29 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223376 134528924 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1150.1
Current children cumulated vsize (Kb) 38964

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 115981 29 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1160.1
Current children cumulated vsize (Kb) 38964

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 116981 29 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1170.1
Current children cumulated vsize (Kb) 38964

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 117981 29 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1180.1
Current children cumulated vsize (Kb) 38964

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 118982 29 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223476 134555869 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1190.11
Current children cumulated vsize (Kb) 38964

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 119982 29 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (Kb) 38964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.99 0.93 2/56 21080
Raw data (/proc/21080/stat): 21080 (Pueblo) R 21079 21080 20728 0 -1 0 9401 0 0 0 119982 29 0 0 25 0 1 0 1859978086 39899136 9327 4294967295 134512640 134578447 3221224624 3221223456 134528426 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21080/statm): 9741 9327 566 18 0 9723 0
[pid=21080] vsize: 38964
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (Kb) 38964

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.06
CPU time (s): 1200.14
CPU user time (s): 1199.82
CPU system time (s): 0.317951
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (Kb): 39104

Verifier Data

ERROR: no interpretation found !