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

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-g125.18.opb
MD5SUMa18434ce5469ba587063f7e76ce3e080
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
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 4500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4500
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4500
Number of bits of the biggest sum of numbers13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables4500
Total number of constraints72413
Number of constraints which are clauses72413
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint18

Trace number 7655

Launcher Data

LAUNCH ON wulflinc15 THE 2005-09-20 13:17:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4814 boxname=wulflinc15 idbench=126 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  a18434ce5469ba587063f7e76ce3e080  /oldhome/oroussel/tmp/wulflinc15/normalized-g125.18.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4814
/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:        827312 kB
Buffers:         29984 kB
Cached:         147228 kB
SwapCached:        744 kB
Active:          67368 kB
Inactive:       112472 kB
HighTotal:      131008 kB
HighFree:         3724 kB
LowTotal:       903652 kB
LowFree:        823588 kB
SwapTotal:     2097136 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            21728 kB
Committed_AS:    64156 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 13:38:00 (client local time) WITH STATUS 0 IN 1209.45 SECONDS
stats: 4814 7 1209.45 0

Solver Data

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

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1800597572 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12644/statm): 41 3 40 18 0 23 0
[pid=12644] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0033 s]
Raw data (loadavg): 0.33 0.09 0.03 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 3083 0 0 0 986 9 0 0 25 0 1 0 1800597572 14610432 3049 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12644/statm): 3567 3049 566 18 0 3549 0
[pid=12644] vsize: 14268
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 14268

[startup+20.0041 s]
Raw data (loadavg): 0.43 0.12 0.04 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 3169 0 0 0 1985 10 0 0 25 0 1 0 1800597572 14979072 3135 4294967295 134512640 134578447 3221224624 3221223536 134557217 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12644/statm): 3657 3135 566 18 0 3639 0
[pid=12644] vsize: 14628
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 14628

[startup+30.0049 s]
Raw data (loadavg): 0.52 0.15 0.05 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 4231 0 0 0 2981 13 0 0 25 0 1 0 1800597572 19369984 4197 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12644/statm): 4729 4197 566 18 0 4711 0
[pid=12644] vsize: 18916
Current children cumulated CPU time (s) 29.94
Current children cumulated vsize (Kb) 18916

[startup+40.0057 s]
Raw data (loadavg): 0.59 0.18 0.06 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 5244 0 0 0 3975 17 0 0 25 0 1 0 1800597572 23437312 5210 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12644/statm): 5722 5210 566 18 0 5704 0
[pid=12644] vsize: 22888
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 22888

[startup+50.0065 s]
Raw data (loadavg): 0.65 0.21 0.07 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 6213 0 0 0 4969 21 0 0 25 0 1 0 1800597572 27471872 6179 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12644/statm): 6707 6179 566 18 0 6689 0
[pid=12644] vsize: 26828
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (Kb) 26828

[startup+60.0073 s]
Raw data (loadavg): 0.71 0.23 0.08 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 7152 0 0 0 5965 24 0 0 25 0 1 0 1800597572 31277056 7118 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12644/statm): 7636 7118 566 18 0 7618 0
[pid=12644] vsize: 30544
Current children cumulated CPU time (s) 59.89
Current children cumulated vsize (Kb) 30544

[startup+70.0081 s]
Raw data (loadavg): 0.75 0.26 0.09 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 8107 0 0 0 6960 27 0 0 25 0 1 0 1800597572 35151872 8073 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12644/statm): 8582 8073 566 18 0 8564 0
[pid=12644] vsize: 34328
Current children cumulated CPU time (s) 69.87
Current children cumulated vsize (Kb) 34328

[startup+80.0089 s]
Raw data (loadavg): 0.79 0.28 0.10 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 8889 0 0 0 7956 30 0 0 25 0 1 0 1800597572 38391808 8855 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12644/statm): 9373 8855 566 18 0 9355 0
[pid=12644] vsize: 37492
Current children cumulated CPU time (s) 79.86
Current children cumulated vsize (Kb) 37492

[startup+90.0088 s]
Raw data (loadavg): 0.82 0.30 0.11 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 9760 0 0 0 8953 33 0 0 25 0 1 0 1800597572 42000384 9726 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12644/statm): 10254 9726 566 18 0 10236 0
[pid=12644] vsize: 41016
Current children cumulated CPU time (s) 89.86
Current children cumulated vsize (Kb) 41016

[startup+100.009 s]
Raw data (loadavg): 0.85 0.33 0.12 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 10666 0 0 0 9947 37 0 0 25 0 1 0 1800597572 45740032 10632 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12644/statm): 11167 10632 566 18 0 11149 0
[pid=12644] vsize: 44668
Current children cumulated CPU time (s) 99.84
Current children cumulated vsize (Kb) 44668

[startup+110.009 s]
Raw data (loadavg): 0.87 0.35 0.13 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 11488 0 0 0 10944 39 0 0 25 0 1 0 1800597572 49156096 11454 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12644/statm): 12001 11454 566 18 0 11983 0
[pid=12644] vsize: 48004
Current children cumulated CPU time (s) 109.83
Current children cumulated vsize (Kb) 48004

[startup+120.01 s]
Raw data (loadavg): 0.89 0.37 0.13 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 12280 0 0 0 11941 41 0 0 25 0 1 0 1800597572 52355072 12246 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12644/statm): 12782 12246 566 18 0 12764 0
[pid=12644] vsize: 51128
Current children cumulated CPU time (s) 119.82
Current children cumulated vsize (Kb) 51128

[startup+130.011 s]
Raw data (loadavg): 0.91 0.39 0.14 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 13245 0 0 0 12936 45 0 0 25 0 1 0 1800597572 56324096 13211 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12644/statm): 13751 13211 566 18 0 13733 0
[pid=12644] vsize: 55004
Current children cumulated CPU time (s) 129.81
Current children cumulated vsize (Kb) 55004

[startup+140.011 s]
Raw data (loadavg): 0.92 0.41 0.15 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 14116 0 0 0 13933 47 0 0 25 0 1 0 1800597572 59797504 14082 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12644/statm): 14599 14082 566 18 0 14581 0
[pid=12644] vsize: 58396
Current children cumulated CPU time (s) 139.8
Current children cumulated vsize (Kb) 58396

[startup+150.012 s]
Raw data (loadavg): 0.93 0.43 0.16 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 14913 0 0 0 14928 50 0 0 25 0 1 0 1800597572 63148032 14879 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12644/statm): 15417 14879 566 18 0 15399 0
[pid=12644] vsize: 61668
Current children cumulated CPU time (s) 149.78
Current children cumulated vsize (Kb) 61668

[startup+160.012 s]
Raw data (loadavg): 0.94 0.45 0.17 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 15859 0 0 0 15924 53 0 0 25 0 1 0 1800597572 66998272 15825 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12644/statm): 16357 15825 566 18 0 16339 0
[pid=12644] vsize: 65428
Current children cumulated CPU time (s) 159.77
Current children cumulated vsize (Kb) 65428

[startup+170.013 s]
Raw data (loadavg): 0.95 0.46 0.18 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 16631 0 0 0 16921 55 0 0 25 0 1 0 1800597572 70127616 16597 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12644/statm): 17121 16597 566 18 0 17103 0
[pid=12644] vsize: 68484
Current children cumulated CPU time (s) 169.76
Current children cumulated vsize (Kb) 68484

[startup+180.014 s]
Raw data (loadavg): 0.96 0.48 0.19 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 17325 0 0 0 17916 58 0 0 25 0 1 0 1800597572 72978432 17291 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12644/statm): 17817 17291 566 18 0 17799 0
[pid=12644] vsize: 71268
Current children cumulated CPU time (s) 179.74
Current children cumulated vsize (Kb) 71268

[startup+190.014 s]
Raw data (loadavg): 0.96 0.50 0.19 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 17928 0 0 0 18913 61 0 0 25 0 1 0 1800597572 75472896 17894 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12644/statm): 18426 17894 566 18 0 18408 0
[pid=12644] vsize: 73704
Current children cumulated CPU time (s) 189.74
Current children cumulated vsize (Kb) 73704

[startup+200.014 s]
Raw data (loadavg): 0.97 0.51 0.20 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 18526 0 0 0 19910 63 0 0 25 0 1 0 1800597572 77901824 18492 4294967295 134512640 134578447 3221224624 3221223472 134520155 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12644/statm): 19019 18492 566 18 0 19001 0
[pid=12644] vsize: 76076
Current children cumulated CPU time (s) 199.73
Current children cumulated vsize (Kb) 76076

[startup+210.014 s]
Raw data (loadavg): 0.97 0.53 0.21 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 19346 0 0 0 20907 65 0 0 25 0 1 0 1800597572 81399808 19312 4294967295 134512640 134578447 3221224624 3221223520 134520040 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 19873 19312 566 18 0 19855 0
[pid=12644] vsize: 79492
Current children cumulated CPU time (s) 209.72
Current children cumulated vsize (Kb) 79492

[startup+220.015 s]
Raw data (loadavg): 0.98 0.54 0.22 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 20086 0 0 0 21904 68 0 0 25 0 1 0 1800597572 84361216 20052 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 20596 20052 566 18 0 20578 0
[pid=12644] vsize: 82384
Current children cumulated CPU time (s) 219.72
Current children cumulated vsize (Kb) 82384

[startup+230.016 s]
Raw data (loadavg): 0.98 0.56 0.23 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 20796 0 0 0 22901 70 0 0 25 0 1 0 1800597572 87314432 20762 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 21317 20762 566 18 0 21299 0
[pid=12644] vsize: 85268
Current children cumulated CPU time (s) 229.71
Current children cumulated vsize (Kb) 85268

[startup+240.016 s]
Raw data (loadavg): 0.98 0.57 0.23 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 21504 0 0 0 23899 71 0 0 25 0 1 0 1800597572 90202112 21470 4294967295 134512640 134578447 3221224624 3221223584 134559068 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 22022 21470 566 18 0 22004 0
[pid=12644] vsize: 88088
Current children cumulated CPU time (s) 239.7
Current children cumulated vsize (Kb) 88088

[startup+250.017 s]
Raw data (loadavg): 0.98 0.59 0.24 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 22209 0 0 0 24897 73 0 0 25 0 1 0 1800597572 93118464 22175 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 22734 22175 566 18 0 22716 0
[pid=12644] vsize: 90936
Current children cumulated CPU time (s) 249.7
Current children cumulated vsize (Kb) 90936

[startup+260.016 s]
Raw data (loadavg): 0.99 0.60 0.25 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 22950 0 0 0 25894 75 0 0 25 0 1 0 1800597572 96149504 22916 4294967295 134512640 134578447 3221224624 3221223584 134559080 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 23474 22916 566 18 0 23456 0
[pid=12644] vsize: 93896
Current children cumulated CPU time (s) 259.69
Current children cumulated vsize (Kb) 93896

[startup+270.016 s]
Raw data (loadavg): 0.99 0.61 0.26 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 23672 0 0 0 26892 77 0 0 25 0 1 0 1800597572 99102720 23638 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 24195 23638 566 18 0 24177 0
[pid=12644] vsize: 96780
Current children cumulated CPU time (s) 269.69
Current children cumulated vsize (Kb) 96780

[startup+280.017 s]
Raw data (loadavg): 0.99 0.62 0.27 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 24370 0 0 0 27889 79 0 0 25 0 1 0 1800597572 101908480 24336 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 24880 24336 566 18 0 24862 0
[pid=12644] vsize: 99520
Current children cumulated CPU time (s) 279.68
Current children cumulated vsize (Kb) 99520

[startup+290.018 s]
Raw data (loadavg): 0.99 0.64 0.27 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 25056 0 0 0 28888 80 0 0 25 0 1 0 1800597572 104730624 25022 4294967295 134512640 134578447 3221224624 3221223536 134557046 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 25569 25022 566 18 0 25551 0
[pid=12644] vsize: 102276
Current children cumulated CPU time (s) 289.68
Current children cumulated vsize (Kb) 102276

[startup+300.018 s]
Raw data (loadavg): 0.99 0.65 0.28 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 25750 0 0 0 29885 82 0 0 25 0 1 0 1800597572 107565056 25716 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 26261 25717 566 18 0 26243 0
[pid=12644] vsize: 105044
Current children cumulated CPU time (s) 299.67
Current children cumulated vsize (Kb) 105044

[startup+310.019 s]
Raw data (loadavg): 0.99 0.66 0.29 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 26437 0 0 0 30883 83 0 0 25 0 1 0 1800597572 110321664 26403 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 26934 26403 566 18 0 26916 0
[pid=12644] vsize: 107736
Current children cumulated CPU time (s) 309.66
Current children cumulated vsize (Kb) 107736

[startup+320.018 s]
Raw data (loadavg): 0.99 0.67 0.29 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 27084 0 0 0 31881 84 0 0 25 0 1 0 1800597572 112967680 27050 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 27580 27050 566 18 0 27562 0
[pid=12644] vsize: 110320
Current children cumulated CPU time (s) 319.65
Current children cumulated vsize (Kb) 110320

[startup+330.019 s]
Raw data (loadavg): 0.99 0.68 0.30 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 27631 0 0 0 32880 85 0 0 25 0 1 0 1800597572 115245056 27597 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 28136 27597 566 18 0 28118 0
[pid=12644] vsize: 112544
Current children cumulated CPU time (s) 329.65
Current children cumulated vsize (Kb) 112544

[startup+340.019 s]
Raw data (loadavg): 0.99 0.69 0.31 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 28111 0 0 0 33878 86 0 0 25 0 1 0 1800597572 117268480 28077 4294967295 134512640 134578447 3221224624 3221223568 134558660 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 28630 28077 566 18 0 28612 0
[pid=12644] vsize: 114520
Current children cumulated CPU time (s) 339.64
Current children cumulated vsize (Kb) 114520

[startup+350.02 s]
Raw data (loadavg): 0.99 0.70 0.31 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 28642 0 0 0 34876 87 0 0 25 0 1 0 1800597572 119427072 28608 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 29157 28608 566 18 0 29139 0
[pid=12644] vsize: 116628
Current children cumulated CPU time (s) 349.63
Current children cumulated vsize (Kb) 116628

[startup+360.02 s]
Raw data (loadavg): 0.99 0.71 0.32 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 29161 0 0 0 35873 89 0 0 25 0 1 0 1800597572 121573376 29127 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 29681 29127 566 18 0 29663 0
[pid=12644] vsize: 118724
Current children cumulated CPU time (s) 359.62
Current children cumulated vsize (Kb) 118724

[startup+370.019 s]
Raw data (loadavg): 0.99 0.72 0.33 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 29699 0 0 0 36871 90 0 0 25 0 1 0 1800597572 123715584 29665 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 30204 29665 566 18 0 30186 0
[pid=12644] vsize: 120816
Current children cumulated CPU time (s) 369.61
Current children cumulated vsize (Kb) 120816

[startup+380.02 s]
Raw data (loadavg): 0.99 0.73 0.33 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 30224 0 0 0 37870 92 0 0 25 0 1 0 1800597572 125820928 30190 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 30718 30190 566 18 0 30700 0
[pid=12644] vsize: 122872
Current children cumulated CPU time (s) 379.62
Current children cumulated vsize (Kb) 122872

[startup+390.021 s]
Raw data (loadavg): 0.99 0.74 0.34 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 30699 0 0 0 38868 93 0 0 25 0 1 0 1800597572 127815680 30665 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 31205 30665 566 18 0 31187 0
[pid=12644] vsize: 124820
Current children cumulated CPU time (s) 389.61
Current children cumulated vsize (Kb) 124820

[startup+400.021 s]
Raw data (loadavg): 0.99 0.74 0.35 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 31208 0 0 0 39866 94 0 0 25 0 1 0 1800597572 129863680 31174 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 31705 31174 566 18 0 31687 0
[pid=12644] vsize: 126820
Current children cumulated CPU time (s) 399.6
Current children cumulated vsize (Kb) 126820

[startup+410.022 s]
Raw data (loadavg): 0.99 0.75 0.35 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 31769 0 0 0 40864 96 0 0 25 0 1 0 1800597572 132202496 31735 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 32276 31735 566 18 0 32258 0
[pid=12644] vsize: 129104
Current children cumulated CPU time (s) 409.6
Current children cumulated vsize (Kb) 129104

[startup+420.021 s]
Raw data (loadavg): 0.99 0.76 0.36 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 32280 0 0 0 41863 97 0 0 25 0 1 0 1800597572 134320128 32246 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 32793 32246 566 18 0 32775 0
[pid=12644] vsize: 131172
Current children cumulated CPU time (s) 419.6
Current children cumulated vsize (Kb) 131172

[startup+430.022 s]
Raw data (loadavg): 0.99 0.77 0.37 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 32829 0 0 0 42860 98 0 0 25 0 1 0 1800597572 136585216 32795 4294967295 134512640 134578447 3221224624 3221223368 1075291632 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 33346 32795 566 18 0 33328 0
[pid=12644] vsize: 133384
Current children cumulated CPU time (s) 429.58
Current children cumulated vsize (Kb) 133384

[startup+440.022 s]
Raw data (loadavg): 0.99 0.77 0.37 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 33360 0 0 0 43858 100 0 0 25 0 1 0 1800597572 138760192 33326 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 33877 33326 566 18 0 33859 0
[pid=12644] vsize: 135508
Current children cumulated CPU time (s) 439.58
Current children cumulated vsize (Kb) 135508

[startup+450.022 s]
Raw data (loadavg): 0.99 0.78 0.38 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 33809 0 0 0 44857 101 0 0 25 0 1 0 1800597572 140517376 33775 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 34306 33775 566 18 0 34288 0
[pid=12644] vsize: 137224
Current children cumulated CPU time (s) 449.58
Current children cumulated vsize (Kb) 137224

[startup+460.023 s]
Raw data (loadavg): 0.99 0.79 0.39 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 34278 0 0 0 45855 102 0 0 25 0 1 0 1800597572 142426112 34244 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 34772 34244 566 18 0 34754 0
[pid=12644] vsize: 139088
Current children cumulated CPU time (s) 459.57
Current children cumulated vsize (Kb) 139088

[startup+470.022 s]
Raw data (loadavg): 0.99 0.79 0.39 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 34753 0 0 0 46854 103 0 0 25 0 1 0 1800597572 144400384 34719 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 35254 34719 566 18 0 35236 0
[pid=12644] vsize: 141016
Current children cumulated CPU time (s) 469.57
Current children cumulated vsize (Kb) 141016

[startup+480.023 s]
Raw data (loadavg): 0.99 0.80 0.40 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 35243 0 0 0 47852 105 0 0 25 0 1 0 1800597572 146440192 35209 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 35752 35209 566 18 0 35734 0
[pid=12644] vsize: 143008
Current children cumulated CPU time (s) 479.57
Current children cumulated vsize (Kb) 143008

[startup+490.024 s]
Raw data (loadavg): 0.99 0.81 0.40 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 35794 0 0 0 48849 107 0 0 25 0 1 0 1800597572 148746240 35760 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 36315 35760 566 18 0 36297 0
[pid=12644] vsize: 145260
Current children cumulated CPU time (s) 489.56
Current children cumulated vsize (Kb) 145260

[startup+500.024 s]
Raw data (loadavg): 0.99 0.81 0.41 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 36318 0 0 0 49847 109 0 0 25 0 1 0 1800597572 150835200 36284 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 36825 36284 566 18 0 36807 0
[pid=12644] vsize: 147300
Current children cumulated CPU time (s) 499.56
Current children cumulated vsize (Kb) 147300

[startup+510.024 s]
Raw data (loadavg): 0.99 0.82 0.41 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 36843 0 0 0 50846 110 0 0 25 0 1 0 1800597572 153001984 36809 4294967295 134512640 134578447 3221224624 3221223364 1075289770 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 37354 36809 566 18 0 37336 0
[pid=12644] vsize: 149416
Current children cumulated CPU time (s) 509.56
Current children cumulated vsize (Kb) 149416

[startup+520.024 s]
Raw data (loadavg): 0.99 0.82 0.42 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 37328 0 0 0 51844 112 0 0 25 0 1 0 1800597572 154959872 37294 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 37832 37294 566 18 0 37814 0
[pid=12644] vsize: 151328
Current children cumulated CPU time (s) 519.56
Current children cumulated vsize (Kb) 151328

[startup+530.024 s]
Raw data (loadavg): 0.99 0.83 0.43 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 37771 0 0 0 52843 113 0 0 25 0 1 0 1800597572 156798976 37737 4294967295 134512640 134578447 3221224624 3221223556 134519841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 38281 37737 566 18 0 38263 0
[pid=12644] vsize: 153124
Current children cumulated CPU time (s) 529.56
Current children cumulated vsize (Kb) 153124

[startup+540.024 s]
Raw data (loadavg): 0.99 0.83 0.43 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 38336 0 0 0 53840 115 0 0 25 0 1 0 1800597572 159059968 38302 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 38833 38302 566 18 0 38815 0
[pid=12644] vsize: 155332
Current children cumulated CPU time (s) 539.55
Current children cumulated vsize (Kb) 155332

[startup+550.024 s]
Raw data (loadavg): 0.99 0.84 0.44 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 38900 0 0 0 54838 117 0 0 25 0 1 0 1800597572 161406976 38866 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 39406 38866 566 18 0 39388 0
[pid=12644] vsize: 157624
Current children cumulated CPU time (s) 549.55
Current children cumulated vsize (Kb) 157624

[startup+560.025 s]
Raw data (loadavg): 0.99 0.84 0.44 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 39457 0 0 0 55836 118 0 0 25 0 1 0 1800597572 163659776 39423 4294967295 134512640 134578447 3221224624 3221223520 134520028 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 39956 39423 566 18 0 39938 0
[pid=12644] vsize: 159824
Current children cumulated CPU time (s) 559.54
Current children cumulated vsize (Kb) 159824

[startup+570.025 s]
Raw data (loadavg): 0.99 0.85 0.45 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 39965 0 0 0 56833 120 0 0 25 0 1 0 1800597572 165769216 39931 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 40471 39931 566 18 0 40453 0
[pid=12644] vsize: 161884
Current children cumulated CPU time (s) 569.53
Current children cumulated vsize (Kb) 161884

[startup+580.025 s]
Raw data (loadavg): 0.99 0.85 0.46 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 40501 0 0 0 57832 121 0 0 25 0 1 0 1800597572 168181760 40467 4294967295 134512640 134578447 3221224624 3221223308 1075288331 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 41060 40467 566 18 0 41042 0
[pid=12644] vsize: 164240
Current children cumulated CPU time (s) 579.53
Current children cumulated vsize (Kb) 164240

[startup+590.026 s]
Raw data (loadavg): 0.99 0.86 0.46 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 41017 0 0 0 58829 123 0 0 25 0 1 0 1800597572 170332160 40983 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 41585 40983 566 18 0 41567 0
[pid=12644] vsize: 166340
Current children cumulated CPU time (s) 589.52
Current children cumulated vsize (Kb) 166340

[startup+600.026 s]
Raw data (loadavg): 0.99 0.86 0.47 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 41470 0 0 0 59827 125 0 0 25 0 1 0 1800597572 172126208 41436 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 42023 41436 566 18 0 42005 0
[pid=12644] vsize: 168092
Current children cumulated CPU time (s) 599.52
Current children cumulated vsize (Kb) 168092

[startup+610.027 s]
Raw data (loadavg): 0.99 0.86 0.47 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 41946 0 0 0 60824 127 0 0 25 0 1 0 1800597572 174182400 41912 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 42525 41912 566 18 0 42507 0
[pid=12644] vsize: 170100
Current children cumulated CPU time (s) 609.51
Current children cumulated vsize (Kb) 170100

[startup+620.027 s]
Raw data (loadavg): 0.99 0.87 0.48 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 42401 0 0 0 61822 129 0 0 25 0 1 0 1800597572 175947776 42367 4294967295 134512640 134578447 3221224624 3221223520 134519951 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 42956 42367 566 18 0 42938 0
[pid=12644] vsize: 171824
Current children cumulated CPU time (s) 619.51
Current children cumulated vsize (Kb) 171824

[startup+630.027 s]
Raw data (loadavg): 0.99 0.87 0.48 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 42845 0 0 0 62821 130 0 0 25 0 1 0 1800597572 177836032 42811 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 43417 42811 566 18 0 43399 0
[pid=12644] vsize: 173668
Current children cumulated CPU time (s) 629.51
Current children cumulated vsize (Kb) 173668

[startup+640.028 s]
Raw data (loadavg): 0.99 0.88 0.49 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 43371 0 0 0 63818 132 0 0 25 0 1 0 1800597572 179904512 43337 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 43922 43337 566 18 0 43904 0
[pid=12644] vsize: 175688
Current children cumulated CPU time (s) 639.5
Current children cumulated vsize (Kb) 175688

[startup+650.028 s]
Raw data (loadavg): 0.99 0.88 0.49 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 43906 0 0 0 64817 133 0 0 25 0 1 0 1800597572 182190080 43872 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 44480 43872 566 18 0 44462 0
[pid=12644] vsize: 177920
Current children cumulated CPU time (s) 649.5
Current children cumulated vsize (Kb) 177920

[startup+660.029 s]
Raw data (loadavg): 0.99 0.88 0.50 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 44383 0 0 0 65815 134 0 0 25 0 1 0 1800597572 184086528 44349 4294967295 134512640 134578447 3221224624 3221223308 1075289077 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 44943 44349 566 18 0 44925 0
[pid=12644] vsize: 179772
Current children cumulated CPU time (s) 659.49
Current children cumulated vsize (Kb) 179772

[startup+670.03 s]
Raw data (loadavg): 0.99 0.89 0.50 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 44940 0 0 0 66813 135 0 0 25 0 1 0 1800597572 186425344 44906 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 45514 44906 566 18 0 45496 0
[pid=12644] vsize: 182056
Current children cumulated CPU time (s) 669.48
Current children cumulated vsize (Kb) 182056

[startup+680.03 s]
Raw data (loadavg): 0.99 0.89 0.50 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 45384 0 0 0 67811 137 0 0 25 0 1 0 1800597572 188227584 45350 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 45954 45350 566 18 0 45936 0
[pid=12644] vsize: 183816
Current children cumulated CPU time (s) 679.48
Current children cumulated vsize (Kb) 183816

[startup+690.03 s]
Raw data (loadavg): 0.99 0.89 0.51 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 45777 0 0 0 68810 138 0 0 25 0 1 0 1800597572 189804544 45743 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 46339 45743 566 18 0 46321 0
[pid=12644] vsize: 185356
Current children cumulated CPU time (s) 689.48
Current children cumulated vsize (Kb) 185356

[startup+700.031 s]
Raw data (loadavg): 0.99 0.90 0.51 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 46174 0 0 0 69808 139 0 0 25 0 1 0 1800597572 191455232 46140 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 46742 46140 566 18 0 46724 0
[pid=12644] vsize: 186968
Current children cumulated CPU time (s) 699.47
Current children cumulated vsize (Kb) 186968

[startup+710.032 s]
Raw data (loadavg): 0.99 0.90 0.52 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 46607 0 0 0 70806 142 0 0 25 0 1 0 1800597572 193216512 46573 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 47172 46573 566 18 0 47154 0
[pid=12644] vsize: 188688
Current children cumulated CPU time (s) 709.48
Current children cumulated vsize (Kb) 188688

[startup+720.032 s]
Raw data (loadavg): 0.99 0.90 0.52 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 46983 0 0 0 71804 143 0 0 25 0 1 0 1800597572 194732032 46949 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 47542 46949 566 18 0 47524 0
[pid=12644] vsize: 190168
Current children cumulated CPU time (s) 719.47
Current children cumulated vsize (Kb) 190168

[startup+730.033 s]
Raw data (loadavg): 0.99 0.90 0.53 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 47347 0 0 0 72803 143 0 0 25 0 1 0 1800597572 196276224 47313 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 47919 47313 566 18 0 47901 0
[pid=12644] vsize: 191676
Current children cumulated CPU time (s) 729.46
Current children cumulated vsize (Kb) 191676

[startup+740.033 s]
Raw data (loadavg): 0.99 0.91 0.53 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 47646 0 0 0 73802 144 0 0 25 0 1 0 1800597572 197554176 47612 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 48231 47612 566 18 0 48213 0
[pid=12644] vsize: 192924
Current children cumulated CPU time (s) 739.46
Current children cumulated vsize (Kb) 192924

[startup+750.033 s]
Raw data (loadavg): 0.99 0.91 0.54 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 47959 0 0 0 74800 146 0 0 25 0 1 0 1800597572 198864896 47925 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 48551 47925 566 18 0 48533 0
[pid=12644] vsize: 194204
Current children cumulated CPU time (s) 749.46
Current children cumulated vsize (Kb) 194204

[startup+760.034 s]
Raw data (loadavg): 0.99 0.91 0.54 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 48350 0 0 0 75799 147 0 0 25 0 1 0 1800597572 200396800 48316 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 48925 48316 566 18 0 48907 0
[pid=12644] vsize: 195700
Current children cumulated CPU time (s) 759.46
Current children cumulated vsize (Kb) 195700

[startup+770.035 s]
Raw data (loadavg): 0.99 0.91 0.55 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 48697 0 0 0 76798 148 0 0 25 0 1 0 1800597572 201838592 48663 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 49277 48663 566 18 0 49259 0
[pid=12644] vsize: 197108
Current children cumulated CPU time (s) 769.46
Current children cumulated vsize (Kb) 197108

[startup+780.036 s]
Raw data (loadavg): 0.99 0.92 0.55 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 49021 0 0 0 77796 149 0 0 25 0 1 0 1800597572 203235328 48987 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 49618 48987 566 18 0 49600 0
[pid=12644] vsize: 198472
Current children cumulated CPU time (s) 779.45
Current children cumulated vsize (Kb) 198472

[startup+790.036 s]
Raw data (loadavg): 0.99 0.92 0.56 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 49386 0 0 0 78795 150 0 0 25 0 1 0 1800597572 204722176 49352 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 49981 49352 566 18 0 49963 0
[pid=12644] vsize: 199924
Current children cumulated CPU time (s) 789.45
Current children cumulated vsize (Kb) 199924

[startup+800.036 s]
Raw data (loadavg): 0.99 0.92 0.56 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 49730 0 0 0 79794 151 0 0 25 0 1 0 1800597572 206118912 49696 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 50322 49696 566 18 0 50304 0
[pid=12644] vsize: 201288
Current children cumulated CPU time (s) 799.45
Current children cumulated vsize (Kb) 201288

[startup+810.037 s]
Raw data (loadavg): 0.99 0.92 0.56 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 50051 0 0 0 80794 152 0 0 25 0 1 0 1800597572 207384576 50017 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 50631 50017 566 18 0 50613 0
[pid=12644] vsize: 202524
Current children cumulated CPU time (s) 809.46
Current children cumulated vsize (Kb) 202524

[startup+820.037 s]
Raw data (loadavg): 0.99 0.92 0.57 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 50371 0 0 0 81792 153 0 0 25 0 1 0 1800597572 208760832 50337 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 50967 50337 566 18 0 50949 0
[pid=12644] vsize: 203868
Current children cumulated CPU time (s) 819.45
Current children cumulated vsize (Kb) 203868

[startup+830.038 s]
Raw data (loadavg): 0.99 0.93 0.57 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 50712 0 0 0 82791 154 0 0 25 0 1 0 1800597572 210149376 50678 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 51306 50678 566 18 0 51288 0
[pid=12644] vsize: 205224
Current children cumulated CPU time (s) 829.45
Current children cumulated vsize (Kb) 205224

[startup+840.038 s]
Raw data (loadavg): 0.99 0.93 0.58 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 51023 0 0 0 83791 154 0 0 25 0 1 0 1800597572 211427328 50989 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 51618 50989 566 18 0 51600 0
[pid=12644] vsize: 206472
Current children cumulated CPU time (s) 839.45
Current children cumulated vsize (Kb) 206472

[startup+850.038 s]
Raw data (loadavg): 0.99 0.93 0.58 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 51356 0 0 0 84790 155 0 0 25 0 1 0 1800597572 212713472 51322 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 51932 51322 566 18 0 51914 0
[pid=12644] vsize: 207728
Current children cumulated CPU time (s) 849.45
Current children cumulated vsize (Kb) 207728

[startup+860.039 s]
Raw data (loadavg): 0.99 0.93 0.58 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 51723 0 0 0 85789 156 0 0 25 0 1 0 1800597572 214253568 51689 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 52308 51689 566 18 0 52290 0
[pid=12644] vsize: 209232
Current children cumulated CPU time (s) 859.45
Current children cumulated vsize (Kb) 209232

[startup+870.039 s]
Raw data (loadavg): 0.99 0.93 0.59 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 52113 0 0 0 86787 157 0 0 25 0 1 0 1800597572 215920640 52079 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 52715 52079 566 18 0 52697 0
[pid=12644] vsize: 210860
Current children cumulated CPU time (s) 869.44
Current children cumulated vsize (Kb) 210860

[startup+880.04 s]
Raw data (loadavg): 0.99 0.94 0.59 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 52472 0 0 0 87786 158 0 0 25 0 1 0 1800597572 217300992 52438 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 53052 52438 566 18 0 53034 0
[pid=12644] vsize: 212208
Current children cumulated CPU time (s) 879.44
Current children cumulated vsize (Kb) 212208

[startup+890.04 s]
Raw data (loadavg): 0.99 0.94 0.60 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 52778 0 0 0 88785 159 0 0 25 0 1 0 1800597572 218574848 52744 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 53363 52744 566 18 0 53345 0
[pid=12644] vsize: 213452
Current children cumulated CPU time (s) 889.44
Current children cumulated vsize (Kb) 213452

[startup+900.04 s]
Raw data (loadavg): 0.99 0.94 0.60 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 53116 0 0 0 89784 160 0 0 25 0 1 0 1800597572 219963392 53082 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 53702 53082 566 18 0 53684 0
[pid=12644] vsize: 214808
Current children cumulated CPU time (s) 899.44
Current children cumulated vsize (Kb) 214808

[startup+910.041 s]
Raw data (loadavg): 0.99 0.94 0.60 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 53520 0 0 0 90782 161 0 0 25 0 1 0 1800597572 221585408 53486 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 54098 53486 566 18 0 54080 0
[pid=12644] vsize: 216392
Current children cumulated CPU time (s) 909.43
Current children cumulated vsize (Kb) 216392

[startup+920.041 s]
Raw data (loadavg): 0.99 0.94 0.61 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 54010 0 0 0 91781 162 0 0 25 0 1 0 1800597572 223604736 53976 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 54591 53976 566 18 0 54573 0
[pid=12644] vsize: 218364
Current children cumulated CPU time (s) 919.43
Current children cumulated vsize (Kb) 218364

[startup+930.042 s]
Raw data (loadavg): 0.99 0.94 0.61 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 54445 0 0 0 92780 163 0 0 25 0 1 0 1800597572 225370112 54411 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 55022 54411 566 18 0 55004 0
[pid=12644] vsize: 220088
Current children cumulated CPU time (s) 929.43
Current children cumulated vsize (Kb) 220088

[startup+940.043 s]
Raw data (loadavg): 0.99 0.94 0.61 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 54914 0 0 0 93778 165 0 0 25 0 1 0 1800597572 227364864 54880 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 55509 54880 566 18 0 55491 0
[pid=12644] vsize: 222036
Current children cumulated CPU time (s) 939.43
Current children cumulated vsize (Kb) 222036

[startup+950.043 s]
Raw data (loadavg): 0.99 0.95 0.62 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 55456 0 0 0 94776 166 0 0 25 0 1 0 1800597572 229494784 55422 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 56029 55422 566 18 0 56011 0
[pid=12644] vsize: 224116
Current children cumulated CPU time (s) 949.42
Current children cumulated vsize (Kb) 224116

[startup+960.043 s]
Raw data (loadavg): 0.99 0.95 0.62 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 55919 0 0 0 95775 167 0 0 25 0 1 0 1800597572 231411712 55885 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 56497 55885 566 18 0 56479 0
[pid=12644] vsize: 225988
Current children cumulated CPU time (s) 959.42
Current children cumulated vsize (Kb) 225988

[startup+970.043 s]
Raw data (loadavg): 0.99 0.95 0.63 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 56406 0 0 0 96773 168 0 0 25 0 1 0 1800597572 233410560 56372 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 56985 56372 566 18 0 56967 0
[pid=12644] vsize: 227940
Current children cumulated CPU time (s) 969.41
Current children cumulated vsize (Kb) 227940

[startup+980.044 s]
Raw data (loadavg): 0.99 0.95 0.63 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 56897 0 0 0 97772 169 0 0 25 0 1 0 1800597572 235429888 56863 4294967295 134512640 134578447 3221224624 3221223520 134519997 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 57478 56863 566 18 0 57460 0
[pid=12644] vsize: 229912
Current children cumulated CPU time (s) 979.41
Current children cumulated vsize (Kb) 229912

[startup+990.044 s]
Raw data (loadavg): 0.99 0.95 0.63 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 57315 0 0 0 98771 169 0 0 25 0 1 0 1800597572 237211648 57281 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 57913 57281 566 18 0 57895 0
[pid=12644] vsize: 231652
Current children cumulated CPU time (s) 989.4
Current children cumulated vsize (Kb) 231652

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 57726 0 0 0 99770 171 0 0 25 0 1 0 1800597572 238874624 57692 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 58319 57692 566 18 0 58301 0
[pid=12644] vsize: 233276
Current children cumulated CPU time (s) 999.41
Current children cumulated vsize (Kb) 233276

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 58175 0 0 0 100767 172 0 0 25 0 1 0 1800597572 240648192 58141 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 58752 58141 566 18 0 58734 0
[pid=12644] vsize: 235008
Current children cumulated CPU time (s) 1009.39
Current children cumulated vsize (Kb) 235008

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 58571 0 0 0 101767 173 0 0 25 0 1 0 1800597572 242262016 58537 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 59146 58537 566 18 0 59128 0
[pid=12644] vsize: 236584
Current children cumulated CPU time (s) 1019.4
Current children cumulated vsize (Kb) 236584

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.95 0.65 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 59037 0 0 0 102765 174 0 0 25 0 1 0 1800597572 244264960 59003 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 59635 59003 566 18 0 59617 0
[pid=12644] vsize: 238540
Current children cumulated CPU time (s) 1029.39
Current children cumulated vsize (Kb) 238540

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.95 0.65 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 59485 0 0 0 103764 175 0 0 25 0 1 0 1800597572 246018048 59451 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 60063 59451 566 18 0 60045 0
[pid=12644] vsize: 240252
Current children cumulated CPU time (s) 1039.39
Current children cumulated vsize (Kb) 240252

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.96 0.65 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 59918 0 0 0 104762 176 0 0 25 0 1 0 1800597572 247771136 59884 4294967295 134512640 134578447 3221224624 3221223520 134520053 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 60491 59884 566 18 0 60473 0
[pid=12644] vsize: 241964
Current children cumulated CPU time (s) 1049.38
Current children cumulated vsize (Kb) 241964

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.96 0.66 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 60363 0 0 0 105760 177 0 0 25 0 1 0 1800597572 249626624 60329 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 60944 60329 566 18 0 60926 0
[pid=12644] vsize: 243776
Current children cumulated CPU time (s) 1059.37
Current children cumulated vsize (Kb) 243776

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.96 0.66 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 60824 0 0 0 106759 179 0 0 25 0 1 0 1800597572 251523072 60790 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 61407 60790 566 18 0 61389 0
[pid=12644] vsize: 245628
Current children cumulated CPU time (s) 1069.38
Current children cumulated vsize (Kb) 245628

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.96 0.66 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 61220 0 0 0 107757 180 0 0 25 0 1 0 1800597572 253145088 61186 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 61803 61186 566 18 0 61785 0
[pid=12644] vsize: 247212
Current children cumulated CPU time (s) 1079.37
Current children cumulated vsize (Kb) 247212

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.96 0.66 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 61653 0 0 0 108755 182 0 0 25 0 1 0 1800597572 254922752 61619 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 62237 61619 566 18 0 62219 0
[pid=12644] vsize: 248948
Current children cumulated CPU time (s) 1089.37
Current children cumulated vsize (Kb) 248948

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.96 0.67 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 62115 0 0 0 109752 184 0 0 25 0 1 0 1800597572 256806912 62081 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 62697 62081 566 18 0 62679 0
[pid=12644] vsize: 250788
Current children cumulated CPU time (s) 1099.36
Current children cumulated vsize (Kb) 250788

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.96 0.67 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 62512 0 0 0 110752 184 0 0 25 0 1 0 1800597572 258449408 62478 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 63098 62478 566 18 0 63080 0
[pid=12644] vsize: 252392
Current children cumulated CPU time (s) 1109.36
Current children cumulated vsize (Kb) 252392

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.96 0.67 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 63022 0 0 0 111750 186 0 0 25 0 1 0 1800597572 260567040 62988 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 63615 62988 566 18 0 63597 0
[pid=12644] vsize: 254460
Current children cumulated CPU time (s) 1119.36
Current children cumulated vsize (Kb) 254460

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.96 0.68 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 63444 0 0 0 112748 187 0 0 25 0 1 0 1800597572 262230016 63410 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 64021 63410 566 18 0 64003 0
[pid=12644] vsize: 256084
Current children cumulated CPU time (s) 1129.35
Current children cumulated vsize (Kb) 256084

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.96 0.68 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 63883 0 0 0 113747 188 0 0 25 0 1 0 1800597572 264097792 63849 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 64477 63849 566 18 0 64459 0
[pid=12644] vsize: 257908
Current children cumulated CPU time (s) 1139.35
Current children cumulated vsize (Kb) 257908

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.68 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 64273 0 0 0 114746 189 0 0 25 0 1 0 1800597572 265613312 64239 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 64847 64239 566 18 0 64829 0
[pid=12644] vsize: 259388
Current children cumulated CPU time (s) 1149.35
Current children cumulated vsize (Kb) 259388

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.68 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 64681 0 0 0 115744 190 0 0 25 0 1 0 1800597572 267333632 64647 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 65267 64647 566 18 0 65249 0
[pid=12644] vsize: 261068
Current children cumulated CPU time (s) 1159.34
Current children cumulated vsize (Kb) 261068

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.69 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 65192 0 0 0 116741 192 0 0 25 0 1 0 1800597572 269459456 65158 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 65786 65158 566 18 0 65768 0
[pid=12644] vsize: 263144
Current children cumulated CPU time (s) 1169.33
Current children cumulated vsize (Kb) 263144

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.69 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 65662 0 0 0 117740 193 0 0 25 0 1 0 1800597572 271347712 65628 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 66247 65628 566 18 0 66229 0
[pid=12644] vsize: 264988
Current children cumulated CPU time (s) 1179.33
Current children cumulated vsize (Kb) 264988

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.69 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 65977 0 0 0 118739 194 0 0 25 0 1 0 1800597572 272596992 65943 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 66552 65943 566 18 0 66534 0
[pid=12644] vsize: 266208
Current children cumulated CPU time (s) 1189.33
Current children cumulated vsize (Kb) 266208

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.70 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 66368 0 0 0 119736 196 0 0 25 0 1 0 1800597572 274259968 66334 4294967295 134512640 134578447 3221224624 3221223472 134520167 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 66958 66334 566 18 0 66940 0
[pid=12644] vsize: 267832
Current children cumulated CPU time (s) 1199.32
Current children cumulated vsize (Kb) 267832

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.70 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 66725 0 0 0 120734 198 0 0 25 0 1 0 1800597572 275640320 66691 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 67295 66691 566 18 0 67277 0
[pid=12644] vsize: 269180
Current children cumulated CPU time (s) 1209.32
Current children cumulated vsize (Kb) 269180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.70 2/56 12644
Raw data (/proc/12644/stat): 12644 (Pueblo) R 12643 12644 31778 0 -1 0 66725 0 0 0 120734 198 0 0 25 0 1 0 1800597572 275640320 66691 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12644/statm): 67295 66691 566 18 0 67277 0
[pid=12644] vsize: 269180
Current children cumulated CPU time (s) 1209.32
Current children cumulated vsize (Kb) 269180

Sending SIGTERM to -12644
Sleeping 2 seconds
One traced child (pid=12644) 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.18
CPU time (s): 1209.45
CPU user time (s): 1207.35
CPU system time (s): 2.10468
CPU usage (%): 99.9399
Max. virtual memory (cumulated for all children) (Kb): 269180

Verifier Data

ERROR: no interpretation found !