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-par32-1-c.opb
MD5SUM8c1b8634a2f99e9f8e579ef031d10353
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 2630
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 2630
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2630
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables2630
Total number of constraints6569
Number of constraints which are clauses6569
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 7755

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-20 13:53:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4878 boxname=wulflinc9 idbench=190 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  8c1b8634a2f99e9f8e579ef031d10353  /oldhome/oroussel/tmp/wulflinc9/normalized-par32-1-c.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4878
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        833672 kB
Buffers:         37764 kB
Cached:         133844 kB
SwapCached:       1044 kB
Active:          67572 kB
Inactive:       106792 kB
HighTotal:      131008 kB
HighFree:        12600 kB
LowTotal:       903652 kB
LowFree:        821072 kB
SwapTotal:     2097136 kB
SwapFree:      2095568 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            21148 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 14:13:06 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 4878 7 1200.23 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/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1800818931 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7808/statm): 41 3 40 18 0 23 0
[pid=7808] 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.0031 s]
Raw data (loadavg): 0.72 0.79 0.66 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 749 0 0 0 994 2 0 0 25 0 1 0 1800818931 4657152 715 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1137 715 566 18 0 1119 0
[pid=7808] vsize: 4548
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 4548

[startup+20.0038 s]
Raw data (loadavg): 0.76 0.79 0.66 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 853 0 0 0 1994 3 0 0 25 0 1 0 1800818931 5181440 819 4294967295 134512640 134578447 3221224624 3221223520 134556718 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1265 819 566 18 0 1247 0
[pid=7808] vsize: 5060
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 5060

[startup+30.0046 s]
Raw data (loadavg): 0.80 0.80 0.66 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 951 0 0 0 2994 3 0 0 25 0 1 0 1800818931 5574656 917 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1361 917 566 18 0 1343 0
[pid=7808] vsize: 5444
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 5444

[startup+40.0043 s]
Raw data (loadavg): 0.83 0.81 0.66 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1038 0 0 0 3994 3 0 0 25 0 1 0 1800818931 5836800 1004 4294967295 134512640 134578447 3221224624 3221223584 134559013 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1425 1004 566 18 0 1407 0
[pid=7808] vsize: 5700
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 5700

[startup+50.0051 s]
Raw data (loadavg): 0.86 0.81 0.67 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1107 0 0 0 4994 4 0 0 25 0 1 0 1800818931 6107136 1073 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1491 1073 566 18 0 1473 0
[pid=7808] vsize: 5964
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 5964

[startup+60.0048 s]
Raw data (loadavg): 0.88 0.82 0.67 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1186 0 0 0 5994 4 0 0 25 0 1 0 1800818931 6504448 1152 4294967295 134512640 134578447 3221224624 3221223536 134556815 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1588 1152 566 18 0 1570 0
[pid=7808] vsize: 6352
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 6352

[startup+70.0066 s]
Raw data (loadavg): 0.90 0.82 0.67 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1272 0 0 0 6993 5 0 0 25 0 1 0 1800818931 6897664 1238 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1684 1238 566 18 0 1666 0
[pid=7808] vsize: 6736
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 6736

[startup+80.0073 s]
Raw data (loadavg): 0.91 0.83 0.68 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1283 0 0 0 7993 5 0 0 25 0 1 0 1800818931 6897664 1249 4294967295 134512640 134578447 3221224624 3221223552 134552650 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1684 1249 566 18 0 1666 0
[pid=7808] vsize: 6736
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 6736

[startup+90.0071 s]
Raw data (loadavg): 0.92 0.83 0.68 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1283 0 0 0 8993 5 0 0 25 0 1 0 1800818931 6897664 1249 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1684 1249 566 18 0 1666 0
[pid=7808] vsize: 6736
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 6736

[startup+100.008 s]
Raw data (loadavg): 0.94 0.84 0.68 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1299 0 0 0 9994 5 0 0 25 0 1 0 1800818931 7049216 1265 4294967295 134512640 134578447 3221224624 3221223584 134558593 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1721 1265 566 18 0 1703 0
[pid=7808] vsize: 6884
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 6884

[startup+110.008 s]
Raw data (loadavg): 0.95 0.84 0.69 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1299 0 0 0 10994 5 0 0 25 0 1 0 1800818931 7049216 1265 4294967295 134512640 134578447 3221224624 3221223568 134558663 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1721 1265 566 18 0 1703 0
[pid=7808] vsize: 6884
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 6884

[startup+120.008 s]
Raw data (loadavg): 0.95 0.85 0.69 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1307 0 0 0 11994 5 0 0 25 0 1 0 1800818931 7049216 1273 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1721 1273 566 18 0 1703 0
[pid=7808] vsize: 6884
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 6884

[startup+130.009 s]
Raw data (loadavg): 0.96 0.85 0.69 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1307 0 0 0 12994 5 0 0 25 0 1 0 1800818931 7049216 1273 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1721 1273 566 18 0 1703 0
[pid=7808] vsize: 6884
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 6884

[startup+140.009 s]
Raw data (loadavg): 0.97 0.86 0.69 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1395 0 0 0 13994 5 0 0 25 0 1 0 1800818931 7323648 1361 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1788 1361 566 18 0 1770 0
[pid=7808] vsize: 7152
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 7152

[startup+150.01 s]
Raw data (loadavg): 0.97 0.86 0.70 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1395 0 0 0 14994 5 0 0 25 0 1 0 1800818931 7323648 1361 4294967295 134512640 134578447 3221224624 3221223520 134519738 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1788 1361 566 18 0 1770 0
[pid=7808] vsize: 7152
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 7152

[startup+160.009 s]
Raw data (loadavg): 0.97 0.86 0.70 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1395 0 0 0 15994 5 0 0 25 0 1 0 1800818931 7323648 1361 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1788 1361 566 18 0 1770 0
[pid=7808] vsize: 7152
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 7152

[startup+170.01 s]
Raw data (loadavg): 0.98 0.87 0.70 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1395 0 0 0 16994 5 0 0 25 0 1 0 1800818931 7323648 1361 4294967295 134512640 134578447 3221224624 3221223472 134558319 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1788 1361 566 18 0 1770 0
[pid=7808] vsize: 7152
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 7152

[startup+180.011 s]
Raw data (loadavg): 0.98 0.87 0.71 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1395 0 0 0 17994 6 0 0 25 0 1 0 1800818931 7323648 1361 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1788 1361 566 18 0 1770 0
[pid=7808] vsize: 7152
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 7152

[startup+190.011 s]
Raw data (loadavg): 0.98 0.88 0.71 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1395 0 0 0 18993 7 0 0 25 0 1 0 1800818931 7323648 1361 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1788 1361 566 18 0 1770 0
[pid=7808] vsize: 7152
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 7152

[startup+200.011 s]
Raw data (loadavg): 0.99 0.88 0.71 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1395 0 0 0 19993 7 0 0 25 0 1 0 1800818931 7323648 1361 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1788 1361 566 18 0 1770 0
[pid=7808] vsize: 7152
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 7152

[startup+210.011 s]
Raw data (loadavg): 0.99 0.88 0.71 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1395 0 0 0 20993 7 0 0 25 0 1 0 1800818931 7323648 1361 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1788 1361 566 18 0 1770 0
[pid=7808] vsize: 7152
Current children cumulated CPU time (s) 210
Current children cumulated vsize (Kb) 7152

[startup+220.012 s]
Raw data (loadavg): 0.99 0.89 0.72 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1403 0 0 0 21993 8 0 0 25 0 1 0 1800818931 7454720 1369 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1820 1369 566 18 0 1802 0
[pid=7808] vsize: 7280
Current children cumulated CPU time (s) 220.01
Current children cumulated vsize (Kb) 7280

[startup+230.013 s]
Raw data (loadavg): 0.99 0.89 0.72 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1406 0 0 0 22993 8 0 0 25 0 1 0 1800818931 7454720 1372 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1820 1372 566 18 0 1802 0
[pid=7808] vsize: 7280
Current children cumulated CPU time (s) 230.01
Current children cumulated vsize (Kb) 7280

[startup+240.012 s]
Raw data (loadavg): 0.99 0.89 0.72 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1409 0 0 0 23993 8 0 0 25 0 1 0 1800818931 7454720 1375 4294967295 134512640 134578447 3221224624 3221223584 134558996 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1820 1375 566 18 0 1802 0
[pid=7808] vsize: 7280
Current children cumulated CPU time (s) 240.01
Current children cumulated vsize (Kb) 7280

[startup+250.013 s]
Raw data (loadavg): 0.99 0.90 0.73 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1500 0 0 0 24993 8 0 0 25 0 1 0 1800818931 7847936 1466 4294967295 134512640 134578447 3221224624 3221223584 134559080 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1916 1466 566 18 0 1898 0
[pid=7808] vsize: 7664
Current children cumulated CPU time (s) 250.01
Current children cumulated vsize (Kb) 7664

[startup+260.013 s]
Raw data (loadavg): 0.99 0.90 0.73 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1501 0 0 0 25993 9 0 0 25 0 1 0 1800818931 7847936 1467 4294967295 134512640 134578447 3221224624 3221223584 134558922 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1916 1467 566 18 0 1898 0
[pid=7808] vsize: 7664
Current children cumulated CPU time (s) 260.02
Current children cumulated vsize (Kb) 7664

[startup+270.014 s]
Raw data (loadavg): 0.99 0.90 0.73 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1501 0 0 0 26993 9 0 0 25 0 1 0 1800818931 7847936 1467 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1916 1467 566 18 0 1898 0
[pid=7808] vsize: 7664
Current children cumulated CPU time (s) 270.02
Current children cumulated vsize (Kb) 7664

[startup+280.014 s]
Raw data (loadavg): 0.99 0.90 0.73 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1501 0 0 0 27993 9 0 0 25 0 1 0 1800818931 7847936 1467 4294967295 134512640 134578447 3221224624 3221223520 134519944 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1916 1467 566 18 0 1898 0
[pid=7808] vsize: 7664
Current children cumulated CPU time (s) 280.02
Current children cumulated vsize (Kb) 7664

[startup+290.014 s]
Raw data (loadavg): 0.99 0.91 0.73 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1501 0 0 0 28993 9 0 0 25 0 1 0 1800818931 7847936 1467 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1916 1467 566 18 0 1898 0
[pid=7808] vsize: 7664
Current children cumulated CPU time (s) 290.02
Current children cumulated vsize (Kb) 7664

[startup+300.015 s]
Raw data (loadavg): 0.99 0.91 0.74 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1501 0 0 0 29993 9 0 0 25 0 1 0 1800818931 7847936 1467 4294967295 134512640 134578447 3221224624 3221223584 134559088 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1916 1467 566 18 0 1898 0
[pid=7808] vsize: 7664
Current children cumulated CPU time (s) 300.02
Current children cumulated vsize (Kb) 7664

[startup+310.015 s]
Raw data (loadavg): 0.99 0.91 0.74 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1501 0 0 0 30993 9 0 0 25 0 1 0 1800818931 7847936 1467 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1916 1467 566 18 0 1898 0
[pid=7808] vsize: 7664
Current children cumulated CPU time (s) 310.02
Current children cumulated vsize (Kb) 7664

[startup+320.015 s]
Raw data (loadavg): 0.99 0.91 0.74 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1501 0 0 0 31994 9 0 0 25 0 1 0 1800818931 7847936 1467 4294967295 134512640 134578447 3221224624 3221223520 134519849 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1916 1467 566 18 0 1898 0
[pid=7808] vsize: 7664
Current children cumulated CPU time (s) 320.03
Current children cumulated vsize (Kb) 7664

[startup+330.016 s]
Raw data (loadavg): 0.99 0.92 0.74 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1502 0 0 0 32994 9 0 0 25 0 1 0 1800818931 7847936 1468 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1916 1468 566 18 0 1898 0
[pid=7808] vsize: 7664
Current children cumulated CPU time (s) 330.03
Current children cumulated vsize (Kb) 7664

[startup+340.017 s]
Raw data (loadavg): 0.99 0.92 0.74 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1502 0 0 0 33994 9 0 0 25 0 1 0 1800818931 7847936 1468 4294967295 134512640 134578447 3221224624 3221223584 134559077 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1916 1468 566 18 0 1898 0
[pid=7808] vsize: 7664
Current children cumulated CPU time (s) 340.03
Current children cumulated vsize (Kb) 7664

[startup+350.017 s]
Raw data (loadavg): 0.99 0.92 0.75 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1502 0 0 0 34994 9 0 0 25 0 1 0 1800818931 7847936 1468 4294967295 134512640 134578447 3221224624 3221223520 134519913 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1916 1468 566 18 0 1898 0
[pid=7808] vsize: 7664
Current children cumulated CPU time (s) 350.03
Current children cumulated vsize (Kb) 7664

[startup+360.016 s]
Raw data (loadavg): 0.99 0.92 0.75 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1502 0 0 0 35994 10 0 0 25 0 1 0 1800818931 7847936 1468 4294967295 134512640 134578447 3221224624 3221223520 134519847 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1916 1468 566 18 0 1898 0
[pid=7808] vsize: 7664
Current children cumulated CPU time (s) 360.04
Current children cumulated vsize (Kb) 7664

[startup+370.017 s]
Raw data (loadavg): 0.99 0.92 0.75 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1502 0 0 0 36994 10 0 0 25 0 1 0 1800818931 7847936 1468 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1916 1468 566 18 0 1898 0
[pid=7808] vsize: 7664
Current children cumulated CPU time (s) 370.04
Current children cumulated vsize (Kb) 7664

[startup+380.017 s]
Raw data (loadavg): 0.99 0.93 0.75 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1509 0 0 0 37994 10 0 0 25 0 1 0 1800818931 7847936 1475 4294967295 134512640 134578447 3221224624 3221223584 134559080 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1916 1475 566 18 0 1898 0
[pid=7808] vsize: 7664
Current children cumulated CPU time (s) 380.04
Current children cumulated vsize (Kb) 7664

[startup+390.017 s]
Raw data (loadavg): 0.99 0.93 0.75 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1509 0 0 0 38994 10 0 0 25 0 1 0 1800818931 7847936 1475 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1916 1475 566 18 0 1898 0
[pid=7808] vsize: 7664
Current children cumulated CPU time (s) 390.04
Current children cumulated vsize (Kb) 7664

[startup+400.017 s]
Raw data (loadavg): 0.99 0.93 0.76 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1515 0 0 0 39995 10 0 0 25 0 1 0 1800818931 7847936 1481 4294967295 134512640 134578447 3221224624 3221223584 134558602 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1916 1481 566 18 0 1898 0
[pid=7808] vsize: 7664
Current children cumulated CPU time (s) 400.05
Current children cumulated vsize (Kb) 7664

[startup+410.017 s]
Raw data (loadavg): 0.99 0.93 0.76 2/56 7808
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1515 0 0 0 40994 10 0 0 25 0 1 0 1800818931 7847936 1481 4294967295 134512640 134578447 3221224624 3221223520 134519738 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1916 1481 566 18 0 1898 0
[pid=7808] vsize: 7664
Current children cumulated CPU time (s) 410.04
Current children cumulated vsize (Kb) 7664

[startup+420.018 s]
Raw data (loadavg): 1.07 0.95 0.77 3/59 7843
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1519 0 0 0 41995 10 0 0 25 0 1 0 1800818931 7847936 1485 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1916 1485 566 18 0 1898 0
[pid=7808] vsize: 7664
Current children cumulated CPU time (s) 420.05
Current children cumulated vsize (Kb) 7664

[startup+430.019 s]
Raw data (loadavg): 1.14 0.97 0.77 2/56 7863
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1519 0 0 0 42995 10 0 0 25 0 1 0 1800818931 7847936 1485 4294967295 134512640 134578447 3221224624 3221223520 134519738 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1916 1485 566 18 0 1898 0
[pid=7808] vsize: 7664
Current children cumulated CPU time (s) 430.05
Current children cumulated vsize (Kb) 7664

[startup+440.018 s]
Raw data (loadavg): 1.11 0.97 0.77 2/56 7863
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1519 0 0 0 43995 10 0 0 25 0 1 0 1800818931 7847936 1485 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1916 1485 566 18 0 1898 0
[pid=7808] vsize: 7664
Current children cumulated CPU time (s) 440.05
Current children cumulated vsize (Kb) 7664

[startup+450.019 s]
Raw data (loadavg): 1.10 0.97 0.78 2/56 7863
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1519 0 0 0 44995 10 0 0 25 0 1 0 1800818931 7847936 1485 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 1916 1485 566 18 0 1898 0
[pid=7808] vsize: 7664
Current children cumulated CPU time (s) 450.05
Current children cumulated vsize (Kb) 7664

[startup+460.02 s]
Raw data (loadavg): 1.08 0.97 0.78 2/56 7863
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1615 0 0 0 45995 11 0 0 25 0 1 0 1800818931 8245248 1581 4294967295 134512640 134578447 3221224624 3221223536 134556889 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2013 1581 566 18 0 1995 0
[pid=7808] vsize: 8052
Current children cumulated CPU time (s) 460.06
Current children cumulated vsize (Kb) 8052

[startup+470.021 s]
Raw data (loadavg): 1.07 0.97 0.78 2/56 7863
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1707 0 0 0 46995 11 0 0 25 0 1 0 1800818931 8638464 1673 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2109 1673 566 18 0 2091 0
[pid=7808] vsize: 8436
Current children cumulated CPU time (s) 470.06
Current children cumulated vsize (Kb) 8436

[startup+480.021 s]
Raw data (loadavg): 1.06 0.97 0.78 2/56 7863
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1708 0 0 0 47995 11 0 0 25 0 1 0 1800818931 8638464 1674 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2109 1674 566 18 0 2091 0
[pid=7808] vsize: 8436
Current children cumulated CPU time (s) 480.06
Current children cumulated vsize (Kb) 8436

[startup+490.021 s]
Raw data (loadavg): 1.05 0.97 0.78 2/56 7863
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1724 0 0 0 48995 11 0 0 25 0 1 0 1800818931 8769536 1690 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1690 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 490.06
Current children cumulated vsize (Kb) 8564

[startup+500.021 s]
Raw data (loadavg): 1.04 0.97 0.79 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1724 0 0 0 49995 11 0 0 25 0 1 0 1800818931 8769536 1690 4294967295 134512640 134578447 3221224624 3221223524 134556724 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1690 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 500.06
Current children cumulated vsize (Kb) 8564

[startup+510.022 s]
Raw data (loadavg): 1.03 0.97 0.79 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1724 0 0 0 50995 11 0 0 25 0 1 0 1800818931 8769536 1690 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1690 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 510.06
Current children cumulated vsize (Kb) 8564

[startup+520.022 s]
Raw data (loadavg): 1.03 0.97 0.79 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1725 0 0 0 51995 11 0 0 25 0 1 0 1800818931 8769536 1691 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1691 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 520.06
Current children cumulated vsize (Kb) 8564

[startup+530.022 s]
Raw data (loadavg): 1.02 0.97 0.79 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1725 0 0 0 52995 11 0 0 25 0 1 0 1800818931 8769536 1691 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1691 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 530.06
Current children cumulated vsize (Kb) 8564

[startup+540.023 s]
Raw data (loadavg): 1.02 0.97 0.79 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1725 0 0 0 53996 11 0 0 25 0 1 0 1800818931 8769536 1691 4294967295 134512640 134578447 3221224624 3221223584 134559068 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1691 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 540.07
Current children cumulated vsize (Kb) 8564

[startup+550.024 s]
Raw data (loadavg): 1.02 0.97 0.80 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1725 0 0 0 54996 11 0 0 25 0 1 0 1800818931 8769536 1691 4294967295 134512640 134578447 3221224624 3221223472 134520167 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1691 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 550.07
Current children cumulated vsize (Kb) 8564

[startup+560.023 s]
Raw data (loadavg): 1.01 0.97 0.80 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1725 0 0 0 55996 11 0 0 25 0 1 0 1800818931 8769536 1691 4294967295 134512640 134578447 3221224624 3221223520 134519963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1691 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 560.07
Current children cumulated vsize (Kb) 8564

[startup+570.024 s]
Raw data (loadavg): 1.01 0.97 0.80 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1728 0 0 0 56996 11 0 0 25 0 1 0 1800818931 8769536 1694 4294967295 134512640 134578447 3221224624 3221223584 134559002 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1694 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 570.07
Current children cumulated vsize (Kb) 8564

[startup+580.025 s]
Raw data (loadavg): 1.16 1.00 0.81 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1729 0 0 0 57996 11 0 0 25 0 1 0 1800818931 8769536 1695 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1695 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 580.07
Current children cumulated vsize (Kb) 8564

[startup+590.024 s]
Raw data (loadavg): 1.14 1.00 0.81 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1729 0 0 0 58996 12 0 0 25 0 1 0 1800818931 8769536 1695 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1695 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 590.08
Current children cumulated vsize (Kb) 8564

[startup+600.025 s]
Raw data (loadavg): 1.12 1.00 0.82 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1729 0 0 0 59997 12 0 0 25 0 1 0 1800818931 8769536 1695 4294967295 134512640 134578447 3221224624 3221223536 134556815 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1695 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 600.09
Current children cumulated vsize (Kb) 8564

[startup+610.026 s]
Raw data (loadavg): 1.10 1.00 0.82 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1729 0 0 0 60997 12 0 0 25 0 1 0 1800818931 8769536 1695 4294967295 134512640 134578447 3221224624 3221223552 134519717 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1695 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 610.09
Current children cumulated vsize (Kb) 8564

[startup+620.027 s]
Raw data (loadavg): 1.08 1.00 0.82 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1729 0 0 0 61997 12 0 0 25 0 1 0 1800818931 8769536 1695 4294967295 134512640 134578447 3221224624 3221223520 134520053 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1695 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 620.09
Current children cumulated vsize (Kb) 8564

[startup+630.028 s]
Raw data (loadavg): 1.07 1.00 0.82 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1729 0 0 0 62997 12 0 0 25 0 1 0 1800818931 8769536 1695 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1695 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 630.09
Current children cumulated vsize (Kb) 8564

[startup+640.027 s]
Raw data (loadavg): 1.06 1.00 0.82 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1729 0 0 0 63998 12 0 0 25 0 1 0 1800818931 8769536 1695 4294967295 134512640 134578447 3221224624 3221223536 134557356 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1695 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 640.1
Current children cumulated vsize (Kb) 8564

[startup+650.028 s]
Raw data (loadavg): 1.05 1.00 0.82 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1729 0 0 0 64998 12 0 0 25 0 1 0 1800818931 8769536 1695 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1695 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 650.1
Current children cumulated vsize (Kb) 8564

[startup+660.028 s]
Raw data (loadavg): 1.04 1.00 0.82 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1729 0 0 0 65998 12 0 0 25 0 1 0 1800818931 8769536 1695 4294967295 134512640 134578447 3221224624 3221223584 134559071 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1695 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 660.1
Current children cumulated vsize (Kb) 8564

[startup+670.029 s]
Raw data (loadavg): 1.03 1.00 0.82 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1729 0 0 0 66998 12 0 0 25 0 1 0 1800818931 8769536 1695 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1695 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 670.1
Current children cumulated vsize (Kb) 8564

[startup+680.029 s]
Raw data (loadavg): 1.03 1.00 0.83 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1729 0 0 0 67998 12 0 0 25 0 1 0 1800818931 8769536 1695 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1695 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 680.1
Current children cumulated vsize (Kb) 8564

[startup+690.029 s]
Raw data (loadavg): 1.02 1.00 0.83 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1729 0 0 0 68998 12 0 0 25 0 1 0 1800818931 8769536 1695 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1695 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 690.1
Current children cumulated vsize (Kb) 8564

[startup+700.03 s]
Raw data (loadavg): 1.02 1.00 0.83 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1730 0 0 0 69998 12 0 0 25 0 1 0 1800818931 8769536 1696 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1696 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 700.1
Current children cumulated vsize (Kb) 8564

[startup+710.03 s]
Raw data (loadavg): 1.02 1.00 0.83 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1731 0 0 0 70999 12 0 0 25 0 1 0 1800818931 8769536 1697 4294967295 134512640 134578447 3221224624 3221223584 134559080 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1697 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 710.11
Current children cumulated vsize (Kb) 8564

[startup+720.031 s]
Raw data (loadavg): 1.01 1.00 0.83 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1741 0 0 0 71999 12 0 0 25 0 1 0 1800818931 8769536 1707 4294967295 134512640 134578447 3221224624 3221223584 134559085 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2141 1707 566 18 0 2123 0
[pid=7808] vsize: 8564
Current children cumulated CPU time (s) 720.11
Current children cumulated vsize (Kb) 8564

[startup+730.032 s]
Raw data (loadavg): 1.01 1.00 0.83 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1752 0 0 0 72999 12 0 0 25 0 1 0 1800818931 8900608 1718 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2173 1718 566 18 0 2155 0
[pid=7808] vsize: 8692
Current children cumulated CPU time (s) 730.11
Current children cumulated vsize (Kb) 8692

[startup+740.032 s]
Raw data (loadavg): 1.01 1.00 0.83 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1756 0 0 0 73999 12 0 0 25 0 1 0 1800818931 8900608 1722 4294967295 134512640 134578447 3221224624 3221223520 134519847 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2173 1722 566 18 0 2155 0
[pid=7808] vsize: 8692
Current children cumulated CPU time (s) 740.11
Current children cumulated vsize (Kb) 8692

[startup+750.033 s]
Raw data (loadavg): 1.01 1.00 0.83 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1761 0 0 0 74999 12 0 0 25 0 1 0 1800818931 8900608 1727 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2173 1727 566 18 0 2155 0
[pid=7808] vsize: 8692
Current children cumulated CPU time (s) 750.11
Current children cumulated vsize (Kb) 8692

[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 0.83 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1775 0 0 0 75999 12 0 0 25 0 1 0 1800818931 8900608 1741 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2173 1741 566 18 0 2155 0
[pid=7808] vsize: 8692
Current children cumulated CPU time (s) 760.11
Current children cumulated vsize (Kb) 8692

[startup+770.034 s]
Raw data (loadavg): 1.00 1.00 0.83 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1776 0 0 0 76999 12 0 0 25 0 1 0 1800818931 8900608 1742 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2173 1742 566 18 0 2155 0
[pid=7808] vsize: 8692
Current children cumulated CPU time (s) 770.11
Current children cumulated vsize (Kb) 8692

[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1776 0 0 0 77999 13 0 0 25 0 1 0 1800818931 8900608 1742 4294967295 134512640 134578447 3221224624 3221223520 134519774 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2173 1742 566 18 0 2155 0
[pid=7808] vsize: 8692
Current children cumulated CPU time (s) 780.12
Current children cumulated vsize (Kb) 8692

[startup+790.034 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 7867
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1776 0 0 0 78998 14 0 0 25 0 1 0 1800818931 8900608 1742 4294967295 134512640 134578447 3221224624 3221223520 134519724 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2173 1742 566 18 0 2155 0
[pid=7808] vsize: 8692
Current children cumulated CPU time (s) 790.12
Current children cumulated vsize (Kb) 8692

[startup+800.035 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1777 0 0 0 79998 14 0 0 25 0 1 0 1800818931 9039872 1743 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2207 1743 566 18 0 2189 0
[pid=7808] vsize: 8828
Current children cumulated CPU time (s) 800.12
Current children cumulated vsize (Kb) 8828

[startup+810.036 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1777 0 0 0 80998 15 0 0 25 0 1 0 1800818931 9039872 1743 4294967295 134512640 134578447 3221224624 3221223584 134559020 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2207 1743 566 18 0 2189 0
[pid=7808] vsize: 8828
Current children cumulated CPU time (s) 810.13
Current children cumulated vsize (Kb) 8828

[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1777 0 0 0 81998 15 0 0 25 0 1 0 1800818931 9039872 1743 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2207 1743 566 18 0 2189 0
[pid=7808] vsize: 8828
Current children cumulated CPU time (s) 820.13
Current children cumulated vsize (Kb) 8828

[startup+830.038 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1783 0 0 0 82998 15 0 0 25 0 1 0 1800818931 9039872 1749 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2207 1749 566 18 0 2189 0
[pid=7808] vsize: 8828
Current children cumulated CPU time (s) 830.13
Current children cumulated vsize (Kb) 8828

[startup+840.037 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1783 0 0 0 83998 15 0 0 25 0 1 0 1800818931 9039872 1749 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2207 1749 566 18 0 2189 0
[pid=7808] vsize: 8828
Current children cumulated CPU time (s) 840.13
Current children cumulated vsize (Kb) 8828

[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1783 0 0 0 84998 15 0 0 25 0 1 0 1800818931 9039872 1749 4294967295 134512640 134578447 3221224624 3221223536 134557023 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2207 1749 566 18 0 2189 0
[pid=7808] vsize: 8828
Current children cumulated CPU time (s) 850.13
Current children cumulated vsize (Kb) 8828

[startup+860.038 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1788 0 0 0 85998 16 0 0 25 0 1 0 1800818931 9039872 1754 4294967295 134512640 134578447 3221224624 3221223472 134558403 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2207 1754 566 18 0 2189 0
[pid=7808] vsize: 8828
Current children cumulated CPU time (s) 860.14
Current children cumulated vsize (Kb) 8828

[startup+870.039 s]
Raw data (loadavg): 1.00 1.00 0.84 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1793 0 0 0 86998 16 0 0 25 0 1 0 1800818931 9039872 1759 4294967295 134512640 134578447 3221224624 3221223536 134557349 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2207 1759 566 18 0 2189 0
[pid=7808] vsize: 8828
Current children cumulated CPU time (s) 870.14
Current children cumulated vsize (Kb) 8828

[startup+880.039 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1793 0 0 0 87999 16 0 0 25 0 1 0 1800818931 9039872 1759 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2207 1759 566 18 0 2189 0
[pid=7808] vsize: 8828
Current children cumulated CPU time (s) 880.15
Current children cumulated vsize (Kb) 8828

[startup+890.039 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1793 0 0 0 88998 16 0 0 25 0 1 0 1800818931 9039872 1759 4294967295 134512640 134578447 3221224624 3221223584 134559013 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2207 1759 566 18 0 2189 0
[pid=7808] vsize: 8828
Current children cumulated CPU time (s) 890.14
Current children cumulated vsize (Kb) 8828

[startup+900.04 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1806 0 0 0 89999 16 0 0 25 0 1 0 1800818931 9170944 1772 4294967295 134512640 134578447 3221224624 3221223584 134559062 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2239 1772 566 18 0 2221 0
[pid=7808] vsize: 8956
Current children cumulated CPU time (s) 900.15
Current children cumulated vsize (Kb) 8956

[startup+910.04 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1836 0 0 0 90999 16 0 0 25 0 1 0 1800818931 9306112 1802 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2272 1802 566 18 0 2254 0
[pid=7808] vsize: 9088
Current children cumulated CPU time (s) 910.15
Current children cumulated vsize (Kb) 9088

[startup+920.04 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1891 0 0 0 91998 17 0 0 25 0 1 0 1800818931 9437184 1857 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2304 1857 566 18 0 2286 0
[pid=7808] vsize: 9216
Current children cumulated CPU time (s) 920.15
Current children cumulated vsize (Kb) 9216

[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1904 0 0 0 92998 17 0 0 25 0 1 0 1800818931 9572352 1870 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1870 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 930.15
Current children cumulated vsize (Kb) 9348

[startup+940.041 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1927 0 0 0 93998 17 0 0 25 0 1 0 1800818931 9572352 1893 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1893 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 940.15
Current children cumulated vsize (Kb) 9348

[startup+950.042 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1928 0 0 0 94998 17 0 0 25 0 1 0 1800818931 9572352 1894 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1894 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 950.15
Current children cumulated vsize (Kb) 9348

[startup+960.041 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1928 0 0 0 95998 17 0 0 25 0 1 0 1800818931 9572352 1894 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1894 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 960.15
Current children cumulated vsize (Kb) 9348

[startup+970.042 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1928 0 0 0 96999 17 0 0 25 0 1 0 1800818931 9572352 1894 4294967295 134512640 134578447 3221224624 3221223536 134557417 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1894 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 970.16
Current children cumulated vsize (Kb) 9348

[startup+980.043 s]
Raw data (loadavg): 1.00 1.00 0.85 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1928 0 0 0 97999 17 0 0 25 0 1 0 1800818931 9572352 1894 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1894 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 980.16
Current children cumulated vsize (Kb) 9348

[startup+990.044 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1928 0 0 0 98999 17 0 0 25 0 1 0 1800818931 9572352 1894 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1894 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 990.16
Current children cumulated vsize (Kb) 9348

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1928 0 0 0 99999 17 0 0 25 0 1 0 1800818931 9572352 1894 4294967295 134512640 134578447 3221224624 3221223568 134558669 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1894 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 1000.16
Current children cumulated vsize (Kb) 9348

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1928 0 0 0 100999 18 0 0 25 0 1 0 1800818931 9572352 1894 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1894 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 1010.17
Current children cumulated vsize (Kb) 9348

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1928 0 0 0 101999 18 0 0 25 0 1 0 1800818931 9572352 1894 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1894 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 1020.17
Current children cumulated vsize (Kb) 9348

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1928 0 0 0 103000 18 0 0 25 0 1 0 1800818931 9572352 1894 4294967295 134512640 134578447 3221224624 3221223536 134556795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1894 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 1030.18
Current children cumulated vsize (Kb) 9348

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1928 0 0 0 104000 18 0 0 25 0 1 0 1800818931 9572352 1894 4294967295 134512640 134578447 3221224624 3221223520 134519831 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1894 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 1040.18
Current children cumulated vsize (Kb) 9348

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1928 0 0 0 105000 18 0 0 25 0 1 0 1800818931 9572352 1894 4294967295 134512640 134578447 3221224624 3221223584 134559085 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1894 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 1050.18
Current children cumulated vsize (Kb) 9348

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1928 0 0 0 106000 18 0 0 25 0 1 0 1800818931 9572352 1894 4294967295 134512640 134578447 3221224624 3221223516 134519918 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1894 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 1060.18
Current children cumulated vsize (Kb) 9348

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1929 0 0 0 107000 18 0 0 25 0 1 0 1800818931 9572352 1895 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1895 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 1070.18
Current children cumulated vsize (Kb) 9348

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.86 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1929 0 0 0 108001 18 0 0 25 0 1 0 1800818931 9572352 1895 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1895 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 1080.19
Current children cumulated vsize (Kb) 9348

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1929 0 0 0 109001 18 0 0 25 0 1 0 1800818931 9572352 1895 4294967295 134512640 134578447 3221224624 3221223520 134519738 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1895 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 1090.19
Current children cumulated vsize (Kb) 9348

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1929 0 0 0 110001 18 0 0 25 0 1 0 1800818931 9572352 1895 4294967295 134512640 134578447 3221224624 3221223584 134559065 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1895 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 1100.19
Current children cumulated vsize (Kb) 9348

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1929 0 0 0 111001 18 0 0 25 0 1 0 1800818931 9572352 1895 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1895 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 1110.19
Current children cumulated vsize (Kb) 9348

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1929 0 0 0 112001 18 0 0 25 0 1 0 1800818931 9572352 1895 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1895 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 1120.19
Current children cumulated vsize (Kb) 9348

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1929 0 0 0 113001 18 0 0 25 0 1 0 1800818931 9572352 1895 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1895 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 1130.19
Current children cumulated vsize (Kb) 9348

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1929 0 0 0 114001 18 0 0 25 0 1 0 1800818931 9572352 1895 4294967295 134512640 134578447 3221224624 3221223564 134552700 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1895 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 1140.19
Current children cumulated vsize (Kb) 9348

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1929 0 0 0 115002 18 0 0 25 0 1 0 1800818931 9572352 1895 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2337 1895 566 18 0 2319 0
[pid=7808] vsize: 9348
Current children cumulated CPU time (s) 1150.2
Current children cumulated vsize (Kb) 9348

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1932 0 0 0 116002 18 0 0 25 0 1 0 1800818931 9711616 1898 4294967295 134512640 134578447 3221224624 3221223520 134519731 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2371 1898 566 18 0 2353 0
[pid=7808] vsize: 9484
Current children cumulated CPU time (s) 1160.2
Current children cumulated vsize (Kb) 9484

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1941 0 0 0 117002 18 0 0 25 0 1 0 1800818931 9711616 1907 4294967295 134512640 134578447 3221224624 3221223584 134559095 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2371 1907 566 18 0 2353 0
[pid=7808] vsize: 9484
Current children cumulated CPU time (s) 1170.2
Current children cumulated vsize (Kb) 9484

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.87 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1941 0 0 0 118002 18 0 0 25 0 1 0 1800818931 9711616 1907 4294967295 134512640 134578447 3221224624 3221223520 134519731 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2371 1907 566 18 0 2353 0
[pid=7808] vsize: 9484
Current children cumulated CPU time (s) 1180.2
Current children cumulated vsize (Kb) 9484

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1941 0 0 0 119002 19 0 0 25 0 1 0 1800818931 9711616 1907 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2371 1907 566 18 0 2353 0
[pid=7808] vsize: 9484
Current children cumulated CPU time (s) 1190.21
Current children cumulated vsize (Kb) 9484

[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1941 0 0 0 120003 19 0 0 25 0 1 0 1800818931 9711616 1907 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2371 1907 566 18 0 2353 0
[pid=7808] vsize: 9484
Current children cumulated CPU time (s) 1200.22
Current children cumulated vsize (Kb) 9484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.88 2/56 7869
Raw data (/proc/7808/stat): 7808 (Pueblo) R 7807 7808 30740 0 -1 0 1941 0 0 0 120003 19 0 0 25 0 1 0 1800818931 9711616 1907 4294967295 134512640 134578447 3221224624 3221223512 134519919 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7808/statm): 2371 1907 566 18 0 2353 0
[pid=7808] vsize: 9484
Current children cumulated CPU time (s) 1200.22
Current children cumulated vsize (Kb) 9484

Sending SIGTERM to -7808
Sleeping 2 seconds
One traced child (pid=7808) 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.06
CPU time (s): 1200.23
CPU user time (s): 1200.03
CPU system time (s): 0.19497
CPU usage (%): 100.014
Max. virtual memory (cumulated for all children) (Kb): 9484

Verifier Data

ERROR: no interpretation found !