Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos12.opb
MD5SUM8be56d63285d7b46f1a8393a6f228d5d
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10813568
Optimality of the best value was proved NO
Number of terms in the objective function 8960
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 469761600
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 524288
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 469761600
Number of bits of the biggest sum of numbers29
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1204.93
Number of variables16548
Total number of constraints11747
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3136
Number of constraints which are nor clauses,nor cardinality constraints8611
Minimum length of a constraint1
Maximum length of a constraint560

Trace number 8691

Launcher Data

LAUNCH ON wulflinc25 THE 2005-09-20 17:42:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5792 boxname=wulflinc25 idbench=1104 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  8be56d63285d7b46f1a8393a6f228d5d  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-neos12.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5792
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        817560 kB
Buffers:         34080 kB
Cached:         154956 kB
SwapCached:        888 kB
Active:          82168 kB
Inactive:       109508 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        817308 kB
SwapTotal:     2097892 kB
SwapFree:      2096524 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            19768 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 18:02:44 (client local time) WITH STATUS 0 IN 1209.97 SECONDS
stats: 5792 7 1209.97 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/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1860450733 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 41 3 40 18 0 23 0
[pid=7425] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0033 s]
Raw data (loadavg): 0.91 0.96 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3644 0 0 0 983 12 0 0 25 0 1 0 1860450733 17661952 3610 4294967295 134512640 134578447 3221224624 3221223632 134563005 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4312 3610 566 18 0 4294 0
[pid=7425] vsize: 17248
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 17248

[startup+20.0039 s]
Raw data (loadavg): 0.92 0.96 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3644 0 0 0 1983 12 0 0 25 0 1 0 1860450733 17661952 3610 4294967295 134512640 134578447 3221224624 3221223560 134519713 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4312 3610 566 18 0 4294 0
[pid=7425] vsize: 17248
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 17248

[startup+30.0035 s]
Raw data (loadavg): 0.93 0.96 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3644 0 0 0 2982 13 0 0 25 0 1 0 1860450733 17661952 3610 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4312 3610 566 18 0 4294 0
[pid=7425] vsize: 17248
Current children cumulated CPU time (s) 29.95
Current children cumulated vsize (Kb) 17248

[startup+40.0041 s]
Raw data (loadavg): 0.94 0.96 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3644 0 0 0 3982 13 0 0 25 0 1 0 1860450733 17661952 3610 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4312 3610 566 18 0 4294 0
[pid=7425] vsize: 17248
Current children cumulated CPU time (s) 39.95
Current children cumulated vsize (Kb) 17248

[startup+50.0047 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3644 0 0 0 4981 14 0 0 25 0 1 0 1860450733 17661952 3610 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4312 3610 566 18 0 4294 0
[pid=7425] vsize: 17248
Current children cumulated CPU time (s) 49.95
Current children cumulated vsize (Kb) 17248

[startup+60.0053 s]
Raw data (loadavg): 0.96 0.96 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3644 0 0 0 5981 14 0 0 25 0 1 0 1860450733 17661952 3610 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4312 3610 566 18 0 4294 0
[pid=7425] vsize: 17248
Current children cumulated CPU time (s) 59.95
Current children cumulated vsize (Kb) 17248

[startup+70.0059 s]
Raw data (loadavg): 0.96 0.96 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3644 0 0 0 6981 14 0 0 25 0 1 0 1860450733 17661952 3610 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4312 3610 566 18 0 4294 0
[pid=7425] vsize: 17248
Current children cumulated CPU time (s) 69.95
Current children cumulated vsize (Kb) 17248

[startup+80.0055 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3644 0 0 0 7980 15 0 0 25 0 1 0 1860450733 17661952 3610 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4312 3610 566 18 0 4294 0
[pid=7425] vsize: 17248
Current children cumulated CPU time (s) 79.95
Current children cumulated vsize (Kb) 17248

[startup+90.0061 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3644 0 0 0 8980 15 0 0 25 0 1 0 1860450733 17661952 3610 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4312 3610 566 18 0 4294 0
[pid=7425] vsize: 17248
Current children cumulated CPU time (s) 89.95
Current children cumulated vsize (Kb) 17248

[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3644 0 0 0 9979 16 0 0 25 0 1 0 1860450733 17661952 3610 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4312 3610 566 18 0 4294 0
[pid=7425] vsize: 17248
Current children cumulated CPU time (s) 99.95
Current children cumulated vsize (Kb) 17248

[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3644 0 0 0 10979 16 0 0 25 0 1 0 1860450733 17661952 3610 4294967295 134512640 134578447 3221224624 3221223552 134516687 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4312 3610 566 18 0 4294 0
[pid=7425] vsize: 17248
Current children cumulated CPU time (s) 109.95
Current children cumulated vsize (Kb) 17248

[startup+120.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3644 0 0 0 11978 17 0 0 25 0 1 0 1860450733 17661952 3610 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4312 3610 566 18 0 4294 0
[pid=7425] vsize: 17248
Current children cumulated CPU time (s) 119.95
Current children cumulated vsize (Kb) 17248

[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3656 0 0 0 12978 17 0 0 25 0 1 0 1860450733 17809408 3622 4294967295 134512640 134578447 3221224624 3221223552 134516690 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4348 3622 566 18 0 4330 0
[pid=7425] vsize: 17392
Current children cumulated CPU time (s) 129.95
Current children cumulated vsize (Kb) 17392

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3656 0 0 0 13977 17 0 0 25 0 1 0 1860450733 17809408 3622 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4348 3622 566 18 0 4330 0
[pid=7425] vsize: 17392
Current children cumulated CPU time (s) 139.94
Current children cumulated vsize (Kb) 17392

[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3766 0 0 0 14977 18 0 0 25 0 1 0 1860450733 18210816 3732 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4446 3732 566 18 0 4428 0
[pid=7425] vsize: 17784
Current children cumulated CPU time (s) 149.95
Current children cumulated vsize (Kb) 17784

[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3832 0 0 0 15976 19 0 0 25 0 1 0 1860450733 18485248 3798 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4513 3798 566 18 0 4495 0
[pid=7425] vsize: 18052
Current children cumulated CPU time (s) 159.95
Current children cumulated vsize (Kb) 18052

[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3860 0 0 0 16975 19 0 0 25 0 1 0 1860450733 18632704 3826 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4549 3826 566 18 0 4531 0
[pid=7425] vsize: 18196
Current children cumulated CPU time (s) 169.94
Current children cumulated vsize (Kb) 18196

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3865 0 0 0 17974 19 0 0 25 0 1 0 1860450733 18796544 3831 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4589 3831 566 18 0 4571 0
[pid=7425] vsize: 18356
Current children cumulated CPU time (s) 179.93
Current children cumulated vsize (Kb) 18356

[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3918 0 0 0 18974 20 0 0 25 0 1 0 1860450733 18956288 3884 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4628 3884 566 18 0 4610 0
[pid=7425] vsize: 18512
Current children cumulated CPU time (s) 189.94
Current children cumulated vsize (Kb) 18512

[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3918 0 0 0 19973 21 0 0 25 0 1 0 1860450733 18956288 3884 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4628 3884 566 18 0 4610 0
[pid=7425] vsize: 18512
Current children cumulated CPU time (s) 199.94
Current children cumulated vsize (Kb) 18512

[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3918 0 0 0 20973 21 0 0 25 0 1 0 1860450733 18956288 3884 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4628 3884 566 18 0 4610 0
[pid=7425] vsize: 18512
Current children cumulated CPU time (s) 209.94
Current children cumulated vsize (Kb) 18512

[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3950 0 0 0 21972 21 0 0 25 0 1 0 1860450733 19103744 3916 4294967295 134512640 134578447 3221224624 3221223412 1075289779 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4664 3916 566 18 0 4646 0
[pid=7425] vsize: 18656
Current children cumulated CPU time (s) 219.93
Current children cumulated vsize (Kb) 18656

[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3975 0 0 0 22972 22 0 0 25 0 1 0 1860450733 19243008 3941 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4698 3941 566 18 0 4680 0
[pid=7425] vsize: 18792
Current children cumulated CPU time (s) 229.94
Current children cumulated vsize (Kb) 18792

[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 3989 0 0 0 23972 22 0 0 25 0 1 0 1860450733 19243008 3955 4294967295 134512640 134578447 3221224624 3221223584 134559068 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4698 3955 566 18 0 4680 0
[pid=7425] vsize: 18792
Current children cumulated CPU time (s) 239.94
Current children cumulated vsize (Kb) 18792

[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4004 0 0 0 24971 22 0 0 25 0 1 0 1860450733 19406848 3970 4294967295 134512640 134578447 3221224624 3221223552 134516690 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4738 3970 566 18 0 4720 0
[pid=7425] vsize: 18952
Current children cumulated CPU time (s) 249.93
Current children cumulated vsize (Kb) 18952

[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4005 0 0 0 25971 22 0 0 25 0 1 0 1860450733 19406848 3971 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4738 3971 566 18 0 4720 0
[pid=7425] vsize: 18952
Current children cumulated CPU time (s) 259.93
Current children cumulated vsize (Kb) 18952

[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4018 0 0 0 26971 23 0 0 25 0 1 0 1860450733 19406848 3984 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4738 3984 566 18 0 4720 0
[pid=7425] vsize: 18952
Current children cumulated CPU time (s) 269.94
Current children cumulated vsize (Kb) 18952

[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4019 0 0 0 27970 23 0 0 25 0 1 0 1860450733 19406848 3985 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4738 3985 566 18 0 4720 0
[pid=7425] vsize: 18952
Current children cumulated CPU time (s) 279.93
Current children cumulated vsize (Kb) 18952

[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4019 0 0 0 28970 23 0 0 25 0 1 0 1860450733 19406848 3985 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4738 3985 566 18 0 4720 0
[pid=7425] vsize: 18952
Current children cumulated CPU time (s) 289.93
Current children cumulated vsize (Kb) 18952

[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4034 0 0 0 29970 24 0 0 25 0 1 0 1860450733 19570688 4000 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4778 4000 566 18 0 4760 0
[pid=7425] vsize: 19112
Current children cumulated CPU time (s) 299.94
Current children cumulated vsize (Kb) 19112

[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4034 0 0 0 30969 24 0 0 25 0 1 0 1860450733 19570688 4000 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4778 4000 566 18 0 4760 0
[pid=7425] vsize: 19112
Current children cumulated CPU time (s) 309.93
Current children cumulated vsize (Kb) 19112

[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4034 0 0 0 31969 24 0 0 25 0 1 0 1860450733 19570688 4000 4294967295 134512640 134578447 3221224624 3221223572 134559036 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4778 4000 566 18 0 4760 0
[pid=7425] vsize: 19112
Current children cumulated CPU time (s) 319.93
Current children cumulated vsize (Kb) 19112

[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4034 0 0 0 32969 25 0 0 25 0 1 0 1860450733 19570688 4000 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4778 4000 566 18 0 4760 0
[pid=7425] vsize: 19112
Current children cumulated CPU time (s) 329.94
Current children cumulated vsize (Kb) 19112

[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4034 0 0 0 33969 25 0 0 25 0 1 0 1860450733 19570688 4000 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4778 4000 566 18 0 4760 0
[pid=7425] vsize: 19112
Current children cumulated CPU time (s) 339.94
Current children cumulated vsize (Kb) 19112

[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4043 0 0 0 34968 25 0 0 25 0 1 0 1860450733 19570688 4009 4294967295 134512640 134578447 3221224624 3221223536 134557627 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4778 4009 566 18 0 4760 0
[pid=7425] vsize: 19112
Current children cumulated CPU time (s) 349.93
Current children cumulated vsize (Kb) 19112

[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4106 0 0 0 35968 26 0 0 25 0 1 0 1860450733 19841024 4072 4294967295 134512640 134578447 3221224624 3221223552 134516683 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4844 4072 566 18 0 4826 0
[pid=7425] vsize: 19376
Current children cumulated CPU time (s) 359.94
Current children cumulated vsize (Kb) 19376

[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4106 0 0 0 36967 26 0 0 25 0 1 0 1860450733 19841024 4072 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4844 4072 566 18 0 4826 0
[pid=7425] vsize: 19376
Current children cumulated CPU time (s) 369.93
Current children cumulated vsize (Kb) 19376

[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4140 0 0 0 37967 27 0 0 25 0 1 0 1860450733 19976192 4106 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4877 4106 566 18 0 4859 0
[pid=7425] vsize: 19508
Current children cumulated CPU time (s) 379.94
Current children cumulated vsize (Kb) 19508

[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4159 0 0 0 38967 27 0 0 25 0 1 0 1860450733 20111360 4125 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4910 4125 566 18 0 4892 0
[pid=7425] vsize: 19640
Current children cumulated CPU time (s) 389.94
Current children cumulated vsize (Kb) 19640

[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4177 0 0 0 39966 27 0 0 25 0 1 0 1860450733 20111360 4143 4294967295 134512640 134578447 3221224624 3221223552 134516690 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4910 4143 566 18 0 4892 0
[pid=7425] vsize: 19640
Current children cumulated CPU time (s) 399.93
Current children cumulated vsize (Kb) 19640

[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4177 0 0 0 40966 28 0 0 25 0 1 0 1860450733 20111360 4143 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4910 4143 566 18 0 4892 0
[pid=7425] vsize: 19640
Current children cumulated CPU time (s) 409.94
Current children cumulated vsize (Kb) 19640

[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4177 0 0 0 41965 28 0 0 25 0 1 0 1860450733 20111360 4143 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4910 4143 566 18 0 4892 0
[pid=7425] vsize: 19640
Current children cumulated CPU time (s) 419.93
Current children cumulated vsize (Kb) 19640

[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4178 0 0 0 42965 28 0 0 25 0 1 0 1860450733 20111360 4144 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4910 4144 566 18 0 4892 0
[pid=7425] vsize: 19640
Current children cumulated CPU time (s) 429.93
Current children cumulated vsize (Kb) 19640

[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4178 0 0 0 43965 29 0 0 25 0 1 0 1860450733 20111360 4144 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4910 4144 566 18 0 4892 0
[pid=7425] vsize: 19640
Current children cumulated CPU time (s) 439.94
Current children cumulated vsize (Kb) 19640

[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4189 0 0 0 44965 29 0 0 25 0 1 0 1860450733 20275200 4155 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4950 4155 566 18 0 4932 0
[pid=7425] vsize: 19800
Current children cumulated CPU time (s) 449.94
Current children cumulated vsize (Kb) 19800

[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4191 0 0 0 45965 29 0 0 25 0 1 0 1860450733 20275200 4157 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4950 4157 566 18 0 4932 0
[pid=7425] vsize: 19800
Current children cumulated CPU time (s) 459.94
Current children cumulated vsize (Kb) 19800

[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4192 0 0 0 46964 29 0 0 25 0 1 0 1860450733 20275200 4158 4294967295 134512640 134578447 3221224624 3221223520 134519731 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4950 4158 566 18 0 4932 0
[pid=7425] vsize: 19800
Current children cumulated CPU time (s) 469.93
Current children cumulated vsize (Kb) 19800

[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4202 0 0 0 47964 29 0 0 25 0 1 0 1860450733 20275200 4168 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4950 4168 566 18 0 4932 0
[pid=7425] vsize: 19800
Current children cumulated CPU time (s) 479.93
Current children cumulated vsize (Kb) 19800

[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4202 0 0 0 48964 30 0 0 25 0 1 0 1860450733 20275200 4168 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4950 4168 566 18 0 4932 0
[pid=7425] vsize: 19800
Current children cumulated CPU time (s) 489.94
Current children cumulated vsize (Kb) 19800

[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4202 0 0 0 49963 30 0 0 25 0 1 0 1860450733 20275200 4168 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4950 4168 566 18 0 4932 0
[pid=7425] vsize: 19800
Current children cumulated CPU time (s) 499.93
Current children cumulated vsize (Kb) 19800

[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4202 0 0 0 50963 30 0 0 25 0 1 0 1860450733 20275200 4168 4294967295 134512640 134578447 3221224624 3221223584 134559082 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4950 4168 566 18 0 4932 0
[pid=7425] vsize: 19800
Current children cumulated CPU time (s) 509.93
Current children cumulated vsize (Kb) 19800

[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4202 0 0 0 51963 31 0 0 25 0 1 0 1860450733 20275200 4168 4294967295 134512640 134578447 3221224624 3221223228 1075289393 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4950 4168 566 18 0 4932 0
[pid=7425] vsize: 19800
Current children cumulated CPU time (s) 519.94
Current children cumulated vsize (Kb) 19800

[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4202 0 0 0 52962 31 0 0 25 0 1 0 1860450733 20275200 4168 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4950 4168 566 18 0 4932 0
[pid=7425] vsize: 19800
Current children cumulated CPU time (s) 529.93
Current children cumulated vsize (Kb) 19800

[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4211 0 0 0 53962 31 0 0 25 0 1 0 1860450733 20275200 4177 4294967295 134512640 134578447 3221224624 3221223584 134559071 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4950 4177 566 18 0 4932 0
[pid=7425] vsize: 19800
Current children cumulated CPU time (s) 539.93
Current children cumulated vsize (Kb) 19800

[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4220 0 0 0 54961 32 0 0 25 0 1 0 1860450733 20471808 4186 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4998 4186 566 18 0 4980 0
[pid=7425] vsize: 19992
Current children cumulated CPU time (s) 549.93
Current children cumulated vsize (Kb) 19992

[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4221 0 0 0 55961 32 0 0 25 0 1 0 1860450733 20471808 4187 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4998 4187 566 18 0 4980 0
[pid=7425] vsize: 19992
Current children cumulated CPU time (s) 559.93
Current children cumulated vsize (Kb) 19992

[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4221 0 0 0 56961 33 0 0 25 0 1 0 1860450733 20471808 4187 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4998 4187 566 18 0 4980 0
[pid=7425] vsize: 19992
Current children cumulated CPU time (s) 569.94
Current children cumulated vsize (Kb) 19992

[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4233 0 0 0 57960 33 0 0 25 0 1 0 1860450733 20471808 4199 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4998 4199 566 18 0 4980 0
[pid=7425] vsize: 19992
Current children cumulated CPU time (s) 579.93
Current children cumulated vsize (Kb) 19992

[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4234 0 0 0 58960 34 0 0 25 0 1 0 1860450733 20471808 4200 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4998 4200 566 18 0 4980 0
[pid=7425] vsize: 19992
Current children cumulated CPU time (s) 589.94
Current children cumulated vsize (Kb) 19992

[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4234 0 0 0 59959 34 0 0 25 0 1 0 1860450733 20471808 4200 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4998 4200 566 18 0 4980 0
[pid=7425] vsize: 19992
Current children cumulated CPU time (s) 599.93
Current children cumulated vsize (Kb) 19992

[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4234 0 0 0 60959 34 0 0 25 0 1 0 1860450733 20471808 4200 4294967295 134512640 134578447 3221224624 3221223552 134516676 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4998 4200 566 18 0 4980 0
[pid=7425] vsize: 19992
Current children cumulated CPU time (s) 609.93
Current children cumulated vsize (Kb) 19992

[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4234 0 0 0 61958 35 0 0 25 0 1 0 1860450733 20471808 4200 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4998 4200 566 18 0 4980 0
[pid=7425] vsize: 19992
Current children cumulated CPU time (s) 619.93
Current children cumulated vsize (Kb) 19992

[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4236 0 0 0 62958 35 0 0 25 0 1 0 1860450733 20471808 4202 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4998 4202 566 18 0 4980 0
[pid=7425] vsize: 19992
Current children cumulated CPU time (s) 629.93
Current children cumulated vsize (Kb) 19992

[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 3/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4236 0 0 0 63957 35 0 0 25 0 1 0 1860450733 20471808 4202 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4998 4202 566 18 0 4980 0
[pid=7425] vsize: 19992
Current children cumulated CPU time (s) 639.92
Current children cumulated vsize (Kb) 19992

[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4236 0 0 0 64956 36 0 0 25 0 1 0 1860450733 20471808 4202 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 4998 4202 566 18 0 4980 0
[pid=7425] vsize: 19992
Current children cumulated CPU time (s) 649.92
Current children cumulated vsize (Kb) 19992

[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4286 0 0 0 65956 37 0 0 25 0 1 0 1860450733 20733952 4252 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5062 4252 566 18 0 5044 0
[pid=7425] vsize: 20248
Current children cumulated CPU time (s) 659.93
Current children cumulated vsize (Kb) 20248

[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4337 0 0 0 66955 37 0 0 25 0 1 0 1860450733 20869120 4303 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5095 4303 566 18 0 5077 0
[pid=7425] vsize: 20380
Current children cumulated CPU time (s) 669.92
Current children cumulated vsize (Kb) 20380

[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4362 0 0 0 67954 38 0 0 25 0 1 0 1860450733 21032960 4328 4294967295 134512640 134578447 3221224624 3221223456 134528576 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5135 4328 566 18 0 5117 0
[pid=7425] vsize: 20540
Current children cumulated CPU time (s) 679.92
Current children cumulated vsize (Kb) 20540

[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4379 0 0 0 68954 38 0 0 25 0 1 0 1860450733 21032960 4345 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5135 4345 566 18 0 5117 0
[pid=7425] vsize: 20540
Current children cumulated CPU time (s) 689.92
Current children cumulated vsize (Kb) 20540

[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4402 0 0 0 69953 38 0 0 25 0 1 0 1860450733 21196800 4368 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5175 4368 566 18 0 5157 0
[pid=7425] vsize: 20700
Current children cumulated CPU time (s) 699.91
Current children cumulated vsize (Kb) 20700

[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4403 0 0 0 70953 39 0 0 25 0 1 0 1860450733 21196800 4369 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5175 4369 566 18 0 5157 0
[pid=7425] vsize: 20700
Current children cumulated CPU time (s) 709.92
Current children cumulated vsize (Kb) 20700

[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4407 0 0 0 71953 39 0 0 25 0 1 0 1860450733 21196800 4373 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5175 4373 566 18 0 5157 0
[pid=7425] vsize: 20700
Current children cumulated CPU time (s) 719.92
Current children cumulated vsize (Kb) 20700

[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4417 0 0 0 72953 39 0 0 25 0 1 0 1860450733 21360640 4383 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5215 4383 566 18 0 5197 0
[pid=7425] vsize: 20860
Current children cumulated CPU time (s) 729.92
Current children cumulated vsize (Kb) 20860

[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4431 0 0 0 73952 40 0 0 25 0 1 0 1860450733 21360640 4397 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5215 4397 566 18 0 5197 0
[pid=7425] vsize: 20860
Current children cumulated CPU time (s) 739.92
Current children cumulated vsize (Kb) 20860

[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4432 0 0 0 74952 40 0 0 25 0 1 0 1860450733 21360640 4398 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5215 4398 566 18 0 5197 0
[pid=7425] vsize: 20860
Current children cumulated CPU time (s) 749.92
Current children cumulated vsize (Kb) 20860

[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4432 0 0 0 75952 40 0 0 25 0 1 0 1860450733 21360640 4398 4294967295 134512640 134578447 3221224624 3221223488 134517923 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5215 4398 566 18 0 5197 0
[pid=7425] vsize: 20860
Current children cumulated CPU time (s) 759.92
Current children cumulated vsize (Kb) 20860

[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4432 0 0 0 76951 40 0 0 25 0 1 0 1860450733 21360640 4398 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5215 4398 566 18 0 5197 0
[pid=7425] vsize: 20860
Current children cumulated CPU time (s) 769.91
Current children cumulated vsize (Kb) 20860

[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4432 0 0 0 77951 41 0 0 25 0 1 0 1860450733 21360640 4398 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5215 4398 566 18 0 5197 0
[pid=7425] vsize: 20860
Current children cumulated CPU time (s) 779.92
Current children cumulated vsize (Kb) 20860

[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4432 0 0 0 78950 41 0 0 25 0 1 0 1860450733 21360640 4398 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5215 4398 566 18 0 5197 0
[pid=7425] vsize: 20860
Current children cumulated CPU time (s) 789.91
Current children cumulated vsize (Kb) 20860

[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4432 0 0 0 79950 42 0 0 25 0 1 0 1860450733 21360640 4398 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5215 4398 566 18 0 5197 0
[pid=7425] vsize: 20860
Current children cumulated CPU time (s) 799.92
Current children cumulated vsize (Kb) 20860

[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4434 0 0 0 80949 42 0 0 25 0 1 0 1860450733 21360640 4400 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5215 4400 566 18 0 5197 0
[pid=7425] vsize: 20860
Current children cumulated CPU time (s) 809.91
Current children cumulated vsize (Kb) 20860

[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4436 0 0 0 81949 42 0 0 25 0 1 0 1860450733 21360640 4402 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5215 4402 566 18 0 5197 0
[pid=7425] vsize: 20860
Current children cumulated CPU time (s) 819.91
Current children cumulated vsize (Kb) 20860

[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4437 0 0 0 82949 42 0 0 25 0 1 0 1860450733 21360640 4403 4294967295 134512640 134578447 3221224624 3221223584 134559008 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5215 4403 566 18 0 5197 0
[pid=7425] vsize: 20860
Current children cumulated CPU time (s) 829.91
Current children cumulated vsize (Kb) 20860

[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4444 0 0 0 83948 43 0 0 25 0 1 0 1860450733 21360640 4410 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5215 4410 566 18 0 5197 0
[pid=7425] vsize: 20860
Current children cumulated CPU time (s) 839.91
Current children cumulated vsize (Kb) 20860

[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4444 0 0 0 84948 43 0 0 25 0 1 0 1860450733 21360640 4410 4294967295 134512640 134578447 3221224624 3221223456 134528439 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5215 4410 566 18 0 5197 0
[pid=7425] vsize: 20860
Current children cumulated CPU time (s) 849.91
Current children cumulated vsize (Kb) 20860

[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4462 0 0 0 85947 44 0 0 25 0 1 0 1860450733 21508096 4428 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5251 4428 566 18 0 5233 0
[pid=7425] vsize: 21004
Current children cumulated CPU time (s) 859.91
Current children cumulated vsize (Kb) 21004

[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4462 0 0 0 86947 44 0 0 25 0 1 0 1860450733 21508096 4428 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5251 4428 566 18 0 5233 0
[pid=7425] vsize: 21004
Current children cumulated CPU time (s) 869.91
Current children cumulated vsize (Kb) 21004

[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4462 0 0 0 87947 44 0 0 25 0 1 0 1860450733 21508096 4428 4294967295 134512640 134578447 3221224624 3221223520 134519731 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5251 4428 566 18 0 5233 0
[pid=7425] vsize: 21004
Current children cumulated CPU time (s) 879.91
Current children cumulated vsize (Kb) 21004

[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4464 0 0 0 88946 45 0 0 25 0 1 0 1860450733 21508096 4430 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5251 4430 566 18 0 5233 0
[pid=7425] vsize: 21004
Current children cumulated CPU time (s) 889.91
Current children cumulated vsize (Kb) 21004

[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4517 0 0 0 89946 45 0 0 25 0 1 0 1860450733 21794816 4483 4294967295 134512640 134578447 3221224624 3221223456 134528457 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5321 4483 566 18 0 5303 0
[pid=7425] vsize: 21284
Current children cumulated CPU time (s) 899.91
Current children cumulated vsize (Kb) 21284

[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4554 0 0 0 90945 46 0 0 25 0 1 0 1860450733 21942272 4520 4294967295 134512640 134578447 3221224624 3221223552 134516681 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5357 4520 566 18 0 5339 0
[pid=7425] vsize: 21428
Current children cumulated CPU time (s) 909.91
Current children cumulated vsize (Kb) 21428

[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4567 0 0 0 91945 46 0 0 25 0 1 0 1860450733 21942272 4533 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5357 4533 566 18 0 5339 0
[pid=7425] vsize: 21428
Current children cumulated CPU time (s) 919.91
Current children cumulated vsize (Kb) 21428

[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4587 0 0 0 92944 46 0 0 25 0 1 0 1860450733 22106112 4553 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5397 4553 566 18 0 5379 0
[pid=7425] vsize: 21588
Current children cumulated CPU time (s) 929.9
Current children cumulated vsize (Kb) 21588

[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4608 0 0 0 93944 47 0 0 25 0 1 0 1860450733 22106112 4574 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7425/statm): 5397 4574 566 18 0 5379 0
[pid=7425] vsize: 21588
Current children cumulated CPU time (s) 939.91
Current children cumulated vsize (Kb) 21588

[startup+950.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4613 0 0 0 94943 47 0 0 25 0 1 0 1860450733 22269952 4579 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5437 4579 566 18 0 5419 0
[pid=7425] vsize: 21748
Current children cumulated CPU time (s) 949.9
Current children cumulated vsize (Kb) 21748

[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4613 0 0 0 95943 47 0 0 25 0 1 0 1860450733 22269952 4579 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5437 4579 566 18 0 5419 0
[pid=7425] vsize: 21748
Current children cumulated CPU time (s) 959.9
Current children cumulated vsize (Kb) 21748

[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4634 0 0 0 96944 47 0 0 25 0 1 0 1860450733 22269952 4600 4294967295 134512640 134578447 3221224624 3221223520 134519792 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5437 4600 566 18 0 5419 0
[pid=7425] vsize: 21748
Current children cumulated CPU time (s) 969.91
Current children cumulated vsize (Kb) 21748

[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4635 0 0 0 97944 47 0 0 25 0 1 0 1860450733 22269952 4601 4294967295 134512640 134578447 3221224624 3221223520 134519738 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5437 4601 566 18 0 5419 0
[pid=7425] vsize: 21748
Current children cumulated CPU time (s) 979.91
Current children cumulated vsize (Kb) 21748

[startup+990.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4636 0 0 0 98943 48 0 0 25 0 1 0 1860450733 22269952 4602 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5437 4602 566 18 0 5419 0
[pid=7425] vsize: 21748
Current children cumulated CPU time (s) 989.91
Current children cumulated vsize (Kb) 21748

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4656 0 0 0 99944 48 0 0 25 0 1 0 1860450733 22433792 4622 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5477 4622 566 18 0 5459 0
[pid=7425] vsize: 21908
Current children cumulated CPU time (s) 999.92
Current children cumulated vsize (Kb) 21908

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4656 0 0 0 100944 48 0 0 25 0 1 0 1860450733 22433792 4622 4294967295 134512640 134578447 3221224624 3221223552 134516662 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5477 4622 566 18 0 5459 0
[pid=7425] vsize: 21908
Current children cumulated CPU time (s) 1009.92
Current children cumulated vsize (Kb) 21908

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4656 0 0 0 101944 48 0 0 25 0 1 0 1860450733 22433792 4622 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5477 4622 566 18 0 5459 0
[pid=7425] vsize: 21908
Current children cumulated CPU time (s) 1019.92
Current children cumulated vsize (Kb) 21908

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4656 0 0 0 102944 48 0 0 25 0 1 0 1860450733 22433792 4622 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5477 4622 566 18 0 5459 0
[pid=7425] vsize: 21908
Current children cumulated CPU time (s) 1029.92
Current children cumulated vsize (Kb) 21908

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4681 0 0 0 103944 48 0 0 25 0 1 0 1860450733 22630400 4647 4294967295 134512640 134578447 3221224624 3221223584 134559051 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5525 4647 566 18 0 5507 0
[pid=7425] vsize: 22100
Current children cumulated CPU time (s) 1039.92
Current children cumulated vsize (Kb) 22100

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 7425
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4682 0 0 0 104944 48 0 0 25 0 1 0 1860450733 22630400 4648 4294967295 134512640 134578447 3221224624 3221223584 134559077 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5525 4648 566 18 0 5507 0
[pid=7425] vsize: 22100
Current children cumulated CPU time (s) 1049.92
Current children cumulated vsize (Kb) 22100

[startup+1060.03 s]
Raw data (loadavg): 1.07 0.99 0.92 2/56 7480
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4682 0 0 0 105944 49 0 0 25 0 1 0 1860450733 22630400 4648 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5525 4648 566 18 0 5507 0
[pid=7425] vsize: 22100
Current children cumulated CPU time (s) 1059.93
Current children cumulated vsize (Kb) 22100

[startup+1070.03 s]
Raw data (loadavg): 1.06 0.99 0.92 2/56 7480
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4682 0 0 0 106944 49 0 0 25 0 1 0 1860450733 22630400 4648 4294967295 134512640 134578447 3221224624 3221223520 134519792 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5525 4648 566 18 0 5507 0
[pid=7425] vsize: 22100
Current children cumulated CPU time (s) 1069.93
Current children cumulated vsize (Kb) 22100

[startup+1080.03 s]
Raw data (loadavg): 1.05 0.99 0.92 2/56 7480
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4682 0 0 0 107944 49 0 0 25 0 1 0 1860450733 22630400 4648 4294967295 134512640 134578447 3221224624 3221223552 134516683 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5525 4648 566 18 0 5507 0
[pid=7425] vsize: 22100
Current children cumulated CPU time (s) 1079.93
Current children cumulated vsize (Kb) 22100

[startup+1090.03 s]
Raw data (loadavg): 1.04 0.99 0.92 2/56 7480
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4682 0 0 0 108944 49 0 0 25 0 1 0 1860450733 22630400 4648 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5525 4648 566 18 0 5507 0
[pid=7425] vsize: 22100
Current children cumulated CPU time (s) 1089.93
Current children cumulated vsize (Kb) 22100

[startup+1100.03 s]
Raw data (loadavg): 1.03 0.99 0.92 2/56 7480
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4683 0 0 0 109943 50 0 0 25 0 1 0 1860450733 22630400 4649 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5525 4649 566 18 0 5507 0
[pid=7425] vsize: 22100
Current children cumulated CPU time (s) 1099.93
Current children cumulated vsize (Kb) 22100

[startup+1110.03 s]
Raw data (loadavg): 1.03 0.99 0.92 2/56 7480
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4687 0 0 0 110943 50 0 0 25 0 1 0 1860450733 22630400 4653 4294967295 134512640 134578447 3221224624 3221223552 134516676 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5525 4653 566 18 0 5507 0
[pid=7425] vsize: 22100
Current children cumulated CPU time (s) 1109.93
Current children cumulated vsize (Kb) 22100

[startup+1120.03 s]
Raw data (loadavg): 1.02 0.99 0.92 2/56 7484
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4687 0 0 0 111943 51 0 0 25 0 1 0 1860450733 22630400 4653 4294967295 134512640 134578447 3221224624 3221223584 134559065 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5525 4653 566 18 0 5507 0
[pid=7425] vsize: 22100
Current children cumulated CPU time (s) 1119.94
Current children cumulated vsize (Kb) 22100

[startup+1130.03 s]
Raw data (loadavg): 1.02 0.99 0.92 2/56 7484
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4752 0 0 0 112942 51 0 0 25 0 1 0 1860450733 22765568 4718 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5558 4718 566 18 0 5540 0
[pid=7425] vsize: 22232
Current children cumulated CPU time (s) 1129.93
Current children cumulated vsize (Kb) 22232

[startup+1140.03 s]
Raw data (loadavg): 1.02 0.99 0.92 2/56 7484
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4753 0 0 0 113942 52 0 0 25 0 1 0 1860450733 22765568 4719 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5558 4719 566 18 0 5540 0
[pid=7425] vsize: 22232
Current children cumulated CPU time (s) 1139.94
Current children cumulated vsize (Kb) 22232

[startup+1150.03 s]
Raw data (loadavg): 1.01 0.99 0.92 2/56 7484
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4756 0 0 0 114942 52 0 0 25 0 1 0 1860450733 22765568 4722 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5558 4722 566 18 0 5540 0
[pid=7425] vsize: 22232
Current children cumulated CPU time (s) 1149.94
Current children cumulated vsize (Kb) 22232

[startup+1160.03 s]
Raw data (loadavg): 1.01 0.99 0.92 2/56 7484
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4763 0 0 0 115942 52 0 0 25 0 1 0 1860450733 22900736 4729 4294967295 134512640 134578447 3221224624 3221223536 134557695 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5591 4729 566 18 0 5573 0
[pid=7425] vsize: 22364
Current children cumulated CPU time (s) 1159.94
Current children cumulated vsize (Kb) 22364

[startup+1170.03 s]
Raw data (loadavg): 1.01 0.99 0.92 2/56 7484
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4763 0 0 0 116941 53 0 0 25 0 1 0 1860450733 22900736 4729 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5591 4729 566 18 0 5573 0
[pid=7425] vsize: 22364
Current children cumulated CPU time (s) 1169.94
Current children cumulated vsize (Kb) 22364

[startup+1180.03 s]
Raw data (loadavg): 1.01 0.99 0.92 2/56 7484
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4763 0 0 0 117941 53 0 0 25 0 1 0 1860450733 22900736 4729 4294967295 134512640 134578447 3221224624 3221223584 134559082 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5591 4729 566 18 0 5573 0
[pid=7425] vsize: 22364
Current children cumulated CPU time (s) 1179.94
Current children cumulated vsize (Kb) 22364

[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 7484
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4766 0 0 0 118941 53 0 0 25 0 1 0 1860450733 22900736 4732 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5591 4732 566 18 0 5573 0
[pid=7425] vsize: 22364
Current children cumulated CPU time (s) 1189.94
Current children cumulated vsize (Kb) 22364

[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 7484
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4766 0 0 0 119941 54 0 0 25 0 1 0 1860450733 22900736 4732 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5591 4732 566 18 0 5573 0
[pid=7425] vsize: 22364
Current children cumulated CPU time (s) 1199.95
Current children cumulated vsize (Kb) 22364

[startup+1210.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 7484
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4767 0 0 0 120941 54 0 0 25 0 1 0 1860450733 22900736 4733 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5591 4733 566 18 0 5573 0
[pid=7425] vsize: 22364
Current children cumulated CPU time (s) 1209.95
Current children cumulated vsize (Kb) 22364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 7484
Raw data (/proc/7425/stat): 7425 (Pueblo) R 7424 7425 4419 0 -1 0 4767 0 0 0 120941 54 0 0 25 0 1 0 1860450733 22900736 4733 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7425/statm): 5591 4733 566 18 0 5573 0
[pid=7425] vsize: 22364
Current children cumulated CPU time (s) 1209.95
Current children cumulated vsize (Kb) 22364

Sending SIGTERM to -7425
Sleeping 2 seconds
One traced child (pid=7425) 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.04
CPU time (s): 1209.97
CPU user time (s): 1209.41
CPU system time (s): 0.556915
CPU usage (%): 99.994
Max. virtual memory (cumulated for all children) (Kb): 22364

Verifier Data

ERROR: no interpretation found !