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

Nameweb/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
MD5SUMe4be8a88d340bbbbfb27e034f74a6524
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 65
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 254
Number of bits of the biggest sum of numbers8
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark148.053
Number of variables40605
Total number of constraints118930
Number of constraints which are clauses117190
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1740
Minimum length of a constraint1
Maximum length of a constraint13

Trace number 7863

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-20 14:37:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5022 boxname=wulflinc7 idbench=334 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  e4be8a88d340bbbbfb27e034f74a6524  /oldhome/oroussel/tmp/wulflinc7/normalized-ooo.tag14.ucl.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5022
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 2
cpu MHz		: 451.050
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:        855048 kB
Buffers:         31344 kB
Cached:         123020 kB
SwapCached:        744 kB
Active:          75420 kB
Inactive:        81540 kB
HighTotal:      131008 kB
HighFree:         6860 kB
LowTotal:       903652 kB
LowFree:        848188 kB
SwapTotal:     2097136 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            16964 kB
Committed_AS:    64136 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 14:56:13 (client local time) WITH STATUS 20 IN 1136.02 SECONDS
stats: 5022 7 1136.02 20

Solver Data

c Pueblo version 1.3 (July 2005)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c starting to Solve
c #variables read: 40605 - #constraints read: 118929
c total time              : 1135.97 s
s UNSATISFIABLE

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/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1801108111 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14979/statm): 41 3 40 18 0 23 0
[pid=14979] 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.0039 s]
Raw data (loadavg): 0.83 0.93 0.90 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 6013 0 0 0 976 17 0 0 25 0 1 0 1801108111 28188672 5979 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14979/statm): 6882 5979 566 18 0 6864 0
[pid=14979] vsize: 27528
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (Kb) 27528

[startup+20.0046 s]
Raw data (loadavg): 0.86 0.93 0.90 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 6013 0 0 0 1976 17 0 0 25 0 1 0 1801108111 28188672 5979 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14979/statm): 6882 5979 566 18 0 6864 0
[pid=14979] vsize: 27528
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 27528

[startup+30.0052 s]
Raw data (loadavg): 0.88 0.93 0.90 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 6053 0 0 0 2975 17 0 0 25 0 1 0 1801108111 28450816 6019 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14979/statm): 6946 6019 566 18 0 6928 0
[pid=14979] vsize: 27784
Current children cumulated CPU time (s) 29.92
Current children cumulated vsize (Kb) 27784

[startup+40.0058 s]
Raw data (loadavg): 0.90 0.93 0.90 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 6153 0 0 0 3975 18 0 0 25 0 1 0 1801108111 28856320 6119 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14979/statm): 7045 6119 566 18 0 7027 0
[pid=14979] vsize: 28180
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 28180

[startup+50.0065 s]
Raw data (loadavg): 0.91 0.93 0.90 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 6503 0 0 0 4973 19 0 0 25 0 1 0 1801108111 30470144 6469 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14979/statm): 7439 6469 566 18 0 7421 0
[pid=14979] vsize: 29756
Current children cumulated CPU time (s) 49.92
Current children cumulated vsize (Kb) 29756

[startup+60.0071 s]
Raw data (loadavg): 0.92 0.94 0.90 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 6856 0 0 0 5972 20 0 0 25 0 1 0 1801108111 31821824 6822 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14979/statm): 7769 6822 566 18 0 7751 0
[pid=14979] vsize: 31076
Current children cumulated CPU time (s) 59.92
Current children cumulated vsize (Kb) 31076

[startup+70.0077 s]
Raw data (loadavg): 0.94 0.94 0.90 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7211 0 0 0 6971 21 0 0 25 0 1 0 1801108111 33308672 7177 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8132 7177 566 18 0 8114 0
[pid=14979] vsize: 32528
Current children cumulated CPU time (s) 69.92
Current children cumulated vsize (Kb) 32528

[startup+80.0074 s]
Raw data (loadavg): 0.95 0.94 0.90 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7891 0 0 0 7969 23 0 0 25 0 1 0 1801108111 35921920 7809 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14979/statm): 8770 7809 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 79.92
Current children cumulated vsize (Kb) 35080

[startup+90.008 s]
Raw data (loadavg): 0.95 0.94 0.90 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 8968 23 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 89.91
Current children cumulated vsize (Kb) 35080

[startup+100.008 s]
Raw data (loadavg): 0.96 0.94 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 9967 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223584 134558700 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 99.91
Current children cumulated vsize (Kb) 35080

[startup+110.009 s]
Raw data (loadavg): 0.97 0.94 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 10967 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 109.91
Current children cumulated vsize (Kb) 35080

[startup+120.01 s]
Raw data (loadavg): 0.97 0.94 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 11967 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 119.91
Current children cumulated vsize (Kb) 35080

[startup+130.01 s]
Raw data (loadavg): 0.97 0.95 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 12968 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223568 134558660 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 129.92
Current children cumulated vsize (Kb) 35080

[startup+140.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 13968 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 139.92
Current children cumulated vsize (Kb) 35080

[startup+150.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 14968 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 149.92
Current children cumulated vsize (Kb) 35080

[startup+160.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 15968 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 159.92
Current children cumulated vsize (Kb) 35080

[startup+170.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 16969 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223536 134557196 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 169.93
Current children cumulated vsize (Kb) 35080

[startup+180.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 17969 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223476 134555907 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 179.93
Current children cumulated vsize (Kb) 35080

[startup+190.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 18969 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223536 134556889 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 189.93
Current children cumulated vsize (Kb) 35080

[startup+200.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 19969 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 199.93
Current children cumulated vsize (Kb) 35080

[startup+210.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 20969 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223520 134519815 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 209.93
Current children cumulated vsize (Kb) 35080

[startup+220.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 21969 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223520 134519978 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 219.93
Current children cumulated vsize (Kb) 35080

[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 22970 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 229.94
Current children cumulated vsize (Kb) 35080

[startup+240.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 23970 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 239.94
Current children cumulated vsize (Kb) 35080

[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 24970 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223568 134558685 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 249.94
Current children cumulated vsize (Kb) 35080

[startup+260.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 25970 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223568 134558636 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 259.94
Current children cumulated vsize (Kb) 35080

[startup+270.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 26970 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223552 134531684 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 269.94
Current children cumulated vsize (Kb) 35080

[startup+280.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 27971 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 279.95
Current children cumulated vsize (Kb) 35080

[startup+290.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 28971 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223520 134519831 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 289.95
Current children cumulated vsize (Kb) 35080

[startup+300.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 29971 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223568 134558663 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 299.95
Current children cumulated vsize (Kb) 35080

[startup+310.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 30971 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 309.95
Current children cumulated vsize (Kb) 35080

[startup+320.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7892 0 0 0 31971 24 0 0 25 0 1 0 1801108111 35921920 7810 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8770 7810 566 18 0 8752 0
[pid=14979] vsize: 35080
Current children cumulated CPU time (s) 319.95
Current children cumulated vsize (Kb) 35080

[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 7912 0 0 0 32971 24 0 0 25 0 1 0 1801108111 36052992 7830 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8802 7830 566 18 0 8784 0
[pid=14979] vsize: 35208
Current children cumulated CPU time (s) 329.95
Current children cumulated vsize (Kb) 35208

[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 8040 0 0 0 33971 25 0 0 25 0 1 0 1801108111 36581376 7958 4294967295 134512640 134578447 3221224624 3221223472 134558389 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 8931 7958 566 18 0 8913 0
[pid=14979] vsize: 35724
Current children cumulated CPU time (s) 339.96
Current children cumulated vsize (Kb) 35724

[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 8217 0 0 0 34970 25 0 0 25 0 1 0 1801108111 37388288 8135 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 9128 8135 566 18 0 9110 0
[pid=14979] vsize: 36512
Current children cumulated CPU time (s) 349.95
Current children cumulated vsize (Kb) 36512

[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 8362 0 0 0 35970 26 0 0 25 0 1 0 1801108111 37912576 8280 4294967295 134512640 134578447 3221224624 3221223536 134557333 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 9256 8280 566 18 0 9238 0
[pid=14979] vsize: 37024
Current children cumulated CPU time (s) 359.96
Current children cumulated vsize (Kb) 37024

[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 8505 0 0 0 36970 26 0 0 25 0 1 0 1801108111 38600704 8423 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 9424 8423 566 18 0 9406 0
[pid=14979] vsize: 37696
Current children cumulated CPU time (s) 369.96
Current children cumulated vsize (Kb) 37696

[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 8727 0 0 0 37969 27 0 0 25 0 1 0 1801108111 39534592 8645 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 9652 8645 566 18 0 9634 0
[pid=14979] vsize: 38608
Current children cumulated CPU time (s) 379.96
Current children cumulated vsize (Kb) 38608

[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 8911 0 0 0 38968 27 0 0 25 0 1 0 1801108111 40198144 8829 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 9814 8829 566 18 0 9796 0
[pid=14979] vsize: 39256
Current children cumulated CPU time (s) 389.95
Current children cumulated vsize (Kb) 39256

[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 9012 0 0 0 39968 27 0 0 25 0 1 0 1801108111 40599552 8930 4294967295 134512640 134578447 3221224624 3221223476 134555729 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 9912 8930 566 18 0 9894 0
[pid=14979] vsize: 39648
Current children cumulated CPU time (s) 399.95
Current children cumulated vsize (Kb) 39648

[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 9150 0 0 0 40969 28 0 0 25 0 1 0 1801108111 41148416 9068 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 10046 9068 566 18 0 10028 0
[pid=14979] vsize: 40184
Current children cumulated CPU time (s) 409.97
Current children cumulated vsize (Kb) 40184

[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 9348 0 0 0 41968 28 0 0 25 0 1 0 1801108111 42078208 9266 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 10273 9266 566 18 0 10255 0
[pid=14979] vsize: 41092
Current children cumulated CPU time (s) 419.96
Current children cumulated vsize (Kb) 41092

[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 9576 0 0 0 42967 29 0 0 25 0 1 0 1801108111 42979328 9494 4294967295 134512640 134578447 3221224624 3221223568 134558660 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 10493 9494 566 18 0 10475 0
[pid=14979] vsize: 41972
Current children cumulated CPU time (s) 429.96
Current children cumulated vsize (Kb) 41972

[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 9769 0 0 0 43967 30 0 0 25 0 1 0 1801108111 43880448 9687 4294967295 134512640 134578447 3221224624 3221223536 134557067 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 10713 9687 566 18 0 10695 0
[pid=14979] vsize: 42852
Current children cumulated CPU time (s) 439.97
Current children cumulated vsize (Kb) 42852

[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 9957 0 0 0 44966 30 0 0 25 0 1 0 1801108111 44552192 9875 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 10877 9875 566 18 0 10859 0
[pid=14979] vsize: 43508
Current children cumulated CPU time (s) 449.96
Current children cumulated vsize (Kb) 43508

[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 10186 0 0 0 45965 31 0 0 25 0 1 0 1801108111 45633536 10104 4294967295 134512640 134578447 3221224624 3221223564 134552640 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 11141 10104 566 18 0 11123 0
[pid=14979] vsize: 44564
Current children cumulated CPU time (s) 459.96
Current children cumulated vsize (Kb) 44564

[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 10380 0 0 0 46965 31 0 0 25 0 1 0 1801108111 46317568 10298 4294967295 134512640 134578447 3221224624 3221223476 134555700 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 11308 10298 566 18 0 11290 0
[pid=14979] vsize: 45232
Current children cumulated CPU time (s) 469.96
Current children cumulated vsize (Kb) 45232

[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 10519 0 0 0 47965 32 0 0 25 0 1 0 1801108111 46850048 10437 4294967295 134512640 134578447 3221224624 3221223484 134558154 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 11438 10437 566 18 0 11420 0
[pid=14979] vsize: 45752
Current children cumulated CPU time (s) 479.97
Current children cumulated vsize (Kb) 45752

[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 10683 0 0 0 48964 33 0 0 25 0 1 0 1801108111 47652864 10601 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 11634 10601 566 18 0 11616 0
[pid=14979] vsize: 46536
Current children cumulated CPU time (s) 489.97
Current children cumulated vsize (Kb) 46536

[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 10843 0 0 0 49964 33 0 0 25 0 1 0 1801108111 48320512 10761 4294967295 134512640 134578447 3221224624 3221223476 134555859 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 11797 10761 566 18 0 11779 0
[pid=14979] vsize: 47188
Current children cumulated CPU time (s) 499.97
Current children cumulated vsize (Kb) 47188

[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 11117 0 0 0 50963 34 0 0 25 0 1 0 1801108111 49397760 11035 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 12060 11035 566 18 0 12042 0
[pid=14979] vsize: 48240
Current children cumulated CPU time (s) 509.97
Current children cumulated vsize (Kb) 48240

[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 11211 0 0 0 51963 34 0 0 25 0 1 0 1801108111 49807360 11129 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 12160 11129 566 18 0 12142 0
[pid=14979] vsize: 48640
Current children cumulated CPU time (s) 519.97
Current children cumulated vsize (Kb) 48640

[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 11377 0 0 0 52963 34 0 0 25 0 1 0 1801108111 50372608 11295 4294967295 134512640 134578447 3221224624 3221223512 134556433 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 12298 11295 566 18 0 12280 0
[pid=14979] vsize: 49192
Current children cumulated CPU time (s) 529.97
Current children cumulated vsize (Kb) 49192

[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 11538 0 0 0 53962 35 0 0 25 0 1 0 1801108111 51216384 11456 4294967295 134512640 134578447 3221224624 3221223476 134555913 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 12504 11456 566 18 0 12486 0
[pid=14979] vsize: 50016
Current children cumulated CPU time (s) 539.97
Current children cumulated vsize (Kb) 50016

[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 11710 0 0 0 54962 36 0 0 25 0 1 0 1801108111 51879936 11628 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 12666 11628 566 18 0 12648 0
[pid=14979] vsize: 50664
Current children cumulated CPU time (s) 549.98
Current children cumulated vsize (Kb) 50664

[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 11924 0 0 0 55961 36 0 0 25 0 1 0 1801108111 52682752 11842 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 12862 11842 566 18 0 12844 0
[pid=14979] vsize: 51448
Current children cumulated CPU time (s) 559.97
Current children cumulated vsize (Kb) 51448

[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 12151 0 0 0 56961 37 0 0 25 0 1 0 1801108111 53616640 12069 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 13090 12069 566 18 0 13072 0
[pid=14979] vsize: 52360
Current children cumulated CPU time (s) 569.98
Current children cumulated vsize (Kb) 52360

[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 12362 0 0 0 57960 37 0 0 25 0 1 0 1801108111 54599680 12280 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 13330 12280 566 18 0 13312 0
[pid=14979] vsize: 53320
Current children cumulated CPU time (s) 579.97
Current children cumulated vsize (Kb) 53320

[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 12562 0 0 0 58960 38 0 0 25 0 1 0 1801108111 55402496 12480 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 13526 12480 566 18 0 13508 0
[pid=14979] vsize: 54104
Current children cumulated CPU time (s) 589.98
Current children cumulated vsize (Kb) 54104

[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 12756 0 0 0 59959 38 0 0 25 0 1 0 1801108111 56180736 12674 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 13716 12674 566 18 0 13698 0
[pid=14979] vsize: 54864
Current children cumulated CPU time (s) 599.97
Current children cumulated vsize (Kb) 54864

[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 12907 0 0 0 60959 39 0 0 25 0 1 0 1801108111 56709120 12825 4294967295 134512640 134578447 3221224624 3221223536 134557049 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 13845 12825 566 18 0 13827 0
[pid=14979] vsize: 55380
Current children cumulated CPU time (s) 609.98
Current children cumulated vsize (Kb) 55380

[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 13248 0 0 0 61958 40 0 0 25 0 1 0 1801108111 58204160 13166 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 14210 13166 566 18 0 14192 0
[pid=14979] vsize: 56840
Current children cumulated CPU time (s) 619.98
Current children cumulated vsize (Kb) 56840

[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 13387 0 0 0 62957 41 0 0 25 0 1 0 1801108111 58744832 13305 4294967295 134512640 134578447 3221224624 3221223472 134558418 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 14342 13305 566 18 0 14324 0
[pid=14979] vsize: 57368
Current children cumulated CPU time (s) 629.98
Current children cumulated vsize (Kb) 57368

[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 13475 0 0 0 63957 41 0 0 25 0 1 0 1801108111 59138048 13393 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 14438 13393 566 18 0 14420 0
[pid=14979] vsize: 57752
Current children cumulated CPU time (s) 639.98
Current children cumulated vsize (Kb) 57752

[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 13578 0 0 0 64957 41 0 0 25 0 1 0 1801108111 59551744 13496 4294967295 134512640 134578447 3221224624 3221221632 134533139 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 14539 13496 566 18 0 14521 0
[pid=14979] vsize: 58156
Current children cumulated CPU time (s) 649.98
Current children cumulated vsize (Kb) 58156

[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 13671 0 0 0 65957 41 0 0 25 0 1 0 1801108111 59957248 13589 4294967295 134512640 134578447 3221224624 3221223520 134519903 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 14638 13589 566 18 0 14620 0
[pid=14979] vsize: 58552
Current children cumulated CPU time (s) 659.98
Current children cumulated vsize (Kb) 58552

[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 13808 0 0 0 66957 41 0 0 25 0 1 0 1801108111 60481536 13726 4294967295 134512640 134578447 3221224624 3221223296 134522255 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 14766 13726 566 18 0 14748 0
[pid=14979] vsize: 59064
Current children cumulated CPU time (s) 669.98
Current children cumulated vsize (Kb) 59064

[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 13989 0 0 0 67956 42 0 0 25 0 1 0 1801108111 61136896 13907 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 14926 13907 566 18 0 14908 0
[pid=14979] vsize: 59704
Current children cumulated CPU time (s) 679.98
Current children cumulated vsize (Kb) 59704

[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 14116 0 0 0 68956 42 0 0 25 0 1 0 1801108111 61677568 14034 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 15058 14034 566 18 0 15040 0
[pid=14979] vsize: 60232
Current children cumulated CPU time (s) 689.98
Current children cumulated vsize (Kb) 60232

[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 14187 0 0 0 69956 42 0 0 25 0 1 0 1801108111 62070784 14105 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 15154 14105 566 18 0 15136 0
[pid=14979] vsize: 60616
Current children cumulated CPU time (s) 699.98
Current children cumulated vsize (Kb) 60616

[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 14311 0 0 0 70956 42 0 0 25 0 1 0 1801108111 62472192 14229 4294967295 134512640 134578447 3221224624 3221223536 134556909 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 15252 14229 566 18 0 15234 0
[pid=14979] vsize: 61008
Current children cumulated CPU time (s) 709.98
Current children cumulated vsize (Kb) 61008

[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 14461 0 0 0 71956 43 0 0 25 0 1 0 1801108111 63258624 14379 4294967295 134512640 134578447 3221224624 3221223536 134557333 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 15444 14379 566 18 0 15426 0
[pid=14979] vsize: 61776
Current children cumulated CPU time (s) 719.99
Current children cumulated vsize (Kb) 61776

[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 14572 0 0 0 72956 43 0 0 25 0 1 0 1801108111 63664128 14490 4294967295 134512640 134578447 3221224624 3221223584 134558800 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 15543 14490 566 18 0 15525 0
[pid=14979] vsize: 62172
Current children cumulated CPU time (s) 729.99
Current children cumulated vsize (Kb) 62172

[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 14746 0 0 0 73955 43 0 0 25 0 1 0 1801108111 64352256 14664 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 15711 14664 566 18 0 15693 0
[pid=14979] vsize: 62844
Current children cumulated CPU time (s) 739.98
Current children cumulated vsize (Kb) 62844

[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 14937 0 0 0 74955 44 0 0 25 0 1 0 1801108111 65163264 14855 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 15909 14855 566 18 0 15891 0
[pid=14979] vsize: 63636
Current children cumulated CPU time (s) 749.99
Current children cumulated vsize (Kb) 63636

[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 15021 0 0 0 75955 44 0 0 25 0 1 0 1801108111 65425408 14939 4294967295 134512640 134578447 3221224624 3221223476 134555702 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 15973 14940 566 18 0 15955 0
[pid=14979] vsize: 63892
Current children cumulated CPU time (s) 759.99
Current children cumulated vsize (Kb) 63892

[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 15145 0 0 0 76955 45 0 0 25 0 1 0 1801108111 65966080 15063 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 16105 15063 566 18 0 16087 0
[pid=14979] vsize: 64420
Current children cumulated CPU time (s) 770
Current children cumulated vsize (Kb) 64420

[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 15238 0 0 0 77954 45 0 0 25 0 1 0 1801108111 66367488 15156 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 16203 15156 566 18 0 16185 0
[pid=14979] vsize: 64812
Current children cumulated CPU time (s) 779.99
Current children cumulated vsize (Kb) 64812

[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 15311 0 0 0 78955 45 0 0 25 0 1 0 1801108111 66633728 15229 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 16268 15229 566 18 0 16250 0
[pid=14979] vsize: 65072
Current children cumulated CPU time (s) 790
Current children cumulated vsize (Kb) 65072

[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 15426 0 0 0 79955 45 0 0 25 0 1 0 1801108111 67174400 15344 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 16400 15344 566 18 0 16382 0
[pid=14979] vsize: 65600
Current children cumulated CPU time (s) 800
Current children cumulated vsize (Kb) 65600

[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 15516 0 0 0 80954 46 0 0 25 0 1 0 1801108111 67465216 15434 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 16471 15434 566 18 0 16453 0
[pid=14979] vsize: 65884
Current children cumulated CPU time (s) 810
Current children cumulated vsize (Kb) 65884

[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 15614 0 0 0 81954 46 0 0 25 0 1 0 1801108111 67850240 15532 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 16565 15532 566 18 0 16547 0
[pid=14979] vsize: 66260
Current children cumulated CPU time (s) 820
Current children cumulated vsize (Kb) 66260

[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 15744 0 0 0 82954 46 0 0 25 0 1 0 1801108111 68382720 15662 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 16695 15662 566 18 0 16677 0
[pid=14979] vsize: 66780
Current children cumulated CPU time (s) 830
Current children cumulated vsize (Kb) 66780

[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 15810 0 0 0 83954 46 0 0 25 0 1 0 1801108111 68648960 15728 4294967295 134512640 134578447 3221224624 3221223568 134558685 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 16760 15728 566 18 0 16742 0
[pid=14979] vsize: 67040
Current children cumulated CPU time (s) 840
Current children cumulated vsize (Kb) 67040

[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 15890 0 0 0 84954 46 0 0 25 0 1 0 1801108111 69038080 15808 4294967295 134512640 134578447 3221224624 3221223568 134558685 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 16855 15808 566 18 0 16837 0
[pid=14979] vsize: 67420
Current children cumulated CPU time (s) 850
Current children cumulated vsize (Kb) 67420

[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16026 0 0 0 85953 47 0 0 25 0 1 0 1801108111 69582848 15944 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 16988 15944 566 18 0 16970 0
[pid=14979] vsize: 67952
Current children cumulated CPU time (s) 860
Current children cumulated vsize (Kb) 67952

[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16246 0 0 0 86952 48 0 0 25 0 1 0 1801108111 70672384 16164 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17254 16164 566 18 0 17236 0
[pid=14979] vsize: 69016
Current children cumulated CPU time (s) 870
Current children cumulated vsize (Kb) 69016

[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16427 0 0 0 87952 48 0 0 25 0 1 0 1801108111 71499776 16345 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17456 16345 566 18 0 17438 0
[pid=14979] vsize: 69824
Current children cumulated CPU time (s) 880
Current children cumulated vsize (Kb) 69824

[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16526 0 0 0 88951 49 0 0 25 0 1 0 1801108111 71897088 16444 4294967295 134512640 134578447 3221224624 3221223536 134557049 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17553 16444 566 18 0 17535 0
[pid=14979] vsize: 70212
Current children cumulated CPU time (s) 890
Current children cumulated vsize (Kb) 70212

[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16759 0 0 0 89950 50 0 0 25 0 1 0 1801108111 72835072 16677 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17782 16677 566 18 0 17764 0
[pid=14979] vsize: 71128
Current children cumulated CPU time (s) 900
Current children cumulated vsize (Kb) 71128

[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16849 0 0 0 90950 51 0 0 25 0 1 0 1801108111 73105408 16767 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17848 16767 566 18 0 17830 0
[pid=14979] vsize: 71392
Current children cumulated CPU time (s) 910.01
Current children cumulated vsize (Kb) 71392

[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 91950 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223568 134516683 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 920.01
Current children cumulated vsize (Kb) 71524

[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 92950 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 930.01
Current children cumulated vsize (Kb) 71524

[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 93950 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 940.01
Current children cumulated vsize (Kb) 71524

[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 94951 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223520 134519916 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 950.02
Current children cumulated vsize (Kb) 71524

[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 95951 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223568 134558626 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 960.02
Current children cumulated vsize (Kb) 71524

[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 96951 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 970.02
Current children cumulated vsize (Kb) 71524

[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 97951 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223520 134519815 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 980.02
Current children cumulated vsize (Kb) 71524

[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 98951 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223472 134520245 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 990.02
Current children cumulated vsize (Kb) 71524

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 99952 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 1000.03
Current children cumulated vsize (Kb) 71524

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 100952 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 1010.03
Current children cumulated vsize (Kb) 71524

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 101952 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223524 134556724 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 1020.03
Current children cumulated vsize (Kb) 71524

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 102952 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 1030.03
Current children cumulated vsize (Kb) 71524

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 103952 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 1040.03
Current children cumulated vsize (Kb) 71524

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 104952 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223472 134558345 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 1050.03
Current children cumulated vsize (Kb) 71524

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 105953 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 1060.04
Current children cumulated vsize (Kb) 71524

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 106953 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223472 134558389 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 1070.04
Current children cumulated vsize (Kb) 71524

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 107953 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 1080.04
Current children cumulated vsize (Kb) 71524

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 108953 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223584 134558814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 1090.04
Current children cumulated vsize (Kb) 71524

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 109953 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 1100.04
Current children cumulated vsize (Kb) 71524

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 110954 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223520 134519815 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 1110.05
Current children cumulated vsize (Kb) 71524

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 111954 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 1120.05
Current children cumulated vsize (Kb) 71524

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14979
Raw data (/proc/14979/stat): 14979 (Pueblo) R 14978 14979 15400 0 -1 0 16880 0 0 0 112954 51 0 0 25 0 1 0 1801108111 73240576 16798 4294967295 134512640 134578447 3221224624 3221223520 134519817 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14979/statm): 17881 16798 566 18 0 17863 0
[pid=14979] vsize: 71524
Current children cumulated CPU time (s) 1130.05
Current children cumulated vsize (Kb) 71524
One traced child (pid=14979) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 1135.99
CPU time (s): 1136.02
CPU user time (s): 1135.46
CPU system time (s): 0.551916
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (Kb): 71524

Verifier Data

ERROR: no interpretation found !