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/miplib3/normalized-mps-v2-20-10-air04.opb
MD5SUM26490113618ae9605b5ebe6370b5910b
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 8904
Biggest coefficient in the objective function 2258
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 5135151
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 2258
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 5135151
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables8904
Total number of constraints9727
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)9727
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint368

Trace number 8243

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        863136 kB
Buffers:         32656 kB
Cached:         110804 kB
SwapCached:        836 kB
Active:          68140 kB
Inactive:        78016 kB
HighTotal:      131008 kB
HighFree:        19404 kB
LowTotal:       903652 kB
LowFree:        843732 kB
SwapTotal:     2097136 kB
SwapFree:      2095792 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            19544 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 16:18:22 (client local time) WITH STATUS 0 IN 1200.14 SECONDS
stats: 5302 7 1200.14 0

Solver Data

c Pueblo version 1.3 (July 2005)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859809007 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/804/statm): 41 3 40 18 0 23 0
[pid=804] 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.0036 s]
Raw data (loadavg): 0.93 0.97 0.92 2/56 804
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 2229 0 0 0 987 9 0 0 25 0 1 0 1859809007 11186176 2195 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 2731 2195 566 18 0 2713 0
[pid=804] vsize: 10924
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 10924

[startup+20.0042 s]
Raw data (loadavg): 0.94 0.97 0.92 2/56 804
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 2312 0 0 0 1987 10 0 0 25 0 1 0 1859809007 11436032 2278 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 2792 2278 566 18 0 2774 0
[pid=804] vsize: 11168
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 11168

[startup+30.0049 s]
Raw data (loadavg): 0.95 0.97 0.92 2/56 804
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 2645 0 0 0 2986 11 0 0 25 0 1 0 1859809007 12804096 2611 4294967295 134512640 134578447 3221224624 3221223296 134522551 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 3126 2611 566 18 0 3108 0
[pid=804] vsize: 12504
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 12504

[startup+40.0045 s]
Raw data (loadavg): 0.95 0.97 0.92 2/56 804
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 3056 0 0 0 3985 11 0 0 25 0 1 0 1859809007 14475264 3022 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 3534 3022 566 18 0 3516 0
[pid=804] vsize: 14136
Current children cumulated CPU time (s) 39.96
Current children cumulated vsize (Kb) 14136

[startup+50.0052 s]
Raw data (loadavg): 0.96 0.97 0.92 2/56 804
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 3215 0 0 0 4985 12 0 0 25 0 1 0 1859809007 15171584 3181 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 3704 3181 566 18 0 3686 0
[pid=804] vsize: 14816
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 14816

[startup+60.0048 s]
Raw data (loadavg): 0.97 0.97 0.92 2/56 804
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 3444 0 0 0 5984 13 0 0 25 0 1 0 1859809007 16121856 3410 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 3936 3410 566 18 0 3918 0
[pid=804] vsize: 15744
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 15744

[startup+70.0044 s]
Raw data (loadavg): 0.97 0.97 0.92 2/56 804
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 3684 0 0 0 6983 13 0 0 25 0 1 0 1859809007 17121280 3650 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 4180 3650 566 18 0 4162 0
[pid=804] vsize: 16720
Current children cumulated CPU time (s) 69.96
Current children cumulated vsize (Kb) 16720

[startup+80.0051 s]
Raw data (loadavg): 0.98 0.97 0.92 2/56 804
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 3902 0 0 0 7983 14 0 0 25 0 1 0 1859809007 17965056 3868 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 4386 3868 566 18 0 4368 0
[pid=804] vsize: 17544
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 17544

[startup+90.0047 s]
Raw data (loadavg): 0.98 0.97 0.92 2/56 804
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 4116 0 0 0 8982 14 0 0 25 0 1 0 1859809007 18878464 4082 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 4609 4082 566 18 0 4591 0
[pid=804] vsize: 18436
Current children cumulated CPU time (s) 89.96
Current children cumulated vsize (Kb) 18436

[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/56 804
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 4316 0 0 0 9986 15 0 0 25 0 1 0 1859809007 19656704 4282 4294967295 134512640 134578447 3221224624 3221223200 134554164 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 4799 4282 566 18 0 4781 0
[pid=804] vsize: 19196
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 19196

[startup+110.051 s]
Raw data (loadavg): 1.06 0.99 0.93 2/56 861
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 4481 0 0 0 10985 15 0 0 25 0 1 0 1859809007 20488192 4447 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 5002 4447 566 18 0 4984 0
[pid=804] vsize: 20008
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 20008

[startup+120.052 s]
Raw data (loadavg): 1.05 0.99 0.93 2/56 861
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 4778 0 0 0 11984 16 0 0 25 0 1 0 1859809007 21680128 4744 4294967295 134512640 134578447 3221224624 3221223456 134558198 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 5293 4744 566 18 0 5275 0
[pid=804] vsize: 21172
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 21172

[startup+130.052 s]
Raw data (loadavg): 1.04 0.99 0.93 2/56 861
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 4819 0 0 0 12985 16 0 0 25 0 1 0 1859809007 21815296 4785 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 5326 4785 566 18 0 5308 0
[pid=804] vsize: 21304
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 21304

[startup+140.053 s]
Raw data (loadavg): 1.04 0.99 0.93 2/56 861
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 4819 0 0 0 13985 16 0 0 25 0 1 0 1859809007 21815296 4785 4294967295 134512640 134578447 3221224624 3221223504 134519006 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 5326 4785 566 18 0 5308 0
[pid=804] vsize: 21304
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 21304

[startup+150.053 s]
Raw data (loadavg): 1.10 1.00 0.93 2/56 861
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 4819 0 0 0 14985 16 0 0 25 0 1 0 1859809007 21815296 4785 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 5326 4785 566 18 0 5308 0
[pid=804] vsize: 21304
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 21304

[startup+160.053 s]
Raw data (loadavg): 1.09 1.00 0.93 2/56 861
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 4822 0 0 0 15985 16 0 0 25 0 1 0 1859809007 21815296 4788 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 5326 4788 566 18 0 5308 0
[pid=804] vsize: 21304
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 21304

[startup+170.053 s]
Raw data (loadavg): 1.07 1.00 0.93 2/56 861
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 4822 0 0 0 16985 16 0 0 25 0 1 0 1859809007 21815296 4788 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 5326 4788 566 18 0 5308 0
[pid=804] vsize: 21304
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 21304

[startup+180.054 s]
Raw data (loadavg): 1.06 1.00 0.93 2/56 861
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 5068 0 0 0 17985 17 0 0 25 0 1 0 1859809007 22814720 5034 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 5570 5034 566 18 0 5552 0
[pid=804] vsize: 22280
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 22280

[startup+190.054 s]
Raw data (loadavg): 1.05 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 5374 0 0 0 18984 17 0 0 25 0 1 0 1859809007 23920640 5318 4294967295 134512640 134578447 3221224624 3221223568 134558940 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 5840 5318 566 18 0 5822 0
[pid=804] vsize: 23360
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (Kb) 23360

[startup+200.054 s]
Raw data (loadavg): 1.04 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 5470 0 0 0 19984 17 0 0 25 0 1 0 1859809007 24342528 5414 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 5943 5414 566 18 0 5925 0
[pid=804] vsize: 23772
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 23772

[startup+210.053 s]
Raw data (loadavg): 1.04 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 5470 0 0 0 20985 17 0 0 25 0 1 0 1859809007 24342528 5414 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 5943 5414 566 18 0 5925 0
[pid=804] vsize: 23772
Current children cumulated CPU time (s) 210.02
Current children cumulated vsize (Kb) 23772

[startup+220.054 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 5513 0 0 0 21984 18 0 0 25 0 1 0 1859809007 24444928 5446 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 5968 5446 566 18 0 5950 0
[pid=804] vsize: 23872
Current children cumulated CPU time (s) 220.02
Current children cumulated vsize (Kb) 23872

[startup+230.055 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 5564 0 0 0 22984 18 0 0 25 0 1 0 1859809007 24723456 5497 4294967295 134512640 134578447 3221224624 3221223504 134527723 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 6036 5497 566 18 0 6018 0
[pid=804] vsize: 24144
Current children cumulated CPU time (s) 230.02
Current children cumulated vsize (Kb) 24144

[startup+240.055 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 5699 0 0 0 23984 18 0 0 25 0 1 0 1859809007 25255936 5632 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 6166 5632 566 18 0 6148 0
[pid=804] vsize: 24664
Current children cumulated CPU time (s) 240.02
Current children cumulated vsize (Kb) 24664

[startup+250.055 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 5944 0 0 0 24983 19 0 0 25 0 1 0 1859809007 26320896 5874 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 6426 5874 566 18 0 6408 0
[pid=804] vsize: 25704
Current children cumulated CPU time (s) 250.02
Current children cumulated vsize (Kb) 25704

[startup+260.056 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 6248 0 0 0 25982 20 0 0 25 0 1 0 1859809007 27533312 6160 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 6722 6160 566 18 0 6704 0
[pid=804] vsize: 26888
Current children cumulated CPU time (s) 260.02
Current children cumulated vsize (Kb) 26888

[startup+270.055 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 6501 0 0 0 26982 20 0 0 25 0 1 0 1859809007 28344320 6384 4294967295 134512640 134578447 3221224624 3221221488 134532499 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 6920 6384 566 18 0 6902 0
[pid=804] vsize: 27680
Current children cumulated CPU time (s) 270.02
Current children cumulated vsize (Kb) 27680

[startup+280.056 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 6766 0 0 0 27980 21 0 0 25 0 1 0 1859809007 29159424 6597 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 7119 6597 566 18 0 7101 0
[pid=804] vsize: 28476
Current children cumulated CPU time (s) 280.01
Current children cumulated vsize (Kb) 28476

[startup+290.057 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 6946 0 0 0 28980 21 0 0 25 0 1 0 1859809007 29954048 6759 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 7313 6759 566 18 0 7295 0
[pid=804] vsize: 29252
Current children cumulated CPU time (s) 290.01
Current children cumulated vsize (Kb) 29252

[startup+300.056 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7123 0 0 0 29978 22 0 0 25 0 1 0 1859809007 30625792 6930 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 7477 6930 566 18 0 7459 0
[pid=804] vsize: 29908
Current children cumulated CPU time (s) 300
Current children cumulated vsize (Kb) 29908

[startup+310.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7328 0 0 0 30977 23 0 0 25 0 1 0 1859809007 31240192 7105 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 7627 7105 566 18 0 7609 0
[pid=804] vsize: 30508
Current children cumulated CPU time (s) 310
Current children cumulated vsize (Kb) 30508

[startup+320.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7471 0 0 0 31977 23 0 0 25 0 1 0 1859809007 31875072 7248 4294967295 134512640 134578447 3221224624 3221223572 134526354 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 7782 7248 566 18 0 7764 0
[pid=804] vsize: 31128
Current children cumulated CPU time (s) 320
Current children cumulated vsize (Kb) 31128

[startup+330.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7761 0 0 0 32976 24 0 0 25 0 1 0 1859809007 32997376 7523 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8056 7523 566 18 0 8038 0
[pid=804] vsize: 32224
Current children cumulated CPU time (s) 330
Current children cumulated vsize (Kb) 32224

[startup+340.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7873 0 0 0 33976 24 0 0 25 0 1 0 1859809007 33423360 7635 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7635 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 340
Current children cumulated vsize (Kb) 32640

[startup+350.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7873 0 0 0 34976 24 0 0 25 0 1 0 1859809007 33423360 7635 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7635 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 350
Current children cumulated vsize (Kb) 32640

[startup+360.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7873 0 0 0 35976 24 0 0 25 0 1 0 1859809007 33423360 7635 4294967295 134512640 134578447 3221224624 3221221024 134533073 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7635 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 360
Current children cumulated vsize (Kb) 32640

[startup+370.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7873 0 0 0 36976 24 0 0 25 0 1 0 1859809007 33423360 7635 4294967295 134512640 134578447 3221224624 3221223504 134527720 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7635 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 370
Current children cumulated vsize (Kb) 32640

[startup+380.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7873 0 0 0 37977 24 0 0 25 0 1 0 1859809007 33423360 7635 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7635 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 380.01
Current children cumulated vsize (Kb) 32640

[startup+390.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7873 0 0 0 38977 25 0 0 25 0 1 0 1859809007 33423360 7635 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7635 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 390.02
Current children cumulated vsize (Kb) 32640

[startup+400.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7873 0 0 0 39976 25 0 0 25 0 1 0 1859809007 33423360 7635 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7635 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 400.01
Current children cumulated vsize (Kb) 32640

[startup+410.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7873 0 0 0 40976 25 0 0 25 0 1 0 1859809007 33423360 7635 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7635 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 410.01
Current children cumulated vsize (Kb) 32640

[startup+420.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7873 0 0 0 41976 25 0 0 25 0 1 0 1859809007 33423360 7635 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7635 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 420.01
Current children cumulated vsize (Kb) 32640

[startup+430.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7873 0 0 0 42976 25 0 0 25 0 1 0 1859809007 33423360 7635 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7635 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 430.01
Current children cumulated vsize (Kb) 32640

[startup+440.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7873 0 0 0 43976 25 0 0 25 0 1 0 1859809007 33423360 7635 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7635 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 440.01
Current children cumulated vsize (Kb) 32640

[startup+450.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 865
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7873 0 0 0 44976 26 0 0 25 0 1 0 1859809007 33423360 7635 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7635 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 450.02
Current children cumulated vsize (Kb) 32640

[startup+460.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7873 0 0 0 45977 26 0 0 25 0 1 0 1859809007 33423360 7635 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7635 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 460.03
Current children cumulated vsize (Kb) 32640

[startup+470.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7873 0 0 0 46977 26 0 0 25 0 1 0 1859809007 33423360 7635 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7635 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 470.03
Current children cumulated vsize (Kb) 32640

[startup+480.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7873 0 0 0 47977 26 0 0 25 0 1 0 1859809007 33423360 7635 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7635 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 480.03
Current children cumulated vsize (Kb) 32640

[startup+490.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7873 0 0 0 48977 26 0 0 25 0 1 0 1859809007 33423360 7635 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7635 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 490.03
Current children cumulated vsize (Kb) 32640

[startup+500.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7873 0 0 0 49977 26 0 0 25 0 1 0 1859809007 33423360 7635 4294967295 134512640 134578447 3221224624 3221223476 134555755 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7635 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 500.03
Current children cumulated vsize (Kb) 32640

[startup+510.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7873 0 0 0 50978 26 0 0 25 0 1 0 1859809007 33423360 7635 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7635 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 510.04
Current children cumulated vsize (Kb) 32640

[startup+520.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7874 0 0 0 51978 26 0 0 25 0 1 0 1859809007 33423360 7636 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7636 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 520.04
Current children cumulated vsize (Kb) 32640

[startup+530.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7874 0 0 0 52978 26 0 0 25 0 1 0 1859809007 33423360 7636 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7636 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 530.04
Current children cumulated vsize (Kb) 32640

[startup+540.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7874 0 0 0 53978 26 0 0 25 0 1 0 1859809007 33423360 7636 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7636 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 540.04
Current children cumulated vsize (Kb) 32640

[startup+550.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7874 0 0 0 54978 26 0 0 25 0 1 0 1859809007 33423360 7636 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7636 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 550.04
Current children cumulated vsize (Kb) 32640

[startup+560.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7874 0 0 0 55979 26 0 0 25 0 1 0 1859809007 33423360 7636 4294967295 134512640 134578447 3221224624 3221223248 134532004 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7636 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 560.05
Current children cumulated vsize (Kb) 32640

[startup+570.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7874 0 0 0 56979 26 0 0 25 0 1 0 1859809007 33423360 7636 4294967295 134512640 134578447 3221224624 3221223284 1075289600 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7636 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 570.05
Current children cumulated vsize (Kb) 32640

[startup+580.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7874 0 0 0 57979 26 0 0 25 0 1 0 1859809007 33423360 7636 4294967295 134512640 134578447 3221224624 3221223504 134527818 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7636 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 580.05
Current children cumulated vsize (Kb) 32640

[startup+590.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7874 0 0 0 58979 26 0 0 25 0 1 0 1859809007 33423360 7636 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7636 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 590.05
Current children cumulated vsize (Kb) 32640

[startup+600.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7874 0 0 0 59979 26 0 0 25 0 1 0 1859809007 33423360 7636 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7636 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 600.05
Current children cumulated vsize (Kb) 32640

[startup+610.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7875 0 0 0 60980 26 0 0 25 0 1 0 1859809007 33423360 7637 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7637 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 610.06
Current children cumulated vsize (Kb) 32640

[startup+620.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7875 0 0 0 61980 26 0 0 25 0 1 0 1859809007 33423360 7637 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7637 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 620.06
Current children cumulated vsize (Kb) 32640

[startup+630.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7875 0 0 0 62980 26 0 0 25 0 1 0 1859809007 33423360 7637 4294967295 134512640 134578447 3221224624 3221223376 134528867 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7637 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 630.06
Current children cumulated vsize (Kb) 32640

[startup+640.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7875 0 0 0 63980 26 0 0 25 0 1 0 1859809007 33423360 7637 4294967295 134512640 134578447 3221224624 3221223520 134519982 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7637 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 640.06
Current children cumulated vsize (Kb) 32640

[startup+650.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7875 0 0 0 64980 26 0 0 25 0 1 0 1859809007 33423360 7637 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7637 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 650.06
Current children cumulated vsize (Kb) 32640

[startup+660.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7875 0 0 0 65980 26 0 0 25 0 1 0 1859809007 33423360 7637 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7637 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 660.06
Current children cumulated vsize (Kb) 32640

[startup+670.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7875 0 0 0 66981 26 0 0 25 0 1 0 1859809007 33423360 7637 4294967295 134512640 134578447 3221224624 3221223504 134518981 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7637 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 670.07
Current children cumulated vsize (Kb) 32640

[startup+680.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7875 0 0 0 67981 26 0 0 25 0 1 0 1859809007 33423360 7637 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7637 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 680.07
Current children cumulated vsize (Kb) 32640

[startup+690.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7875 0 0 0 68981 26 0 0 25 0 1 0 1859809007 33423360 7637 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7637 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 690.07
Current children cumulated vsize (Kb) 32640

[startup+700.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 7875 0 0 0 69981 26 0 0 25 0 1 0 1859809007 33423360 7637 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8160 7637 566 18 0 8142 0
[pid=804] vsize: 32640
Current children cumulated CPU time (s) 700.07
Current children cumulated vsize (Kb) 32640

[startup+710.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 8137 0 0 0 70981 27 0 0 25 0 1 0 1859809007 34516992 7899 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8427 7899 566 18 0 8409 0
[pid=804] vsize: 33708
Current children cumulated CPU time (s) 710.08
Current children cumulated vsize (Kb) 33708

[startup+720.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 8412 0 0 0 71980 27 0 0 25 0 1 0 1859809007 35672064 8174 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8709 8174 566 18 0 8691 0
[pid=804] vsize: 34836
Current children cumulated CPU time (s) 720.07
Current children cumulated vsize (Kb) 34836

[startup+730.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 8710 0 0 0 72979 28 0 0 25 0 1 0 1859809007 36839424 8468 4294967295 134512640 134578447 3221224624 3221223248 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 8994 8468 566 18 0 8976 0
[pid=804] vsize: 35976
Current children cumulated CPU time (s) 730.07
Current children cumulated vsize (Kb) 35976

[startup+740.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 8945 0 0 0 73979 29 0 0 25 0 1 0 1859809007 37732352 8688 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 9212 8688 566 18 0 9194 0
[pid=804] vsize: 36848
Current children cumulated CPU time (s) 740.08
Current children cumulated vsize (Kb) 36848

[startup+750.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 9212 0 0 0 74979 29 0 0 25 0 1 0 1859809007 38936576 8955 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 9506 8955 566 18 0 9488 0
[pid=804] vsize: 38024
Current children cumulated CPU time (s) 750.08
Current children cumulated vsize (Kb) 38024

[startup+760.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 9421 0 0 0 75978 30 0 0 25 0 1 0 1859809007 39567360 9141 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 9660 9141 566 18 0 9642 0
[pid=804] vsize: 38640
Current children cumulated CPU time (s) 760.08
Current children cumulated vsize (Kb) 38640

[startup+770.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 9668 0 0 0 76977 31 0 0 25 0 1 0 1859809007 40624128 9388 4294967295 134512640 134578447 3221224624 3221223488 134517843 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 9918 9388 566 18 0 9900 0
[pid=804] vsize: 39672
Current children cumulated CPU time (s) 770.08
Current children cumulated vsize (Kb) 39672

[startup+780.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 9912 0 0 0 77976 31 0 0 25 0 1 0 1859809007 41607168 9632 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 10158 9632 566 18 0 10140 0
[pid=804] vsize: 40632
Current children cumulated CPU time (s) 780.07
Current children cumulated vsize (Kb) 40632

[startup+790.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 10038 0 0 0 78976 31 0 0 25 0 1 0 1859809007 42143744 9758 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/804/statm): 10289 9758 566 18 0 10271 0
[pid=804] vsize: 41156
Current children cumulated CPU time (s) 790.07
Current children cumulated vsize (Kb) 41156

[startup+800.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 10325 0 0 0 79975 32 0 0 25 0 1 0 1859809007 43302912 10045 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 10572 10045 566 18 0 10554 0
[pid=804] vsize: 42288
Current children cumulated CPU time (s) 800.07
Current children cumulated vsize (Kb) 42288

[startup+810.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 10589 0 0 0 80975 32 0 0 25 0 1 0 1859809007 44318720 10301 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 10820 10301 566 18 0 10802 0
[pid=804] vsize: 43280
Current children cumulated CPU time (s) 810.07
Current children cumulated vsize (Kb) 43280

[startup+820.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 10761 0 0 0 81974 33 0 0 25 0 1 0 1859809007 45015040 10447 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 10990 10447 566 18 0 10972 0
[pid=804] vsize: 43960
Current children cumulated CPU time (s) 820.07
Current children cumulated vsize (Kb) 43960

[startup+830.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 11066 0 0 0 82973 34 0 0 25 0 1 0 1859809007 46198784 10752 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 11279 10752 566 18 0 11261 0
[pid=804] vsize: 45116
Current children cumulated CPU time (s) 830.07
Current children cumulated vsize (Kb) 45116

[startup+840.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 11294 0 0 0 83972 34 0 0 25 0 1 0 1859809007 47091712 10970 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 11497 10970 566 18 0 11479 0
[pid=804] vsize: 45988
Current children cumulated CPU time (s) 840.06
Current children cumulated vsize (Kb) 45988

[startup+850.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 11451 0 0 0 84972 34 0 0 25 0 1 0 1859809007 47816704 11127 4294967295 134512640 134578447 3221224624 3221223456 134528498 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 11674 11127 566 18 0 11656 0
[pid=804] vsize: 46696
Current children cumulated CPU time (s) 850.06
Current children cumulated vsize (Kb) 46696

[startup+860.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 11683 0 0 0 85971 35 0 0 25 0 1 0 1859809007 48779264 11359 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 11909 11359 566 18 0 11891 0
[pid=804] vsize: 47636
Current children cumulated CPU time (s) 860.06
Current children cumulated vsize (Kb) 47636

[startup+870.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 11784 0 0 0 86971 35 0 0 25 0 1 0 1859809007 49156096 11460 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 12001 11460 566 18 0 11983 0
[pid=804] vsize: 48004
Current children cumulated CPU time (s) 870.06
Current children cumulated vsize (Kb) 48004

[startup+880.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 11989 0 0 0 87971 36 0 0 25 0 1 0 1859809007 49930240 11665 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 12190 11665 566 18 0 12172 0
[pid=804] vsize: 48760
Current children cumulated CPU time (s) 880.07
Current children cumulated vsize (Kb) 48760

[startup+890.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 12345 0 0 0 88970 36 0 0 25 0 1 0 1859809007 51367936 12021 4294967295 134512640 134578447 3221224624 3221223504 134518932 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 12541 12021 566 18 0 12523 0
[pid=804] vsize: 50164
Current children cumulated CPU time (s) 890.06
Current children cumulated vsize (Kb) 50164

[startup+900.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 12629 0 0 0 89970 37 0 0 25 0 1 0 1859809007 52326400 12230 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 12775 12230 566 18 0 12757 0
[pid=804] vsize: 51100
Current children cumulated CPU time (s) 900.07
Current children cumulated vsize (Kb) 51100

[startup+910.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 12732 0 0 0 90970 37 0 0 25 0 1 0 1859809007 52666368 12333 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 12858 12333 566 18 0 12840 0
[pid=804] vsize: 51432
Current children cumulated CPU time (s) 910.07
Current children cumulated vsize (Kb) 51432

[startup+920.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 12822 0 0 0 91970 37 0 0 25 0 1 0 1859809007 52998144 12410 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 12939 12410 566 18 0 12921 0
[pid=804] vsize: 51756
Current children cumulated CPU time (s) 920.07
Current children cumulated vsize (Kb) 51756

[startup+930.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 12981 0 0 0 92970 37 0 0 25 0 1 0 1859809007 53714944 12569 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 13114 12569 566 18 0 13096 0
[pid=804] vsize: 52456
Current children cumulated CPU time (s) 930.07
Current children cumulated vsize (Kb) 52456

[startup+940.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 13230 0 0 0 93969 38 0 0 25 0 1 0 1859809007 54624256 12818 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 13336 12818 566 18 0 13318 0
[pid=804] vsize: 53344
Current children cumulated CPU time (s) 940.07
Current children cumulated vsize (Kb) 53344

[startup+950.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 13356 0 0 0 94969 38 0 0 25 0 1 0 1859809007 55238656 12937 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 13486 12937 566 18 0 13468 0
[pid=804] vsize: 53944
Current children cumulated CPU time (s) 950.07
Current children cumulated vsize (Kb) 53944

[startup+960.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 13421 0 0 0 95970 38 0 0 25 0 1 0 1859809007 55312384 12980 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 13504 12980 566 18 0 13486 0
[pid=804] vsize: 54016
Current children cumulated CPU time (s) 960.08
Current children cumulated vsize (Kb) 54016

[startup+970.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 13568 0 0 0 96969 38 0 0 25 0 1 0 1859809007 55918592 13127 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 13652 13127 566 18 0 13634 0
[pid=804] vsize: 54608
Current children cumulated CPU time (s) 970.07
Current children cumulated vsize (Kb) 54608

[startup+980.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 13753 0 0 0 97969 39 0 0 25 0 1 0 1859809007 56786944 13312 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 13864 13312 566 18 0 13846 0
[pid=804] vsize: 55456
Current children cumulated CPU time (s) 980.08
Current children cumulated vsize (Kb) 55456

[startup+990.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 13843 0 0 0 98969 39 0 0 25 0 1 0 1859809007 57073664 13401 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 13934 13401 566 18 0 13916 0
[pid=804] vsize: 55736
Current children cumulated CPU time (s) 990.08
Current children cumulated vsize (Kb) 55736

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 13941 0 0 0 99968 39 0 0 25 0 1 0 1859809007 57507840 13499 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 14040 13499 566 18 0 14022 0
[pid=804] vsize: 56160
Current children cumulated CPU time (s) 1000.07
Current children cumulated vsize (Kb) 56160

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 14243 0 0 0 100968 40 0 0 25 0 1 0 1859809007 58695680 13801 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 14330 13801 566 18 0 14312 0
[pid=804] vsize: 57320
Current children cumulated CPU time (s) 1010.08
Current children cumulated vsize (Kb) 57320

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 14273 0 0 0 101968 40 0 0 25 0 1 0 1859809007 58826752 13831 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 14362 13831 566 18 0 14344 0
[pid=804] vsize: 57448
Current children cumulated CPU time (s) 1020.08
Current children cumulated vsize (Kb) 57448

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 14446 0 0 0 102967 41 0 0 25 0 1 0 1859809007 59518976 14004 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 14531 14004 566 18 0 14513 0
[pid=804] vsize: 58124
Current children cumulated CPU time (s) 1030.08
Current children cumulated vsize (Kb) 58124

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 14487 0 0 0 103967 41 0 0 25 0 1 0 1859809007 59682816 14045 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 14571 14045 566 18 0 14553 0
[pid=804] vsize: 58284
Current children cumulated CPU time (s) 1040.08
Current children cumulated vsize (Kb) 58284

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 14612 0 0 0 104967 41 0 0 25 0 1 0 1859809007 60301312 14170 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 14722 14170 566 18 0 14704 0
[pid=804] vsize: 58888
Current children cumulated CPU time (s) 1050.08
Current children cumulated vsize (Kb) 58888

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 14723 0 0 0 105967 41 0 0 25 0 1 0 1859809007 60657664 14281 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 14809 14281 566 18 0 14791 0
[pid=804] vsize: 59236
Current children cumulated CPU time (s) 1060.08
Current children cumulated vsize (Kb) 59236

[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 14846 0 0 0 106967 41 0 0 25 0 1 0 1859809007 61194240 14404 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 14940 14404 566 18 0 14922 0
[pid=804] vsize: 59760
Current children cumulated CPU time (s) 1070.08
Current children cumulated vsize (Kb) 59760

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 15018 0 0 0 107967 42 0 0 25 0 1 0 1859809007 61931520 14576 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 15120 14576 566 18 0 15102 0
[pid=804] vsize: 60480
Current children cumulated CPU time (s) 1080.09
Current children cumulated vsize (Kb) 60480

[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 15264 0 0 0 108966 42 0 0 25 0 1 0 1859809007 62869504 14815 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 15349 14815 566 18 0 15331 0
[pid=804] vsize: 61396
Current children cumulated CPU time (s) 1090.08
Current children cumulated vsize (Kb) 61396

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 15521 0 0 0 109966 43 0 0 25 0 1 0 1859809007 63967232 15072 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 15617 15072 566 18 0 15599 0
[pid=804] vsize: 62468
Current children cumulated CPU time (s) 1100.09
Current children cumulated vsize (Kb) 62468

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 15521 0 0 0 110966 43 0 0 25 0 1 0 1859809007 63967232 15072 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 15617 15072 566 18 0 15599 0
[pid=804] vsize: 62468
Current children cumulated CPU time (s) 1110.09
Current children cumulated vsize (Kb) 62468

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 15833 0 0 0 111966 43 0 0 25 0 1 0 1859809007 65331200 15384 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 15950 15384 566 18 0 15932 0
[pid=804] vsize: 63800
Current children cumulated CPU time (s) 1120.09
Current children cumulated vsize (Kb) 63800

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 15895 0 0 0 112966 43 0 0 25 0 1 0 1859809007 65495040 15446 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 15990 15446 566 18 0 15972 0
[pid=804] vsize: 63960
Current children cumulated CPU time (s) 1130.09
Current children cumulated vsize (Kb) 63960

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 16072 0 0 0 113965 44 0 0 25 0 1 0 1859809007 66203648 15623 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 16163 15623 566 18 0 16145 0
[pid=804] vsize: 64652
Current children cumulated CPU time (s) 1140.09
Current children cumulated vsize (Kb) 64652

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 16150 0 0 0 114965 44 0 0 25 0 1 0 1859809007 66543616 15701 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 16246 15701 566 18 0 16228 0
[pid=804] vsize: 64984
Current children cumulated CPU time (s) 1150.09
Current children cumulated vsize (Kb) 64984

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 16267 0 0 0 115965 44 0 0 25 0 1 0 1859809007 67006464 15818 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 16359 15818 566 18 0 16341 0
[pid=804] vsize: 65436
Current children cumulated CPU time (s) 1160.09
Current children cumulated vsize (Kb) 65436

[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 16439 0 0 0 116965 44 0 0 25 0 1 0 1859809007 67670016 15989 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 16521 15989 566 18 0 16503 0
[pid=804] vsize: 66084
Current children cumulated CPU time (s) 1170.09
Current children cumulated vsize (Kb) 66084

[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 16623 0 0 0 117964 45 0 0 25 0 1 0 1859809007 68468736 16173 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 16716 16173 566 18 0 16698 0
[pid=804] vsize: 66864
Current children cumulated CPU time (s) 1180.09
Current children cumulated vsize (Kb) 66864

[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 16787 0 0 0 118964 45 0 0 25 0 1 0 1859809007 69107712 16337 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 16872 16337 566 18 0 16854 0
[pid=804] vsize: 67488
Current children cumulated CPU time (s) 1190.09
Current children cumulated vsize (Kb) 67488

[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 16998 0 0 0 119964 46 0 0 25 0 1 0 1859809007 70033408 16548 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 17098 16548 566 18 0 17080 0
[pid=804] vsize: 68392
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (Kb) 68392



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 867
Raw data (/proc/804/stat): 804 (Pueblo) R 803 804 5299 0 -1 0 16998 0 0 0 119964 46 0 0 25 0 1 0 1859809007 70033408 16548 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/804/statm): 17098 16548 566 18 0 17080 0
[pid=804] vsize: 68392
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (Kb) 68392

Sending SIGTERM to -804
Sleeping 2 seconds
One traced child (pid=804) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.11
CPU time (s): 1200.14
CPU user time (s): 1199.64
CPU system time (s): 0.495924
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (Kb): 68392

Verifier Data

ERROR: no interpretation found !