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-cache-ibm-q-unbounded.Ih1arity.ucl.opb
MD5SUM2fc65c15b9b26fc3028e8a890f1d86ad
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 131
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 513
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables201731
Total number of constraints592525
Number of constraints which are clauses579429
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13096
Minimum length of a constraint1
Maximum length of a constraint15

Trace number 7859

Launcher Data

LAUNCH ON wulflinc20 THE 2005-09-20 14:33:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4994 boxname=wulflinc20 idbench=306 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  2fc65c15b9b26fc3028e8a890f1d86ad  /oldhome/oroussel/tmp/wulflinc20/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4994
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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:        847364 kB
Buffers:         32248 kB
Cached:         125424 kB
SwapCached:        904 kB
Active:          91540 kB
Inactive:        68932 kB
HighTotal:      131008 kB
HighFree:         3780 kB
LowTotal:       903652 kB
LowFree:        843584 kB
SwapTotal:     2097892 kB
SwapFree:      2096536 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5736 kB
Slab:            21152 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 14:54:35 (client local time) WITH STATUS 0 IN 1209.07 SECONDS
stats: 4994 7 1209.07 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/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859291324 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 41 3 40 18 0 23 0
[pid=1995] 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.0036 s]
Raw data (loadavg): 0.88 0.97 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 10943 0 0 0 951 36 0 0 25 0 1 0 1859291324 46419968 10909 4294967295 134512640 134578447 3221224624 3221092224 134534124 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 11333 10909 566 18 0 11315 0
[pid=1995] vsize: 45332
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (Kb) 45332

[startup+20.0053 s]
Raw data (loadavg): 0.90 0.97 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 20798 0 0 0 1907 70 0 0 25 0 1 0 1859291324 86794240 20764 4294967295 134512640 134578447 3221224624 3221090376 1075275622 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 21190 20764 566 18 0 21172 0
[pid=1995] vsize: 84760
Current children cumulated CPU time (s) 19.77
Current children cumulated vsize (Kb) 84760

[startup+30.006 s]
Raw data (loadavg): 0.91 0.97 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 176751 0 0 0 2556 402 0 0 25 0 1 0 1859291324 124928000 28686 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28693 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 29.58
Current children cumulated vsize (Kb) 122000

[startup+40.0067 s]
Raw data (loadavg): 0.93 0.97 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 454967 0 0 0 2957 972 0 0 25 0 1 0 1859291324 124928000 28712 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28719 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 39.29
Current children cumulated vsize (Kb) 122000

[startup+50.0075 s]
Raw data (loadavg): 0.94 0.97 0.91 1/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 732015 0 0 0 3357 1542 0 0 25 0 1 0 1859291324 124928000 28758 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28758 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 48.99
Current children cumulated vsize (Kb) 122000

[startup+60.0082 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 1009492 0 0 0 3770 2104 0 0 25 0 1 0 1859291324 124928000 28640 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28647 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 58.74
Current children cumulated vsize (Kb) 122000

[startup+70.0089 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 1287360 0 0 0 4164 2685 0 0 25 0 1 0 1859291324 124928000 28713 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28720 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 68.49
Current children cumulated vsize (Kb) 122000

[startup+80.0096 s]
Raw data (loadavg): 0.96 0.97 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 1565358 0 0 0 4565 3259 0 0 25 0 1 0 1859291324 124928000 28719 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28725 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 78.24
Current children cumulated vsize (Kb) 122000

[startup+90.0094 s]
Raw data (loadavg): 0.97 0.97 0.91 1/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 1844775 0 0 0 4968 3831 0 0 25 0 1 0 1859291324 124116992 28560 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30302 28560 566 18 0 30284 0
[pid=1995] vsize: 121208
Current children cumulated CPU time (s) 87.99
Current children cumulated vsize (Kb) 121208

[startup+100.01 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 2122022 0 0 0 5367 4406 0 0 25 0 1 0 1859291324 124928000 28607 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28615 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 97.73
Current children cumulated vsize (Kb) 122000

[startup+110.011 s]
Raw data (loadavg): 0.97 0.97 0.91 1/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 2400759 0 0 0 5772 4974 0 0 25 0 1 0 1859291324 124928000 28560 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/1995/statm): 30500 28560 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 107.46
Current children cumulated vsize (Kb) 122000

[startup+120.012 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 2681679 0 0 0 6178 5546 0 0 25 0 1 0 1859291324 124928000 28716 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1995/statm): 30500 28716 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 117.24
Current children cumulated vsize (Kb) 122000

[startup+130.012 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 2960364 0 0 0 6583 6118 0 0 25 0 1 0 1859291324 124928000 28617 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28624 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 127.01
Current children cumulated vsize (Kb) 122000

[startup+140.012 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 3237705 0 0 0 6979 6696 0 0 25 0 1 0 1859291324 124928000 28758 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28758 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 136.75
Current children cumulated vsize (Kb) 122000

[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 3517955 0 0 0 7378 7274 0 0 25 0 1 0 1859291324 124928000 28640 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1995/statm): 30500 28640 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 146.52
Current children cumulated vsize (Kb) 122000

[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 3798243 0 0 0 7782 7845 0 0 24 0 1 0 1859291324 124928000 28758 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28758 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 156.27
Current children cumulated vsize (Kb) 122000

[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 4075978 0 0 0 8182 8420 0 0 25 0 1 0 1859291324 124928000 28699 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28706 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 166.02
Current children cumulated vsize (Kb) 122000

[startup+180.015 s]
Raw data (loadavg): 1.07 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 4354572 0 0 0 8583 8993 0 0 25 0 1 0 1859291324 124928000 28707 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1995/statm): 30500 28707 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 175.76
Current children cumulated vsize (Kb) 122000

[startup+190.015 s]
Raw data (loadavg): 1.06 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 4631625 0 0 0 8979 9570 0 0 25 0 1 0 1859291324 124928000 28758 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28758 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 185.49
Current children cumulated vsize (Kb) 122000

[startup+200.015 s]
Raw data (loadavg): 1.05 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 4909012 0 0 0 9379 10145 0 0 25 0 1 0 1859291324 124928000 28747 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28754 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 195.24
Current children cumulated vsize (Kb) 122000

[startup+210.016 s]
Raw data (loadavg): 1.04 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 5186223 0 0 0 9775 10723 0 0 25 0 1 0 1859291324 124928000 28758 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28758 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 204.98
Current children cumulated vsize (Kb) 122000

[startup+220.017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 5463457 0 0 0 10184 11288 0 0 25 0 1 0 1859291324 124928000 28594 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28602 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 214.72
Current children cumulated vsize (Kb) 122000

[startup+230.016 s]
Raw data (loadavg): 1.03 0.99 0.91 1/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 5740623 0 0 0 10586 11861 0 0 25 0 1 0 1859291324 124116992 28560 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30302 28560 566 18 0 30284 0
[pid=1995] vsize: 121208
Current children cumulated CPU time (s) 224.47
Current children cumulated vsize (Kb) 121208

[startup+240.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 6018219 0 0 0 10980 12444 0 0 25 0 1 0 1859291324 124928000 28758 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28758 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 234.24
Current children cumulated vsize (Kb) 122000

[startup+250.017 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 6295815 0 0 0 11376 13023 0 0 25 0 1 0 1859291324 124928000 28758 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28758 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 243.99
Current children cumulated vsize (Kb) 122000

[startup+260.018 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 6573313 0 0 0 11770 13603 0 0 25 0 1 0 1859291324 124928000 28660 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28667 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 253.73
Current children cumulated vsize (Kb) 122000

[startup+270.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 6850738 0 0 0 12169 14178 0 0 25 0 1 0 1859291324 124928000 28687 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28694 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 263.47
Current children cumulated vsize (Kb) 122000

[startup+280.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 7128009 0 0 0 12567 14755 0 0 25 0 1 0 1859291324 124928000 28758 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28758 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 273.22
Current children cumulated vsize (Kb) 122000

[startup+290.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 7405177 0 0 0 12971 15324 0 0 25 0 1 0 1859291324 124928000 28726 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28732 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 282.95
Current children cumulated vsize (Kb) 122000

[startup+300.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 7681905 0 0 0 13378 15894 0 0 25 0 1 0 1859291324 124928000 28650 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28658 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 292.72
Current children cumulated vsize (Kb) 122000

[startup+310.02 s]
Raw data (loadavg): 1.01 0.99 0.91 3/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 7958808 0 0 0 13773 16471 0 0 25 0 1 0 1859291324 124928000 28749 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28755 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 302.44
Current children cumulated vsize (Kb) 122000

[startup+320.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 8236531 0 0 0 14177 17041 0 0 25 0 1 0 1859291324 124928000 28679 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28686 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 312.18
Current children cumulated vsize (Kb) 122000

[startup+330.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 8514351 0 0 0 14578 17617 0 0 25 0 1 0 1859291324 124928000 28704 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28711 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 321.95
Current children cumulated vsize (Kb) 122000

[startup+340.021 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 8791803 0 0 0 14980 18191 0 0 25 0 1 0 1859291324 124116992 28560 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30302 28560 566 18 0 30284 0
[pid=1995] vsize: 121208
Current children cumulated CPU time (s) 331.71
Current children cumulated vsize (Kb) 121208

[startup+350.022 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 9069201 0 0 0 15378 18766 0 0 25 0 1 0 1859291324 124116992 28560 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30302 28560 566 18 0 30284 0
[pid=1995] vsize: 121208
Current children cumulated CPU time (s) 341.44
Current children cumulated vsize (Kb) 121208

[startup+360.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 9346704 0 0 0 15778 19340 0 0 25 0 1 0 1859291324 124928000 28666 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28673 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 351.18
Current children cumulated vsize (Kb) 122000

[startup+370.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 9623290 0 0 0 16182 19909 0 0 25 0 1 0 1859291324 124928000 28645 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28653 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 360.91
Current children cumulated vsize (Kb) 122000

[startup+380.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 9900682 0 0 0 16586 20481 0 0 25 0 1 0 1859291324 124928000 28640 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28648 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 370.67
Current children cumulated vsize (Kb) 122000

[startup+390.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 10177922 0 0 0 16991 21048 0 0 25 0 1 0 1859291324 124928000 28679 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28686 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 380.39
Current children cumulated vsize (Kb) 122000

[startup+400.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 10457102 0 0 0 17389 21625 0 0 25 0 1 0 1859291324 124928000 28679 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28685 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 390.14
Current children cumulated vsize (Kb) 122000

[startup+410.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 10734945 0 0 0 17792 22199 0 0 25 0 1 0 1859291324 124928000 28728 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28736 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 399.91
Current children cumulated vsize (Kb) 122000

[startup+420.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 11012830 0 0 0 18192 22773 0 0 25 0 1 0 1859291324 124928000 28621 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28630 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 409.65
Current children cumulated vsize (Kb) 122000

[startup+430.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 11290761 0 0 0 18595 23346 0 0 25 0 1 0 1859291324 124928000 28758 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28758 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 419.41
Current children cumulated vsize (Kb) 122000

[startup+440.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 11568749 0 0 0 18993 23923 0 0 25 0 1 0 1859291324 124928000 28754 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28758 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 429.16
Current children cumulated vsize (Kb) 122000

[startup+450.026 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 11845953 0 0 0 19389 24502 0 0 25 0 1 0 1859291324 124116992 28560 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30302 28560 566 18 0 30284 0
[pid=1995] vsize: 121208
Current children cumulated CPU time (s) 438.91
Current children cumulated vsize (Kb) 121208

[startup+460.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 12123051 0 0 0 19794 25072 0 0 25 0 1 0 1859291324 124928000 28656 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28665 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 448.66
Current children cumulated vsize (Kb) 122000

[startup+470.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 12401885 0 0 0 20204 25635 0 0 25 0 1 0 1859291324 124928000 28706 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28713 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 458.39
Current children cumulated vsize (Kb) 122000

[startup+480.028 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 12679731 0 0 0 20608 26206 0 0 25 0 1 0 1859291324 124116992 28560 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30302 28560 566 18 0 30284 0
[pid=1995] vsize: 121208
Current children cumulated CPU time (s) 468.14
Current children cumulated vsize (Kb) 121208

[startup+490.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 12957709 0 0 0 21011 26779 0 0 25 0 1 0 1859291324 124928000 28744 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30500 28751 566 18 0 30482 0
[pid=1995] vsize: 122000
Current children cumulated CPU time (s) 477.9
Current children cumulated vsize (Kb) 122000

[startup+500.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 13234791 0 0 0 21410 27355 0 0 25 0 1 0 1859291324 125452288 28824 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28824 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 487.65
Current children cumulated vsize (Kb) 122512

[startup+510.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 13511247 0 0 0 21814 27926 0 0 25 0 1 0 1859291324 125452288 28674 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28682 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 497.4
Current children cumulated vsize (Kb) 122512

[startup+520.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 13788076 0 0 0 22209 28506 0 0 25 0 1 0 1859291324 125452288 28699 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28707 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 507.15
Current children cumulated vsize (Kb) 122512

[startup+530.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 14065347 0 0 0 22619 29070 0 0 25 0 1 0 1859291324 125452288 28770 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28776 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 516.89
Current children cumulated vsize (Kb) 122512

[startup+540.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 14344108 0 0 0 23016 29648 0 0 25 0 1 0 1859291324 125452288 28747 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1995/statm): 30628 28747 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 526.64
Current children cumulated vsize (Kb) 122512

[startup+550.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 14623272 0 0 0 23416 30223 0 0 25 0 1 0 1859291324 125452288 28731 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28739 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 536.39
Current children cumulated vsize (Kb) 122512

[startup+560.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 14899600 0 0 0 23813 30802 0 0 25 0 1 0 1859291324 125452288 28651 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28660 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 546.15
Current children cumulated vsize (Kb) 122512

[startup+570.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 15176349 0 0 0 24209 31380 0 0 25 0 1 0 1859291324 125452288 28794 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28801 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 555.89
Current children cumulated vsize (Kb) 122512

[startup+580.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 15452993 0 0 0 24608 31957 0 0 25 0 1 0 1859291324 125452288 28832 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28835 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 565.65
Current children cumulated vsize (Kb) 122512

[startup+590.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 15729662 0 0 0 25011 32530 0 0 25 0 1 0 1859291324 125452288 28697 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28706 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 575.41
Current children cumulated vsize (Kb) 122512

[startup+600.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 16006947 0 0 0 25415 33098 0 0 25 0 1 0 1859291324 125452288 28783 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1995/statm): 30628 28783 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 585.13
Current children cumulated vsize (Kb) 122512

[startup+610.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 16284698 0 0 0 25807 33678 0 0 25 0 1 0 1859291324 125452288 28739 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1995/statm): 30628 28739 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 594.85
Current children cumulated vsize (Kb) 122512

[startup+620.035 s]
Raw data (loadavg): 1.08 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 16562910 0 0 0 26211 34250 0 0 20 0 1 0 1859291324 125452288 28761 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28767 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 604.61
Current children cumulated vsize (Kb) 122512

[startup+630.034 s]
Raw data (loadavg): 1.07 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 16840103 0 0 0 26611 34824 0 0 25 0 1 0 1859291324 125452288 28755 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28762 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 614.35
Current children cumulated vsize (Kb) 122512

[startup+640.034 s]
Raw data (loadavg): 1.06 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 17117188 0 0 0 27005 35404 0 0 25 0 1 0 1859291324 125452288 28837 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28843 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 624.09
Current children cumulated vsize (Kb) 122512

[startup+650.035 s]
Raw data (loadavg): 1.05 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 17394279 0 0 0 27405 35979 0 0 25 0 1 0 1859291324 125452288 28728 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28736 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 633.84
Current children cumulated vsize (Kb) 122512

[startup+660.035 s]
Raw data (loadavg): 1.04 1.00 0.92 1/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 17671003 0 0 0 27810 36549 0 0 25 0 1 0 1859291324 125452288 28648 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28648 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 643.59
Current children cumulated vsize (Kb) 122512

[startup+670.035 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 17947934 0 0 0 28199 37132 0 0 25 0 1 0 1859291324 125452288 28775 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28782 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 653.31
Current children cumulated vsize (Kb) 122512

[startup+680.036 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 18225326 0 0 0 28597 37707 0 0 25 0 1 0 1859291324 125452288 28769 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28777 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 663.04
Current children cumulated vsize (Kb) 122512

[startup+690.036 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 18502910 0 0 0 29009 38267 0 0 25 0 1 0 1859291324 125452288 28757 4294967295 134512640 134578447 3221224624 3221223616 134532004 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1995/statm): 30628 28757 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 672.76
Current children cumulated vsize (Kb) 122512

[startup+700.036 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 18780895 0 0 0 29414 38836 0 0 25 0 1 0 1859291324 125452288 28750 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28757 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 682.5
Current children cumulated vsize (Kb) 122512

[startup+710.036 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 19058395 0 0 0 29812 39414 0 0 25 0 1 0 1859291324 125452288 28852 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28852 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 692.26
Current children cumulated vsize (Kb) 122512

[startup+720.037 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 19337076 0 0 0 30209 39991 0 0 25 0 1 0 1859291324 125452288 28749 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1995/statm): 30628 28749 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 702
Current children cumulated vsize (Kb) 122512

[startup+730.038 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 19614778 0 0 0 30612 40563 0 0 25 0 1 0 1859291324 125452288 28855 4294967295 134512640 134578447 3221224624 3221223632 134531608 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28855 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 711.75
Current children cumulated vsize (Kb) 122512

[startup+740.037 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 19891504 0 0 0 31017 41131 0 0 25 0 1 0 1859291324 125452288 28777 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28785 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 721.48
Current children cumulated vsize (Kb) 122512

[startup+750.038 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 20168551 0 0 0 31418 41702 0 0 25 0 1 0 1859291324 125452288 28822 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28828 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 731.2
Current children cumulated vsize (Kb) 122512

[startup+760.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 20445874 0 0 0 31813 42282 0 0 25 0 1 0 1859291324 125452288 28747 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28754 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 740.95
Current children cumulated vsize (Kb) 122512

[startup+770.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 20723323 0 0 0 32213 42856 0 0 25 0 1 0 1859291324 125452288 28798 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28806 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 750.69
Current children cumulated vsize (Kb) 122512

[startup+780.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 21000321 0 0 0 32617 43426 0 0 25 0 1 0 1859291324 125452288 28794 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28801 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 760.43
Current children cumulated vsize (Kb) 122512

[startup+790.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 21277125 0 0 0 33020 43997 0 0 25 0 1 0 1859291324 125452288 28794 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28801 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 770.17
Current children cumulated vsize (Kb) 122512

[startup+800.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 21553938 0 0 0 33420 44571 0 0 17 0 1 0 1859291324 125452288 28803 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28810 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 779.91
Current children cumulated vsize (Kb) 122512

[startup+810.04 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 21831399 0 0 0 33822 45143 0 0 25 0 1 0 1859291324 125452288 28866 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28866 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 789.65
Current children cumulated vsize (Kb) 122512

[startup+820.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 22108683 0 0 0 34220 45721 0 0 25 0 1 0 1859291324 125452288 28752 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28760 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 799.41
Current children cumulated vsize (Kb) 122512

[startup+830.042 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 22386000 0 0 0 34618 46297 0 0 25 0 1 0 1859291324 125452288 28869 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28869 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 809.15
Current children cumulated vsize (Kb) 122512

[startup+840.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 22663399 0 0 0 35027 46866 0 0 25 0 1 0 1859291324 125452288 28870 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28870 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 818.93
Current children cumulated vsize (Kb) 122512

[startup+850.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 22941024 0 0 0 35426 47442 0 0 25 0 1 0 1859291324 125452288 28701 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1995/statm): 30628 28701 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 828.68
Current children cumulated vsize (Kb) 122512

[startup+860.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 23219555 0 0 0 35827 48015 0 0 25 0 1 0 1859291324 125452288 28844 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28851 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 838.42
Current children cumulated vsize (Kb) 122512

[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 23497587 0 0 0 36229 48588 0 0 25 0 1 0 1859291324 125452288 28686 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1995/statm): 30628 28686 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 848.17
Current children cumulated vsize (Kb) 122512

[startup+880.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 23777528 0 0 0 36628 49165 0 0 25 0 1 0 1859291324 125452288 28853 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1995/statm): 30628 28853 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 857.93
Current children cumulated vsize (Kb) 122512

[startup+890.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 24056287 0 0 0 37029 49739 0 0 25 0 1 0 1859291324 125452288 28828 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28835 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 867.68
Current children cumulated vsize (Kb) 122512

[startup+900.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 24334388 0 0 0 37434 50310 0 0 25 0 1 0 1859291324 125452288 28739 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1995/statm): 30628 28739 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 877.44
Current children cumulated vsize (Kb) 122512

[startup+910.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 24614606 0 0 0 37841 50878 0 0 25 0 1 0 1859291324 125452288 28787 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28794 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 887.19
Current children cumulated vsize (Kb) 122512

[startup+920.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 24894639 0 0 0 38240 51453 0 0 25 0 1 0 1859291324 125452288 28848 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28854 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 896.93
Current children cumulated vsize (Kb) 122512

[startup+930.046 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 25172468 0 0 0 38645 52023 0 0 25 0 1 0 1859291324 124641280 28685 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30430 28685 566 18 0 30412 0
[pid=1995] vsize: 121720
Current children cumulated CPU time (s) 906.68
Current children cumulated vsize (Kb) 121720

[startup+940.046 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 25450857 0 0 0 39043 52601 0 0 25 0 1 0 1859291324 125452288 28884 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28884 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 916.44
Current children cumulated vsize (Kb) 122512

[startup+950.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 25728454 0 0 0 39441 53180 0 0 25 0 1 0 1859291324 125452288 28885 4294967295 134512640 134578447 3221224624 3221223620 1075285163 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30628 28885 566 18 0 30610 0
[pid=1995] vsize: 122512
Current children cumulated CPU time (s) 926.21
Current children cumulated vsize (Kb) 122512

[startup+960.047 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 26006052 0 0 0 39842 53754 0 0 25 0 1 0 1859291324 125165568 28689 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30558 28689 566 18 0 30540 0
[pid=1995] vsize: 122232
Current children cumulated CPU time (s) 935.96
Current children cumulated vsize (Kb) 122232

[startup+970.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 26283599 0 0 0 40240 54331 0 0 25 0 1 0 1859291324 125976576 28838 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28845 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 945.71
Current children cumulated vsize (Kb) 123024

[startup+980.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 26561021 0 0 0 40638 54909 0 0 25 0 1 0 1859291324 125976576 28862 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28868 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 955.47
Current children cumulated vsize (Kb) 123024

[startup+990.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 26838322 0 0 0 41039 55485 0 0 25 0 1 0 1859291324 125976576 28765 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28773 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 965.24
Current children cumulated vsize (Kb) 123024

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 27115752 0 0 0 41435 56064 0 0 25 0 1 0 1859291324 125976576 28797 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28805 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 974.99
Current children cumulated vsize (Kb) 123024

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 27393542 0 0 0 41834 56640 0 0 25 0 1 0 1859291324 125976576 28793 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28800 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 984.74
Current children cumulated vsize (Kb) 123024

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 27671433 0 0 0 42237 57210 0 0 25 0 1 0 1859291324 125976576 28890 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28895 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 994.47
Current children cumulated vsize (Kb) 123024

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 27949003 0 0 0 42637 57786 0 0 25 0 1 0 1859291324 125976576 28864 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28871 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 1004.23
Current children cumulated vsize (Kb) 123024

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 28226435 0 0 0 43041 58359 0 0 25 0 1 0 1859291324 125165568 28700 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30558 28700 566 18 0 30540 0
[pid=1995] vsize: 122232
Current children cumulated CPU time (s) 1014
Current children cumulated vsize (Kb) 122232

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 28503834 0 0 0 43444 58930 0 0 25 0 1 0 1859291324 125976576 28701 4294967295 134512640 134578447 3221224624 3221223392 1075710051 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28701 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 1023.74
Current children cumulated vsize (Kb) 123024

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 28781389 0 0 0 43845 59505 0 0 25 0 1 0 1859291324 125976576 28858 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28865 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 1033.5
Current children cumulated vsize (Kb) 123024

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 29058973 0 0 0 44242 60082 0 0 25 0 1 0 1859291324 125976576 28846 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28854 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 1043.24
Current children cumulated vsize (Kb) 123024

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 29336716 0 0 0 44648 60654 0 0 25 0 1 0 1859291324 125976576 28795 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1995/statm): 30756 28795 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 1053.02
Current children cumulated vsize (Kb) 123024

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 29614097 0 0 0 45047 61228 0 0 25 0 1 0 1859291324 125976576 28778 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28786 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 1062.75
Current children cumulated vsize (Kb) 123024

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 29890958 0 0 0 45449 61801 0 0 25 0 1 0 1859291324 125976576 28836 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28843 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 1072.5
Current children cumulated vsize (Kb) 123024

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 30168126 0 0 0 45849 62378 0 0 22 0 1 0 1859291324 125976576 28803 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28811 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 1082.27
Current children cumulated vsize (Kb) 123024

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 30445602 0 0 0 46252 62948 0 0 25 0 1 0 1859291324 125976576 28881 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28887 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 1092
Current children cumulated vsize (Kb) 123024

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 30723297 0 0 0 46644 63530 0 0 25 0 1 0 1859291324 125976576 28782 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28790 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 1101.74
Current children cumulated vsize (Kb) 123024

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 31000957 0 0 0 47048 64101 0 0 25 0 1 0 1859291324 125976576 28846 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28853 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 1111.49
Current children cumulated vsize (Kb) 123024

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 31277630 0 0 0 47448 64677 0 0 25 0 1 0 1859291324 125976576 28913 4294967295 134512640 134578447 3221224624 3221223632 134531609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28913 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 1121.25
Current children cumulated vsize (Kb) 123024

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 31554527 0 0 0 47845 65256 0 0 25 0 1 0 1859291324 125976576 28808 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28816 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 1131.01
Current children cumulated vsize (Kb) 123024

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 31830589 0 0 0 48241 65834 0 0 25 0 1 0 1859291324 125976576 28858 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28865 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 1140.75
Current children cumulated vsize (Kb) 123024

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 32106673 0 0 0 48644 66408 0 0 25 0 1 0 1859291324 125976576 28732 4294967295 134512640 134578447 3221224624 3221223616 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1995/statm): 30756 28732 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 1150.52
Current children cumulated vsize (Kb) 123024

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 32385425 0 0 0 49048 66980 0 0 25 0 1 0 1859291324 125976576 28898 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28905 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 1160.28
Current children cumulated vsize (Kb) 123024

[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) T 1994 1995 2660 0 -1 0 32661854 0 0 0 49453 67549 0 0 25 0 1 0 1859291324 125165568 28721 4294967295 134512640 134578447 3221224624 3221223592 1075710225 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30558 28721 566 18 0 30540 0
[pid=1995] vsize: 122232
Current children cumulated CPU time (s) 1170.02
Current children cumulated vsize (Kb) 122232

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 32938990 0 0 0 49844 68131 0 0 25 0 1 0 1859291324 125976576 28855 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28863 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 1179.75
Current children cumulated vsize (Kb) 123024

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 33216154 0 0 0 50252 68698 0 0 25 0 1 0 1859291324 125976576 28819 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28826 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 1189.5
Current children cumulated vsize (Kb) 123024

[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 33493590 0 0 0 50657 69268 0 0 25 0 1 0 1859291324 125976576 28857 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28864 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 1199.25
Current children cumulated vsize (Kb) 123024

[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 33770745 0 0 0 51052 69848 0 0 25 0 1 0 1859291324 125976576 28812 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28820 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 1209
Current children cumulated vsize (Kb) 123024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 1995
Raw data (/proc/1995/stat): 1995 (Pueblo) R 1994 1995 2660 0 -1 0 33770770 0 0 0 51052 69848 0 0 25 0 1 0 1859291324 125976576 28837 4294967295 134512640 134578447 3221224624 3221223616 134532010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1995/statm): 30756 28844 566 18 0 30738 0
[pid=1995] vsize: 123024
Current children cumulated CPU time (s) 1209
Current children cumulated vsize (Kb) 123024

Sending SIGTERM to -1995
Sleeping 2 seconds
One traced child (pid=1995) 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): 1240.11
CPU time (s): 1209.07
CPU user time (s): 510.529
CPU system time (s): 698.536
CPU usage (%): 97.4964
Max. virtual memory (cumulated for all children) (Kb): 123024

Verifier Data

ERROR: no interpretation found !