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-3.opb
MD5SUM3d08363a486acbc90a149ca8c58297b8
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 6352
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 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables6352
Total number of constraints13473
Number of constraints which are clauses13473
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 constraint1
Maximum length of a constraint3

Trace number 7761

Launcher Data

LAUNCH ON wulflinc30 THE 2005-09-20 13:56:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4882 boxname=wulflinc30 idbench=194 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  3d08363a486acbc90a149ca8c58297b8  /oldhome/oroussel/tmp/wulflinc30/normalized-par32-3.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4882
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        847568 kB
Buffers:         34444 kB
Cached:         122804 kB
SwapCached:        784 kB
Active:          81596 kB
Inactive:        78392 kB
HighTotal:      131008 kB
HighFree:        18508 kB
LowTotal:       903652 kB
LowFree:        829060 kB
SwapTotal:     2097892 kB
SwapFree:      2096640 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5792 kB
Slab:            21644 kB
Committed_AS:    64308 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 14:16:19 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 4882 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/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859053139 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7950/statm): 41 3 40 18 0 23 0
[pid=7950] 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.0041 s]
Raw data (loadavg): 0.93 0.95 0.87 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 1299 0 0 0 993 4 0 0 25 0 1 0 1859053139 7028736 1265 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7950/statm): 1716 1265 566 18 0 1698 0
[pid=7950] vsize: 6864
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 6864

[startup+20.0049 s]
Raw data (loadavg): 0.94 0.96 0.87 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 1303 0 0 0 1992 5 0 0 25 0 1 0 1859053139 7028736 1269 4294967295 134512640 134578447 3221224624 3221223500 134558148 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7950/statm): 1716 1269 566 18 0 1698 0
[pid=7950] vsize: 6864
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 6864

[startup+30.0057 s]
Raw data (loadavg): 0.95 0.96 0.87 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 1355 0 0 0 2992 6 0 0 25 0 1 0 1859053139 7163904 1321 4294967295 134512640 134578447 3221224624 3221223472 134558306 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7950/statm): 1749 1321 566 18 0 1731 0
[pid=7950] vsize: 6996
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 6996

[startup+40.0065 s]
Raw data (loadavg): 0.95 0.96 0.88 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 1418 0 0 0 3991 6 0 0 25 0 1 0 1859053139 7434240 1384 4294967295 134512640 134578447 3221224624 3221223584 134558593 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7950/statm): 1815 1384 566 18 0 1797 0
[pid=7950] vsize: 7260
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 7260

[startup+50.0073 s]
Raw data (loadavg): 0.96 0.96 0.88 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 1422 0 0 0 4990 7 0 0 25 0 1 0 1859053139 7434240 1388 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7950/statm): 1815 1388 566 18 0 1797 0
[pid=7950] vsize: 7260
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 7260

[startup+60.008 s]
Raw data (loadavg): 0.97 0.96 0.88 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 1508 0 0 0 5989 8 0 0 25 0 1 0 1859053139 7831552 1474 4294967295 134512640 134578447 3221224624 3221223584 134559051 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7950/statm): 1912 1474 566 18 0 1894 0
[pid=7950] vsize: 7648
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 7648

[startup+70.0088 s]
Raw data (loadavg): 0.97 0.96 0.88 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 1570 0 0 0 6988 9 0 0 25 0 1 0 1859053139 8093696 1536 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7950/statm): 1976 1536 566 18 0 1958 0
[pid=7950] vsize: 7904
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 7904

[startup+80.0086 s]
Raw data (loadavg): 0.98 0.96 0.88 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 1775 0 0 0 7986 10 0 0 25 0 1 0 1859053139 8880128 1741 4294967295 134512640 134578447 3221224624 3221223520 134519815 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7950/statm): 2168 1741 566 18 0 2150 0
[pid=7950] vsize: 8672
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 8672

[startup+90.0094 s]
Raw data (loadavg): 0.98 0.96 0.88 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 1861 0 0 0 8986 11 0 0 25 0 1 0 1859053139 9273344 1827 4294967295 134512640 134578447 3221224624 3221223384 1075288351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7950/statm): 2264 1827 566 18 0 2246 0
[pid=7950] vsize: 9056
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 9056

[startup+100.01 s]
Raw data (loadavg): 0.98 0.96 0.88 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 1866 0 0 0 9985 12 0 0 25 0 1 0 1859053139 9273344 1832 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7950/statm): 2264 1832 566 18 0 2246 0
[pid=7950] vsize: 9056
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 9056

[startup+110.011 s]
Raw data (loadavg): 0.98 0.96 0.88 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2101 0 0 0 10984 13 0 0 25 0 1 0 1859053139 10215424 2067 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7950/statm): 2494 2067 566 18 0 2476 0
[pid=7950] vsize: 9976
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 9976

[startup+120.012 s]
Raw data (loadavg): 0.99 0.97 0.88 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2141 0 0 0 11984 13 0 0 25 0 1 0 1859053139 10489856 2107 4294967295 134512640 134578447 3221224624 3221223472 134558345 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7950/statm): 2561 2107 566 18 0 2543 0
[pid=7950] vsize: 10244
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 10244

[startup+130.012 s]
Raw data (loadavg): 0.99 0.97 0.88 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2167 0 0 0 12984 14 0 0 25 0 1 0 1859053139 10489856 2133 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7950/statm): 2561 2133 566 18 0 2543 0
[pid=7950] vsize: 10244
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 10244

[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.89 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2274 0 0 0 13982 15 0 0 25 0 1 0 1859053139 11071488 2240 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7950/statm): 2703 2240 566 18 0 2685 0
[pid=7950] vsize: 10812
Current children cumulated CPU time (s) 139.97
Current children cumulated vsize (Kb) 10812

[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.89 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2281 0 0 0 14982 15 0 0 25 0 1 0 1859053139 11071488 2247 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2703 2247 566 18 0 2685 0
[pid=7950] vsize: 10812
Current children cumulated CPU time (s) 149.97
Current children cumulated vsize (Kb) 10812

[startup+160.014 s]
Raw data (loadavg): 0.99 0.97 0.89 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2291 0 0 0 15982 15 0 0 25 0 1 0 1859053139 11071488 2257 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2703 2257 566 18 0 2685 0
[pid=7950] vsize: 10812
Current children cumulated CPU time (s) 159.97
Current children cumulated vsize (Kb) 10812

[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.89 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2291 0 0 0 16982 15 0 0 25 0 1 0 1859053139 11071488 2257 4294967295 134512640 134578447 3221224624 3221223520 134519738 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2703 2257 566 18 0 2685 0
[pid=7950] vsize: 10812
Current children cumulated CPU time (s) 169.97
Current children cumulated vsize (Kb) 10812

[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.89 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2297 0 0 0 17983 15 0 0 25 0 1 0 1859053139 11218944 2263 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2739 2263 566 18 0 2721 0
[pid=7950] vsize: 10956
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 10956

[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.89 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2302 0 0 0 18983 15 0 0 25 0 1 0 1859053139 11218944 2268 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2739 2268 566 18 0 2721 0
[pid=7950] vsize: 10956
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 10956

[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.89 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2302 0 0 0 19983 15 0 0 25 0 1 0 1859053139 11218944 2268 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2739 2268 566 18 0 2721 0
[pid=7950] vsize: 10956
Current children cumulated CPU time (s) 199.98
Current children cumulated vsize (Kb) 10956

[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.89 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2312 0 0 0 20983 15 0 0 25 0 1 0 1859053139 11218944 2278 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2739 2278 566 18 0 2721 0
[pid=7950] vsize: 10956
Current children cumulated CPU time (s) 209.98
Current children cumulated vsize (Kb) 10956

[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.89 2/56 7950
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2313 0 0 0 21983 15 0 0 25 0 1 0 1859053139 11218944 2279 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2739 2279 566 18 0 2721 0
[pid=7950] vsize: 10956
Current children cumulated CPU time (s) 219.98
Current children cumulated vsize (Kb) 10956

[startup+230.015 s]
Raw data (loadavg): 1.07 0.99 0.90 3/59 7991
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2314 0 0 0 22988 16 0 0 25 0 1 0 1859053139 11218944 2280 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2739 2280 566 18 0 2721 0
[pid=7950] vsize: 10956
Current children cumulated CPU time (s) 230.04
Current children cumulated vsize (Kb) 10956

[startup+240.063 s]
Raw data (loadavg): 1.06 0.99 0.90 2/56 8005
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2321 0 0 0 23987 16 0 0 25 0 1 0 1859053139 11218944 2287 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2739 2287 566 18 0 2721 0
[pid=7950] vsize: 10956
Current children cumulated CPU time (s) 240.03
Current children cumulated vsize (Kb) 10956

[startup+250.063 s]
Raw data (loadavg): 1.05 0.99 0.90 2/56 8005
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2321 0 0 0 24987 16 0 0 25 0 1 0 1859053139 11218944 2287 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2739 2287 566 18 0 2721 0
[pid=7950] vsize: 10956
Current children cumulated CPU time (s) 250.03
Current children cumulated vsize (Kb) 10956

[startup+260.064 s]
Raw data (loadavg): 1.04 0.99 0.90 2/56 8005
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2321 0 0 0 25987 16 0 0 25 0 1 0 1859053139 11218944 2287 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2739 2287 566 18 0 2721 0
[pid=7950] vsize: 10956
Current children cumulated CPU time (s) 260.03
Current children cumulated vsize (Kb) 10956

[startup+270.065 s]
Raw data (loadavg): 1.04 0.99 0.90 2/56 8005
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2329 0 0 0 26988 16 0 0 25 0 1 0 1859053139 11366400 2295 4294967295 134512640 134578447 3221224624 3221223584 134559071 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2775 2295 566 18 0 2757 0
[pid=7950] vsize: 11100
Current children cumulated CPU time (s) 270.04
Current children cumulated vsize (Kb) 11100

[startup+280.064 s]
Raw data (loadavg): 1.03 0.99 0.90 2/56 8005
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2330 0 0 0 27988 16 0 0 25 0 1 0 1859053139 11366400 2296 4294967295 134512640 134578447 3221224624 3221223536 134557241 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2775 2296 566 18 0 2757 0
[pid=7950] vsize: 11100
Current children cumulated CPU time (s) 280.04
Current children cumulated vsize (Kb) 11100

[startup+290.065 s]
Raw data (loadavg): 1.03 0.99 0.91 2/56 8005
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2330 0 0 0 28988 16 0 0 25 0 1 0 1859053139 11366400 2296 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2775 2296 566 18 0 2757 0
[pid=7950] vsize: 11100
Current children cumulated CPU time (s) 290.04
Current children cumulated vsize (Kb) 11100

[startup+300.065 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 8007
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2341 0 0 0 29988 16 0 0 25 0 1 0 1859053139 11366400 2307 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2775 2307 566 18 0 2757 0
[pid=7950] vsize: 11100
Current children cumulated CPU time (s) 300.04
Current children cumulated vsize (Kb) 11100

[startup+310.066 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2350 0 0 0 30988 16 0 0 25 0 1 0 1859053139 11366400 2316 4294967295 134512640 134578447 3221224624 3221223504 134519923 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2775 2316 566 18 0 2757 0
[pid=7950] vsize: 11100
Current children cumulated CPU time (s) 310.04
Current children cumulated vsize (Kb) 11100

[startup+320.067 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2350 0 0 0 31989 16 0 0 25 0 1 0 1859053139 11366400 2316 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2775 2316 566 18 0 2757 0
[pid=7950] vsize: 11100
Current children cumulated CPU time (s) 320.05
Current children cumulated vsize (Kb) 11100

[startup+330.066 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2356 0 0 0 32989 16 0 0 25 0 1 0 1859053139 11513856 2322 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2811 2322 566 18 0 2793 0
[pid=7950] vsize: 11244
Current children cumulated CPU time (s) 330.05
Current children cumulated vsize (Kb) 11244

[startup+340.067 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2370 0 0 0 33989 16 0 0 25 0 1 0 1859053139 11513856 2336 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2811 2336 566 18 0 2793 0
[pid=7950] vsize: 11244
Current children cumulated CPU time (s) 340.05
Current children cumulated vsize (Kb) 11244

[startup+350.067 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2371 0 0 0 34989 16 0 0 25 0 1 0 1859053139 11513856 2337 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2811 2337 566 18 0 2793 0
[pid=7950] vsize: 11244
Current children cumulated CPU time (s) 350.05
Current children cumulated vsize (Kb) 11244

[startup+360.068 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2376 0 0 0 35989 16 0 0 25 0 1 0 1859053139 11513856 2342 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2811 2342 566 18 0 2793 0
[pid=7950] vsize: 11244
Current children cumulated CPU time (s) 360.05
Current children cumulated vsize (Kb) 11244

[startup+370.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2381 0 0 0 36989 16 0 0 25 0 1 0 1859053139 11513856 2347 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2811 2347 566 18 0 2793 0
[pid=7950] vsize: 11244
Current children cumulated CPU time (s) 370.05
Current children cumulated vsize (Kb) 11244

[startup+380.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2381 0 0 0 37990 16 0 0 25 0 1 0 1859053139 11513856 2347 4294967295 134512640 134578447 3221224624 3221223520 134519738 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2811 2347 566 18 0 2793 0
[pid=7950] vsize: 11244
Current children cumulated CPU time (s) 380.06
Current children cumulated vsize (Kb) 11244

[startup+390.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2386 0 0 0 38990 16 0 0 25 0 1 0 1859053139 11677696 2352 4294967295 134512640 134578447 3221224624 3221223536 134557333 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2851 2352 566 18 0 2833 0
[pid=7950] vsize: 11404
Current children cumulated CPU time (s) 390.06
Current children cumulated vsize (Kb) 11404

[startup+400.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2387 0 0 0 39990 16 0 0 25 0 1 0 1859053139 11677696 2353 4294967295 134512640 134578447 3221224624 3221223584 134559065 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2851 2353 566 18 0 2833 0
[pid=7950] vsize: 11404
Current children cumulated CPU time (s) 400.06
Current children cumulated vsize (Kb) 11404

[startup+410.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2389 0 0 0 40990 16 0 0 25 0 1 0 1859053139 11677696 2355 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2851 2355 566 18 0 2833 0
[pid=7950] vsize: 11404
Current children cumulated CPU time (s) 410.06
Current children cumulated vsize (Kb) 11404

[startup+420.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2389 0 0 0 41990 16 0 0 25 0 1 0 1859053139 11677696 2355 4294967295 134512640 134578447 3221224624 3221223536 134557341 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2851 2355 566 18 0 2833 0
[pid=7950] vsize: 11404
Current children cumulated CPU time (s) 420.06
Current children cumulated vsize (Kb) 11404

[startup+430.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2389 0 0 0 42990 16 0 0 25 0 1 0 1859053139 11677696 2355 4294967295 134512640 134578447 3221224624 3221223576 134558929 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2851 2355 566 18 0 2833 0
[pid=7950] vsize: 11404
Current children cumulated CPU time (s) 430.06
Current children cumulated vsize (Kb) 11404

[startup+440.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2390 0 0 0 43991 16 0 0 25 0 1 0 1859053139 11677696 2356 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2851 2356 566 18 0 2833 0
[pid=7950] vsize: 11404
Current children cumulated CPU time (s) 440.07
Current children cumulated vsize (Kb) 11404

[startup+450.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2401 0 0 0 44991 16 0 0 25 0 1 0 1859053139 11677696 2367 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2851 2367 566 18 0 2833 0
[pid=7950] vsize: 11404
Current children cumulated CPU time (s) 450.07
Current children cumulated vsize (Kb) 11404

[startup+460.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2401 0 0 0 45991 16 0 0 25 0 1 0 1859053139 11677696 2367 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2851 2367 566 18 0 2833 0
[pid=7950] vsize: 11404
Current children cumulated CPU time (s) 460.07
Current children cumulated vsize (Kb) 11404

[startup+470.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2401 0 0 0 46991 16 0 0 25 0 1 0 1859053139 11677696 2367 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2851 2367 566 18 0 2833 0
[pid=7950] vsize: 11404
Current children cumulated CPU time (s) 470.07
Current children cumulated vsize (Kb) 11404

[startup+480.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2425 0 0 0 47991 16 0 0 25 0 1 0 1859053139 11808768 2391 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2883 2391 566 18 0 2865 0
[pid=7950] vsize: 11532
Current children cumulated CPU time (s) 480.07
Current children cumulated vsize (Kb) 11532

[startup+490.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2425 0 0 0 48991 16 0 0 25 0 1 0 1859053139 11808768 2391 4294967295 134512640 134578447 3221224624 3221223584 134559008 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2883 2391 566 18 0 2865 0
[pid=7950] vsize: 11532
Current children cumulated CPU time (s) 490.07
Current children cumulated vsize (Kb) 11532

[startup+500.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2426 0 0 0 49992 16 0 0 25 0 1 0 1859053139 11808768 2392 4294967295 134512640 134578447 3221224624 3221223536 134557013 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2883 2392 566 18 0 2865 0
[pid=7950] vsize: 11532
Current children cumulated CPU time (s) 500.08
Current children cumulated vsize (Kb) 11532

[startup+510.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2431 0 0 0 50992 16 0 0 25 0 1 0 1859053139 11808768 2397 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2883 2397 566 18 0 2865 0
[pid=7950] vsize: 11532
Current children cumulated CPU time (s) 510.08
Current children cumulated vsize (Kb) 11532

[startup+520.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2444 0 0 0 51992 16 0 0 25 0 1 0 1859053139 11808768 2410 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2883 2410 566 18 0 2865 0
[pid=7950] vsize: 11532
Current children cumulated CPU time (s) 520.08
Current children cumulated vsize (Kb) 11532

[startup+530.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2449 0 0 0 52992 16 0 0 25 0 1 0 1859053139 11964416 2415 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2921 2415 566 18 0 2903 0
[pid=7950] vsize: 11684
Current children cumulated CPU time (s) 530.08
Current children cumulated vsize (Kb) 11684

[startup+540.076 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2450 0 0 0 53993 16 0 0 25 0 1 0 1859053139 11964416 2416 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2921 2416 566 18 0 2903 0
[pid=7950] vsize: 11684
Current children cumulated CPU time (s) 540.09
Current children cumulated vsize (Kb) 11684

[startup+550.076 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2458 0 0 0 54993 16 0 0 25 0 1 0 1859053139 11964416 2424 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2921 2424 566 18 0 2903 0
[pid=7950] vsize: 11684
Current children cumulated CPU time (s) 550.09
Current children cumulated vsize (Kb) 11684

[startup+560.077 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8009
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2458 0 0 0 55993 17 0 0 25 0 1 0 1859053139 11964416 2424 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2921 2424 566 18 0 2903 0
[pid=7950] vsize: 11684
Current children cumulated CPU time (s) 560.1
Current children cumulated vsize (Kb) 11684

[startup+570.077 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2458 0 0 0 56993 17 0 0 25 0 1 0 1859053139 11964416 2424 4294967295 134512640 134578447 3221224624 3221223472 134558345 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2921 2424 566 18 0 2903 0
[pid=7950] vsize: 11684
Current children cumulated CPU time (s) 570.1
Current children cumulated vsize (Kb) 11684

[startup+580.077 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2458 0 0 0 57993 17 0 0 25 0 1 0 1859053139 11964416 2424 4294967295 134512640 134578447 3221224624 3221223472 134558435 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2921 2424 566 18 0 2903 0
[pid=7950] vsize: 11684
Current children cumulated CPU time (s) 580.1
Current children cumulated vsize (Kb) 11684

[startup+590.077 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2473 0 0 0 58994 17 0 0 25 0 1 0 1859053139 11964416 2439 4294967295 134512640 134578447 3221224624 3221223536 134557233 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2921 2439 566 18 0 2903 0
[pid=7950] vsize: 11684
Current children cumulated CPU time (s) 590.11
Current children cumulated vsize (Kb) 11684

[startup+600.078 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2473 0 0 0 59994 17 0 0 25 0 1 0 1859053139 11964416 2439 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2921 2439 566 18 0 2903 0
[pid=7950] vsize: 11684
Current children cumulated CPU time (s) 600.11
Current children cumulated vsize (Kb) 11684

[startup+610.078 s]
Raw data (loadavg): 1.08 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2473 0 0 0 60994 17 0 0 25 0 1 0 1859053139 11964416 2439 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2921 2439 566 18 0 2903 0
[pid=7950] vsize: 11684
Current children cumulated CPU time (s) 610.11
Current children cumulated vsize (Kb) 11684

[startup+620.078 s]
Raw data (loadavg): 1.07 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2493 0 0 0 61994 17 0 0 25 0 1 0 1859053139 12095488 2459 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 2953 2459 566 18 0 2935 0
[pid=7950] vsize: 11812
Current children cumulated CPU time (s) 620.11
Current children cumulated vsize (Kb) 11812

[startup+630.078 s]
Raw data (loadavg): 1.06 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2648 0 0 0 62993 18 0 0 25 0 1 0 1859053139 12750848 2614 4294967295 134512640 134578447 3221224624 3221223556 134552644 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7950/statm): 3113 2614 566 18 0 3095 0
[pid=7950] vsize: 12452
Current children cumulated CPU time (s) 630.11
Current children cumulated vsize (Kb) 12452

[startup+640.079 s]
Raw data (loadavg): 1.05 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2672 0 0 0 63992 18 0 0 25 0 1 0 1859053139 12750848 2638 4294967295 134512640 134578447 3221224624 3221223472 134558172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7950/statm): 3113 2638 566 18 0 3095 0
[pid=7950] vsize: 12452
Current children cumulated CPU time (s) 640.1
Current children cumulated vsize (Kb) 12452

[startup+650.079 s]
Raw data (loadavg): 1.04 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2673 0 0 0 64991 18 0 0 25 0 1 0 1859053139 12750848 2639 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3113 2639 566 18 0 3095 0
[pid=7950] vsize: 12452
Current children cumulated CPU time (s) 650.09
Current children cumulated vsize (Kb) 12452

[startup+660.079 s]
Raw data (loadavg): 1.03 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2681 0 0 0 65991 18 0 0 25 0 1 0 1859053139 12898304 2647 4294967295 134512640 134578447 3221224624 3221223520 134520040 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3149 2647 566 18 0 3131 0
[pid=7950] vsize: 12596
Current children cumulated CPU time (s) 660.09
Current children cumulated vsize (Kb) 12596

[startup+670.08 s]
Raw data (loadavg): 1.03 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2682 0 0 0 66992 18 0 0 25 0 1 0 1859053139 12898304 2648 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3149 2648 566 18 0 3131 0
[pid=7950] vsize: 12596
Current children cumulated CPU time (s) 670.1
Current children cumulated vsize (Kb) 12596

[startup+680.08 s]
Raw data (loadavg): 1.02 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2682 0 0 0 67992 18 0 0 25 0 1 0 1859053139 12898304 2648 4294967295 134512640 134578447 3221224624 3221223568 134558663 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3149 2648 566 18 0 3131 0
[pid=7950] vsize: 12596
Current children cumulated CPU time (s) 680.1
Current children cumulated vsize (Kb) 12596

[startup+690.081 s]
Raw data (loadavg): 1.02 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2682 0 0 0 68992 18 0 0 25 0 1 0 1859053139 12898304 2648 4294967295 134512640 134578447 3221224624 3221223520 134519742 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3149 2648 566 18 0 3131 0
[pid=7950] vsize: 12596
Current children cumulated CPU time (s) 690.1
Current children cumulated vsize (Kb) 12596

[startup+700.082 s]
Raw data (loadavg): 1.02 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2682 0 0 0 69992 18 0 0 25 0 1 0 1859053139 12898304 2648 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3149 2648 566 18 0 3131 0
[pid=7950] vsize: 12596
Current children cumulated CPU time (s) 700.1
Current children cumulated vsize (Kb) 12596

[startup+710.082 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2683 0 0 0 70992 18 0 0 25 0 1 0 1859053139 12898304 2649 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3149 2649 566 18 0 3131 0
[pid=7950] vsize: 12596
Current children cumulated CPU time (s) 710.1
Current children cumulated vsize (Kb) 12596

[startup+720.083 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2683 0 0 0 71993 18 0 0 25 0 1 0 1859053139 12898304 2649 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3149 2649 566 18 0 3131 0
[pid=7950] vsize: 12596
Current children cumulated CPU time (s) 720.11
Current children cumulated vsize (Kb) 12596

[startup+730.083 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2683 0 0 0 72993 18 0 0 25 0 1 0 1859053139 12898304 2649 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3149 2649 566 18 0 3131 0
[pid=7950] vsize: 12596
Current children cumulated CPU time (s) 730.11
Current children cumulated vsize (Kb) 12596

[startup+740.084 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2683 0 0 0 73993 19 0 0 25 0 1 0 1859053139 12898304 2649 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3149 2649 566 18 0 3131 0
[pid=7950] vsize: 12596
Current children cumulated CPU time (s) 740.12
Current children cumulated vsize (Kb) 12596

[startup+750.085 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2683 0 0 0 74993 19 0 0 25 0 1 0 1859053139 12898304 2649 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3149 2649 566 18 0 3131 0
[pid=7950] vsize: 12596
Current children cumulated CPU time (s) 750.12
Current children cumulated vsize (Kb) 12596

[startup+760.085 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2717 0 0 0 75993 19 0 0 25 0 1 0 1859053139 13029376 2683 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3181 2683 566 18 0 3163 0
[pid=7950] vsize: 12724
Current children cumulated CPU time (s) 760.12
Current children cumulated vsize (Kb) 12724

[startup+770.086 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2717 0 0 0 76993 19 0 0 25 0 1 0 1859053139 13029376 2683 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3181 2683 566 18 0 3163 0
[pid=7950] vsize: 12724
Current children cumulated CPU time (s) 770.12
Current children cumulated vsize (Kb) 12724

[startup+780.086 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2717 0 0 0 77993 19 0 0 25 0 1 0 1859053139 13029376 2683 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3181 2683 566 18 0 3163 0
[pid=7950] vsize: 12724
Current children cumulated CPU time (s) 780.12
Current children cumulated vsize (Kb) 12724

[startup+790.087 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2717 0 0 0 78994 19 0 0 25 0 1 0 1859053139 13029376 2683 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3181 2683 566 18 0 3163 0
[pid=7950] vsize: 12724
Current children cumulated CPU time (s) 790.13
Current children cumulated vsize (Kb) 12724

[startup+800.087 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2718 0 0 0 79994 19 0 0 25 0 1 0 1859053139 13021184 2684 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3179 2684 566 18 0 3161 0
[pid=7950] vsize: 12716
Current children cumulated CPU time (s) 800.13
Current children cumulated vsize (Kb) 12716

[startup+810.088 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2718 0 0 0 80994 19 0 0 25 0 1 0 1859053139 13021184 2684 4294967295 134512640 134578447 3221224624 3221223472 134558276 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3179 2684 566 18 0 3161 0
[pid=7950] vsize: 12716
Current children cumulated CPU time (s) 810.13
Current children cumulated vsize (Kb) 12716

[startup+820.089 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2720 0 0 0 81994 19 0 0 25 0 1 0 1859053139 13021184 2686 4294967295 134512640 134578447 3221224624 3221223520 134519847 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3179 2686 566 18 0 3161 0
[pid=7950] vsize: 12716
Current children cumulated CPU time (s) 820.13
Current children cumulated vsize (Kb) 12716

[startup+830.089 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2727 0 0 0 82994 19 0 0 25 0 1 0 1859053139 13021184 2693 4294967295 134512640 134578447 3221224624 3221223244 1075288425 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3179 2693 566 18 0 3161 0
[pid=7950] vsize: 12716
Current children cumulated CPU time (s) 830.13
Current children cumulated vsize (Kb) 12716

[startup+840.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2727 0 0 0 83994 19 0 0 25 0 1 0 1859053139 13021184 2693 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3179 2693 566 18 0 3161 0
[pid=7950] vsize: 12716
Current children cumulated CPU time (s) 840.13
Current children cumulated vsize (Kb) 12716

[startup+850.089 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2727 0 0 0 84995 19 0 0 25 0 1 0 1859053139 13021184 2693 4294967295 134512640 134578447 3221224624 3221223472 134558451 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3179 2693 566 18 0 3161 0
[pid=7950] vsize: 12716
Current children cumulated CPU time (s) 850.14
Current children cumulated vsize (Kb) 12716

[startup+860.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2727 0 0 0 85995 19 0 0 25 0 1 0 1859053139 13021184 2693 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3179 2693 566 18 0 3161 0
[pid=7950] vsize: 12716
Current children cumulated CPU time (s) 860.14
Current children cumulated vsize (Kb) 12716

[startup+870.091 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2727 0 0 0 86995 19 0 0 25 0 1 0 1859053139 13021184 2693 4294967295 134512640 134578447 3221224624 3221223584 134558593 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3179 2693 566 18 0 3161 0
[pid=7950] vsize: 12716
Current children cumulated CPU time (s) 870.14
Current children cumulated vsize (Kb) 12716

[startup+880.091 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2802 0 0 0 87995 20 0 0 25 0 1 0 1859053139 13287424 2768 4294967295 134512640 134578447 3221224624 3221223552 134519717 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3244 2768 566 18 0 3226 0
[pid=7950] vsize: 12976
Current children cumulated CPU time (s) 880.15
Current children cumulated vsize (Kb) 12976

[startup+890.092 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2802 0 0 0 88995 20 0 0 25 0 1 0 1859053139 13287424 2768 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3244 2768 566 18 0 3226 0
[pid=7950] vsize: 12976
Current children cumulated CPU time (s) 890.15
Current children cumulated vsize (Kb) 12976

[startup+900.091 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2804 0 0 0 89995 20 0 0 25 0 1 0 1859053139 13287424 2770 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3244 2770 566 18 0 3226 0
[pid=7950] vsize: 12976
Current children cumulated CPU time (s) 900.15
Current children cumulated vsize (Kb) 12976

[startup+910.092 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2814 0 0 0 90995 20 0 0 25 0 1 0 1859053139 13459456 2780 4294967295 134512640 134578447 3221224624 3221223520 134519861 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3286 2780 566 18 0 3268 0
[pid=7950] vsize: 13144
Current children cumulated CPU time (s) 910.15
Current children cumulated vsize (Kb) 13144

[startup+920.093 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2815 0 0 0 91995 20 0 0 25 0 1 0 1859053139 13459456 2781 4294967295 134512640 134578447 3221224624 3221223536 134557013 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3286 2781 566 18 0 3268 0
[pid=7950] vsize: 13144
Current children cumulated CPU time (s) 920.15
Current children cumulated vsize (Kb) 13144

[startup+930.093 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2815 0 0 0 92996 20 0 0 25 0 1 0 1859053139 13459456 2781 4294967295 134512640 134578447 3221224624 3221223472 134558317 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3286 2781 566 18 0 3268 0
[pid=7950] vsize: 13144
Current children cumulated CPU time (s) 930.16
Current children cumulated vsize (Kb) 13144

[startup+940.094 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2815 0 0 0 93996 20 0 0 25 0 1 0 1859053139 13459456 2781 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3286 2781 566 18 0 3268 0
[pid=7950] vsize: 13144
Current children cumulated CPU time (s) 940.16
Current children cumulated vsize (Kb) 13144

[startup+950.094 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2815 0 0 0 94996 20 0 0 25 0 1 0 1859053139 13459456 2781 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3286 2781 566 18 0 3268 0
[pid=7950] vsize: 13144
Current children cumulated CPU time (s) 950.16
Current children cumulated vsize (Kb) 13144

[startup+960.095 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2815 0 0 0 95996 20 0 0 25 0 1 0 1859053139 13459456 2781 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3286 2781 566 18 0 3268 0
[pid=7950] vsize: 13144
Current children cumulated CPU time (s) 960.16
Current children cumulated vsize (Kb) 13144

[startup+970.096 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2849 0 0 0 96996 20 0 0 25 0 1 0 1859053139 13459456 2815 4294967295 134512640 134578447 3221224624 3221223552 134552696 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3286 2815 566 18 0 3268 0
[pid=7950] vsize: 13144
Current children cumulated CPU time (s) 970.16
Current children cumulated vsize (Kb) 13144

[startup+980.096 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2849 0 0 0 97996 20 0 0 25 0 1 0 1859053139 13459456 2815 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3286 2815 566 18 0 3268 0
[pid=7950] vsize: 13144
Current children cumulated CPU time (s) 980.16
Current children cumulated vsize (Kb) 13144

[startup+990.097 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2854 0 0 0 98997 20 0 0 25 0 1 0 1859053139 13623296 2820 4294967295 134512640 134578447 3221224624 3221223520 134519997 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3326 2820 566 18 0 3308 0
[pid=7950] vsize: 13304
Current children cumulated CPU time (s) 990.17
Current children cumulated vsize (Kb) 13304

[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2863 0 0 0 99997 20 0 0 25 0 1 0 1859053139 13623296 2829 4294967295 134512640 134578447 3221224624 3221223552 134552696 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3326 2829 566 18 0 3308 0
[pid=7950] vsize: 13304
Current children cumulated CPU time (s) 1000.17
Current children cumulated vsize (Kb) 13304

[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2864 0 0 0 100997 20 0 0 25 0 1 0 1859053139 13623296 2830 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3326 2830 566 18 0 3308 0
[pid=7950] vsize: 13304
Current children cumulated CPU time (s) 1010.17
Current children cumulated vsize (Kb) 13304

[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2864 0 0 0 101997 20 0 0 25 0 1 0 1859053139 13623296 2830 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3326 2830 566 18 0 3308 0
[pid=7950] vsize: 13304
Current children cumulated CPU time (s) 1020.17
Current children cumulated vsize (Kb) 13304

[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2864 0 0 0 102997 20 0 0 25 0 1 0 1859053139 13623296 2830 4294967295 134512640 134578447 3221224624 3221223520 134519792 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3326 2830 566 18 0 3308 0
[pid=7950] vsize: 13304
Current children cumulated CPU time (s) 1030.17
Current children cumulated vsize (Kb) 13304

[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2864 0 0 0 103997 20 0 0 25 0 1 0 1859053139 13623296 2830 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3326 2830 566 18 0 3308 0
[pid=7950] vsize: 13304
Current children cumulated CPU time (s) 1040.17
Current children cumulated vsize (Kb) 13304

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2864 0 0 0 104998 20 0 0 25 0 1 0 1859053139 13623296 2830 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3326 2830 566 18 0 3308 0
[pid=7950] vsize: 13304
Current children cumulated CPU time (s) 1050.18
Current children cumulated vsize (Kb) 13304

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2871 0 0 0 105998 20 0 0 25 0 1 0 1859053139 13623296 2837 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3326 2837 566 18 0 3308 0
[pid=7950] vsize: 13304
Current children cumulated CPU time (s) 1060.18
Current children cumulated vsize (Kb) 13304

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2871 0 0 0 106998 21 0 0 25 0 1 0 1859053139 13623296 2837 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3326 2837 566 18 0 3308 0
[pid=7950] vsize: 13304
Current children cumulated CPU time (s) 1070.19
Current children cumulated vsize (Kb) 13304

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2873 0 0 0 107998 21 0 0 25 0 1 0 1859053139 13623296 2839 4294967295 134512640 134578447 3221224624 3221223564 134552700 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3326 2839 566 18 0 3308 0
[pid=7950] vsize: 13304
Current children cumulated CPU time (s) 1080.19
Current children cumulated vsize (Kb) 13304

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2874 0 0 0 108998 21 0 0 25 0 1 0 1859053139 13623296 2840 4294967295 134512640 134578447 3221224624 3221223552 134552645 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3326 2840 566 18 0 3308 0
[pid=7950] vsize: 13304
Current children cumulated CPU time (s) 1090.19
Current children cumulated vsize (Kb) 13304

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2874 0 0 0 109998 21 0 0 25 0 1 0 1859053139 13623296 2840 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3326 2840 566 18 0 3308 0
[pid=7950] vsize: 13304
Current children cumulated CPU time (s) 1100.19
Current children cumulated vsize (Kb) 13304

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2884 0 0 0 110998 21 0 0 25 0 1 0 1859053139 13787136 2850 4294967295 134512640 134578447 3221224624 3221223520 134519825 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3366 2850 566 18 0 3348 0
[pid=7950] vsize: 13464
Current children cumulated CPU time (s) 1110.19
Current children cumulated vsize (Kb) 13464

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2884 0 0 0 111999 21 0 0 25 0 1 0 1859053139 13787136 2850 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3366 2850 566 18 0 3348 0
[pid=7950] vsize: 13464
Current children cumulated CPU time (s) 1120.2
Current children cumulated vsize (Kb) 13464

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2884 0 0 0 112999 21 0 0 25 0 1 0 1859053139 13787136 2850 4294967295 134512640 134578447 3221224624 3221223568 134558940 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3366 2850 566 18 0 3348 0
[pid=7950] vsize: 13464
Current children cumulated CPU time (s) 1130.2
Current children cumulated vsize (Kb) 13464

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2885 0 0 0 113999 21 0 0 25 0 1 0 1859053139 13787136 2851 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3366 2851 566 18 0 3348 0
[pid=7950] vsize: 13464
Current children cumulated CPU time (s) 1140.2
Current children cumulated vsize (Kb) 13464

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2886 0 0 0 114999 21 0 0 25 0 1 0 1859053139 13787136 2852 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3366 2852 566 18 0 3348 0
[pid=7950] vsize: 13464
Current children cumulated CPU time (s) 1150.2
Current children cumulated vsize (Kb) 13464

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2886 0 0 0 115999 21 0 0 25 0 1 0 1859053139 13787136 2852 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3366 2852 566 18 0 3348 0
[pid=7950] vsize: 13464
Current children cumulated CPU time (s) 1160.2
Current children cumulated vsize (Kb) 13464

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2886 0 0 0 116999 21 0 0 25 0 1 0 1859053139 13787136 2852 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3366 2852 566 18 0 3348 0
[pid=7950] vsize: 13464
Current children cumulated CPU time (s) 1170.2
Current children cumulated vsize (Kb) 13464

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2887 0 0 0 117999 21 0 0 25 0 1 0 1859053139 13787136 2853 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3366 2853 566 18 0 3348 0
[pid=7950] vsize: 13464
Current children cumulated CPU time (s) 1180.2
Current children cumulated vsize (Kb) 13464

[startup+1190.1 s]
Raw data (loadavg): 1.08 1.02 0.92 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2888 0 0 0 118999 21 0 0 25 0 1 0 1859053139 13787136 2854 4294967295 134512640 134578447 3221224624 3221223584 134559092 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3366 2854 566 18 0 3348 0
[pid=7950] vsize: 13464
Current children cumulated CPU time (s) 1190.2
Current children cumulated vsize (Kb) 13464

[startup+1200.1 s]
Raw data (loadavg): 1.07 1.02 0.92 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2897 0 0 0 119999 21 0 0 25 0 1 0 1859053139 13787136 2863 4294967295 134512640 134578447 3221224624 3221223584 134559051 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3366 2863 566 18 0 3348 0
[pid=7950] vsize: 13464
Current children cumulated CPU time (s) 1200.2
Current children cumulated vsize (Kb) 13464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.1 s]
Raw data (loadavg): 1.07 1.02 0.92 2/56 8011
Raw data (/proc/7950/stat): 7950 (Pueblo) R 7949 7950 5245 0 -1 0 2897 0 0 0 120000 21 0 0 25 0 1 0 1859053139 13787136 2863 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7950/statm): 3366 2863 566 18 0 3348 0
[pid=7950] vsize: 13464
Current children cumulated CPU time (s) 1200.21
Current children cumulated vsize (Kb) 13464

Sending SIGTERM to -7950
Sleeping 2 seconds
One traced child (pid=7950) 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.11
CPU time (s): 1200.23
CPU user time (s): 1200
CPU system time (s): 0.224965
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (Kb): 13464

Verifier Data

ERROR: no interpretation found !