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-2-c.opb
MD5SUM40e47c460002545cc2670ca84fd53082
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 2606
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 2606
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2606
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables2606
Total number of constraints6509
Number of constraints which are clauses6509
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3

Trace number 7788

Launcher Data

LAUNCH ON wulflinc24 THE 2005-09-20 14:02:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4916 boxname=wulflinc24 idbench=228 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  40e47c460002545cc2670ca84fd53082  /oldhome/oroussel/tmp/wulflinc24/normalized-par32-2-c.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4916
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 3
cpu MHz		: 451.080
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:        851272 kB
Buffers:         29264 kB
Cached:         126316 kB
SwapCached:        820 kB
Active:          49644 kB
Inactive:       108616 kB
HighTotal:      131008 kB
HighFree:        15764 kB
LowTotal:       903652 kB
LowFree:        835508 kB
SwapTotal:     2097892 kB
SwapFree:      2096616 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5752 kB
Slab:            19644 kB
Committed_AS:    64136 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 14:22:19 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 4916 7 1200.22 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/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859102386 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/17601/statm): 41 3 40 18 0 23 0
[pid=17601] 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.96 0.96 0.90 2/56 17601
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 785 0 0 0 995 3 0 0 25 0 1 0 1859102386 4907008 751 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1198 751 566 18 0 1180 0
[pid=17601] vsize: 4792
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 4792

[startup+20.0048 s]
Raw data (loadavg): 0.96 0.96 0.90 2/56 17601
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 877 0 0 0 1995 3 0 0 25 0 1 0 1859102386 5169152 843 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1262 843 566 18 0 1244 0
[pid=17601] vsize: 5048
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 5048

[startup+30.0055 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 17601
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 950 0 0 0 2995 3 0 0 25 0 1 0 1859102386 5570560 916 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1360 916 566 18 0 1342 0
[pid=17601] vsize: 5440
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 5440

[startup+40.0062 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 17601
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1046 0 0 0 3995 3 0 0 25 0 1 0 1859102386 5963776 1012 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1456 1012 566 18 0 1438 0
[pid=17601] vsize: 5824
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 5824

[startup+50.0068 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 17601
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1097 0 0 0 4995 3 0 0 25 0 1 0 1859102386 6094848 1063 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1488 1063 566 18 0 1470 0
[pid=17601] vsize: 5952
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 5952

[startup+60.0075 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 17601
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1097 0 0 0 5995 4 0 0 25 0 1 0 1859102386 6094848 1063 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1488 1063 566 18 0 1470 0
[pid=17601] vsize: 5952
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 5952

[startup+70.0082 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 17601
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1097 0 0 0 6995 4 0 0 25 0 1 0 1859102386 6094848 1063 4294967295 134512640 134578447 3221224624 3221223584 134559071 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1488 1063 566 18 0 1470 0
[pid=17601] vsize: 5952
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 5952

[startup+80.0089 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 17601
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1140 0 0 0 7995 4 0 0 25 0 1 0 1859102386 6356992 1106 4294967295 134512640 134578447 3221224624 3221223496 134558149 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1552 1106 566 18 0 1534 0
[pid=17601] vsize: 6208
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 6208

[startup+90.0086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17601
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1169 0 0 0 8995 4 0 0 25 0 1 0 1859102386 6492160 1135 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1585 1135 566 18 0 1567 0
[pid=17601] vsize: 6340
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 6340

[startup+100.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17601
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1185 0 0 0 9996 4 0 0 25 0 1 0 1859102386 6492160 1151 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1585 1151 566 18 0 1567 0
[pid=17601] vsize: 6340
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 6340

[startup+110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17601
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1186 0 0 0 10996 4 0 0 25 0 1 0 1859102386 6492160 1152 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1585 1152 566 18 0 1567 0
[pid=17601] vsize: 6340
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 6340

[startup+120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17601
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1234 0 0 0 11995 4 0 0 25 0 1 0 1859102386 6758400 1200 4294967295 134512640 134578447 3221224624 3221223564 134552640 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1650 1200 566 18 0 1632 0
[pid=17601] vsize: 6600
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 6600

[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17601
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1284 0 0 0 12995 5 0 0 25 0 1 0 1859102386 6893568 1250 4294967295 134512640 134578447 3221224624 3221223536 134557241 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1683 1250 566 18 0 1665 0
[pid=17601] vsize: 6732
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 6732

[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17601
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1291 0 0 0 13995 5 0 0 25 0 1 0 1859102386 6893568 1257 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1683 1257 566 18 0 1665 0
[pid=17601] vsize: 6732
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 6732

[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17601
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1294 0 0 0 14996 5 0 0 25 0 1 0 1859102386 7028736 1260 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1716 1260 566 18 0 1698 0
[pid=17601] vsize: 6864
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 6864

[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17601
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1358 0 0 0 15995 5 0 0 25 0 1 0 1859102386 7290880 1324 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1780 1324 566 18 0 1762 0
[pid=17601] vsize: 7120
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 7120

[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17601
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1358 0 0 0 16995 5 0 0 25 0 1 0 1859102386 7282688 1324 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1778 1324 566 18 0 1760 0
[pid=17601] vsize: 7112
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 7112

[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17601
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1360 0 0 0 17995 5 0 0 25 0 1 0 1859102386 7282688 1326 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1778 1326 566 18 0 1760 0
[pid=17601] vsize: 7112
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 7112

[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17601
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1409 0 0 0 18996 5 0 0 25 0 1 0 1859102386 7413760 1375 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1810 1375 566 18 0 1792 0
[pid=17601] vsize: 7240
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (Kb) 7240

[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1429 0 0 0 19995 6 0 0 25 0 1 0 1859102386 7544832 1395 4294967295 134512640 134578447 3221224624 3221223536 134557432 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1842 1395 566 18 0 1824 0
[pid=17601] vsize: 7368
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 7368

[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1430 0 0 0 20996 6 0 0 25 0 1 0 1859102386 7544832 1396 4294967295 134512640 134578447 3221224624 3221223568 134558679 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1842 1396 566 18 0 1824 0
[pid=17601] vsize: 7368
Current children cumulated CPU time (s) 210.02
Current children cumulated vsize (Kb) 7368

[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1430 0 0 0 21996 6 0 0 25 0 1 0 1859102386 7544832 1396 4294967295 134512640 134578447 3221224624 3221223584 134559071 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1842 1396 566 18 0 1824 0
[pid=17601] vsize: 7368
Current children cumulated CPU time (s) 220.02
Current children cumulated vsize (Kb) 7368

[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1430 0 0 0 22996 6 0 0 25 0 1 0 1859102386 7544832 1396 4294967295 134512640 134578447 3221224624 3221223536 134557586 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1842 1396 566 18 0 1824 0
[pid=17601] vsize: 7368
Current children cumulated CPU time (s) 230.02
Current children cumulated vsize (Kb) 7368

[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1491 0 0 0 23996 6 0 0 25 0 1 0 1859102386 7806976 1457 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1906 1457 566 18 0 1888 0
[pid=17601] vsize: 7624
Current children cumulated CPU time (s) 240.02
Current children cumulated vsize (Kb) 7624

[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1504 0 0 0 24996 6 0 0 25 0 1 0 1859102386 7806976 1470 4294967295 134512640 134578447 3221224624 3221223536 134557219 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1906 1470 566 18 0 1888 0
[pid=17601] vsize: 7624
Current children cumulated CPU time (s) 250.02
Current children cumulated vsize (Kb) 7624

[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1504 0 0 0 25996 6 0 0 25 0 1 0 1859102386 7806976 1470 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1906 1470 566 18 0 1888 0
[pid=17601] vsize: 7624
Current children cumulated CPU time (s) 260.02
Current children cumulated vsize (Kb) 7624

[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1527 0 0 0 26996 6 0 0 25 0 1 0 1859102386 7938048 1493 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1938 1493 566 18 0 1920 0
[pid=17601] vsize: 7752
Current children cumulated CPU time (s) 270.02
Current children cumulated vsize (Kb) 7752

[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1531 0 0 0 27997 6 0 0 25 0 1 0 1859102386 7938048 1497 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1938 1497 566 18 0 1920 0
[pid=17601] vsize: 7752
Current children cumulated CPU time (s) 280.03
Current children cumulated vsize (Kb) 7752

[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1538 0 0 0 28997 6 0 0 25 0 1 0 1859102386 7938048 1504 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1938 1504 566 18 0 1920 0
[pid=17601] vsize: 7752
Current children cumulated CPU time (s) 290.03
Current children cumulated vsize (Kb) 7752

[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1541 0 0 0 29997 6 0 0 25 0 1 0 1859102386 7938048 1507 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1938 1507 566 18 0 1920 0
[pid=17601] vsize: 7752
Current children cumulated CPU time (s) 300.03
Current children cumulated vsize (Kb) 7752

[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1541 0 0 0 30997 6 0 0 25 0 1 0 1859102386 7938048 1507 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1938 1507 566 18 0 1920 0
[pid=17601] vsize: 7752
Current children cumulated CPU time (s) 310.03
Current children cumulated vsize (Kb) 7752

[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1541 0 0 0 31997 6 0 0 25 0 1 0 1859102386 7938048 1507 4294967295 134512640 134578447 3221224624 3221223472 134558415 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1938 1507 566 18 0 1920 0
[pid=17601] vsize: 7752
Current children cumulated CPU time (s) 320.03
Current children cumulated vsize (Kb) 7752

[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1541 0 0 0 32998 6 0 0 25 0 1 0 1859102386 7938048 1507 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1938 1507 566 18 0 1920 0
[pid=17601] vsize: 7752
Current children cumulated CPU time (s) 330.04
Current children cumulated vsize (Kb) 7752

[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1541 0 0 0 33998 6 0 0 25 0 1 0 1859102386 7938048 1507 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1938 1507 566 18 0 1920 0
[pid=17601] vsize: 7752
Current children cumulated CPU time (s) 340.04
Current children cumulated vsize (Kb) 7752

[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1541 0 0 0 34998 6 0 0 25 0 1 0 1859102386 7938048 1507 4294967295 134512640 134578447 3221224624 3221223520 134519847 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1938 1507 566 18 0 1920 0
[pid=17601] vsize: 7752
Current children cumulated CPU time (s) 350.04
Current children cumulated vsize (Kb) 7752

[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1553 0 0 0 35998 6 0 0 25 0 1 0 1859102386 8069120 1519 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1970 1519 566 18 0 1952 0
[pid=17601] vsize: 7880
Current children cumulated CPU time (s) 360.04
Current children cumulated vsize (Kb) 7880

[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1554 0 0 0 36998 6 0 0 25 0 1 0 1859102386 8069120 1520 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1970 1520 566 18 0 1952 0
[pid=17601] vsize: 7880
Current children cumulated CPU time (s) 370.04
Current children cumulated vsize (Kb) 7880

[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1554 0 0 0 37998 6 0 0 25 0 1 0 1859102386 8069120 1520 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1970 1520 566 18 0 1952 0
[pid=17601] vsize: 7880
Current children cumulated CPU time (s) 380.04
Current children cumulated vsize (Kb) 7880

[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1554 0 0 0 38998 6 0 0 25 0 1 0 1859102386 8069120 1520 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1970 1520 566 18 0 1952 0
[pid=17601] vsize: 7880
Current children cumulated CPU time (s) 390.04
Current children cumulated vsize (Kb) 7880

[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1554 0 0 0 39999 6 0 0 25 0 1 0 1859102386 8069120 1520 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1970 1520 566 18 0 1952 0
[pid=17601] vsize: 7880
Current children cumulated CPU time (s) 400.05
Current children cumulated vsize (Kb) 7880

[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1554 0 0 0 40999 6 0 0 25 0 1 0 1859102386 8069120 1520 4294967295 134512640 134578447 3221224624 3221223536 134557235 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1970 1520 566 18 0 1952 0
[pid=17601] vsize: 7880
Current children cumulated CPU time (s) 410.05
Current children cumulated vsize (Kb) 7880

[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1558 0 0 0 41999 6 0 0 25 0 1 0 1859102386 8069120 1524 4294967295 134512640 134578447 3221224624 3221223472 134520236 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1970 1524 566 18 0 1952 0
[pid=17601] vsize: 7880
Current children cumulated CPU time (s) 420.05
Current children cumulated vsize (Kb) 7880

[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1570 0 0 0 42999 7 0 0 25 0 1 0 1859102386 8069120 1536 4294967295 134512640 134578447 3221224624 3221223520 134519847 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1970 1536 566 18 0 1952 0
[pid=17601] vsize: 7880
Current children cumulated CPU time (s) 430.06
Current children cumulated vsize (Kb) 7880

[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1570 0 0 0 44000 7 0 0 25 0 1 0 1859102386 8069120 1536 4294967295 134512640 134578447 3221224624 3221223520 134519836 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1970 1536 566 18 0 1952 0
[pid=17601] vsize: 7880
Current children cumulated CPU time (s) 440.07
Current children cumulated vsize (Kb) 7880

[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1570 0 0 0 45000 7 0 0 25 0 1 0 1859102386 8069120 1536 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1970 1536 566 18 0 1952 0
[pid=17601] vsize: 7880
Current children cumulated CPU time (s) 450.07
Current children cumulated vsize (Kb) 7880

[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1576 0 0 0 46000 7 0 0 25 0 1 0 1859102386 8069120 1542 4294967295 134512640 134578447 3221224624 3221223520 134519774 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 1970 1542 566 18 0 1952 0
[pid=17601] vsize: 7880
Current children cumulated CPU time (s) 460.07
Current children cumulated vsize (Kb) 7880

[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1581 0 0 0 47000 7 0 0 25 0 1 0 1859102386 8212480 1547 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2005 1547 566 18 0 1987 0
[pid=17601] vsize: 8020
Current children cumulated CPU time (s) 470.07
Current children cumulated vsize (Kb) 8020

[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1581 0 0 0 48000 7 0 0 25 0 1 0 1859102386 8212480 1547 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2005 1547 566 18 0 1987 0
[pid=17601] vsize: 8020
Current children cumulated CPU time (s) 480.07
Current children cumulated vsize (Kb) 8020

[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1604 0 0 0 49001 7 0 0 25 0 1 0 1859102386 8212480 1570 4294967295 134512640 134578447 3221224624 3221223520 134519825 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2005 1570 566 18 0 1987 0
[pid=17601] vsize: 8020
Current children cumulated CPU time (s) 490.08
Current children cumulated vsize (Kb) 8020

[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1647 0 0 0 50001 7 0 0 25 0 1 0 1859102386 8474624 1613 4294967295 134512640 134578447 3221224624 3221223568 134558663 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2069 1613 566 18 0 2051 0
[pid=17601] vsize: 8276
Current children cumulated CPU time (s) 500.08
Current children cumulated vsize (Kb) 8276

[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1650 0 0 0 51001 7 0 0 25 0 1 0 1859102386 8474624 1616 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2069 1616 566 18 0 2051 0
[pid=17601] vsize: 8276
Current children cumulated CPU time (s) 510.08
Current children cumulated vsize (Kb) 8276

[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1650 0 0 0 52001 7 0 0 25 0 1 0 1859102386 8474624 1616 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2069 1616 566 18 0 2051 0
[pid=17601] vsize: 8276
Current children cumulated CPU time (s) 520.08
Current children cumulated vsize (Kb) 8276

[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1656 0 0 0 53001 7 0 0 25 0 1 0 1859102386 8474624 1622 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2069 1622 566 18 0 2051 0
[pid=17601] vsize: 8276
Current children cumulated CPU time (s) 530.08
Current children cumulated vsize (Kb) 8276

[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1656 0 0 0 54001 7 0 0 25 0 1 0 1859102386 8474624 1622 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2069 1622 566 18 0 2051 0
[pid=17601] vsize: 8276
Current children cumulated CPU time (s) 540.08
Current children cumulated vsize (Kb) 8276

[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1657 0 0 0 55002 7 0 0 25 0 1 0 1859102386 8474624 1623 4294967295 134512640 134578447 3221224624 3221223528 134557594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2069 1623 566 18 0 2051 0
[pid=17601] vsize: 8276
Current children cumulated CPU time (s) 550.09
Current children cumulated vsize (Kb) 8276

[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1657 0 0 0 56002 7 0 0 25 0 1 0 1859102386 8474624 1623 4294967295 134512640 134578447 3221224624 3221223572 134558622 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2069 1623 566 18 0 2051 0
[pid=17601] vsize: 8276
Current children cumulated CPU time (s) 560.09
Current children cumulated vsize (Kb) 8276

[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1698 0 0 0 57001 7 0 0 25 0 1 0 1859102386 8605696 1664 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2101 1664 566 18 0 2083 0
[pid=17601] vsize: 8404
Current children cumulated CPU time (s) 570.08
Current children cumulated vsize (Kb) 8404

[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1703 0 0 0 58002 7 0 0 25 0 1 0 1859102386 8605696 1669 4294967295 134512640 134578447 3221224624 3221223520 134519724 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2101 1669 566 18 0 2083 0
[pid=17601] vsize: 8404
Current children cumulated CPU time (s) 580.09
Current children cumulated vsize (Kb) 8404

[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1703 0 0 0 59002 7 0 0 25 0 1 0 1859102386 8605696 1669 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2101 1669 566 18 0 2083 0
[pid=17601] vsize: 8404
Current children cumulated CPU time (s) 590.09
Current children cumulated vsize (Kb) 8404

[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1703 0 0 0 60002 7 0 0 25 0 1 0 1859102386 8605696 1669 4294967295 134512640 134578447 3221224624 3221223536 134557049 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2101 1669 566 18 0 2083 0
[pid=17601] vsize: 8404
Current children cumulated CPU time (s) 600.09
Current children cumulated vsize (Kb) 8404

[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1703 0 0 0 61002 7 0 0 25 0 1 0 1859102386 8605696 1669 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2101 1669 566 18 0 2083 0
[pid=17601] vsize: 8404
Current children cumulated CPU time (s) 610.09
Current children cumulated vsize (Kb) 8404

[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1703 0 0 0 62002 7 0 0 25 0 1 0 1859102386 8605696 1669 4294967295 134512640 134578447 3221224624 3221223472 134558260 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2101 1669 566 18 0 2083 0
[pid=17601] vsize: 8404
Current children cumulated CPU time (s) 620.09
Current children cumulated vsize (Kb) 8404

[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1703 0 0 0 63002 7 0 0 25 0 1 0 1859102386 8605696 1669 4294967295 134512640 134578447 3221224624 3221223472 134558456 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2101 1669 566 18 0 2083 0
[pid=17601] vsize: 8404
Current children cumulated CPU time (s) 630.09
Current children cumulated vsize (Kb) 8404

[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1726 0 0 0 64003 7 0 0 25 0 1 0 1859102386 8736768 1692 4294967295 134512640 134578447 3221224624 3221223472 134558343 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2133 1692 566 18 0 2115 0
[pid=17601] vsize: 8532
Current children cumulated CPU time (s) 640.1
Current children cumulated vsize (Kb) 8532

[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1729 0 0 0 65003 7 0 0 25 0 1 0 1859102386 8736768 1695 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2133 1695 566 18 0 2115 0
[pid=17601] vsize: 8532
Current children cumulated CPU time (s) 650.1
Current children cumulated vsize (Kb) 8532

[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1729 0 0 0 66003 8 0 0 25 0 1 0 1859102386 8736768 1695 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2133 1695 566 18 0 2115 0
[pid=17601] vsize: 8532
Current children cumulated CPU time (s) 660.11
Current children cumulated vsize (Kb) 8532

[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1734 0 0 0 67003 8 0 0 25 0 1 0 1859102386 8876032 1700 4294967295 134512640 134578447 3221224624 3221223560 134519713 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2167 1700 566 18 0 2149 0
[pid=17601] vsize: 8668
Current children cumulated CPU time (s) 670.11
Current children cumulated vsize (Kb) 8668

[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1735 0 0 0 68003 8 0 0 25 0 1 0 1859102386 8876032 1701 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2167 1701 566 18 0 2149 0
[pid=17601] vsize: 8668
Current children cumulated CPU time (s) 680.11
Current children cumulated vsize (Kb) 8668

[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1735 0 0 0 69003 8 0 0 25 0 1 0 1859102386 8876032 1701 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2167 1701 566 18 0 2149 0
[pid=17601] vsize: 8668
Current children cumulated CPU time (s) 690.11
Current children cumulated vsize (Kb) 8668

[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1735 0 0 0 70004 8 0 0 25 0 1 0 1859102386 8876032 1701 4294967295 134512640 134578447 3221224624 3221223488 134558256 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2167 1701 566 18 0 2149 0
[pid=17601] vsize: 8668
Current children cumulated CPU time (s) 700.12
Current children cumulated vsize (Kb) 8668

[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1735 0 0 0 71004 8 0 0 25 0 1 0 1859102386 8876032 1701 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2167 1701 566 18 0 2149 0
[pid=17601] vsize: 8668
Current children cumulated CPU time (s) 710.12
Current children cumulated vsize (Kb) 8668

[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1735 0 0 0 72004 8 0 0 25 0 1 0 1859102386 8876032 1701 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2167 1701 566 18 0 2149 0
[pid=17601] vsize: 8668
Current children cumulated CPU time (s) 720.12
Current children cumulated vsize (Kb) 8668

[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1761 0 0 0 73004 8 0 0 25 0 1 0 1859102386 8876032 1727 4294967295 134512640 134578447 3221224624 3221223584 134559057 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2167 1727 566 18 0 2149 0
[pid=17601] vsize: 8668
Current children cumulated CPU time (s) 730.12
Current children cumulated vsize (Kb) 8668

[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1761 0 0 0 74004 8 0 0 25 0 1 0 1859102386 8876032 1727 4294967295 134512640 134578447 3221224624 3221223420 1075285117 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2167 1727 566 18 0 2149 0
[pid=17601] vsize: 8668
Current children cumulated CPU time (s) 740.12
Current children cumulated vsize (Kb) 8668

[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1761 0 0 0 75004 8 0 0 25 0 1 0 1859102386 8876032 1727 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2167 1727 566 18 0 2149 0
[pid=17601] vsize: 8668
Current children cumulated CPU time (s) 750.12
Current children cumulated vsize (Kb) 8668

[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1761 0 0 0 76005 8 0 0 25 0 1 0 1859102386 8876032 1727 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2167 1727 566 18 0 2149 0
[pid=17601] vsize: 8668
Current children cumulated CPU time (s) 760.13
Current children cumulated vsize (Kb) 8668

[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1761 0 0 0 77005 8 0 0 25 0 1 0 1859102386 8876032 1727 4294967295 134512640 134578447 3221224624 3221223520 134519944 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2167 1727 566 18 0 2149 0
[pid=17601] vsize: 8668
Current children cumulated CPU time (s) 770.13
Current children cumulated vsize (Kb) 8668

[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1761 0 0 0 78005 8 0 0 25 0 1 0 1859102386 8876032 1727 4294967295 134512640 134578447 3221224624 3221223584 134559085 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2167 1727 566 18 0 2149 0
[pid=17601] vsize: 8668
Current children cumulated CPU time (s) 780.13
Current children cumulated vsize (Kb) 8668

[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1761 0 0 0 79005 8 0 0 25 0 1 0 1859102386 8876032 1727 4294967295 134512640 134578447 3221224624 3221223420 1075285117 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2167 1727 566 18 0 2149 0
[pid=17601] vsize: 8668
Current children cumulated CPU time (s) 790.13
Current children cumulated vsize (Kb) 8668

[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1761 0 0 0 80005 8 0 0 25 0 1 0 1859102386 8876032 1727 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2167 1727 566 18 0 2149 0
[pid=17601] vsize: 8668
Current children cumulated CPU time (s) 800.13
Current children cumulated vsize (Kb) 8668

[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1761 0 0 0 81005 8 0 0 25 0 1 0 1859102386 8876032 1727 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2167 1727 566 18 0 2149 0
[pid=17601] vsize: 8668
Current children cumulated CPU time (s) 810.13
Current children cumulated vsize (Kb) 8668

[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1761 0 0 0 82006 8 0 0 25 0 1 0 1859102386 8876032 1727 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2167 1727 566 18 0 2149 0
[pid=17601] vsize: 8668
Current children cumulated CPU time (s) 820.14
Current children cumulated vsize (Kb) 8668

[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1805 0 0 0 83006 8 0 0 25 0 1 0 1859102386 9138176 1771 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2231 1771 566 18 0 2213 0
[pid=17601] vsize: 8924
Current children cumulated CPU time (s) 830.14
Current children cumulated vsize (Kb) 8924

[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1845 0 0 0 84006 8 0 0 25 0 1 0 1859102386 9273344 1811 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2264 1811 566 18 0 2246 0
[pid=17601] vsize: 9056
Current children cumulated CPU time (s) 840.14
Current children cumulated vsize (Kb) 9056

[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1943 0 0 0 85005 9 0 0 25 0 1 0 1859102386 9670656 1909 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1909 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 850.14
Current children cumulated vsize (Kb) 9444

[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1948 0 0 0 86006 9 0 0 25 0 1 0 1859102386 9670656 1914 4294967295 134512640 134578447 3221224624 3221223520 134519724 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1914 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 860.15
Current children cumulated vsize (Kb) 9444

[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1948 0 0 0 87006 9 0 0 25 0 1 0 1859102386 9670656 1914 4294967295 134512640 134578447 3221224624 3221223520 134519944 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1914 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 870.15
Current children cumulated vsize (Kb) 9444

[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1948 0 0 0 88006 9 0 0 25 0 1 0 1859102386 9670656 1914 4294967295 134512640 134578447 3221224624 3221223488 134558153 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1914 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 880.15
Current children cumulated vsize (Kb) 9444

[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1948 0 0 0 89006 9 0 0 25 0 1 0 1859102386 9670656 1914 4294967295 134512640 134578447 3221224624 3221223520 134519844 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1914 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 890.15
Current children cumulated vsize (Kb) 9444

[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1948 0 0 0 90006 9 0 0 25 0 1 0 1859102386 9670656 1914 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1914 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 900.15
Current children cumulated vsize (Kb) 9444

[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1948 0 0 0 91006 9 0 0 25 0 1 0 1859102386 9670656 1914 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1914 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 910.15
Current children cumulated vsize (Kb) 9444

[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1948 0 0 0 92006 9 0 0 25 0 1 0 1859102386 9670656 1914 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1914 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 920.15
Current children cumulated vsize (Kb) 9444

[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1948 0 0 0 93006 9 0 0 25 0 1 0 1859102386 9670656 1914 4294967295 134512640 134578447 3221224624 3221223520 134520057 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1914 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 930.15
Current children cumulated vsize (Kb) 9444

[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1948 0 0 0 94007 9 0 0 25 0 1 0 1859102386 9670656 1914 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1914 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 940.16
Current children cumulated vsize (Kb) 9444

[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1949 0 0 0 95007 9 0 0 25 0 1 0 1859102386 9670656 1915 4294967295 134512640 134578447 3221224624 3221223520 134519742 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1915 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 950.16
Current children cumulated vsize (Kb) 9444

[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1949 0 0 0 96007 9 0 0 25 0 1 0 1859102386 9670656 1915 4294967295 134512640 134578447 3221224624 3221223584 134559088 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1915 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 960.16
Current children cumulated vsize (Kb) 9444

[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1949 0 0 0 97007 9 0 0 25 0 1 0 1859102386 9670656 1915 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1915 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 970.16
Current children cumulated vsize (Kb) 9444

[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1949 0 0 0 98007 9 0 0 25 0 1 0 1859102386 9670656 1915 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1915 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 980.16
Current children cumulated vsize (Kb) 9444

[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1949 0 0 0 99007 9 0 0 25 0 1 0 1859102386 9670656 1915 4294967295 134512640 134578447 3221224624 3221223440 1075285089 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1915 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 990.16
Current children cumulated vsize (Kb) 9444

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1949 0 0 0 100008 9 0 0 25 0 1 0 1859102386 9670656 1915 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1915 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 1000.17
Current children cumulated vsize (Kb) 9444

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1949 0 0 0 101008 9 0 0 25 0 1 0 1859102386 9670656 1915 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1915 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 1010.17
Current children cumulated vsize (Kb) 9444

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1949 0 0 0 102008 9 0 0 25 0 1 0 1859102386 9670656 1915 4294967295 134512640 134578447 3221224624 3221223472 134558389 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1915 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 1020.17
Current children cumulated vsize (Kb) 9444

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1949 0 0 0 103008 9 0 0 25 0 1 0 1859102386 9670656 1915 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1915 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 1030.17
Current children cumulated vsize (Kb) 9444

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1949 0 0 0 104008 9 0 0 25 0 1 0 1859102386 9670656 1915 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1915 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 1040.17
Current children cumulated vsize (Kb) 9444

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1949 0 0 0 105008 10 0 0 25 0 1 0 1859102386 9670656 1915 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1915 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 1050.18
Current children cumulated vsize (Kb) 9444

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1949 0 0 0 106009 10 0 0 25 0 1 0 1859102386 9670656 1915 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1915 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 1060.19
Current children cumulated vsize (Kb) 9444

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1949 0 0 0 107009 10 0 0 25 0 1 0 1859102386 9670656 1915 4294967295 134512640 134578447 3221224624 3221223564 134519843 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1915 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 1070.19
Current children cumulated vsize (Kb) 9444

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1949 0 0 0 108009 10 0 0 25 0 1 0 1859102386 9670656 1915 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/17601/statm): 2361 1915 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 1080.19
Current children cumulated vsize (Kb) 9444

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1949 0 0 0 109009 10 0 0 25 0 1 0 1859102386 9670656 1915 4294967295 134512640 134578447 3221224624 3221223520 134519783 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1915 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 1090.19
Current children cumulated vsize (Kb) 9444

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1951 0 0 0 110009 10 0 0 25 0 1 0 1859102386 9670656 1917 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1917 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 1100.19
Current children cumulated vsize (Kb) 9444

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1951 0 0 0 111009 10 0 0 25 0 1 0 1859102386 9670656 1917 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1917 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 1110.19
Current children cumulated vsize (Kb) 9444

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1951 0 0 0 112009 10 0 0 25 0 1 0 1859102386 9670656 1917 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1917 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 1120.19
Current children cumulated vsize (Kb) 9444

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1951 0 0 0 113009 10 0 0 25 0 1 0 1859102386 9670656 1917 4294967295 134512640 134578447 3221224624 3221223584 134559074 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2361 1917 566 18 0 2343 0
[pid=17601] vsize: 9444
Current children cumulated CPU time (s) 1130.19
Current children cumulated vsize (Kb) 9444

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1966 0 0 0 114009 10 0 0 25 0 1 0 1859102386 9801728 1932 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2393 1932 566 18 0 2375 0
[pid=17601] vsize: 9572
Current children cumulated CPU time (s) 1140.19
Current children cumulated vsize (Kb) 9572

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1966 0 0 0 115009 10 0 0 25 0 1 0 1859102386 9801728 1932 4294967295 134512640 134578447 3221224624 3221223584 134559051 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2393 1932 566 18 0 2375 0
[pid=17601] vsize: 9572
Current children cumulated CPU time (s) 1150.19
Current children cumulated vsize (Kb) 9572

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1966 0 0 0 116009 10 0 0 25 0 1 0 1859102386 9801728 1932 4294967295 134512640 134578447 3221224624 3221223584 134559085 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2393 1932 566 18 0 2375 0
[pid=17601] vsize: 9572
Current children cumulated CPU time (s) 1160.19
Current children cumulated vsize (Kb) 9572

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1966 0 0 0 117010 10 0 0 25 0 1 0 1859102386 9801728 1932 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2393 1932 566 18 0 2375 0
[pid=17601] vsize: 9572
Current children cumulated CPU time (s) 1170.2
Current children cumulated vsize (Kb) 9572

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1966 0 0 0 118010 10 0 0 25 0 1 0 1859102386 9801728 1932 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2393 1932 566 18 0 2375 0
[pid=17601] vsize: 9572
Current children cumulated CPU time (s) 1180.2
Current children cumulated vsize (Kb) 9572

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1966 0 0 0 119010 10 0 0 25 0 1 0 1859102386 9793536 1932 4294967295 134512640 134578447 3221224624 3221223520 134520047 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2391 1932 566 18 0 2373 0
[pid=17601] vsize: 9564
Current children cumulated CPU time (s) 1190.2
Current children cumulated vsize (Kb) 9564

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1966 0 0 0 120010 10 0 0 25 0 1 0 1859102386 9793536 1932 4294967295 134512640 134578447 3221224624 3221223472 134558331 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2391 1932 566 18 0 2373 0
[pid=17601] vsize: 9564
Current children cumulated CPU time (s) 1200.2
Current children cumulated vsize (Kb) 9564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 17603
Raw data (/proc/17601/stat): 17601 (Pueblo) R 17600 17601 20728 0 -1 0 1966 0 0 0 120010 10 0 0 25 0 1 0 1859102386 9793536 1932 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/17601/statm): 2391 1932 566 18 0 2373 0
[pid=17601] vsize: 9564
Current children cumulated CPU time (s) 1200.2
Current children cumulated vsize (Kb) 9564

Sending SIGTERM to -17601
Sleeping 2 seconds
One traced child (pid=17601) 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.05
CPU time (s): 1200.22
CPU user time (s): 1200.11
CPU system time (s): 0.112982
CPU usage (%): 100.014
Max. virtual memory (cumulated for all children) (Kb): 9572

Verifier Data

ERROR: no interpretation found !