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.ex.mem.LdValue.ucl.opb
MD5SUMccbca61851d5d361647c00bb58b30d92
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 variables77106
Total number of constraints218779
Number of constraints which are clauses205559
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13220
Minimum length of a constraint1
Maximum length of a constraint15

Trace number 7864

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        735936 kB
Buffers:         39304 kB
Cached:         231720 kB
SwapCached:        228 kB
Active:          92544 kB
Inactive:       181400 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        735684 kB
SwapTotal:     2097136 kB
SwapFree:      2096756 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6292 kB
Slab:            19212 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 14:56:34 (client local time) WITH STATUS 0 IN 1205.85 SECONDS
stats: 5013 7 1205.85 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/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801115428 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 41 3 40 18 0 23 0
[pid=22517] 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.0038 s]
Raw data (loadavg): 0.94 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 11431 0 0 0 951 37 0 0 25 0 1 0 1801115428 52727808 11271 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 12873 11271 566 18 0 12855 0
[pid=22517] vsize: 51492
Current children cumulated CPU time (s) 9.88
Current children cumulated vsize (Kb) 51492

[startup+20.0044 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 11431 0 0 0 1951 37 0 0 25 0 1 0 1801115428 52727808 11271 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 12873 11271 566 18 0 12855 0
[pid=22517] vsize: 51492
Current children cumulated CPU time (s) 19.88
Current children cumulated vsize (Kb) 51492

[startup+30.0039 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 11431 0 0 0 2951 37 0 0 25 0 1 0 1801115428 52727808 11271 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 12873 11271 566 18 0 12855 0
[pid=22517] vsize: 51492
Current children cumulated CPU time (s) 29.88
Current children cumulated vsize (Kb) 51492

[startup+40.0045 s]
Raw data (loadavg): 0.96 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 11431 0 0 0 3951 38 0 0 25 0 1 0 1801115428 52727808 11271 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 12873 11271 566 18 0 12855 0
[pid=22517] vsize: 51492
Current children cumulated CPU time (s) 39.89
Current children cumulated vsize (Kb) 51492

[startup+50.0051 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 12563 0 0 0 4948 40 0 0 25 0 1 0 1801115428 53039104 11339 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 12949 11339 566 18 0 12931 0
[pid=22517] vsize: 51796
Current children cumulated CPU time (s) 49.88
Current children cumulated vsize (Kb) 51796

[startup+60.0056 s]
Raw data (loadavg): 0.97 0.97 0.91 1/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) T 22516 22517 22582 0 -1 0 310643 0 0 0 5382 558 0 0 25 0 1 0 1801115428 53039104 11347 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/22517/statm): 12949 11347 566 18 0 12931 0
[pid=22517] vsize: 51796
Current children cumulated CPU time (s) 59.4
Current children cumulated vsize (Kb) 51796

[startup+70.0062 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 606754 0 0 0 5810 1082 0 0 25 0 1 0 1801115428 53039104 11287 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 12949 11287 566 18 0 12931 0
[pid=22517] vsize: 51796
Current children cumulated CPU time (s) 68.92
Current children cumulated vsize (Kb) 51796

[startup+80.0067 s]
Raw data (loadavg): 0.98 0.97 0.91 1/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) T 22516 22517 22582 0 -1 0 898807 0 0 0 6231 1610 0 0 25 0 1 0 1801115428 52727808 11271 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/22517/statm): 12873 11271 566 18 0 12855 0
[pid=22517] vsize: 51492
Current children cumulated CPU time (s) 78.41
Current children cumulated vsize (Kb) 51492

[startup+90.0073 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 1192908 0 0 0 6663 2127 0 0 25 0 1 0 1801115428 53039104 11328 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 12949 11328 566 18 0 12931 0
[pid=22517] vsize: 51796
Current children cumulated CPU time (s) 87.9
Current children cumulated vsize (Kb) 51796

[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.91 1/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) T 22516 22517 22582 0 -1 0 1487503 0 0 0 7100 2639 0 0 20 0 1 0 1801115428 52727808 11271 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/22517/statm): 12873 11271 566 18 0 12855 0
[pid=22517] vsize: 51492
Current children cumulated CPU time (s) 97.39
Current children cumulated vsize (Kb) 51492

[startup+110.008 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) T 22516 22517 22582 0 -1 0 1782763 0 0 0 7533 3154 0 0 25 0 1 0 1801115428 53039104 11271 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/22517/statm): 12949 11271 566 18 0 12931 0
[pid=22517] vsize: 51796
Current children cumulated CPU time (s) 106.87
Current children cumulated vsize (Kb) 51796

[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2079169 0 0 0 7964 3674 0 0 25 0 1 0 1801115428 53039104 11277 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 12949 11277 566 18 0 12931 0
[pid=22517] vsize: 51796
Current children cumulated CPU time (s) 116.38
Current children cumulated vsize (Kb) 51796

[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) T 22516 22517 22582 0 -1 0 2375107 0 0 0 8391 4196 0 0 25 0 1 0 1801115428 53039104 11347 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/22517/statm): 12949 11347 566 18 0 12931 0
[pid=22517] vsize: 51796
Current children cumulated CPU time (s) 125.87
Current children cumulated vsize (Kb) 51796

[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2501868 0 0 0 9159 4410 0 0 25 0 1 0 1801115428 53252096 11340 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 13001 11340 566 18 0 12983 0
[pid=22517] vsize: 52004
Current children cumulated CPU time (s) 135.69
Current children cumulated vsize (Kb) 52004

[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2501876 0 0 0 10159 4411 0 0 25 0 1 0 1801115428 53252096 11348 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 13001 11348 566 18 0 12983 0
[pid=22517] vsize: 52004
Current children cumulated CPU time (s) 145.7
Current children cumulated vsize (Kb) 52004

[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2501884 0 0 0 11159 4411 0 0 25 0 1 0 1801115428 53252096 11356 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 13001 11356 566 18 0 12983 0
[pid=22517] vsize: 52004
Current children cumulated CPU time (s) 155.7
Current children cumulated vsize (Kb) 52004

[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2501966 0 0 0 12158 4412 0 0 25 0 1 0 1801115428 53657600 11438 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 13100 11438 566 18 0 13082 0
[pid=22517] vsize: 52400
Current children cumulated CPU time (s) 165.7
Current children cumulated vsize (Kb) 52400

[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2502153 0 0 0 13157 4413 0 0 25 0 1 0 1801115428 54333440 11625 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 13265 11625 566 18 0 13247 0
[pid=22517] vsize: 53060
Current children cumulated CPU time (s) 175.7
Current children cumulated vsize (Kb) 53060

[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2502340 0 0 0 14157 4413 0 0 25 0 1 0 1801115428 55144448 11812 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 13463 11812 566 18 0 13445 0
[pid=22517] vsize: 53852
Current children cumulated CPU time (s) 185.7
Current children cumulated vsize (Kb) 53852

[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2502525 0 0 0 15156 4414 0 0 25 0 1 0 1801115428 55820288 11997 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 13628 11997 566 18 0 13610 0
[pid=22517] vsize: 54512
Current children cumulated CPU time (s) 195.7
Current children cumulated vsize (Kb) 54512

[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2502709 0 0 0 16155 4415 0 0 25 0 1 0 1801115428 56496128 12181 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 13793 12181 566 18 0 13775 0
[pid=22517] vsize: 55172
Current children cumulated CPU time (s) 205.7
Current children cumulated vsize (Kb) 55172

[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2502896 0 0 0 17154 4416 0 0 25 0 1 0 1801115428 57831424 12368 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 14119 12368 566 18 0 14101 0
[pid=22517] vsize: 56476
Current children cumulated CPU time (s) 215.7
Current children cumulated vsize (Kb) 56476

[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2503077 0 0 0 18153 4417 0 0 25 0 1 0 1801115428 58507264 12549 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 14284 12549 566 18 0 14266 0
[pid=22517] vsize: 57136
Current children cumulated CPU time (s) 225.7
Current children cumulated vsize (Kb) 57136

[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2503257 0 0 0 19152 4418 0 0 25 0 1 0 1801115428 59183104 12729 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 14449 12729 566 18 0 14431 0
[pid=22517] vsize: 57796
Current children cumulated CPU time (s) 235.7
Current children cumulated vsize (Kb) 57796

[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2503440 0 0 0 20150 4419 0 0 25 0 1 0 1801115428 59858944 12912 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 14614 12912 566 18 0 14596 0
[pid=22517] vsize: 58456
Current children cumulated CPU time (s) 245.69
Current children cumulated vsize (Kb) 58456

[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2503622 0 0 0 21149 4420 0 0 25 0 1 0 1801115428 60669952 13094 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 14812 13094 566 18 0 14794 0
[pid=22517] vsize: 59248
Current children cumulated CPU time (s) 255.69
Current children cumulated vsize (Kb) 59248

[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2503806 0 0 0 22148 4421 0 0 25 0 1 0 1801115428 61345792 13278 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 14977 13278 566 18 0 14959 0
[pid=22517] vsize: 59908
Current children cumulated CPU time (s) 265.69
Current children cumulated vsize (Kb) 59908

[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2503997 0 0 0 23147 4422 0 0 25 0 1 0 1801115428 62156800 13469 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 15175 13469 566 18 0 15157 0
[pid=22517] vsize: 60700
Current children cumulated CPU time (s) 275.69
Current children cumulated vsize (Kb) 60700

[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2504188 0 0 0 24146 4423 0 0 25 0 1 0 1801115428 62832640 13660 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 15340 13660 566 18 0 15322 0
[pid=22517] vsize: 61360
Current children cumulated CPU time (s) 285.69
Current children cumulated vsize (Kb) 61360

[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2504370 0 0 0 25145 4424 0 0 25 0 1 0 1801115428 63508480 13842 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 15505 13842 566 18 0 15487 0
[pid=22517] vsize: 62020
Current children cumulated CPU time (s) 295.69
Current children cumulated vsize (Kb) 62020

[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2504912 0 0 0 26143 4426 0 0 25 0 1 0 1801115428 65806336 14384 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 16066 14384 566 18 0 16048 0
[pid=22517] vsize: 64264
Current children cumulated CPU time (s) 305.69
Current children cumulated vsize (Kb) 64264

[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2505890 0 0 0 27139 4429 0 0 25 0 1 0 1801115428 69726208 15362 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 17023 15362 566 18 0 17005 0
[pid=22517] vsize: 68092
Current children cumulated CPU time (s) 315.68
Current children cumulated vsize (Kb) 68092

[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506354 0 0 0 28137 4431 0 0 25 0 1 0 1801115428 71675904 15794 4294967295 134512640 134578447 3221224624 3221223520 134519815 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 17499 15794 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 325.68
Current children cumulated vsize (Kb) 69996

[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 29137 4431 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 335.68
Current children cumulated vsize (Kb) 69996

[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 30136 4431 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223472 134556098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 345.67
Current children cumulated vsize (Kb) 69996

[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 31136 4432 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223552 134552650 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 355.68
Current children cumulated vsize (Kb) 69996

[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 32136 4432 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 365.68
Current children cumulated vsize (Kb) 69996

[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 33136 4433 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 375.69
Current children cumulated vsize (Kb) 69996

[startup+390.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 34135 4433 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223536 134557175 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 385.68
Current children cumulated vsize (Kb) 69996

[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 35135 4433 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 395.68
Current children cumulated vsize (Kb) 69996

[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 36135 4433 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223296 134523436 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 405.68
Current children cumulated vsize (Kb) 69996

[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 37135 4433 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 415.68
Current children cumulated vsize (Kb) 69996

[startup+430.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 38136 4433 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 425.69
Current children cumulated vsize (Kb) 69996

[startup+440.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 39136 4434 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 435.7
Current children cumulated vsize (Kb) 69996

[startup+450.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 40136 4434 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223584 134559011 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 445.7
Current children cumulated vsize (Kb) 69996

[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506355 0 0 0 41136 4434 0 0 25 0 1 0 1801115428 71675904 15795 4294967295 134512640 134578447 3221224624 3221223184 134525241 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15795 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 455.7
Current children cumulated vsize (Kb) 69996

[startup+470.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 42136 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223552 134552650 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 465.7
Current children cumulated vsize (Kb) 69996

[startup+480.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 43136 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223520 134519805 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 475.7
Current children cumulated vsize (Kb) 69996

[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 44137 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223476 134555723 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 485.71
Current children cumulated vsize (Kb) 69996

[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 45137 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 495.71
Current children cumulated vsize (Kb) 69996

[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 46137 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 505.71
Current children cumulated vsize (Kb) 69996

[startup+520.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 47137 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 515.71
Current children cumulated vsize (Kb) 69996

[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 48137 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223476 134555805 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 525.71
Current children cumulated vsize (Kb) 69996

[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 49137 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 535.71
Current children cumulated vsize (Kb) 69996

[startup+550.03 s]
Raw data (loadavg): 1.07 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 50138 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 545.72
Current children cumulated vsize (Kb) 69996

[startup+560.031 s]
Raw data (loadavg): 1.06 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 51138 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 555.72
Current children cumulated vsize (Kb) 69996

[startup+570.031 s]
Raw data (loadavg): 1.05 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 52138 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 565.72
Current children cumulated vsize (Kb) 69996

[startup+580.031 s]
Raw data (loadavg): 1.04 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 53138 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 575.72
Current children cumulated vsize (Kb) 69996

[startup+590.032 s]
Raw data (loadavg): 1.03 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 54138 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 585.72
Current children cumulated vsize (Kb) 69996

[startup+600.032 s]
Raw data (loadavg): 1.03 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 55138 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 595.72
Current children cumulated vsize (Kb) 69996

[startup+610.033 s]
Raw data (loadavg): 1.02 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506356 0 0 0 56139 4434 0 0 25 0 1 0 1801115428 71675904 15796 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17499 15796 566 18 0 17481 0
[pid=22517] vsize: 69996
Current children cumulated CPU time (s) 605.73
Current children cumulated vsize (Kb) 69996

[startup+620.033 s]
Raw data (loadavg): 1.02 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506389 0 0 0 57139 4434 0 0 25 0 1 0 1801115428 71938048 15829 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17563 15829 566 18 0 17545 0
[pid=22517] vsize: 70252
Current children cumulated CPU time (s) 615.73
Current children cumulated vsize (Kb) 70252

[startup+630.033 s]
Raw data (loadavg): 1.02 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506391 0 0 0 58139 4435 0 0 25 0 1 0 1801115428 71938048 15831 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17563 15831 566 18 0 17545 0
[pid=22517] vsize: 70252
Current children cumulated CPU time (s) 625.74
Current children cumulated vsize (Kb) 70252

[startup+640.033 s]
Raw data (loadavg): 1.01 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506392 0 0 0 59139 4435 0 0 25 0 1 0 1801115428 71938048 15832 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17563 15832 566 18 0 17545 0
[pid=22517] vsize: 70252
Current children cumulated CPU time (s) 635.74
Current children cumulated vsize (Kb) 70252

[startup+650.033 s]
Raw data (loadavg): 1.01 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506392 0 0 0 60139 4435 0 0 25 0 1 0 1801115428 71938048 15832 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17563 15832 566 18 0 17545 0
[pid=22517] vsize: 70252
Current children cumulated CPU time (s) 645.74
Current children cumulated vsize (Kb) 70252

[startup+660.034 s]
Raw data (loadavg): 1.01 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506393 0 0 0 61139 4435 0 0 25 0 1 0 1801115428 71938048 15833 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17563 15833 566 18 0 17545 0
[pid=22517] vsize: 70252
Current children cumulated CPU time (s) 655.74
Current children cumulated vsize (Kb) 70252

[startup+670.034 s]
Raw data (loadavg): 1.01 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506394 0 0 0 62140 4435 0 0 25 0 1 0 1801115428 71938048 15834 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17563 15834 566 18 0 17545 0
[pid=22517] vsize: 70252
Current children cumulated CPU time (s) 665.75
Current children cumulated vsize (Kb) 70252

[startup+680.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506395 0 0 0 63140 4435 0 0 25 0 1 0 1801115428 71938048 15835 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17563 15835 566 18 0 17545 0
[pid=22517] vsize: 70252
Current children cumulated CPU time (s) 675.75
Current children cumulated vsize (Kb) 70252

[startup+690.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506396 0 0 0 64140 4435 0 0 25 0 1 0 1801115428 71938048 15836 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17563 15836 566 18 0 17545 0
[pid=22517] vsize: 70252
Current children cumulated CPU time (s) 685.75
Current children cumulated vsize (Kb) 70252

[startup+700.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506398 0 0 0 65140 4435 0 0 25 0 1 0 1801115428 71938048 15838 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17563 15838 566 18 0 17545 0
[pid=22517] vsize: 70252
Current children cumulated CPU time (s) 695.75
Current children cumulated vsize (Kb) 70252

[startup+710.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506401 0 0 0 66140 4435 0 0 25 0 1 0 1801115428 71938048 15841 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17563 15841 566 18 0 17545 0
[pid=22517] vsize: 70252
Current children cumulated CPU time (s) 705.75
Current children cumulated vsize (Kb) 70252

[startup+720.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506402 0 0 0 67140 4435 0 0 25 0 1 0 1801115428 71938048 15842 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17563 15842 566 18 0 17545 0
[pid=22517] vsize: 70252
Current children cumulated CPU time (s) 715.75
Current children cumulated vsize (Kb) 70252

[startup+730.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506403 0 0 0 68141 4435 0 0 25 0 1 0 1801115428 71938048 15843 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17563 15843 566 18 0 17545 0
[pid=22517] vsize: 70252
Current children cumulated CPU time (s) 725.76
Current children cumulated vsize (Kb) 70252

[startup+740.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506405 0 0 0 69141 4435 0 0 25 0 1 0 1801115428 71938048 15845 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17563 15845 566 18 0 17545 0
[pid=22517] vsize: 70252
Current children cumulated CPU time (s) 735.76
Current children cumulated vsize (Kb) 70252

[startup+750.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506406 0 0 0 70141 4435 0 0 25 0 1 0 1801115428 71938048 15846 4294967295 134512640 134578447 3221224624 3221223536 134557049 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17563 15846 566 18 0 17545 0
[pid=22517] vsize: 70252
Current children cumulated CPU time (s) 745.76
Current children cumulated vsize (Kb) 70252

[startup+760.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506408 0 0 0 71141 4435 0 0 25 0 1 0 1801115428 71938048 15848 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17563 15848 566 18 0 17545 0
[pid=22517] vsize: 70252
Current children cumulated CPU time (s) 755.76
Current children cumulated vsize (Kb) 70252

[startup+770.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506410 0 0 0 72142 4435 0 0 25 0 1 0 1801115428 71938048 15850 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17563 15850 566 18 0 17545 0
[pid=22517] vsize: 70252
Current children cumulated CPU time (s) 765.77
Current children cumulated vsize (Kb) 70252

[startup+780.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506413 0 0 0 73142 4435 0 0 25 0 1 0 1801115428 71938048 15853 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17563 15853 566 18 0 17545 0
[pid=22517] vsize: 70252
Current children cumulated CPU time (s) 775.77
Current children cumulated vsize (Kb) 70252

[startup+790.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506417 0 0 0 74142 4435 0 0 25 0 1 0 1801115428 71938048 15857 4294967295 134512640 134578447 3221224624 3221223568 134558692 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17563 15857 566 18 0 17545 0
[pid=22517] vsize: 70252
Current children cumulated CPU time (s) 785.77
Current children cumulated vsize (Kb) 70252

[startup+800.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506419 0 0 0 75142 4435 0 0 25 0 1 0 1801115428 71938048 15859 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17563 15859 566 18 0 17545 0
[pid=22517] vsize: 70252
Current children cumulated CPU time (s) 795.77
Current children cumulated vsize (Kb) 70252

[startup+810.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506422 0 0 0 76142 4435 0 0 25 0 1 0 1801115428 72200192 15862 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17627 15862 566 18 0 17609 0
[pid=22517] vsize: 70508
Current children cumulated CPU time (s) 805.77
Current children cumulated vsize (Kb) 70508

[startup+820.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506425 0 0 0 77141 4437 0 0 25 0 1 0 1801115428 72200192 15865 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17627 15865 566 18 0 17609 0
[pid=22517] vsize: 70508
Current children cumulated CPU time (s) 815.78
Current children cumulated vsize (Kb) 70508

[startup+830.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506427 0 0 0 78141 4437 0 0 25 0 1 0 1801115428 72200192 15867 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17627 15867 566 18 0 17609 0
[pid=22517] vsize: 70508
Current children cumulated CPU time (s) 825.78
Current children cumulated vsize (Kb) 70508

[startup+840.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506429 0 0 0 79141 4438 0 0 25 0 1 0 1801115428 72200192 15869 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17627 15869 566 18 0 17609 0
[pid=22517] vsize: 70508
Current children cumulated CPU time (s) 835.79
Current children cumulated vsize (Kb) 70508

[startup+850.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506431 0 0 0 80141 4438 0 0 25 0 1 0 1801115428 72200192 15871 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17627 15871 566 18 0 17609 0
[pid=22517] vsize: 70508
Current children cumulated CPU time (s) 845.79
Current children cumulated vsize (Kb) 70508

[startup+860.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506432 0 0 0 81141 4438 0 0 25 0 1 0 1801115428 72200192 15872 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17627 15872 566 18 0 17609 0
[pid=22517] vsize: 70508
Current children cumulated CPU time (s) 855.79
Current children cumulated vsize (Kb) 70508

[startup+870.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506432 0 0 0 82141 4438 0 0 25 0 1 0 1801115428 72200192 15872 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17627 15872 566 18 0 17609 0
[pid=22517] vsize: 70508
Current children cumulated CPU time (s) 865.79
Current children cumulated vsize (Kb) 70508

[startup+880.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506433 0 0 0 83141 4438 0 0 25 0 1 0 1801115428 72200192 15873 4294967295 134512640 134578447 3221224624 3221223384 1075285943 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17627 15873 566 18 0 17609 0
[pid=22517] vsize: 70508
Current children cumulated CPU time (s) 875.79
Current children cumulated vsize (Kb) 70508

[startup+890.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506434 0 0 0 84141 4438 0 0 25 0 1 0 1801115428 72200192 15874 4294967295 134512640 134578447 3221224624 3221223536 134557013 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17627 15874 566 18 0 17609 0
[pid=22517] vsize: 70508
Current children cumulated CPU time (s) 885.79
Current children cumulated vsize (Kb) 70508

[startup+900.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506434 0 0 0 85141 4439 0 0 25 0 1 0 1801115428 72200192 15874 4294967295 134512640 134578447 3221224624 3221223564 134552640 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17627 15874 566 18 0 17609 0
[pid=22517] vsize: 70508
Current children cumulated CPU time (s) 895.8
Current children cumulated vsize (Kb) 70508

[startup+910.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506435 0 0 0 86141 4439 0 0 25 0 1 0 1801115428 72200192 15875 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17627 15875 566 18 0 17609 0
[pid=22517] vsize: 70508
Current children cumulated CPU time (s) 905.8
Current children cumulated vsize (Kb) 70508

[startup+920.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506436 0 0 0 87141 4439 0 0 25 0 1 0 1801115428 72200192 15876 4294967295 134512640 134578447 3221224624 3221223520 134519760 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17627 15876 566 18 0 17609 0
[pid=22517] vsize: 70508
Current children cumulated CPU time (s) 915.8
Current children cumulated vsize (Kb) 70508

[startup+930.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506437 0 0 0 88141 4439 0 0 25 0 1 0 1801115428 72200192 15877 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17627 15877 566 18 0 17609 0
[pid=22517] vsize: 70508
Current children cumulated CPU time (s) 925.8
Current children cumulated vsize (Kb) 70508

[startup+940.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506438 0 0 0 89142 4439 0 0 25 0 1 0 1801115428 72200192 15878 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17627 15878 566 18 0 17609 0
[pid=22517] vsize: 70508
Current children cumulated CPU time (s) 935.81
Current children cumulated vsize (Kb) 70508

[startup+950.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506439 0 0 0 90142 4439 0 0 25 0 1 0 1801115428 72200192 15879 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17627 15879 566 18 0 17609 0
[pid=22517] vsize: 70508
Current children cumulated CPU time (s) 945.81
Current children cumulated vsize (Kb) 70508

[startup+960.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506441 0 0 0 91142 4439 0 0 25 0 1 0 1801115428 72200192 15881 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17627 15881 566 18 0 17609 0
[pid=22517] vsize: 70508
Current children cumulated CPU time (s) 955.81
Current children cumulated vsize (Kb) 70508

[startup+970.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506442 0 0 0 92142 4439 0 0 25 0 1 0 1801115428 72200192 15882 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17627 15882 566 18 0 17609 0
[pid=22517] vsize: 70508
Current children cumulated CPU time (s) 965.81
Current children cumulated vsize (Kb) 70508

[startup+980.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506513 0 0 0 93142 4439 0 0 25 0 1 0 1801115428 72597504 15953 4294967295 134512640 134578447 3221224624 3221223536 134558099 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17724 15953 566 18 0 17706 0
[pid=22517] vsize: 70896
Current children cumulated CPU time (s) 975.81
Current children cumulated vsize (Kb) 70896

[startup+990.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506755 0 0 0 94141 4440 0 0 25 0 1 0 1801115428 73523200 16195 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 17950 16195 566 18 0 17932 0
[pid=22517] vsize: 71800
Current children cumulated CPU time (s) 985.81
Current children cumulated vsize (Kb) 71800

[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2506850 0 0 0 95140 4441 0 0 25 0 1 0 1801115428 73928704 16290 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 18049 16290 566 18 0 18031 0
[pid=22517] vsize: 72196
Current children cumulated CPU time (s) 995.81
Current children cumulated vsize (Kb) 72196

[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2507245 0 0 0 96139 4442 0 0 25 0 1 0 1801115428 75522048 16685 4294967295 134512640 134578447 3221224624 3221223300 1075288176 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 18438 16685 566 18 0 18420 0
[pid=22517] vsize: 73752
Current children cumulated CPU time (s) 1005.81
Current children cumulated vsize (Kb) 73752

[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2507471 0 0 0 97138 4443 0 0 25 0 1 0 1801115428 76447744 16911 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 18664 16911 566 18 0 18646 0
[pid=22517] vsize: 74656
Current children cumulated CPU time (s) 1015.81
Current children cumulated vsize (Kb) 74656

[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2508046 0 0 0 98136 4444 0 0 25 0 1 0 1801115428 78872576 17486 4294967295 134512640 134578447 3221224624 3221223476 134555786 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 19256 17486 566 18 0 19238 0
[pid=22517] vsize: 77024
Current children cumulated CPU time (s) 1025.8
Current children cumulated vsize (Kb) 77024

[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2508450 0 0 0 99135 4446 0 0 25 0 1 0 1801115428 80506880 17890 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 19655 17890 566 18 0 19637 0
[pid=22517] vsize: 78620
Current children cumulated CPU time (s) 1035.81
Current children cumulated vsize (Kb) 78620

[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2508610 0 0 0 100134 4446 0 0 25 0 1 0 1801115428 81182720 18050 4294967295 134512640 134578447 3221224624 3221223472 134558331 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 19820 18050 566 18 0 19802 0
[pid=22517] vsize: 79280
Current children cumulated CPU time (s) 1045.8
Current children cumulated vsize (Kb) 79280

[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2509000 0 0 0 101133 4447 0 0 25 0 1 0 1801115428 82763776 18440 4294967295 134512640 134578447 3221224624 3221223472 134558389 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 20206 18440 566 18 0 20188 0
[pid=22517] vsize: 80824
Current children cumulated CPU time (s) 1055.8
Current children cumulated vsize (Kb) 80824

[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2509401 0 0 0 102132 4448 0 0 25 0 1 0 1801115428 84357120 18841 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 20595 18841 566 18 0 20577 0
[pid=22517] vsize: 82380
Current children cumulated CPU time (s) 1065.8
Current children cumulated vsize (Kb) 82380

[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2509576 0 0 0 103132 4449 0 0 25 0 1 0 1801115428 85032960 19016 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 20760 19016 566 18 0 20742 0
[pid=22517] vsize: 83040
Current children cumulated CPU time (s) 1075.81
Current children cumulated vsize (Kb) 83040

[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2509964 0 0 0 104131 4450 0 0 25 0 1 0 1801115428 86618112 19404 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 21147 19404 566 18 0 21129 0
[pid=22517] vsize: 84588
Current children cumulated CPU time (s) 1085.81
Current children cumulated vsize (Kb) 84588

[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2510283 0 0 0 105129 4451 0 0 25 0 1 0 1801115428 87945216 19723 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 21471 19723 566 18 0 21453 0
[pid=22517] vsize: 85884
Current children cumulated CPU time (s) 1095.8
Current children cumulated vsize (Kb) 85884

[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2510671 0 0 0 106128 4452 0 0 25 0 1 0 1801115428 89534464 20111 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 21859 20111 566 18 0 21841 0
[pid=22517] vsize: 87436
Current children cumulated CPU time (s) 1105.8
Current children cumulated vsize (Kb) 87436

[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2510979 0 0 0 107127 4453 0 0 25 0 1 0 1801115428 90861568 20419 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 22183 20419 566 18 0 22165 0
[pid=22517] vsize: 88732
Current children cumulated CPU time (s) 1115.8
Current children cumulated vsize (Kb) 88732

[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2511272 0 0 0 108126 4454 0 0 25 0 1 0 1801115428 92065792 20712 4294967295 134512640 134578447 3221224624 3221223472 134558328 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 22477 20712 566 18 0 22459 0
[pid=22517] vsize: 89908
Current children cumulated CPU time (s) 1125.8
Current children cumulated vsize (Kb) 89908

[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2511536 0 0 0 109126 4455 0 0 25 0 1 0 1801115428 93110272 20976 4294967295 134512640 134578447 3221224624 3221223200 1075291010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 22732 20976 566 18 0 22714 0
[pid=22517] vsize: 90928
Current children cumulated CPU time (s) 1135.81
Current children cumulated vsize (Kb) 90928

[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2511898 0 0 0 110124 4456 0 0 25 0 1 0 1801115428 94547968 21338 4294967295 134512640 134578447 3221224624 3221223584 134559077 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 23083 21338 566 18 0 23065 0
[pid=22517] vsize: 92332
Current children cumulated CPU time (s) 1145.8
Current children cumulated vsize (Kb) 92332

[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2512266 0 0 0 111123 4458 0 0 25 0 1 0 1801115428 96083968 21706 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 23458 21706 566 18 0 23440 0
[pid=22517] vsize: 93832
Current children cumulated CPU time (s) 1155.81
Current children cumulated vsize (Kb) 93832

[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2512668 0 0 0 112121 4459 0 0 25 0 1 0 1801115428 97771520 22108 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 23870 22108 566 18 0 23852 0
[pid=22517] vsize: 95480
Current children cumulated CPU time (s) 1165.8
Current children cumulated vsize (Kb) 95480

[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2512884 0 0 0 113120 4460 0 0 25 0 1 0 1801115428 98672640 22324 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 24090 22324 566 18 0 24072 0
[pid=22517] vsize: 96360
Current children cumulated CPU time (s) 1175.8
Current children cumulated vsize (Kb) 96360

[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2513188 0 0 0 114119 4460 0 0 25 0 1 0 1801115428 99844096 22628 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 24376 22628 566 18 0 24358 0
[pid=22517] vsize: 97504
Current children cumulated CPU time (s) 1185.79
Current children cumulated vsize (Kb) 97504

[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2513497 0 0 0 115118 4461 0 0 25 0 1 0 1801115428 101126144 22937 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 24689 22937 566 18 0 24671 0
[pid=22517] vsize: 98756
Current children cumulated CPU time (s) 1195.79
Current children cumulated vsize (Kb) 98756

[startup+1210.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2513801 0 0 0 116117 4462 0 0 25 0 1 0 1801115428 102416384 23241 4294967295 134512640 134578447 3221224624 3221223584 134559068 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 25004 23241 566 18 0 24986 0
[pid=22517] vsize: 100016
Current children cumulated CPU time (s) 1205.79
Current children cumulated vsize (Kb) 100016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 22517
Raw data (/proc/22517/stat): 22517 (Pueblo) R 22516 22517 22582 0 -1 0 2513801 0 0 0 116117 4462 0 0 25 0 1 0 1801115428 102416384 23241 4294967295 134512640 134578447 3221224624 3221223564 134552640 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22517/statm): 25004 23241 566 18 0 24986 0
[pid=22517] vsize: 100016
Current children cumulated CPU time (s) 1205.79
Current children cumulated vsize (Kb) 100016

Sending SIGTERM to -22517
Sleeping 2 seconds
One traced child (pid=22517) 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): 1205.85
CPU user time (s): 1161.18
CPU system time (s): 44.6702
CPU usage (%): 99.6491
Max. virtual memory (cumulated for all children) (Kb): 100016

Verifier Data

ERROR: no interpretation found !