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-4.opb
MD5SUM4ad922a0ad53056b410be6ab5caa6b5b
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 constraints13489
Number of constraints which are clauses13489
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 7765

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        859444 kB
Buffers:         31172 kB
Cached:         119044 kB
SwapCached:        744 kB
Active:          70520 kB
Inactive:        82344 kB
HighTotal:      131008 kB
HighFree:        10864 kB
LowTotal:       903652 kB
LowFree:        848580 kB
SwapTotal:     2097136 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            16644 kB
Committed_AS:    64136 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 14:16:32 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 4884 7 1200.26 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/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1800863568 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14362/statm): 41 3 40 18 0 23 0
[pid=14362] 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.0037 s]
Raw data (loadavg): 0.93 0.98 0.89 2/56 14362
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 1299 0 0 0 993 4 0 0 25 0 1 0 1800863568 7032832 1265 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14362/statm): 1717 1265 566 18 0 1699 0
[pid=14362] vsize: 6868
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 6868

[startup+20.0043 s]
Raw data (loadavg): 0.94 0.98 0.90 2/56 14362
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 1351 0 0 0 1993 4 0 0 25 0 1 0 1800863568 7163904 1317 4294967295 134512640 134578447 3221224624 3221223472 134558459 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14362/statm): 1749 1317 566 18 0 1731 0
[pid=14362] vsize: 6996
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 6996

[startup+30.005 s]
Raw data (loadavg): 0.95 0.98 0.90 2/56 14362
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 1552 0 0 0 2992 5 0 0 25 0 1 0 1800863568 7962624 1518 4294967295 134512640 134578447 3221224624 3221223520 134519774 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14362/statm): 1944 1518 566 18 0 1926 0
[pid=14362] vsize: 7776
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 7776

[startup+40.0056 s]
Raw data (loadavg): 0.96 0.98 0.90 2/56 14362
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 1657 0 0 0 3991 6 0 0 25 0 1 0 1800863568 8495104 1623 4294967295 134512640 134578447 3221224624 3221223584 134558919 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14362/statm): 2074 1623 566 18 0 2056 0
[pid=14362] vsize: 8296
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 8296

[startup+50.0072 s]
Raw data (loadavg): 0.96 0.98 0.90 2/56 14362
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 1670 0 0 0 4991 6 0 0 25 0 1 0 1800863568 8495104 1636 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14362/statm): 2074 1636 566 18 0 2056 0
[pid=14362] vsize: 8296
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 8296

[startup+60.0069 s]
Raw data (loadavg): 0.97 0.98 0.90 2/56 14362
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 1742 0 0 0 5990 7 0 0 25 0 1 0 1800863568 8757248 1708 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14362/statm): 2138 1708 566 18 0 2120 0
[pid=14362] vsize: 8552
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 8552

[startup+70.0075 s]
Raw data (loadavg): 0.97 0.98 0.90 2/56 14362
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 1742 0 0 0 6990 7 0 0 25 0 1 0 1800863568 8757248 1708 4294967295 134512640 134578447 3221224624 3221223472 134520304 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14362/statm): 2138 1708 566 18 0 2120 0
[pid=14362] vsize: 8552
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 8552

[startup+80.0082 s]
Raw data (loadavg): 0.98 0.98 0.90 2/56 14362
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 1847 0 0 0 7989 8 0 0 25 0 1 0 1800863568 9154560 1813 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14362/statm): 2235 1813 566 18 0 2217 0
[pid=14362] vsize: 8940
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 8940

[startup+90.0078 s]
Raw data (loadavg): 0.98 0.98 0.90 2/56 14362
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 1850 0 0 0 8989 8 0 0 25 0 1 0 1800863568 9297920 1816 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14362/statm): 2270 1816 566 18 0 2252 0
[pid=14362] vsize: 9080
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 9080

[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.90 2/56 14362
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 1862 0 0 0 9988 9 0 0 25 0 1 0 1800863568 9297920 1828 4294967295 134512640 134578447 3221224624 3221223552 134519840 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14362/statm): 2270 1828 566 18 0 2252 0
[pid=14362] vsize: 9080
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 9080

[startup+110.009 s]
Raw data (loadavg): 0.98 0.98 0.90 2/56 14362
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 1862 0 0 0 10988 9 0 0 25 0 1 0 1800863568 9297920 1828 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14362/statm): 2270 1828 566 18 0 2252 0
[pid=14362] vsize: 9080
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 9080

[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 14362
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 1862 0 0 0 11988 9 0 0 25 0 1 0 1800863568 9297920 1828 4294967295 134512640 134578447 3221224624 3221223536 134557568 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14362/statm): 2270 1828 566 18 0 2252 0
[pid=14362] vsize: 9080
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 9080

[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 14362
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 1912 0 0 0 12988 10 0 0 25 0 1 0 1800863568 9568256 1878 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2336 1878 566 18 0 2318 0
[pid=14362] vsize: 9344
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 9344

[startup+140.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 14362
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 1921 0 0 0 13988 10 0 0 25 0 1 0 1800863568 9568256 1887 4294967295 134512640 134578447 3221224624 3221223536 134557410 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2336 1887 566 18 0 2318 0
[pid=14362] vsize: 9344
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 9344

[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 14362
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 1966 0 0 0 14988 10 0 0 25 0 1 0 1800863568 9846784 1932 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2404 1932 566 18 0 2386 0
[pid=14362] vsize: 9616
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 9616

[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 14362
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 1970 0 0 0 15988 10 0 0 25 0 1 0 1800863568 9846784 1936 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2404 1936 566 18 0 2386 0
[pid=14362] vsize: 9616
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 9616

[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 14362
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 1998 0 0 0 16988 10 0 0 25 0 1 0 1800863568 9977856 1964 4294967295 134512640 134578447 3221224624 3221223472 134520270 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2436 1964 566 18 0 2418 0
[pid=14362] vsize: 9744
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 9744

[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 14362
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2118 0 0 0 17988 10 0 0 25 0 1 0 1800863568 10379264 2084 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2534 2084 566 18 0 2516 0
[pid=14362] vsize: 10136
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 10136

[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 14362
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2119 0 0 0 18988 10 0 0 25 0 1 0 1800863568 10379264 2085 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2534 2085 566 18 0 2516 0
[pid=14362] vsize: 10136
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 10136

[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 14362
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2128 0 0 0 19988 11 0 0 25 0 1 0 1800863568 10539008 2094 4294967295 134512640 134578447 3221224624 3221223496 134558149 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2573 2094 566 18 0 2555 0
[pid=14362] vsize: 10292
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 10292

[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 14362
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2174 0 0 0 20993 11 0 0 25 0 1 0 1800863568 10670080 2140 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2605 2140 566 18 0 2587 0
[pid=14362] vsize: 10420
Current children cumulated CPU time (s) 210.04
Current children cumulated vsize (Kb) 10420

[startup+220.056 s]
Raw data (loadavg): 1.07 1.00 0.91 2/56 14417
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2175 0 0 0 21992 11 0 0 25 0 1 0 1800863568 10670080 2141 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2605 2141 566 18 0 2587 0
[pid=14362] vsize: 10420
Current children cumulated CPU time (s) 220.03
Current children cumulated vsize (Kb) 10420

[startup+230.057 s]
Raw data (loadavg): 1.06 1.00 0.91 2/56 14417
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2175 0 0 0 22993 11 0 0 25 0 1 0 1800863568 10670080 2141 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2605 2141 566 18 0 2587 0
[pid=14362] vsize: 10420
Current children cumulated CPU time (s) 230.04
Current children cumulated vsize (Kb) 10420

[startup+240.056 s]
Raw data (loadavg): 1.05 1.00 0.91 2/56 14417
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2175 0 0 0 23993 11 0 0 25 0 1 0 1800863568 10670080 2141 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2605 2141 566 18 0 2587 0
[pid=14362] vsize: 10420
Current children cumulated CPU time (s) 240.04
Current children cumulated vsize (Kb) 10420

[startup+250.057 s]
Raw data (loadavg): 1.04 1.00 0.91 2/56 14417
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2175 0 0 0 24993 11 0 0 25 0 1 0 1800863568 10670080 2141 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2605 2141 566 18 0 2587 0
[pid=14362] vsize: 10420
Current children cumulated CPU time (s) 250.04
Current children cumulated vsize (Kb) 10420

[startup+260.058 s]
Raw data (loadavg): 1.04 1.00 0.91 2/56 14417
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2334 0 0 0 25993 11 0 0 25 0 1 0 1800863568 11329536 2300 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2766 2300 566 18 0 2748 0
[pid=14362] vsize: 11064
Current children cumulated CPU time (s) 260.04
Current children cumulated vsize (Kb) 11064

[startup+270.057 s]
Raw data (loadavg): 1.03 1.00 0.91 2/56 14417
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2385 0 0 0 26993 12 0 0 25 0 1 0 1800863568 11460608 2351 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2798 2351 566 18 0 2780 0
[pid=14362] vsize: 11192
Current children cumulated CPU time (s) 270.05
Current children cumulated vsize (Kb) 11192

[startup+280.058 s]
Raw data (loadavg): 1.03 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2399 0 0 0 27993 12 0 0 25 0 1 0 1800863568 11608064 2365 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2834 2365 566 18 0 2816 0
[pid=14362] vsize: 11336
Current children cumulated CPU time (s) 280.05
Current children cumulated vsize (Kb) 11336

[startup+290.057 s]
Raw data (loadavg): 1.02 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2401 0 0 0 28993 12 0 0 25 0 1 0 1800863568 11608064 2367 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2834 2367 566 18 0 2816 0
[pid=14362] vsize: 11336
Current children cumulated CPU time (s) 290.05
Current children cumulated vsize (Kb) 11336

[startup+300.058 s]
Raw data (loadavg): 1.02 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2436 0 0 0 29993 12 0 0 25 0 1 0 1800863568 11755520 2402 4294967295 134512640 134578447 3221224624 3221223536 134557165 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2870 2402 566 18 0 2852 0
[pid=14362] vsize: 11480
Current children cumulated CPU time (s) 300.05
Current children cumulated vsize (Kb) 11480

[startup+310.059 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2436 0 0 0 30993 12 0 0 25 0 1 0 1800863568 11755520 2402 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2870 2402 566 18 0 2852 0
[pid=14362] vsize: 11480
Current children cumulated CPU time (s) 310.05
Current children cumulated vsize (Kb) 11480

[startup+320.059 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2442 0 0 0 31993 12 0 0 25 0 1 0 1800863568 11755520 2408 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2870 2408 566 18 0 2852 0
[pid=14362] vsize: 11480
Current children cumulated CPU time (s) 320.05
Current children cumulated vsize (Kb) 11480

[startup+330.059 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2460 0 0 0 32993 12 0 0 25 0 1 0 1800863568 11890688 2426 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2903 2426 566 18 0 2885 0
[pid=14362] vsize: 11612
Current children cumulated CPU time (s) 330.05
Current children cumulated vsize (Kb) 11612

[startup+340.06 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2468 0 0 0 33994 12 0 0 25 0 1 0 1800863568 11890688 2434 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2903 2434 566 18 0 2885 0
[pid=14362] vsize: 11612
Current children cumulated CPU time (s) 340.06
Current children cumulated vsize (Kb) 11612

[startup+350.06 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2473 0 0 0 34994 12 0 0 25 0 1 0 1800863568 11890688 2439 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 2903 2439 566 18 0 2885 0
[pid=14362] vsize: 11612
Current children cumulated CPU time (s) 350.06
Current children cumulated vsize (Kb) 11612

[startup+360.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2613 0 0 0 35993 12 0 0 25 0 1 0 1800863568 12550144 2579 4294967295 134512640 134578447 3221224624 3221223472 134520214 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3064 2579 566 18 0 3046 0
[pid=14362] vsize: 12256
Current children cumulated CPU time (s) 360.05
Current children cumulated vsize (Kb) 12256

[startup+370.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2613 0 0 0 36994 12 0 0 25 0 1 0 1800863568 12550144 2579 4294967295 134512640 134578447 3221224624 3221223584 134559051 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3064 2579 566 18 0 3046 0
[pid=14362] vsize: 12256
Current children cumulated CPU time (s) 370.06
Current children cumulated vsize (Kb) 12256

[startup+380.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2614 0 0 0 37994 13 0 0 25 0 1 0 1800863568 12550144 2580 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3064 2580 566 18 0 3046 0
[pid=14362] vsize: 12256
Current children cumulated CPU time (s) 380.07
Current children cumulated vsize (Kb) 12256

[startup+390.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2672 0 0 0 38994 13 0 0 25 0 1 0 1800863568 12685312 2638 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3097 2638 566 18 0 3079 0
[pid=14362] vsize: 12388
Current children cumulated CPU time (s) 390.07
Current children cumulated vsize (Kb) 12388

[startup+400.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2807 0 0 0 39993 13 0 0 25 0 1 0 1800863568 13279232 2773 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3242 2773 566 18 0 3224 0
[pid=14362] vsize: 12968
Current children cumulated CPU time (s) 400.06
Current children cumulated vsize (Kb) 12968

[startup+410.061 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2807 0 0 0 40993 14 0 0 25 0 1 0 1800863568 13279232 2773 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3242 2773 566 18 0 3224 0
[pid=14362] vsize: 12968
Current children cumulated CPU time (s) 410.07
Current children cumulated vsize (Kb) 12968

[startup+420.061 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2807 0 0 0 41994 14 0 0 25 0 1 0 1800863568 13279232 2773 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3242 2773 566 18 0 3224 0
[pid=14362] vsize: 12968
Current children cumulated CPU time (s) 420.08
Current children cumulated vsize (Kb) 12968

[startup+430.061 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2807 0 0 0 42994 14 0 0 25 0 1 0 1800863568 13279232 2773 4294967295 134512640 134578447 3221224624 3221223472 134558319 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3242 2773 566 18 0 3224 0
[pid=14362] vsize: 12968
Current children cumulated CPU time (s) 430.08
Current children cumulated vsize (Kb) 12968

[startup+440.062 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2807 0 0 0 43994 14 0 0 25 0 1 0 1800863568 13279232 2773 4294967295 134512640 134578447 3221224624 3221223560 134552641 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3242 2773 566 18 0 3224 0
[pid=14362] vsize: 12968
Current children cumulated CPU time (s) 440.08
Current children cumulated vsize (Kb) 12968

[startup+450.063 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2807 0 0 0 44994 14 0 0 25 0 1 0 1800863568 13279232 2773 4294967295 134512640 134578447 3221224624 3221223584 134559011 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3242 2773 566 18 0 3224 0
[pid=14362] vsize: 12968
Current children cumulated CPU time (s) 450.08
Current children cumulated vsize (Kb) 12968

[startup+460.063 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2807 0 0 0 45994 14 0 0 25 0 1 0 1800863568 13279232 2773 4294967295 134512640 134578447 3221224624 3221223568 134558663 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3242 2773 566 18 0 3224 0
[pid=14362] vsize: 12968
Current children cumulated CPU time (s) 460.08
Current children cumulated vsize (Kb) 12968

[startup+470.063 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2808 0 0 0 46994 14 0 0 25 0 1 0 1800863568 13279232 2774 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3242 2774 566 18 0 3224 0
[pid=14362] vsize: 12968
Current children cumulated CPU time (s) 470.08
Current children cumulated vsize (Kb) 12968

[startup+480.064 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2808 0 0 0 47995 14 0 0 25 0 1 0 1800863568 13279232 2774 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3242 2774 566 18 0 3224 0
[pid=14362] vsize: 12968
Current children cumulated CPU time (s) 480.09
Current children cumulated vsize (Kb) 12968

[startup+490.064 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2808 0 0 0 48995 14 0 0 25 0 1 0 1800863568 13279232 2774 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3242 2774 566 18 0 3224 0
[pid=14362] vsize: 12968
Current children cumulated CPU time (s) 490.09
Current children cumulated vsize (Kb) 12968

[startup+500.065 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2809 0 0 0 49995 14 0 0 25 0 1 0 1800863568 13279232 2775 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3242 2775 566 18 0 3224 0
[pid=14362] vsize: 12968
Current children cumulated CPU time (s) 500.09
Current children cumulated vsize (Kb) 12968

[startup+510.064 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2809 0 0 0 50995 14 0 0 25 0 1 0 1800863568 13279232 2775 4294967295 134512640 134578447 3221224624 3221223584 134559055 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3242 2775 566 18 0 3224 0
[pid=14362] vsize: 12968
Current children cumulated CPU time (s) 510.09
Current children cumulated vsize (Kb) 12968

[startup+520.065 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2810 0 0 0 51995 14 0 0 25 0 1 0 1800863568 13279232 2776 4294967295 134512640 134578447 3221224624 3221223536 134557333 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3242 2776 566 18 0 3224 0
[pid=14362] vsize: 12968
Current children cumulated CPU time (s) 520.09
Current children cumulated vsize (Kb) 12968

[startup+530.066 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2810 0 0 0 52996 14 0 0 25 0 1 0 1800863568 13279232 2776 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3242 2776 566 18 0 3224 0
[pid=14362] vsize: 12968
Current children cumulated CPU time (s) 530.1
Current children cumulated vsize (Kb) 12968

[startup+540.065 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2813 0 0 0 53996 14 0 0 25 0 1 0 1800863568 13279232 2779 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3242 2779 566 18 0 3224 0
[pid=14362] vsize: 12968
Current children cumulated CPU time (s) 540.1
Current children cumulated vsize (Kb) 12968

[startup+550.066 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2841 0 0 0 54996 14 0 0 25 0 1 0 1800863568 13447168 2807 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3283 2807 566 18 0 3265 0
[pid=14362] vsize: 13132
Current children cumulated CPU time (s) 550.1
Current children cumulated vsize (Kb) 13132

[startup+560.067 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2841 0 0 0 55996 14 0 0 25 0 1 0 1800863568 13447168 2807 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3283 2807 566 18 0 3265 0
[pid=14362] vsize: 13132
Current children cumulated CPU time (s) 560.1
Current children cumulated vsize (Kb) 13132

[startup+570.066 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14421
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2841 0 0 0 56996 14 0 0 25 0 1 0 1800863568 13447168 2807 4294967295 134512640 134578447 3221224624 3221223472 134520214 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3283 2807 566 18 0 3265 0
[pid=14362] vsize: 13132
Current children cumulated CPU time (s) 570.1
Current children cumulated vsize (Kb) 13132

[startup+580.067 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2847 0 0 0 57997 14 0 0 25 0 1 0 1800863568 13447168 2813 4294967295 134512640 134578447 3221224624 3221223520 134519751 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3283 2813 566 18 0 3265 0
[pid=14362] vsize: 13132
Current children cumulated CPU time (s) 580.11
Current children cumulated vsize (Kb) 13132

[startup+590.067 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2891 0 0 0 58996 14 0 0 25 0 1 0 1800863568 13709312 2857 4294967295 134512640 134578447 3221224624 3221223472 134520192 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3347 2857 566 18 0 3329 0
[pid=14362] vsize: 13388
Current children cumulated CPU time (s) 590.1
Current children cumulated vsize (Kb) 13388

[startup+600.068 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2891 0 0 0 59997 14 0 0 25 0 1 0 1800863568 13709312 2857 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3347 2857 566 18 0 3329 0
[pid=14362] vsize: 13388
Current children cumulated CPU time (s) 600.11
Current children cumulated vsize (Kb) 13388

[startup+610.069 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2896 0 0 0 60997 14 0 0 25 0 1 0 1800863568 13709312 2862 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3347 2862 566 18 0 3329 0
[pid=14362] vsize: 13388
Current children cumulated CPU time (s) 610.11
Current children cumulated vsize (Kb) 13388

[startup+620.069 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2902 0 0 0 61997 15 0 0 25 0 1 0 1800863568 13709312 2868 4294967295 134512640 134578447 3221224624 3221223504 134556736 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3347 2868 566 18 0 3329 0
[pid=14362] vsize: 13388
Current children cumulated CPU time (s) 620.12
Current children cumulated vsize (Kb) 13388

[startup+630.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 2937 0 0 0 62997 15 0 0 25 0 1 0 1800863568 13840384 2903 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3379 2903 566 18 0 3361 0
[pid=14362] vsize: 13516
Current children cumulated CPU time (s) 630.12
Current children cumulated vsize (Kb) 13516

[startup+640.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3062 0 0 0 63997 15 0 0 25 0 1 0 1800863568 14368768 3028 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3508 3028 566 18 0 3490 0
[pid=14362] vsize: 14032
Current children cumulated CPU time (s) 640.12
Current children cumulated vsize (Kb) 14032

[startup+650.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3068 0 0 0 64997 15 0 0 25 0 1 0 1800863568 14368768 3034 4294967295 134512640 134578447 3221224624 3221223556 134519841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3508 3034 566 18 0 3490 0
[pid=14362] vsize: 14032
Current children cumulated CPU time (s) 650.12
Current children cumulated vsize (Kb) 14032

[startup+660.071 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3075 0 0 0 65998 15 0 0 25 0 1 0 1800863568 14368768 3041 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3508 3041 566 18 0 3490 0
[pid=14362] vsize: 14032
Current children cumulated CPU time (s) 660.13
Current children cumulated vsize (Kb) 14032

[startup+670.071 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3086 0 0 0 66998 15 0 0 25 0 1 0 1800863568 14561280 3052 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3555 3052 566 18 0 3537 0
[pid=14362] vsize: 14220
Current children cumulated CPU time (s) 670.13
Current children cumulated vsize (Kb) 14220

[startup+680.071 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3090 0 0 0 67998 15 0 0 25 0 1 0 1800863568 14561280 3056 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3555 3056 566 18 0 3537 0
[pid=14362] vsize: 14220
Current children cumulated CPU time (s) 680.13
Current children cumulated vsize (Kb) 14220

[startup+690.072 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3090 0 0 0 68998 15 0 0 25 0 1 0 1800863568 14561280 3056 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3555 3056 566 18 0 3537 0
[pid=14362] vsize: 14220
Current children cumulated CPU time (s) 690.13
Current children cumulated vsize (Kb) 14220

[startup+700.072 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3090 0 0 0 69998 15 0 0 25 0 1 0 1800863568 14561280 3056 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3555 3056 566 18 0 3537 0
[pid=14362] vsize: 14220
Current children cumulated CPU time (s) 700.13
Current children cumulated vsize (Kb) 14220

[startup+710.073 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3099 0 0 0 70999 15 0 0 25 0 1 0 1800863568 14561280 3065 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3555 3065 566 18 0 3537 0
[pid=14362] vsize: 14220
Current children cumulated CPU time (s) 710.14
Current children cumulated vsize (Kb) 14220

[startup+720.074 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3101 0 0 0 71999 15 0 0 25 0 1 0 1800863568 14561280 3067 4294967295 134512640 134578447 3221224624 3221223520 134556718 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3555 3067 566 18 0 3537 0
[pid=14362] vsize: 14220
Current children cumulated CPU time (s) 720.14
Current children cumulated vsize (Kb) 14220

[startup+730.074 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3112 0 0 0 72999 15 0 0 25 0 1 0 1800863568 14561280 3078 4294967295 134512640 134578447 3221224624 3221223584 134559080 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3555 3078 566 18 0 3537 0
[pid=14362] vsize: 14220
Current children cumulated CPU time (s) 730.14
Current children cumulated vsize (Kb) 14220

[startup+740.075 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3112 0 0 0 73999 15 0 0 25 0 1 0 1800863568 14561280 3078 4294967295 134512640 134578447 3221224624 3221223520 134519947 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3555 3078 566 18 0 3537 0
[pid=14362] vsize: 14220
Current children cumulated CPU time (s) 740.14
Current children cumulated vsize (Kb) 14220

[startup+750.076 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3122 0 0 0 75000 15 0 0 25 0 1 0 1800863568 14749696 3088 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3601 3088 566 18 0 3583 0
[pid=14362] vsize: 14404
Current children cumulated CPU time (s) 750.15
Current children cumulated vsize (Kb) 14404

[startup+760.076 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3123 0 0 0 76000 15 0 0 25 0 1 0 1800863568 14749696 3089 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3601 3089 566 18 0 3583 0
[pid=14362] vsize: 14404
Current children cumulated CPU time (s) 760.15
Current children cumulated vsize (Kb) 14404

[startup+770.076 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3124 0 0 0 77000 15 0 0 25 0 1 0 1800863568 14749696 3090 4294967295 134512640 134578447 3221224624 3221223520 134519828 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3601 3090 566 18 0 3583 0
[pid=14362] vsize: 14404
Current children cumulated CPU time (s) 770.15
Current children cumulated vsize (Kb) 14404

[startup+780.077 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3125 0 0 0 78000 15 0 0 25 0 1 0 1800863568 14749696 3091 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3601 3091 566 18 0 3583 0
[pid=14362] vsize: 14404
Current children cumulated CPU time (s) 780.15
Current children cumulated vsize (Kb) 14404

[startup+790.076 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3136 0 0 0 79000 15 0 0 25 0 1 0 1800863568 14749696 3102 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3601 3102 566 18 0 3583 0
[pid=14362] vsize: 14404
Current children cumulated CPU time (s) 790.15
Current children cumulated vsize (Kb) 14404

[startup+800.077 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3137 0 0 0 80001 15 0 0 25 0 1 0 1800863568 14749696 3103 4294967295 134512640 134578447 3221224624 3221223520 134519783 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3601 3103 566 18 0 3583 0
[pid=14362] vsize: 14404
Current children cumulated CPU time (s) 800.16
Current children cumulated vsize (Kb) 14404

[startup+810.077 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3137 0 0 0 81001 15 0 0 25 0 1 0 1800863568 14749696 3103 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3601 3103 566 18 0 3583 0
[pid=14362] vsize: 14404
Current children cumulated CPU time (s) 810.16
Current children cumulated vsize (Kb) 14404

[startup+820.077 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3137 0 0 0 82001 15 0 0 25 0 1 0 1800863568 14749696 3103 4294967295 134512640 134578447 3221224624 3221223584 134559008 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3601 3103 566 18 0 3583 0
[pid=14362] vsize: 14404
Current children cumulated CPU time (s) 820.16
Current children cumulated vsize (Kb) 14404

[startup+830.078 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3146 0 0 0 83001 15 0 0 25 0 1 0 1800863568 14749696 3112 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3601 3112 566 18 0 3583 0
[pid=14362] vsize: 14404
Current children cumulated CPU time (s) 830.16
Current children cumulated vsize (Kb) 14404

[startup+840.077 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3148 0 0 0 84001 15 0 0 25 0 1 0 1800863568 14749696 3114 4294967295 134512640 134578447 3221224624 3221223472 134558260 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3601 3114 566 18 0 3583 0
[pid=14362] vsize: 14404
Current children cumulated CPU time (s) 840.16
Current children cumulated vsize (Kb) 14404

[startup+850.078 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3149 0 0 0 85002 15 0 0 25 0 1 0 1800863568 14749696 3115 4294967295 134512640 134578447 3221224624 3221223552 134519840 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3601 3115 566 18 0 3583 0
[pid=14362] vsize: 14404
Current children cumulated CPU time (s) 850.17
Current children cumulated vsize (Kb) 14404

[startup+860.079 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3149 0 0 0 86002 15 0 0 25 0 1 0 1800863568 14749696 3115 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3601 3115 566 18 0 3583 0
[pid=14362] vsize: 14404
Current children cumulated CPU time (s) 860.17
Current children cumulated vsize (Kb) 14404

[startup+870.078 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3149 0 0 0 87002 15 0 0 25 0 1 0 1800863568 14749696 3115 4294967295 134512640 134578447 3221224624 3221223472 134558515 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3601 3115 566 18 0 3583 0
[pid=14362] vsize: 14404
Current children cumulated CPU time (s) 870.17
Current children cumulated vsize (Kb) 14404

[startup+880.079 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3149 0 0 0 88002 15 0 0 25 0 1 0 1800863568 14749696 3115 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3601 3115 566 18 0 3583 0
[pid=14362] vsize: 14404
Current children cumulated CPU time (s) 880.17
Current children cumulated vsize (Kb) 14404

[startup+890.079 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3150 0 0 0 89002 15 0 0 25 0 1 0 1800863568 14749696 3116 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3601 3116 566 18 0 3583 0
[pid=14362] vsize: 14404
Current children cumulated CPU time (s) 890.17
Current children cumulated vsize (Kb) 14404

[startup+900.079 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3150 0 0 0 90003 15 0 0 25 0 1 0 1800863568 14749696 3116 4294967295 134512640 134578447 3221224624 3221223520 134519815 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3601 3116 566 18 0 3583 0
[pid=14362] vsize: 14404
Current children cumulated CPU time (s) 900.18
Current children cumulated vsize (Kb) 14404

[startup+910.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3150 0 0 0 91003 15 0 0 25 0 1 0 1800863568 14749696 3116 4294967295 134512640 134578447 3221224624 3221223472 134520247 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3601 3116 566 18 0 3583 0
[pid=14362] vsize: 14404
Current children cumulated CPU time (s) 910.18
Current children cumulated vsize (Kb) 14404

[startup+920.081 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3150 0 0 0 92003 15 0 0 25 0 1 0 1800863568 14749696 3116 4294967295 134512640 134578447 3221224624 3221223520 134519731 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3601 3116 566 18 0 3583 0
[pid=14362] vsize: 14404
Current children cumulated CPU time (s) 920.18
Current children cumulated vsize (Kb) 14404

[startup+930.081 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3150 0 0 0 93003 15 0 0 25 0 1 0 1800863568 14749696 3116 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3601 3116 566 18 0 3583 0
[pid=14362] vsize: 14404
Current children cumulated CPU time (s) 930.18
Current children cumulated vsize (Kb) 14404

[startup+940.082 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3150 0 0 0 94004 15 0 0 25 0 1 0 1800863568 14749696 3116 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3601 3116 566 18 0 3583 0
[pid=14362] vsize: 14404
Current children cumulated CPU time (s) 940.19
Current children cumulated vsize (Kb) 14404

[startup+950.082 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3194 0 0 0 95004 15 0 0 25 0 1 0 1800863568 15044608 3160 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3673 3160 566 18 0 3655 0
[pid=14362] vsize: 14692
Current children cumulated CPU time (s) 950.19
Current children cumulated vsize (Kb) 14692

[startup+960.082 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3195 0 0 0 96004 15 0 0 25 0 1 0 1800863568 15044608 3161 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3673 3161 566 18 0 3655 0
[pid=14362] vsize: 14692
Current children cumulated CPU time (s) 960.19
Current children cumulated vsize (Kb) 14692

[startup+970.083 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3197 0 0 0 97004 15 0 0 25 0 1 0 1800863568 15044608 3163 4294967295 134512640 134578447 3221224624 3221223472 134558345 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3673 3163 566 18 0 3655 0
[pid=14362] vsize: 14692
Current children cumulated CPU time (s) 970.19
Current children cumulated vsize (Kb) 14692

[startup+980.083 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3205 0 0 0 98004 15 0 0 25 0 1 0 1800863568 15044608 3171 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3673 3171 566 18 0 3655 0
[pid=14362] vsize: 14692
Current children cumulated CPU time (s) 980.19
Current children cumulated vsize (Kb) 14692

[startup+990.083 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3212 0 0 0 99005 15 0 0 25 0 1 0 1800863568 15044608 3178 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3673 3178 566 18 0 3655 0
[pid=14362] vsize: 14692
Current children cumulated CPU time (s) 990.2
Current children cumulated vsize (Kb) 14692

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3369 0 0 0 100004 16 0 0 25 0 1 0 1800863568 15761408 3335 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3848 3335 566 18 0 3830 0
[pid=14362] vsize: 15392
Current children cumulated CPU time (s) 1000.2
Current children cumulated vsize (Kb) 15392

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3369 0 0 0 101004 16 0 0 25 0 1 0 1800863568 15761408 3335 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3848 3335 566 18 0 3830 0
[pid=14362] vsize: 15392
Current children cumulated CPU time (s) 1010.2
Current children cumulated vsize (Kb) 15392

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3375 0 0 0 102004 16 0 0 25 0 1 0 1800863568 15761408 3341 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3848 3341 566 18 0 3830 0
[pid=14362] vsize: 15392
Current children cumulated CPU time (s) 1020.2
Current children cumulated vsize (Kb) 15392

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3378 0 0 0 103005 16 0 0 25 0 1 0 1800863568 15761408 3344 4294967295 134512640 134578447 3221224624 3221223524 134556724 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3848 3344 566 18 0 3830 0
[pid=14362] vsize: 15392
Current children cumulated CPU time (s) 1030.21
Current children cumulated vsize (Kb) 15392

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3395 0 0 0 104005 16 0 0 25 0 1 0 1800863568 15953920 3361 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3895 3361 566 18 0 3877 0
[pid=14362] vsize: 15580
Current children cumulated CPU time (s) 1040.21
Current children cumulated vsize (Kb) 15580

[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3449 0 0 0 105005 16 0 0 25 0 1 0 1800863568 16084992 3415 4294967295 134512640 134578447 3221224624 3221223552 134516662 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3927 3415 566 18 0 3909 0
[pid=14362] vsize: 15708
Current children cumulated CPU time (s) 1050.21
Current children cumulated vsize (Kb) 15708

[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3449 0 0 0 106005 16 0 0 25 0 1 0 1800863568 16084992 3415 4294967295 134512640 134578447 3221224624 3221223568 134558660 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3927 3415 566 18 0 3909 0
[pid=14362] vsize: 15708
Current children cumulated CPU time (s) 1060.21
Current children cumulated vsize (Kb) 15708

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3449 0 0 0 107005 16 0 0 25 0 1 0 1800863568 16084992 3415 4294967295 134512640 134578447 3221224624 3221223536 134557049 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3927 3415 566 18 0 3909 0
[pid=14362] vsize: 15708
Current children cumulated CPU time (s) 1070.21
Current children cumulated vsize (Kb) 15708

[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3449 0 0 0 108005 16 0 0 25 0 1 0 1800863568 16084992 3415 4294967295 134512640 134578447 3221224624 3221223568 134558660 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3927 3415 566 18 0 3909 0
[pid=14362] vsize: 15708
Current children cumulated CPU time (s) 1080.21
Current children cumulated vsize (Kb) 15708

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3449 0 0 0 109006 16 0 0 25 0 1 0 1800863568 16084992 3415 4294967295 134512640 134578447 3221224624 3221223472 134520393 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3927 3415 566 18 0 3909 0
[pid=14362] vsize: 15708
Current children cumulated CPU time (s) 1090.22
Current children cumulated vsize (Kb) 15708

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3460 0 0 0 110006 16 0 0 25 0 1 0 1800863568 16216064 3426 4294967295 134512640 134578447 3221224624 3221223584 134559080 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3959 3426 566 18 0 3941 0
[pid=14362] vsize: 15836
Current children cumulated CPU time (s) 1100.22
Current children cumulated vsize (Kb) 15836

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3483 0 0 0 111006 16 0 0 25 0 1 0 1800863568 16216064 3449 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3959 3449 566 18 0 3941 0
[pid=14362] vsize: 15836
Current children cumulated CPU time (s) 1110.22
Current children cumulated vsize (Kb) 15836

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3483 0 0 0 112006 16 0 0 25 0 1 0 1800863568 16216064 3449 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3959 3449 566 18 0 3941 0
[pid=14362] vsize: 15836
Current children cumulated CPU time (s) 1120.22
Current children cumulated vsize (Kb) 15836

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3483 0 0 0 113006 16 0 0 25 0 1 0 1800863568 16216064 3449 4294967295 134512640 134578447 3221224624 3221223568 134558676 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3959 3449 566 18 0 3941 0
[pid=14362] vsize: 15836
Current children cumulated CPU time (s) 1130.22
Current children cumulated vsize (Kb) 15836

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3493 0 0 0 114006 16 0 0 25 0 1 0 1800863568 16379904 3459 4294967295 134512640 134578447 3221224624 3221223520 134519817 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3999 3459 566 18 0 3981 0
[pid=14362] vsize: 15996
Current children cumulated CPU time (s) 1140.22
Current children cumulated vsize (Kb) 15996

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3494 0 0 0 115007 16 0 0 25 0 1 0 1800863568 16379904 3460 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3999 3460 566 18 0 3981 0
[pid=14362] vsize: 15996
Current children cumulated CPU time (s) 1150.23
Current children cumulated vsize (Kb) 15996

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3494 0 0 0 116007 16 0 0 25 0 1 0 1800863568 16379904 3460 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3999 3460 566 18 0 3981 0
[pid=14362] vsize: 15996
Current children cumulated CPU time (s) 1160.23
Current children cumulated vsize (Kb) 15996

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3494 0 0 0 117007 16 0 0 25 0 1 0 1800863568 16379904 3460 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3999 3460 566 18 0 3981 0
[pid=14362] vsize: 15996
Current children cumulated CPU time (s) 1170.23
Current children cumulated vsize (Kb) 15996

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3494 0 0 0 118007 16 0 0 25 0 1 0 1800863568 16379904 3460 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3999 3460 566 18 0 3981 0
[pid=14362] vsize: 15996
Current children cumulated CPU time (s) 1180.23
Current children cumulated vsize (Kb) 15996

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3494 0 0 0 119007 16 0 0 25 0 1 0 1800863568 16379904 3460 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3999 3460 566 18 0 3981 0
[pid=14362] vsize: 15996
Current children cumulated CPU time (s) 1190.23
Current children cumulated vsize (Kb) 15996

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3503 0 0 0 120008 17 0 0 25 0 1 0 1800863568 16379904 3469 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3999 3469 566 18 0 3981 0
[pid=14362] vsize: 15996
Current children cumulated CPU time (s) 1200.25
Current children cumulated vsize (Kb) 15996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 14423
Raw data (/proc/14362/stat): 14362 (Pueblo) R 14361 14362 15400 0 -1 0 3503 0 0 0 120008 17 0 0 25 0 1 0 1800863568 16379904 3469 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14362/statm): 3999 3469 566 18 0 3981 0
[pid=14362] vsize: 15996
Current children cumulated CPU time (s) 1200.25
Current children cumulated vsize (Kb) 15996

Sending SIGTERM to -14362
Sleeping 2 seconds
One traced child (pid=14362) 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.1
CPU time (s): 1200.26
CPU user time (s): 1200.08
CPU system time (s): 0.178972
CPU usage (%): 100.013
Max. virtual memory (cumulated for all children) (Kb): 15996

Verifier Data

ERROR: no interpretation found !