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.8.accl.ucl.opb
MD5SUM0e5bfa52e1e730089f4eefb216f69dfd
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 73
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 262
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 variables21380
Total number of constraints60984
Number of constraints which are clauses58828
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2156
Minimum length of a constraint1
Maximum length of a constraint13

Trace number 7862

Launcher Data

LAUNCH ON wulflinc18 THE 2005-09-20 14:35:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5011 boxname=wulflinc18 idbench=323 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  0e5bfa52e1e730089f4eefb216f69dfd  /oldhome/oroussel/tmp/wulflinc18/normalized-ooo.burch_dill.8.accl.ucl.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5011
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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:        865988 kB
Buffers:         30420 kB
Cached:         109380 kB
SwapCached:        756 kB
Active:          58076 kB
Inactive:        84272 kB
HighTotal:      131008 kB
HighFree:        25228 kB
LowTotal:       903652 kB
LowFree:        840760 kB
SwapTotal:     2097892 kB
SwapFree:      2096536 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            20716 kB
Committed_AS:    64188 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 14:55:55 (client local time) WITH STATUS 0 IN 1210.01 SECONDS
stats: 5011 7 1210.01 0

Solver Data

c Pueblo version 1.3 (July 2005)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859268380 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1478/statm): 41 3 40 18 0 23 0
[pid=1478] 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.0043 s]
Raw data (loadavg): 0.85 0.95 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 3347 0 0 0 983 12 0 0 25 0 1 0 1859268380 16080896 3313 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1478/statm): 3926 3313 566 18 0 3908 0
[pid=1478] vsize: 15704
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 15704

[startup+20.0052 s]
Raw data (loadavg): 0.87 0.96 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 3914 0 0 0 1981 14 0 0 25 0 1 0 1859268380 18505728 3880 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1478/statm): 4518 3880 566 18 0 4500 0
[pid=1478] vsize: 18072
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 18072

[startup+30.0052 s]
Raw data (loadavg): 0.89 0.96 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 4349 0 0 0 2979 16 0 0 25 0 1 0 1859268380 20189184 4315 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1478/statm): 4929 4315 566 18 0 4911 0
[pid=1478] vsize: 19716
Current children cumulated CPU time (s) 29.95
Current children cumulated vsize (Kb) 19716

[startup+40.0061 s]
Raw data (loadavg): 0.91 0.96 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 4349 0 0 0 3979 17 0 0 25 0 1 0 1859268380 20189184 4315 4294967295 134512640 134578447 3221224624 3221223472 134558290 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1478/statm): 4929 4315 566 18 0 4911 0
[pid=1478] vsize: 19716
Current children cumulated CPU time (s) 39.96
Current children cumulated vsize (Kb) 19716

[startup+50.007 s]
Raw data (loadavg): 0.92 0.96 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 4349 0 0 0 4978 17 0 0 25 0 1 0 1859268380 20189184 4315 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1478/statm): 4929 4315 566 18 0 4911 0
[pid=1478] vsize: 19716
Current children cumulated CPU time (s) 49.95
Current children cumulated vsize (Kb) 19716

[startup+60.008 s]
Raw data (loadavg): 0.93 0.96 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 4349 0 0 0 5978 17 0 0 25 0 1 0 1859268380 20189184 4315 4294967295 134512640 134578447 3221224624 3221223520 134519885 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1478/statm): 4929 4315 566 18 0 4911 0
[pid=1478] vsize: 19716
Current children cumulated CPU time (s) 59.95
Current children cumulated vsize (Kb) 19716

[startup+70.0089 s]
Raw data (loadavg): 0.94 0.96 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 4550 0 0 0 6977 18 0 0 25 0 1 0 1859268380 21123072 4516 4294967295 134512640 134578447 3221224624 3221223476 134555737 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1478/statm): 5157 4516 566 18 0 5139 0
[pid=1478] vsize: 20628
Current children cumulated CPU time (s) 69.95
Current children cumulated vsize (Kb) 20628

[startup+80.0098 s]
Raw data (loadavg): 0.95 0.96 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 4981 0 0 0 7976 20 0 0 25 0 1 0 1859268380 22872064 4947 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1478/statm): 5584 4947 566 18 0 5566 0
[pid=1478] vsize: 22336
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 22336

[startup+90.0107 s]
Raw data (loadavg): 0.96 0.96 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 5560 0 0 0 8973 22 0 0 25 0 1 0 1859268380 25219072 5526 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1478/statm): 6157 5526 566 18 0 6139 0
[pid=1478] vsize: 24628
Current children cumulated CPU time (s) 89.95
Current children cumulated vsize (Kb) 24628

[startup+100.012 s]
Raw data (loadavg): 0.96 0.96 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 6106 0 0 0 9971 25 0 0 25 0 1 0 1859268380 27410432 6072 4294967295 134512640 134578447 3221224624 3221223476 134555746 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1478/statm): 6692 6072 566 18 0 6674 0
[pid=1478] vsize: 26768
Current children cumulated CPU time (s) 99.96
Current children cumulated vsize (Kb) 26768

[startup+110.014 s]
Raw data (loadavg): 0.97 0.96 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 6685 0 0 0 10968 27 0 0 25 0 1 0 1859268380 29880320 6651 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1478/statm): 7295 6651 566 18 0 7277 0
[pid=1478] vsize: 29180
Current children cumulated CPU time (s) 109.95
Current children cumulated vsize (Kb) 29180

[startup+120.014 s]
Raw data (loadavg): 0.97 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 7128 0 0 0 11965 29 0 0 25 0 1 0 1859268380 31645696 7094 4294967295 134512640 134578447 3221224624 3221223476 134555819 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1478/statm): 7726 7094 566 18 0 7708 0
[pid=1478] vsize: 30904
Current children cumulated CPU time (s) 119.94
Current children cumulated vsize (Kb) 30904

[startup+130.014 s]
Raw data (loadavg): 0.98 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 7677 0 0 0 12963 32 0 0 25 0 1 0 1859268380 33935360 7643 4294967295 134512640 134578447 3221224624 3221223476 134555854 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1478/statm): 8285 7643 566 18 0 8267 0
[pid=1478] vsize: 33140
Current children cumulated CPU time (s) 129.95
Current children cumulated vsize (Kb) 33140

[startup+140.015 s]
Raw data (loadavg): 0.98 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 8196 0 0 0 13961 33 0 0 25 0 1 0 1859268380 36122624 8162 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1478/statm): 8819 8162 566 18 0 8801 0
[pid=1478] vsize: 35276
Current children cumulated CPU time (s) 139.94
Current children cumulated vsize (Kb) 35276

[startup+150.015 s]
Raw data (loadavg): 0.98 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 8511 0 0 0 14960 34 0 0 25 0 1 0 1859268380 37277696 8477 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1478/statm): 9101 8477 566 18 0 9083 0
[pid=1478] vsize: 36404
Current children cumulated CPU time (s) 149.94
Current children cumulated vsize (Kb) 36404

[startup+160.017 s]
Raw data (loadavg): 0.98 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 8991 0 0 0 15957 36 0 0 25 0 1 0 1859268380 39305216 8957 4294967295 134512640 134578447 3221224624 3221223476 134555786 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1478/statm): 9596 8957 566 18 0 9578 0
[pid=1478] vsize: 38384
Current children cumulated CPU time (s) 159.93
Current children cumulated vsize (Kb) 38384

[startup+170.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 9201 0 0 0 16957 37 0 0 25 0 1 0 1859268380 40103936 9167 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1478/statm): 9791 9167 566 18 0 9773 0
[pid=1478] vsize: 39164
Current children cumulated CPU time (s) 169.94
Current children cumulated vsize (Kb) 39164

[startup+180.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 9350 0 0 0 17956 37 0 0 25 0 1 0 1859268380 40902656 9316 4294967295 134512640 134578447 3221224624 3221223568 134558660 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 9986 9316 566 18 0 9968 0
[pid=1478] vsize: 39944
Current children cumulated CPU time (s) 179.93
Current children cumulated vsize (Kb) 39944

[startup+190.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 9589 0 0 0 18955 38 0 0 25 0 1 0 1859268380 41848832 9555 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 10217 9555 566 18 0 10199 0
[pid=1478] vsize: 40868
Current children cumulated CPU time (s) 189.93
Current children cumulated vsize (Kb) 40868

[startup+200.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 10182 0 0 0 19953 39 0 0 25 0 1 0 1859268380 44326912 10148 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 10822 10148 566 18 0 10804 0
[pid=1478] vsize: 43288
Current children cumulated CPU time (s) 199.92
Current children cumulated vsize (Kb) 43288

[startup+210.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 10716 0 0 0 20951 41 0 0 25 0 1 0 1859268380 46407680 10682 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 11330 10682 566 18 0 11312 0
[pid=1478] vsize: 45320
Current children cumulated CPU time (s) 209.92
Current children cumulated vsize (Kb) 45320

[startup+220.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 11257 0 0 0 21949 43 0 0 25 0 1 0 1859268380 48631808 11223 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 11873 11223 566 18 0 11855 0
[pid=1478] vsize: 47492
Current children cumulated CPU time (s) 219.92
Current children cumulated vsize (Kb) 47492

[startup+230.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 11678 0 0 0 22948 45 0 0 25 0 1 0 1859268380 50442240 11644 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 12315 11644 566 18 0 12297 0
[pid=1478] vsize: 49260
Current children cumulated CPU time (s) 229.93
Current children cumulated vsize (Kb) 49260

[startup+240.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 12092 0 0 0 23947 46 0 0 25 0 1 0 1859268380 52133888 12058 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 12728 12058 566 18 0 12710 0
[pid=1478] vsize: 50912
Current children cumulated CPU time (s) 239.93
Current children cumulated vsize (Kb) 50912

[startup+250.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 12635 0 0 0 24944 48 0 0 25 0 1 0 1859268380 54255616 12601 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 13246 12601 566 18 0 13228 0
[pid=1478] vsize: 52984
Current children cumulated CPU time (s) 249.92
Current children cumulated vsize (Kb) 52984

[startup+260.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 13186 0 0 0 25943 49 0 0 25 0 1 0 1859268380 56569856 13152 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 13811 13152 566 18 0 13793 0
[pid=1478] vsize: 55244
Current children cumulated CPU time (s) 259.92
Current children cumulated vsize (Kb) 55244

[startup+270.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 13687 0 0 0 26940 51 0 0 25 0 1 0 1859268380 58675200 13653 4294967295 134512640 134578447 3221224624 3221223476 134555907 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 14325 13653 566 18 0 14307 0
[pid=1478] vsize: 57300
Current children cumulated CPU time (s) 269.91
Current children cumulated vsize (Kb) 57300

[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 14201 0 0 0 27938 52 0 0 25 0 1 0 1859268380 60719104 14167 4294967295 134512640 134578447 3221224624 3221223488 134517457 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 14824 14167 566 18 0 14806 0
[pid=1478] vsize: 59296
Current children cumulated CPU time (s) 279.9
Current children cumulated vsize (Kb) 59296

[startup+290.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 14653 0 0 0 28936 54 0 0 25 0 1 0 1859268380 62496768 14619 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 15258 14619 566 18 0 15240 0
[pid=1478] vsize: 61032
Current children cumulated CPU time (s) 289.9
Current children cumulated vsize (Kb) 61032

[startup+300.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 15225 0 0 0 29935 55 0 0 25 0 1 0 1859268380 64839680 15191 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 15830 15191 566 18 0 15812 0
[pid=1478] vsize: 63320
Current children cumulated CPU time (s) 299.9
Current children cumulated vsize (Kb) 63320

[startup+310.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 15775 0 0 0 30933 57 0 0 25 0 1 0 1859268380 67166208 15741 4294967295 134512640 134578447 3221224624 3221223472 134558343 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 16398 15741 566 18 0 16380 0
[pid=1478] vsize: 65592
Current children cumulated CPU time (s) 309.9
Current children cumulated vsize (Kb) 65592

[startup+320.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 16323 0 0 0 31931 59 0 0 25 0 1 0 1859268380 69427200 16289 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 16950 16290 566 18 0 16932 0
[pid=1478] vsize: 67800
Current children cumulated CPU time (s) 319.9
Current children cumulated vsize (Kb) 67800

[startup+330.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 16895 0 0 0 32929 60 0 0 25 0 1 0 1859268380 71774208 16861 4294967295 134512640 134578447 3221224624 3221223476 134555711 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 17523 16861 566 18 0 17505 0
[pid=1478] vsize: 70092
Current children cumulated CPU time (s) 329.89
Current children cumulated vsize (Kb) 70092

[startup+340.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 17330 0 0 0 33928 61 0 0 25 0 1 0 1859268380 73457664 17296 4294967295 134512640 134578447 3221224624 3221223600 134519639 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 17934 17296 566 18 0 17916 0
[pid=1478] vsize: 71736
Current children cumulated CPU time (s) 339.89
Current children cumulated vsize (Kb) 71736

[startup+350.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 17451 0 0 0 34928 61 0 0 25 0 1 0 1859268380 73986048 17417 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 18063 17417 566 18 0 18045 0
[pid=1478] vsize: 72252
Current children cumulated CPU time (s) 349.89
Current children cumulated vsize (Kb) 72252

[startup+360.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 17539 0 0 0 35927 62 0 0 25 0 1 0 1859268380 74387456 17505 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 18161 17505 566 18 0 18143 0
[pid=1478] vsize: 72644
Current children cumulated CPU time (s) 359.89
Current children cumulated vsize (Kb) 72644

[startup+370.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 18066 0 0 0 36925 64 0 0 25 0 1 0 1859268380 76734464 18032 4294967295 134512640 134578447 3221224624 3221223296 134522255 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 18734 18032 566 18 0 18716 0
[pid=1478] vsize: 74936
Current children cumulated CPU time (s) 369.89
Current children cumulated vsize (Kb) 74936

[startup+380.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 18454 0 0 0 37924 65 0 0 25 0 1 0 1859268380 78401536 18420 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 19141 18420 566 18 0 19123 0
[pid=1478] vsize: 76564
Current children cumulated CPU time (s) 379.89
Current children cumulated vsize (Kb) 76564

[startup+390.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 18862 0 0 0 38922 67 0 0 25 0 1 0 1859268380 80031744 18828 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 19539 18828 566 18 0 19521 0
[pid=1478] vsize: 78156
Current children cumulated CPU time (s) 389.89
Current children cumulated vsize (Kb) 78156

[startup+400.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 19333 0 0 0 39920 68 0 0 25 0 1 0 1859268380 81969152 19299 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 20012 19299 566 18 0 19994 0
[pid=1478] vsize: 80048
Current children cumulated CPU time (s) 399.88
Current children cumulated vsize (Kb) 80048

[startup+410.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 19749 0 0 0 40919 69 0 0 25 0 1 0 1859268380 83623936 19715 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 20416 19715 566 18 0 20398 0
[pid=1478] vsize: 81664
Current children cumulated CPU time (s) 409.88
Current children cumulated vsize (Kb) 81664

[startup+420.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 19933 0 0 0 41919 70 0 0 25 0 1 0 1859268380 84361216 19899 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 20596 19899 566 18 0 20578 0
[pid=1478] vsize: 82384
Current children cumulated CPU time (s) 419.89
Current children cumulated vsize (Kb) 82384

[startup+430.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 20358 0 0 0 42916 72 0 0 25 0 1 0 1859268380 86122496 20324 4294967295 134512640 134578447 3221224624 3221223476 134555838 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 21026 20324 566 18 0 21008 0
[pid=1478] vsize: 84104
Current children cumulated CPU time (s) 429.88
Current children cumulated vsize (Kb) 84104

[startup+440.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 20733 0 0 0 43915 73 0 0 25 0 1 0 1859268380 87707648 20699 4294967295 134512640 134578447 3221224624 3221223184 134525235 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 21413 20699 566 18 0 21395 0
[pid=1478] vsize: 85652
Current children cumulated CPU time (s) 439.88
Current children cumulated vsize (Kb) 85652

[startup+450.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 20888 0 0 0 44915 73 0 0 25 0 1 0 1859268380 88309760 20854 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 21560 20854 566 18 0 21542 0
[pid=1478] vsize: 86240
Current children cumulated CPU time (s) 449.88
Current children cumulated vsize (Kb) 86240

[startup+460.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 21305 0 0 0 45913 75 0 0 25 0 1 0 1859268380 90066944 21271 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 21989 21271 566 18 0 21971 0
[pid=1478] vsize: 87956
Current children cumulated CPU time (s) 459.88
Current children cumulated vsize (Kb) 87956

[startup+470.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 21554 0 0 0 46912 76 0 0 25 0 1 0 1859268380 91103232 21520 4294967295 134512640 134578447 3221224624 3221223456 134527020 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 22242 21520 566 18 0 22224 0
[pid=1478] vsize: 88968
Current children cumulated CPU time (s) 469.88
Current children cumulated vsize (Kb) 88968

[startup+480.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 21873 0 0 0 47911 76 0 0 25 0 1 0 1859268380 92282880 21839 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 22530 21839 566 18 0 22512 0
[pid=1478] vsize: 90120
Current children cumulated CPU time (s) 479.87
Current children cumulated vsize (Kb) 90120

[startup+490.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 22238 0 0 0 48910 78 0 0 25 0 1 0 1859268380 93822976 22204 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 22906 22204 566 18 0 22888 0
[pid=1478] vsize: 91624
Current children cumulated CPU time (s) 489.88
Current children cumulated vsize (Kb) 91624

[startup+500.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 22637 0 0 0 49908 79 0 0 25 0 1 0 1859268380 95522816 22603 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 23321 22603 566 18 0 23303 0
[pid=1478] vsize: 93284
Current children cumulated CPU time (s) 499.87
Current children cumulated vsize (Kb) 93284

[startup+510.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 22970 0 0 0 50907 80 0 0 25 0 1 0 1859268380 96866304 22936 4294967295 134512640 134578447 3221224624 3221223520 134519731 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 23649 22936 566 18 0 23631 0
[pid=1478] vsize: 94596
Current children cumulated CPU time (s) 509.87
Current children cumulated vsize (Kb) 94596

[startup+520.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 23295 0 0 0 51906 81 0 0 25 0 1 0 1859268380 98111488 23261 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 23953 23261 566 18 0 23935 0
[pid=1478] vsize: 95812
Current children cumulated CPU time (s) 519.87
Current children cumulated vsize (Kb) 95812

[startup+530.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 23732 0 0 0 52904 82 0 0 25 0 1 0 1859268380 99983360 23698 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 24410 23698 566 18 0 24392 0
[pid=1478] vsize: 97640
Current children cumulated CPU time (s) 529.86
Current children cumulated vsize (Kb) 97640

[startup+540.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 24067 0 0 0 53903 83 0 0 25 0 1 0 1859268380 101322752 24033 4294967295 134512640 134578447 3221224624 3221223476 134555913 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 24737 24033 566 18 0 24719 0
[pid=1478] vsize: 98948
Current children cumulated CPU time (s) 539.86
Current children cumulated vsize (Kb) 98948

[startup+550.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 24441 0 0 0 54902 84 0 0 25 0 1 0 1859268380 102850560 24407 4294967295 134512640 134578447 3221224624 3221223476 134555832 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 25110 24407 566 18 0 25092 0
[pid=1478] vsize: 100440
Current children cumulated CPU time (s) 549.86
Current children cumulated vsize (Kb) 100440

[startup+560.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 24740 0 0 0 55901 85 0 0 25 0 1 0 1859268380 104034304 24706 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 25399 24706 566 18 0 25381 0
[pid=1478] vsize: 101596
Current children cumulated CPU time (s) 559.86
Current children cumulated vsize (Kb) 101596

[startup+570.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 25029 0 0 0 56900 86 0 0 25 0 1 0 1859268380 105299968 24995 4294967295 134512640 134578447 3221224624 3221223476 134555702 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 25708 24995 566 18 0 25690 0
[pid=1478] vsize: 102832
Current children cumulated CPU time (s) 569.86
Current children cumulated vsize (Kb) 102832

[startup+580.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 25374 0 0 0 57899 87 0 0 25 0 1 0 1859268380 106684416 25340 4294967295 134512640 134578447 3221224624 3221223476 134555881 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 26046 25340 566 18 0 26028 0
[pid=1478] vsize: 104184
Current children cumulated CPU time (s) 579.86
Current children cumulated vsize (Kb) 104184

[startup+590.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 25637 0 0 0 58898 88 0 0 25 0 1 0 1859268380 107741184 25603 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 26304 25603 566 18 0 26286 0
[pid=1478] vsize: 105216
Current children cumulated CPU time (s) 589.86
Current children cumulated vsize (Kb) 105216

[startup+600.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 25933 0 0 0 59896 89 0 0 25 0 1 0 1859268380 108912640 25899 4294967295 134512640 134578447 3221224624 3221223476 134555765 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 26590 25899 566 18 0 26572 0
[pid=1478] vsize: 106360
Current children cumulated CPU time (s) 599.85
Current children cumulated vsize (Kb) 106360

[startup+610.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 26316 0 0 0 60895 90 0 0 25 0 1 0 1859268380 110559232 26282 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 26992 26282 566 18 0 26974 0
[pid=1478] vsize: 107968
Current children cumulated CPU time (s) 609.85
Current children cumulated vsize (Kb) 107968

[startup+620.043 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 26723 0 0 0 61893 92 0 0 25 0 1 0 1859268380 112316416 26689 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27421 26689 566 18 0 27403 0
[pid=1478] vsize: 109684
Current children cumulated CPU time (s) 619.85
Current children cumulated vsize (Kb) 109684

[startup+630.043 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 62892 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223456 134528679 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 629.85
Current children cumulated vsize (Kb) 110864

[startup+640.043 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 63892 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 639.85
Current children cumulated vsize (Kb) 110864

[startup+650.044 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 64892 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223520 134519941 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 649.85
Current children cumulated vsize (Kb) 110864

[startup+660.045 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 65892 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 659.85
Current children cumulated vsize (Kb) 110864

[startup+670.046 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 66892 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223520 134520043 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 669.85
Current children cumulated vsize (Kb) 110864

[startup+680.046 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 67893 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 679.86
Current children cumulated vsize (Kb) 110864

[startup+690.047 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 68893 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223488 134517819 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 689.86
Current children cumulated vsize (Kb) 110864

[startup+700.047 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 69893 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 699.86
Current children cumulated vsize (Kb) 110864

[startup+710.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 70893 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 709.86
Current children cumulated vsize (Kb) 110864

[startup+720.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 71893 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223476 134555765 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 719.86
Current children cumulated vsize (Kb) 110864

[startup+730.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 72893 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 729.86
Current children cumulated vsize (Kb) 110864

[startup+740.049 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 73893 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 739.86
Current children cumulated vsize (Kb) 110864

[startup+750.049 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 74894 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 749.87
Current children cumulated vsize (Kb) 110864

[startup+760.049 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 75894 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 759.87
Current children cumulated vsize (Kb) 110864

[startup+770.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27020 0 0 0 76894 93 0 0 25 0 1 0 1859268380 113524736 26986 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26986 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 769.87
Current children cumulated vsize (Kb) 110864

[startup+780.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27021 0 0 0 77894 93 0 0 25 0 1 0 1859268380 113524736 26987 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26987 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 779.87
Current children cumulated vsize (Kb) 110864

[startup+790.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27021 0 0 0 78894 93 0 0 25 0 1 0 1859268380 113524736 26987 4294967295 134512640 134578447 3221224624 3221223184 134525241 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26987 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 789.87
Current children cumulated vsize (Kb) 110864

[startup+800.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27021 0 0 0 79894 93 0 0 25 0 1 0 1859268380 113524736 26987 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26987 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 799.87
Current children cumulated vsize (Kb) 110864

[startup+810.051 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27021 0 0 0 80895 93 0 0 25 0 1 0 1859268380 113524736 26987 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26987 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 809.88
Current children cumulated vsize (Kb) 110864

[startup+820.052 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27021 0 0 0 81895 94 0 0 25 0 1 0 1859268380 113524736 26987 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26987 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 819.89
Current children cumulated vsize (Kb) 110864

[startup+830.052 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27021 0 0 0 82895 94 0 0 25 0 1 0 1859268380 113524736 26987 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26987 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 829.89
Current children cumulated vsize (Kb) 110864

[startup+840.052 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27022 0 0 0 83895 94 0 0 25 0 1 0 1859268380 113524736 26988 4294967295 134512640 134578447 3221224624 3221223504 134518831 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26988 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 839.89
Current children cumulated vsize (Kb) 110864

[startup+850.052 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27027 0 0 0 84895 94 0 0 25 0 1 0 1859268380 113524736 26993 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26993 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 849.89
Current children cumulated vsize (Kb) 110864

[startup+860.053 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27028 0 0 0 85895 94 0 0 25 0 1 0 1859268380 113524736 26994 4294967295 134512640 134578447 3221224624 3221223520 134519887 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26994 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 859.89
Current children cumulated vsize (Kb) 110864

[startup+870.053 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27028 0 0 0 86895 94 0 0 25 0 1 0 1859268380 113524736 26994 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26994 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 869.89
Current children cumulated vsize (Kb) 110864

[startup+880.054 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27029 0 0 0 87896 94 0 0 25 0 1 0 1859268380 113524736 26995 4294967295 134512640 134578447 3221224624 3221223520 134520040 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26995 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 879.9
Current children cumulated vsize (Kb) 110864

[startup+890.054 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27029 0 0 0 88896 94 0 0 25 0 1 0 1859268380 113524736 26995 4294967295 134512640 134578447 3221224624 3221223520 134519978 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26995 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 889.9
Current children cumulated vsize (Kb) 110864

[startup+900.054 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27029 0 0 0 89896 94 0 0 25 0 1 0 1859268380 113524736 26995 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26995 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 899.9
Current children cumulated vsize (Kb) 110864

[startup+910.055 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 90896 94 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 909.9
Current children cumulated vsize (Kb) 110864

[startup+920.056 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 91896 94 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 919.9
Current children cumulated vsize (Kb) 110864

[startup+930.056 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 92896 94 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 929.9
Current children cumulated vsize (Kb) 110864

[startup+940.057 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 93897 94 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223476 134555792 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 939.91
Current children cumulated vsize (Kb) 110864

[startup+950.058 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 94897 94 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 949.91
Current children cumulated vsize (Kb) 110864

[startup+960.059 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 95897 94 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 959.91
Current children cumulated vsize (Kb) 110864

[startup+970.059 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 96897 94 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 969.91
Current children cumulated vsize (Kb) 110864

[startup+980.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 97897 95 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 979.92
Current children cumulated vsize (Kb) 110864

[startup+990.061 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 98897 95 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 989.92
Current children cumulated vsize (Kb) 110864

[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 99898 95 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 999.93
Current children cumulated vsize (Kb) 110864

[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 100898 95 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 1009.93
Current children cumulated vsize (Kb) 110864

[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 101898 95 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 1019.93
Current children cumulated vsize (Kb) 110864

[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 102898 95 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 1029.93
Current children cumulated vsize (Kb) 110864

[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 103898 95 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 1039.93
Current children cumulated vsize (Kb) 110864

[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27030 0 0 0 104898 95 0 0 25 0 1 0 1859268380 113524736 26996 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26996 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 1049.93
Current children cumulated vsize (Kb) 110864

[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27033 0 0 0 105899 95 0 0 25 0 1 0 1859268380 113524736 26999 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26999 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 1059.94
Current children cumulated vsize (Kb) 110864

[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27033 0 0 0 106899 95 0 0 25 0 1 0 1859268380 113524736 26999 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26999 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 1069.94
Current children cumulated vsize (Kb) 110864

[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27033 0 0 0 107899 95 0 0 25 0 1 0 1859268380 113524736 26999 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 26999 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 1079.94
Current children cumulated vsize (Kb) 110864

[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27036 0 0 0 108899 95 0 0 25 0 1 0 1859268380 113524736 27002 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 27002 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 1089.94
Current children cumulated vsize (Kb) 110864

[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27036 0 0 0 109899 95 0 0 25 0 1 0 1859268380 113524736 27002 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 27002 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 1099.94
Current children cumulated vsize (Kb) 110864

[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27036 0 0 0 110900 95 0 0 25 0 1 0 1859268380 113524736 27002 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 27002 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 1109.95
Current children cumulated vsize (Kb) 110864

[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27036 0 0 0 111900 95 0 0 25 0 1 0 1859268380 113524736 27002 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 27002 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 1119.95
Current children cumulated vsize (Kb) 110864

[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27036 0 0 0 112900 95 0 0 25 0 1 0 1859268380 113524736 27002 4294967295 134512640 134578447 3221224624 3221223536 134557422 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 27002 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 1129.95
Current children cumulated vsize (Kb) 110864

[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27036 0 0 0 113900 95 0 0 25 0 1 0 1859268380 113524736 27002 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27716 27002 566 18 0 27698 0
[pid=1478] vsize: 110864
Current children cumulated CPU time (s) 1139.95
Current children cumulated vsize (Kb) 110864

[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27232 0 0 0 114899 96 0 0 25 0 1 0 1859268380 114356224 27198 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 27919 27198 566 18 0 27901 0
[pid=1478] vsize: 111676
Current children cumulated CPU time (s) 1149.95
Current children cumulated vsize (Kb) 111676

[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 27670 0 0 0 115898 97 0 0 25 0 1 0 1859268380 116195328 27636 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 28368 27636 566 18 0 28350 0
[pid=1478] vsize: 113472
Current children cumulated CPU time (s) 1159.95
Current children cumulated vsize (Kb) 113472

[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 28004 0 0 0 116898 98 0 0 25 0 1 0 1859268380 117530624 27970 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 28694 27970 566 18 0 28676 0
[pid=1478] vsize: 114776
Current children cumulated CPU time (s) 1169.96
Current children cumulated vsize (Kb) 114776

[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 28354 0 0 0 117896 99 0 0 25 0 1 0 1859268380 118874112 28320 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 29022 28320 566 18 0 29004 0
[pid=1478] vsize: 116088
Current children cumulated CPU time (s) 1179.95
Current children cumulated vsize (Kb) 116088

[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 28747 0 0 0 118895 100 0 0 25 0 1 0 1859268380 120545280 28713 4294967295 134512640 134578447 3221224624 3221223476 134555765 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 29430 28713 566 18 0 29412 0
[pid=1478] vsize: 117720
Current children cumulated CPU time (s) 1189.95
Current children cumulated vsize (Kb) 117720

[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 29046 0 0 0 119895 100 0 0 25 0 1 0 1859268380 121737216 29012 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 29721 29012 566 18 0 29703 0
[pid=1478] vsize: 118884
Current children cumulated CPU time (s) 1199.95
Current children cumulated vsize (Kb) 118884

[startup+1210.08 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 29504 0 0 0 120893 101 0 0 25 0 1 0 1859268380 123691008 29470 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 30198 29470 566 18 0 30180 0
[pid=1478] vsize: 120792
Current children cumulated CPU time (s) 1209.94
Current children cumulated vsize (Kb) 120792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.08 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 1478
Raw data (/proc/1478/stat): 1478 (Pueblo) R 1477 1478 31027 0 -1 0 29504 0 0 0 120893 101 0 0 25 0 1 0 1859268380 123691008 29470 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1478/statm): 30198 29470 566 18 0 30180 0
[pid=1478] vsize: 120792
Current children cumulated CPU time (s) 1209.94
Current children cumulated vsize (Kb) 120792

Sending SIGTERM to -1478
Sleeping 2 seconds
One traced child (pid=1478) 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.13
CPU time (s): 1210.01
CPU user time (s): 1208.94
CPU system time (s): 1.07184
CPU usage (%): 99.9895
Max. virtual memory (cumulated for all children) (Kb): 120792

Verifier Data

ERROR: no interpretation found !