PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lseu.opb
MD5SUM	5fcfa2f72175b9723ffb2781fb76fcdc
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1120
Optimality of the best value was proved	NO
Number of terms in the objective function	85
Biggest coefficient in the objective function	517
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	15494
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1656
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	15494
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02584
Number of variables	89
Total number of constraints	117
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	47
Trace number 27476

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-24 22:03:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16920 boxname=wulflinc18 idbench=1302 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  5fcfa2f72175b9723ffb2781fb76fcdc  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-lseu.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-lseu.opb
IDLAUNCH: 16920
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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:        904436 kB
Buffers:          7304 kB
Cached:         102088 kB
SwapCached:        836 kB
Active:          20196 kB
Inactive:        91712 kB
HighTotal:      131008 kB
HighFree:        67368 kB
LowTotal:       903652 kB
LowFree:        837068 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5660 kB
Slab:            12580 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 22:23:16 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 16920 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/wulflinc18/normalized-mps-v2-13-7-lseu.opb
c #variables read: 89 - #constraints read: 118
s SATISFIABLE
v C101_bit0 C102_bit0 -C103_bit0 -C104_bit0 -C105_bit0 -C108_bit0 -C111_bit0 -C112_bit0 -C113_bit0 C114_bit0 -C115_bit0 -C116_bit0 -C117_bit0 -C118_bit0 -C119_bit0 -C120_bit0 -C121_bit0 -C122_bit0 -C123_bit0 -C124_bit0 -C125_bit0 -C126_bit0 C127_bit0 -C128_bit0 -C129_bit0 -C130_bit0 -C131_bit0 -C132_bit0 -C133_bit0 -C134_bit0 C135_bit0 -C136_bit0 -C137_bit0 -C138_bit0 -C139_bit0 -C140_bit0 -C141_bit0 -C142_bit0 -C143_bit0 -C144_bit0 C145_bit0 -C146_bit0 -C147_bit0 -C148_bit0 -C149_bit0 C150_bit0 -C151_bit0 C152_bit0 -C153_bit0 -C154_bit0 -C155_bit0 -C156_bit0 -C157_bit0 -C158_bit0 -C159_bit0 -C160_bit0 -C161_bit0 -C162_bit0 C163_bit0 -C164_bit0 -C165_bit0 C166_bit0 -C167_bit0 -C168_bit0 -C169_bit0 C170_bit0 -C171_bit0 -C172_bit0 -C173_bit0 C174_bit0 -C175_bit0 -C176_bit0 -C177_bit0 -C178_bit0 -C179_bit0 -C180_bit0 -C181_bit0 -C182_bit0 -C183_bit0 -C184_bit0 -C185_bit0 -C186_bit0 -C187_bit0 -C188_bit0 -C189_bit0 -C106_bit0 -C107_bit0 C109_bit0 -C110_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.93 0.97 0.94 2/54 26533
Raw data (stat): 26533 (runsolver) R 26532 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833675839 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.0006 s]
Raw data (loadavg): 0.94 0.97 0.94 2/54 26533
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 305 0 0 0 991 7 0 0 25 0 1 0 833675839 6959104 283 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 283 566 18 0 1681 0
vsize: 6796
[startup+20.0004 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 26533
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 314 0 0 0 1986 13 0 0 25 0 1 0 833675839 6959104 292 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 292 566 18 0 1681 0
vsize: 6796
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 26533
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 316 0 0 0 2980 19 0 0 25 0 1 0 833675839 6959104 294 4294967295 134512640 134581331 3221224608 3221223520 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 294 566 18 0 1681 0
vsize: 6796
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.97 0.94 2/54 26533
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 322 0 0 0 3976 23 0 0 25 0 1 0 833675839 6959104 300 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 300 566 18 0 1681 0
vsize: 6796
[startup+50.0012 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 26533
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 325 0 0 0 4971 28 0 0 25 0 1 0 833675839 6959104 303 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 303 566 18 0 1681 0
vsize: 6796
[startup+60.0009 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 26533
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 327 0 0 0 5965 34 0 0 25 0 1 0 833675839 6959104 305 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 305 566 18 0 1681 0
vsize: 6796
[startup+70.0011 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 26533
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 330 0 0 0 6961 38 0 0 25 0 1 0 833675839 6959104 308 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 308 566 18 0 1681 0
vsize: 6796
[startup+80.002 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 26533
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 332 0 0 0 7958 42 0 0 25 0 1 0 833675839 6959104 310 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 310 566 18 0 1681 0
vsize: 6796
[startup+90.0016 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 26533
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 338 0 0 0 8953 47 0 0 25 0 1 0 833675839 7069696 316 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 316 566 18 0 1708 0
vsize: 6904
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 26533
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 338 0 0 0 9950 50 0 0 25 0 1 0 833675839 7069696 316 4294967295 134512640 134581331 3221224608 3221223520 134527769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 316 566 18 0 1708 0
vsize: 6904
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 339 0 0 0 10947 54 0 0 25 0 1 0 833675839 7069696 317 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 317 566 18 0 1708 0
vsize: 6904
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 341 0 0 0 11943 57 0 0 25 0 1 0 833675839 7069696 319 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 319 566 18 0 1708 0
vsize: 6904
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 341 0 0 0 12938 63 0 0 25 0 1 0 833675839 7069696 319 4294967295 134512640 134581331 3221224608 3221223576 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 319 566 18 0 1708 0
vsize: 6904
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 341 0 0 0 13934 67 0 0 25 0 1 0 833675839 7069696 319 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 319 566 18 0 1708 0
vsize: 6904
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 342 0 0 0 14931 70 0 0 25 0 1 0 833675839 7069696 320 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 320 566 18 0 1708 0
vsize: 6904
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 348 0 0 0 15927 74 0 0 25 0 1 0 833675839 7069696 326 4294967295 134512640 134581331 3221224608 3221223520 134527950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 326 566 18 0 1708 0
vsize: 6904
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 348 0 0 0 16922 79 0 0 25 0 1 0 833675839 7069696 326 4294967295 134512640 134581331 3221224608 3221223472 134528258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 326 566 18 0 1708 0
vsize: 6904
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 350 0 0 0 17916 85 0 0 25 0 1 0 833675839 7069696 328 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 328 566 18 0 1708 0
vsize: 6904
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 351 0 0 0 18913 89 0 0 25 0 1 0 833675839 7069696 329 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 329 566 18 0 1708 0
vsize: 6904
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 351 0 0 0 19908 94 0 0 25 0 1 0 833675839 7069696 329 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 329 566 18 0 1708 0
vsize: 6904
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 352 0 0 0 20904 98 0 0 25 0 1 0 833675839 7069696 330 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 330 566 18 0 1708 0
vsize: 6904
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 356 0 0 0 21900 102 0 0 25 0 1 0 833675839 7069696 334 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 334 566 18 0 1708 0
vsize: 6904
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 356 0 0 0 22893 110 0 0 25 0 1 0 833675839 7069696 334 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 334 566 18 0 1708 0
vsize: 6904
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 359 0 0 0 23884 118 0 0 25 0 1 0 833675839 7069696 337 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 337 566 18 0 1708 0
vsize: 6904
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 359 0 0 0 24878 125 0 0 25 0 1 0 833675839 7069696 337 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 337 566 18 0 1708 0
vsize: 6904
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 359 0 0 0 25870 133 0 0 25 0 1 0 833675839 7069696 337 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 337 566 18 0 1708 0
vsize: 6904
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 359 0 0 0 26863 140 0 0 25 0 1 0 833675839 7069696 337 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 337 566 18 0 1708 0
vsize: 6904
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 361 0 0 0 27859 144 0 0 25 0 1 0 833675839 7069696 339 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 339 566 18 0 1708 0
vsize: 6904
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 361 0 0 0 28854 150 0 0 25 0 1 0 833675839 7069696 339 4294967295 134512640 134581331 3221224608 3221223520 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 339 566 18 0 1708 0
vsize: 6904
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 361 0 0 0 29847 156 0 0 25 0 1 0 833675839 7069696 339 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 339 566 18 0 1708 0
vsize: 6904
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 361 0 0 0 30839 164 0 0 25 0 1 0 833675839 7069696 339 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 339 566 18 0 1708 0
vsize: 6904
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 362 0 0 0 31833 171 0 0 25 0 1 0 833675839 7069696 340 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 340 566 18 0 1708 0
vsize: 6904
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 362 0 0 0 32828 176 0 0 25 0 1 0 833675839 7069696 340 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 340 566 18 0 1708 0
vsize: 6904
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 362 0 0 0 33825 180 0 0 25 0 1 0 833675839 7069696 340 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 340 566 18 0 1708 0
vsize: 6904
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 362 0 0 0 34820 185 0 0 25 0 1 0 833675839 7069696 340 4294967295 134512640 134581331 3221224608 3221223472 134528258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 340 566 18 0 1708 0
vsize: 6904
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 365 0 0 0 35813 192 0 0 25 0 1 0 833675839 7188480 343 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 343 566 18 0 1737 0
vsize: 7020
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 365 0 0 0 36810 195 0 0 25 0 1 0 833675839 7172096 343 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1751 343 566 18 0 1733 0
vsize: 7004
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 365 0 0 0 37806 199 0 0 25 0 1 0 833675839 7159808 343 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1748 343 566 18 0 1730 0
vsize: 6992
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 365 0 0 0 38801 204 0 0 25 0 1 0 833675839 7151616 343 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 343 566 18 0 1728 0
vsize: 6984
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 365 0 0 0 39794 211 0 0 25 0 1 0 833675839 7151616 343 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 343 566 18 0 1728 0
vsize: 6984
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 365 0 0 0 40788 218 0 0 25 0 1 0 833675839 7151616 343 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 343 566 18 0 1728 0
vsize: 6984
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 365 0 0 0 41781 224 0 0 25 0 1 0 833675839 7151616 343 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 343 566 18 0 1728 0
vsize: 6984
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 366 0 0 0 42777 229 0 0 25 0 1 0 833675839 7151616 344 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 344 566 18 0 1728 0
vsize: 6984
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 366 0 0 0 43773 233 0 0 25 0 1 0 833675839 7151616 344 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 344 566 18 0 1728 0
vsize: 6984
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 366 0 0 0 44771 235 0 0 25 0 1 0 833675839 7151616 344 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 344 566 18 0 1728 0
vsize: 6984
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 368 0 0 0 45766 241 0 0 25 0 1 0 833675839 7151616 346 4294967295 134512640 134581331 3221224608 3221223520 134527692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 346 566 18 0 1728 0
vsize: 6984
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 368 0 0 0 46762 244 0 0 25 0 1 0 833675839 7151616 346 4294967295 134512640 134581331 3221224608 3221223520 134527621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 346 566 18 0 1728 0
vsize: 6984
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 371 0 0 0 47758 249 0 0 25 0 1 0 833675839 7151616 349 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 349 566 18 0 1728 0
vsize: 6984
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 371 0 0 0 48755 252 0 0 25 0 1 0 833675839 7151616 349 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 349 566 18 0 1728 0
vsize: 6984
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 371 0 0 0 49752 256 0 0 25 0 1 0 833675839 7151616 349 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 349 566 18 0 1728 0
vsize: 6984
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 371 0 0 0 50746 262 0 0 25 0 1 0 833675839 7151616 349 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 349 566 18 0 1728 0
vsize: 6984
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 371 0 0 0 51741 267 0 0 25 0 1 0 833675839 7151616 349 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 349 566 18 0 1728 0
vsize: 6984
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 371 0 0 0 52733 275 0 0 25 0 1 0 833675839 7151616 349 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 349 566 18 0 1728 0
vsize: 6984
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 371 0 0 0 53729 279 0 0 25 0 1 0 833675839 7151616 349 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 349 566 18 0 1728 0
vsize: 6984
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 371 0 0 0 54723 285 0 0 25 0 1 0 833675839 7151616 349 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 349 566 18 0 1728 0
vsize: 6984
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 374 0 0 0 55718 290 0 0 25 0 1 0 833675839 7151616 352 4294967295 134512640 134581331 3221224608 3221223568 134554677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 352 566 18 0 1728 0
vsize: 6984
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 375 0 0 0 56713 295 0 0 25 0 1 0 833675839 7151616 353 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 353 566 18 0 1728 0
vsize: 6984
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 378 0 0 0 57708 301 0 0 25 0 1 0 833675839 7151616 356 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 356 566 18 0 1728 0
vsize: 6984
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 378 0 0 0 58701 308 0 0 25 0 1 0 833675839 7151616 356 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 356 566 18 0 1728 0
vsize: 6984
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 378 0 0 0 59694 315 0 0 25 0 1 0 833675839 7151616 356 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 356 566 18 0 1728 0
vsize: 6984
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 378 0 0 0 60689 320 0 0 25 0 1 0 833675839 7151616 356 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 356 566 18 0 1728 0
vsize: 6984
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 378 0 0 0 61683 326 0 0 25 0 1 0 833675839 7151616 356 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 356 566 18 0 1728 0
vsize: 6984
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 378 0 0 0 62675 335 0 0 25 0 1 0 833675839 7151616 356 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 356 566 18 0 1728 0
vsize: 6984
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 379 0 0 0 63666 344 0 0 25 0 1 0 833675839 7151616 357 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 357 566 18 0 1728 0
vsize: 6984
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 379 0 0 0 64658 351 0 0 25 0 1 0 833675839 7151616 357 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 357 566 18 0 1728 0
vsize: 6984
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 379 0 0 0 65649 361 0 0 25 0 1 0 833675839 7151616 357 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 357 566 18 0 1728 0
vsize: 6984
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 379 0 0 0 66641 369 0 0 25 0 1 0 833675839 7151616 357 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 357 566 18 0 1728 0
vsize: 6984
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 67632 378 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 68627 384 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 69618 393 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 70607 404 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 71601 411 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223440 134531809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 72595 416 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223480 134558254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 73587 424 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 74580 432 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223296 1075288356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 75573 439 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 76566 447 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 77557 456 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 78548 464 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 79539 473 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223588 134560793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 80532 481 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 81526 488 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 82517 497 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 83510 504 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 84500 514 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223516 134528050 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 85492 522 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 86483 531 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 87472 543 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223472 134528258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 88462 553 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 380 0 0 0 89456 558 0 0 25 0 1 0 833675839 7151616 358 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 381 0 0 0 90450 565 0 0 25 0 1 0 833675839 7151616 359 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 381 0 0 0 91442 573 0 0 25 0 1 0 833675839 7151616 359 4294967295 134512640 134581331 3221224608 3221223472 134528287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 381 0 0 0 92431 584 0 0 25 0 1 0 833675839 7151616 359 4294967295 134512640 134581331 3221224608 3221223472 134528272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 381 0 0 0 93422 594 0 0 25 0 1 0 833675839 7151616 359 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 381 0 0 0 94413 602 0 0 25 0 1 0 833675839 7151616 359 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 381 0 0 0 95405 611 0 0 25 0 1 0 833675839 7151616 359 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 381 0 0 0 96396 620 0 0 25 0 1 0 833675839 7151616 359 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 381 0 0 0 97386 631 0 0 25 0 1 0 833675839 7151616 359 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 381 0 0 0 98378 638 0 0 25 0 1 0 833675839 7151616 359 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 381 0 0 0 99372 645 0 0 25 0 1 0 833675839 7151616 359 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 381 0 0 0 100363 654 0 0 25 0 1 0 833675839 7151616 359 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 359 566 18 0 1728 0
vsize: 6984
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 382 0 0 0 101356 661 0 0 25 0 1 0 833675839 7151616 360 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 360 566 18 0 1728 0
vsize: 6984
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 382 0 0 0 102347 670 0 0 25 0 1 0 833675839 7151616 360 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 360 566 18 0 1728 0
vsize: 6984
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 382 0 0 0 103341 677 0 0 25 0 1 0 833675839 7151616 360 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 360 566 18 0 1728 0
vsize: 6984
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 382 0 0 0 104332 686 0 0 25 0 1 0 833675839 7151616 360 4294967295 134512640 134581331 3221224608 3221223472 134560435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 360 566 18 0 1728 0
vsize: 6984
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 382 0 0 0 105322 695 0 0 25 0 1 0 833675839 7151616 360 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 360 566 18 0 1728 0
vsize: 6984
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 382 0 0 0 106314 704 0 0 25 0 1 0 833675839 7151616 360 4294967295 134512640 134581331 3221224608 3221223472 134528316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 360 566 18 0 1728 0
vsize: 6984
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 387 0 0 0 107307 712 0 0 25 0 1 0 833675839 7254016 365 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1771 365 566 18 0 1753 0
vsize: 7084
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 390 0 0 0 108301 718 0 0 25 0 1 0 833675839 7254016 368 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1771 368 566 18 0 1753 0
vsize: 7084
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 390 0 0 0 109292 727 0 0 25 0 1 0 833675839 7254016 368 4294967295 134512640 134581331 3221224608 3221223584 134560795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1771 368 566 18 0 1753 0
vsize: 7084
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 390 0 0 0 110287 733 0 0 25 0 1 0 833675839 7254016 368 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1771 368 566 18 0 1753 0
vsize: 7084
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 390 0 0 0 111279 741 0 0 25 0 1 0 833675839 7254016 368 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1771 368 566 18 0 1753 0
vsize: 7084
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 390 0 0 0 112272 747 0 0 25 0 1 0 833675839 7254016 368 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1771 368 566 18 0 1753 0
vsize: 7084
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 390 0 0 0 113265 755 0 0 25 0 1 0 833675839 7254016 368 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1771 368 566 18 0 1753 0
vsize: 7084
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 390 0 0 0 114257 763 0 0 25 0 1 0 833675839 7254016 368 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1771 368 566 18 0 1753 0
vsize: 7084
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 390 0 0 0 115251 769 0 0 25 0 1 0 833675839 7254016 368 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1771 368 566 18 0 1753 0
vsize: 7084
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 390 0 0 0 116244 776 0 0 25 0 1 0 833675839 7254016 368 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1771 368 566 18 0 1753 0
vsize: 7084
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 390 0 0 0 117238 782 0 0 25 0 1 0 833675839 7254016 368 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1771 368 566 18 0 1753 0
vsize: 7084
[startup+1188.83 s]
Raw data (loadavg): 0.99 0.97 0.94 1/53 26535
Raw data (stat): 26533 (Pueblo) R 26532 24172 24171 0 -1 0 390 0 0 0 117238 782 0 0 25 0 1 0 833675839 7254016 368 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1771 368 566 18 0 1753 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189.01
CPU user time (s): 1181.11
CPU system time (s): 7.8968
CPU usage (%): 100.015
Max. virtual memory (Kb): 7084
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1313
#### END VERIFIER DATA ####