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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-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 benchmark1227.4
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 8149

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        743016 kB
Buffers:         39408 kB
Cached:         224544 kB
SwapCached:        228 kB
Active:          88000 kB
Inactive:       178860 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        742764 kB
SwapTotal:     2097136 kB
SwapFree:      2096756 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6292 kB
Slab:            19084 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 16:01:35 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5228 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/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801491306 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 41 3 40 18 0 23 0
[pid=23582] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0041 s]
Raw data (loadavg): 0.76 0.90 0.89 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 289 0 0 0 832 55 0 0 24 0 1 0 1801491306 2768896 255 4294967295 134512640 134578447 3221224624 3221223456 134528344 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 255 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 8.87
Current children cumulated vsize (Kb) 2704

[startup+20.0046 s]
Raw data (loadavg): 0.80 0.90 0.89 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 289 0 0 0 1671 109 0 0 24 0 1 0 1801491306 2768896 255 4294967295 134512640 134578447 3221224624 3221223476 134555904 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 255 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 17.8
Current children cumulated vsize (Kb) 2704

[startup+30.0042 s]
Raw data (loadavg): 0.83 0.91 0.90 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 291 0 0 0 2507 164 0 0 24 0 1 0 1801491306 2768896 257 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 257 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 26.71
Current children cumulated vsize (Kb) 2704

[startup+40.0047 s]
Raw data (loadavg): 0.85 0.91 0.90 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 293 0 0 0 3356 213 0 0 24 0 1 0 1801491306 2768896 259 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23582/statm): 676 259 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 35.69
Current children cumulated vsize (Kb) 2704

[startup+50.0053 s]
Raw data (loadavg): 0.95 0.93 0.90 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 294 0 0 0 4183 271 0 0 24 0 1 0 1801491306 2768896 260 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 260 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 44.54
Current children cumulated vsize (Kb) 2704

[startup+60.0059 s]
Raw data (loadavg): 0.96 0.93 0.90 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 296 0 0 0 5020 322 0 0 24 0 1 0 1801491306 2768896 262 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 262 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 53.42
Current children cumulated vsize (Kb) 2704

[startup+70.0064 s]
Raw data (loadavg): 1.04 0.95 0.91 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 296 0 0 0 5848 382 0 0 24 0 1 0 1801491306 2768896 262 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23582/statm): 676 262 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 62.3
Current children cumulated vsize (Kb) 2704

[startup+80.007 s]
Raw data (loadavg): 1.03 0.95 0.91 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 297 0 0 0 6687 438 0 0 24 0 1 0 1801491306 2768896 263 4294967295 134512640 134578447 3221224624 3221223504 134528079 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 263 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 71.25
Current children cumulated vsize (Kb) 2704

[startup+90.0076 s]
Raw data (loadavg): 1.03 0.95 0.91 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 298 0 0 0 7515 496 0 0 24 0 1 0 1801491306 2768896 264 4294967295 134512640 134578447 3221224624 3221223456 134528488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 264 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 80.11
Current children cumulated vsize (Kb) 2704

[startup+100.007 s]
Raw data (loadavg): 1.02 0.95 0.91 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 299 0 0 0 8346 554 0 0 24 0 1 0 1801491306 2768896 265 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 265 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 89
Current children cumulated vsize (Kb) 2704

[startup+110.008 s]
Raw data (loadavg): 1.09 0.97 0.91 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 300 0 0 0 9196 607 0 0 23 0 1 0 1801491306 2768896 266 4294967295 134512640 134578447 3221224624 3221223456 134528412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 266 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 98.03
Current children cumulated vsize (Kb) 2704

[startup+120.008 s]
Raw data (loadavg): 1.08 0.97 0.91 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 300 0 0 0 10038 658 0 0 25 0 1 0 1801491306 2768896 266 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23582/statm): 676 266 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 106.96
Current children cumulated vsize (Kb) 2704

[startup+130.008 s]
Raw data (loadavg): 1.07 0.97 0.91 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 301 0 0 0 10876 712 0 0 23 0 1 0 1801491306 2768896 267 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 267 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 115.88
Current children cumulated vsize (Kb) 2704

[startup+140.008 s]
Raw data (loadavg): 1.06 0.97 0.91 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 302 0 0 0 11728 759 0 0 25 0 1 0 1801491306 2768896 268 4294967295 134512640 134578447 3221224624 3221223488 134517848 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 268 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 124.87
Current children cumulated vsize (Kb) 2704

[startup+150.009 s]
Raw data (loadavg): 1.05 0.97 0.91 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 304 0 0 0 12579 809 0 0 24 0 1 0 1801491306 2768896 270 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 270 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 133.88
Current children cumulated vsize (Kb) 2704

[startup+160.01 s]
Raw data (loadavg): 1.04 0.97 0.91 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 304 0 0 0 13422 864 0 0 24 0 1 0 1801491306 2768896 270 4294967295 134512640 134578447 3221224624 3221223472 134520273 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 270 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 142.86
Current children cumulated vsize (Kb) 2704

[startup+170.01 s]
Raw data (loadavg): 1.03 0.97 0.91 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 304 0 0 0 14249 925 0 0 24 0 1 0 1801491306 2768896 270 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 270 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 151.74
Current children cumulated vsize (Kb) 2704

[startup+180.011 s]
Raw data (loadavg): 1.03 0.97 0.91 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 304 0 0 0 15074 985 0 0 23 0 1 0 1801491306 2768896 270 4294967295 134512640 134578447 3221224624 3221223456 134528460 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 270 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 160.59
Current children cumulated vsize (Kb) 2704

[startup+190.011 s]
Raw data (loadavg): 1.02 0.97 0.91 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 304 0 0 0 15884 1050 0 0 23 0 1 0 1801491306 2768896 270 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 270 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 169.34
Current children cumulated vsize (Kb) 2704

[startup+200.011 s]
Raw data (loadavg): 1.02 0.97 0.91 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 305 0 0 0 16703 1113 0 0 23 0 1 0 1801491306 2768896 271 4294967295 134512640 134578447 3221224624 3221223376 134528897 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 271 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 178.16
Current children cumulated vsize (Kb) 2704

[startup+210.011 s]
Raw data (loadavg): 1.02 0.97 0.91 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 305 0 0 0 17536 1172 0 0 24 0 1 0 1801491306 2768896 271 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 271 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 187.08
Current children cumulated vsize (Kb) 2704

[startup+220.012 s]
Raw data (loadavg): 1.01 0.97 0.91 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 306 0 0 0 18359 1232 0 0 24 0 1 0 1801491306 2768896 272 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 272 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 195.91
Current children cumulated vsize (Kb) 2704

[startup+230.011 s]
Raw data (loadavg): 1.01 0.97 0.91 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 306 0 0 0 19194 1290 0 0 25 0 1 0 1801491306 2768896 272 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 272 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 204.84
Current children cumulated vsize (Kb) 2704

[startup+240.012 s]
Raw data (loadavg): 1.01 0.97 0.91 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 307 0 0 0 20025 1348 0 0 24 0 1 0 1801491306 2768896 273 4294967295 134512640 134578447 3221224624 3221223472 134520270 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23582/statm): 676 273 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 213.73
Current children cumulated vsize (Kb) 2704

[startup+250.013 s]
Raw data (loadavg): 1.01 0.97 0.91 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 307 0 0 0 20851 1409 0 0 23 0 1 0 1801491306 2768896 273 4294967295 134512640 134578447 3221224624 3221223288 1075291317 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 273 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 222.6
Current children cumulated vsize (Kb) 2704

[startup+260.013 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 308 0 0 0 21665 1476 0 0 23 0 1 0 1801491306 2768896 274 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 274 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 231.41
Current children cumulated vsize (Kb) 2704

[startup+270.013 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 308 0 0 0 22473 1543 0 0 23 0 1 0 1801491306 2768896 274 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 274 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 240.16
Current children cumulated vsize (Kb) 2704

[startup+280.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 308 0 0 0 23292 1603 0 0 24 0 1 0 1801491306 2768896 274 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 274 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 248.95
Current children cumulated vsize (Kb) 2704

[startup+290.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 308 0 0 0 24116 1666 0 0 22 0 1 0 1801491306 2768896 274 4294967295 134512640 134578447 3221224624 3221223536 134557432 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 274 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 257.82
Current children cumulated vsize (Kb) 2704

[startup+300.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 308 0 0 0 24939 1729 0 0 24 0 1 0 1801491306 2768896 274 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 274 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 266.68
Current children cumulated vsize (Kb) 2704

[startup+310.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 308 0 0 0 25758 1791 0 0 23 0 1 0 1801491306 2768896 274 4294967295 134512640 134578447 3221224624 3221223504 134527559 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 274 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 275.49
Current children cumulated vsize (Kb) 2704

[startup+320.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 309 0 0 0 26570 1854 0 0 23 0 1 0 1801491306 2768896 275 4294967295 134512640 134578447 3221224624 3221223584 134559068 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 275 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 284.24
Current children cumulated vsize (Kb) 2704

[startup+330.014 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 310 0 0 0 27398 1911 0 0 24 0 1 0 1801491306 2768896 276 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 276 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 293.09
Current children cumulated vsize (Kb) 2704

[startup+340.015 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 310 0 0 0 28226 1968 0 0 23 0 1 0 1801491306 2768896 276 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 276 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 301.94
Current children cumulated vsize (Kb) 2704

[startup+350.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 310 0 0 0 29049 2028 0 0 20 0 1 0 1801491306 2768896 276 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 276 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 310.77
Current children cumulated vsize (Kb) 2704

[startup+360.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 310 0 0 0 29864 2094 0 0 24 0 1 0 1801491306 2768896 276 4294967295 134512640 134578447 3221224624 3221223476 134555910 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 276 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 319.58
Current children cumulated vsize (Kb) 2704

[startup+370.016 s]
Raw data (loadavg): 1.00 0.97 0.91 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 314 0 0 0 30686 2153 0 0 22 0 1 0 1801491306 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 280 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 328.39
Current children cumulated vsize (Kb) 2704

[startup+380.017 s]
Raw data (loadavg): 1.07 0.99 0.92 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 314 0 0 0 31516 2211 0 0 24 0 1 0 1801491306 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 280 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 337.27
Current children cumulated vsize (Kb) 2704

[startup+390.017 s]
Raw data (loadavg): 1.06 0.99 0.92 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 314 0 0 0 32331 2275 0 0 23 0 1 0 1801491306 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 280 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 346.06
Current children cumulated vsize (Kb) 2704

[startup+400.017 s]
Raw data (loadavg): 1.05 0.99 0.92 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 314 0 0 0 33148 2333 0 0 23 0 1 0 1801491306 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 280 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 354.81
Current children cumulated vsize (Kb) 2704

[startup+410.018 s]
Raw data (loadavg): 1.04 0.99 0.92 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 314 0 0 0 33970 2394 0 0 23 0 1 0 1801491306 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 280 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 363.64
Current children cumulated vsize (Kb) 2704

[startup+420.018 s]
Raw data (loadavg): 1.04 0.99 0.92 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 314 0 0 0 34786 2453 0 0 23 0 1 0 1801491306 2768896 280 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 280 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 372.39
Current children cumulated vsize (Kb) 2704

[startup+430.018 s]
Raw data (loadavg): 1.03 0.99 0.92 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 314 0 0 0 35612 2513 0 0 23 0 1 0 1801491306 2768896 280 4294967295 134512640 134578447 3221224624 3221223456 134528423 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 280 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 381.25
Current children cumulated vsize (Kb) 2704

[startup+440.018 s]
Raw data (loadavg): 1.02 0.99 0.92 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 314 0 0 0 36444 2565 0 0 24 0 1 0 1801491306 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 280 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 390.09
Current children cumulated vsize (Kb) 2704

[startup+450.019 s]
Raw data (loadavg): 1.02 0.99 0.92 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 314 0 0 0 37268 2625 0 0 23 0 1 0 1801491306 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23582/statm): 676 280 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 398.93
Current children cumulated vsize (Kb) 2704

[startup+460.019 s]
Raw data (loadavg): 1.02 0.99 0.92 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 314 0 0 0 38090 2684 0 0 23 0 1 0 1801491306 2768896 280 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 280 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 407.74
Current children cumulated vsize (Kb) 2704

[startup+470.02 s]
Raw data (loadavg): 1.17 1.02 0.93 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 314 0 0 0 38909 2746 0 0 24 0 1 0 1801491306 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 280 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 416.55
Current children cumulated vsize (Kb) 2704

[startup+480.02 s]
Raw data (loadavg): 1.14 1.02 0.93 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 314 0 0 0 39743 2801 0 0 24 0 1 0 1801491306 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 280 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 425.44
Current children cumulated vsize (Kb) 2704

[startup+490.02 s]
Raw data (loadavg): 1.12 1.02 0.93 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 314 0 0 0 40563 2864 0 0 23 0 1 0 1801491306 2768896 280 4294967295 134512640 134578447 3221224624 3221223456 134528362 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 280 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 434.27
Current children cumulated vsize (Kb) 2704

[startup+500.021 s]
Raw data (loadavg): 1.10 1.02 0.93 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 314 0 0 0 41387 2931 0 0 20 0 1 0 1801491306 2768896 280 4294967295 134512640 134578447 3221224624 3221223664 134531668 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 280 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 443.18
Current children cumulated vsize (Kb) 2704

[startup+510.021 s]
Raw data (loadavg): 1.08 1.02 0.93 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 314 0 0 0 42206 2992 0 0 24 0 1 0 1801491306 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 280 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 451.98
Current children cumulated vsize (Kb) 2704

[startup+520.022 s]
Raw data (loadavg): 1.07 1.02 0.93 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 314 0 0 0 43030 3055 0 0 24 0 1 0 1801491306 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 280 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 460.85
Current children cumulated vsize (Kb) 2704

[startup+530.021 s]
Raw data (loadavg): 1.06 1.01 0.93 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 314 0 0 0 43853 3115 0 0 23 0 1 0 1801491306 2768896 280 4294967295 134512640 134578447 3221224624 3221223552 134552662 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 280 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 469.68
Current children cumulated vsize (Kb) 2704

[startup+540.022 s]
Raw data (loadavg): 1.05 1.01 0.93 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 314 0 0 0 44676 3177 0 0 24 0 1 0 1801491306 2768896 280 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 280 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 478.53
Current children cumulated vsize (Kb) 2704

[startup+550.022 s]
Raw data (loadavg): 1.12 1.03 0.94 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 314 0 0 0 45509 3233 0 0 24 0 1 0 1801491306 2768896 280 4294967295 134512640 134578447 3221224624 3221223488 134517848 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 280 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 487.42
Current children cumulated vsize (Kb) 2704

[startup+560.023 s]
Raw data (loadavg): 1.18 1.04 0.94 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 314 0 0 0 46330 3294 0 0 24 0 1 0 1801491306 2768896 280 4294967295 134512640 134578447 3221224624 3221223488 134517848 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 280 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 496.24
Current children cumulated vsize (Kb) 2704

[startup+570.023 s]
Raw data (loadavg): 1.15 1.04 0.94 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 314 0 0 0 47160 3352 0 0 24 0 1 0 1801491306 2768896 280 4294967295 134512640 134578447 3221224624 3221223456 134528423 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 280 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 505.12
Current children cumulated vsize (Kb) 2704

[startup+580.022 s]
Raw data (loadavg): 1.13 1.04 0.94 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 315 0 0 0 47994 3409 0 0 23 0 1 0 1801491306 2768896 281 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 281 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 514.03
Current children cumulated vsize (Kb) 2704

[startup+590.023 s]
Raw data (loadavg): 1.11 1.04 0.94 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 315 0 0 0 48822 3466 0 0 23 0 1 0 1801491306 2768896 281 4294967295 134512640 134578447 3221224624 3221223456 134528460 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 281 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 522.88
Current children cumulated vsize (Kb) 2704

[startup+600.022 s]
Raw data (loadavg): 1.09 1.04 0.94 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 315 0 0 0 49646 3525 0 0 25 0 1 0 1801491306 2768896 281 4294967295 134512640 134578447 3221224624 3221223456 134528457 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 281 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 531.71
Current children cumulated vsize (Kb) 2704

[startup+610.023 s]
Raw data (loadavg): 1.08 1.03 0.94 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 315 0 0 0 50480 3582 0 0 23 0 1 0 1801491306 2768896 281 4294967295 134512640 134578447 3221224624 3221223488 134517713 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 281 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 540.62
Current children cumulated vsize (Kb) 2704

[startup+620.024 s]
Raw data (loadavg): 1.07 1.03 0.94 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 315 0 0 0 51312 3640 0 0 24 0 1 0 1801491306 2768896 281 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 281 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 549.52
Current children cumulated vsize (Kb) 2704

[startup+630.023 s]
Raw data (loadavg): 1.06 1.03 0.94 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 315 0 0 0 52133 3703 0 0 24 0 1 0 1801491306 2768896 281 4294967295 134512640 134578447 3221224624 3221223412 1075289714 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 281 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 558.36
Current children cumulated vsize (Kb) 2704

[startup+640.024 s]
Raw data (loadavg): 1.05 1.03 0.94 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 316 0 0 0 52948 3766 0 0 23 0 1 0 1801491306 2768896 282 4294967295 134512640 134578447 3221224624 3221223456 134528407 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 282 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 567.14
Current children cumulated vsize (Kb) 2704

[startup+650.023 s]
Raw data (loadavg): 1.04 1.03 0.94 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 316 0 0 0 53779 3825 0 0 24 0 1 0 1801491306 2768896 282 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23582/statm): 676 282 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 576.04
Current children cumulated vsize (Kb) 2704

[startup+660.024 s]
Raw data (loadavg): 1.03 1.03 0.94 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 316 0 0 0 54613 3880 0 0 25 0 1 0 1801491306 2768896 282 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 282 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 584.93
Current children cumulated vsize (Kb) 2704

[startup+670.024 s]
Raw data (loadavg): 1.03 1.03 0.94 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 316 0 0 0 55447 3937 0 0 24 0 1 0 1801491306 2768896 282 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23582/statm): 676 282 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 593.84
Current children cumulated vsize (Kb) 2704

[startup+680.024 s]
Raw data (loadavg): 1.02 1.02 0.94 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 316 0 0 0 56281 3995 0 0 20 0 1 0 1801491306 2768896 282 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 282 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 602.76
Current children cumulated vsize (Kb) 2704

[startup+690.024 s]
Raw data (loadavg): 1.02 1.02 0.94 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 316 0 0 0 57109 4055 0 0 24 0 1 0 1801491306 2768896 282 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 282 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 611.64
Current children cumulated vsize (Kb) 2704

[startup+700.025 s]
Raw data (loadavg): 1.10 1.04 0.95 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 316 0 0 0 57947 4114 0 0 24 0 1 0 1801491306 2768896 282 4294967295 134512640 134578447 3221224624 3221223520 134519893 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 282 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 620.61
Current children cumulated vsize (Kb) 2704

[startup+710.026 s]
Raw data (loadavg): 1.08 1.04 0.95 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 316 0 0 0 58769 4176 0 0 20 0 1 0 1801491306 2768896 282 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 282 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 629.45
Current children cumulated vsize (Kb) 2704

[startup+720.025 s]
Raw data (loadavg): 1.07 1.04 0.95 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 316 0 0 0 59594 4231 0 0 23 0 1 0 1801491306 2768896 282 4294967295 134512640 134578447 3221224624 3221223504 134528059 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 282 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 638.25
Current children cumulated vsize (Kb) 2704

[startup+730.026 s]
Raw data (loadavg): 1.06 1.03 0.95 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 316 0 0 0 60426 4291 0 0 24 0 1 0 1801491306 2768896 282 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23582/statm): 676 282 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 647.17
Current children cumulated vsize (Kb) 2704

[startup+740.026 s]
Raw data (loadavg): 1.05 1.03 0.95 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 316 0 0 0 61256 4346 0 0 22 0 1 0 1801491306 2768896 282 4294967295 134512640 134578447 3221224624 3221223536 134557417 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 282 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 656.02
Current children cumulated vsize (Kb) 2704

[startup+750.026 s]
Raw data (loadavg): 1.04 1.03 0.95 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 317 0 0 0 62084 4409 0 0 25 0 1 0 1801491306 2768896 283 4294967295 134512640 134578447 3221224624 3221223536 134556908 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 283 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 664.93
Current children cumulated vsize (Kb) 2704

[startup+760.026 s]
Raw data (loadavg): 1.03 1.03 0.95 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 317 0 0 0 62904 4465 0 0 23 0 1 0 1801491306 2768896 283 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 283 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 673.69
Current children cumulated vsize (Kb) 2704

[startup+770.027 s]
Raw data (loadavg): 1.03 1.03 0.95 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 317 0 0 0 63722 4528 0 0 24 0 1 0 1801491306 2768896 283 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 283 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 682.5
Current children cumulated vsize (Kb) 2704

[startup+780.027 s]
Raw data (loadavg): 1.02 1.03 0.95 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 317 0 0 0 64544 4588 0 0 24 0 1 0 1801491306 2768896 283 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 283 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 691.32
Current children cumulated vsize (Kb) 2704

[startup+790.027 s]
Raw data (loadavg): 1.09 1.04 0.95 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 317 0 0 0 65368 4651 0 0 24 0 1 0 1801491306 2768896 283 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 283 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 700.19
Current children cumulated vsize (Kb) 2704

[startup+800.028 s]
Raw data (loadavg): 1.08 1.04 0.95 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 317 0 0 0 66198 4708 0 0 24 0 1 0 1801491306 2768896 283 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23582/statm): 676 283 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 709.06
Current children cumulated vsize (Kb) 2704

[startup+810.028 s]
Raw data (loadavg): 1.07 1.04 0.95 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 317 0 0 0 67006 4777 0 0 22 0 1 0 1801491306 2768896 283 4294967295 134512640 134578447 3221224624 3221223508 1075285608 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 283 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 717.83
Current children cumulated vsize (Kb) 2704

[startup+820.029 s]
Raw data (loadavg): 1.06 1.04 0.95 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 317 0 0 0 67817 4839 0 0 23 0 1 0 1801491306 2768896 283 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 283 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 726.56
Current children cumulated vsize (Kb) 2704

[startup+830.028 s]
Raw data (loadavg): 1.05 1.03 0.95 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 317 0 0 0 68629 4906 0 0 23 0 1 0 1801491306 2768896 283 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23582/statm): 676 283 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 735.35
Current children cumulated vsize (Kb) 2704

[startup+840.029 s]
Raw data (loadavg): 1.04 1.03 0.95 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 317 0 0 0 69448 4968 0 0 24 0 1 0 1801491306 2768896 283 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 283 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 744.16
Current children cumulated vsize (Kb) 2704

[startup+850.028 s]
Raw data (loadavg): 1.03 1.03 0.95 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 317 0 0 0 70259 5032 0 0 23 0 1 0 1801491306 2768896 283 4294967295 134512640 134578447 3221224624 3221223280 1075288808 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 283 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 752.91
Current children cumulated vsize (Kb) 2704

[startup+860.029 s]
Raw data (loadavg): 1.03 1.03 0.95 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 317 0 0 0 71063 5098 0 0 23 0 1 0 1801491306 2768896 283 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 283 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 761.61
Current children cumulated vsize (Kb) 2704

[startup+870.03 s]
Raw data (loadavg): 1.02 1.03 0.95 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 317 0 0 0 71876 5161 0 0 22 0 1 0 1801491306 2768896 283 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 676 283 566 18 0 658 0
[pid=23582] vsize: 2704
Current children cumulated CPU time (s) 770.37
Current children cumulated vsize (Kb) 2704

[startup+880.029 s]
Raw data (loadavg): 1.02 1.03 0.95 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 320 0 0 0 72704 5218 0 0 24 0 1 0 1801491306 2883584 286 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23582/statm): 704 286 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 779.22
Current children cumulated vsize (Kb) 2816

[startup+890.03 s]
Raw data (loadavg): 1.02 1.03 0.95 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 320 0 0 0 73530 5275 0 0 24 0 1 0 1801491306 2883584 286 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23582/statm): 704 286 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 788.05
Current children cumulated vsize (Kb) 2816

[startup+900.029 s]
Raw data (loadavg): 1.01 1.02 0.95 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 320 0 0 0 74349 5336 0 0 23 0 1 0 1801491306 2883584 286 4294967295 134512640 134578447 3221224624 3221223456 134528392 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 286 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 796.85
Current children cumulated vsize (Kb) 2816

[startup+910.03 s]
Raw data (loadavg): 1.01 1.02 0.95 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 320 0 0 0 75157 5402 0 0 23 0 1 0 1801491306 2883584 286 4294967295 134512640 134578447 3221224624 3221223476 134555958 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 286 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 805.59
Current children cumulated vsize (Kb) 2816

[startup+920.03 s]
Raw data (loadavg): 1.01 1.02 0.95 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 320 0 0 0 75976 5463 0 0 22 0 1 0 1801491306 2883584 286 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23582/statm): 704 286 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 814.39
Current children cumulated vsize (Kb) 2816

[startup+930.03 s]
Raw data (loadavg): 1.08 1.04 0.96 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 320 0 0 0 76800 5521 0 0 24 0 1 0 1801491306 2883584 286 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23582/statm): 704 286 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 823.21
Current children cumulated vsize (Kb) 2816

[startup+940.03 s]
Raw data (loadavg): 1.07 1.04 0.96 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 320 0 0 0 77616 5585 0 0 23 0 1 0 1801491306 2883584 286 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 286 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 832.01
Current children cumulated vsize (Kb) 2816

[startup+950.03 s]
Raw data (loadavg): 1.06 1.03 0.96 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 320 0 0 0 78422 5650 0 0 23 0 1 0 1801491306 2883584 286 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 286 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 840.72
Current children cumulated vsize (Kb) 2816

[startup+960.031 s]
Raw data (loadavg): 1.05 1.03 0.96 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 320 0 0 0 79229 5720 0 0 23 0 1 0 1801491306 2883584 286 4294967295 134512640 134578447 3221224624 3221223488 134528022 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 286 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 849.49
Current children cumulated vsize (Kb) 2816

[startup+970.031 s]
Raw data (loadavg): 1.04 1.03 0.96 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 320 0 0 0 80037 5783 0 0 23 0 1 0 1801491306 2883584 286 4294967295 134512640 134578447 3221224624 3221223552 134516681 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 286 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 858.2
Current children cumulated vsize (Kb) 2816

[startup+980.032 s]
Raw data (loadavg): 1.03 1.03 0.96 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 320 0 0 0 80843 5848 0 0 23 0 1 0 1801491306 2883584 286 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 286 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 866.91
Current children cumulated vsize (Kb) 2816

[startup+990.032 s]
Raw data (loadavg): 1.03 1.03 0.96 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 321 0 0 0 81658 5910 0 0 23 0 1 0 1801491306 2883584 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23582/statm): 704 287 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 875.68
Current children cumulated vsize (Kb) 2816

[startup+1000.03 s]
Raw data (loadavg): 1.02 1.03 0.96 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 321 0 0 0 82475 5977 0 0 23 0 1 0 1801491306 2883584 287 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 287 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 884.52
Current children cumulated vsize (Kb) 2816

[startup+1010.03 s]
Raw data (loadavg): 1.02 1.03 0.96 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 321 0 0 0 83291 6039 0 0 24 0 1 0 1801491306 2883584 287 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 287 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 893.3
Current children cumulated vsize (Kb) 2816

[startup+1020.03 s]
Raw data (loadavg): 1.02 1.02 0.96 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 321 0 0 0 84111 6100 0 0 24 0 1 0 1801491306 2883584 287 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 287 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 902.11
Current children cumulated vsize (Kb) 2816

[startup+1030.03 s]
Raw data (loadavg): 1.01 1.02 0.96 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 321 0 0 0 84934 6157 0 0 24 0 1 0 1801491306 2883584 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 287 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 910.91
Current children cumulated vsize (Kb) 2816

[startup+1040.03 s]
Raw data (loadavg): 1.01 1.02 0.96 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 321 0 0 0 85758 6214 0 0 23 0 1 0 1801491306 2883584 287 4294967295 134512640 134578447 3221224624 3221223412 1075289638 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 287 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 919.72
Current children cumulated vsize (Kb) 2816

[startup+1050.03 s]
Raw data (loadavg): 1.01 1.02 0.96 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 321 0 0 0 86587 6275 0 0 25 0 1 0 1801491306 2883584 287 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 287 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 928.62
Current children cumulated vsize (Kb) 2816

[startup+1060.04 s]
Raw data (loadavg): 1.01 1.02 0.96 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 321 0 0 0 87415 6336 0 0 24 0 1 0 1801491306 2883584 287 4294967295 134512640 134578447 3221224624 3221223536 134556815 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 287 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 937.51
Current children cumulated vsize (Kb) 2816

[startup+1070.03 s]
Raw data (loadavg): 1.00 1.02 0.96 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 321 0 0 0 88239 6397 0 0 24 0 1 0 1801491306 2883584 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 287 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 946.36
Current children cumulated vsize (Kb) 2816

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.02 0.96 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 321 0 0 0 89056 6459 0 0 23 0 1 0 1801491306 2883584 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 287 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 955.15
Current children cumulated vsize (Kb) 2816

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.02 0.96 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 321 0 0 0 89873 6521 0 0 20 0 1 0 1801491306 2883584 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23582/statm): 704 287 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 963.94
Current children cumulated vsize (Kb) 2816

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.02 0.96 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 321 0 0 0 90691 6580 0 0 23 0 1 0 1801491306 2883584 287 4294967295 134512640 134578447 3221224624 3221223456 134528498 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 287 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 972.71
Current children cumulated vsize (Kb) 2816

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.02 0.96 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 321 0 0 0 91484 6648 0 0 21 0 1 0 1801491306 2883584 287 4294967295 134512640 134578447 3221224624 3221223456 134528332 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 287 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 981.32
Current children cumulated vsize (Kb) 2816

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.01 0.96 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 321 0 0 0 92269 6720 0 0 22 0 1 0 1801491306 2883584 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23582/statm): 704 287 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 989.89
Current children cumulated vsize (Kb) 2816

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.01 0.96 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 321 0 0 0 93070 6785 0 0 21 0 1 0 1801491306 2883584 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 287 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 998.55
Current children cumulated vsize (Kb) 2816

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.01 0.96 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 321 0 0 0 93856 6854 0 0 22 0 1 0 1801491306 2883584 287 4294967295 134512640 134578447 3221224624 3221223368 1075291317 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 287 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1007.1
Current children cumulated vsize (Kb) 2816

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.01 0.96 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 321 0 0 0 94635 6929 0 0 21 0 1 0 1801491306 2883584 287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 287 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1015.64
Current children cumulated vsize (Kb) 2816

[startup+1160.04 s]
Raw data (loadavg): 1.00 1.01 0.96 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 322 0 0 0 95401 7010 0 0 22 0 1 0 1801491306 2883584 288 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 288 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1024.11
Current children cumulated vsize (Kb) 2816

[startup+1170.04 s]
Raw data (loadavg): 1.00 1.01 0.96 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 322 0 0 0 96182 7079 0 0 22 0 1 0 1801491306 2883584 288 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23582/statm): 704 288 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1032.61
Current children cumulated vsize (Kb) 2816

[startup+1180.04 s]
Raw data (loadavg): 1.00 1.01 0.96 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 322 0 0 0 96970 7147 0 0 22 0 1 0 1801491306 2883584 288 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 288 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1041.17
Current children cumulated vsize (Kb) 2816

[startup+1190.04 s]
Raw data (loadavg): 1.00 1.01 0.96 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 322 0 0 0 97763 7219 0 0 22 0 1 0 1801491306 2883584 288 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 288 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1049.82
Current children cumulated vsize (Kb) 2816

[startup+1200.04 s]
Raw data (loadavg): 1.00 1.01 0.96 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 323 0 0 0 98556 7291 0 0 22 0 1 0 1801491306 2883584 289 4294967295 134512640 134578447 3221224624 3221223424 134532049 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 289 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1058.47
Current children cumulated vsize (Kb) 2816

[startup+1210.04 s]
Raw data (loadavg): 1.00 1.01 0.96 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 323 0 0 0 99355 7358 0 0 21 0 1 0 1801491306 2883584 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23582/statm): 704 289 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1067.13
Current children cumulated vsize (Kb) 2816

[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 0.96 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 323 0 0 0 100153 7428 0 0 22 0 1 0 1801491306 2883584 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23582/statm): 704 289 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1075.81
Current children cumulated vsize (Kb) 2816

[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 323 0 0 0 100949 7495 0 0 22 0 1 0 1801491306 2883584 289 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 289 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1084.44
Current children cumulated vsize (Kb) 2816

[startup+1240.04 s]
Raw data (loadavg): 1.00 1.00 0.96 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 323 0 0 0 101736 7564 0 0 22 0 1 0 1801491306 2883584 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 289 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1093
Current children cumulated vsize (Kb) 2816

[startup+1250.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 323 0 0 0 102519 7637 0 0 21 0 1 0 1801491306 2883584 289 4294967295 134512640 134578447 3221224624 3221223456 134528418 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 289 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1101.56
Current children cumulated vsize (Kb) 2816

[startup+1260.04 s]
Raw data (loadavg): 1.08 1.02 0.96 1/56 23582
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 323 0 0 0 103318 7706 0 0 22 0 1 0 1801491306 2883584 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 289 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1110.24
Current children cumulated vsize (Kb) 2816

[startup+1270.04 s]
Raw data (loadavg): 1.07 1.02 0.96 2/56 23637
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 323 0 0 0 104078 7790 0 0 16 0 1 0 1801491306 2883584 289 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 289 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1118.68
Current children cumulated vsize (Kb) 2816

[startup+1280.04 s]
Raw data (loadavg): 1.06 1.02 0.96 1/56 23637
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 323 0 0 0 104832 7877 0 0 16 0 1 0 1801491306 2883584 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 289 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1127.09
Current children cumulated vsize (Kb) 2816

[startup+1290.06 s]
Raw data (loadavg): 1.12 1.03 0.97 1/56 23637
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 323 0 0 0 105598 7961 0 0 15 0 1 0 1801491306 2883584 289 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 289 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1135.59
Current children cumulated vsize (Kb) 2816

[startup+1300.06 s]
Raw data (loadavg): 1.10 1.03 0.97 2/56 23637
Raw data (/proc/23582/stat): 23582 (Pueblo) R 23581 23582 22582 0 -1 0 324 0 0 0 106369 8040 0 0 16 0 1 0 1801491306 2883584 290 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 290 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1144.09
Current children cumulated vsize (Kb) 2816

[startup+1310.06 s]
Raw data (loadavg): 1.09 1.03 0.97 1/56 23637
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 325 0 0 0 107141 8120 0 0 16 0 1 0 1801491306 2883584 291 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 291 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1152.61
Current children cumulated vsize (Kb) 2816

[startup+1320.06 s]
Raw data (loadavg): 1.07 1.03 0.97 1/56 23637
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 325 0 0 0 107909 8199 0 0 15 0 1 0 1801491306 2883584 291 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 291 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1161.08
Current children cumulated vsize (Kb) 2816

[startup+1330.06 s]
Raw data (loadavg): 1.06 1.03 0.97 1/56 23637
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 325 0 0 0 108687 8276 0 0 15 0 1 0 1801491306 2883584 291 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 291 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1169.63
Current children cumulated vsize (Kb) 2816

[startup+1340.06 s]
Raw data (loadavg): 1.05 1.02 0.97 1/56 23639
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 326 0 0 0 109455 8360 0 0 16 0 1 0 1801491306 2883584 292 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23582/statm): 704 292 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1178.15
Current children cumulated vsize (Kb) 2816

[startup+1350.06 s]
Raw data (loadavg): 1.04 1.02 0.97 1/56 23641
Raw data (/proc/23582/stat): 23582 (Pueblo) T 23581 23582 22582 0 -1 0 326 0 0 0 110233 8437 0 0 15 0 1 0 1801491306 2883584 292 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23582/statm): 704 292 566 18 0 686 0
[pid=23582] vsize: 2816
Current children cumulated CPU time (s) 1186.7
Current children cumulated vsize (Kb) 2816
One traced child (pid=23582) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1352.73
CPU time (s): 1189.01
CPU user time (s): 1104.4
CPU system time (s): 84.6061
CPU usage (%): 87.8966
Max. virtual memory (cumulated for all children) (Kb): 2816

Verifier Data

Verifier:	OK	-3888