Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namesubmitted/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb
MD5SUMfa7153262db792d01bec14f5a651af5b
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 872
Optimality of the best value was proved YES
Number of terms in the objective function 232
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 9597
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 9597
Number of bits of the biggest sum of numbers14
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark18.0453
Number of variables232
Total number of constraints527
Number of constraints which are clauses527
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint27

Trace number 7811

Launcher Data

LAUNCH ON wulflinc11 THE 2005-09-20 14:11:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4941 boxname=wulflinc11 idbench=253 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  fa7153262db792d01bec14f5a651af5b  /oldhome/oroussel/tmp/wulflinc11/normalized-mux.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4941
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        848308 kB
Buffers:         33644 kB
Cached:         126328 kB
SwapCached:        916 kB
Active:          72504 kB
Inactive:        90016 kB
HighTotal:      131008 kB
HighFree:         9520 kB
LowTotal:       903652 kB
LowFree:        838788 kB
SwapTotal:     2097136 kB
SwapFree:      2095640 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            18212 kB
Committed_AS:    64140 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 14:34:30 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 4941 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: 232 - #constraints read: 528
c total time              : 1189 s
s SATISFIABLE
v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 x62 -x63 x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 x83 x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 x101 x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 x153 x154 x155 x156 x157 x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232

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/5283/stat): 5283 (Pueblo) R 5282 5283 9854 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1800923665 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5283/statm): 41 3 40 18 0 23 0
[pid=5283] 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.0032 s]
Raw data (loadavg): 0.93 0.95 0.90 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 348 0 0 0 768 78 0 0 20 0 1 0 1800923665 2904064 314 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 709 314 566 18 0 691 0
[pid=5283] vsize: 2836
Current children cumulated CPU time (s) 8.46
Current children cumulated vsize (Kb) 2836

[startup+20.004 s]
Raw data (loadavg): 1.02 0.97 0.91 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 372 0 0 0 1563 150 0 0 20 0 1 0 1800923665 3035136 338 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5283/statm): 741 338 566 18 0 723 0
[pid=5283] vsize: 2964
Current children cumulated CPU time (s) 17.13
Current children cumulated vsize (Kb) 2964

[startup+30.0048 s]
Raw data (loadavg): 1.02 0.97 0.91 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) R 5282 5283 9854 0 -1 0 379 0 0 0 2337 225 0 0 22 0 1 0 1800923665 3035136 345 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5283/statm): 741 345 566 18 0 723 0
[pid=5283] vsize: 2964
Current children cumulated CPU time (s) 25.62
Current children cumulated vsize (Kb) 2964

[startup+40.0046 s]
Raw data (loadavg): 1.01 0.97 0.91 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 382 0 0 0 3105 302 0 0 16 0 1 0 1800923665 3035136 348 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 741 348 566 18 0 723 0
[pid=5283] vsize: 2964
Current children cumulated CPU time (s) 34.07
Current children cumulated vsize (Kb) 2964

[startup+50.0054 s]
Raw data (loadavg): 1.08 0.99 0.92 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 400 0 0 0 3893 372 0 0 15 0 1 0 1800923665 3162112 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 772 366 566 18 0 754 0
[pid=5283] vsize: 3088
Current children cumulated CPU time (s) 42.65
Current children cumulated vsize (Kb) 3088

[startup+60.0062 s]
Raw data (loadavg): 1.07 0.99 0.92 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 400 0 0 0 4660 456 0 0 16 0 1 0 1800923665 3162112 366 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 772 366 566 18 0 754 0
[pid=5283] vsize: 3088
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (Kb) 3088

[startup+70.006 s]
Raw data (loadavg): 1.06 0.99 0.92 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 410 0 0 0 5443 527 0 0 16 0 1 0 1800923665 3162112 376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 772 376 566 18 0 754 0
[pid=5283] vsize: 3088
Current children cumulated CPU time (s) 59.7
Current children cumulated vsize (Kb) 3088

[startup+80.0067 s]
Raw data (loadavg): 1.05 0.99 0.92 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 419 0 0 0 6208 608 0 0 16 0 1 0 1800923665 3284992 385 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 802 385 566 18 0 784 0
[pid=5283] vsize: 3208
Current children cumulated CPU time (s) 68.16
Current children cumulated vsize (Kb) 3208

[startup+90.0065 s]
Raw data (loadavg): 1.04 0.99 0.92 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) R 5282 5283 9854 0 -1 0 423 0 0 0 6946 696 0 0 16 0 1 0 1800923665 3284992 389 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5283/statm): 802 389 566 18 0 784 0
[pid=5283] vsize: 3208
Current children cumulated CPU time (s) 76.42
Current children cumulated vsize (Kb) 3208

[startup+100.007 s]
Raw data (loadavg): 1.03 0.99 0.92 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 426 0 0 0 7724 772 0 0 16 0 1 0 1800923665 3284992 392 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 802 392 566 18 0 784 0
[pid=5283] vsize: 3208
Current children cumulated CPU time (s) 84.96
Current children cumulated vsize (Kb) 3208

[startup+110.008 s]
Raw data (loadavg): 1.03 0.99 0.92 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 433 0 0 0 8477 858 0 0 16 0 1 0 1800923665 3284992 399 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 802 399 566 18 0 784 0
[pid=5283] vsize: 3208
Current children cumulated CPU time (s) 93.35
Current children cumulated vsize (Kb) 3208

[startup+120.008 s]
Raw data (loadavg): 1.02 0.99 0.92 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 434 0 0 0 9225 950 0 0 15 0 1 0 1800923665 3284992 400 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 802 400 566 18 0 784 0
[pid=5283] vsize: 3208
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (Kb) 3208

[startup+130.009 s]
Raw data (loadavg): 1.02 0.99 0.92 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 436 0 0 0 9974 1034 0 0 16 0 1 0 1800923665 3284992 402 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5283/statm): 802 402 566 18 0 784 0
[pid=5283] vsize: 3208
Current children cumulated CPU time (s) 110.08
Current children cumulated vsize (Kb) 3208

[startup+140.009 s]
Raw data (loadavg): 1.02 0.99 0.92 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 442 0 0 0 10739 1113 0 0 16 0 1 0 1800923665 3284992 408 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 802 408 566 18 0 784 0
[pid=5283] vsize: 3208
Current children cumulated CPU time (s) 118.52
Current children cumulated vsize (Kb) 3208

[startup+150.01 s]
Raw data (loadavg): 1.01 0.99 0.92 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 444 0 0 0 11502 1193 0 0 16 0 1 0 1800923665 3420160 410 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 835 410 566 18 0 817 0
[pid=5283] vsize: 3340
Current children cumulated CPU time (s) 126.95
Current children cumulated vsize (Kb) 3340

[startup+160.01 s]
Raw data (loadavg): 1.01 0.99 0.92 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 450 0 0 0 12303 1259 0 0 16 0 1 0 1800923665 3420160 416 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 835 416 566 18 0 817 0
[pid=5283] vsize: 3340
Current children cumulated CPU time (s) 135.62
Current children cumulated vsize (Kb) 3340

[startup+170.011 s]
Raw data (loadavg): 1.01 0.99 0.92 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 453 0 0 0 13086 1333 0 0 16 0 1 0 1800923665 3420160 419 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 835 419 566 18 0 817 0
[pid=5283] vsize: 3340
Current children cumulated CPU time (s) 144.19
Current children cumulated vsize (Kb) 3340

[startup+180.012 s]
Raw data (loadavg): 1.08 1.01 0.92 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) R 5282 5283 9854 0 -1 0 461 0 0 0 13855 1410 0 0 16 0 1 0 1800923665 3420160 427 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5283/statm): 835 427 566 18 0 817 0
[pid=5283] vsize: 3340
Current children cumulated CPU time (s) 152.65
Current children cumulated vsize (Kb) 3340

[startup+190.011 s]
Raw data (loadavg): 1.07 1.00 0.92 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 461 0 0 0 14639 1487 0 0 15 0 1 0 1800923665 3420160 427 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5283/statm): 835 427 566 18 0 817 0
[pid=5283] vsize: 3340
Current children cumulated CPU time (s) 161.26
Current children cumulated vsize (Kb) 3340

[startup+200.012 s]
Raw data (loadavg): 1.13 1.02 0.93 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 462 0 0 0 15407 1564 0 0 16 0 1 0 1800923665 3420160 428 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5283/statm): 835 428 566 18 0 817 0
[pid=5283] vsize: 3340
Current children cumulated CPU time (s) 169.71
Current children cumulated vsize (Kb) 3340

[startup+210.013 s]
Raw data (loadavg): 1.11 1.02 0.93 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) R 5282 5283 9854 0 -1 0 464 0 0 0 16181 1640 0 0 16 0 1 0 1800923665 3420160 430 4294967295 134512640 134578447 3221224624 3221223504 134531685 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5283/statm): 835 430 566 18 0 817 0
[pid=5283] vsize: 3340
Current children cumulated CPU time (s) 178.21
Current children cumulated vsize (Kb) 3340

[startup+220.013 s]
Raw data (loadavg): 1.09 1.02 0.93 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) R 5282 5283 9854 0 -1 0 468 0 0 0 16945 1724 0 0 16 0 1 0 1800923665 3420160 434 4294967295 134512640 134578447 3221224624 3221223692 134561235 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5283/statm): 835 434 566 18 0 817 0
[pid=5283] vsize: 3340
Current children cumulated CPU time (s) 186.69
Current children cumulated vsize (Kb) 3340

[startup+230.014 s]
Raw data (loadavg): 1.08 1.02 0.93 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 487 0 0 0 17701 1811 0 0 16 0 1 0 1800923665 3551232 453 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 867 453 566 18 0 849 0
[pid=5283] vsize: 3468
Current children cumulated CPU time (s) 195.12
Current children cumulated vsize (Kb) 3468

[startup+240.014 s]
Raw data (loadavg): 1.07 1.02 0.93 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) R 5282 5283 9854 0 -1 0 487 0 0 0 18469 1894 0 0 16 0 1 0 1800923665 3551232 453 4294967295 134512640 134578447 3221224624 3221223456 134558200 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5283/statm): 867 453 566 18 0 849 0
[pid=5283] vsize: 3468
Current children cumulated CPU time (s) 203.63
Current children cumulated vsize (Kb) 3468

[startup+250.015 s]
Raw data (loadavg): 1.14 1.03 0.93 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 487 0 0 0 19216 1985 0 0 16 0 1 0 1800923665 3551232 453 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 867 453 566 18 0 849 0
[pid=5283] vsize: 3468
Current children cumulated CPU time (s) 212.01
Current children cumulated vsize (Kb) 3468

[startup+260.016 s]
Raw data (loadavg): 1.19 1.05 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 487 0 0 0 19975 2064 0 0 16 0 1 0 1800923665 3551232 453 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 867 453 566 18 0 849 0
[pid=5283] vsize: 3468
Current children cumulated CPU time (s) 220.39
Current children cumulated vsize (Kb) 3468

[startup+270.017 s]
Raw data (loadavg): 1.16 1.04 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 487 0 0 0 20738 2141 0 0 16 0 1 0 1800923665 3551232 453 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 867 453 566 18 0 849 0
[pid=5283] vsize: 3468
Current children cumulated CPU time (s) 228.79
Current children cumulated vsize (Kb) 3468

[startup+280.017 s]
Raw data (loadavg): 1.13 1.04 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 487 0 0 0 21480 2227 0 0 16 0 1 0 1800923665 3551232 453 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5283/statm): 867 453 566 18 0 849 0
[pid=5283] vsize: 3468
Current children cumulated CPU time (s) 237.07
Current children cumulated vsize (Kb) 3468

[startup+290.018 s]
Raw data (loadavg): 1.11 1.04 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 487 0 0 0 22226 2317 0 0 15 0 1 0 1800923665 3551232 453 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 867 453 566 18 0 849 0
[pid=5283] vsize: 3468
Current children cumulated CPU time (s) 245.43
Current children cumulated vsize (Kb) 3468

[startup+300.019 s]
Raw data (loadavg): 1.10 1.04 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 487 0 0 0 22998 2396 0 0 16 0 1 0 1800923665 3551232 453 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 867 453 566 18 0 849 0
[pid=5283] vsize: 3468
Current children cumulated CPU time (s) 253.94
Current children cumulated vsize (Kb) 3468

[startup+310.02 s]
Raw data (loadavg): 1.08 1.04 0.94 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) R 5282 5283 9854 0 -1 0 489 0 0 0 23764 2474 0 0 16 0 1 0 1800923665 3551232 455 4294967295 134512640 134578447 3221224624 3221223408 134528974 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5283/statm): 867 455 566 18 0 849 0
[pid=5283] vsize: 3468
Current children cumulated CPU time (s) 262.38
Current children cumulated vsize (Kb) 3468

[startup+320.02 s]
Raw data (loadavg): 1.07 1.03 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 489 0 0 0 24541 2546 0 0 16 0 1 0 1800923665 3551232 455 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5283/statm): 867 455 566 18 0 849 0
[pid=5283] vsize: 3468
Current children cumulated CPU time (s) 270.87
Current children cumulated vsize (Kb) 3468

[startup+330.02 s]
Raw data (loadavg): 1.06 1.03 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 489 0 0 0 25306 2629 0 0 16 0 1 0 1800923665 3551232 455 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 867 455 566 18 0 849 0
[pid=5283] vsize: 3468
Current children cumulated CPU time (s) 279.35
Current children cumulated vsize (Kb) 3468

[startup+340.021 s]
Raw data (loadavg): 1.05 1.03 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 504 0 0 0 26072 2704 0 0 16 0 1 0 1800923665 3551232 470 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 867 470 566 18 0 849 0
[pid=5283] vsize: 3468
Current children cumulated CPU time (s) 287.76
Current children cumulated vsize (Kb) 3468

[startup+350.022 s]
Raw data (loadavg): 1.04 1.03 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 504 0 0 0 26856 2779 0 0 16 0 1 0 1800923665 3551232 470 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 867 470 566 18 0 849 0
[pid=5283] vsize: 3468
Current children cumulated CPU time (s) 296.35
Current children cumulated vsize (Kb) 3468

[startup+360.023 s]
Raw data (loadavg): 1.03 1.03 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 518 0 0 0 27622 2860 0 0 16 0 1 0 1800923665 3682304 484 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 899 484 566 18 0 881 0
[pid=5283] vsize: 3596
Current children cumulated CPU time (s) 304.82
Current children cumulated vsize (Kb) 3596

[startup+370.023 s]
Raw data (loadavg): 1.03 1.03 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 518 0 0 0 28385 2941 0 0 16 0 1 0 1800923665 3682304 484 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 899 484 566 18 0 881 0
[pid=5283] vsize: 3596
Current children cumulated CPU time (s) 313.26
Current children cumulated vsize (Kb) 3596

[startup+380.023 s]
Raw data (loadavg): 1.02 1.03 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 518 0 0 0 29163 3020 0 0 16 0 1 0 1800923665 3682304 484 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 899 484 566 18 0 881 0
[pid=5283] vsize: 3596
Current children cumulated CPU time (s) 321.83
Current children cumulated vsize (Kb) 3596

[startup+390.023 s]
Raw data (loadavg): 1.02 1.02 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 518 0 0 0 29939 3095 0 0 16 0 1 0 1800923665 3682304 484 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 899 484 566 18 0 881 0
[pid=5283] vsize: 3596
Current children cumulated CPU time (s) 330.34
Current children cumulated vsize (Kb) 3596

[startup+400.024 s]
Raw data (loadavg): 1.02 1.02 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 518 0 0 0 30701 3177 0 0 16 0 1 0 1800923665 3682304 484 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 899 484 566 18 0 881 0
[pid=5283] vsize: 3596
Current children cumulated CPU time (s) 338.78
Current children cumulated vsize (Kb) 3596

[startup+410.025 s]
Raw data (loadavg): 1.01 1.02 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 518 0 0 0 31469 3253 0 0 15 0 1 0 1800923665 3682304 484 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 899 484 566 18 0 881 0
[pid=5283] vsize: 3596
Current children cumulated CPU time (s) 347.22
Current children cumulated vsize (Kb) 3596

[startup+420.025 s]
Raw data (loadavg): 1.01 1.02 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 518 0 0 0 32235 3336 0 0 16 0 1 0 1800923665 3682304 484 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 899 484 566 18 0 881 0
[pid=5283] vsize: 3596
Current children cumulated CPU time (s) 355.71
Current children cumulated vsize (Kb) 3596

[startup+430.025 s]
Raw data (loadavg): 1.01 1.02 0.94 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 518 0 0 0 33026 3407 0 0 16 0 1 0 1800923665 3682304 484 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 899 484 566 18 0 881 0
[pid=5283] vsize: 3596
Current children cumulated CPU time (s) 364.33
Current children cumulated vsize (Kb) 3596

[startup+440.026 s]
Raw data (loadavg): 1.01 1.02 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 518 0 0 0 33784 3487 0 0 16 0 1 0 1800923665 3682304 484 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 899 484 566 18 0 881 0
[pid=5283] vsize: 3596
Current children cumulated CPU time (s) 372.71
Current children cumulated vsize (Kb) 3596

[startup+450.027 s]
Raw data (loadavg): 1.00 1.02 0.94 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 518 0 0 0 34547 3569 0 0 16 0 1 0 1800923665 3682304 484 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 899 484 566 18 0 881 0
[pid=5283] vsize: 3596
Current children cumulated CPU time (s) 381.16
Current children cumulated vsize (Kb) 3596

[startup+460.027 s]
Raw data (loadavg): 1.00 1.02 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 518 0 0 0 35311 3650 0 0 16 0 1 0 1800923665 3682304 484 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 899 484 566 18 0 881 0
[pid=5283] vsize: 3596
Current children cumulated CPU time (s) 389.61
Current children cumulated vsize (Kb) 3596

[startup+470.026 s]
Raw data (loadavg): 1.08 1.03 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 518 0 0 0 36080 3728 0 0 16 0 1 0 1800923665 3682304 484 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 899 484 566 18 0 881 0
[pid=5283] vsize: 3596
Current children cumulated CPU time (s) 398.08
Current children cumulated vsize (Kb) 3596

[startup+480.028 s]
Raw data (loadavg): 1.06 1.03 0.94 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) R 5282 5283 9854 0 -1 0 518 0 0 0 36861 3804 0 0 16 0 1 0 1800923665 3682304 484 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5283/statm): 899 484 566 18 0 881 0
[pid=5283] vsize: 3596
Current children cumulated CPU time (s) 406.65
Current children cumulated vsize (Kb) 3596

[startup+490.028 s]
Raw data (loadavg): 1.05 1.03 0.94 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) R 5282 5283 9854 0 -1 0 518 0 0 0 37634 3879 0 0 16 0 1 0 1800923665 3682304 484 4294967295 134512640 134578447 3221224624 3221223536 134556791 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5283/statm): 899 484 566 18 0 881 0
[pid=5283] vsize: 3596
Current children cumulated CPU time (s) 415.13
Current children cumulated vsize (Kb) 3596

[startup+500.029 s]
Raw data (loadavg): 1.05 1.03 0.94 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 521 0 0 0 38392 3961 0 0 16 0 1 0 1800923665 3682304 487 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 899 487 566 18 0 881 0
[pid=5283] vsize: 3596
Current children cumulated CPU time (s) 423.53
Current children cumulated vsize (Kb) 3596

[startup+510.03 s]
Raw data (loadavg): 1.04 1.03 0.94 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 527 0 0 0 39148 4044 0 0 15 0 1 0 1800923665 3682304 493 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 899 493 566 18 0 881 0
[pid=5283] vsize: 3596
Current children cumulated CPU time (s) 431.92
Current children cumulated vsize (Kb) 3596

[startup+520.029 s]
Raw data (loadavg): 1.03 1.03 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 527 0 0 0 39885 4134 0 0 16 0 1 0 1800923665 3682304 493 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 899 493 566 18 0 881 0
[pid=5283] vsize: 3596
Current children cumulated CPU time (s) 440.19
Current children cumulated vsize (Kb) 3596

[startup+530.03 s]
Raw data (loadavg): 1.03 1.03 0.94 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) R 5282 5283 9854 0 -1 0 530 0 0 0 40639 4219 0 0 16 0 1 0 1800923665 3682304 496 4294967295 134512640 134578447 3221224624 3221223536 134557055 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5283/statm): 899 496 566 18 0 881 0
[pid=5283] vsize: 3596
Current children cumulated CPU time (s) 448.58
Current children cumulated vsize (Kb) 3596

[startup+540.031 s]
Raw data (loadavg): 1.02 1.02 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 538 0 0 0 41401 4299 0 0 16 0 1 0 1800923665 3682304 504 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 899 504 566 18 0 881 0
[pid=5283] vsize: 3596
Current children cumulated CPU time (s) 457
Current children cumulated vsize (Kb) 3596

[startup+550.032 s]
Raw data (loadavg): 1.02 1.02 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 559 0 0 0 42185 4373 0 0 16 0 1 0 1800923665 3813376 525 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 931 525 566 18 0 913 0
[pid=5283] vsize: 3724
Current children cumulated CPU time (s) 465.58
Current children cumulated vsize (Kb) 3724

[startup+560.033 s]
Raw data (loadavg): 1.02 1.02 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 559 0 0 0 42977 4443 0 0 16 0 1 0 1800923665 3813376 525 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 931 525 566 18 0 913 0
[pid=5283] vsize: 3724
Current children cumulated CPU time (s) 474.2
Current children cumulated vsize (Kb) 3724

[startup+570.032 s]
Raw data (loadavg): 1.01 1.02 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 559 0 0 0 43766 4516 0 0 16 0 1 0 1800923665 3813376 525 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 931 525 566 18 0 913 0
[pid=5283] vsize: 3724
Current children cumulated CPU time (s) 482.82
Current children cumulated vsize (Kb) 3724

[startup+580.033 s]
Raw data (loadavg): 1.01 1.02 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 559 0 0 0 44556 4587 0 0 16 0 1 0 1800923665 3813376 525 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5283/statm): 931 525 566 18 0 913 0
[pid=5283] vsize: 3724
Current children cumulated CPU time (s) 491.43
Current children cumulated vsize (Kb) 3724

[startup+590.034 s]
Raw data (loadavg): 1.01 1.02 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 559 0 0 0 45334 4660 0 0 15 0 1 0 1800923665 3813376 525 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 931 525 566 18 0 913 0
[pid=5283] vsize: 3724
Current children cumulated CPU time (s) 499.94
Current children cumulated vsize (Kb) 3724

[startup+600.035 s]
Raw data (loadavg): 1.01 1.02 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 559 0 0 0 46104 4742 0 0 16 0 1 0 1800923665 3813376 525 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 931 525 566 18 0 913 0
[pid=5283] vsize: 3724
Current children cumulated CPU time (s) 508.46
Current children cumulated vsize (Kb) 3724

[startup+610.035 s]
Raw data (loadavg): 1.00 1.02 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 559 0 0 0 46871 4822 0 0 16 0 1 0 1800923665 3813376 525 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 931 525 566 18 0 913 0
[pid=5283] vsize: 3724
Current children cumulated CPU time (s) 516.93
Current children cumulated vsize (Kb) 3724

[startup+620.035 s]
Raw data (loadavg): 1.00 1.02 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 559 0 0 0 47669 4891 0 0 15 0 1 0 1800923665 3813376 525 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5283/statm): 931 525 566 18 0 913 0
[pid=5283] vsize: 3724
Current children cumulated CPU time (s) 525.6
Current children cumulated vsize (Kb) 3724

[startup+630.036 s]
Raw data (loadavg): 1.00 1.02 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 559 0 0 0 48465 4959 0 0 16 0 1 0 1800923665 3813376 525 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 931 525 566 18 0 913 0
[pid=5283] vsize: 3724
Current children cumulated CPU time (s) 534.24
Current children cumulated vsize (Kb) 3724

[startup+640.036 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 559 0 0 0 49231 5042 0 0 15 0 1 0 1800923665 3813376 525 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 931 525 566 18 0 913 0
[pid=5283] vsize: 3724
Current children cumulated CPU time (s) 542.73
Current children cumulated vsize (Kb) 3724

[startup+650.037 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 559 0 0 0 50010 5118 0 0 15 0 1 0 1800923665 3813376 525 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 931 525 566 18 0 913 0
[pid=5283] vsize: 3724
Current children cumulated CPU time (s) 551.28
Current children cumulated vsize (Kb) 3724

[startup+660.038 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 561 0 0 0 50772 5201 0 0 16 0 1 0 1800923665 3813376 527 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 931 527 566 18 0 913 0
[pid=5283] vsize: 3724
Current children cumulated CPU time (s) 559.73
Current children cumulated vsize (Kb) 3724

[startup+670.037 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 572 0 0 0 51540 5282 0 0 16 0 1 0 1800923665 3813376 538 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 931 538 566 18 0 913 0
[pid=5283] vsize: 3724
Current children cumulated CPU time (s) 568.22
Current children cumulated vsize (Kb) 3724

[startup+680.038 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) R 5282 5283 9854 0 -1 0 574 0 0 0 52324 5355 0 0 16 0 1 0 1800923665 3944448 540 4294967295 134512640 134578447 3221224624 3221223288 1075291632 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5283/statm): 963 540 566 18 0 945 0
[pid=5283] vsize: 3852
Current children cumulated CPU time (s) 576.79
Current children cumulated vsize (Kb) 3852

[startup+690.039 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) R 5282 5283 9854 0 -1 0 574 0 0 0 53105 5427 0 0 16 0 1 0 1800923665 3944448 540 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5283/statm): 963 540 566 18 0 945 0
[pid=5283] vsize: 3852
Current children cumulated CPU time (s) 585.32
Current children cumulated vsize (Kb) 3852

[startup+700.04 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 574 0 0 0 53893 5498 0 0 16 0 1 0 1800923665 3944448 540 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 963 540 566 18 0 945 0
[pid=5283] vsize: 3852
Current children cumulated CPU time (s) 593.91
Current children cumulated vsize (Kb) 3852

[startup+710.04 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 575 0 0 0 54693 5567 0 0 16 0 1 0 1800923665 3944448 541 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5283/statm): 963 541 566 18 0 945 0
[pid=5283] vsize: 3852
Current children cumulated CPU time (s) 602.6
Current children cumulated vsize (Kb) 3852

[startup+720.041 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 575 0 0 0 55483 5639 0 0 16 0 1 0 1800923665 3944448 541 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 963 541 566 18 0 945 0
[pid=5283] vsize: 3852
Current children cumulated CPU time (s) 611.22
Current children cumulated vsize (Kb) 3852

[startup+730.042 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 575 0 0 0 56265 5718 0 0 16 0 1 0 1800923665 3944448 541 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 963 541 566 18 0 945 0
[pid=5283] vsize: 3852
Current children cumulated CPU time (s) 619.83
Current children cumulated vsize (Kb) 3852

[startup+740.043 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 575 0 0 0 57048 5794 0 0 16 0 1 0 1800923665 3944448 541 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 963 541 566 18 0 945 0
[pid=5283] vsize: 3852
Current children cumulated CPU time (s) 628.42
Current children cumulated vsize (Kb) 3852

[startup+750.044 s]
Raw data (loadavg): 1.08 1.02 0.95 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 575 0 0 0 57827 5869 0 0 16 0 1 0 1800923665 3944448 541 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 963 541 566 18 0 945 0
[pid=5283] vsize: 3852
Current children cumulated CPU time (s) 636.96
Current children cumulated vsize (Kb) 3852

[startup+760.044 s]
Raw data (loadavg): 1.07 1.02 0.95 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 575 0 0 0 58603 5945 0 0 16 0 1 0 1800923665 3944448 541 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 963 541 566 18 0 945 0
[pid=5283] vsize: 3852
Current children cumulated CPU time (s) 645.48
Current children cumulated vsize (Kb) 3852

[startup+770.044 s]
Raw data (loadavg): 1.06 1.02 0.95 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 575 0 0 0 59393 6019 0 0 16 0 1 0 1800923665 3944448 541 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 963 541 566 18 0 945 0
[pid=5283] vsize: 3852
Current children cumulated CPU time (s) 654.12
Current children cumulated vsize (Kb) 3852

[startup+780.045 s]
Raw data (loadavg): 1.05 1.02 0.95 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) R 5282 5283 9854 0 -1 0 575 0 0 0 60160 6101 0 0 16 0 1 0 1800923665 3944448 541 4294967295 134512640 134578447 3221224624 3221223476 134555786 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5283/statm): 963 541 566 18 0 945 0
[pid=5283] vsize: 3852
Current children cumulated CPU time (s) 662.61
Current children cumulated vsize (Kb) 3852

[startup+790.046 s]
Raw data (loadavg): 1.04 1.02 0.95 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) R 5282 5283 9854 0 -1 0 605 0 0 0 60940 6176 0 0 16 0 1 0 1800923665 3981312 571 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5283/statm): 972 571 566 18 0 954 0
[pid=5283] vsize: 3888
Current children cumulated CPU time (s) 671.16
Current children cumulated vsize (Kb) 3888

[startup+800.047 s]
Raw data (loadavg): 1.03 1.02 0.95 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 61712 6248 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 679.6
Current children cumulated vsize (Kb) 3860

[startup+810.047 s]
Raw data (loadavg): 1.03 1.01 0.95 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 62474 6327 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 688.01
Current children cumulated vsize (Kb) 3860

[startup+820.048 s]
Raw data (loadavg): 1.02 1.01 0.95 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 63256 6398 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 696.54
Current children cumulated vsize (Kb) 3860

[startup+830.049 s]
Raw data (loadavg): 1.02 1.01 0.95 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 64015 6478 0 0 15 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 704.93
Current children cumulated vsize (Kb) 3860

[startup+840.05 s]
Raw data (loadavg): 1.02 1.01 0.95 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 64780 6558 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 713.38
Current children cumulated vsize (Kb) 3860

[startup+850.05 s]
Raw data (loadavg): 1.01 1.01 0.95 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 65535 6640 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 721.75
Current children cumulated vsize (Kb) 3860

[startup+860.051 s]
Raw data (loadavg): 1.01 1.01 0.95 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 66285 6723 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 730.08
Current children cumulated vsize (Kb) 3860

[startup+870.051 s]
Raw data (loadavg): 1.09 1.03 0.95 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 67039 6802 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 738.41
Current children cumulated vsize (Kb) 3860

[startup+880.052 s]
Raw data (loadavg): 1.07 1.02 0.95 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 67791 6889 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 746.8
Current children cumulated vsize (Kb) 3860

[startup+890.053 s]
Raw data (loadavg): 1.06 1.02 0.95 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 68559 6966 0 0 15 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 755.25
Current children cumulated vsize (Kb) 3860

[startup+900.053 s]
Raw data (loadavg): 1.05 1.02 0.95 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) R 5282 5283 9854 0 -1 0 605 0 0 0 69329 7046 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223584 134558602 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 763.75
Current children cumulated vsize (Kb) 3860

[startup+910.053 s]
Raw data (loadavg): 1.04 1.02 0.95 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 70091 7125 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 772.16
Current children cumulated vsize (Kb) 3860

[startup+920.053 s]
Raw data (loadavg): 1.04 1.02 0.95 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 70855 7208 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 780.63
Current children cumulated vsize (Kb) 3860

[startup+930.054 s]
Raw data (loadavg): 1.11 1.04 0.96 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 71625 7287 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 789.12
Current children cumulated vsize (Kb) 3860

[startup+940.054 s]
Raw data (loadavg): 1.09 1.03 0.96 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 72389 7364 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 797.53
Current children cumulated vsize (Kb) 3860

[startup+950.054 s]
Raw data (loadavg): 1.08 1.03 0.96 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 73163 7437 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 806
Current children cumulated vsize (Kb) 3860

[startup+960.055 s]
Raw data (loadavg): 1.07 1.03 0.96 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 73949 7512 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 814.61
Current children cumulated vsize (Kb) 3860

[startup+970.055 s]
Raw data (loadavg): 1.06 1.03 0.96 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 74729 7586 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 823.15
Current children cumulated vsize (Kb) 3860

[startup+980.056 s]
Raw data (loadavg): 1.13 1.04 0.96 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 75500 7664 0 0 15 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 831.64
Current children cumulated vsize (Kb) 3860

[startup+990.057 s]
Raw data (loadavg): 1.11 1.04 0.96 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 76273 7741 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 840.14
Current children cumulated vsize (Kb) 3860

[startup+1000.06 s]
Raw data (loadavg): 1.09 1.04 0.96 3/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) R 5282 5283 9854 0 -1 0 605 0 0 0 77040 7819 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223536 134557415 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 848.59
Current children cumulated vsize (Kb) 3860

[startup+1010.06 s]
Raw data (loadavg): 1.08 1.04 0.96 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 77806 7898 0 0 15 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 857.04
Current children cumulated vsize (Kb) 3860

[startup+1020.06 s]
Raw data (loadavg): 1.06 1.04 0.96 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 78566 7979 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 865.45
Current children cumulated vsize (Kb) 3860

[startup+1030.06 s]
Raw data (loadavg): 1.05 1.03 0.96 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 79331 8056 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 873.87
Current children cumulated vsize (Kb) 3860

[startup+1040.06 s]
Raw data (loadavg): 1.04 1.03 0.96 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 80102 8137 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (Kb) 3860

[startup+1050.06 s]
Raw data (loadavg): 1.04 1.03 0.96 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) R 5282 5283 9854 0 -1 0 605 0 0 0 80883 8213 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 890.96
Current children cumulated vsize (Kb) 3860

[startup+1060.06 s]
Raw data (loadavg): 1.03 1.03 0.96 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 81657 8292 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 899.49
Current children cumulated vsize (Kb) 3860

[startup+1070.06 s]
Raw data (loadavg): 1.11 1.04 0.97 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 82424 8369 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 907.93
Current children cumulated vsize (Kb) 3860

[startup+1080.06 s]
Raw data (loadavg): 1.09 1.04 0.97 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 83190 8447 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 916.37
Current children cumulated vsize (Kb) 3860

[startup+1090.06 s]
Raw data (loadavg): 1.07 1.04 0.97 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 83960 8525 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 924.85
Current children cumulated vsize (Kb) 3860

[startup+1100.06 s]
Raw data (loadavg): 1.14 1.06 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 84719 8607 0 0 15 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 933.26
Current children cumulated vsize (Kb) 3860

[startup+1110.07 s]
Raw data (loadavg): 1.12 1.05 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 85475 8692 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 941.67
Current children cumulated vsize (Kb) 3860

[startup+1120.06 s]
Raw data (loadavg): 1.10 1.05 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 86245 8773 0 0 15 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 950.18
Current children cumulated vsize (Kb) 3860

[startup+1130.07 s]
Raw data (loadavg): 1.08 1.05 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 87007 8859 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 958.66
Current children cumulated vsize (Kb) 3860

[startup+1140.07 s]
Raw data (loadavg): 1.07 1.05 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 605 0 0 0 87784 8935 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 967.19
Current children cumulated vsize (Kb) 3860

[startup+1150.07 s]
Raw data (loadavg): 1.06 1.05 0.98 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) R 5282 5283 9854 0 -1 0 605 0 0 0 88565 9007 0 0 16 0 1 0 1800923665 3952640 571 4294967295 134512640 134578447 3221224624 3221223456 134528412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5283/statm): 965 571 566 18 0 947 0
[pid=5283] vsize: 3860
Current children cumulated CPU time (s) 975.72
Current children cumulated vsize (Kb) 3860

[startup+1160.07 s]
Raw data (loadavg): 1.05 1.04 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 619 0 0 0 89343 9082 0 0 16 0 1 0 1800923665 4087808 585 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 998 585 566 18 0 980 0
[pid=5283] vsize: 3992
Current children cumulated CPU time (s) 984.25
Current children cumulated vsize (Kb) 3992

[startup+1170.07 s]
Raw data (loadavg): 1.04 1.04 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 619 0 0 0 90126 9151 0 0 16 0 1 0 1800923665 4087808 585 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 998 585 566 18 0 980 0
[pid=5283] vsize: 3992
Current children cumulated CPU time (s) 992.77
Current children cumulated vsize (Kb) 3992

[startup+1180.07 s]
Raw data (loadavg): 1.04 1.04 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 619 0 0 0 90900 9227 0 0 16 0 1 0 1800923665 4087808 585 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 998 585 566 18 0 980 0
[pid=5283] vsize: 3992
Current children cumulated CPU time (s) 1001.27
Current children cumulated vsize (Kb) 3992

[startup+1190.07 s]
Raw data (loadavg): 1.03 1.04 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 624 0 0 0 91674 9303 0 0 16 0 1 0 1800923665 4087808 590 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 998 590 566 18 0 980 0
[pid=5283] vsize: 3992
Current children cumulated CPU time (s) 1009.77
Current children cumulated vsize (Kb) 3992

[startup+1200.07 s]
Raw data (loadavg): 1.02 1.04 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 624 0 0 0 92438 9383 0 0 16 0 1 0 1800923665 4087808 590 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 998 590 566 18 0 980 0
[pid=5283] vsize: 3992
Current children cumulated CPU time (s) 1018.21
Current children cumulated vsize (Kb) 3992

[startup+1210.07 s]
Raw data (loadavg): 1.02 1.03 0.98 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 624 0 0 0 93233 9452 0 0 16 0 1 0 1800923665 4087808 590 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 998 590 566 18 0 980 0
[pid=5283] vsize: 3992
Current children cumulated CPU time (s) 1026.85
Current children cumulated vsize (Kb) 3992

[startup+1220.07 s]
Raw data (loadavg): 1.02 1.03 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 630 0 0 0 94027 9521 0 0 16 0 1 0 1800923665 4087808 596 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 998 596 566 18 0 980 0
[pid=5283] vsize: 3992
Current children cumulated CPU time (s) 1035.48
Current children cumulated vsize (Kb) 3992

[startup+1230.07 s]
Raw data (loadavg): 1.01 1.03 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 638 0 0 0 94826 9589 0 0 16 0 1 0 1800923665 4087808 604 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 998 604 566 18 0 980 0
[pid=5283] vsize: 3992
Current children cumulated CPU time (s) 1044.15
Current children cumulated vsize (Kb) 3992

[startup+1240.07 s]
Raw data (loadavg): 1.01 1.03 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 638 0 0 0 95628 9656 0 0 16 0 1 0 1800923665 4087808 604 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 998 604 566 18 0 980 0
[pid=5283] vsize: 3992
Current children cumulated CPU time (s) 1052.84
Current children cumulated vsize (Kb) 3992

[startup+1250.07 s]
Raw data (loadavg): 1.01 1.03 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 638 0 0 0 96421 9723 0 0 16 0 1 0 1800923665 4087808 604 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 998 604 566 18 0 980 0
[pid=5283] vsize: 3992
Current children cumulated CPU time (s) 1061.44
Current children cumulated vsize (Kb) 3992

[startup+1260.07 s]
Raw data (loadavg): 1.01 1.03 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 638 0 0 0 97215 9793 0 0 16 0 1 0 1800923665 4087808 604 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 998 604 566 18 0 980 0
[pid=5283] vsize: 3992
Current children cumulated CPU time (s) 1070.08
Current children cumulated vsize (Kb) 3992

[startup+1270.07 s]
Raw data (loadavg): 1.01 1.03 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 638 0 0 0 98013 9862 0 0 16 0 1 0 1800923665 4087808 604 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 998 604 566 18 0 980 0
[pid=5283] vsize: 3992
Current children cumulated CPU time (s) 1078.75
Current children cumulated vsize (Kb) 3992

[startup+1280.07 s]
Raw data (loadavg): 1.00 1.02 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 638 0 0 0 98780 9942 0 0 16 0 1 0 1800923665 4087808 604 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 998 604 566 18 0 980 0
[pid=5283] vsize: 3992
Current children cumulated CPU time (s) 1087.22
Current children cumulated vsize (Kb) 3992

[startup+1290.08 s]
Raw data (loadavg): 1.00 1.02 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 638 0 0 0 99568 10012 0 0 16 0 1 0 1800923665 4087808 604 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 998 604 566 18 0 980 0
[pid=5283] vsize: 3992
Current children cumulated CPU time (s) 1095.8
Current children cumulated vsize (Kb) 3992

[startup+1300.08 s]
Raw data (loadavg): 1.00 1.02 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 639 0 0 0 100352 10088 0 0 16 0 1 0 1800923665 4087808 605 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 998 605 566 18 0 980 0
[pid=5283] vsize: 3992
Current children cumulated CPU time (s) 1104.4
Current children cumulated vsize (Kb) 3992

[startup+1310.08 s]
Raw data (loadavg): 1.00 1.02 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 641 0 0 0 101136 10164 0 0 16 0 1 0 1800923665 4227072 607 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 1032 607 566 18 0 1014 0
[pid=5283] vsize: 4128
Current children cumulated CPU time (s) 1113
Current children cumulated vsize (Kb) 4128

[startup+1320.08 s]
Raw data (loadavg): 1.00 1.02 0.98 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) R 5282 5283 9854 0 -1 0 643 0 0 0 101921 10237 0 0 16 0 1 0 1800923665 4227072 609 4294967295 134512640 134578447 3221224624 3221223536 134557225 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5283/statm): 1032 609 566 18 0 1014 0
[pid=5283] vsize: 4128
Current children cumulated CPU time (s) 1121.58
Current children cumulated vsize (Kb) 4128

[startup+1330.08 s]
Raw data (loadavg): 1.00 1.02 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 643 0 0 0 102703 10311 0 0 16 0 1 0 1800923665 4227072 609 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 1032 609 566 18 0 1014 0
[pid=5283] vsize: 4128
Current children cumulated CPU time (s) 1130.14
Current children cumulated vsize (Kb) 4128

[startup+1340.08 s]
Raw data (loadavg): 1.07 1.03 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 645 0 0 0 103493 10382 0 0 16 0 1 0 1800923665 4227072 611 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/5283/statm): 1032 611 566 18 0 1014 0
[pid=5283] vsize: 4128
Current children cumulated CPU time (s) 1138.75
Current children cumulated vsize (Kb) 4128

[startup+1350.08 s]
Raw data (loadavg): 1.06 1.03 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 645 0 0 0 104269 10454 0 0 16 0 1 0 1800923665 4227072 611 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 1032 611 566 18 0 1014 0
[pid=5283] vsize: 4128
Current children cumulated CPU time (s) 1147.23
Current children cumulated vsize (Kb) 4128

[startup+1360.08 s]
Raw data (loadavg): 1.05 1.03 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 645 0 0 0 105037 10535 0 0 16 0 1 0 1800923665 4227072 611 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 1032 611 566 18 0 1014 0
[pid=5283] vsize: 4128
Current children cumulated CPU time (s) 1155.72
Current children cumulated vsize (Kb) 4128

[startup+1370.08 s]
Raw data (loadavg): 1.04 1.03 0.98 2/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) R 5282 5283 9854 0 -1 0 645 0 0 0 105834 10605 0 0 16 0 1 0 1800923665 4227072 611 4294967295 134512640 134578447 3221224624 3221223552 134516681 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5283/statm): 1032 611 566 18 0 1014 0
[pid=5283] vsize: 4128
Current children cumulated CPU time (s) 1164.39
Current children cumulated vsize (Kb) 4128

[startup+1380.08 s]
Raw data (loadavg): 1.04 1.03 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 645 0 0 0 106616 10679 0 0 16 0 1 0 1800923665 4227072 611 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 1032 611 566 18 0 1014 0
[pid=5283] vsize: 4128
Current children cumulated CPU time (s) 1172.95
Current children cumulated vsize (Kb) 4128

[startup+1390.08 s]
Raw data (loadavg): 1.03 1.03 0.98 1/56 5283
Raw data (/proc/5283/stat): 5283 (Pueblo) T 5282 5283 9854 0 -1 0 645 0 0 0 107394 10756 0 0 16 0 1 0 1800923665 4227072 611 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/5283/statm): 1032 611 566 18 0 1014 0
[pid=5283] vsize: 4128
Current children cumulated CPU time (s) 1181.5
Current children cumulated vsize (Kb) 4128
One traced child (pid=5283) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1398.96
CPU time (s): 1189.01
CPU user time (s): 1080.7
CPU system time (s): 108.309
CPU usage (%): 84.9925
Max. virtual memory (cumulated for all children) (Kb): 4128

Verifier Data

Verifier:	OK	882