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.unbounded.all.ucl.opb
MD5SUMe8f0ca38acbe8c57203147fb9147be3a
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 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
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 variables84836
Total number of constraints245062
Number of constraints which are clauses233598
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints11464
Minimum length of a constraint1
Maximum length of a constraint15

Trace number 7866

Launcher Data

LAUNCH ON wulflinc23 THE 2005-09-20 14:36:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5014 boxname=wulflinc23 idbench=326 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  e8f0ca38acbe8c57203147fb9147be3a  /oldhome/oroussel/tmp/wulflinc23/normalized-ooo.unbounded.all.ucl.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5014
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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.037
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:        857624 kB
Buffers:         32184 kB
Cached:         116716 kB
SwapCached:        836 kB
Active:          71560 kB
Inactive:        79948 kB
HighTotal:      131008 kB
HighFree:        13580 kB
LowTotal:       903652 kB
LowFree:        844044 kB
SwapTotal:     2097136 kB
SwapFree:      2095792 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            19796 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 14:57:02 (client local time) WITH STATUS 0 IN 1203.45 SECONDS
stats: 5014 7 1203.45 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/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859319919 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 41 3 40 18 0 23 0
[pid=32655] 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.0045 s]
Raw data (loadavg): 0.94 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 10228 0 0 0 953 33 0 0 25 0 1 0 1859319919 43417600 10194 4294967295 134512640 134578447 3221224624 3221092072 1075245165 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 10600 10194 566 18 0 10582 0
[pid=32655] vsize: 42400
Current children cumulated CPU time (s) 9.86
Current children cumulated vsize (Kb) 42400

[startup+20.0051 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 12555 0 0 0 1946 39 0 0 25 0 1 0 1859319919 56627200 12395 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 13825 12395 566 18 0 13807 0
[pid=32655] vsize: 55300
Current children cumulated CPU time (s) 19.85
Current children cumulated vsize (Kb) 55300

[startup+30.0048 s]
Raw data (loadavg): 0.96 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 12555 0 0 0 2946 39 0 0 25 0 1 0 1859319919 56627200 12395 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 13825 12395 566 18 0 13807 0
[pid=32655] vsize: 55300
Current children cumulated CPU time (s) 29.85
Current children cumulated vsize (Kb) 55300

[startup+40.0054 s]
Raw data (loadavg): 0.96 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 167071 0 0 0 3647 314 0 0 25 0 1 0 1859319919 56967168 12448 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 13908 12448 566 18 0 13890 0
[pid=32655] vsize: 55632
Current children cumulated CPU time (s) 39.61
Current children cumulated vsize (Kb) 55632

[startup+50.006 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 460060 0 0 0 4070 844 0 0 25 0 1 0 1859319919 56967168 12447 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 13908 12455 566 18 0 13890 0
[pid=32655] vsize: 55632
Current children cumulated CPU time (s) 49.14
Current children cumulated vsize (Kb) 55632

[startup+60.0067 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 752076 0 0 0 4496 1369 0 0 25 0 1 0 1859319919 56967168 12469 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 13908 12477 566 18 0 13890 0
[pid=32655] vsize: 55632
Current children cumulated CPU time (s) 58.65
Current children cumulated vsize (Kb) 55632

[startup+70.0073 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 1045407 0 0 0 4922 1893 0 0 25 0 1 0 1859319919 56967168 12478 4294967295 134512640 134578447 3221224624 3221223620 1075285507 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 13908 12478 566 18 0 13890 0
[pid=32655] vsize: 55632
Current children cumulated CPU time (s) 68.15
Current children cumulated vsize (Kb) 55632

[startup+80.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 1336329 0 0 0 5351 2416 0 0 25 0 1 0 1859319919 56967168 12402 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 13908 12402 566 18 0 13890 0
[pid=32655] vsize: 55632
Current children cumulated CPU time (s) 77.67
Current children cumulated vsize (Kb) 55632

[startup+90.0086 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 1627624 0 0 0 5766 2953 0 0 25 0 1 0 1859319919 56967168 12450 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 13908 12450 566 18 0 13890 0
[pid=32655] vsize: 55632
Current children cumulated CPU time (s) 87.19
Current children cumulated vsize (Kb) 55632

[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.91 1/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) T 32654 32655 5299 0 -1 0 1919978 0 0 0 6187 3486 0 0 25 0 1 0 1859319919 56967168 12478 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/32655/statm): 13908 12478 566 18 0 13890 0
[pid=32655] vsize: 55632
Current children cumulated CPU time (s) 96.73
Current children cumulated vsize (Kb) 55632

[startup+110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) T 32654 32655 5299 0 -1 0 2211308 0 0 0 6612 4015 0 0 25 0 1 0 1859319919 56627200 12395 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/32655/statm): 13825 12395 566 18 0 13807 0
[pid=32655] vsize: 55300
Current children cumulated CPU time (s) 106.27
Current children cumulated vsize (Kb) 55300

[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 2503427 0 0 0 7045 4536 0 0 25 0 1 0 1859319919 56967168 12437 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 13908 12437 566 18 0 13890 0
[pid=32655] vsize: 55632
Current children cumulated CPU time (s) 115.81
Current children cumulated vsize (Kb) 55632

[startup+130.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 2794943 0 0 0 7469 5065 0 0 25 0 1 0 1859319919 56967168 12457 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 13908 12457 566 18 0 13890 0
[pid=32655] vsize: 55632
Current children cumulated CPU time (s) 125.34
Current children cumulated vsize (Kb) 55632

[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 3082583 0 0 0 7895 5592 0 0 25 0 1 0 1859319919 56967168 12419 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 13908 12419 566 18 0 13890 0
[pid=32655] vsize: 55632
Current children cumulated CPU time (s) 134.87
Current children cumulated vsize (Kb) 55632

[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 3371788 0 0 0 8327 6115 0 0 19 0 1 0 1859319919 56967168 12452 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 13908 12452 566 18 0 13890 0
[pid=32655] vsize: 55632
Current children cumulated CPU time (s) 144.42
Current children cumulated vsize (Kb) 55632

[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 3662563 0 0 0 8757 6637 0 0 25 0 1 0 1859319919 56627200 12395 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 13825 12395 566 18 0 13807 0
[pid=32655] vsize: 55300
Current children cumulated CPU time (s) 153.94
Current children cumulated vsize (Kb) 55300

[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 3953541 0 0 0 9175 7172 0 0 25 0 1 0 1859319919 56967168 12458 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 13908 12458 566 18 0 13890 0
[pid=32655] vsize: 55632
Current children cumulated CPU time (s) 163.47
Current children cumulated vsize (Kb) 55632

[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4092239 0 0 0 9899 7425 0 0 25 0 1 0 1859319919 57151488 12463 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 13953 12463 566 18 0 13935 0
[pid=32655] vsize: 55812
Current children cumulated CPU time (s) 173.24
Current children cumulated vsize (Kb) 55812

[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4092246 0 0 0 10898 7426 0 0 25 0 1 0 1859319919 57151488 12470 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 13953 12470 566 18 0 13935 0
[pid=32655] vsize: 55812
Current children cumulated CPU time (s) 183.24
Current children cumulated vsize (Kb) 55812

[startup+200.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4092252 0 0 0 11898 7426 0 0 25 0 1 0 1859319919 57151488 12476 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 13953 12476 566 18 0 13935 0
[pid=32655] vsize: 55812
Current children cumulated CPU time (s) 193.24
Current children cumulated vsize (Kb) 55812

[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4092259 0 0 0 12898 7427 0 0 25 0 1 0 1859319919 57151488 12483 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 13953 12483 566 18 0 13935 0
[pid=32655] vsize: 55812
Current children cumulated CPU time (s) 203.25
Current children cumulated vsize (Kb) 55812

[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4092265 0 0 0 13897 7427 0 0 25 0 1 0 1859319919 57151488 12489 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 13953 12489 566 18 0 13935 0
[pid=32655] vsize: 55812
Current children cumulated CPU time (s) 213.24
Current children cumulated vsize (Kb) 55812

[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4092272 0 0 0 14897 7428 0 0 25 0 1 0 1859319919 57151488 12496 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 13953 12496 566 18 0 13935 0
[pid=32655] vsize: 55812
Current children cumulated CPU time (s) 223.25
Current children cumulated vsize (Kb) 55812

[startup+240.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4092406 0 0 0 15896 7428 0 0 25 0 1 0 1859319919 57692160 12630 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 14085 12630 566 18 0 14067 0
[pid=32655] vsize: 56340
Current children cumulated CPU time (s) 233.24
Current children cumulated vsize (Kb) 56340

[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4092562 0 0 0 16895 7429 0 0 25 0 1 0 1859319919 58368000 12786 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 14250 12786 566 18 0 14232 0
[pid=32655] vsize: 57000
Current children cumulated CPU time (s) 243.24
Current children cumulated vsize (Kb) 57000

[startup+260.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4092718 0 0 0 17895 7430 0 0 25 0 1 0 1859319919 58908672 12942 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 14382 12942 566 18 0 14364 0
[pid=32655] vsize: 57528
Current children cumulated CPU time (s) 253.25
Current children cumulated vsize (Kb) 57528

[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4092868 0 0 0 18894 7431 0 0 25 0 1 0 1859319919 59584512 13092 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 14547 13092 566 18 0 14529 0
[pid=32655] vsize: 58188
Current children cumulated CPU time (s) 263.25
Current children cumulated vsize (Kb) 58188

[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4093020 0 0 0 19893 7432 0 0 25 0 1 0 1859319919 60649472 13244 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 14807 13244 566 18 0 14789 0
[pid=32655] vsize: 59228
Current children cumulated CPU time (s) 273.25
Current children cumulated vsize (Kb) 59228

[startup+290.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4093173 0 0 0 20891 7433 0 0 25 0 1 0 1859319919 61325312 13397 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 14972 13397 566 18 0 14954 0
[pid=32655] vsize: 59888
Current children cumulated CPU time (s) 283.24
Current children cumulated vsize (Kb) 59888

[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4093327 0 0 0 21890 7434 0 0 25 0 1 0 1859319919 61865984 13551 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 15104 13551 566 18 0 15086 0
[pid=32655] vsize: 60416
Current children cumulated CPU time (s) 293.24
Current children cumulated vsize (Kb) 60416

[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4093477 0 0 0 22889 7436 0 0 25 0 1 0 1859319919 62406656 13701 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 15236 13701 566 18 0 15218 0
[pid=32655] vsize: 60944
Current children cumulated CPU time (s) 303.25
Current children cumulated vsize (Kb) 60944

[startup+320.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4093626 0 0 0 23887 7437 0 0 25 0 1 0 1859319919 63078400 13850 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 15400 13850 566 18 0 15382 0
[pid=32655] vsize: 61600
Current children cumulated CPU time (s) 313.24
Current children cumulated vsize (Kb) 61600

[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4093787 0 0 0 24886 7438 0 0 25 0 1 0 1859319919 63619072 14011 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 15532 14011 566 18 0 15514 0
[pid=32655] vsize: 62128
Current children cumulated CPU time (s) 323.24
Current children cumulated vsize (Kb) 62128

[startup+340.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4093942 0 0 0 25886 7439 0 0 25 0 1 0 1859319919 64294912 14166 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 15697 14166 566 18 0 15679 0
[pid=32655] vsize: 62788
Current children cumulated CPU time (s) 333.25
Current children cumulated vsize (Kb) 62788

[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4094093 0 0 0 26885 7440 0 0 25 0 1 0 1859319919 64835584 14317 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 15829 14317 566 18 0 15811 0
[pid=32655] vsize: 63316
Current children cumulated CPU time (s) 343.25
Current children cumulated vsize (Kb) 63316

[startup+360.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4094249 0 0 0 27884 7441 0 0 25 0 1 0 1859319919 65511424 14473 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 15994 14473 566 18 0 15976 0
[pid=32655] vsize: 63976
Current children cumulated CPU time (s) 353.25
Current children cumulated vsize (Kb) 63976

[startup+370.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4094404 0 0 0 28884 7441 0 0 25 0 1 0 1859319919 66052096 14628 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 16126 14628 566 18 0 16108 0
[pid=32655] vsize: 64504
Current children cumulated CPU time (s) 363.25
Current children cumulated vsize (Kb) 64504

[startup+380.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4094556 0 0 0 29883 7442 0 0 25 0 1 0 1859319919 66727936 14780 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 16291 14780 566 18 0 16273 0
[pid=32655] vsize: 65164
Current children cumulated CPU time (s) 373.25
Current children cumulated vsize (Kb) 65164

[startup+390.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4094712 0 0 0 30883 7442 0 0 25 0 1 0 1859319919 67268608 14936 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 16423 14936 566 18 0 16405 0
[pid=32655] vsize: 65692
Current children cumulated CPU time (s) 383.25
Current children cumulated vsize (Kb) 65692

[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4094862 0 0 0 31883 7442 0 0 25 0 1 0 1859319919 67944448 15086 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 16588 15086 566 18 0 16570 0
[pid=32655] vsize: 66352
Current children cumulated CPU time (s) 393.25
Current children cumulated vsize (Kb) 66352

[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4095012 0 0 0 32882 7443 0 0 25 0 1 0 1859319919 68485120 15236 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 16720 15236 566 18 0 16702 0
[pid=32655] vsize: 66880
Current children cumulated CPU time (s) 403.25
Current children cumulated vsize (Kb) 66880

[startup+420.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4095163 0 0 0 33882 7444 0 0 25 0 1 0 1859319919 69025792 15387 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 16852 15387 566 18 0 16834 0
[pid=32655] vsize: 67408
Current children cumulated CPU time (s) 413.26
Current children cumulated vsize (Kb) 67408

[startup+430.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4095929 0 0 0 34879 7446 0 0 25 0 1 0 1859319919 72134656 16153 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 17611 16153 566 18 0 17593 0
[pid=32655] vsize: 70444
Current children cumulated CPU time (s) 423.25
Current children cumulated vsize (Kb) 70444

[startup+440.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096921 0 0 0 35876 7450 0 0 25 0 1 0 1859319919 76443648 17145 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32655/statm): 18663 17145 566 18 0 18645 0
[pid=32655] vsize: 74652
Current children cumulated CPU time (s) 433.26
Current children cumulated vsize (Kb) 74652

[startup+450.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096929 0 0 0 36874 7450 0 0 25 0 1 0 1859319919 76443648 17153 4294967295 134512640 134578447 3221224624 3221223296 134522757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18663 17153 566 18 0 18645 0
[pid=32655] vsize: 74652
Current children cumulated CPU time (s) 443.24
Current children cumulated vsize (Kb) 74652

[startup+460.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096930 0 0 0 37875 7450 0 0 25 0 1 0 1859319919 76443648 17154 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18663 17154 566 18 0 18645 0
[pid=32655] vsize: 74652
Current children cumulated CPU time (s) 453.25
Current children cumulated vsize (Kb) 74652

[startup+470.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096930 0 0 0 38875 7450 0 0 25 0 1 0 1859319919 76443648 17154 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18663 17154 566 18 0 18645 0
[pid=32655] vsize: 74652
Current children cumulated CPU time (s) 463.25
Current children cumulated vsize (Kb) 74652

[startup+480.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096930 0 0 0 39875 7450 0 0 25 0 1 0 1859319919 76443648 17154 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18663 17154 566 18 0 18645 0
[pid=32655] vsize: 74652
Current children cumulated CPU time (s) 473.25
Current children cumulated vsize (Kb) 74652

[startup+490.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096930 0 0 0 40875 7450 0 0 25 0 1 0 1859319919 76443648 17154 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18663 17154 566 18 0 18645 0
[pid=32655] vsize: 74652
Current children cumulated CPU time (s) 483.25
Current children cumulated vsize (Kb) 74652

[startup+500.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096936 0 0 0 41876 7450 0 0 25 0 1 0 1859319919 76705792 17160 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17160 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 493.26
Current children cumulated vsize (Kb) 74908

[startup+510.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096936 0 0 0 42876 7450 0 0 25 0 1 0 1859319919 76705792 17160 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17160 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 503.26
Current children cumulated vsize (Kb) 74908

[startup+520.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096936 0 0 0 43876 7450 0 0 25 0 1 0 1859319919 76705792 17160 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17160 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 513.26
Current children cumulated vsize (Kb) 74908

[startup+530.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 44876 7450 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223536 134557333 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 523.26
Current children cumulated vsize (Kb) 74908

[startup+540.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 45876 7450 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 533.26
Current children cumulated vsize (Kb) 74908

[startup+550.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 46877 7450 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 543.27
Current children cumulated vsize (Kb) 74908

[startup+560.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 47877 7450 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 553.27
Current children cumulated vsize (Kb) 74908

[startup+570.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 48877 7450 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223472 134558386 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 563.27
Current children cumulated vsize (Kb) 74908

[startup+580.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 49877 7450 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 573.27
Current children cumulated vsize (Kb) 74908

[startup+590.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 50877 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 583.28
Current children cumulated vsize (Kb) 74908

[startup+600.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 51878 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 593.29
Current children cumulated vsize (Kb) 74908

[startup+610.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 52878 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 603.29
Current children cumulated vsize (Kb) 74908

[startup+620.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 53878 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223536 134557333 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 613.29
Current children cumulated vsize (Kb) 74908

[startup+630.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 54878 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 623.29
Current children cumulated vsize (Kb) 74908

[startup+640.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 55878 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223472 134558160 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 633.29
Current children cumulated vsize (Kb) 74908

[startup+650.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 56878 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 643.29
Current children cumulated vsize (Kb) 74908

[startup+660.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 57879 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 653.3
Current children cumulated vsize (Kb) 74908

[startup+670.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 58879 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223584 134559095 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 663.3
Current children cumulated vsize (Kb) 74908

[startup+680.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 59879 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 673.3
Current children cumulated vsize (Kb) 74908

[startup+690.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 60879 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 683.3
Current children cumulated vsize (Kb) 74908

[startup+700.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 61879 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 693.3
Current children cumulated vsize (Kb) 74908

[startup+710.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 62880 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 703.31
Current children cumulated vsize (Kb) 74908

[startup+720.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 63880 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 713.31
Current children cumulated vsize (Kb) 74908

[startup+730.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 64880 7451 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223472 134558415 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 723.31
Current children cumulated vsize (Kb) 74908

[startup+740.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 65880 7452 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 733.32
Current children cumulated vsize (Kb) 74908

[startup+750.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 66880 7452 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223476 134555805 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 743.32
Current children cumulated vsize (Kb) 74908

[startup+760.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 67880 7452 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 753.32
Current children cumulated vsize (Kb) 74908

[startup+770.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 68881 7452 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 763.33
Current children cumulated vsize (Kb) 74908

[startup+780.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096941 0 0 0 69881 7452 0 0 25 0 1 0 1859319919 76705792 17165 4294967295 134512640 134578447 3221224624 3221223472 134558200 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18727 17165 566 18 0 18709 0
[pid=32655] vsize: 74908
Current children cumulated CPU time (s) 773.33
Current children cumulated vsize (Kb) 74908

[startup+790.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096974 0 0 0 70881 7452 0 0 25 0 1 0 1859319919 76967936 17198 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17198 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 783.33
Current children cumulated vsize (Kb) 75164

[startup+800.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096975 0 0 0 71881 7452 0 0 25 0 1 0 1859319919 76967936 17199 4294967295 134512640 134578447 3221224624 3221223600 134519639 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17199 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 793.33
Current children cumulated vsize (Kb) 75164

[startup+810.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096976 0 0 0 72881 7452 0 0 25 0 1 0 1859319919 76967936 17200 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17200 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 803.33
Current children cumulated vsize (Kb) 75164

[startup+820.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096977 0 0 0 73881 7452 0 0 25 0 1 0 1859319919 76967936 17201 4294967295 134512640 134578447 3221224624 3221223536 134556934 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17201 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 813.33
Current children cumulated vsize (Kb) 75164

[startup+830.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096978 0 0 0 74882 7452 0 0 25 0 1 0 1859319919 76967936 17202 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17202 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 823.34
Current children cumulated vsize (Kb) 75164

[startup+840.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096980 0 0 0 75882 7452 0 0 25 0 1 0 1859319919 76967936 17204 4294967295 134512640 134578447 3221224624 3221223472 134558319 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17204 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 833.34
Current children cumulated vsize (Kb) 75164

[startup+850.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096980 0 0 0 76882 7452 0 0 25 0 1 0 1859319919 76967936 17204 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17204 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 843.34
Current children cumulated vsize (Kb) 75164

[startup+860.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096981 0 0 0 77882 7452 0 0 25 0 1 0 1859319919 76967936 17205 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17205 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 853.34
Current children cumulated vsize (Kb) 75164

[startup+870.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096983 0 0 0 78883 7452 0 0 25 0 1 0 1859319919 76967936 17207 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17207 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 863.35
Current children cumulated vsize (Kb) 75164

[startup+880.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096984 0 0 0 79883 7452 0 0 25 0 1 0 1859319919 76967936 17208 4294967295 134512640 134578447 3221224624 3221223476 134555711 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17208 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 873.35
Current children cumulated vsize (Kb) 75164

[startup+890.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096985 0 0 0 80883 7452 0 0 25 0 1 0 1859319919 76967936 17209 4294967295 134512640 134578447 3221224624 3221223476 134555765 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17209 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 883.35
Current children cumulated vsize (Kb) 75164

[startup+900.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096985 0 0 0 81883 7452 0 0 25 0 1 0 1859319919 76967936 17209 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17209 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 893.35
Current children cumulated vsize (Kb) 75164

[startup+910.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096986 0 0 0 82883 7452 0 0 25 0 1 0 1859319919 76967936 17210 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17210 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 903.35
Current children cumulated vsize (Kb) 75164

[startup+920.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096986 0 0 0 83883 7452 0 0 25 0 1 0 1859319919 76967936 17210 4294967295 134512640 134578447 3221224624 3221223476 134555845 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17210 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 913.35
Current children cumulated vsize (Kb) 75164

[startup+930.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096987 0 0 0 84883 7452 0 0 25 0 1 0 1859319919 76967936 17211 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17211 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 923.35
Current children cumulated vsize (Kb) 75164

[startup+940.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096987 0 0 0 85884 7452 0 0 25 0 1 0 1859319919 76967936 17211 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17211 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 933.36
Current children cumulated vsize (Kb) 75164

[startup+950.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096988 0 0 0 86884 7452 0 0 25 0 1 0 1859319919 76967936 17212 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17212 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 943.36
Current children cumulated vsize (Kb) 75164

[startup+960.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096989 0 0 0 87884 7452 0 0 25 0 1 0 1859319919 76967936 17213 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17213 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 953.36
Current children cumulated vsize (Kb) 75164

[startup+970.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096989 0 0 0 88884 7453 0 0 25 0 1 0 1859319919 76967936 17213 4294967295 134512640 134578447 3221224624 3221223244 1075288811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17213 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 963.37
Current children cumulated vsize (Kb) 75164

[startup+980.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096990 0 0 0 89884 7453 0 0 25 0 1 0 1859319919 76967936 17214 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17214 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 973.37
Current children cumulated vsize (Kb) 75164

[startup+990.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096990 0 0 0 90884 7453 0 0 25 0 1 0 1859319919 76967936 17214 4294967295 134512640 134578447 3221224624 3221223472 134556058 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17214 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 983.37
Current children cumulated vsize (Kb) 75164

[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096992 0 0 0 91884 7453 0 0 25 0 1 0 1859319919 76967936 17216 4294967295 134512640 134578447 3221224624 3221223412 1075289714 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17216 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 993.37
Current children cumulated vsize (Kb) 75164

[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096994 0 0 0 92885 7453 0 0 25 0 1 0 1859319919 76967936 17218 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17218 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 1003.38
Current children cumulated vsize (Kb) 75164

[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096995 0 0 0 93885 7453 0 0 25 0 1 0 1859319919 76967936 17219 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17219 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 1013.38
Current children cumulated vsize (Kb) 75164

[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096996 0 0 0 94885 7453 0 0 25 0 1 0 1859319919 76967936 17220 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17220 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 1023.38
Current children cumulated vsize (Kb) 75164

[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096997 0 0 0 95885 7453 0 0 25 0 1 0 1859319919 76967936 17221 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17221 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 1033.38
Current children cumulated vsize (Kb) 75164

[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096998 0 0 0 96885 7453 0 0 25 0 1 0 1859319919 76967936 17222 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17222 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 1043.38
Current children cumulated vsize (Kb) 75164

[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4096999 0 0 0 97885 7453 0 0 25 0 1 0 1859319919 76967936 17223 4294967295 134512640 134578447 3221224624 3221223520 134519792 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17223 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 1053.38
Current children cumulated vsize (Kb) 75164

[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097000 0 0 0 98885 7453 0 0 25 0 1 0 1859319919 76967936 17224 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17224 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 1063.38
Current children cumulated vsize (Kb) 75164

[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097002 0 0 0 99886 7453 0 0 25 0 1 0 1859319919 76967936 17226 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17226 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 1073.39
Current children cumulated vsize (Kb) 75164

[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097004 0 0 0 100886 7453 0 0 25 0 1 0 1859319919 76967936 17228 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17228 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 1083.39
Current children cumulated vsize (Kb) 75164

[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097005 0 0 0 101886 7453 0 0 25 0 1 0 1859319919 76967936 17229 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18791 17229 566 18 0 18773 0
[pid=32655] vsize: 75164
Current children cumulated CPU time (s) 1093.39
Current children cumulated vsize (Kb) 75164

[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097006 0 0 0 102886 7453 0 0 25 0 1 0 1859319919 77230080 17230 4294967295 134512640 134578447 3221224624 3221223504 134531670 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18855 17230 566 18 0 18837 0
[pid=32655] vsize: 75420
Current children cumulated CPU time (s) 1103.39
Current children cumulated vsize (Kb) 75420

[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097007 0 0 0 103886 7453 0 0 25 0 1 0 1859319919 77230080 17231 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18855 17231 566 18 0 18837 0
[pid=32655] vsize: 75420
Current children cumulated CPU time (s) 1113.39
Current children cumulated vsize (Kb) 75420

[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097008 0 0 0 104886 7453 0 0 25 0 1 0 1859319919 77230080 17232 4294967295 134512640 134578447 3221224624 3221223472 134558319 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 18855 17232 566 18 0 18837 0
[pid=32655] vsize: 75420
Current children cumulated CPU time (s) 1123.39
Current children cumulated vsize (Kb) 75420

[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097158 0 0 0 105886 7454 0 0 25 0 1 0 1859319919 77881344 17382 4294967295 134512640 134578447 3221224624 3221223584 134559051 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 19014 17382 566 18 0 18996 0
[pid=32655] vsize: 76056
Current children cumulated CPU time (s) 1133.4
Current children cumulated vsize (Kb) 76056

[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097210 0 0 0 106886 7454 0 0 25 0 1 0 1859319919 78028800 17434 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 19050 17434 566 18 0 19032 0
[pid=32655] vsize: 76200
Current children cumulated CPU time (s) 1143.4
Current children cumulated vsize (Kb) 76200

[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097239 0 0 0 107886 7454 0 0 25 0 1 0 1859319919 78159872 17463 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 19082 17463 566 18 0 19064 0
[pid=32655] vsize: 76328
Current children cumulated CPU time (s) 1153.4
Current children cumulated vsize (Kb) 76328

[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097247 0 0 0 108886 7454 0 0 25 0 1 0 1859319919 78159872 17471 4294967295 134512640 134578447 3221224624 3221223472 134558345 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 19082 17471 566 18 0 19064 0
[pid=32655] vsize: 76328
Current children cumulated CPU time (s) 1163.4
Current children cumulated vsize (Kb) 76328

[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097332 0 0 0 109885 7455 0 0 25 0 1 0 1859319919 78553088 17556 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 19178 17556 566 18 0 19160 0
[pid=32655] vsize: 76712
Current children cumulated CPU time (s) 1173.4
Current children cumulated vsize (Kb) 76712

[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097628 0 0 0 110884 7456 0 0 25 0 1 0 1859319919 79749120 17852 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 19470 17852 566 18 0 19452 0
[pid=32655] vsize: 77880
Current children cumulated CPU time (s) 1183.4
Current children cumulated vsize (Kb) 77880

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4097781 0 0 0 111884 7457 0 0 25 0 1 0 1859319919 80408576 18005 4294967295 134512640 134578447 3221224624 3221223476 134555746 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 19631 18005 566 18 0 19613 0
[pid=32655] vsize: 78524
Current children cumulated CPU time (s) 1193.41
Current children cumulated vsize (Kb) 78524

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4098041 0 0 0 112883 7457 0 0 25 0 1 0 1859319919 81453056 18265 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 19886 18265 566 18 0 19868 0
[pid=32655] vsize: 79544
Current children cumulated CPU time (s) 1203.4
Current children cumulated vsize (Kb) 79544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32655
Raw data (/proc/32655/stat): 32655 (Pueblo) R 32654 32655 5299 0 -1 0 4098041 0 0 0 112883 7457 0 0 25 0 1 0 1859319919 81453056 18265 4294967295 134512640 134578447 3221224624 3221223536 134556821 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32655/statm): 19886 18265 566 18 0 19868 0
[pid=32655] vsize: 79544
Current children cumulated CPU time (s) 1203.4
Current children cumulated vsize (Kb) 79544

Sending SIGTERM to -32655
Sleeping 2 seconds
One traced child (pid=32655) 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.1
CPU time (s): 1203.45
CPU user time (s): 1128.84
CPU system time (s): 74.6127
CPU usage (%): 99.4503
Max. virtual memory (cumulated for all children) (Kb): 79544

Verifier Data

ERROR: no interpretation found !