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.burch_dill.6.accl.ucl.opb
MD5SUMf306f9e77db4c563a096b79aebdedeaa
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
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 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 71
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 261
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables23621
Total number of constraints67526
Number of constraints which are clauses65126
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2400
Minimum length of a constraint1
Maximum length of a constraint13

Trace number 7861

Launcher Data

LAUNCH ON wulflinc22 THE 2005-09-20 14:35:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5010 boxname=wulflinc22 idbench=322 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  f306f9e77db4c563a096b79aebdedeaa  /oldhome/oroussel/tmp/wulflinc22/normalized-ooo.burch_dill.6.accl.ucl.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5010
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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.031
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:        821328 kB
Buffers:         31596 kB
Cached:         154172 kB
SwapCached:        552 kB
Active:          58884 kB
Inactive:       129548 kB
HighTotal:      131008 kB
HighFree:         2688 kB
LowTotal:       903652 kB
LowFree:        818640 kB
SwapTotal:     2097892 kB
SwapFree:      2096768 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5836 kB
Slab:            19316 kB
Committed_AS:    64268 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 14:55:45 (client local time) WITH STATUS 0 IN 1209.93 SECONDS
stats: 5010 7 1209.93 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/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859302039 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23032/statm): 41 3 40 18 0 23 0
[pid=23032] 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.0033 s]
Raw data (loadavg): 0.93 1.03 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 3656 0 0 0 986 9 0 0 25 0 1 0 1859302039 17166336 3622 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 4191 3622 566 18 0 4173 0
[pid=23032] vsize: 16764
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 16764

[startup+20.004 s]
Raw data (loadavg): 0.94 1.03 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 4059 0 0 0 1985 10 0 0 25 0 1 0 1859302039 18915328 4025 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 4618 4025 566 18 0 4600 0
[pid=23032] vsize: 18472
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 18472

[startup+30.0047 s]
Raw data (loadavg): 0.95 1.03 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 4792 0 0 0 2982 13 0 0 25 0 1 0 1859302039 22126592 4758 4294967295 134512640 134578447 3221224624 3221223536 134557225 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23032/statm): 5402 4758 566 18 0 5384 0
[pid=23032] vsize: 21608
Current children cumulated CPU time (s) 29.95
Current children cumulated vsize (Kb) 21608

[startup+40.0054 s]
Raw data (loadavg): 0.96 1.03 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 4796 0 0 0 3981 13 0 0 25 0 1 0 1859302039 22126592 4762 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 5402 4762 566 18 0 5384 0
[pid=23032] vsize: 21608
Current children cumulated CPU time (s) 39.94
Current children cumulated vsize (Kb) 21608

[startup+50.0061 s]
Raw data (loadavg): 0.96 1.02 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 4797 0 0 0 4982 13 0 0 25 0 1 0 1859302039 22126592 4763 4294967295 134512640 134578447 3221224624 3221223516 134531720 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 5402 4763 566 18 0 5384 0
[pid=23032] vsize: 21608
Current children cumulated CPU time (s) 49.95
Current children cumulated vsize (Kb) 21608

[startup+60.0058 s]
Raw data (loadavg): 0.97 1.02 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 4797 0 0 0 5982 13 0 0 25 0 1 0 1859302039 22126592 4763 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 5402 4763 566 18 0 5384 0
[pid=23032] vsize: 21608
Current children cumulated CPU time (s) 59.95
Current children cumulated vsize (Kb) 21608

[startup+70.0065 s]
Raw data (loadavg): 0.97 1.02 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 4797 0 0 0 6981 14 0 0 25 0 1 0 1859302039 22126592 4763 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 5402 4763 566 18 0 5384 0
[pid=23032] vsize: 21608
Current children cumulated CPU time (s) 69.95
Current children cumulated vsize (Kb) 21608

[startup+80.0072 s]
Raw data (loadavg): 0.98 1.02 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 4797 0 0 0 7982 14 0 0 25 0 1 0 1859302039 22126592 4763 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 5402 4763 566 18 0 5384 0
[pid=23032] vsize: 21608
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 21608

[startup+90.0079 s]
Raw data (loadavg): 0.98 1.02 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 5115 0 0 0 8981 14 0 0 25 0 1 0 1859302039 23486464 5081 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 5734 5081 566 18 0 5716 0
[pid=23032] vsize: 22936
Current children cumulated CPU time (s) 89.95
Current children cumulated vsize (Kb) 22936

[startup+100.008 s]
Raw data (loadavg): 0.98 1.02 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 5166 0 0 0 9980 15 0 0 25 0 1 0 1859302039 23756800 5132 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 5800 5132 566 18 0 5782 0
[pid=23032] vsize: 23200
Current children cumulated CPU time (s) 99.95
Current children cumulated vsize (Kb) 23200

[startup+110.008 s]
Raw data (loadavg): 0.98 1.02 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 5366 0 0 0 10980 16 0 0 25 0 1 0 1859302039 24530944 5332 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 5989 5332 566 18 0 5971 0
[pid=23032] vsize: 23956
Current children cumulated CPU time (s) 109.96
Current children cumulated vsize (Kb) 23956

[startup+120.009 s]
Raw data (loadavg): 0.99 1.02 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 5999 0 0 0 11977 18 0 0 25 0 1 0 1859302039 27213824 5965 4294967295 134512640 134578447 3221224624 3221223520 134519831 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 6644 5965 566 18 0 6626 0
[pid=23032] vsize: 26576
Current children cumulated CPU time (s) 119.95
Current children cumulated vsize (Kb) 26576

[startup+130.009 s]
Raw data (loadavg): 0.99 1.02 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 6408 0 0 0 12976 19 0 0 25 0 1 0 1859302039 28811264 6374 4294967295 134512640 134578447 3221224624 3221223472 134556274 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 7034 6374 566 18 0 7016 0
[pid=23032] vsize: 28136
Current children cumulated CPU time (s) 129.95
Current children cumulated vsize (Kb) 28136

[startup+140.009 s]
Raw data (loadavg): 0.99 1.02 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 6945 0 0 0 13974 20 0 0 25 0 1 0 1859302039 30994432 6911 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 7567 6911 566 18 0 7549 0
[pid=23032] vsize: 30268
Current children cumulated CPU time (s) 139.94
Current children cumulated vsize (Kb) 30268

[startup+150.01 s]
Raw data (loadavg): 0.99 1.01 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 7495 0 0 0 14972 22 0 0 25 0 1 0 1859302039 33333248 7461 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 8138 7461 566 18 0 8120 0
[pid=23032] vsize: 32552
Current children cumulated CPU time (s) 149.94
Current children cumulated vsize (Kb) 32552

[startup+160.01 s]
Raw data (loadavg): 0.99 1.01 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 7733 0 0 0 15971 23 0 0 25 0 1 0 1859302039 34226176 7699 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 8356 7699 566 18 0 8338 0
[pid=23032] vsize: 33424
Current children cumulated CPU time (s) 159.94
Current children cumulated vsize (Kb) 33424

[startup+170.011 s]
Raw data (loadavg): 0.99 1.01 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 8231 0 0 0 16969 25 0 0 25 0 1 0 1859302039 36220928 8197 4294967295 134512640 134578447 3221224624 3221223584 134558912 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 8843 8197 566 18 0 8825 0
[pid=23032] vsize: 35372
Current children cumulated CPU time (s) 169.94
Current children cumulated vsize (Kb) 35372

[startup+180.01 s]
Raw data (loadavg): 0.99 1.01 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 8630 0 0 0 17967 26 0 0 25 0 1 0 1859302039 37888000 8596 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 9250 8596 566 18 0 9232 0
[pid=23032] vsize: 37000
Current children cumulated CPU time (s) 179.93
Current children cumulated vsize (Kb) 37000

[startup+190.011 s]
Raw data (loadavg): 0.99 1.01 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 9026 0 0 0 18966 27 0 0 25 0 1 0 1859302039 39571456 8992 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 9661 8992 566 18 0 9643 0
[pid=23032] vsize: 38644
Current children cumulated CPU time (s) 189.93
Current children cumulated vsize (Kb) 38644

[startup+200.011 s]
Raw data (loadavg): 0.99 1.01 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 9401 0 0 0 19965 28 0 0 25 0 1 0 1859302039 41054208 9367 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 10023 9367 566 18 0 10005 0
[pid=23032] vsize: 40092
Current children cumulated CPU time (s) 199.93
Current children cumulated vsize (Kb) 40092

[startup+210.01 s]
Raw data (loadavg): 0.99 1.01 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 9916 0 0 0 20963 30 0 0 25 0 1 0 1859302039 43163648 9882 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 10538 9882 566 18 0 10520 0
[pid=23032] vsize: 42152
Current children cumulated CPU time (s) 209.93
Current children cumulated vsize (Kb) 42152

[startup+220.011 s]
Raw data (loadavg): 0.99 1.01 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 10336 0 0 0 21961 31 0 0 25 0 1 0 1859302039 44859392 10302 4294967295 134512640 134578447 3221224624 3221223584 134559002 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 10952 10302 566 18 0 10934 0
[pid=23032] vsize: 43808
Current children cumulated CPU time (s) 219.92
Current children cumulated vsize (Kb) 43808

[startup+230.011 s]
Raw data (loadavg): 0.99 1.01 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 10669 0 0 0 22960 32 0 0 25 0 1 0 1859302039 46309376 10635 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 11306 10635 566 18 0 11288 0
[pid=23032] vsize: 45224
Current children cumulated CPU time (s) 229.92
Current children cumulated vsize (Kb) 45224

[startup+240.012 s]
Raw data (loadavg): 0.99 1.01 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 11256 0 0 0 23958 34 0 0 25 0 1 0 1859302039 48754688 11222 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 11903 11222 566 18 0 11885 0
[pid=23032] vsize: 47612
Current children cumulated CPU time (s) 239.92
Current children cumulated vsize (Kb) 47612

[startup+250.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 12016 0 0 0 24955 37 0 0 25 0 1 0 1859302039 51834880 11982 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 12655 11982 566 18 0 12637 0
[pid=23032] vsize: 50620
Current children cumulated CPU time (s) 249.92
Current children cumulated vsize (Kb) 50620

[startup+260.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 12567 0 0 0 25952 39 0 0 25 0 1 0 1859302039 54120448 12533 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 13213 12533 566 18 0 13195 0
[pid=23032] vsize: 52852
Current children cumulated CPU time (s) 259.91
Current children cumulated vsize (Kb) 52852

[startup+270.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 12776 0 0 0 26950 41 0 0 25 0 1 0 1859302039 54988800 12742 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 13425 12742 566 18 0 13407 0
[pid=23032] vsize: 53700
Current children cumulated CPU time (s) 269.91
Current children cumulated vsize (Kb) 53700

[startup+280.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 13220 0 0 0 27947 42 0 0 25 0 1 0 1859302039 56758272 13186 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 13857 13186 566 18 0 13839 0
[pid=23032] vsize: 55428
Current children cumulated CPU time (s) 279.89
Current children cumulated vsize (Kb) 55428

[startup+290.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 13402 0 0 0 28946 43 0 0 25 0 1 0 1859302039 57565184 13368 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 14054 13368 566 18 0 14036 0
[pid=23032] vsize: 56216
Current children cumulated CPU time (s) 289.89
Current children cumulated vsize (Kb) 56216

[startup+300.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 13740 0 0 0 29945 45 0 0 25 0 1 0 1859302039 58892288 13706 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 14378 13706 566 18 0 14360 0
[pid=23032] vsize: 57512
Current children cumulated CPU time (s) 299.9
Current children cumulated vsize (Kb) 57512

[startup+310.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 14130 0 0 0 30943 47 0 0 25 0 1 0 1859302039 60489728 14096 4294967295 134512640 134578447 3221224624 3221223572 134558622 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 14768 14096 566 18 0 14750 0
[pid=23032] vsize: 59072
Current children cumulated CPU time (s) 309.9
Current children cumulated vsize (Kb) 59072

[startup+320.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 14572 0 0 0 31941 49 0 0 25 0 1 0 1859302039 62296064 14538 4294967295 134512640 134578447 3221224624 3221223476 134555817 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 15209 14538 566 18 0 15191 0
[pid=23032] vsize: 60836
Current children cumulated CPU time (s) 319.9
Current children cumulated vsize (Kb) 60836

[startup+330.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 15053 0 0 0 32939 50 0 0 25 0 1 0 1859302039 64278528 15019 4294967295 134512640 134578447 3221224624 3221223520 134519731 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 15693 15019 566 18 0 15675 0
[pid=23032] vsize: 62772
Current children cumulated CPU time (s) 329.89
Current children cumulated vsize (Kb) 62772

[startup+340.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 15393 0 0 0 33938 51 0 0 25 0 1 0 1859302039 65708032 15359 4294967295 134512640 134578447 3221224624 3221223200 134554164 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 16042 15359 566 18 0 16024 0
[pid=23032] vsize: 64168
Current children cumulated CPU time (s) 339.89
Current children cumulated vsize (Kb) 64168

[startup+350.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 15829 0 0 0 34937 53 0 0 25 0 1 0 1859302039 67432448 15795 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 16463 15795 566 18 0 16445 0
[pid=23032] vsize: 65852
Current children cumulated CPU time (s) 349.9
Current children cumulated vsize (Kb) 65852

[startup+360.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 16258 0 0 0 35934 55 0 0 25 0 1 0 1859302039 69246976 16224 4294967295 134512640 134578447 3221224624 3221223504 134527554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 16906 16224 566 18 0 16888 0
[pid=23032] vsize: 67624
Current children cumulated CPU time (s) 359.89
Current children cumulated vsize (Kb) 67624

[startup+370.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 16634 0 0 0 36933 56 0 0 25 0 1 0 1859302039 70709248 16600 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 17263 16600 566 18 0 17245 0
[pid=23032] vsize: 69052
Current children cumulated CPU time (s) 369.89
Current children cumulated vsize (Kb) 69052

[startup+380.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 17139 0 0 0 37931 58 0 0 25 0 1 0 1859302039 72757248 17105 4294967295 134512640 134578447 3221224624 3221223296 134523382 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 17763 17105 566 18 0 17745 0
[pid=23032] vsize: 71052
Current children cumulated CPU time (s) 379.89
Current children cumulated vsize (Kb) 71052

[startup+390.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 17463 0 0 0 38930 59 0 0 25 0 1 0 1859302039 74162176 17429 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 18106 17429 566 18 0 18088 0
[pid=23032] vsize: 72424
Current children cumulated CPU time (s) 389.89
Current children cumulated vsize (Kb) 72424

[startup+400.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 17838 0 0 0 39929 60 0 0 25 0 1 0 1859302039 75628544 17804 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 18464 17804 566 18 0 18446 0
[pid=23032] vsize: 73856
Current children cumulated CPU time (s) 399.89
Current children cumulated vsize (Kb) 73856

[startup+410.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 18004 0 0 0 40928 61 0 0 25 0 1 0 1859302039 76288000 17970 4294967295 134512640 134578447 3221224624 3221223476 134555913 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 18625 17970 566 18 0 18607 0
[pid=23032] vsize: 74500
Current children cumulated CPU time (s) 409.89
Current children cumulated vsize (Kb) 74500

[startup+420.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 18472 0 0 0 41926 63 0 0 25 0 1 0 1859302039 78290944 18438 4294967295 134512640 134578447 3221224624 3221223476 134555907 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 19114 18438 566 18 0 19096 0
[pid=23032] vsize: 76456
Current children cumulated CPU time (s) 419.89
Current children cumulated vsize (Kb) 76456

[startup+430.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 18735 0 0 0 42925 64 0 0 25 0 1 0 1859302039 79327232 18701 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 19367 18701 566 18 0 19349 0
[pid=23032] vsize: 77468
Current children cumulated CPU time (s) 429.89
Current children cumulated vsize (Kb) 77468

[startup+440.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 19136 0 0 0 43923 65 0 0 25 0 1 0 1859302039 80994304 19102 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 19774 19102 566 18 0 19756 0
[pid=23032] vsize: 79096
Current children cumulated CPU time (s) 439.88
Current children cumulated vsize (Kb) 79096

[startup+450.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 19546 0 0 0 44922 66 0 0 25 0 1 0 1859302039 82599936 19512 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 20166 19512 566 18 0 20148 0
[pid=23032] vsize: 80664
Current children cumulated CPU time (s) 449.88
Current children cumulated vsize (Kb) 80664

[startup+460.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 19716 0 0 0 45921 67 0 0 25 0 1 0 1859302039 83243008 19682 4294967295 134512640 134578447 3221224624 3221223648 134554164 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 20323 19682 566 18 0 20305 0
[pid=23032] vsize: 81292
Current children cumulated CPU time (s) 459.88
Current children cumulated vsize (Kb) 81292

[startup+470.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 19970 0 0 0 46921 68 0 0 25 0 1 0 1859302039 84312064 19936 4294967295 134512640 134578447 3221224624 3221223476 134555869 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 20584 19936 566 18 0 20566 0
[pid=23032] vsize: 82336
Current children cumulated CPU time (s) 469.89
Current children cumulated vsize (Kb) 82336

[startup+480.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 20376 0 0 0 47919 69 0 0 25 0 1 0 1859302039 86286336 20342 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 21066 20342 566 18 0 21048 0
[pid=23032] vsize: 84264
Current children cumulated CPU time (s) 479.88
Current children cumulated vsize (Kb) 84264

[startup+490.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 20761 0 0 0 48918 70 0 0 25 0 1 0 1859302039 87867392 20727 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 21452 20727 566 18 0 21434 0
[pid=23032] vsize: 85808
Current children cumulated CPU time (s) 489.88
Current children cumulated vsize (Kb) 85808

[startup+500.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 21054 0 0 0 49917 71 0 0 25 0 1 0 1859302039 89038848 21020 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 21738 21020 566 18 0 21720 0
[pid=23032] vsize: 86952
Current children cumulated CPU time (s) 499.88
Current children cumulated vsize (Kb) 86952

[startup+510.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 21455 0 0 0 50915 72 0 0 25 0 1 0 1859302039 90640384 21421 4294967295 134512640 134578447 3221224624 3221223584 134559051 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 22129 21421 566 18 0 22111 0
[pid=23032] vsize: 88516
Current children cumulated CPU time (s) 509.87
Current children cumulated vsize (Kb) 88516

[startup+520.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 21753 0 0 0 51914 73 0 0 25 0 1 0 1859302039 91930624 21719 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 22444 21719 566 18 0 22426 0
[pid=23032] vsize: 89776
Current children cumulated CPU time (s) 519.87
Current children cumulated vsize (Kb) 89776

[startup+530.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 21953 0 0 0 52914 74 0 0 25 0 1 0 1859302039 92672000 21919 4294967295 134512640 134578447 3221224624 3221223476 134555811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 22625 21919 566 18 0 22607 0
[pid=23032] vsize: 90500
Current children cumulated CPU time (s) 529.88
Current children cumulated vsize (Kb) 90500

[startup+540.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 22172 0 0 0 53913 75 0 0 25 0 1 0 1859302039 93556736 22138 4294967295 134512640 134578447 3221224624 3221223476 134555825 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 22841 22138 566 18 0 22823 0
[pid=23032] vsize: 91364
Current children cumulated CPU time (s) 539.88
Current children cumulated vsize (Kb) 91364

[startup+550.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 22519 0 0 0 54912 76 0 0 25 0 1 0 1859302039 95064064 22485 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 23209 22485 566 18 0 23191 0
[pid=23032] vsize: 92836
Current children cumulated CPU time (s) 549.88
Current children cumulated vsize (Kb) 92836

[startup+560.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 23059 0 0 0 55910 77 0 0 25 0 1 0 1859302039 97169408 23025 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 23723 23025 566 18 0 23705 0
[pid=23032] vsize: 94892
Current children cumulated CPU time (s) 559.87
Current children cumulated vsize (Kb) 94892

[startup+570.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 23382 0 0 0 56909 78 0 0 25 0 1 0 1859302039 98594816 23348 4294967295 134512640 134578447 3221224624 3221223476 134555916 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 24071 23349 566 18 0 24053 0
[pid=23032] vsize: 96284
Current children cumulated CPU time (s) 569.87
Current children cumulated vsize (Kb) 96284

[startup+580.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 23860 0 0 0 57908 79 0 0 25 0 1 0 1859302039 100474880 23826 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 24530 23826 566 18 0 24512 0
[pid=23032] vsize: 98120
Current children cumulated CPU time (s) 579.87
Current children cumulated vsize (Kb) 98120

[startup+590.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 24374 0 0 0 58906 81 0 0 25 0 1 0 1859302039 102604800 24340 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 25050 24340 566 18 0 25032 0
[pid=23032] vsize: 100200
Current children cumulated CPU time (s) 589.87
Current children cumulated vsize (Kb) 100200

[startup+600.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 24596 0 0 0 59906 81 0 0 25 0 1 0 1859302039 103534592 24562 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 25277 24562 566 18 0 25259 0
[pid=23032] vsize: 101108
Current children cumulated CPU time (s) 599.87
Current children cumulated vsize (Kb) 101108

[startup+610.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 24888 0 0 0 60905 82 0 0 25 0 1 0 1859302039 104722432 24854 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 25567 24854 566 18 0 25549 0
[pid=23032] vsize: 102268
Current children cumulated CPU time (s) 609.87
Current children cumulated vsize (Kb) 102268

[startup+620.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 25250 0 0 0 61903 84 0 0 25 0 1 0 1859302039 106139648 25216 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 25913 25216 566 18 0 25895 0
[pid=23032] vsize: 103652
Current children cumulated CPU time (s) 619.87
Current children cumulated vsize (Kb) 103652

[startup+630.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 25644 0 0 0 62901 85 0 0 25 0 1 0 1859302039 107806720 25610 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 26320 25610 566 18 0 26302 0
[pid=23032] vsize: 105280
Current children cumulated CPU time (s) 629.86
Current children cumulated vsize (Kb) 105280

[startup+640.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 25888 0 0 0 63900 85 0 0 25 0 1 0 1859302039 108863488 25854 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 26578 25854 566 18 0 26560 0
[pid=23032] vsize: 106312
Current children cumulated CPU time (s) 639.85
Current children cumulated vsize (Kb) 106312

[startup+650.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 26237 0 0 0 64899 86 0 0 25 0 1 0 1859302039 110256128 26203 4294967295 134512640 134578447 3221224624 3221223296 134523433 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 26918 26203 566 18 0 26900 0
[pid=23032] vsize: 107672
Current children cumulated CPU time (s) 649.85
Current children cumulated vsize (Kb) 107672

[startup+660.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 26463 0 0 0 65898 87 0 0 25 0 1 0 1859302039 111128576 26429 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 27131 26429 566 18 0 27113 0
[pid=23032] vsize: 108524
Current children cumulated CPU time (s) 659.85
Current children cumulated vsize (Kb) 108524

[startup+670.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 26874 0 0 0 66896 89 0 0 25 0 1 0 1859302039 112816128 26840 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 27543 26840 566 18 0 27525 0
[pid=23032] vsize: 110172
Current children cumulated CPU time (s) 669.85
Current children cumulated vsize (Kb) 110172

[startup+680.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 27052 0 0 0 67896 90 0 0 25 0 1 0 1859302039 113545216 27018 4294967295 134512640 134578447 3221224624 3221223184 134525270 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 27721 27018 566 18 0 27703 0
[pid=23032] vsize: 110884
Current children cumulated CPU time (s) 679.86
Current children cumulated vsize (Kb) 110884

[startup+690.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 27504 0 0 0 68894 91 0 0 25 0 1 0 1859302039 115376128 27470 4294967295 134512640 134578447 3221224624 3221223296 134524069 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 28168 27470 566 18 0 28150 0
[pid=23032] vsize: 112672
Current children cumulated CPU time (s) 689.85
Current children cumulated vsize (Kb) 112672

[startup+700.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 27809 0 0 0 69893 92 0 0 25 0 1 0 1859302039 116670464 27775 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 28484 27775 566 18 0 28466 0
[pid=23032] vsize: 113936
Current children cumulated CPU time (s) 699.85
Current children cumulated vsize (Kb) 113936

[startup+710.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 28168 0 0 0 70892 93 0 0 25 0 1 0 1859302039 118071296 28134 4294967295 134512640 134578447 3221224624 3221223472 134558430 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 28826 28134 566 18 0 28808 0
[pid=23032] vsize: 115304
Current children cumulated CPU time (s) 709.85
Current children cumulated vsize (Kb) 115304

[startup+720.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 28627 0 0 0 71891 94 0 0 25 0 1 0 1859302039 119959552 28593 4294967295 134512640 134578447 3221224624 3221223476 134555723 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 29287 28593 566 18 0 29269 0
[pid=23032] vsize: 117148
Current children cumulated CPU time (s) 719.85
Current children cumulated vsize (Kb) 117148

[startup+730.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 28933 0 0 0 72890 95 0 0 25 0 1 0 1859302039 121270272 28899 4294967295 134512640 134578447 3221224624 3221223520 134519916 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 29607 28899 566 18 0 29589 0
[pid=23032] vsize: 118428
Current children cumulated CPU time (s) 729.85
Current children cumulated vsize (Kb) 118428

[startup+740.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 29187 0 0 0 73889 95 0 0 25 0 1 0 1859302039 122261504 29153 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 29849 29153 566 18 0 29831 0
[pid=23032] vsize: 119396
Current children cumulated CPU time (s) 739.84
Current children cumulated vsize (Kb) 119396

[startup+750.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 29464 0 0 0 74888 96 0 0 25 0 1 0 1859302039 123383808 29430 4294967295 134512640 134578447 3221224624 3221223472 134558389 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 30123 29430 566 18 0 30105 0
[pid=23032] vsize: 120492
Current children cumulated CPU time (s) 749.84
Current children cumulated vsize (Kb) 120492

[startup+760.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 29834 0 0 0 75887 97 0 0 25 0 1 0 1859302039 124887040 29800 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 30490 29800 566 18 0 30472 0
[pid=23032] vsize: 121960
Current children cumulated CPU time (s) 759.84
Current children cumulated vsize (Kb) 121960

[startup+770.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 30225 0 0 0 76885 99 0 0 25 0 1 0 1859302039 126582784 30191 4294967295 134512640 134578447 3221224624 3221223472 134520230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 30904 30191 566 18 0 30886 0
[pid=23032] vsize: 123616
Current children cumulated CPU time (s) 769.84
Current children cumulated vsize (Kb) 123616

[startup+780.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 30370 0 0 0 77884 99 0 0 25 0 1 0 1859302039 127102976 30336 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 31031 30336 566 18 0 31013 0
[pid=23032] vsize: 124124
Current children cumulated CPU time (s) 779.83
Current children cumulated vsize (Kb) 124124

[startup+790.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 30813 0 0 0 78883 100 0 0 25 0 1 0 1859302039 128970752 30779 4294967295 134512640 134578447 3221224624 3221223476 134555907 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 31487 30779 566 18 0 31469 0
[pid=23032] vsize: 125948
Current children cumulated CPU time (s) 789.83
Current children cumulated vsize (Kb) 125948

[startup+800.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 31223 0 0 0 79882 101 0 0 25 0 1 0 1859302039 130576384 31189 4294967295 134512640 134578447 3221224624 3221223488 134517863 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 31879 31189 566 18 0 31861 0
[pid=23032] vsize: 127516
Current children cumulated CPU time (s) 799.83
Current children cumulated vsize (Kb) 127516

[startup+810.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 31514 0 0 0 80882 102 0 0 25 0 1 0 1859302039 131756032 31480 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 32167 31480 566 18 0 32149 0
[pid=23032] vsize: 128668
Current children cumulated CPU time (s) 809.84
Current children cumulated vsize (Kb) 128668

[startup+820.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 31725 0 0 0 81881 102 0 0 25 0 1 0 1859302039 132616192 31691 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 32377 31691 566 18 0 32359 0
[pid=23032] vsize: 129508
Current children cumulated CPU time (s) 819.83
Current children cumulated vsize (Kb) 129508

[startup+830.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 32163 0 0 0 82880 104 0 0 25 0 1 0 1859302039 134496256 32129 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 32836 32129 566 18 0 32818 0
[pid=23032] vsize: 131344
Current children cumulated CPU time (s) 829.84
Current children cumulated vsize (Kb) 131344

[startup+840.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 32526 0 0 0 83878 105 0 0 25 0 1 0 1859302039 135962624 32492 4294967295 134512640 134578447 3221224624 3221223472 134556010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 33194 32492 566 18 0 33176 0
[pid=23032] vsize: 132776
Current children cumulated CPU time (s) 839.83
Current children cumulated vsize (Kb) 132776

[startup+850.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 32970 0 0 0 84877 106 0 0 25 0 1 0 1859302039 137711616 32936 4294967295 134512640 134578447 3221224624 3221223568 134558660 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 33621 32936 566 18 0 33603 0
[pid=23032] vsize: 134484
Current children cumulated CPU time (s) 849.83
Current children cumulated vsize (Kb) 134484

[startup+860.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 33370 0 0 0 85875 109 0 0 25 0 1 0 1859302039 139366400 33336 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 34025 33336 566 18 0 34007 0
[pid=23032] vsize: 136100
Current children cumulated CPU time (s) 859.84
Current children cumulated vsize (Kb) 136100

[startup+870.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 33616 0 0 0 86873 110 0 0 25 0 1 0 1859302039 140455936 33582 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 34291 33582 566 18 0 34273 0
[pid=23032] vsize: 137164
Current children cumulated CPU time (s) 869.83
Current children cumulated vsize (Kb) 137164

[startup+880.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 33840 0 0 0 87872 111 0 0 25 0 1 0 1859302039 141328384 33806 4294967295 134512640 134578447 3221224624 3221223536 134556768 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 34504 33806 566 18 0 34486 0
[pid=23032] vsize: 138016
Current children cumulated CPU time (s) 879.83
Current children cumulated vsize (Kb) 138016

[startup+890.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 34353 0 0 0 88870 114 0 0 25 0 1 0 1859302039 143384576 34319 4294967295 134512640 134578447 3221224624 3221223520 134519828 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 35006 34319 566 18 0 34988 0
[pid=23032] vsize: 140024
Current children cumulated CPU time (s) 889.84
Current children cumulated vsize (Kb) 140024

[startup+900.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 34683 0 0 0 89869 115 0 0 25 0 1 0 1859302039 144814080 34649 4294967295 134512640 134578447 3221224624 3221223476 134555765 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 35355 34649 566 18 0 35337 0
[pid=23032] vsize: 141420
Current children cumulated CPU time (s) 899.84
Current children cumulated vsize (Kb) 141420

[startup+910.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 34908 0 0 0 90868 116 0 0 25 0 1 0 1859302039 145702912 34874 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 35572 34874 566 18 0 35554 0
[pid=23032] vsize: 142288
Current children cumulated CPU time (s) 909.84
Current children cumulated vsize (Kb) 142288

[startup+920.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 35249 0 0 0 91867 117 0 0 25 0 1 0 1859302039 147075072 35215 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 35907 35215 566 18 0 35889 0
[pid=23032] vsize: 143628
Current children cumulated CPU time (s) 919.84
Current children cumulated vsize (Kb) 143628

[startup+930.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 35666 0 0 0 92865 118 0 0 25 0 1 0 1859302039 148803584 35632 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 36329 35632 566 18 0 36311 0
[pid=23032] vsize: 145316
Current children cumulated CPU time (s) 929.83
Current children cumulated vsize (Kb) 145316

[startup+940.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 35747 0 0 0 93865 118 0 0 25 0 1 0 1859302039 149168128 35713 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 36418 35713 566 18 0 36400 0
[pid=23032] vsize: 145672
Current children cumulated CPU time (s) 939.83
Current children cumulated vsize (Kb) 145672

[startup+950.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 36140 0 0 0 94864 120 0 0 25 0 1 0 1859302039 150802432 36106 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 36817 36106 566 18 0 36799 0
[pid=23032] vsize: 147268
Current children cumulated CPU time (s) 949.84
Current children cumulated vsize (Kb) 147268

[startup+960.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 36381 0 0 0 95863 121 0 0 25 0 1 0 1859302039 151748608 36347 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 37048 36347 566 18 0 37030 0
[pid=23032] vsize: 148192
Current children cumulated CPU time (s) 959.84
Current children cumulated vsize (Kb) 148192

[startup+970.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 36755 0 0 0 96862 122 0 0 25 0 1 0 1859302039 153214976 36721 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 37406 36721 566 18 0 37388 0
[pid=23032] vsize: 149624
Current children cumulated CPU time (s) 969.84
Current children cumulated vsize (Kb) 149624

[startup+980.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 37168 0 0 0 97860 123 0 0 25 0 1 0 1859302039 155009024 37134 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 37844 37134 566 18 0 37826 0
[pid=23032] vsize: 151376
Current children cumulated CPU time (s) 979.83
Current children cumulated vsize (Kb) 151376

[startup+990.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 37409 0 0 0 98859 124 0 0 25 0 1 0 1859302039 156012544 37375 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 38089 37375 566 18 0 38071 0
[pid=23032] vsize: 152356
Current children cumulated CPU time (s) 989.83
Current children cumulated vsize (Kb) 152356

[startup+1000.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 37665 0 0 0 99859 124 0 0 25 0 1 0 1859302039 156966912 37631 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 38322 37631 566 18 0 38304 0
[pid=23032] vsize: 153288
Current children cumulated CPU time (s) 999.83
Current children cumulated vsize (Kb) 153288

[startup+1010.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 37965 0 0 0 100857 126 0 0 25 0 1 0 1859302039 158216192 37931 4294967295 134512640 134578447 3221224624 3221223536 134556912 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 38627 37931 566 18 0 38609 0
[pid=23032] vsize: 154508
Current children cumulated CPU time (s) 1009.83
Current children cumulated vsize (Kb) 154508

[startup+1020.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 38455 0 0 0 101855 127 0 0 25 0 1 0 1859302039 160292864 38421 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 39134 38421 566 18 0 39116 0
[pid=23032] vsize: 156536
Current children cumulated CPU time (s) 1019.82
Current children cumulated vsize (Kb) 156536

[startup+1030.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 38455 0 0 0 102855 127 0 0 25 0 1 0 1859302039 160292864 38421 4294967295 134512640 134578447 3221224624 3221223296 134523410 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 39134 38421 566 18 0 39116 0
[pid=23032] vsize: 156536
Current children cumulated CPU time (s) 1029.82
Current children cumulated vsize (Kb) 156536

[startup+1040.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 38480 0 0 0 103856 127 0 0 25 0 1 0 1859302039 160292864 38446 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 39134 38446 566 18 0 39116 0
[pid=23032] vsize: 156536
Current children cumulated CPU time (s) 1039.83
Current children cumulated vsize (Kb) 156536

[startup+1050.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 38928 0 0 0 104854 129 0 0 25 0 1 0 1859302039 162172928 38894 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 39593 38894 566 18 0 39575 0
[pid=23032] vsize: 158372
Current children cumulated CPU time (s) 1049.83
Current children cumulated vsize (Kb) 158372

[startup+1060.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39136 0 0 0 105853 130 0 0 25 0 1 0 1859302039 163000320 39102 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 39795 39102 566 18 0 39777 0
[pid=23032] vsize: 159180
Current children cumulated CPU time (s) 1059.83
Current children cumulated vsize (Kb) 159180

[startup+1070.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39136 0 0 0 106853 130 0 0 25 0 1 0 1859302039 163000320 39102 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 39795 39102 566 18 0 39777 0
[pid=23032] vsize: 159180
Current children cumulated CPU time (s) 1069.83
Current children cumulated vsize (Kb) 159180

[startup+1080.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 107853 130 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0
[pid=23032] vsize: 159920
Current children cumulated CPU time (s) 1079.83
Current children cumulated vsize (Kb) 159920

[startup+1090.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 108853 130 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223476 134555811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0
[pid=23032] vsize: 159920
Current children cumulated CPU time (s) 1089.83
Current children cumulated vsize (Kb) 159920

[startup+1100.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 109853 130 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0
[pid=23032] vsize: 159920
Current children cumulated CPU time (s) 1099.83
Current children cumulated vsize (Kb) 159920

[startup+1110.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 110853 130 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223476 134555881 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0
[pid=23032] vsize: 159920
Current children cumulated CPU time (s) 1109.83
Current children cumulated vsize (Kb) 159920

[startup+1120.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 111853 130 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0
[pid=23032] vsize: 159920
Current children cumulated CPU time (s) 1119.83
Current children cumulated vsize (Kb) 159920

[startup+1130.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 112854 130 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0
[pid=23032] vsize: 159920
Current children cumulated CPU time (s) 1129.84
Current children cumulated vsize (Kb) 159920

[startup+1140.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 113853 131 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223476 134555811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0
[pid=23032] vsize: 159920
Current children cumulated CPU time (s) 1139.84
Current children cumulated vsize (Kb) 159920

[startup+1150.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 114854 131 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0
[pid=23032] vsize: 159920
Current children cumulated CPU time (s) 1149.85
Current children cumulated vsize (Kb) 159920

[startup+1160.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 115854 131 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223632 134563233 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0
[pid=23032] vsize: 159920
Current children cumulated CPU time (s) 1159.85
Current children cumulated vsize (Kb) 159920

[startup+1170.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 116854 131 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0
[pid=23032] vsize: 159920
Current children cumulated CPU time (s) 1169.85
Current children cumulated vsize (Kb) 159920

[startup+1180.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 117854 131 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0
[pid=23032] vsize: 159920
Current children cumulated CPU time (s) 1179.85
Current children cumulated vsize (Kb) 159920

[startup+1190.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 118854 131 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0
[pid=23032] vsize: 159920
Current children cumulated CPU time (s) 1189.85
Current children cumulated vsize (Kb) 159920

[startup+1200.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 119854 131 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0
[pid=23032] vsize: 159920
Current children cumulated CPU time (s) 1199.85
Current children cumulated vsize (Kb) 159920

[startup+1210.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 120854 131 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0
[pid=23032] vsize: 159920
Current children cumulated CPU time (s) 1209.85
Current children cumulated vsize (Kb) 159920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 23032
Raw data (/proc/23032/stat): 23032 (Pueblo) R 23031 23032 21452 0 -1 0 39315 0 0 0 120854 131 0 0 25 0 1 0 1859302039 163758080 39281 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23032/statm): 39980 39281 566 18 0 39962 0
[pid=23032] vsize: 159920
Current children cumulated CPU time (s) 1209.85
Current children cumulated vsize (Kb) 159920

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1210.11
CPU time (s): 1209.93
CPU user time (s): 1208.55
CPU system time (s): 1.38879
CPU usage (%): 99.9852
Max. virtual memory (cumulated for all children) (Kb): 159920

Verifier Data

ERROR: no interpretation found !