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-f1000.opb
MD5SUM3b740c03d309134e8e181ea08fc4a1e3
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 2000
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 2000
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables2000
Total number of constraints5250
Number of constraints which are clauses5250
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 constraint3

Trace number 7651

Launcher Data

LAUNCH ON wulflinc12 THE 2005-09-20 13:17:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4810 boxname=wulflinc12 idbench=122 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  3b740c03d309134e8e181ea08fc4a1e3  /oldhome/oroussel/tmp/wulflinc12/normalized-f1000.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4810
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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	: 2
cpu MHz		: 451.091
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:        891584 kB
Buffers:         33988 kB
Cached:          78536 kB
SwapCached:        492 kB
Active:          67992 kB
Inactive:        47068 kB
HighTotal:      131008 kB
HighFree:        50316 kB
LowTotal:       903652 kB
LowFree:        841268 kB
SwapTotal:     2097136 kB
SwapFree:      2096072 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5900 kB
Slab:            22416 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 13:37:42 (client local time) WITH STATUS 0 IN 1200.18 SECONDS
stats: 4810 7 1200.18 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/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1800594449 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 41 3 40 18 0 23 0
[pid=19575] 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.0044 s]
Raw data (loadavg): 0.32 0.13 0.04 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 882 0 0 0 996 2 0 0 25 0 1 0 1800594449 5222400 848 4294967295 134512640 134578447 3221224624 3221223472 134558372 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 1275 848 566 18 0 1257 0
[pid=19575] vsize: 5100
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 5100

[startup+20.0052 s]
Raw data (loadavg): 0.42 0.16 0.05 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1019 0 0 0 1995 3 0 0 25 0 1 0 1800594449 5746688 985 4294967295 134512640 134578447 3221224624 3221223520 134519861 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 1403 985 566 18 0 1385 0
[pid=19575] vsize: 5612
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 5612

[startup+30.006 s]
Raw data (loadavg): 0.51 0.18 0.06 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1082 0 0 0 2993 4 0 0 25 0 1 0 1800594449 6008832 1048 4294967295 134512640 134578447 3221224624 3221223584 134558593 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 1467 1048 566 18 0 1449 0
[pid=19575] vsize: 5868
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 5868

[startup+40.0069 s]
Raw data (loadavg): 0.59 0.21 0.07 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1118 0 0 0 3993 4 0 0 25 0 1 0 1800594449 6144000 1084 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 1500 1084 566 18 0 1482 0
[pid=19575] vsize: 6000
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 6000

[startup+50.0077 s]
Raw data (loadavg): 0.65 0.23 0.08 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1201 0 0 0 4992 5 0 0 25 0 1 0 1800594449 6414336 1167 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 1566 1167 566 18 0 1548 0
[pid=19575] vsize: 6264
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 6264

[startup+60.0095 s]
Raw data (loadavg): 0.70 0.26 0.09 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1208 0 0 0 5992 6 0 0 25 0 1 0 1800594449 6549504 1174 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 1599 1174 566 18 0 1581 0
[pid=19575] vsize: 6396
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 6396

[startup+70.0103 s]
Raw data (loadavg): 0.75 0.28 0.10 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1246 0 0 0 6991 7 0 0 25 0 1 0 1800594449 6680576 1212 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 1631 1212 566 18 0 1613 0
[pid=19575] vsize: 6524
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 6524

[startup+80.0111 s]
Raw data (loadavg): 0.79 0.31 0.11 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1339 0 0 0 7991 7 0 0 25 0 1 0 1800594449 7077888 1305 4294967295 134512640 134578447 3221224624 3221223536 134557251 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 1728 1305 566 18 0 1710 0
[pid=19575] vsize: 6912
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 6912

[startup+90.0119 s]
Raw data (loadavg): 0.82 0.33 0.12 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1400 0 0 0 8990 8 0 0 25 0 1 0 1800594449 7340032 1366 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 1792 1366 566 18 0 1774 0
[pid=19575] vsize: 7168
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 7168

[startup+100.012 s]
Raw data (loadavg): 0.85 0.35 0.12 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1400 0 0 0 9990 8 0 0 25 0 1 0 1800594449 7340032 1366 4294967295 134512640 134578447 3221224624 3221223520 134519997 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 1792 1366 566 18 0 1774 0
[pid=19575] vsize: 7168
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 7168

[startup+110.014 s]
Raw data (loadavg): 0.87 0.37 0.13 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1402 0 0 0 10990 9 0 0 25 0 1 0 1800594449 7340032 1368 4294967295 134512640 134578447 3221224624 3221223648 134554060 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 1792 1368 566 18 0 1774 0
[pid=19575] vsize: 7168
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 7168

[startup+120.014 s]
Raw data (loadavg): 0.89 0.39 0.14 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1464 0 0 0 11989 9 0 0 25 0 1 0 1800594449 7536640 1430 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 1840 1430 566 18 0 1822 0
[pid=19575] vsize: 7360
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 7360

[startup+130.014 s]
Raw data (loadavg): 0.91 0.41 0.15 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1512 0 0 0 12989 10 0 0 25 0 1 0 1800594449 7802880 1478 4294967295 134512640 134578447 3221224624 3221223552 134519717 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 1905 1478 566 18 0 1887 0
[pid=19575] vsize: 7620
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 7620

[startup+140.016 s]
Raw data (loadavg): 0.92 0.43 0.16 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1533 0 0 0 13988 10 0 0 25 0 1 0 1800594449 7802880 1499 4294967295 134512640 134578447 3221224624 3221223472 134520219 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 1905 1499 566 18 0 1887 0
[pid=19575] vsize: 7620
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 7620

[startup+150.017 s]
Raw data (loadavg): 0.93 0.45 0.17 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1533 0 0 0 14988 11 0 0 25 0 1 0 1800594449 7802880 1499 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 1905 1499 566 18 0 1887 0
[pid=19575] vsize: 7620
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 7620

[startup+160.018 s]
Raw data (loadavg): 0.94 0.47 0.18 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1584 0 0 0 15988 11 0 0 25 0 1 0 1800594449 8069120 1550 4294967295 134512640 134578447 3221224624 3221223472 134558163 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 1970 1550 566 18 0 1952 0
[pid=19575] vsize: 7880
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 7880

[startup+170.019 s]
Raw data (loadavg): 0.95 0.48 0.19 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1602 0 0 0 16988 11 0 0 25 0 1 0 1800594449 8200192 1568 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2002 1568 566 18 0 1984 0
[pid=19575] vsize: 8008
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 8008

[startup+180.019 s]
Raw data (loadavg): 0.96 0.50 0.19 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1672 0 0 0 17987 12 0 0 25 0 1 0 1800594449 8462336 1638 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2066 1638 566 18 0 2048 0
[pid=19575] vsize: 8264
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 8264

[startup+190.02 s]
Raw data (loadavg): 0.96 0.52 0.20 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1714 0 0 0 18987 13 0 0 25 0 1 0 1800594449 8593408 1680 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2098 1680 566 18 0 2080 0
[pid=19575] vsize: 8392
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 8392

[startup+200.021 s]
Raw data (loadavg): 0.97 0.53 0.21 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1741 0 0 0 19986 13 0 0 25 0 1 0 1800594449 8724480 1707 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2130 1707 566 18 0 2112 0
[pid=19575] vsize: 8520
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 8520

[startup+210.023 s]
Raw data (loadavg): 0.97 0.55 0.22 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1741 0 0 0 20986 14 0 0 25 0 1 0 1800594449 8724480 1707 4294967295 134512640 134578447 3221224624 3221223520 134519916 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2130 1707 566 18 0 2112 0
[pid=19575] vsize: 8520
Current children cumulated CPU time (s) 210
Current children cumulated vsize (Kb) 8520

[startup+220.024 s]
Raw data (loadavg): 0.98 0.56 0.22 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1741 0 0 0 21986 14 0 0 25 0 1 0 1800594449 8724480 1707 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2130 1707 566 18 0 2112 0
[pid=19575] vsize: 8520
Current children cumulated CPU time (s) 220
Current children cumulated vsize (Kb) 8520

[startup+230.024 s]
Raw data (loadavg): 0.98 0.57 0.23 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1757 0 0 0 22986 14 0 0 25 0 1 0 1800594449 8724480 1723 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2130 1723 566 18 0 2112 0
[pid=19575] vsize: 8520
Current children cumulated CPU time (s) 230
Current children cumulated vsize (Kb) 8520

[startup+240.025 s]
Raw data (loadavg): 0.98 0.59 0.24 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1757 0 0 0 23985 15 0 0 25 0 1 0 1800594449 8724480 1723 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2130 1723 566 18 0 2112 0
[pid=19575] vsize: 8520
Current children cumulated CPU time (s) 240
Current children cumulated vsize (Kb) 8520

[startup+250.026 s]
Raw data (loadavg): 0.98 0.60 0.25 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1788 0 0 0 24985 15 0 0 25 0 1 0 1800594449 8855552 1754 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2162 1754 566 18 0 2144 0
[pid=19575] vsize: 8648
Current children cumulated CPU time (s) 250
Current children cumulated vsize (Kb) 8648

[startup+260.027 s]
Raw data (loadavg): 0.99 0.61 0.26 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1840 0 0 0 25984 16 0 0 25 0 1 0 1800594449 9117696 1806 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2226 1806 566 18 0 2208 0
[pid=19575] vsize: 8904
Current children cumulated CPU time (s) 260
Current children cumulated vsize (Kb) 8904

[startup+270.028 s]
Raw data (loadavg): 0.99 0.63 0.26 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1840 0 0 0 26984 16 0 0 25 0 1 0 1800594449 9117696 1806 4294967295 134512640 134578447 3221224624 3221223520 134519997 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2226 1806 566 18 0 2208 0
[pid=19575] vsize: 8904
Current children cumulated CPU time (s) 270
Current children cumulated vsize (Kb) 8904

[startup+280.029 s]
Raw data (loadavg): 0.99 0.64 0.27 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1840 0 0 0 27984 17 0 0 25 0 1 0 1800594449 9117696 1806 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2226 1806 566 18 0 2208 0
[pid=19575] vsize: 8904
Current children cumulated CPU time (s) 280.01
Current children cumulated vsize (Kb) 8904

[startup+290.029 s]
Raw data (loadavg): 0.99 0.65 0.28 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1876 0 0 0 28983 17 0 0 25 0 1 0 1800594449 9248768 1842 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2258 1842 566 18 0 2240 0
[pid=19575] vsize: 9032
Current children cumulated CPU time (s) 290
Current children cumulated vsize (Kb) 9032

[startup+300.03 s]
Raw data (loadavg): 0.99 0.66 0.29 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1906 0 0 0 29983 18 0 0 25 0 1 0 1800594449 9379840 1872 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2290 1872 566 18 0 2272 0
[pid=19575] vsize: 9160
Current children cumulated CPU time (s) 300.01
Current children cumulated vsize (Kb) 9160

[startup+310.031 s]
Raw data (loadavg): 0.99 0.67 0.29 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1906 0 0 0 30982 18 0 0 25 0 1 0 1800594449 9379840 1872 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2290 1872 566 18 0 2272 0
[pid=19575] vsize: 9160
Current children cumulated CPU time (s) 310
Current children cumulated vsize (Kb) 9160

[startup+320.032 s]
Raw data (loadavg): 0.99 0.68 0.30 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1914 0 0 0 31982 18 0 0 25 0 1 0 1800594449 9379840 1880 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2290 1880 566 18 0 2272 0
[pid=19575] vsize: 9160
Current children cumulated CPU time (s) 320
Current children cumulated vsize (Kb) 9160

[startup+330.033 s]
Raw data (loadavg): 0.99 0.69 0.31 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 1997 0 0 0 32982 19 0 0 25 0 1 0 1800594449 9773056 1963 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2386 1963 566 18 0 2368 0
[pid=19575] vsize: 9544
Current children cumulated CPU time (s) 330.01
Current children cumulated vsize (Kb) 9544

[startup+340.033 s]
Raw data (loadavg): 0.99 0.70 0.31 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2018 0 0 0 33981 20 0 0 25 0 1 0 1800594449 9912320 1984 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2420 1984 566 18 0 2402 0
[pid=19575] vsize: 9680
Current children cumulated CPU time (s) 340.01
Current children cumulated vsize (Kb) 9680

[startup+350.034 s]
Raw data (loadavg): 0.99 0.71 0.32 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2018 0 0 0 34981 20 0 0 25 0 1 0 1800594449 9912320 1984 4294967295 134512640 134578447 3221224624 3221223520 134519944 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2420 1984 566 18 0 2402 0
[pid=19575] vsize: 9680
Current children cumulated CPU time (s) 350.01
Current children cumulated vsize (Kb) 9680

[startup+360.036 s]
Raw data (loadavg): 0.99 0.72 0.33 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2018 0 0 0 35981 21 0 0 25 0 1 0 1800594449 9912320 1984 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2420 1984 566 18 0 2402 0
[pid=19575] vsize: 9680
Current children cumulated CPU time (s) 360.02
Current children cumulated vsize (Kb) 9680

[startup+370.037 s]
Raw data (loadavg): 0.99 0.73 0.33 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2018 0 0 0 36980 21 0 0 25 0 1 0 1800594449 9912320 1984 4294967295 134512640 134578447 3221224624 3221223520 134519944 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2420 1984 566 18 0 2402 0
[pid=19575] vsize: 9680
Current children cumulated CPU time (s) 370.01
Current children cumulated vsize (Kb) 9680

[startup+380.037 s]
Raw data (loadavg): 0.99 0.74 0.34 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2018 0 0 0 37980 21 0 0 25 0 1 0 1800594449 9912320 1984 4294967295 134512640 134578447 3221224624 3221223616 134559598 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2420 1984 566 18 0 2402 0
[pid=19575] vsize: 9680
Current children cumulated CPU time (s) 380.01
Current children cumulated vsize (Kb) 9680

[startup+390.039 s]
Raw data (loadavg): 0.99 0.74 0.35 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2018 0 0 0 38980 22 0 0 25 0 1 0 1800594449 9912320 1984 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2420 1984 566 18 0 2402 0
[pid=19575] vsize: 9680
Current children cumulated CPU time (s) 390.02
Current children cumulated vsize (Kb) 9680

[startup+400.039 s]
Raw data (loadavg): 0.99 0.75 0.35 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2018 0 0 0 39980 22 0 0 25 0 1 0 1800594449 9912320 1984 4294967295 134512640 134578447 3221224624 3221223520 134519760 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2420 1984 566 18 0 2402 0
[pid=19575] vsize: 9680
Current children cumulated CPU time (s) 400.02
Current children cumulated vsize (Kb) 9680

[startup+410.04 s]
Raw data (loadavg): 0.99 0.76 0.36 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2018 0 0 0 40979 23 0 0 25 0 1 0 1800594449 9912320 1984 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2420 1984 566 18 0 2402 0
[pid=19575] vsize: 9680
Current children cumulated CPU time (s) 410.02
Current children cumulated vsize (Kb) 9680

[startup+420.042 s]
Raw data (loadavg): 0.99 0.77 0.37 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2080 0 0 0 41979 23 0 0 25 0 1 0 1800594449 10043392 2046 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2452 2046 566 18 0 2434 0
[pid=19575] vsize: 9808
Current children cumulated CPU time (s) 420.02
Current children cumulated vsize (Kb) 9808

[startup+430.043 s]
Raw data (loadavg): 0.99 0.77 0.37 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2081 0 0 0 42979 23 0 0 25 0 1 0 1800594449 10043392 2047 4294967295 134512640 134578447 3221224624 3221223384 1075288312 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2452 2047 566 18 0 2434 0
[pid=19575] vsize: 9808
Current children cumulated CPU time (s) 430.02
Current children cumulated vsize (Kb) 9808

[startup+440.044 s]
Raw data (loadavg): 0.99 0.78 0.38 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2128 0 0 0 43978 24 0 0 25 0 1 0 1800594449 10309632 2094 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2517 2094 566 18 0 2499 0
[pid=19575] vsize: 10068
Current children cumulated CPU time (s) 440.02
Current children cumulated vsize (Kb) 10068

[startup+450.045 s]
Raw data (loadavg): 0.99 0.79 0.38 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2142 0 0 0 44978 25 0 0 25 0 1 0 1800594449 10309632 2108 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2517 2108 566 18 0 2499 0
[pid=19575] vsize: 10068
Current children cumulated CPU time (s) 450.03
Current children cumulated vsize (Kb) 10068

[startup+460.046 s]
Raw data (loadavg): 0.99 0.80 0.39 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2185 0 0 0 45977 25 0 0 25 0 1 0 1800594449 10575872 2151 4294967295 134512640 134578447 3221224624 3221223472 134520396 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2582 2151 566 18 0 2564 0
[pid=19575] vsize: 10328
Current children cumulated CPU time (s) 460.02
Current children cumulated vsize (Kb) 10328

[startup+470.047 s]
Raw data (loadavg): 0.99 0.80 0.40 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2205 0 0 0 46977 26 0 0 25 0 1 0 1800594449 10575872 2171 4294967295 134512640 134578447 3221224624 3221223536 134556786 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2582 2171 566 18 0 2564 0
[pid=19575] vsize: 10328
Current children cumulated CPU time (s) 470.03
Current children cumulated vsize (Kb) 10328

[startup+480.048 s]
Raw data (loadavg): 0.99 0.81 0.40 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2237 0 0 0 47977 26 0 0 25 0 1 0 1800594449 10706944 2203 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2614 2203 566 18 0 2596 0
[pid=19575] vsize: 10456
Current children cumulated CPU time (s) 480.03
Current children cumulated vsize (Kb) 10456

[startup+490.049 s]
Raw data (loadavg): 0.99 0.81 0.41 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2249 0 0 0 48976 27 0 0 25 0 1 0 1800594449 10838016 2215 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2646 2215 566 18 0 2628 0
[pid=19575] vsize: 10584
Current children cumulated CPU time (s) 490.03
Current children cumulated vsize (Kb) 10584

[startup+500.049 s]
Raw data (loadavg): 0.99 0.82 0.41 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2249 0 0 0 49976 27 0 0 25 0 1 0 1800594449 10838016 2215 4294967295 134512640 134578447 3221224624 3221223524 134556724 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2646 2215 566 18 0 2628 0
[pid=19575] vsize: 10584
Current children cumulated CPU time (s) 500.03
Current children cumulated vsize (Kb) 10584

[startup+510.049 s]
Raw data (loadavg): 0.99 0.82 0.42 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2249 0 0 0 50975 28 0 0 25 0 1 0 1800594449 10838016 2215 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2646 2215 566 18 0 2628 0
[pid=19575] vsize: 10584
Current children cumulated CPU time (s) 510.03
Current children cumulated vsize (Kb) 10584

[startup+520.05 s]
Raw data (loadavg): 0.99 0.83 0.43 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2249 0 0 0 51975 28 0 0 25 0 1 0 1800594449 10838016 2215 4294967295 134512640 134578447 3221224624 3221223536 134557333 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2646 2215 566 18 0 2628 0
[pid=19575] vsize: 10584
Current children cumulated CPU time (s) 520.03
Current children cumulated vsize (Kb) 10584

[startup+530.051 s]
Raw data (loadavg): 0.99 0.83 0.43 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2249 0 0 0 52975 28 0 0 25 0 1 0 1800594449 10838016 2215 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19575/statm): 2646 2215 566 18 0 2628 0
[pid=19575] vsize: 10584
Current children cumulated CPU time (s) 530.03
Current children cumulated vsize (Kb) 10584

[startup+540.052 s]
Raw data (loadavg): 0.99 0.84 0.44 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2256 0 0 0 53975 29 0 0 25 0 1 0 1800594449 10838016 2222 4294967295 134512640 134578447 3221224624 3221223504 134531684 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2646 2222 566 18 0 2628 0
[pid=19575] vsize: 10584
Current children cumulated CPU time (s) 540.04
Current children cumulated vsize (Kb) 10584

[startup+550.052 s]
Raw data (loadavg): 0.99 0.84 0.44 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2315 0 0 0 54975 29 0 0 25 0 1 0 1800594449 11100160 2281 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2710 2281 566 18 0 2692 0
[pid=19575] vsize: 10840
Current children cumulated CPU time (s) 550.04
Current children cumulated vsize (Kb) 10840

[startup+560.053 s]
Raw data (loadavg): 0.99 0.85 0.45 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2315 0 0 0 55975 29 0 0 25 0 1 0 1800594449 11100160 2281 4294967295 134512640 134578447 3221224624 3221223584 134559027 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2710 2281 566 18 0 2692 0
[pid=19575] vsize: 10840
Current children cumulated CPU time (s) 560.04
Current children cumulated vsize (Kb) 10840

[startup+570.053 s]
Raw data (loadavg): 0.99 0.85 0.45 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2315 0 0 0 56975 29 0 0 25 0 1 0 1800594449 11100160 2281 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2710 2281 566 18 0 2692 0
[pid=19575] vsize: 10840
Current children cumulated CPU time (s) 570.04
Current children cumulated vsize (Kb) 10840

[startup+580.053 s]
Raw data (loadavg): 0.99 0.86 0.46 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2315 0 0 0 57975 29 0 0 25 0 1 0 1800594449 11100160 2281 4294967295 134512640 134578447 3221224624 3221223564 134552700 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2710 2281 566 18 0 2692 0
[pid=19575] vsize: 10840
Current children cumulated CPU time (s) 580.04
Current children cumulated vsize (Kb) 10840

[startup+590.054 s]
Raw data (loadavg): 0.99 0.86 0.46 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2315 0 0 0 58976 29 0 0 25 0 1 0 1800594449 11100160 2281 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2710 2281 566 18 0 2692 0
[pid=19575] vsize: 10840
Current children cumulated CPU time (s) 590.05
Current children cumulated vsize (Kb) 10840

[startup+600.055 s]
Raw data (loadavg): 0.99 0.87 0.47 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2315 0 0 0 59975 29 0 0 25 0 1 0 1800594449 11100160 2281 4294967295 134512640 134578447 3221224624 3221223472 134558314 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2710 2281 566 18 0 2692 0
[pid=19575] vsize: 10840
Current children cumulated CPU time (s) 600.04
Current children cumulated vsize (Kb) 10840

[startup+610.056 s]
Raw data (loadavg): 0.99 0.87 0.47 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2315 0 0 0 60976 29 0 0 25 0 1 0 1800594449 11100160 2281 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2710 2281 566 18 0 2692 0
[pid=19575] vsize: 10840
Current children cumulated CPU time (s) 610.05
Current children cumulated vsize (Kb) 10840

[startup+620.055 s]
Raw data (loadavg): 0.99 0.87 0.48 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2315 0 0 0 61976 29 0 0 25 0 1 0 1800594449 11100160 2281 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2710 2281 566 18 0 2692 0
[pid=19575] vsize: 10840
Current children cumulated CPU time (s) 620.05
Current children cumulated vsize (Kb) 10840

[startup+630.056 s]
Raw data (loadavg): 0.99 0.88 0.48 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2315 0 0 0 62975 30 0 0 25 0 1 0 1800594449 11096064 2281 4294967295 134512640 134578447 3221224624 3221223632 134563236 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2709 2281 566 18 0 2691 0
[pid=19575] vsize: 10836
Current children cumulated CPU time (s) 630.05
Current children cumulated vsize (Kb) 10836

[startup+640.057 s]
Raw data (loadavg): 0.99 0.88 0.49 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2315 0 0 0 63974 31 0 0 25 0 1 0 1800594449 11096064 2281 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2709 2281 566 18 0 2691 0
[pid=19575] vsize: 10836
Current children cumulated CPU time (s) 640.05
Current children cumulated vsize (Kb) 10836

[startup+650.057 s]
Raw data (loadavg): 0.99 0.88 0.49 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2339 0 0 0 64974 31 0 0 25 0 1 0 1800594449 11235328 2305 4294967295 134512640 134578447 3221224624 3221223552 134519717 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2743 2305 566 18 0 2725 0
[pid=19575] vsize: 10972
Current children cumulated CPU time (s) 650.05
Current children cumulated vsize (Kb) 10972

[startup+660.058 s]
Raw data (loadavg): 0.99 0.89 0.50 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2339 0 0 0 65974 31 0 0 25 0 1 0 1800594449 11235328 2305 4294967295 134512640 134578447 3221224624 3221223472 134558328 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2743 2305 566 18 0 2725 0
[pid=19575] vsize: 10972
Current children cumulated CPU time (s) 660.05
Current children cumulated vsize (Kb) 10972

[startup+670.059 s]
Raw data (loadavg): 0.99 0.89 0.50 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2386 0 0 0 66974 32 0 0 25 0 1 0 1800594449 11370496 2352 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2776 2352 566 18 0 2758 0
[pid=19575] vsize: 11104
Current children cumulated CPU time (s) 670.06
Current children cumulated vsize (Kb) 11104

[startup+680.058 s]
Raw data (loadavg): 0.99 0.89 0.51 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2389 0 0 0 67974 32 0 0 25 0 1 0 1800594449 11370496 2355 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2776 2355 566 18 0 2758 0
[pid=19575] vsize: 11104
Current children cumulated CPU time (s) 680.06
Current children cumulated vsize (Kb) 11104

[startup+690.059 s]
Raw data (loadavg): 0.99 0.90 0.51 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2393 0 0 0 68974 32 0 0 25 0 1 0 1800594449 11370496 2359 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2776 2359 566 18 0 2758 0
[pid=19575] vsize: 11104
Current children cumulated CPU time (s) 690.06
Current children cumulated vsize (Kb) 11104

[startup+700.06 s]
Raw data (loadavg): 0.99 0.90 0.52 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2393 0 0 0 69974 32 0 0 25 0 1 0 1800594449 11370496 2359 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2776 2359 566 18 0 2758 0
[pid=19575] vsize: 11104
Current children cumulated CPU time (s) 700.06
Current children cumulated vsize (Kb) 11104

[startup+710.061 s]
Raw data (loadavg): 0.99 0.90 0.52 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2450 0 0 0 70974 33 0 0 25 0 1 0 1800594449 11632640 2416 4294967295 134512640 134578447 3221224624 3221223364 1075289714 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2840 2416 566 18 0 2822 0
[pid=19575] vsize: 11360
Current children cumulated CPU time (s) 710.07
Current children cumulated vsize (Kb) 11360

[startup+720.062 s]
Raw data (loadavg): 0.99 0.91 0.53 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2454 0 0 0 71974 33 0 0 25 0 1 0 1800594449 11632640 2420 4294967295 134512640 134578447 3221224624 3221223584 134559101 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2840 2420 566 18 0 2822 0
[pid=19575] vsize: 11360
Current children cumulated CPU time (s) 720.07
Current children cumulated vsize (Kb) 11360

[startup+730.062 s]
Raw data (loadavg): 0.99 0.91 0.53 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2455 0 0 0 72974 33 0 0 25 0 1 0 1800594449 11632640 2421 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2840 2421 566 18 0 2822 0
[pid=19575] vsize: 11360
Current children cumulated CPU time (s) 730.07
Current children cumulated vsize (Kb) 11360

[startup+740.062 s]
Raw data (loadavg): 0.99 0.91 0.54 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2483 0 0 0 73974 33 0 0 25 0 1 0 1800594449 11763712 2449 4294967295 134512640 134578447 3221224624 3221223504 134531685 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2872 2449 566 18 0 2854 0
[pid=19575] vsize: 11488
Current children cumulated CPU time (s) 740.07
Current children cumulated vsize (Kb) 11488

[startup+750.062 s]
Raw data (loadavg): 0.99 0.91 0.54 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2483 0 0 0 74974 33 0 0 25 0 1 0 1800594449 11763712 2449 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2872 2449 566 18 0 2854 0
[pid=19575] vsize: 11488
Current children cumulated CPU time (s) 750.07
Current children cumulated vsize (Kb) 11488

[startup+760.063 s]
Raw data (loadavg): 0.99 0.92 0.55 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2483 0 0 0 75974 33 0 0 25 0 1 0 1800594449 11763712 2449 4294967295 134512640 134578447 3221224624 3221223532 134556547 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2872 2449 566 18 0 2854 0
[pid=19575] vsize: 11488
Current children cumulated CPU time (s) 760.07
Current children cumulated vsize (Kb) 11488

[startup+770.064 s]
Raw data (loadavg): 0.99 0.92 0.55 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2483 0 0 0 76974 33 0 0 25 0 1 0 1800594449 11763712 2449 4294967295 134512640 134578447 3221224624 3221223504 134519928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2872 2449 566 18 0 2854 0
[pid=19575] vsize: 11488
Current children cumulated CPU time (s) 770.07
Current children cumulated vsize (Kb) 11488

[startup+780.065 s]
Raw data (loadavg): 0.99 0.92 0.56 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2483 0 0 0 77975 33 0 0 25 0 1 0 1800594449 11763712 2449 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2872 2449 566 18 0 2854 0
[pid=19575] vsize: 11488
Current children cumulated CPU time (s) 780.08
Current children cumulated vsize (Kb) 11488

[startup+790.065 s]
Raw data (loadavg): 0.99 0.92 0.56 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2483 0 0 0 78975 33 0 0 25 0 1 0 1800594449 11763712 2449 4294967295 134512640 134578447 3221224624 3221223472 134520136 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2872 2449 566 18 0 2854 0
[pid=19575] vsize: 11488
Current children cumulated CPU time (s) 790.08
Current children cumulated vsize (Kb) 11488

[startup+800.065 s]
Raw data (loadavg): 0.99 0.92 0.56 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2483 0 0 0 79975 33 0 0 25 0 1 0 1800594449 11763712 2449 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2872 2449 566 18 0 2854 0
[pid=19575] vsize: 11488
Current children cumulated CPU time (s) 800.08
Current children cumulated vsize (Kb) 11488

[startup+810.066 s]
Raw data (loadavg): 0.99 0.93 0.57 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2522 0 0 0 80975 34 0 0 25 0 1 0 1800594449 11898880 2488 4294967295 134512640 134578447 3221224624 3221223584 134559095 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2905 2488 566 18 0 2887 0
[pid=19575] vsize: 11620
Current children cumulated CPU time (s) 810.09
Current children cumulated vsize (Kb) 11620

[startup+820.067 s]
Raw data (loadavg): 0.99 0.93 0.57 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2522 0 0 0 81975 34 0 0 25 0 1 0 1800594449 11898880 2488 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2905 2488 566 18 0 2887 0
[pid=19575] vsize: 11620
Current children cumulated CPU time (s) 820.09
Current children cumulated vsize (Kb) 11620

[startup+830.067 s]
Raw data (loadavg): 0.99 0.93 0.58 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2542 0 0 0 82975 34 0 0 25 0 1 0 1800594449 12029952 2508 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2937 2508 566 18 0 2919 0
[pid=19575] vsize: 11748
Current children cumulated CPU time (s) 830.09
Current children cumulated vsize (Kb) 11748

[startup+840.068 s]
Raw data (loadavg): 0.99 0.93 0.58 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2542 0 0 0 83975 34 0 0 25 0 1 0 1800594449 12029952 2508 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2937 2508 566 18 0 2919 0
[pid=19575] vsize: 11748
Current children cumulated CPU time (s) 840.09
Current children cumulated vsize (Kb) 11748

[startup+850.067 s]
Raw data (loadavg): 0.99 0.93 0.58 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2542 0 0 0 84975 34 0 0 25 0 1 0 1800594449 12029952 2508 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2937 2508 566 18 0 2919 0
[pid=19575] vsize: 11748
Current children cumulated CPU time (s) 850.09
Current children cumulated vsize (Kb) 11748

[startup+860.068 s]
Raw data (loadavg): 0.99 0.93 0.59 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2542 0 0 0 85975 34 0 0 25 0 1 0 1800594449 12029952 2508 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2937 2508 566 18 0 2919 0
[pid=19575] vsize: 11748
Current children cumulated CPU time (s) 860.09
Current children cumulated vsize (Kb) 11748

[startup+870.068 s]
Raw data (loadavg): 0.99 0.94 0.59 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2542 0 0 0 86975 34 0 0 25 0 1 0 1800594449 12029952 2508 4294967295 134512640 134578447 3221224624 3221223536 134557326 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2937 2508 566 18 0 2919 0
[pid=19575] vsize: 11748
Current children cumulated CPU time (s) 870.09
Current children cumulated vsize (Kb) 11748

[startup+880.069 s]
Raw data (loadavg): 0.99 0.94 0.59 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2542 0 0 0 87975 34 0 0 25 0 1 0 1800594449 12029952 2508 4294967295 134512640 134578447 3221224624 3221223584 134559080 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 2937 2508 566 18 0 2919 0
[pid=19575] vsize: 11748
Current children cumulated CPU time (s) 880.09
Current children cumulated vsize (Kb) 11748

[startup+890.07 s]
Raw data (loadavg): 0.99 0.94 0.60 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2615 0 0 0 88975 35 0 0 25 0 1 0 1800594449 12292096 2581 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3001 2581 566 18 0 2983 0
[pid=19575] vsize: 12004
Current children cumulated CPU time (s) 890.1
Current children cumulated vsize (Kb) 12004

[startup+900.071 s]
Raw data (loadavg): 0.99 0.94 0.60 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2618 0 0 0 89976 35 0 0 25 0 1 0 1800594449 12292096 2584 4294967295 134512640 134578447 3221224624 3221223568 134558626 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3001 2584 566 18 0 2983 0
[pid=19575] vsize: 12004
Current children cumulated CPU time (s) 900.11
Current children cumulated vsize (Kb) 12004

[startup+910.071 s]
Raw data (loadavg): 0.99 0.94 0.61 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2652 0 0 0 90975 35 0 0 25 0 1 0 1800594449 12423168 2618 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3033 2618 566 18 0 3015 0
[pid=19575] vsize: 12132
Current children cumulated CPU time (s) 910.1
Current children cumulated vsize (Kb) 12132

[startup+920.071 s]
Raw data (loadavg): 0.99 0.94 0.61 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 91976 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0
[pid=19575] vsize: 12260
Current children cumulated CPU time (s) 920.11
Current children cumulated vsize (Kb) 12260

[startup+930.071 s]
Raw data (loadavg): 0.99 0.95 0.61 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 92976 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0
[pid=19575] vsize: 12260
Current children cumulated CPU time (s) 930.11
Current children cumulated vsize (Kb) 12260

[startup+940.072 s]
Raw data (loadavg): 0.99 0.95 0.62 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 93976 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0
[pid=19575] vsize: 12260
Current children cumulated CPU time (s) 940.11
Current children cumulated vsize (Kb) 12260

[startup+950.073 s]
Raw data (loadavg): 0.99 0.95 0.62 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 94976 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223536 134556908 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0
[pid=19575] vsize: 12260
Current children cumulated CPU time (s) 950.11
Current children cumulated vsize (Kb) 12260

[startup+960.073 s]
Raw data (loadavg): 0.99 0.95 0.63 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 95976 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0
[pid=19575] vsize: 12260
Current children cumulated CPU time (s) 960.11
Current children cumulated vsize (Kb) 12260

[startup+970.074 s]
Raw data (loadavg): 0.99 0.95 0.63 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 96976 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0
[pid=19575] vsize: 12260
Current children cumulated CPU time (s) 970.11
Current children cumulated vsize (Kb) 12260

[startup+980.074 s]
Raw data (loadavg): 0.99 0.95 0.63 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 97977 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0
[pid=19575] vsize: 12260
Current children cumulated CPU time (s) 980.12
Current children cumulated vsize (Kb) 12260

[startup+990.075 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 98977 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223536 134557049 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0
[pid=19575] vsize: 12260
Current children cumulated CPU time (s) 990.12
Current children cumulated vsize (Kb) 12260

[startup+1000.07 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 99977 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0
[pid=19575] vsize: 12260
Current children cumulated CPU time (s) 1000.12
Current children cumulated vsize (Kb) 12260

[startup+1010.08 s]
Raw data (loadavg): 0.99 0.95 0.64 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 100977 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223520 134519792 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0
[pid=19575] vsize: 12260
Current children cumulated CPU time (s) 1010.12
Current children cumulated vsize (Kb) 12260

[startup+1020.08 s]
Raw data (loadavg): 0.99 0.95 0.65 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 101977 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0
[pid=19575] vsize: 12260
Current children cumulated CPU time (s) 1020.12
Current children cumulated vsize (Kb) 12260

[startup+1030.08 s]
Raw data (loadavg): 0.99 0.95 0.65 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2692 0 0 0 102978 35 0 0 25 0 1 0 1800594449 12554240 2658 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3065 2658 566 18 0 3047 0
[pid=19575] vsize: 12260
Current children cumulated CPU time (s) 1030.13
Current children cumulated vsize (Kb) 12260

[startup+1040.08 s]
Raw data (loadavg): 0.99 0.96 0.65 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2694 0 0 0 103977 36 0 0 25 0 1 0 1800594449 12554240 2660 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3065 2660 566 18 0 3047 0
[pid=19575] vsize: 12260
Current children cumulated CPU time (s) 1040.13
Current children cumulated vsize (Kb) 12260

[startup+1050.08 s]
Raw data (loadavg): 0.99 0.96 0.66 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2716 0 0 0 104977 36 0 0 25 0 1 0 1800594449 12685312 2682 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3097 2682 566 18 0 3079 0
[pid=19575] vsize: 12388
Current children cumulated CPU time (s) 1050.13
Current children cumulated vsize (Kb) 12388

[startup+1060.08 s]
Raw data (loadavg): 0.99 0.96 0.66 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2749 0 0 0 105977 36 0 0 25 0 1 0 1800594449 12816384 2715 4294967295 134512640 134578447 3221224624 3221223660 134553754 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3129 2715 566 18 0 3111 0
[pid=19575] vsize: 12516
Current children cumulated CPU time (s) 1060.13
Current children cumulated vsize (Kb) 12516

[startup+1070.08 s]
Raw data (loadavg): 0.99 0.96 0.66 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2749 0 0 0 106978 36 0 0 25 0 1 0 1800594449 12816384 2715 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3129 2715 566 18 0 3111 0
[pid=19575] vsize: 12516
Current children cumulated CPU time (s) 1070.14
Current children cumulated vsize (Kb) 12516

[startup+1080.08 s]
Raw data (loadavg): 1.07 0.98 0.67 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2749 0 0 0 107978 36 0 0 25 0 1 0 1800594449 12816384 2715 4294967295 134512640 134578447 3221224624 3221223584 134559080 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3129 2715 566 18 0 3111 0
[pid=19575] vsize: 12516
Current children cumulated CPU time (s) 1080.14
Current children cumulated vsize (Kb) 12516

[startup+1090.08 s]
Raw data (loadavg): 1.06 0.98 0.67 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2749 0 0 0 108978 36 0 0 25 0 1 0 1800594449 12816384 2715 4294967295 134512640 134578447 3221224624 3221223552 134552650 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3129 2715 566 18 0 3111 0
[pid=19575] vsize: 12516
Current children cumulated CPU time (s) 1090.14
Current children cumulated vsize (Kb) 12516

[startup+1100.08 s]
Raw data (loadavg): 1.05 0.98 0.68 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2759 0 0 0 109978 36 0 0 25 0 1 0 1800594449 12951552 2725 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3162 2725 566 18 0 3144 0
[pid=19575] vsize: 12648
Current children cumulated CPU time (s) 1100.14
Current children cumulated vsize (Kb) 12648

[startup+1110.08 s]
Raw data (loadavg): 1.04 0.98 0.68 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2769 0 0 0 110978 36 0 0 25 0 1 0 1800594449 12951552 2735 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3162 2735 566 18 0 3144 0
[pid=19575] vsize: 12648
Current children cumulated CPU time (s) 1110.14
Current children cumulated vsize (Kb) 12648

[startup+1120.08 s]
Raw data (loadavg): 1.03 0.98 0.68 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2769 0 0 0 111978 36 0 0 25 0 1 0 1800594449 12951552 2735 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3162 2735 566 18 0 3144 0
[pid=19575] vsize: 12648
Current children cumulated CPU time (s) 1120.14
Current children cumulated vsize (Kb) 12648

[startup+1130.08 s]
Raw data (loadavg): 1.03 0.98 0.68 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2769 0 0 0 112978 36 0 0 25 0 1 0 1800594449 12951552 2735 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3162 2735 566 18 0 3144 0
[pid=19575] vsize: 12648
Current children cumulated CPU time (s) 1130.14
Current children cumulated vsize (Kb) 12648

[startup+1140.08 s]
Raw data (loadavg): 1.02 0.98 0.69 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2807 0 0 0 113978 36 0 0 25 0 1 0 1800594449 13082624 2773 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3194 2773 566 18 0 3176 0
[pid=19575] vsize: 12776
Current children cumulated CPU time (s) 1140.14
Current children cumulated vsize (Kb) 12776

[startup+1150.08 s]
Raw data (loadavg): 1.02 0.98 0.69 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2836 0 0 0 114979 37 0 0 25 0 1 0 1800594449 13213696 2802 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3226 2802 566 18 0 3208 0
[pid=19575] vsize: 12904
Current children cumulated CPU time (s) 1150.16
Current children cumulated vsize (Kb) 12904

[startup+1160.08 s]
Raw data (loadavg): 1.02 0.98 0.69 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2836 0 0 0 115979 37 0 0 25 0 1 0 1800594449 13213696 2802 4294967295 134512640 134578447 3221224624 3221223520 134519825 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3226 2802 566 18 0 3208 0
[pid=19575] vsize: 12904
Current children cumulated CPU time (s) 1160.16
Current children cumulated vsize (Kb) 12904

[startup+1170.08 s]
Raw data (loadavg): 1.01 0.98 0.70 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2862 0 0 0 116979 37 0 0 25 0 1 0 1800594449 13344768 2828 4294967295 134512640 134578447 3221224624 3221223472 134520245 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3258 2828 566 18 0 3240 0
[pid=19575] vsize: 13032
Current children cumulated CPU time (s) 1170.16
Current children cumulated vsize (Kb) 13032

[startup+1180.08 s]
Raw data (loadavg): 1.01 0.98 0.70 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2869 0 0 0 117979 37 0 0 25 0 1 0 1800594449 13344768 2835 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3258 2835 566 18 0 3240 0
[pid=19575] vsize: 13032
Current children cumulated CPU time (s) 1180.16
Current children cumulated vsize (Kb) 13032

[startup+1190.08 s]
Raw data (loadavg): 1.01 0.98 0.70 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2869 0 0 0 118979 37 0 0 25 0 1 0 1800594449 13344768 2835 4294967295 134512640 134578447 3221224624 3221223552 134516659 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3258 2835 566 18 0 3240 0
[pid=19575] vsize: 13032
Current children cumulated CPU time (s) 1190.16
Current children cumulated vsize (Kb) 13032

[startup+1200.08 s]
Raw data (loadavg): 1.01 0.98 0.70 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2869 0 0 0 119979 37 0 0 25 0 1 0 1800594449 13344768 2835 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3258 2835 566 18 0 3240 0
[pid=19575] vsize: 13032
Current children cumulated CPU time (s) 1200.16
Current children cumulated vsize (Kb) 13032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.08 s]
Raw data (loadavg): 1.01 0.98 0.70 2/56 19575
Raw data (/proc/19575/stat): 19575 (Pueblo) R 19574 19575 8263 0 -1 0 2869 0 0 0 119979 37 0 0 25 0 1 0 1800594449 13344768 2835 4294967295 134512640 134578447 3221224624 3221223584 134559068 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19575/statm): 3258 2835 566 18 0 3240 0
[pid=19575] vsize: 13032
Current children cumulated CPU time (s) 1200.16
Current children cumulated vsize (Kb) 13032

Sending SIGTERM to -19575
Sleeping 2 seconds
One traced child (pid=19575) 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): 1200.09
CPU time (s): 1200.18
CPU user time (s): 1199.79
CPU system time (s): 0.382941
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (Kb): 13032

Verifier Data

ERROR: no interpretation found !