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).
  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

Namenormalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mod008.opb
MD5SUM581d778a36086562107993896110e0a2
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 307
Optimality of the best value was proved NO
Number of terms in the objective function 319
Biggest coefficient in the objective function 87
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 23554
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 22000
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 1027256
Number of bits of the biggest sum of numbers20
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.01784
Number of variables319
Total number of constraints325
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)319
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint231

Trace number 28313

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-25 01:30:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13631 boxname=wulflinc4 idbench=1049 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  581d778a36086562107993896110e0a2  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-mod008.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-mod008.opb
IDLAUNCH: 13631
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        707060 kB
Buffers:         34876 kB
Cached:         272456 kB
SwapCached:        504 kB
Active:          59752 kB
Inactive:       250128 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        706808 kB
SwapTotal:     2097136 kB
SwapFree:      2096156 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5944 kB
Slab:            12032 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:50:08 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 13631 0 1189.01 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-mod008.opb
c #variables read: 319 - #constraints read: 326
s SATISFIABLE
v -C2_0x2e__bit0 -C3_0x2e__bit0 -C4_0x2e__bit0 -C5_0x2e__bit0 -C6_0x2e__bit0 -C7_0x2e__bit0 -C8_0x2e__bit0 -C9_0x2e__bit0 -C10_0x2e__bit0 -C11_0x2e__bit0 -C12_0x2e__bit0 -C13_0x2e__bit0 -C14_0x2e__bit0 -C15_0x2e__bit0 -C16_0x2e__bit0 -C17_0x2e__bit0 -C18_0x2e__bit0 -C19_0x2e__bit0 -C20_0x2e__bit0 -C21_0x2e__bit0 -C22_0x2e__bit0 -C23_0x2e__bit0 -C24_0x2e__bit0 -C25_0x2e__bit0 -C26_0x2e__bit0 -C27_0x2e__bit0 -C28_0x2e__bit0 -C29_0x2e__bit0 -C30_0x2e__bit0 -C31_0x2e__bit0 -C32_0x2e__bit0 -C33_0x2e__bit0 -C34_0x2e__bit0 -C35_0x2e__bit0 -C36_0x2e__bit0 -C37_0x2e__bit0 -C38_0x2e__bit0 -C39_0x2e__bit0 -C40_0x2e__bit0 -C41_0x2e__bit0 -C42_0x2e__bit0 -C43_0x2e__bit0 -C44_0x2e__bit0 -C45_0x2e__bit0 -C46_0x2e__bit0 -C47_0x2e__bit0 -C48_0x2e__bit0 -C49_0x2e__bit0 -C50_0x2e__bit0 -C51_0x2e__bit0 -C52_0x2e__bit0 -C53_0x2e__bit0 -C54_0x2e__bit0 -C55_0x2e__bit0 -C56_0x2e__bit0 -C57_0x2e__bit0 -C58_0x2e__bit0 -C59_0x2e__bit0 -C60_0x2e__bit0 -C61_0x2e__bit0 -C62_0x2e__bit0 -C63_0x2e__bit0 -C64_0x2e__bit0 -C65_0x2e__bit0 -C66_0x2e__bit0 -C67_0x2e__bit0 -C68_0x2e__bit0 -C69_0x2e__bit0 -C70_0x2e__bit0 -C71_0x2e__bit0 -C72_0x2e__bit0 -C73_0x2e__bit0 -C74_0x2e__bit0 -C75_0x2e__bit0 -C76_0x2e__bit0 -C77_0x2e__bit0 -C78_0x2e__bit0 -C79_0x2e__bit0 -C80_0x2e__bit0 -C81_0x2e__bit0 -C82_0x2e__bit0 -C83_0x2e__bit0 -C84_0x2e__bit0 -C85_0x2e__bit0 -C86_0x2e__bit0 -C87_0x2e__bit0 -C88_0x2e__bit0 -C89_0x2e__bit0 -C90_0x2e__bit0 -C91_0x2e__bit0 -C92_0x2e__bit0 -C93_0x2e__bit0 -C94_0x2e__bit0 -C95_0x2e__bit0 -C96_0x2e__bit0 -C97_0x2e__bit0 -C98_0x2e__bit0 -C99_0x2e__bit0 -C100_0x2e__bit0 -C101_0x2e__bit0 -C102_0x2e__bit0 -C103_0x2e__bit0 -C104_0x2e__bit0 -C105_0x2e__bit0 -C106_0x2e__bit0 -C107_0x2e__bit0 -C108_0x2e__bit0 -C109_0x2e__bit0 -C110_0x2e__bit0 -C111_0x2e__bit0 -C112_0x2e__bit0 -C113_0x2e__bit0 -C114_0x2e__bit0 -C115_0x2e__bit0 -C116_0x2e__bit0 -C117_0x2e__bit0 -C118_0x2e__bit0 -C119_0x2e__bit0 -C120_0x2e__bit0 -C121_0x2e__bit0 -C122_0x2e__bit0 -C123_0x2e__bit0 -C124_0x2e__bit0 -C125_0x2e__bit0 -C126_0x2e__bit0 -C127_0x2e__bit0 -C128_0x2e__bit0 -C129_0x2e__bit0 -C130_0x2e__bit0 -C131_0x2e__bit0 -C132_0x2e__bit0 -C133_0x2e__bit0 -C134_0x2e__bit0 -C135_0x2e__bit0 -C136_0x2e__bit0 -C137_0x2e__bit0 -C138_0x2e__bit0 -C139_0x2e__bit0 -C140_0x2e__bit0 -C141_0x2e__bit0 -C142_0x2e__bit0 -C143_0x2e__bit0 -C144_0x2e__bit0 -C145_0x2e__bit0 -C146_0x2e__bit0 -C147_0x2e__bit0 -C148_0x2e__bit0 -C149_0x2e__bit0 -C150_0x2e__bit0 -C151_0x2e__bit0 -C152_0x2e__bit0 -C153_0x2e__bit0 -C154_0x2e__bit0 -C155_0x2e__bit0 -C156_0x2e__bit0 -C157_0x2e__bit0 -C158_0x2e__bit0 -C159_0x2e__bit0 -C160_0x2e__bit0 -C161_0x2e__bit0 -C162_0x2e__bit0 -C163_0x2e__bit0 -C164_0x2e__bit0 -C165_0x2e__bit0 -C166_0x2e__bit0 -C167_0x2e__bit0 -C168_0x2e__bit0 -C169_0x2e__bit0 -C170_0x2e__bit0 -C171_0x2e__bit0 -C172_0x2e__bit0 -C173_0x2e__bit0 -C174_0x2e__bit0 -C175_0x2e__bit0 -C176_0x2e__bit0 -C177_0x2e__bit0 -C178_0x2e__bit0 -C179_0x2e__bit0 -C180_0x2e__bit0 -C181_0x2e__bit0 -C182_0x2e__bit0 -C183_0x2e__bit0 -C184_0x2e__bit0 -C185_0x2e__bit0 -C186_0x2e__bit0 -C187_0x2e__bit0 -C188_0x2e__bit0 -C189_0x2e__bit0 -C190_0x2e__bit0 -C191_0x2e__bit0 -C192_0x2e__bit0 -C193_0x2e__bit0 -C194_0x2e__bit0 -C195_0x2e__bit0 -C196_0x2e__bit0 -C197_0x2e__bit0 -C198_0x2e__bit0 -C199_0x2e__bit0 -C200_0x2e__bit0 -C201_0x2e__bit0 -C202_0x2e__bit0 -C203_0x2e__bit0 -C204_0x2e__bit0 -C205_0x2e__bit0 -C206_0x2e__bit0 -C207_0x2e__bit0 -C208_0x2e__bit0 -C209_0x2e__bit0 -C210_0x2e__bit0 -C211_0x2e__bit0 -C212_0x2e__bit0 -C213_0x2e__bit0 C214_0x2e__bit0 -C215_0x2e__bit0 -C216_0x2e__bit0 -C217_0x2e__bit0 -C218_0x2e__bit0 -C219_0x2e__bit0 -C220_0x2e__bit0 -C221_0x2e__bit0 -C222_0x2e__bit0 -C223_0x2e__bit0 -C224_0x2e__bit0 -C225_0x2e__bit0 -C226_0x2e__bit0 -C227_0x2e__bit0 -C228_0x2e__bit0 -C229_0x2e__bit0 -C230_0x2e__bit0 -C231_0x2e__bit0 -C232_0x2e__bit0 -C233_0x2e__bit0 -C234_0x2e__bit0 -C235_0x2e__bit0 -C236_0x2e__bit0 -C237_0x2e__bit0 -C238_0x2e__bit0 -C239_0x2e__bit0 -C240_0x2e__bit0 -C241_0x2e__bit0 -C242_0x2e__bit0 -C243_0x2e__bit0 -C244_0x2e__bit0 -C245_0x2e__bit0 -C246_0x2e__bit0 -C247_0x2e__bit0 -C248_0x2e__bit0 -C249_0x2e__bit0 -C250_0x2e__bit0 -C251_0x2e__bit0 -C252_0x2e__bit0 -C253_0x2e__bit0 -C254_0x2e__bit0 -C255_0x2e__bit0 -C256_0x2e__bit0 -C257_0x2e__bit0 -C258_0x2e__bit0 -C259_0x2e__bit0 -C260_0x2e__bit0 -C261_0x2e__bit0 -C262_0x2e__bit0 -C263_0x2e__bit0 -C264_0x2e__bit0 -C265_0x2e__bit0 -C266_0x2e__bit0 -C267_0x2e__bit0 -C268_0x2e__bit0 -C269_0x2e__bit0 -C270_0x2e__bit0 -C271_0x2e__bit0 -C272_0x2e__bit0 -C273_0x2e__bit0 -C274_0x2e__bit0 -C275_0x2e__bit0 -C276_0x2e__bit0 -C277_0x2e__bit0 -C278_0x2e__bit0 -C279_0x2e__bit0 -C280_0x2e__bit0 -C281_0x2e__bit0 -C282_0x2e__bit0 -C283_0x2e__bit0 -C284_0x2e__bit0 -C285_0x2e__bit0 -C286_0x2e__bit0 -C287_0x2e__bit0 -C288_0x2e__bit0 -C289_0x2e__bit0 -C290_0x2e__bit0 -C291_0x2e__bit0 -C292_0x2e__bit0 -C293_0x2e__bit0 -C294_0x2e__bit0 -C295_0x2e__bit0 -C296_0x2e__bit0 -C297_0x2e__bit0 -C298_0x2e__bit0 -C299_0x2e__bit0 -C300_0x2e__bit0 -C301_0x2e__bit0 -C302_0x2e__bit0 -C303_0x2e__bit0 -C304_0x2e__bit0 -C305_0x2e__bit0 -C306_0x2e__bit0 -C307_0x2e__bit0 -C308_0x2e__bit0 C309_0x2e__bit0 -C310_0x2e__bit0 -C311_0x2e__bit0 C312_0x2e__bit0 -C313_0x2e__bit0 C314_0x2e__bit0 -C315_0x2e__bit0 -C316_0x2e__bit0 -C317_0x2e__bit0 C318_0x2e__bit0 C319_0x2e__bit0 C320_0x2e__bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.96 0.93 2/54 26118
Raw data (stat): 26118 (runsolver) R 26117 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776701601 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.96 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 450 0 0 0 993 5 0 0 25 0 1 0 776701601 7475200 428 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1825 428 566 18 0 1807 0
vsize: 7300
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 492 0 0 0 1988 10 0 0 25 0 1 0 776701601 7606272 470 4294967295 134512640 134581331 3221224608 3221223472 134528248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1857 470 566 18 0 1839 0
vsize: 7428
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 500 0 0 0 2984 14 0 0 25 0 1 0 776701601 7733248 478 4294967295 134512640 134581331 3221224608 3221223504 134517812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1888 478 566 18 0 1870 0
vsize: 7552
[startup+40.0007 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 503 0 0 0 3980 18 0 0 25 0 1 0 776701601 7733248 481 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1888 481 566 18 0 1870 0
vsize: 7552
[startup+50.0013 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 516 0 0 0 4977 21 0 0 25 0 1 0 776701601 7733248 494 4294967295 134512640 134581331 3221224608 3221223504 134517795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1888 494 566 18 0 1870 0
vsize: 7552
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 517 0 0 0 5973 26 0 0 25 0 1 0 776701601 7733248 495 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1888 495 566 18 0 1870 0
vsize: 7552
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 529 0 0 0 6970 29 0 0 25 0 1 0 776701601 7843840 507 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1915 507 566 18 0 1897 0
vsize: 7660
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 529 0 0 0 7966 33 0 0 25 0 1 0 776701601 7835648 507 4294967295 134512640 134581331 3221224608 3221223472 134528437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1913 507 566 18 0 1895 0
vsize: 7652
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 531 0 0 0 8963 36 0 0 25 0 1 0 776701601 7827456 509 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1911 509 566 18 0 1893 0
vsize: 7644
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 548 0 0 0 9960 39 0 0 25 0 1 0 776701601 7827456 526 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1911 526 566 18 0 1893 0
vsize: 7644
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 548 0 0 0 10957 42 0 0 25 0 1 0 776701601 7827456 526 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1911 526 566 18 0 1893 0
vsize: 7644
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 548 0 0 0 11955 45 0 0 25 0 1 0 776701601 7827456 526 4294967295 134512640 134581331 3221224608 3221223576 134527279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1911 526 566 18 0 1893 0
vsize: 7644
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 548 0 0 0 12951 49 0 0 25 0 1 0 776701601 7827456 526 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1911 526 566 18 0 1893 0
vsize: 7644
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 553 0 0 0 13947 53 0 0 25 0 1 0 776701601 7929856 531 4294967295 134512640 134581331 3221224608 3221223472 134528287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1936 531 566 18 0 1918 0
vsize: 7744
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 556 0 0 0 14944 56 0 0 25 0 1 0 776701601 7917568 534 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1933 534 566 18 0 1915 0
vsize: 7732
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 565 0 0 0 15941 60 0 0 25 0 1 0 776701601 7917568 543 4294967295 134512640 134581331 3221224608 3221223552 134559461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1933 543 566 18 0 1915 0
vsize: 7732
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 569 0 0 0 16938 63 0 0 25 0 1 0 776701601 7917568 547 4294967295 134512640 134581331 3221224608 3221223472 134560334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1933 547 566 18 0 1915 0
vsize: 7732
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 569 0 0 0 17935 66 0 0 25 0 1 0 776701601 7917568 547 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1933 547 566 18 0 1915 0
vsize: 7732
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 569 0 0 0 18931 70 0 0 25 0 1 0 776701601 7917568 547 4294967295 134512640 134581331 3221224608 3221223552 134558842 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1933 547 566 18 0 1915 0
vsize: 7732
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 569 0 0 0 19926 74 0 0 25 0 1 0 776701601 7917568 547 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1933 547 566 18 0 1915 0
vsize: 7732
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 569 0 0 0 20923 78 0 0 25 0 1 0 776701601 7917568 547 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1933 547 566 18 0 1915 0
vsize: 7732
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 569 0 0 0 21919 82 0 0 25 0 1 0 776701601 7917568 547 4294967295 134512640 134581331 3221224608 3221223504 134517767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1933 547 566 18 0 1915 0
vsize: 7732
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 571 0 0 0 22916 85 0 0 25 0 1 0 776701601 7917568 549 4294967295 134512640 134581331 3221224608 3221223364 1075288182 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1933 549 566 18 0 1915 0
vsize: 7732
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 589 0 0 0 23914 88 0 0 25 0 1 0 776701601 8044544 567 4294967295 134512640 134581331 3221224608 3221223488 134520222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1964 567 566 18 0 1946 0
vsize: 7856
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 589 0 0 0 24910 92 0 0 25 0 1 0 776701601 8019968 567 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 567 566 18 0 1940 0
vsize: 7832
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 589 0 0 0 25908 94 0 0 25 0 1 0 776701601 8019968 567 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 567 566 18 0 1940 0
vsize: 7832
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 589 0 0 0 26905 97 0 0 25 0 1 0 776701601 8019968 567 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 567 566 18 0 1940 0
vsize: 7832
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 592 0 0 0 27903 99 0 0 25 0 1 0 776701601 8019968 570 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 570 566 18 0 1940 0
vsize: 7832
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 592 0 0 0 28900 103 0 0 25 0 1 0 776701601 8019968 570 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 570 566 18 0 1940 0
vsize: 7832
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 595 0 0 0 29897 106 0 0 25 0 1 0 776701601 8019968 573 4294967295 134512640 134581331 3221224608 3221223516 134527740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 573 566 18 0 1940 0
vsize: 7832
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 595 0 0 0 30895 108 0 0 25 0 1 0 776701601 8019968 573 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 573 566 18 0 1940 0
vsize: 7832
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 595 0 0 0 31891 112 0 0 25 0 1 0 776701601 8019968 573 4294967295 134512640 134581331 3221224608 3221223472 134528331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 573 566 18 0 1940 0
vsize: 7832
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 595 0 0 0 32888 115 0 0 25 0 1 0 776701601 8019968 573 4294967295 134512640 134581331 3221224608 3221223552 134559247 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 573 566 18 0 1940 0
vsize: 7832
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 595 0 0 0 33885 119 0 0 25 0 1 0 776701601 8019968 573 4294967295 134512640 134581331 3221224608 3221223536 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 573 566 18 0 1940 0
vsize: 7832
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 595 0 0 0 34881 122 0 0 25 0 1 0 776701601 8019968 573 4294967295 134512640 134581331 3221224608 3221223472 134528258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 573 566 18 0 1940 0
vsize: 7832
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 595 0 0 0 35878 125 0 0 25 0 1 0 776701601 8019968 573 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 573 566 18 0 1940 0
vsize: 7832
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 599 0 0 0 36875 129 0 0 25 0 1 0 776701601 8101888 577 4294967295 134512640 134581331 3221224608 3221223384 1075285787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 577 566 18 0 1960 0
vsize: 7912
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 610 0 0 0 37872 132 0 0 25 0 1 0 776701601 8101888 588 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 588 566 18 0 1960 0
vsize: 7912
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 610 0 0 0 38869 135 0 0 25 0 1 0 776701601 8101888 588 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 588 566 18 0 1960 0
vsize: 7912
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 610 0 0 0 39866 138 0 0 25 0 1 0 776701601 8101888 588 4294967295 134512640 134581331 3221224608 3221223520 134527783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 588 566 18 0 1960 0
vsize: 7912
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 610 0 0 0 40863 141 0 0 25 0 1 0 776701601 8101888 588 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 588 566 18 0 1960 0
vsize: 7912
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 610 0 0 0 41859 145 0 0 25 0 1 0 776701601 8101888 588 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 588 566 18 0 1960 0
vsize: 7912
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 610 0 0 0 42856 149 0 0 25 0 1 0 776701601 8101888 588 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 588 566 18 0 1960 0
vsize: 7912
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 611 0 0 0 43854 151 0 0 25 0 1 0 776701601 8101888 589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 611 0 0 0 44852 153 0 0 25 0 1 0 776701601 8101888 589 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 611 0 0 0 45849 157 0 0 25 0 1 0 776701601 8101888 589 4294967295 134512640 134581331 3221224608 3221223472 134528275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 611 0 0 0 46845 161 0 0 25 0 1 0 776701601 8101888 589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 611 0 0 0 47843 163 0 0 25 0 1 0 776701601 8101888 589 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 611 0 0 0 48840 166 0 0 25 0 1 0 776701601 8101888 589 4294967295 134512640 134581331 3221224608 3221223472 134560477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 611 0 0 0 49837 170 0 0 25 0 1 0 776701601 8101888 589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 611 0 0 0 50834 173 0 0 25 0 1 0 776701601 8101888 589 4294967295 134512640 134581331 3221224608 3221223472 134528344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 611 0 0 0 51831 175 0 0 25 0 1 0 776701601 8101888 589 4294967295 134512640 134581331 3221224608 3221223536 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 611 0 0 0 52829 178 0 0 25 0 1 0 776701601 8101888 589 4294967295 134512640 134581331 3221224608 3221223472 134560506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 611 0 0 0 53826 181 0 0 25 0 1 0 776701601 8101888 589 4294967295 134512640 134581331 3221224608 3221223472 134528316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 611 0 0 0 54823 184 0 0 25 0 1 0 776701601 8101888 589 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 611 0 0 0 55820 187 0 0 25 0 1 0 776701601 8101888 589 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1978 589 566 18 0 1960 0
vsize: 7912
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 626 0 0 0 56817 190 0 0 25 0 1 0 776701601 8232960 604 4294967295 134512640 134581331 3221224608 3221223472 134528289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 604 566 18 0 1992 0
vsize: 8040
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 626 0 0 0 57814 193 0 0 25 0 1 0 776701601 8232960 604 4294967295 134512640 134581331 3221224608 3221223472 134528500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 604 566 18 0 1992 0
vsize: 8040
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 626 0 0 0 58811 197 0 0 25 0 1 0 776701601 8232960 604 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 604 566 18 0 1992 0
vsize: 8040
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 626 0 0 0 59808 200 0 0 25 0 1 0 776701601 8232960 604 4294967295 134512640 134581331 3221224608 3221223520 134527987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 604 566 18 0 1992 0
vsize: 8040
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 626 0 0 0 60806 203 0 0 25 0 1 0 776701601 8232960 604 4294967295 134512640 134581331 3221224608 3221223504 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 604 566 18 0 1992 0
vsize: 8040
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 629 0 0 0 61803 206 0 0 25 0 1 0 776701601 8232960 607 4294967295 134512640 134581331 3221224608 3221223472 134528278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 629 0 0 0 62800 208 0 0 25 0 1 0 776701601 8232960 607 4294967295 134512640 134581331 3221224608 3221223588 134561096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 629 0 0 0 63797 212 0 0 25 0 1 0 776701601 8232960 607 4294967295 134512640 134581331 3221224608 3221223488 134560300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 629 0 0 0 64795 214 0 0 25 0 1 0 776701601 8232960 607 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 629 0 0 0 65793 216 0 0 25 0 1 0 776701601 8232960 607 4294967295 134512640 134581331 3221224608 3221223392 134528824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 629 0 0 0 66790 219 0 0 25 0 1 0 776701601 8232960 607 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 607 566 18 0 1992 0
vsize: 8040
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 634 0 0 0 67788 222 0 0 25 0 1 0 776701601 8232960 612 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 634 0 0 0 68784 226 0 0 25 0 1 0 776701601 8232960 612 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 634 0 0 0 69781 229 0 0 25 0 1 0 776701601 8232960 612 4294967295 134512640 134581331 3221224608 3221223520 134527516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 634 0 0 0 70779 231 0 0 25 0 1 0 776701601 8232960 612 4294967295 134512640 134581331 3221224608 3221223472 134528275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 634 0 0 0 71776 234 0 0 25 0 1 0 776701601 8232960 612 4294967295 134512640 134581331 3221224608 3221223536 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 634 0 0 0 72773 238 0 0 25 0 1 0 776701601 8232960 612 4294967295 134512640 134581331 3221224608 3221223472 134528278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 634 0 0 0 73771 240 0 0 25 0 1 0 776701601 8232960 612 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 634 0 0 0 74767 244 0 0 25 0 1 0 776701601 8232960 612 4294967295 134512640 134581331 3221224608 3221223392 134528767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 634 0 0 0 75764 247 0 0 25 0 1 0 776701601 8232960 612 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 634 0 0 0 76761 250 0 0 25 0 1 0 776701601 8232960 612 4294967295 134512640 134581331 3221224608 3221223472 134528652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 634 0 0 0 77758 253 0 0 25 0 1 0 776701601 8232960 612 4294967295 134512640 134581331 3221224608 3221223552 134558842 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 634 0 0 0 78756 255 0 0 25 0 1 0 776701601 8232960 612 4294967295 134512640 134581331 3221224608 3221223472 134528538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 634 0 0 0 79752 259 0 0 25 0 1 0 776701601 8232960 612 4294967295 134512640 134581331 3221224608 3221223504 134517912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 634 0 0 0 80750 261 0 0 25 0 1 0 776701601 8232960 612 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 634 0 0 0 81748 264 0 0 25 0 1 0 776701601 8232960 612 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 612 566 18 0 1992 0
vsize: 8040
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 637 0 0 0 82745 267 0 0 25 0 1 0 776701601 8232960 615 4294967295 134512640 134581331 3221224608 3221223600 134561111 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 615 566 18 0 1992 0
vsize: 8040
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 637 0 0 0 83741 271 0 0 25 0 1 0 776701601 8232960 615 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 615 566 18 0 1992 0
vsize: 8040
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 637 0 0 0 84739 273 0 0 25 0 1 0 776701601 8232960 615 4294967295 134512640 134581331 3221224608 3221223568 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 615 566 18 0 1992 0
vsize: 8040
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 637 0 0 0 85737 276 0 0 25 0 1 0 776701601 8232960 615 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 615 566 18 0 1992 0
vsize: 8040
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 637 0 0 0 86734 279 0 0 25 0 1 0 776701601 8232960 615 4294967295 134512640 134581331 3221224608 3221223504 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 615 566 18 0 1992 0
vsize: 8040
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 649 0 0 0 87730 283 0 0 25 0 1 0 776701601 8232960 627 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 627 566 18 0 1992 0
vsize: 8040
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 649 0 0 0 88728 286 0 0 25 0 1 0 776701601 8232960 627 4294967295 134512640 134581331 3221224608 3221223472 134560320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2010 627 566 18 0 1992 0
vsize: 8040
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 651 0 0 0 89724 289 0 0 25 0 1 0 776701601 8327168 629 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2033 629 566 18 0 2015 0
vsize: 8132
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 651 0 0 0 90720 294 0 0 25 0 1 0 776701601 8310784 629 4294967295 134512640 134581331 3221224608 3221223472 134528248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2029 629 566 18 0 2011 0
vsize: 8116
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 651 0 0 0 91717 297 0 0 25 0 1 0 776701601 8310784 629 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2029 629 566 18 0 2011 0
vsize: 8116
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 656 0 0 0 92714 300 0 0 25 0 1 0 776701601 8310784 634 4294967295 134512640 134581331 3221224608 3221223520 134527975 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2029 634 566 18 0 2011 0
vsize: 8116
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 656 0 0 0 93710 304 0 0 25 0 1 0 776701601 8310784 634 4294967295 134512640 134581331 3221224608 3221223504 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2029 634 566 18 0 2011 0
vsize: 8116
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 656 0 0 0 94708 306 0 0 25 0 1 0 776701601 8310784 634 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2029 634 566 18 0 2011 0
vsize: 8116
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 656 0 0 0 95705 309 0 0 25 0 1 0 776701601 8310784 634 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2029 634 566 18 0 2011 0
vsize: 8116
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 660 0 0 0 96703 312 0 0 25 0 1 0 776701601 8302592 638 4294967295 134512640 134581331 3221224608 3221223392 134528799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 638 566 18 0 2009 0
vsize: 8108
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 660 0 0 0 97700 315 0 0 25 0 1 0 776701601 8302592 638 4294967295 134512640 134581331 3221224608 3221223500 134560192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 638 566 18 0 2009 0
vsize: 8108
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 660 0 0 0 98696 319 0 0 25 0 1 0 776701601 8302592 638 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 638 566 18 0 2009 0
vsize: 8108
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 660 0 0 0 99694 321 0 0 25 0 1 0 776701601 8302592 638 4294967295 134512640 134581331 3221224608 3221223472 134528500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 638 566 18 0 2009 0
vsize: 8108
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 660 0 0 0 100691 324 0 0 25 0 1 0 776701601 8302592 638 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 638 566 18 0 2009 0
vsize: 8108
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 660 0 0 0 101687 329 0 0 25 0 1 0 776701601 8302592 638 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 638 566 18 0 2009 0
vsize: 8108
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 664 0 0 0 102685 331 0 0 25 0 1 0 776701601 8302592 642 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 664 0 0 0 103683 334 0 0 25 0 1 0 776701601 8302592 642 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 664 0 0 0 104680 337 0 0 25 0 1 0 776701601 8302592 642 4294967295 134512640 134581331 3221224608 3221223552 134558941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 664 0 0 0 105677 339 0 0 25 0 1 0 776701601 8302592 642 4294967295 134512640 134581331 3221224608 3221223536 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 664 0 0 0 106675 342 0 0 25 0 1 0 776701601 8302592 642 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 664 0 0 0 107672 345 0 0 25 0 1 0 776701601 8302592 642 4294967295 134512640 134581331 3221224608 3221223536 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 664 0 0 0 108668 349 0 0 25 0 1 0 776701601 8302592 642 4294967295 134512640 134581331 3221224608 3221223400 1075288435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 664 0 0 0 109666 352 0 0 25 0 1 0 776701601 8302592 642 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 664 0 0 0 110663 355 0 0 25 0 1 0 776701601 8302592 642 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 664 0 0 0 111659 358 0 0 25 0 1 0 776701601 8302592 642 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 664 0 0 0 112656 362 0 0 25 0 1 0 776701601 8302592 642 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 664 0 0 0 113654 364 0 0 25 0 1 0 776701601 8302592 642 4294967295 134512640 134581331 3221224608 3221223568 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 664 0 0 0 114650 368 0 0 25 0 1 0 776701601 8302592 642 4294967295 134512640 134581331 3221224608 3221223472 134528428 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 664 0 0 0 115648 371 0 0 25 0 1 0 776701601 8302592 642 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 664 0 0 0 116645 374 0 0 25 0 1 0 776701601 8302592 642 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 664 0 0 0 117642 377 0 0 25 0 1 0 776701601 8302592 642 4294967295 134512640 134581331 3221224608 3221223504 134517921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 8108
[startup+1188.84 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 26118
Raw data (stat): 26118 (Pueblo) R 26117 21152 21151 0 -1 0 664 0 0 0 117642 377 0 0 25 0 1 0 776701601 8302592 642 4294967295 134512640 134581331 3221224608 3221223504 134517921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2027 642 566 18 0 2009 0
vsize: 0

Child status: 10
Real time (s): 1188.84
CPU time (s): 1189.01
CPU user time (s): 1185.21
CPU system time (s): 3.80042
CPU usage (%): 100.014
Max. virtual memory (Kb): 8132
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	602
#### END VERIFIER DATA ####