Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-misc07.opb
MD5SUMa3dd3cd7dd293e24bffaff8bb73da54c
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1408128
Optimality of the best value was proved NO
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 1048576
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 11486079
Number of bits of the biggest sum of numbers24
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.01
Number of variables280
Total number of constraints471
Number of constraints which are clauses127
Number of constraints which are cardinality constraints (but not clauses)272
Number of constraints which are nor clauses,nor cardinality constraints72
Minimum length of a constraint1
Maximum length of a constraint253

Trace number 8512

Launcher Data

LAUNCH ON wulflinc21 THE 2005-09-20 16:45:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5648 boxname=wulflinc21 idbench=960 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  a3dd3cd7dd293e24bffaff8bb73da54c  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-misc07.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5648
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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.161
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:        766948 kB
Buffers:         36348 kB
Cached:         200412 kB
SwapCached:        832 kB
Active:         123968 kB
Inactive:       115332 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        766696 kB
SwapTotal:     2097892 kB
SwapFree:      2096456 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5784 kB
Slab:            22692 kB
Committed_AS:    64336 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 17:05:28 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5648 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: 280 - #constraints read: 507
c total time              : 1189 s
s SATISFIABLE
v -x260_bit_7 -x260_bit_6 -x260_bit_5 -x260_bit_4 -x260_bit_3 -x260_bit_2 -x260_bit_1 x260_bit0 -x260_bit1 -x260_bit2 x260_bit3 x260_bit4 x260_bit5 x260_bit6 x260_bit7 -x260_bit8 x260_bit9 -x260_bit10 x260_bit11 -x260_bit12 x260_bit13 -x1_bit0 -x2_bit0 -x3_bit0 -x4_bit0 x5_bit0 -x6_bit0 -x7_bit0 -x8_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x12_bit0 -x13_bit0 -x14_bit0 -x15_bit0 -x16_bit0 -x17_bit0 -x18_bit0 -x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 -x40_bit0 -x41_bit0 -x42_bit0 -x43_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 -x52_bit0 -x53_bit0 -x54_bit0 -x55_bit0 -x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 -x63_bit0 -x64_bit0 -x65_bit0 -x66_bit0 -x67_bit0 -x68_bit0 -x69_bit0 -x70_bit0 -x71_bit0 -x72_bit0 -x73_bit0 -x74_bit0 -x75_bit0 -x76_bit0 x77_bit0 -x78_bit0 -x79_bit0 -x80_bit0 -x81_bit0 -x82_bit0 -x83_bit0 -x84_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 -x95_bit0 x96_bit0 -x97_bit0 -x98_bit0 -x99_bit0 -x100_bit0 -x101_bit0 -x102_bit0 -x103_bit0 -x104_bit0 -x105_bit0 -x106_bit0 -x107_bit0 -x108_bit0 -x109_bit0 -x110_bit0 -x111_bit0 -x112_bit0 -x113_bit0 -x114_bit0 -x115_bit0 -x116_bit0 -x117_bit0 -x118_bit0 -x119_bit0 -x120_bit0 -x121_bit0 -x122_bit0 -x123_bit0 -x124_bit0 -x125_bit0 -x126_bit0 -x127_bit0 -x128_bit0 -x129_bit0 -x130_bit0 -x131_bit0 x132_bit0 -x133_bit0 -x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x138_bit0 -x139_bit0 -x140_bit0 -x141_bit0 -x142_bit0 -x143_bit0 -x144_bit0 -x145_bit0 -x146_bit0 -x147_bit0 -x148_bit0 -x149_bit0 -x150_bit0 -x151_bit0 -x152_bit0 -x153_bit0 -x154_bit0 -x155_bit0 -x156_bit0 x157_bit0 -x158_bit0 -x159_bit0 -x160_bit0 -x161_bit0 -x162_bit0 -x163_bit0 -x164_bit0 -x165_bit0 -x166_bit0 -x167_bit0 -x168_bit0 -x169_bit0 -x170_bit0 -x171_bit0 -x172_bit0 -x173_bit0 -x174_bit0 -x175_bit0 -x176_bit0 -x177_bit0 x178_bit0 -x179_bit0 -x180_bit0 -x181_bit0 -x182_bit0 -x183_bit0 -x184_bit0 -x185_bit0 -x186_bit0 -x187_bit0 -x188_bit0 -x189_bit0 -x190_bit0 x191_bit0 -x192_bit0 -x193_bit0 -x194_bit0 -x195_bit0 -x196_bit0 -x197_bit0 -x198_bit0 -x199_bit0 -x200_bit0 x201_bit0 -x202_bit0 -x203_bit0 -x204_bit0 -x205_bit0 -x206_bit0 -x207_bit0 x208_bit0 -x209_bit0 -x210_bit0 -x211_bit0 -x212_bit0 -x213_bit0 -x214_bit0 -x215_bit0 -x216_bit0 -x217_bit0 -x218_bit0 -x219_bit0 -x220_bit0 -x221_bit0 -x222_bit0 -x223_bit0 -x224_bit0 -x225_bit0 -x226_bit0 -x227_bit0 -x228_bit0 -x229_bit0 -x230_bit0 -x231_bit0 -x232_bit0 -x233_bit0 -x234_bit0 -x235_bit0 -x236_bit0 -x237_bit0 -x238_bit0 -x239_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 x244_bit0 -x245_bit0 x246_bit0 -x247_bit0 x248_bit0 -x249_bit0 x250_bit0 -x251_bit0 x252_bit0 -x253_bit0 x254_bit0 -x255_bit0 x256_bit0 -x257_bit0 x258_bit0 -x259_bit0

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1737348748 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 41 3 40 18 0 23 0
[pid=31653] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0031 s]
Raw data (loadavg): 0.71 0.89 0.86 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 469 0 0 0 918 27 0 0 25 0 1 0 1737348748 3428352 435 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 837 435 566 18 0 819 0
[pid=31653] vsize: 3348
Current children cumulated CPU time (s) 9.45
Current children cumulated vsize (Kb) 3348

[startup+20.0038 s]
Raw data (loadavg): 0.75 0.90 0.86 1/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) T 31652 31653 20602 0 -1 0 508 0 0 0 1856 49 0 0 25 0 1 0 1737348748 3559424 474 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/31653/statm): 869 474 566 18 0 851 0
[pid=31653] vsize: 3476
Current children cumulated CPU time (s) 19.05
Current children cumulated vsize (Kb) 3476

[startup+30.0044 s]
Raw data (loadavg): 0.79 0.90 0.86 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 520 0 0 0 2802 68 0 0 25 0 1 0 1737348748 3678208 486 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 898 486 566 18 0 880 0
[pid=31653] vsize: 3592
Current children cumulated CPU time (s) 28.7
Current children cumulated vsize (Kb) 3592

[startup+40.0041 s]
Raw data (loadavg): 0.82 0.90 0.86 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 532 0 0 0 3742 90 0 0 25 0 1 0 1737348748 3678208 498 4294967295 134512640 134578447 3221224624 3221223368 1075285701 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31653/statm): 898 498 566 18 0 880 0
[pid=31653] vsize: 3592
Current children cumulated CPU time (s) 38.32
Current children cumulated vsize (Kb) 3592

[startup+50.0048 s]
Raw data (loadavg): 0.85 0.91 0.86 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 534 0 0 0 4688 110 0 0 25 0 1 0 1737348748 3678208 500 4294967295 134512640 134578447 3221224624 3221223504 134518966 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31653/statm): 898 500 566 18 0 880 0
[pid=31653] vsize: 3592
Current children cumulated CPU time (s) 47.98
Current children cumulated vsize (Kb) 3592

[startup+60.0044 s]
Raw data (loadavg): 0.87 0.91 0.87 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 553 0 0 0 5619 133 0 0 25 0 1 0 1737348748 3756032 519 4294967295 134512640 134578447 3221224624 3221223488 134517442 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 917 519 566 18 0 899 0
[pid=31653] vsize: 3668
Current children cumulated CPU time (s) 57.52
Current children cumulated vsize (Kb) 3668

[startup+70.0051 s]
Raw data (loadavg): 0.89 0.91 0.87 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 558 0 0 0 6563 153 0 0 25 0 1 0 1737348748 3756032 524 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 917 524 566 18 0 899 0
[pid=31653] vsize: 3668
Current children cumulated CPU time (s) 67.16
Current children cumulated vsize (Kb) 3668

[startup+80.0058 s]
Raw data (loadavg): 0.91 0.91 0.87 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) T 31652 31653 20602 0 -1 0 580 0 0 0 7508 171 0 0 25 0 1 0 1737348748 3891200 546 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/31653/statm): 950 546 566 18 0 932 0
[pid=31653] vsize: 3800
Current children cumulated CPU time (s) 76.79
Current children cumulated vsize (Kb) 3800

[startup+90.0055 s]
Raw data (loadavg): 0.92 0.92 0.87 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 586 0 0 0 8462 186 0 0 25 0 1 0 1737348748 3891200 552 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 950 552 566 18 0 932 0
[pid=31653] vsize: 3800
Current children cumulated CPU time (s) 86.48
Current children cumulated vsize (Kb) 3800

[startup+100.006 s]
Raw data (loadavg): 0.93 0.92 0.87 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 587 0 0 0 9409 205 0 0 25 0 1 0 1737348748 3891200 553 4294967295 134512640 134578447 3221224624 3221223504 134527801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 950 553 566 18 0 932 0
[pid=31653] vsize: 3800
Current children cumulated CPU time (s) 96.14
Current children cumulated vsize (Kb) 3800

[startup+110.007 s]
Raw data (loadavg): 0.94 0.92 0.87 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 596 0 0 0 10362 219 0 0 25 0 1 0 1737348748 3993600 562 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 975 562 566 18 0 957 0
[pid=31653] vsize: 3900
Current children cumulated CPU time (s) 105.81
Current children cumulated vsize (Kb) 3900

[startup+120.006 s]
Raw data (loadavg): 0.95 0.92 0.87 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 596 0 0 0 11306 238 0 0 25 0 1 0 1737348748 3993600 562 4294967295 134512640 134578447 3221224624 3221223456 134528362 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 975 562 566 18 0 957 0
[pid=31653] vsize: 3900
Current children cumulated CPU time (s) 115.44
Current children cumulated vsize (Kb) 3900

[startup+130.007 s]
Raw data (loadavg): 0.96 0.92 0.87 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 608 0 0 0 12250 257 0 0 25 0 1 0 1737348748 3993600 574 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 975 574 566 18 0 957 0
[pid=31653] vsize: 3900
Current children cumulated CPU time (s) 125.07
Current children cumulated vsize (Kb) 3900

[startup+140.008 s]
Raw data (loadavg): 0.96 0.93 0.87 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 625 0 0 0 13200 276 0 0 25 0 1 0 1737348748 4108288 591 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1003 591 566 18 0 985 0
[pid=31653] vsize: 4012
Current children cumulated CPU time (s) 134.76
Current children cumulated vsize (Kb) 4012

[startup+150.008 s]
Raw data (loadavg): 0.97 0.93 0.87 1/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) T 31652 31653 20602 0 -1 0 625 0 0 0 14149 293 0 0 25 0 1 0 1737348748 4108288 591 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/31653/statm): 1003 591 566 18 0 985 0
[pid=31653] vsize: 4012
Current children cumulated CPU time (s) 144.42
Current children cumulated vsize (Kb) 4012

[startup+160.008 s]
Raw data (loadavg): 0.97 0.93 0.88 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 625 0 0 0 15103 309 0 0 25 0 1 0 1737348748 4108288 591 4294967295 134512640 134578447 3221224624 3221223368 1075285911 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1003 591 566 18 0 985 0
[pid=31653] vsize: 4012
Current children cumulated CPU time (s) 154.12
Current children cumulated vsize (Kb) 4012

[startup+170.009 s]
Raw data (loadavg): 0.98 0.93 0.88 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 625 0 0 0 16055 326 0 0 25 0 1 0 1737348748 4108288 591 4294967295 134512640 134578447 3221224624 3221223560 134527349 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31653/statm): 1003 591 566 18 0 985 0
[pid=31653] vsize: 4012
Current children cumulated CPU time (s) 163.81
Current children cumulated vsize (Kb) 4012

[startup+180.01 s]
Raw data (loadavg): 0.98 0.93 0.88 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 634 0 0 0 17003 344 0 0 25 0 1 0 1737348748 4108288 600 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1003 600 566 18 0 985 0
[pid=31653] vsize: 4012
Current children cumulated CPU time (s) 173.47
Current children cumulated vsize (Kb) 4012

[startup+190.009 s]
Raw data (loadavg): 0.98 0.94 0.88 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 635 0 0 0 17951 361 0 0 25 0 1 0 1737348748 4108288 601 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1003 601 566 18 0 985 0
[pid=31653] vsize: 4012
Current children cumulated CPU time (s) 183.12
Current children cumulated vsize (Kb) 4012

[startup+200.01 s]
Raw data (loadavg): 0.98 0.94 0.88 1/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) T 31652 31653 20602 0 -1 0 653 0 0 0 18911 374 0 0 25 0 1 0 1737348748 4239360 619 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1035 619 566 18 0 1017 0
[pid=31653] vsize: 4140
Current children cumulated CPU time (s) 192.85
Current children cumulated vsize (Kb) 4140

[startup+210.011 s]
Raw data (loadavg): 0.99 0.94 0.88 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 653 0 0 0 19867 391 0 0 25 0 1 0 1737348748 4239360 619 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1035 619 566 18 0 1017 0
[pid=31653] vsize: 4140
Current children cumulated CPU time (s) 202.58
Current children cumulated vsize (Kb) 4140

[startup+220.01 s]
Raw data (loadavg): 0.99 0.94 0.88 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 654 0 0 0 20829 403 0 0 25 0 1 0 1737348748 4239360 620 4294967295 134512640 134578447 3221224624 3221223584 134526680 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1035 620 566 18 0 1017 0
[pid=31653] vsize: 4140
Current children cumulated CPU time (s) 212.32
Current children cumulated vsize (Kb) 4140

[startup+230.011 s]
Raw data (loadavg): 0.99 0.94 0.88 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 662 0 0 0 21789 416 0 0 25 0 1 0 1737348748 4239360 628 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1035 628 566 18 0 1017 0
[pid=31653] vsize: 4140
Current children cumulated CPU time (s) 222.05
Current children cumulated vsize (Kb) 4140

[startup+240.011 s]
Raw data (loadavg): 0.99 0.94 0.88 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 662 0 0 0 22727 437 0 0 25 0 1 0 1737348748 4239360 628 4294967295 134512640 134578447 3221224624 3221223504 134527818 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1035 628 566 18 0 1017 0
[pid=31653] vsize: 4140
Current children cumulated CPU time (s) 231.64
Current children cumulated vsize (Kb) 4140

[startup+250.011 s]
Raw data (loadavg): 0.99 0.94 0.88 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 662 0 0 0 23682 452 0 0 25 0 1 0 1737348748 4239360 628 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1035 628 566 18 0 1017 0
[pid=31653] vsize: 4140
Current children cumulated CPU time (s) 241.34
Current children cumulated vsize (Kb) 4140

[startup+260.012 s]
Raw data (loadavg): 0.99 0.95 0.89 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 675 0 0 0 24638 468 0 0 25 0 1 0 1737348748 4239360 641 4294967295 134512640 134578447 3221224624 3221223584 134526689 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1035 641 566 18 0 1017 0
[pid=31653] vsize: 4140
Current children cumulated CPU time (s) 251.06
Current children cumulated vsize (Kb) 4140

[startup+270.012 s]
Raw data (loadavg): 0.99 0.95 0.89 1/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) T 31652 31653 20602 0 -1 0 675 0 0 0 25595 483 0 0 25 0 1 0 1737348748 4239360 641 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1035 641 566 18 0 1017 0
[pid=31653] vsize: 4140
Current children cumulated CPU time (s) 260.78
Current children cumulated vsize (Kb) 4140

[startup+280.012 s]
Raw data (loadavg): 0.99 0.95 0.89 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 679 0 0 0 26545 500 0 0 25 0 1 0 1737348748 4354048 645 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1063 645 566 18 0 1045 0
[pid=31653] vsize: 4252
Current children cumulated CPU time (s) 270.45
Current children cumulated vsize (Kb) 4252

[startup+290.013 s]
Raw data (loadavg): 0.99 0.95 0.89 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 714 0 0 0 27506 512 0 0 25 0 1 0 1737348748 4481024 680 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31653/statm): 1094 680 566 18 0 1076 0
[pid=31653] vsize: 4376
Current children cumulated CPU time (s) 280.18
Current children cumulated vsize (Kb) 4376

[startup+300.014 s]
Raw data (loadavg): 0.99 0.95 0.89 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 714 0 0 0 28470 525 0 0 25 0 1 0 1737348748 4419584 680 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1079 680 566 18 0 1061 0
[pid=31653] vsize: 4316
Current children cumulated CPU time (s) 289.95
Current children cumulated vsize (Kb) 4316

[startup+310.014 s]
Raw data (loadavg): 0.99 0.95 0.89 1/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) T 31652 31653 20602 0 -1 0 714 0 0 0 29432 538 0 0 19 0 1 0 1737348748 4378624 676 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/31653/statm): 1069 676 566 18 0 1051 0
[pid=31653] vsize: 4276
Current children cumulated CPU time (s) 299.7
Current children cumulated vsize (Kb) 4276

[startup+320.015 s]
Raw data (loadavg): 0.99 0.95 0.89 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 728 0 0 0 30395 551 0 0 25 0 1 0 1737348748 4509696 690 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1101 690 566 18 0 1083 0
[pid=31653] vsize: 4404
Current children cumulated CPU time (s) 309.46
Current children cumulated vsize (Kb) 4404

[startup+330.016 s]
Raw data (loadavg): 0.99 0.95 0.89 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 738 0 0 0 31362 563 0 0 25 0 1 0 1737348748 4509696 700 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1101 700 566 18 0 1083 0
[pid=31653] vsize: 4404
Current children cumulated CPU time (s) 319.25
Current children cumulated vsize (Kb) 4404

[startup+340.015 s]
Raw data (loadavg): 0.99 0.95 0.89 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 738 0 0 0 32329 574 0 0 25 0 1 0 1737348748 4509696 700 4294967295 134512640 134578447 3221224624 3221223488 134517798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1101 700 566 18 0 1083 0
[pid=31653] vsize: 4404
Current children cumulated CPU time (s) 329.03
Current children cumulated vsize (Kb) 4404

[startup+350.017 s]
Raw data (loadavg): 0.99 0.95 0.89 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 749 0 0 0 33289 588 0 0 25 0 1 0 1737348748 4517888 710 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1103 710 566 18 0 1085 0
[pid=31653] vsize: 4412
Current children cumulated CPU time (s) 338.77
Current children cumulated vsize (Kb) 4412

[startup+360.018 s]
Raw data (loadavg): 0.99 0.95 0.89 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 749 0 0 0 34256 601 0 0 25 0 1 0 1737348748 4517888 710 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1103 710 566 18 0 1085 0
[pid=31653] vsize: 4412
Current children cumulated CPU time (s) 348.57
Current children cumulated vsize (Kb) 4412

[startup+370.017 s]
Raw data (loadavg): 0.99 0.96 0.90 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 749 0 0 0 35216 615 0 0 25 0 1 0 1737348748 4517888 710 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1103 710 566 18 0 1085 0
[pid=31653] vsize: 4412
Current children cumulated CPU time (s) 358.31
Current children cumulated vsize (Kb) 4412

[startup+380.018 s]
Raw data (loadavg): 0.99 0.96 0.90 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 749 0 0 0 36181 629 0 0 25 0 1 0 1737348748 4517888 710 4294967295 134512640 134578447 3221224624 3221223520 134519863 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31653/statm): 1103 710 566 18 0 1085 0
[pid=31653] vsize: 4412
Current children cumulated CPU time (s) 368.1
Current children cumulated vsize (Kb) 4412

[startup+390.018 s]
Raw data (loadavg): 0.99 0.96 0.90 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 749 0 0 0 37143 642 0 0 25 0 1 0 1737348748 4517888 710 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1103 710 566 18 0 1085 0
[pid=31653] vsize: 4412
Current children cumulated CPU time (s) 377.85
Current children cumulated vsize (Kb) 4412

[startup+400.018 s]
Raw data (loadavg): 0.99 0.96 0.90 1/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) T 31652 31653 20602 0 -1 0 749 0 0 0 38099 658 0 0 25 0 1 0 1737348748 4517888 710 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1103 710 566 18 0 1085 0
[pid=31653] vsize: 4412
Current children cumulated CPU time (s) 387.57
Current children cumulated vsize (Kb) 4412

[startup+410.019 s]
Raw data (loadavg): 0.99 0.96 0.90 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 749 0 0 0 39067 670 0 0 25 0 1 0 1737348748 4517888 710 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1103 710 566 18 0 1085 0
[pid=31653] vsize: 4412
Current children cumulated CPU time (s) 397.37
Current children cumulated vsize (Kb) 4412

[startup+420.02 s]
Raw data (loadavg): 0.99 0.96 0.90 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 749 0 0 0 40028 683 0 0 25 0 1 0 1737348748 4517888 710 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1103 710 566 18 0 1085 0
[pid=31653] vsize: 4412
Current children cumulated CPU time (s) 407.11
Current children cumulated vsize (Kb) 4412

[startup+430.02 s]
Raw data (loadavg): 0.99 0.96 0.90 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 749 0 0 0 40970 705 0 0 25 0 1 0 1737348748 4517888 710 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1103 710 566 18 0 1085 0
[pid=31653] vsize: 4412
Current children cumulated CPU time (s) 416.75
Current children cumulated vsize (Kb) 4412

[startup+440.02 s]
Raw data (loadavg): 0.99 0.96 0.90 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 749 0 0 0 41936 716 0 0 25 0 1 0 1737348748 4517888 710 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1103 710 566 18 0 1085 0
[pid=31653] vsize: 4412
Current children cumulated CPU time (s) 426.52
Current children cumulated vsize (Kb) 4412

[startup+450.021 s]
Raw data (loadavg): 0.99 0.96 0.90 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 752 0 0 0 42903 730 0 0 25 0 1 0 1737348748 4603904 713 4294967295 134512640 134578447 3221224624 3221223456 134527020 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1124 713 566 18 0 1106 0
[pid=31653] vsize: 4496
Current children cumulated CPU time (s) 436.33
Current children cumulated vsize (Kb) 4496

[startup+460.021 s]
Raw data (loadavg): 0.99 0.96 0.90 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 752 0 0 0 43866 742 0 0 25 0 1 0 1737348748 4599808 713 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1123 713 566 18 0 1105 0
[pid=31653] vsize: 4492
Current children cumulated CPU time (s) 446.08
Current children cumulated vsize (Kb) 4492

[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 762 0 0 0 44832 755 0 0 25 0 1 0 1737348748 4599808 723 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1123 723 566 18 0 1105 0
[pid=31653] vsize: 4492
Current children cumulated CPU time (s) 455.87
Current children cumulated vsize (Kb) 4492

[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 774 0 0 0 45800 768 0 0 25 0 1 0 1737348748 4694016 735 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1146 735 566 18 0 1128 0
[pid=31653] vsize: 4584
Current children cumulated CPU time (s) 465.68
Current children cumulated vsize (Kb) 4584

[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 774 0 0 0 46767 780 0 0 25 0 1 0 1737348748 4673536 735 4294967295 134512640 134578447 3221224624 3221223536 134556791 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1141 735 566 18 0 1123 0
[pid=31653] vsize: 4564
Current children cumulated CPU time (s) 475.47
Current children cumulated vsize (Kb) 4564

[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 774 0 0 0 47734 792 0 0 25 0 1 0 1737348748 4673536 735 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1141 735 566 18 0 1123 0
[pid=31653] vsize: 4564
Current children cumulated CPU time (s) 485.26
Current children cumulated vsize (Kb) 4564

[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 774 0 0 0 48696 805 0 0 25 0 1 0 1737348748 4673536 735 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1141 735 566 18 0 1123 0
[pid=31653] vsize: 4564
Current children cumulated CPU time (s) 495.01
Current children cumulated vsize (Kb) 4564

[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 774 0 0 0 49660 817 0 0 25 0 1 0 1737348748 4673536 735 4294967295 134512640 134578447 3221224624 3221223456 134528490 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1141 735 566 18 0 1123 0
[pid=31653] vsize: 4564
Current children cumulated CPU time (s) 504.77
Current children cumulated vsize (Kb) 4564

[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 774 0 0 0 50620 830 0 0 25 0 1 0 1737348748 4673536 735 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1141 735 566 18 0 1123 0
[pid=31653] vsize: 4564
Current children cumulated CPU time (s) 514.5
Current children cumulated vsize (Kb) 4564

[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 774 0 0 0 51564 850 0 0 25 0 1 0 1737348748 4665344 735 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1139 735 566 18 0 1121 0
[pid=31653] vsize: 4556
Current children cumulated CPU time (s) 524.14
Current children cumulated vsize (Kb) 4556

[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 774 0 0 0 52529 862 0 0 25 0 1 0 1737348748 4665344 735 4294967295 134512640 134578447 3221224624 3221223504 134527548 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1139 735 566 18 0 1121 0
[pid=31653] vsize: 4556
Current children cumulated CPU time (s) 533.91
Current children cumulated vsize (Kb) 4556

[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 774 0 0 0 53497 875 0 0 25 0 1 0 1737348748 4665344 735 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1139 735 566 18 0 1121 0
[pid=31653] vsize: 4556
Current children cumulated CPU time (s) 543.72
Current children cumulated vsize (Kb) 4556

[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 774 0 0 0 54461 889 0 0 25 0 1 0 1737348748 4665344 735 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1139 735 566 18 0 1121 0
[pid=31653] vsize: 4556
Current children cumulated CPU time (s) 553.5
Current children cumulated vsize (Kb) 4556

[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 774 0 0 0 55422 903 0 0 25 0 1 0 1737348748 4665344 735 4294967295 134512640 134578447 3221224624 3221223456 134528371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1139 735 566 18 0 1121 0
[pid=31653] vsize: 4556
Current children cumulated CPU time (s) 563.25
Current children cumulated vsize (Kb) 4556

[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 776 0 0 0 56390 915 0 0 25 0 1 0 1737348748 4665344 737 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1139 737 566 18 0 1121 0
[pid=31653] vsize: 4556
Current children cumulated CPU time (s) 573.05
Current children cumulated vsize (Kb) 4556

[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 776 0 0 0 57356 927 0 0 25 0 1 0 1737348748 4665344 737 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1139 737 566 18 0 1121 0
[pid=31653] vsize: 4556
Current children cumulated CPU time (s) 582.83
Current children cumulated vsize (Kb) 4556

[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 776 0 0 0 58320 940 0 0 25 0 1 0 1737348748 4665344 737 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1139 737 566 18 0 1121 0
[pid=31653] vsize: 4556
Current children cumulated CPU time (s) 592.6
Current children cumulated vsize (Kb) 4556

[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 776 0 0 0 59285 950 0 0 25 0 1 0 1737348748 4665344 737 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1139 737 566 18 0 1121 0
[pid=31653] vsize: 4556
Current children cumulated CPU time (s) 602.35
Current children cumulated vsize (Kb) 4556

[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 776 0 0 0 60253 962 0 0 25 0 1 0 1737348748 4665344 737 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1139 737 566 18 0 1121 0
[pid=31653] vsize: 4556
Current children cumulated CPU time (s) 612.15
Current children cumulated vsize (Kb) 4556

[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.91 1/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) T 31652 31653 20602 0 -1 0 787 0 0 0 61216 974 0 0 25 0 1 0 1737348748 4780032 748 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1167 748 566 18 0 1149 0
[pid=31653] vsize: 4668
Current children cumulated CPU time (s) 621.9
Current children cumulated vsize (Kb) 4668

[startup+650.031 s]
Raw data (loadavg): 1.07 0.99 0.91 1/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) T 31652 31653 20602 0 -1 0 795 0 0 0 62180 988 0 0 25 0 1 0 1737348748 4775936 756 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1166 756 566 18 0 1148 0
[pid=31653] vsize: 4664
Current children cumulated CPU time (s) 631.68
Current children cumulated vsize (Kb) 4664

[startup+660.032 s]
Raw data (loadavg): 1.06 0.99 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 795 0 0 0 63142 1002 0 0 25 0 1 0 1737348748 4775936 756 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1166 756 566 18 0 1148 0
[pid=31653] vsize: 4664
Current children cumulated CPU time (s) 641.44
Current children cumulated vsize (Kb) 4664

[startup+670.031 s]
Raw data (loadavg): 1.05 0.99 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 795 0 0 0 64104 1016 0 0 25 0 1 0 1737348748 4775936 756 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1166 756 566 18 0 1148 0
[pid=31653] vsize: 4664
Current children cumulated CPU time (s) 651.2
Current children cumulated vsize (Kb) 4664

[startup+680.032 s]
Raw data (loadavg): 1.04 0.99 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 795 0 0 0 65074 1027 0 0 25 0 1 0 1737348748 4775936 756 4294967295 134512640 134578447 3221224624 3221223296 134523786 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1166 756 566 18 0 1148 0
[pid=31653] vsize: 4664
Current children cumulated CPU time (s) 661.01
Current children cumulated vsize (Kb) 4664

[startup+690.033 s]
Raw data (loadavg): 1.03 0.99 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 799 0 0 0 66040 1039 0 0 25 0 1 0 1737348748 4743168 760 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1158 760 566 18 0 1140 0
[pid=31653] vsize: 4632
Current children cumulated CPU time (s) 670.79
Current children cumulated vsize (Kb) 4632

[startup+700.034 s]
Raw data (loadavg): 1.03 0.99 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 799 0 0 0 67006 1051 0 0 25 0 1 0 1737348748 4718592 759 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1152 759 566 18 0 1134 0
[pid=31653] vsize: 4608
Current children cumulated CPU time (s) 680.57
Current children cumulated vsize (Kb) 4608

[startup+710.034 s]
Raw data (loadavg): 1.02 0.99 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 808 0 0 0 67970 1063 0 0 25 0 1 0 1737348748 4841472 768 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1182 768 566 18 0 1164 0
[pid=31653] vsize: 4728
Current children cumulated CPU time (s) 690.33
Current children cumulated vsize (Kb) 4728

[startup+720.034 s]
Raw data (loadavg): 1.02 0.99 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 808 0 0 0 68937 1074 0 0 25 0 1 0 1737348748 4800512 768 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1172 768 566 18 0 1154 0
[pid=31653] vsize: 4688
Current children cumulated CPU time (s) 700.11
Current children cumulated vsize (Kb) 4688

[startup+730.034 s]
Raw data (loadavg): 1.02 0.99 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 808 0 0 0 69903 1086 0 0 25 0 1 0 1737348748 4800512 768 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31653/statm): 1172 768 566 18 0 1154 0
[pid=31653] vsize: 4688
Current children cumulated CPU time (s) 709.89
Current children cumulated vsize (Kb) 4688

[startup+740.034 s]
Raw data (loadavg): 1.01 0.99 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 808 0 0 0 70871 1098 0 0 25 0 1 0 1737348748 4800512 768 4294967295 134512640 134578447 3221224624 3221223368 1075291632 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1172 768 566 18 0 1154 0
[pid=31653] vsize: 4688
Current children cumulated CPU time (s) 719.69
Current children cumulated vsize (Kb) 4688

[startup+750.035 s]
Raw data (loadavg): 1.01 0.99 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 813 0 0 0 71836 1110 0 0 25 0 1 0 1737348748 4800512 773 4294967295 134512640 134578447 3221224624 3221223528 1075285473 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1172 773 566 18 0 1154 0
[pid=31653] vsize: 4688
Current children cumulated CPU time (s) 729.46
Current children cumulated vsize (Kb) 4688

[startup+760.035 s]
Raw data (loadavg): 1.01 0.99 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 834 0 0 0 72801 1122 0 0 25 0 1 0 1737348748 4931584 794 4294967295 134512640 134578447 3221224624 3221223472 134520230 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1204 794 566 18 0 1186 0
[pid=31653] vsize: 4816
Current children cumulated CPU time (s) 739.23
Current children cumulated vsize (Kb) 4816

[startup+770.036 s]
Raw data (loadavg): 1.01 0.99 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 834 0 0 0 73770 1133 0 0 25 0 1 0 1737348748 4927488 794 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1203 794 566 18 0 1185 0
[pid=31653] vsize: 4812
Current children cumulated CPU time (s) 749.03
Current children cumulated vsize (Kb) 4812

[startup+780.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 834 0 0 0 74732 1147 0 0 25 0 1 0 1737348748 4927488 794 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1203 794 566 18 0 1185 0
[pid=31653] vsize: 4812
Current children cumulated CPU time (s) 758.79
Current children cumulated vsize (Kb) 4812

[startup+790.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 834 0 0 0 75695 1161 0 0 25 0 1 0 1737348748 4927488 794 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1203 794 566 18 0 1185 0
[pid=31653] vsize: 4812
Current children cumulated CPU time (s) 768.56
Current children cumulated vsize (Kb) 4812

[startup+800.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 834 0 0 0 76658 1174 0 0 25 0 1 0 1737348748 4927488 794 4294967295 134512640 134578447 3221224624 3221223456 134558206 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1203 794 566 18 0 1185 0
[pid=31653] vsize: 4812
Current children cumulated CPU time (s) 778.32
Current children cumulated vsize (Kb) 4812

[startup+810.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 834 0 0 0 77625 1184 0 0 25 0 1 0 1737348748 4927488 794 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31653/statm): 1203 794 566 18 0 1185 0
[pid=31653] vsize: 4812
Current children cumulated CPU time (s) 788.09
Current children cumulated vsize (Kb) 4812

[startup+820.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 834 0 0 0 78590 1197 0 0 25 0 1 0 1737348748 4927488 794 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1203 794 566 18 0 1185 0
[pid=31653] vsize: 4812
Current children cumulated CPU time (s) 797.87
Current children cumulated vsize (Kb) 4812

[startup+830.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 834 0 0 0 79556 1207 0 0 25 0 1 0 1737348748 4927488 794 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1203 794 566 18 0 1185 0
[pid=31653] vsize: 4812
Current children cumulated CPU time (s) 807.63
Current children cumulated vsize (Kb) 4812

[startup+840.039 s]
Raw data (loadavg): 1.08 1.00 0.92 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 834 0 0 0 80517 1221 0 0 25 0 1 0 1737348748 4927488 794 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1203 794 566 18 0 1185 0
[pid=31653] vsize: 4812
Current children cumulated CPU time (s) 817.38
Current children cumulated vsize (Kb) 4812

[startup+850.04 s]
Raw data (loadavg): 1.07 1.00 0.92 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 834 0 0 0 81479 1235 0 0 25 0 1 0 1737348748 4927488 794 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1203 794 566 18 0 1185 0
[pid=31653] vsize: 4812
Current children cumulated CPU time (s) 827.14
Current children cumulated vsize (Kb) 4812

[startup+860.04 s]
Raw data (loadavg): 1.06 1.00 0.92 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 834 0 0 0 82441 1248 0 0 25 0 1 0 1737348748 4927488 794 4294967295 134512640 134578447 3221224624 3221223504 134528161 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1203 794 566 18 0 1185 0
[pid=31653] vsize: 4812
Current children cumulated CPU time (s) 836.89
Current children cumulated vsize (Kb) 4812

[startup+870.04 s]
Raw data (loadavg): 1.05 1.00 0.92 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 834 0 0 0 83407 1260 0 0 25 0 1 0 1737348748 4927488 794 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1203 794 566 18 0 1185 0
[pid=31653] vsize: 4812
Current children cumulated CPU time (s) 846.67
Current children cumulated vsize (Kb) 4812

[startup+880.041 s]
Raw data (loadavg): 1.04 1.00 0.92 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 852 0 0 0 84376 1270 0 0 25 0 1 0 1737348748 5054464 812 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1234 812 566 18 0 1216 0
[pid=31653] vsize: 4936
Current children cumulated CPU time (s) 856.46
Current children cumulated vsize (Kb) 4936

[startup+890.041 s]
Raw data (loadavg): 1.03 1.00 0.92 2/57 31653
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 852 0 0 0 85345 1282 0 0 25 0 1 0 1737348748 5046272 812 4294967295 134512640 134578447 3221224624 3221223504 134528071 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1232 812 566 18 0 1214 0
[pid=31653] vsize: 4928
Current children cumulated CPU time (s) 866.27
Current children cumulated vsize (Kb) 4928

[startup+900.042 s]
Raw data (loadavg): 1.03 1.00 0.92 2/57 31708
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 852 0 0 0 86304 1299 0 0 25 0 1 0 1737348748 5017600 812 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 812 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 876.03
Current children cumulated vsize (Kb) 4900

[startup+910.043 s]
Raw data (loadavg): 1.02 1.00 0.92 2/57 31708
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 852 0 0 0 87275 1309 0 0 25 0 1 0 1737348748 5017600 812 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 812 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 885.84
Current children cumulated vsize (Kb) 4900

[startup+920.042 s]
Raw data (loadavg): 1.02 1.00 0.92 2/57 31708
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 852 0 0 0 88237 1321 0 0 25 0 1 0 1737348748 5017600 812 4294967295 134512640 134578447 3221224624 3221223456 134526974 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31653/statm): 1225 812 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 895.58
Current children cumulated vsize (Kb) 4900

[startup+930.043 s]
Raw data (loadavg): 1.02 1.00 0.92 2/57 31708
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 852 0 0 0 89203 1333 0 0 25 0 1 0 1737348748 5017600 812 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 812 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 905.36
Current children cumulated vsize (Kb) 4900

[startup+940.043 s]
Raw data (loadavg): 1.01 1.00 0.92 2/57 31708
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 852 0 0 0 90172 1345 0 0 25 0 1 0 1737348748 5017600 812 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 812 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 915.17
Current children cumulated vsize (Kb) 4900

[startup+950.043 s]
Raw data (loadavg): 1.01 1.00 0.92 2/57 31708
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 852 0 0 0 91140 1356 0 0 25 0 1 0 1737348748 5017600 812 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 812 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 924.96
Current children cumulated vsize (Kb) 4900

[startup+960.044 s]
Raw data (loadavg): 1.01 1.00 0.92 2/57 31710
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 852 0 0 0 92104 1370 0 0 25 0 1 0 1737348748 5017600 812 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31653/statm): 1225 812 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 934.74
Current children cumulated vsize (Kb) 4900

[startup+970.045 s]
Raw data (loadavg): 1.01 1.00 0.92 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 861 0 0 0 93071 1383 0 0 25 0 1 0 1737348748 5017600 821 4294967295 134512640 134578447 3221224624 3221223488 134517867 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 821 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 944.54
Current children cumulated vsize (Kb) 4900

[startup+980.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 861 0 0 0 94033 1395 0 0 25 0 1 0 1737348748 5017600 821 4294967295 134512640 134578447 3221224624 3221223228 1075288267 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 821 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 954.28
Current children cumulated vsize (Kb) 4900

[startup+990.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 861 0 0 0 94997 1409 0 0 25 0 1 0 1737348748 5017600 821 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 821 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 964.06
Current children cumulated vsize (Kb) 4900

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 861 0 0 0 95964 1420 0 0 25 0 1 0 1737348748 5017600 821 4294967295 134512640 134578447 3221224624 3221223508 1075285548 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 821 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 973.84
Current children cumulated vsize (Kb) 4900

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 861 0 0 0 96933 1431 0 0 25 0 1 0 1737348748 5017600 821 4294967295 134512640 134578447 3221224624 3221223440 134531801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 821 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 983.64
Current children cumulated vsize (Kb) 4900

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 861 0 0 0 97901 1443 0 0 25 0 1 0 1737348748 5017600 821 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 821 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 993.44
Current children cumulated vsize (Kb) 4900

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 861 0 0 0 98867 1454 0 0 25 0 1 0 1737348748 5017600 821 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 821 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 1003.21
Current children cumulated vsize (Kb) 4900

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 861 0 0 0 99833 1465 0 0 25 0 1 0 1737348748 5017600 821 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 821 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 1012.98
Current children cumulated vsize (Kb) 4900

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.92 1/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) T 31652 31653 20602 0 -1 0 861 0 0 0 100801 1477 0 0 25 0 1 0 1737348748 5017600 821 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 821 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 1022.78
Current children cumulated vsize (Kb) 4900

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 861 0 0 0 101770 1488 0 0 25 0 1 0 1737348748 5017600 821 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31653/statm): 1225 821 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 1032.58
Current children cumulated vsize (Kb) 4900

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 861 0 0 0 102735 1500 0 0 25 0 1 0 1737348748 5017600 821 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 821 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 1042.35
Current children cumulated vsize (Kb) 4900

[startup+1080.05 s]
Raw data (loadavg): 1.07 1.02 0.93 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 861 0 0 0 103702 1512 0 0 25 0 1 0 1737348748 5017600 821 4294967295 134512640 134578447 3221224624 3221223504 134528043 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 821 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 1052.14
Current children cumulated vsize (Kb) 4900

[startup+1090.05 s]
Raw data (loadavg): 1.06 1.02 0.93 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 865 0 0 0 104665 1524 0 0 25 0 1 0 1737348748 5017600 825 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31653/statm): 1225 825 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (Kb) 4900

[startup+1100.05 s]
Raw data (loadavg): 1.05 1.01 0.93 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 865 0 0 0 105629 1538 0 0 25 0 1 0 1737348748 5017600 825 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31653/statm): 1225 825 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 1071.67
Current children cumulated vsize (Kb) 4900

[startup+1110.05 s]
Raw data (loadavg): 1.04 1.01 0.93 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 865 0 0 0 106596 1550 0 0 25 0 1 0 1737348748 5017600 825 4294967295 134512640 134578447 3221224624 3221223456 134528332 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 825 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 1081.46
Current children cumulated vsize (Kb) 4900

[startup+1120.05 s]
Raw data (loadavg): 1.04 1.01 0.93 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 865 0 0 0 107567 1560 0 0 25 0 1 0 1737348748 5017600 825 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31653/statm): 1225 825 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 1091.27
Current children cumulated vsize (Kb) 4900

[startup+1130.05 s]
Raw data (loadavg): 1.03 1.01 0.93 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 865 0 0 0 108537 1569 0 0 25 0 1 0 1737348748 5017600 825 4294967295 134512640 134578447 3221224624 3221223556 134527376 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 825 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 1101.06
Current children cumulated vsize (Kb) 4900

[startup+1140.05 s]
Raw data (loadavg): 1.02 1.01 0.93 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 865 0 0 0 109504 1579 0 0 25 0 1 0 1737348748 5017600 825 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 825 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 1110.83
Current children cumulated vsize (Kb) 4900

[startup+1150.05 s]
Raw data (loadavg): 1.02 1.01 0.93 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 867 0 0 0 110474 1588 0 0 25 0 1 0 1737348748 5017600 827 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 827 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 1120.62
Current children cumulated vsize (Kb) 4900

[startup+1160.05 s]
Raw data (loadavg): 1.02 1.01 0.93 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 872 0 0 0 111439 1600 0 0 25 0 1 0 1737348748 5017600 832 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 832 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 1130.39
Current children cumulated vsize (Kb) 4900

[startup+1170.05 s]
Raw data (loadavg): 1.01 1.01 0.93 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 872 0 0 0 112407 1611 0 0 25 0 1 0 1737348748 5017600 832 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 832 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 1140.18
Current children cumulated vsize (Kb) 4900

[startup+1180.05 s]
Raw data (loadavg): 1.01 1.01 0.93 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 872 0 0 0 113378 1621 0 0 25 0 1 0 1737348748 5017600 832 4294967295 134512640 134578447 3221224624 3221223456 134526932 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 832 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 1149.99
Current children cumulated vsize (Kb) 4900

[startup+1190.05 s]
Raw data (loadavg): 1.01 1.01 0.93 1/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) T 31652 31653 20602 0 -1 0 872 0 0 0 114346 1632 0 0 25 0 1 0 1737348748 5017600 832 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/31653/statm): 1225 832 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 1159.78
Current children cumulated vsize (Kb) 4900

[startup+1200.05 s]
Raw data (loadavg): 1.01 1.00 0.93 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 872 0 0 0 115320 1642 0 0 25 0 1 0 1737348748 5017600 832 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1225 832 566 18 0 1207 0
[pid=31653] vsize: 4900
Current children cumulated CPU time (s) 1169.62
Current children cumulated vsize (Kb) 4900

[startup+1210.05 s]
Raw data (loadavg): 1.01 1.00 0.93 2/57 31714
Raw data (/proc/31653/stat): 31653 (Pueblo) R 31652 31653 20602 0 -1 0 874 0 0 0 116290 1653 0 0 25 0 1 0 1737348748 5144576 834 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31653/statm): 1256 834 566 18 0 1238 0
[pid=31653] vsize: 5024
Current children cumulated CPU time (s) 1179.43
Current children cumulated vsize (Kb) 5024
One traced child (pid=31653) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1219.85
CPU time (s): 1189.01
CPU user time (s): 1172.35
CPU system time (s): 16.6555
CPU usage (%): 97.4719
Max. virtual memory (cumulated for all children) (Kb): 5024

Verifier Data

Verifier:	OK	1408128