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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos5.opb
MD5SUM4f5f6e30a602f3968daa9ca41c7da043
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1984
Optimality of the best value was proved NO
Number of terms in the objective function 133
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 9334
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 9334
Number of bits of the biggest sum of numbers14
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.14
Number of variables133
Total number of constraints126
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)56
Number of constraints which are nor clauses,nor cardinality constraints70
Minimum length of a constraint1
Maximum length of a constraint81

Trace number 8698

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        864292 kB
Buffers:         34272 kB
Cached:         107080 kB
SwapCached:        700 kB
Active:          74124 kB
Inactive:        69844 kB
HighTotal:      131008 kB
HighFree:        21168 kB
LowTotal:       903652 kB
LowFree:        843124 kB
SwapTotal:     2097136 kB
SwapFree:      2095936 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5752 kB
Slab:            20692 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 18:07:15 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5804 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: 133 - #constraints read: 127
c total time              : 1189 s
s SATISFIABLE
v -d1_bit0 d2_bit0 -d3_bit0 d4_bit0 d5_bit0 -d6_bit0 -d7_bit0 -d8_bit0 -d9_bit0 -d10_bit0 -d11_bit0 -d12_bit0 -d13_bit0 -d14_bit0 -d15_bit0 -d16_bit0 d17_bit0 -d18_bit0 -d19_bit0 -d20_bit0 d21_bit0 -d22_bit0 -d23_bit0 d24_bit0 -d25_bit0 d26_bit0 -d27_bit0 -d28_bit0 -d29_bit0 d30_bit0 -d31_bit0 -d32_bit0 -d33_bit0 d34_bit0 d35_bit0 -d36_bit0 d37_bit0 d38_bit0 d39_bit0 -d40_bit0 -d41_bit0 -d42_bit0 -d43_bit0 -d44_bit0 -d45_bit0 -d46_bit0 -d47_bit0 -d48_bit0 d49_bit0 d50_bit0 -d51_bit0 -d52_bit0 d53_bit0 -d54_bit_7 -d54_bit_6 -d54_bit_5 -d54_bit_4 -d54_bit_3 -d54_bit_2 -d54_bit_1 -d54_bit0 -d55_bit_7 -d55_bit_6 -d55_bit_5 -d55_bit_4 -d55_bit_3 -d55_bit_2 -d55_bit_1 -d55_bit0 -d56_bit_7 -d56_bit_6 -d56_bit_5 -d56_bit_4 -d56_bit_3 -d56_bit_2 -d56_bit_1 d56_bit0 -d57_bit_7 -d57_bit_6 -d57_bit_5 -d57_bit_4 -d57_bit_3 -d57_bit_2 -d57_bit_1 -d57_bit0 -d58_bit_7 -d58_bit_6 -d58_bit_5 -d58_bit_4 -d58_bit_3 -d58_bit_2 -d58_bit_1 -d58_bit0 -d59_bit_7 -d59_bit_6 -d59_bit_5 -d59_bit_4 -d59_bit_3 -d59_bit_2 -d59_bit_1 -d59_bit0 -d60_bit_7 -d60_bit_6 -d60_bit_5 -d60_bit_4 -d60_bit_3 -d60_bit_2 -d60_bit_1 -d60_bit0 -d61_bit_7 -d61_bit_6 -d61_bit_5 -d61_bit_4 -d61_bit_3 -d61_bit_2 -d61_bit_1 -d61_bit0 -d62_bit_7 -d62_bit_6 -d62_bit_5 -d62_bit_4 -d62_bit_3 -d62_bit_2 -d62_bit_1 -d62_bit0 -d63_bit_7 -d63_bit_6 -d63_bit_5 -d63_bit_4 -d63_bit_3 -d63_bit_2 -d63_bit_1 -d63_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/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1802237018 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 41 3 40 18 0 23 0
[pid=4679] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0031 s]
Raw data (loadavg): 0.88 0.97 0.91 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 374 0 0 0 834 54 0 0 20 0 1 0 1802237018 3031040 340 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 740 340 566 18 0 722 0
[pid=4679] vsize: 2960
Current children cumulated CPU time (s) 8.88
Current children cumulated vsize (Kb) 2960

[startup+20.0037 s]
Raw data (loadavg): 0.90 0.97 0.91 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 406 0 0 0 1693 102 0 0 25 0 1 0 1802237018 3162112 372 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 772 372 566 18 0 754 0
[pid=4679] vsize: 3088
Current children cumulated CPU time (s) 17.95
Current children cumulated vsize (Kb) 3088

[startup+30.0034 s]
Raw data (loadavg): 0.91 0.97 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 431 0 0 0 2557 148 0 0 25 0 1 0 1802237018 3293184 397 4294967295 134512640 134578447 3221224624 3221223504 134527793 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 804 397 566 18 0 786 0
[pid=4679] vsize: 3216
Current children cumulated CPU time (s) 27.05
Current children cumulated vsize (Kb) 3216

[startup+40.004 s]
Raw data (loadavg): 0.93 0.97 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 445 0 0 0 3473 177 0 0 25 0 1 0 1802237018 3293184 411 4294967295 134512640 134578447 3221224624 3221223616 1074910624 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 804 411 566 18 0 786 0
[pid=4679] vsize: 3216
Current children cumulated CPU time (s) 36.5
Current children cumulated vsize (Kb) 3216

[startup+50.0047 s]
Raw data (loadavg): 0.94 0.97 0.91 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 447 0 0 0 4408 201 0 0 25 0 1 0 1802237018 3420160 413 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 835 413 566 18 0 817 0
[pid=4679] vsize: 3340
Current children cumulated CPU time (s) 46.09
Current children cumulated vsize (Kb) 3340

[startup+60.0043 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 454 0 0 0 5336 227 0 0 25 0 1 0 1802237018 3420160 420 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 835 420 566 18 0 817 0
[pid=4679] vsize: 3340
Current children cumulated CPU time (s) 55.63
Current children cumulated vsize (Kb) 3340

[startup+70.005 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 454 0 0 0 6234 264 0 0 24 0 1 0 1802237018 3420160 420 4294967295 134512640 134578447 3221224624 3221223504 134527790 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 835 420 566 18 0 817 0
[pid=4679] vsize: 3340
Current children cumulated CPU time (s) 64.98
Current children cumulated vsize (Kb) 3340

[startup+80.0056 s]
Raw data (loadavg): 0.96 0.97 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 470 0 0 0 7103 309 0 0 25 0 1 0 1802237018 3420160 436 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 835 436 566 18 0 817 0
[pid=4679] vsize: 3340
Current children cumulated CPU time (s) 74.12
Current children cumulated vsize (Kb) 3340

[startup+90.0063 s]
Raw data (loadavg): 0.97 0.97 0.91 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 470 0 0 0 8006 342 0 0 25 0 1 0 1802237018 3420160 436 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 835 436 566 18 0 817 0
[pid=4679] vsize: 3340
Current children cumulated CPU time (s) 83.48
Current children cumulated vsize (Kb) 3340

[startup+100.007 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 473 0 0 0 8902 380 0 0 25 0 1 0 1802237018 3420160 439 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 835 439 566 18 0 817 0
[pid=4679] vsize: 3340
Current children cumulated CPU time (s) 92.82
Current children cumulated vsize (Kb) 3340

[startup+110.008 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 482 0 0 0 9811 412 0 0 25 0 1 0 1802237018 3551232 448 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 867 448 566 18 0 849 0
[pid=4679] vsize: 3468
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (Kb) 3468

[startup+120.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 491 0 0 0 10724 443 0 0 25 0 1 0 1802237018 3551232 457 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 867 457 566 18 0 849 0
[pid=4679] vsize: 3468
Current children cumulated CPU time (s) 111.67
Current children cumulated vsize (Kb) 3468

[startup+130.009 s]
Raw data (loadavg): 1.06 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 491 0 0 0 11646 471 0 0 25 0 1 0 1802237018 3551232 457 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 867 457 566 18 0 849 0
[pid=4679] vsize: 3468
Current children cumulated CPU time (s) 121.17
Current children cumulated vsize (Kb) 3468

[startup+140.01 s]
Raw data (loadavg): 1.05 0.99 0.91 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 491 0 0 0 12561 502 0 0 25 0 1 0 1802237018 3551232 457 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 867 457 566 18 0 849 0
[pid=4679] vsize: 3468
Current children cumulated CPU time (s) 130.63
Current children cumulated vsize (Kb) 3468

[startup+150.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 491 0 0 0 13478 533 0 0 25 0 1 0 1802237018 3551232 457 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 867 457 566 18 0 849 0
[pid=4679] vsize: 3468
Current children cumulated CPU time (s) 140.11
Current children cumulated vsize (Kb) 3468

[startup+160.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 491 0 0 0 14331 582 0 0 25 0 1 0 1802237018 3551232 457 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 867 457 566 18 0 849 0
[pid=4679] vsize: 3468
Current children cumulated CPU time (s) 149.13
Current children cumulated vsize (Kb) 3468

[startup+170.011 s]
Raw data (loadavg): 1.03 0.99 0.91 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 491 0 0 0 15191 632 0 0 25 0 1 0 1802237018 3551232 457 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 867 457 566 18 0 849 0
[pid=4679] vsize: 3468
Current children cumulated CPU time (s) 158.23
Current children cumulated vsize (Kb) 3468

[startup+180.011 s]
Raw data (loadavg): 1.02 0.99 0.91 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 502 0 0 0 16043 686 0 0 25 0 1 0 1802237018 3551232 468 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 867 468 566 18 0 849 0
[pid=4679] vsize: 3468
Current children cumulated CPU time (s) 167.29
Current children cumulated vsize (Kb) 3468

[startup+190.013 s]
Raw data (loadavg): 1.02 0.99 0.91 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 506 0 0 0 16900 734 0 0 19 0 1 0 1802237018 3551232 472 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 867 472 566 18 0 849 0
[pid=4679] vsize: 3468
Current children cumulated CPU time (s) 176.34
Current children cumulated vsize (Kb) 3468

[startup+200.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 520 0 0 0 17771 775 0 0 20 0 1 0 1802237018 3649536 486 4294967295 134512640 134578447 3221224624 3221223456 134528451 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 891 486 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 185.46
Current children cumulated vsize (Kb) 3564

[startup+210.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 522 0 0 0 18651 816 0 0 25 0 1 0 1802237018 3649536 488 4294967295 134512640 134578447 3221224624 3221223488 134517879 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 891 488 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 194.67
Current children cumulated vsize (Kb) 3564

[startup+220.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 522 0 0 0 19582 841 0 0 25 0 1 0 1802237018 3649536 488 4294967295 134512640 134578447 3221224624 3221223568 134558739 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 891 488 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 204.23
Current children cumulated vsize (Kb) 3564

[startup+230.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 522 0 0 0 20499 873 0 0 25 0 1 0 1802237018 3649536 488 4294967295 134512640 134578447 3221224624 3221223472 134520233 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 891 488 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 213.72
Current children cumulated vsize (Kb) 3564

[startup+240.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 522 0 0 0 21410 905 0 0 25 0 1 0 1802237018 3649536 488 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 891 488 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 223.15
Current children cumulated vsize (Kb) 3564

[startup+250.016 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 522 0 0 0 22311 938 0 0 25 0 1 0 1802237018 3649536 488 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 891 488 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 232.49
Current children cumulated vsize (Kb) 3564

[startup+260.016 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 522 0 0 0 23217 969 0 0 25 0 1 0 1802237018 3649536 488 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 891 488 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 241.86
Current children cumulated vsize (Kb) 3564

[startup+270.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 522 0 0 0 24121 1002 0 0 25 0 1 0 1802237018 3649536 488 4294967295 134512640 134578447 3221224624 3221223456 134528611 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 891 488 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 251.23
Current children cumulated vsize (Kb) 3564

[startup+280.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 522 0 0 0 25022 1035 0 0 25 0 1 0 1802237018 3649536 488 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 891 488 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 260.57
Current children cumulated vsize (Kb) 3564

[startup+290.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 522 0 0 0 25926 1069 0 0 25 0 1 0 1802237018 3649536 488 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 891 488 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 269.95
Current children cumulated vsize (Kb) 3564

[startup+300.019 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 522 0 0 0 26837 1100 0 0 20 0 1 0 1802237018 3649536 488 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 891 488 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 279.37
Current children cumulated vsize (Kb) 3564

[startup+310.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 522 0 0 0 27754 1132 0 0 25 0 1 0 1802237018 3649536 488 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 891 488 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 288.86
Current children cumulated vsize (Kb) 3564

[startup+320.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 522 0 0 0 28667 1164 0 0 25 0 1 0 1802237018 3649536 488 4294967295 134512640 134578447 3221224624 3221223572 134558732 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 891 488 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 298.31
Current children cumulated vsize (Kb) 3564

[startup+330.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 522 0 0 0 29594 1188 0 0 25 0 1 0 1802237018 3649536 488 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 891 488 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 307.82
Current children cumulated vsize (Kb) 3564

[startup+340.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 522 0 0 0 30520 1215 0 0 25 0 1 0 1802237018 3649536 488 4294967295 134512640 134578447 3221224624 3221223536 134556812 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 891 488 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 317.35
Current children cumulated vsize (Kb) 3564

[startup+350.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 522 0 0 0 31444 1240 0 0 25 0 1 0 1802237018 3649536 488 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 891 488 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 326.84
Current children cumulated vsize (Kb) 3564

[startup+360.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 522 0 0 0 32376 1262 0 0 25 0 1 0 1802237018 3649536 488 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 891 488 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 336.38
Current children cumulated vsize (Kb) 3564

[startup+370.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 522 0 0 0 33307 1285 0 0 25 0 1 0 1802237018 3649536 488 4294967295 134512640 134578447 3221224624 3221223312 1075290883 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 891 488 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 345.92
Current children cumulated vsize (Kb) 3564

[startup+380.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 522 0 0 0 34229 1312 0 0 25 0 1 0 1802237018 3649536 488 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 891 488 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 355.41
Current children cumulated vsize (Kb) 3564

[startup+390.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 522 0 0 0 35157 1335 0 0 25 0 1 0 1802237018 3649536 488 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 891 488 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 364.92
Current children cumulated vsize (Kb) 3564

[startup+400.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 522 0 0 0 36083 1361 0 0 25 0 1 0 1802237018 3649536 488 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 891 488 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 374.44
Current children cumulated vsize (Kb) 3564

[startup+410.024 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 522 0 0 0 37009 1387 0 0 25 0 1 0 1802237018 3649536 488 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 891 488 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 383.96
Current children cumulated vsize (Kb) 3564

[startup+420.025 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 530 0 0 0 37935 1414 0 0 25 0 1 0 1802237018 3649536 496 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 891 496 566 18 0 873 0
[pid=4679] vsize: 3564
Current children cumulated CPU time (s) 393.49
Current children cumulated vsize (Kb) 3564

[startup+430.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 534 0 0 0 38861 1437 0 0 25 0 1 0 1802237018 3776512 500 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 922 500 566 18 0 904 0
[pid=4679] vsize: 3688
Current children cumulated CPU time (s) 402.98
Current children cumulated vsize (Kb) 3688

[startup+440.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 537 0 0 0 39789 1464 0 0 22 0 1 0 1802237018 3776512 503 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 922 503 566 18 0 904 0
[pid=4679] vsize: 3688
Current children cumulated CPU time (s) 412.53
Current children cumulated vsize (Kb) 3688

[startup+450.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 540 0 0 0 40721 1489 0 0 25 0 1 0 1802237018 3776512 506 4294967295 134512640 134578447 3221224624 3221223456 134527257 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 922 506 566 18 0 904 0
[pid=4679] vsize: 3688
Current children cumulated CPU time (s) 422.1
Current children cumulated vsize (Kb) 3688

[startup+460.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 548 0 0 0 41651 1512 0 0 21 0 1 0 1802237018 3776512 514 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 922 514 566 18 0 904 0
[pid=4679] vsize: 3688
Current children cumulated CPU time (s) 431.63
Current children cumulated vsize (Kb) 3688

[startup+470.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 551 0 0 0 42566 1541 0 0 25 0 1 0 1802237018 3776512 517 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 922 517 566 18 0 904 0
[pid=4679] vsize: 3688
Current children cumulated CPU time (s) 441.07
Current children cumulated vsize (Kb) 3688

[startup+480.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 551 0 0 0 43499 1565 0 0 25 0 1 0 1802237018 3776512 517 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 922 517 566 18 0 904 0
[pid=4679] vsize: 3688
Current children cumulated CPU time (s) 450.64
Current children cumulated vsize (Kb) 3688

[startup+490.027 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 551 0 0 0 44440 1587 0 0 25 0 1 0 1802237018 3776512 517 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 922 517 566 18 0 904 0
[pid=4679] vsize: 3688
Current children cumulated CPU time (s) 460.27
Current children cumulated vsize (Kb) 3688

[startup+500.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 551 0 0 0 45378 1608 0 0 23 0 1 0 1802237018 3776512 517 4294967295 134512640 134578447 3221224624 3221223504 134527728 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 922 517 566 18 0 904 0
[pid=4679] vsize: 3688
Current children cumulated CPU time (s) 469.86
Current children cumulated vsize (Kb) 3688

[startup+510.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 554 0 0 0 46318 1628 0 0 25 0 1 0 1802237018 3776512 520 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 922 520 566 18 0 904 0
[pid=4679] vsize: 3688
Current children cumulated CPU time (s) 479.46
Current children cumulated vsize (Kb) 3688

[startup+520.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 558 0 0 0 47254 1649 0 0 25 0 1 0 1802237018 3776512 524 4294967295 134512640 134578447 3221224624 3221223504 134527565 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 922 524 566 18 0 904 0
[pid=4679] vsize: 3688
Current children cumulated CPU time (s) 489.03
Current children cumulated vsize (Kb) 3688

[startup+530.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 559 0 0 0 48190 1673 0 0 23 0 1 0 1802237018 3776512 525 4294967295 134512640 134578447 3221224624 3221223504 134527861 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 922 525 566 18 0 904 0
[pid=4679] vsize: 3688
Current children cumulated CPU time (s) 498.63
Current children cumulated vsize (Kb) 3688

[startup+540.03 s]
Raw data (loadavg): 1.08 1.00 0.92 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 559 0 0 0 49127 1696 0 0 25 0 1 0 1802237018 3776512 525 4294967295 134512640 134578447 3221224624 3221223456 134558319 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 922 525 566 18 0 904 0
[pid=4679] vsize: 3688
Current children cumulated CPU time (s) 508.23
Current children cumulated vsize (Kb) 3688

[startup+550.03 s]
Raw data (loadavg): 1.07 1.00 0.92 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 567 0 0 0 50065 1717 0 0 25 0 1 0 1802237018 3907584 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 954 533 566 18 0 936 0
[pid=4679] vsize: 3816
Current children cumulated CPU time (s) 517.82
Current children cumulated vsize (Kb) 3816

[startup+560.03 s]
Raw data (loadavg): 1.06 1.00 0.92 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 567 0 0 0 50947 1757 0 0 25 0 1 0 1802237018 3907584 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 954 533 566 18 0 936 0
[pid=4679] vsize: 3816
Current children cumulated CPU time (s) 527.04
Current children cumulated vsize (Kb) 3816

[startup+570.031 s]
Raw data (loadavg): 1.05 1.00 0.92 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 572 0 0 0 51835 1795 0 0 25 0 1 0 1802237018 3907584 538 4294967295 134512640 134578447 3221224624 3221223536 134557429 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 954 538 566 18 0 936 0
[pid=4679] vsize: 3816
Current children cumulated CPU time (s) 536.3
Current children cumulated vsize (Kb) 3816

[startup+580.031 s]
Raw data (loadavg): 1.04 1.00 0.92 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 573 0 0 0 52718 1835 0 0 25 0 1 0 1802237018 3907584 539 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 954 539 566 18 0 936 0
[pid=4679] vsize: 3816
Current children cumulated CPU time (s) 545.53
Current children cumulated vsize (Kb) 3816

[startup+590.032 s]
Raw data (loadavg): 1.03 1.00 0.92 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 585 0 0 0 53609 1872 0 0 25 0 1 0 1802237018 3907584 551 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 954 551 566 18 0 936 0
[pid=4679] vsize: 3816
Current children cumulated CPU time (s) 554.81
Current children cumulated vsize (Kb) 3816

[startup+600.033 s]
Raw data (loadavg): 1.03 1.00 0.92 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 598 0 0 0 54499 1910 0 0 19 0 1 0 1802237018 3997696 564 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 976 564 566 18 0 958 0
[pid=4679] vsize: 3904
Current children cumulated CPU time (s) 564.09
Current children cumulated vsize (Kb) 3904

[startup+610.033 s]
Raw data (loadavg): 1.02 1.00 0.92 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 598 0 0 0 55401 1946 0 0 23 0 1 0 1802237018 3997696 564 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 976 564 566 18 0 958 0
[pid=4679] vsize: 3904
Current children cumulated CPU time (s) 573.47
Current children cumulated vsize (Kb) 3904

[startup+620.034 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 598 0 0 0 56309 1978 0 0 25 0 1 0 1802237018 3997696 564 4294967295 134512640 134578447 3221224624 3221223504 134527728 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 976 564 566 18 0 958 0
[pid=4679] vsize: 3904
Current children cumulated CPU time (s) 582.87
Current children cumulated vsize (Kb) 3904

[startup+630.034 s]
Raw data (loadavg): 1.02 1.00 0.92 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 598 0 0 0 57231 2006 0 0 17 0 1 0 1802237018 3997696 564 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 976 564 566 18 0 958 0
[pid=4679] vsize: 3904
Current children cumulated CPU time (s) 592.37
Current children cumulated vsize (Kb) 3904

[startup+640.034 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 598 0 0 0 58155 2034 0 0 25 0 1 0 1802237018 3997696 564 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 976 564 566 18 0 958 0
[pid=4679] vsize: 3904
Current children cumulated CPU time (s) 601.89
Current children cumulated vsize (Kb) 3904

[startup+650.035 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 598 0 0 0 59072 2064 0 0 25 0 1 0 1802237018 3997696 564 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 976 564 566 18 0 958 0
[pid=4679] vsize: 3904
Current children cumulated CPU time (s) 611.36
Current children cumulated vsize (Kb) 3904

[startup+660.034 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 598 0 0 0 60000 2088 0 0 25 0 1 0 1802237018 3997696 564 4294967295 134512640 134578447 3221224624 3221223472 134520396 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 976 564 566 18 0 958 0
[pid=4679] vsize: 3904
Current children cumulated CPU time (s) 620.88
Current children cumulated vsize (Kb) 3904

[startup+670.035 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 598 0 0 0 60925 2116 0 0 25 0 1 0 1802237018 3997696 564 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 976 564 566 18 0 958 0
[pid=4679] vsize: 3904
Current children cumulated CPU time (s) 630.41
Current children cumulated vsize (Kb) 3904

[startup+680.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 598 0 0 0 61839 2146 0 0 25 0 1 0 1802237018 3997696 564 4294967295 134512640 134578447 3221224624 3221223504 134527790 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 976 564 566 18 0 958 0
[pid=4679] vsize: 3904
Current children cumulated CPU time (s) 639.85
Current children cumulated vsize (Kb) 3904

[startup+690.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 598 0 0 0 62763 2173 0 0 25 0 1 0 1802237018 3997696 564 4294967295 134512640 134578447 3221224624 3221223472 134520270 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 976 564 566 18 0 958 0
[pid=4679] vsize: 3904
Current children cumulated CPU time (s) 649.36
Current children cumulated vsize (Kb) 3904

[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 605 0 0 0 63697 2196 0 0 25 0 1 0 1802237018 3997696 571 4294967295 134512640 134578447 3221224624 3221223504 134528064 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 976 571 566 18 0 958 0
[pid=4679] vsize: 3904
Current children cumulated CPU time (s) 658.93
Current children cumulated vsize (Kb) 3904

[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 610 0 0 0 64624 2222 0 0 25 0 1 0 1802237018 3997696 576 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 976 576 566 18 0 958 0
[pid=4679] vsize: 3904
Current children cumulated CPU time (s) 668.46
Current children cumulated vsize (Kb) 3904

[startup+720.037 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 624 0 0 0 65564 2242 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 678.06
Current children cumulated vsize (Kb) 4000

[startup+730.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 66495 2269 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 687.64
Current children cumulated vsize (Kb) 4000

[startup+740.039 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 624 0 0 0 67413 2298 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 697.11
Current children cumulated vsize (Kb) 4000

[startup+750.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 68328 2330 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223456 134528522 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 706.58
Current children cumulated vsize (Kb) 4000

[startup+760.039 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 624 0 0 0 69241 2360 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 716.01
Current children cumulated vsize (Kb) 4000

[startup+770.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 70169 2387 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 725.56
Current children cumulated vsize (Kb) 4000

[startup+780.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 71089 2413 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223504 134527793 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 735.02
Current children cumulated vsize (Kb) 4000

[startup+790.041 s]
Raw data (loadavg): 1.00 1.00 0.92 1/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 624 0 0 0 72017 2438 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 744.55
Current children cumulated vsize (Kb) 4000

[startup+800.042 s]
Raw data (loadavg): 1.07 1.02 0.93 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 72935 2468 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 754.03
Current children cumulated vsize (Kb) 4000

[startup+810.042 s]
Raw data (loadavg): 1.06 1.02 0.93 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 73881 2486 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223504 134527782 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 763.67
Current children cumulated vsize (Kb) 4000

[startup+820.043 s]
Raw data (loadavg): 1.05 1.01 0.93 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 74819 2509 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 773.28
Current children cumulated vsize (Kb) 4000

[startup+830.044 s]
Raw data (loadavg): 1.04 1.01 0.93 2/56 4679
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 75772 2525 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 782.97
Current children cumulated vsize (Kb) 4000

[startup+840.043 s]
Raw data (loadavg): 1.04 1.01 0.93 2/60 4722
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 76683 2557 0 0 21 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 792.4
Current children cumulated vsize (Kb) 4000

[startup+850.044 s]
Raw data (loadavg): 1.03 1.01 0.93 2/56 4734
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 77602 2584 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223536 134556775 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 801.86
Current children cumulated vsize (Kb) 4000

[startup+860.044 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 4734
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 78533 2608 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 811.41
Current children cumulated vsize (Kb) 4000

[startup+870.044 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 4734
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 79438 2640 0 0 21 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 820.78
Current children cumulated vsize (Kb) 4000

[startup+880.045 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 4734
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 80348 2667 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 830.15
Current children cumulated vsize (Kb) 4000

[startup+890.044 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 4734
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 81231 2708 0 0 23 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223288 1075291317 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 839.39
Current children cumulated vsize (Kb) 4000

[startup+900.045 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 4734
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 82136 2741 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 848.77
Current children cumulated vsize (Kb) 4000

[startup+910.046 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 4736
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 83053 2771 0 0 21 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223504 134531685 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 858.24
Current children cumulated vsize (Kb) 4000

[startup+920.047 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 83965 2801 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 867.66
Current children cumulated vsize (Kb) 4000

[startup+930.046 s]
Raw data (loadavg): 1.01 1.00 0.93 1/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 624 0 0 0 84869 2835 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 877.04
Current children cumulated vsize (Kb) 4000

[startup+940.046 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 624 0 0 0 85774 2872 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 886.46
Current children cumulated vsize (Kb) 4000

[startup+950.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 86655 2917 0 0 22 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 895.72
Current children cumulated vsize (Kb) 4000

[startup+960.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 87556 2952 0 0 24 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223480 1075285473 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 905.08
Current children cumulated vsize (Kb) 4000

[startup+970.047 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 624 0 0 0 88459 2984 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 914.43
Current children cumulated vsize (Kb) 4000

[startup+980.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 89359 3022 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 923.81
Current children cumulated vsize (Kb) 4000

[startup+990.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 90218 3075 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223456 134528315 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 932.93
Current children cumulated vsize (Kb) 4000

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 624 0 0 0 91073 3124 0 0 19 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (Kb) 4000

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 91928 3174 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223368 1075285678 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 951.02
Current children cumulated vsize (Kb) 4000

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 624 0 0 0 92786 3226 0 0 21 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 960.12
Current children cumulated vsize (Kb) 4000

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 93637 3281 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223536 134556947 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 969.18
Current children cumulated vsize (Kb) 4000

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 94491 3332 0 0 24 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 978.23
Current children cumulated vsize (Kb) 4000

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 95341 3383 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223424 134531750 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 987.24
Current children cumulated vsize (Kb) 4000

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 96191 3436 0 0 23 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223664 134531685 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 996.27
Current children cumulated vsize (Kb) 4000

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 97039 3488 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223536 134557824 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 1005.27
Current children cumulated vsize (Kb) 4000

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 624 0 0 0 97871 3547 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 1014.18
Current children cumulated vsize (Kb) 4000

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 98723 3600 0 0 24 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223404 134528802 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 1023.23
Current children cumulated vsize (Kb) 4000

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 99563 3651 0 0 23 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 1032.14
Current children cumulated vsize (Kb) 4000

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 624 0 0 0 100406 3706 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 1041.12
Current children cumulated vsize (Kb) 4000

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 624 0 0 0 101292 3746 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 1050.38
Current children cumulated vsize (Kb) 4000

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 102166 3792 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 1059.58
Current children cumulated vsize (Kb) 4000

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 624 0 0 0 103046 3832 0 0 17 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 1068.78
Current children cumulated vsize (Kb) 4000

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 624 0 0 0 103963 3862 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 1078.25
Current children cumulated vsize (Kb) 4000

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 104862 3897 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223504 134531684 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 1087.59
Current children cumulated vsize (Kb) 4000

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 105753 3937 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 1096.9
Current children cumulated vsize (Kb) 4000

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 624 0 0 0 106667 3968 0 0 25 0 1 0 1802237018 4096000 590 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1000 590 566 18 0 982 0
[pid=4679] vsize: 4000
Current children cumulated CPU time (s) 1106.35
Current children cumulated vsize (Kb) 4000

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 646 0 0 0 107575 4001 0 0 25 0 1 0 1802237018 4227072 612 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1032 612 566 18 0 1014 0
[pid=4679] vsize: 4128
Current children cumulated CPU time (s) 1115.76
Current children cumulated vsize (Kb) 4128

[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 651 0 0 0 108465 4039 0 0 17 0 1 0 1802237018 4227072 617 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/4679/statm): 1032 617 566 18 0 1014 0
[pid=4679] vsize: 4128
Current children cumulated CPU time (s) 1125.04
Current children cumulated vsize (Kb) 4128

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 4738
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 652 0 0 0 109369 4074 0 0 25 0 1 0 1802237018 4227072 618 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1032 618 566 18 0 1014 0
[pid=4679] vsize: 4128
Current children cumulated CPU time (s) 1134.43
Current children cumulated vsize (Kb) 4128

[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4740
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 652 0 0 0 110275 4108 0 0 25 0 1 0 1802237018 4227072 618 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1032 618 566 18 0 1014 0
[pid=4679] vsize: 4128
Current children cumulated CPU time (s) 1143.83
Current children cumulated vsize (Kb) 4128

[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4740
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 652 0 0 0 111191 4141 0 0 25 0 1 0 1802237018 4227072 618 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1032 618 566 18 0 1014 0
[pid=4679] vsize: 4128
Current children cumulated CPU time (s) 1153.32
Current children cumulated vsize (Kb) 4128

[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4740
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 655 0 0 0 112155 4153 0 0 25 0 1 0 1802237018 4227072 621 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1032 621 566 18 0 1014 0
[pid=4679] vsize: 4128
Current children cumulated CPU time (s) 1163.08
Current children cumulated vsize (Kb) 4128

[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 4740
Raw data (/proc/4679/stat): 4679 (Pueblo) R 4678 4679 1333 0 -1 0 655 0 0 0 113109 4170 0 0 25 0 1 0 1802237018 4227072 621 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4679/statm): 1032 621 566 18 0 1014 0
[pid=4679] vsize: 4128
Current children cumulated CPU time (s) 1172.79
Current children cumulated vsize (Kb) 4128

[startup+1260.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 4740
Raw data (/proc/4679/stat): 4679 (Pueblo) T 4678 4679 1333 0 -1 0 656 0 0 0 114067 4184 0 0 25 0 1 0 1802237018 4227072 622 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/4679/statm): 1032 622 566 18 0 1014 0
[pid=4679] vsize: 4128
Current children cumulated CPU time (s) 1182.51
Current children cumulated vsize (Kb) 4128
One traced child (pid=4679) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1266.73
CPU time (s): 1189.01
CPU user time (s): 1147.07
CPU system time (s): 41.9366
CPU usage (%): 93.8644
Max. virtual memory (cumulated for all children) (Kb): 4128

Verifier Data

Verifier:	OK	2176