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

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sentoy.opb
MD5SUM4df3e7eb358d27d446e34b975724a6c1
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -7772
Optimality of the best value was proved NO
Number of terms in the objective function 60
Biggest coefficient in the objective function 974
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 9460
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 6000
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 26162
Number of bits of the biggest sum of numbers15
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1200.68
Number of variables60
Total number of constraints90
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints30
Minimum length of a constraint1
Maximum length of a constraint60

Trace number 8484

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        840824 kB
Buffers:         34856 kB
Cached:         128852 kB
SwapCached:        784 kB
Active:          90204 kB
Inactive:        76180 kB
HighTotal:      131008 kB
HighFree:        12516 kB
LowTotal:       903652 kB
LowFree:        828308 kB
SwapTotal:     2097892 kB
SwapFree:      2096640 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5792 kB
Slab:            21668 kB
Committed_AS:    64272 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 16:59:21 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5612 0 1189.01 10

Solver Data

c Pueblo version 1.3 (July 2005)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c starting to Solve
c #variables read: 60 - #constraints read: 91
c total time              : 1189 s
s SATISFIABLE
v -Y1_bit0 Y2_bit0 -Y3_bit0 -Y4_bit0 Y5_bit0 -Y6_bit0 -Y7_bit0 Y8_bit0 Y9_bit0 -Y10_bit0 Y11_bit0 -Y12_bit0 Y13_bit0 -Y14_bit0 -Y15_bit0 -Y16_bit0 Y17_bit0 Y18_bit0 Y19_bit0 Y20_bit0 Y21_bit0 -Y22_bit0 -Y23_bit0 -Y24_bit0 -Y25_bit0 -Y26_bit0 Y27_bit0 -Y28_bit0 -Y29_bit0 Y30_bit0 -Y31_bit0 -Y32_bit0 -Y33_bit0 -Y34_bit0 -Y35_bit0 Y36_bit0 -Y37_bit0 -Y38_bit0 Y39_bit0 -Y40_bit0 -Y41_bit0 -Y42_bit0 -Y43_bit0 Y44_bit0 -Y45_bit0 -Y46_bit0 Y47_bit0 -Y48_bit0 -Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 -Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 Y57_bit0 -Y58_bit0 Y59_bit0 -Y60_bit0

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/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1860016311 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 41 3 40 18 0 23 0
[pid=12358] 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.003 s]
Raw data (loadavg): 0.83 0.93 0.90 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 289 0 0 0 836 53 0 0 23 0 1 0 1860016311 2768896 255 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 255 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 8.89
Current children cumulated vsize (Kb) 2704

[startup+20.0038 s]
Raw data (loadavg): 0.93 0.94 0.90 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 289 0 0 0 1674 109 0 0 20 0 1 0 1860016311 2768896 255 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 255 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 17.83
Current children cumulated vsize (Kb) 2704

[startup+30.0046 s]
Raw data (loadavg): 0.94 0.95 0.90 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 291 0 0 0 2503 169 0 0 22 0 1 0 1860016311 2768896 257 4294967295 134512640 134578447 3221224624 3221223504 134527548 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 257 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 26.72
Current children cumulated vsize (Kb) 2704

[startup+40.0044 s]
Raw data (loadavg): 0.95 0.95 0.90 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 293 0 0 0 3348 222 0 0 24 0 1 0 1860016311 2768896 259 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 259 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 35.7
Current children cumulated vsize (Kb) 2704

[startup+50.0052 s]
Raw data (loadavg): 0.96 0.95 0.90 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 294 0 0 0 4176 279 0 0 22 0 1 0 1860016311 2768896 260 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 260 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 44.55
Current children cumulated vsize (Kb) 2704

[startup+60.005 s]
Raw data (loadavg): 0.97 0.95 0.91 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 296 0 0 0 5014 336 0 0 24 0 1 0 1860016311 2768896 262 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 262 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 53.5
Current children cumulated vsize (Kb) 2704

[startup+70.0058 s]
Raw data (loadavg): 0.97 0.95 0.91 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 296 0 0 0 5852 391 0 0 18 0 1 0 1860016311 2768896 262 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 262 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 62.43
Current children cumulated vsize (Kb) 2704

[startup+80.0066 s]
Raw data (loadavg): 0.97 0.95 0.91 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 297 0 0 0 6692 443 0 0 23 0 1 0 1860016311 2768896 263 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 263 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 71.35
Current children cumulated vsize (Kb) 2704

[startup+90.0064 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 298 0 0 0 7522 505 0 0 20 0 1 0 1860016311 2768896 264 4294967295 134512640 134578447 3221224624 3221223228 1075289393 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 264 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 80.27
Current children cumulated vsize (Kb) 2704

[startup+100.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 299 0 0 0 8356 559 0 0 22 0 1 0 1860016311 2768896 265 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434789 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 265 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 89.15
Current children cumulated vsize (Kb) 2704

[startup+110.008 s]
Raw data (loadavg): 1.06 0.97 0.91 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 300 0 0 0 9202 610 0 0 25 0 1 0 1860016311 2768896 266 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 266 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 98.12
Current children cumulated vsize (Kb) 2704

[startup+120.009 s]
Raw data (loadavg): 1.05 0.97 0.91 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 300 0 0 0 10047 662 0 0 18 0 1 0 1860016311 2768896 266 4294967295 134512640 134578447 3221224624 3221223668 134531664 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 266 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 107.09
Current children cumulated vsize (Kb) 2704

[startup+130.01 s]
Raw data (loadavg): 1.04 0.97 0.91 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 301 0 0 0 10890 715 0 0 23 0 1 0 1860016311 2768896 267 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 267 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 116.05
Current children cumulated vsize (Kb) 2704

[startup+140.009 s]
Raw data (loadavg): 1.03 0.97 0.91 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 302 0 0 0 11750 761 0 0 25 0 1 0 1860016311 2768896 268 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 268 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 125.11
Current children cumulated vsize (Kb) 2704

[startup+150.01 s]
Raw data (loadavg): 1.03 0.97 0.91 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 304 0 0 0 12601 812 0 0 24 0 1 0 1860016311 2768896 270 4294967295 134512640 134578447 3221224624 3221223456 134528418 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 270 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 134.13
Current children cumulated vsize (Kb) 2704

[startup+160.011 s]
Raw data (loadavg): 1.02 0.97 0.91 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 304 0 0 0 13442 864 0 0 24 0 1 0 1860016311 2768896 270 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 270 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 143.06
Current children cumulated vsize (Kb) 2704

[startup+170.012 s]
Raw data (loadavg): 1.02 0.97 0.91 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 304 0 0 0 14274 920 0 0 22 0 1 0 1860016311 2768896 270 4294967295 134512640 134578447 3221224624 3221223584 134558889 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 270 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 151.94
Current children cumulated vsize (Kb) 2704

[startup+180.012 s]
Raw data (loadavg): 1.02 0.97 0.91 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 304 0 0 0 15095 978 0 0 22 0 1 0 1860016311 2768896 270 4294967295 134512640 134578447 3221224624 3221223488 134517698 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 270 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 160.73
Current children cumulated vsize (Kb) 2704

[startup+190.012 s]
Raw data (loadavg): 1.01 0.97 0.91 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 304 0 0 0 15896 1047 0 0 21 0 1 0 1860016311 2768896 270 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 270 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 169.43
Current children cumulated vsize (Kb) 2704

[startup+200.013 s]
Raw data (loadavg): 1.01 0.97 0.91 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 305 0 0 0 16716 1109 0 0 19 0 1 0 1860016311 2768896 271 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222298933 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 271 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 178.25
Current children cumulated vsize (Kb) 2704

[startup+210.013 s]
Raw data (loadavg): 1.01 0.97 0.91 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 305 0 0 0 17546 1168 0 0 17 0 1 0 1860016311 2768896 271 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 271 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 187.14
Current children cumulated vsize (Kb) 2704

[startup+220.015 s]
Raw data (loadavg): 1.01 0.97 0.91 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 306 0 0 0 18373 1229 0 0 23 0 1 0 1860016311 2768896 272 4294967295 134512640 134578447 3221224624 3221223496 134531779 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 272 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 196.02
Current children cumulated vsize (Kb) 2704

[startup+230.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 306 0 0 0 19209 1286 0 0 22 0 1 0 1860016311 2768896 272 4294967295 134512640 134578447 3221224624 3221223456 134528423 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 272 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 204.95
Current children cumulated vsize (Kb) 2704

[startup+240.015 s]
Raw data (loadavg): 1.08 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 307 0 0 0 20038 1344 0 0 23 0 1 0 1860016311 2768896 273 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 273 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 213.82
Current children cumulated vsize (Kb) 2704

[startup+250.016 s]
Raw data (loadavg): 1.07 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 307 0 0 0 20863 1405 0 0 21 0 1 0 1860016311 2768896 273 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 273 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 222.68
Current children cumulated vsize (Kb) 2704

[startup+260.017 s]
Raw data (loadavg): 1.06 0.99 0.92 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 308 0 0 0 21670 1470 0 0 19 0 1 0 1860016311 2768896 274 4294967295 134512640 134578447 3221224624 3221223472 134520257 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 274 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 231.4
Current children cumulated vsize (Kb) 2704

[startup+270.018 s]
Raw data (loadavg): 1.05 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 308 0 0 0 22485 1535 0 0 17 0 1 0 1860016311 2768896 274 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 274 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 240.2
Current children cumulated vsize (Kb) 2704

[startup+280.019 s]
Raw data (loadavg): 1.04 0.99 0.92 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 308 0 0 0 23301 1596 0 0 23 0 1 0 1860016311 2768896 274 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 274 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 248.97
Current children cumulated vsize (Kb) 2704

[startup+290.019 s]
Raw data (loadavg): 1.03 0.99 0.92 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 308 0 0 0 24121 1660 0 0 21 0 1 0 1860016311 2768896 274 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 274 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 257.81
Current children cumulated vsize (Kb) 2704

[startup+300.02 s]
Raw data (loadavg): 1.03 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 308 0 0 0 24947 1719 0 0 23 0 1 0 1860016311 2768896 274 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 274 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 266.66
Current children cumulated vsize (Kb) 2704

[startup+310.021 s]
Raw data (loadavg): 1.02 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 308 0 0 0 25762 1785 0 0 23 0 1 0 1860016311 2768896 274 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 274 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 275.47
Current children cumulated vsize (Kb) 2704

[startup+320.022 s]
Raw data (loadavg): 1.02 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 309 0 0 0 26576 1852 0 0 23 0 1 0 1860016311 2768896 275 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 275 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 284.28
Current children cumulated vsize (Kb) 2704

[startup+330.024 s]
Raw data (loadavg): 1.02 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 310 0 0 0 27401 1912 0 0 21 0 1 0 1860016311 2768896 276 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 276 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 293.13
Current children cumulated vsize (Kb) 2704

[startup+340.023 s]
Raw data (loadavg): 1.01 0.99 0.92 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 310 0 0 0 28222 1970 0 0 16 0 1 0 1860016311 2768896 276 4294967295 134512640 134578447 3221224624 3221223456 134528412 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 276 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 301.92
Current children cumulated vsize (Kb) 2704

[startup+350.024 s]
Raw data (loadavg): 1.01 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 310 0 0 0 29045 2033 0 0 16 0 1 0 1860016311 2768896 276 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 276 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 310.78
Current children cumulated vsize (Kb) 2704

[startup+360.025 s]
Raw data (loadavg): 1.01 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 310 0 0 0 29866 2094 0 0 16 0 1 0 1860016311 2768896 276 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 276 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 319.6
Current children cumulated vsize (Kb) 2704

[startup+370.026 s]
Raw data (loadavg): 1.01 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 314 0 0 0 30695 2153 0 0 16 0 1 0 1860016311 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 280 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 328.48
Current children cumulated vsize (Kb) 2704

[startup+380.026 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 314 0 0 0 31517 2213 0 0 16 0 1 0 1860016311 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 280 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 337.3
Current children cumulated vsize (Kb) 2704

[startup+390.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 314 0 0 0 32335 2278 0 0 16 0 1 0 1860016311 2768896 280 4294967295 134512640 134578447 3221224624 3221223376 134528891 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 280 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 346.13
Current children cumulated vsize (Kb) 2704

[startup+400.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 314 0 0 0 33153 2344 0 0 16 0 1 0 1860016311 2768896 280 4294967295 134512640 134578447 3221224624 3221223456 134528371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 280 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 354.97
Current children cumulated vsize (Kb) 2704

[startup+410.031 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 314 0 0 0 33972 2408 0 0 16 0 1 0 1860016311 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 280 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 363.8
Current children cumulated vsize (Kb) 2704

[startup+420.032 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 314 0 0 0 34794 2469 0 0 16 0 1 0 1860016311 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 280 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 372.63
Current children cumulated vsize (Kb) 2704

[startup+430.032 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 314 0 0 0 35623 2529 0 0 16 0 1 0 1860016311 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 280 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 381.52
Current children cumulated vsize (Kb) 2704

[startup+440.032 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 314 0 0 0 36459 2588 0 0 16 0 1 0 1860016311 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 280 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 390.47
Current children cumulated vsize (Kb) 2704

[startup+450.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 314 0 0 0 37281 2648 0 0 16 0 1 0 1860016311 2768896 280 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 280 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 399.29
Current children cumulated vsize (Kb) 2704

[startup+460.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 314 0 0 0 38099 2711 0 0 16 0 1 0 1860016311 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 280 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 408.1
Current children cumulated vsize (Kb) 2704

[startup+470.035 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 314 0 0 0 38925 2772 0 0 16 0 1 0 1860016311 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 280 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 416.97
Current children cumulated vsize (Kb) 2704

[startup+480.035 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 314 0 0 0 39751 2833 0 0 16 0 1 0 1860016311 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 280 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 425.84
Current children cumulated vsize (Kb) 2704

[startup+490.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 314 0 0 0 40577 2892 0 0 16 0 1 0 1860016311 2768896 280 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 280 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 434.69
Current children cumulated vsize (Kb) 2704

[startup+500.036 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 314 0 0 0 41392 2956 0 0 16 0 1 0 1860016311 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 280 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 443.48
Current children cumulated vsize (Kb) 2704

[startup+510.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 314 0 0 0 42217 3016 0 0 16 0 1 0 1860016311 2768896 280 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 280 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 452.33
Current children cumulated vsize (Kb) 2704

[startup+520.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 314 0 0 0 43042 3077 0 0 16 0 1 0 1860016311 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 280 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 461.19
Current children cumulated vsize (Kb) 2704

[startup+530.037 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 314 0 0 0 43856 3136 0 0 16 0 1 0 1860016311 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 280 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 469.92
Current children cumulated vsize (Kb) 2704

[startup+540.038 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 314 0 0 0 44674 3196 0 0 16 0 1 0 1860016311 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 280 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 478.7
Current children cumulated vsize (Kb) 2704

[startup+550.039 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 314 0 0 0 45506 3252 0 0 16 0 1 0 1860016311 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 280 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 487.58
Current children cumulated vsize (Kb) 2704

[startup+560.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 314 0 0 0 46337 3313 0 0 16 0 1 0 1860016311 2768896 280 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 280 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 496.5
Current children cumulated vsize (Kb) 2704

[startup+570.04 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 315 0 0 0 47160 3374 0 0 16 0 1 0 1860016311 2768896 281 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 281 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 505.34
Current children cumulated vsize (Kb) 2704

[startup+580.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 315 0 0 0 47979 3437 0 0 16 0 1 0 1860016311 2768896 281 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 281 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 514.16
Current children cumulated vsize (Kb) 2704

[startup+590.04 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 315 0 0 0 48799 3497 0 0 16 0 1 0 1860016311 2768896 281 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 281 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 522.96
Current children cumulated vsize (Kb) 2704

[startup+600.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 315 0 0 0 49623 3562 0 0 16 0 1 0 1860016311 2768896 281 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 281 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 531.85
Current children cumulated vsize (Kb) 2704

[startup+610.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 315 0 0 0 50449 3625 0 0 16 0 1 0 1860016311 2768896 281 4294967295 134512640 134578447 3221224624 3221223456 134528498 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 281 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 540.74
Current children cumulated vsize (Kb) 2704

[startup+620.043 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 315 0 0 0 51273 3687 0 0 16 0 1 0 1860016311 2768896 281 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 281 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 549.6
Current children cumulated vsize (Kb) 2704

[startup+630.043 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 315 0 0 0 52098 3749 0 0 16 0 1 0 1860016311 2768896 281 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 281 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 558.47
Current children cumulated vsize (Kb) 2704

[startup+640.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 316 0 0 0 52915 3814 0 0 16 0 1 0 1860016311 2768896 282 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 282 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 567.29
Current children cumulated vsize (Kb) 2704

[startup+650.045 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 316 0 0 0 53746 3873 0 0 16 0 1 0 1860016311 2768896 282 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 282 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 576.19
Current children cumulated vsize (Kb) 2704

[startup+660.046 s]
Raw data (loadavg): 1.07 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 316 0 0 0 54579 3932 0 0 16 0 1 0 1860016311 2768896 282 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 282 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 585.11
Current children cumulated vsize (Kb) 2704

[startup+670.047 s]
Raw data (loadavg): 1.06 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 316 0 0 0 55420 3988 0 0 16 0 1 0 1860016311 2768896 282 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 282 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 594.08
Current children cumulated vsize (Kb) 2704

[startup+680.047 s]
Raw data (loadavg): 1.05 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 316 0 0 0 56252 4046 0 0 16 0 1 0 1860016311 2768896 282 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 282 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 602.98
Current children cumulated vsize (Kb) 2704

[startup+690.047 s]
Raw data (loadavg): 1.04 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 316 0 0 0 57080 4106 0 0 16 0 1 0 1860016311 2768896 282 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 282 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 611.86
Current children cumulated vsize (Kb) 2704

[startup+700.048 s]
Raw data (loadavg): 1.04 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 316 0 0 0 57921 4161 0 0 16 0 1 0 1860016311 2768896 282 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 282 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 620.82
Current children cumulated vsize (Kb) 2704

[startup+710.049 s]
Raw data (loadavg): 1.03 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 316 0 0 0 58742 4226 0 0 16 0 1 0 1860016311 2768896 282 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 282 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 629.68
Current children cumulated vsize (Kb) 2704

[startup+720.05 s]
Raw data (loadavg): 1.02 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 316 0 0 0 59561 4290 0 0 16 0 1 0 1860016311 2768896 282 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 282 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 638.51
Current children cumulated vsize (Kb) 2704

[startup+730.05 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 316 0 0 0 60383 4353 0 0 16 0 1 0 1860016311 2768896 282 4294967295 134512640 134578447 3221224624 3221223456 134527302 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 282 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 647.36
Current children cumulated vsize (Kb) 2704

[startup+740.05 s]
Raw data (loadavg): 1.02 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 316 0 0 0 61208 4415 0 0 16 0 1 0 1860016311 2768896 282 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 282 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 656.23
Current children cumulated vsize (Kb) 2704

[startup+750.051 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 317 0 0 0 62032 4478 0 0 16 0 1 0 1860016311 2768896 283 4294967295 134512640 134578447 3221224624 3221223520 134519969 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 283 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 665.1
Current children cumulated vsize (Kb) 2704

[startup+760.052 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 317 0 0 0 62855 4539 0 0 16 0 1 0 1860016311 2768896 283 4294967295 134512640 134578447 3221224624 3221223456 134528392 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 283 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 673.94
Current children cumulated vsize (Kb) 2704

[startup+770.053 s]
Raw data (loadavg): 1.01 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 317 0 0 0 63671 4602 0 0 16 0 1 0 1860016311 2768896 283 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 283 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 682.73
Current children cumulated vsize (Kb) 2704

[startup+780.053 s]
Raw data (loadavg): 1.01 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 317 0 0 0 64499 4660 0 0 16 0 1 0 1860016311 2768896 283 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 283 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 691.59
Current children cumulated vsize (Kb) 2704

[startup+790.053 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 317 0 0 0 65326 4719 0 0 16 0 1 0 1860016311 2768896 283 4294967295 134512640 134578447 3221224624 3221223456 134528429 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 283 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 700.45
Current children cumulated vsize (Kb) 2704

[startup+800.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 317 0 0 0 66158 4777 0 0 16 0 1 0 1860016311 2768896 283 4294967295 134512640 134578447 3221224624 3221223364 1075289645 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 283 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 709.35
Current children cumulated vsize (Kb) 2704

[startup+810.055 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 317 0 0 0 66963 4843 0 0 16 0 1 0 1860016311 2768896 283 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 283 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 718.06
Current children cumulated vsize (Kb) 2704

[startup+820.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 317 0 0 0 67769 4908 0 0 16 0 1 0 1860016311 2768896 283 4294967295 134512640 134578447 3221224624 3221223536 134557701 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 283 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 726.77
Current children cumulated vsize (Kb) 2704

[startup+830.056 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 317 0 0 0 68582 4974 0 0 16 0 1 0 1860016311 2768896 283 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 283 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 735.56
Current children cumulated vsize (Kb) 2704

[startup+840.056 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 317 0 0 0 69406 5034 0 0 16 0 1 0 1860016311 2768896 283 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 283 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 744.4
Current children cumulated vsize (Kb) 2704

[startup+850.057 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 317 0 0 0 70222 5099 0 0 16 0 1 0 1860016311 2768896 283 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 283 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 753.21
Current children cumulated vsize (Kb) 2704

[startup+860.057 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 317 0 0 0 71024 5167 0 0 16 0 1 0 1860016311 2768896 283 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 676 283 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 761.91
Current children cumulated vsize (Kb) 2704

[startup+870.058 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 317 0 0 0 71840 5234 0 0 16 0 1 0 1860016311 2768896 283 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 676 283 566 18 0 658 0
[pid=12358] vsize: 2704
Current children cumulated CPU time (s) 770.74
Current children cumulated vsize (Kb) 2704

[startup+880.058 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 320 0 0 0 72672 5291 0 0 16 0 1 0 1860016311 2883584 286 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 286 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 779.63
Current children cumulated vsize (Kb) 2816

[startup+890.058 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 320 0 0 0 73501 5352 0 0 16 0 1 0 1860016311 2883584 286 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 286 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 788.53
Current children cumulated vsize (Kb) 2816

[startup+900.059 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 320 0 0 0 74314 5416 0 0 16 0 1 0 1860016311 2883584 286 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 286 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 797.3
Current children cumulated vsize (Kb) 2816

[startup+910.06 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 320 0 0 0 75129 5479 0 0 16 0 1 0 1860016311 2883584 286 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 704 286 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 806.08
Current children cumulated vsize (Kb) 2816

[startup+920.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 320 0 0 0 75949 5545 0 0 16 0 1 0 1860016311 2883584 286 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 286 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 814.94
Current children cumulated vsize (Kb) 2816

[startup+930.06 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 320 0 0 0 76776 5612 0 0 16 0 1 0 1860016311 2883584 286 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 286 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 823.88
Current children cumulated vsize (Kb) 2816

[startup+940.061 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 320 0 0 0 77584 5681 0 0 16 0 1 0 1860016311 2883584 286 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 704 286 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 832.65
Current children cumulated vsize (Kb) 2816

[startup+950.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 320 0 0 0 78401 5746 0 0 16 0 1 0 1860016311 2883584 286 4294967295 134512640 134578447 3221224624 3221223472 134520250 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 286 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 841.47
Current children cumulated vsize (Kb) 2816

[startup+960.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 320 0 0 0 79219 5808 0 0 16 0 1 0 1860016311 2883584 286 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 286 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 850.27
Current children cumulated vsize (Kb) 2816

[startup+970.063 s]
Raw data (loadavg): 1.07 1.02 0.93 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 320 0 0 0 80012 5879 0 0 16 0 1 0 1860016311 2883584 286 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 286 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 858.91
Current children cumulated vsize (Kb) 2816

[startup+980.063 s]
Raw data (loadavg): 1.06 1.02 0.93 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 320 0 0 0 80818 5947 0 0 16 0 1 0 1860016311 2883584 286 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 286 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 867.65
Current children cumulated vsize (Kb) 2816

[startup+990.063 s]
Raw data (loadavg): 1.13 1.03 0.94 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 321 0 0 0 81634 6009 0 0 16 0 1 0 1860016311 2883584 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 704 287 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 876.43
Current children cumulated vsize (Kb) 2816

[startup+1000.06 s]
Raw data (loadavg): 1.11 1.03 0.94 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 321 0 0 0 82439 6077 0 0 16 0 1 0 1860016311 2883584 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 287 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 885.16
Current children cumulated vsize (Kb) 2816

[startup+1010.06 s]
Raw data (loadavg): 1.09 1.03 0.94 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 321 0 0 0 83251 6139 0 0 16 0 1 0 1860016311 2883584 287 4294967295 134512640 134578447 3221224624 3221223536 134557432 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 287 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 893.9
Current children cumulated vsize (Kb) 2816

[startup+1020.07 s]
Raw data (loadavg): 1.08 1.03 0.94 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 321 0 0 0 84069 6205 0 0 16 0 1 0 1860016311 2883584 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 287 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 902.74
Current children cumulated vsize (Kb) 2816

[startup+1030.07 s]
Raw data (loadavg): 1.07 1.03 0.94 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 321 0 0 0 84884 6271 0 0 16 0 1 0 1860016311 2883584 287 4294967295 134512640 134578447 3221224624 3221223488 134517819 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 287 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 911.55
Current children cumulated vsize (Kb) 2816

[startup+1040.07 s]
Raw data (loadavg): 1.14 1.04 0.94 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 321 0 0 0 85709 6327 0 0 16 0 1 0 1860016311 2883584 287 4294967295 134512640 134578447 3221224624 3221223536 134557000 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 287 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 920.36
Current children cumulated vsize (Kb) 2816

[startup+1050.07 s]
Raw data (loadavg): 1.11 1.04 0.94 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 321 0 0 0 86541 6385 0 0 16 0 1 0 1860016311 2883584 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 704 287 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 929.26
Current children cumulated vsize (Kb) 2816

[startup+1060.07 s]
Raw data (loadavg): 1.10 1.04 0.94 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 321 0 0 0 87382 6438 0 0 16 0 1 0 1860016311 2883584 287 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 287 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 938.2
Current children cumulated vsize (Kb) 2816

[startup+1070.07 s]
Raw data (loadavg): 1.08 1.04 0.94 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 321 0 0 0 88207 6500 0 0 16 0 1 0 1860016311 2883584 287 4294967295 134512640 134578447 3221224624 3221223152 134564319 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 287 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 947.07
Current children cumulated vsize (Kb) 2816

[startup+1080.07 s]
Raw data (loadavg): 1.07 1.03 0.94 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 321 0 0 0 89020 6563 0 0 16 0 1 0 1860016311 2883584 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 287 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 955.83
Current children cumulated vsize (Kb) 2816

[startup+1090.07 s]
Raw data (loadavg): 1.13 1.05 0.95 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 321 0 0 0 89834 6627 0 0 16 0 1 0 1860016311 2883584 287 4294967295 134512640 134578447 3221224624 3221223456 134528457 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 287 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 964.61
Current children cumulated vsize (Kb) 2816

[startup+1100.07 s]
Raw data (loadavg): 1.11 1.05 0.95 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 321 0 0 0 90639 6690 0 0 16 0 1 0 1860016311 2883584 287 4294967295 134512640 134578447 3221224624 3221223468 1075285088 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 287 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 973.29
Current children cumulated vsize (Kb) 2816

[startup+1110.07 s]
Raw data (loadavg): 1.09 1.04 0.95 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 321 0 0 0 91433 6761 0 0 16 0 1 0 1860016311 2883584 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 704 287 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 981.94
Current children cumulated vsize (Kb) 2816

[startup+1120.07 s]
Raw data (loadavg): 1.08 1.04 0.95 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 321 0 0 0 92214 6836 0 0 16 0 1 0 1860016311 2883584 287 4294967295 134512640 134578447 3221224624 3221223408 134528974 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 287 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 990.5
Current children cumulated vsize (Kb) 2816

[startup+1130.07 s]
Raw data (loadavg): 1.07 1.04 0.95 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 321 0 0 0 93024 6898 0 0 16 0 1 0 1860016311 2883584 287 4294967295 134512640 134578447 3221224624 3221223692 134561235 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12358/statm): 704 287 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 999.22
Current children cumulated vsize (Kb) 2816

[startup+1140.07 s]
Raw data (loadavg): 1.14 1.06 0.95 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 321 0 0 0 93815 6972 0 0 16 0 1 0 1860016311 2883584 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 704 287 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1007.87
Current children cumulated vsize (Kb) 2816

[startup+1150.07 s]
Raw data (loadavg): 1.11 1.05 0.95 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 321 0 0 0 94588 7046 0 0 16 0 1 0 1860016311 2883584 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 287 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1016.34
Current children cumulated vsize (Kb) 2816

[startup+1160.07 s]
Raw data (loadavg): 1.10 1.05 0.95 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 322 0 0 0 95362 7121 0 0 16 0 1 0 1860016311 2883584 288 4294967295 134512640 134578447 3221224624 3221223456 134528344 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 288 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1024.83
Current children cumulated vsize (Kb) 2816

[startup+1170.07 s]
Raw data (loadavg): 1.16 1.07 0.96 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 322 0 0 0 96146 7196 0 0 16 0 1 0 1860016311 2883584 288 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 288 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1033.42
Current children cumulated vsize (Kb) 2816

[startup+1180.07 s]
Raw data (loadavg): 1.14 1.06 0.96 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 322 0 0 0 96932 7271 0 0 16 0 1 0 1860016311 2883584 288 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 288 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1042.03
Current children cumulated vsize (Kb) 2816

[startup+1190.07 s]
Raw data (loadavg): 1.11 1.06 0.96 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 323 0 0 0 97725 7341 0 0 16 0 1 0 1860016311 2883584 289 4294967295 134512640 134578447 3221224624 3221223504 134531685 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 289 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1050.66
Current children cumulated vsize (Kb) 2816

[startup+1200.07 s]
Raw data (loadavg): 1.10 1.06 0.96 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 323 0 0 0 98522 7410 0 0 16 0 1 0 1860016311 2883584 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 704 289 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1059.32
Current children cumulated vsize (Kb) 2816

[startup+1210.07 s]
Raw data (loadavg): 1.08 1.06 0.96 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 323 0 0 0 99315 7479 0 0 16 0 1 0 1860016311 2883584 289 4294967295 134512640 134578447 3221224624 3221223504 134527739 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 289 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1067.94
Current children cumulated vsize (Kb) 2816

[startup+1220.07 s]
Raw data (loadavg): 1.07 1.05 0.96 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 323 0 0 0 100105 7554 0 0 16 0 1 0 1860016311 2883584 289 4294967295 134512640 134578447 3221224624 3221223340 1075285229 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 289 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1076.59
Current children cumulated vsize (Kb) 2816

[startup+1230.08 s]
Raw data (loadavg): 1.06 1.05 0.96 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 323 0 0 0 100905 7621 0 0 16 0 1 0 1860016311 2883584 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 704 289 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1085.26
Current children cumulated vsize (Kb) 2816

[startup+1240.08 s]
Raw data (loadavg): 1.12 1.07 0.96 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 323 0 0 0 101698 7694 0 0 16 0 1 0 1860016311 2883584 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 289 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1093.92
Current children cumulated vsize (Kb) 2816

[startup+1250.08 s]
Raw data (loadavg): 1.18 1.08 0.97 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 323 0 0 0 102475 7771 0 0 16 0 1 0 1860016311 2883584 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 289 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1102.46
Current children cumulated vsize (Kb) 2816

[startup+1260.08 s]
Raw data (loadavg): 1.15 1.08 0.97 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 323 0 0 0 103274 7840 0 0 16 0 1 0 1860016311 2883584 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 289 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1111.14
Current children cumulated vsize (Kb) 2816

[startup+1270.08 s]
Raw data (loadavg): 1.13 1.07 0.97 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 323 0 0 0 104058 7912 0 0 16 0 1 0 1860016311 2883584 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 289 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1119.7
Current children cumulated vsize (Kb) 2816

[startup+1280.08 s]
Raw data (loadavg): 1.11 1.07 0.97 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 323 0 0 0 104801 7997 0 0 16 0 1 0 1860016311 2883584 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12358/statm): 704 289 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1127.98
Current children cumulated vsize (Kb) 2816

[startup+1290.08 s]
Raw data (loadavg): 1.09 1.07 0.97 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 324 0 0 0 105571 8073 0 0 16 0 1 0 1860016311 2883584 290 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 290 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1136.44
Current children cumulated vsize (Kb) 2816

[startup+1300.08 s]
Raw data (loadavg): 1.08 1.06 0.97 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 325 0 0 0 106346 8149 0 0 16 0 1 0 1860016311 2883584 291 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 291 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1144.95
Current children cumulated vsize (Kb) 2816

[startup+1310.08 s]
Raw data (loadavg): 1.06 1.06 0.97 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 325 0 0 0 107122 8227 0 0 16 0 1 0 1860016311 2883584 291 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12358/statm): 704 291 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1153.49
Current children cumulated vsize (Kb) 2816

[startup+1320.08 s]
Raw data (loadavg): 1.05 1.06 0.97 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 325 0 0 0 107901 8304 0 0 16 0 1 0 1860016311 2883584 291 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12358/statm): 704 291 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1162.05
Current children cumulated vsize (Kb) 2816

[startup+1330.08 s]
Raw data (loadavg): 1.05 1.06 0.97 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 325 0 0 0 108664 8384 0 0 16 0 1 0 1860016311 2883584 291 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 291 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1170.48
Current children cumulated vsize (Kb) 2816

[startup+1340.08 s]
Raw data (loadavg): 1.04 1.05 0.97 2/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) R 12357 12358 5245 0 -1 0 326 0 0 0 109453 8454 0 0 16 0 1 0 1860016311 2883584 292 4294967295 134512640 134578447 3221224624 3221223456 134558435 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 292 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1179.07
Current children cumulated vsize (Kb) 2816

[startup+1350.08 s]
Raw data (loadavg): 1.03 1.05 0.97 1/56 12358
Raw data (/proc/12358/stat): 12358 (Pueblo) T 12357 12358 5245 0 -1 0 326 0 0 0 110241 8529 0 0 16 0 1 0 1860016311 2883584 292 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12358/statm): 704 292 566 18 0 686 0
[pid=12358] vsize: 2816
Current children cumulated CPU time (s) 1187.7
Current children cumulated vsize (Kb) 2816
One traced child (pid=12358) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1351.62
CPU time (s): 1189.01
CPU user time (s): 1103.6
CPU system time (s): 85.405
CPU usage (%): 87.969
Max. virtual memory (cumulated for all children) (Kb): 2816

Verifier Data

Verifier:	OK	-3888