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/miplib3/normalized-mps-v2-13-7-lseu.opb
MD5SUM	99657262afbbfce7034a3ec6b29d9b3b
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.02884
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 25657

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 13:07:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18493 boxname=wulflinc31 idbench=1423 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  99657262afbbfce7034a3ec6b29d9b3b  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-lseu.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-lseu.opb
IDLAUNCH: 18493
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        901676 kB
Buffers:         19688 kB
Cached:          93068 kB
SwapCached:       1076 kB
Active:          51004 kB
Inactive:        64136 kB
HighTotal:      131008 kB
HighFree:        69160 kB
LowTotal:       903652 kB
LowFree:        832516 kB
SwapTotal:     2097892 kB
SwapFree:      2095984 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            12280 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 13:27:48 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 18493 0 1189.02 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/wulflinc31/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.91 0.97 0.97 2/55 11002
Raw data (stat): 11002 (runsolver) R 11001 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 804534178 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0012 s]
Raw data (loadavg): 0.93 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 308 0 0 0 986 10 0 0 25 0 1 0 804534178 6963200 285 4294967295 134512640 134581331 3221221792 3221220620 134528851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 285 566 18 0 1682 0
vsize: 6800
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 317 0 0 0 1979 17 0 0 25 0 1 0 804534178 6963200 294 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 294 566 18 0 1682 0
vsize: 6800
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 319 0 0 0 2974 23 0 0 25 0 1 0 804534178 6963200 296 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 296 566 18 0 1682 0
vsize: 6800
[startup+40.003 s]
Raw data (loadavg): 0.95 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 325 0 0 0 3969 27 0 0 25 0 1 0 804534178 6963200 302 4294967295 134512640 134581331 3221221792 3221220760 134527305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 302 566 18 0 1682 0
vsize: 6800
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 328 0 0 0 4965 32 0 0 25 0 1 0 804534178 6963200 305 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 305 566 18 0 1682 0
vsize: 6800
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 330 0 0 0 5961 36 0 0 25 0 1 0 804534178 6963200 307 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 307 566 18 0 1682 0
vsize: 6800
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 333 0 0 0 6957 40 0 0 25 0 1 0 804534178 6963200 310 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 310 566 18 0 1682 0
vsize: 6800
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 334 0 0 0 7952 45 0 0 25 0 1 0 804534178 6963200 311 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 311 566 18 0 1682 0
vsize: 6800
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 340 0 0 0 8948 50 0 0 25 0 1 0 804534178 7090176 317 4294967295 134512640 134581331 3221221792 3221220576 134528820 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1731 317 566 18 0 1713 0
vsize: 6924
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 340 0 0 0 9944 53 0 0 25 0 1 0 804534178 7073792 317 4294967295 134512640 134581331 3221221792 3221220704 134527701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1727 317 566 18 0 1709 0
vsize: 6908
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 341 0 0 0 10941 57 0 0 25 0 1 0 804534178 7073792 318 4294967295 134512640 134581331 3221221792 3221220704 134527416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1727 318 566 18 0 1709 0
vsize: 6908
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 341 0 0 0 11937 61 0 0 25 0 1 0 804534178 7073792 318 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1727 318 566 18 0 1709 0
vsize: 6908
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 343 0 0 0 12933 65 0 0 25 0 1 0 804534178 7073792 320 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1727 320 566 18 0 1709 0
vsize: 6908
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 343 0 0 0 13928 70 0 0 25 0 1 0 804534178 7073792 320 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1727 320 566 18 0 1709 0
vsize: 6908
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 344 0 0 0 14925 73 0 0 25 0 1 0 804534178 7073792 321 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 321 566 18 0 1709 0
vsize: 6908
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 348 0 0 0 15922 77 0 0 25 0 1 0 804534178 7073792 325 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 325 566 18 0 1709 0
vsize: 6908
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 350 0 0 0 16919 80 0 0 25 0 1 0 804534178 7073792 327 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 327 566 18 0 1709 0
vsize: 6908
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 352 0 0 0 17912 87 0 0 25 0 1 0 804534178 7073792 329 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 329 566 18 0 1709 0
vsize: 6908
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 353 0 0 0 18907 92 0 0 25 0 1 0 804534178 7073792 330 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 330 566 18 0 1709 0
vsize: 6908
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 353 0 0 0 19902 98 0 0 25 0 1 0 804534178 7073792 330 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 330 566 18 0 1709 0
vsize: 6908
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 354 0 0 0 20897 103 0 0 25 0 1 0 804534178 7073792 331 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 331 566 18 0 1709 0
vsize: 6908
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 358 0 0 0 21892 108 0 0 25 0 1 0 804534178 7073792 335 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 335 566 18 0 1709 0
vsize: 6908
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 358 0 0 0 22886 114 0 0 25 0 1 0 804534178 7073792 335 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 335 566 18 0 1709 0
vsize: 6908
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 361 0 0 0 23880 121 0 0 25 0 1 0 804534178 7073792 338 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 338 566 18 0 1709 0
vsize: 6908
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 361 0 0 0 24872 129 0 0 25 0 1 0 804534178 7073792 338 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 338 566 18 0 1709 0
vsize: 6908
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 361 0 0 0 25865 136 0 0 25 0 1 0 804534178 7073792 338 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 338 566 18 0 1709 0
vsize: 6908
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 361 0 0 0 26857 144 0 0 25 0 1 0 804534178 7073792 338 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 338 566 18 0 1709 0
vsize: 6908
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 363 0 0 0 27852 149 0 0 25 0 1 0 804534178 7073792 340 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 340 566 18 0 1709 0
vsize: 6908
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 363 0 0 0 28847 154 0 0 25 0 1 0 804534178 7073792 340 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 340 566 18 0 1709 0
vsize: 6908
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 363 0 0 0 29842 160 0 0 25 0 1 0 804534178 7073792 340 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 340 566 18 0 1709 0
vsize: 6908
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 363 0 0 0 30836 166 0 0 25 0 1 0 804534178 7073792 340 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 340 566 18 0 1709 0
vsize: 6908
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 364 0 0 0 31829 173 0 0 25 0 1 0 804534178 7073792 341 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 341 566 18 0 1709 0
vsize: 6908
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 364 0 0 0 32822 180 0 0 25 0 1 0 804534178 7073792 341 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 341 566 18 0 1709 0
vsize: 6908
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 364 0 0 0 33816 186 0 0 25 0 1 0 804534178 7073792 341 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 341 566 18 0 1709 0
vsize: 6908
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 364 0 0 0 34810 193 0 0 25 0 1 0 804534178 7073792 341 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1727 341 566 18 0 1709 0
vsize: 6908
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 367 0 0 0 35805 197 0 0 25 0 1 0 804534178 7192576 344 4294967295 134512640 134581331 3221221792 3221220656 134528287 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1756 344 566 18 0 1738 0
vsize: 7024
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 367 0 0 0 36801 201 0 0 25 0 1 0 804534178 7176192 344 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1752 344 566 18 0 1734 0
vsize: 7008
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 367 0 0 0 37797 206 0 0 25 0 1 0 804534178 7163904 344 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1749 344 566 18 0 1731 0
vsize: 6996
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 367 0 0 0 38793 210 0 0 25 0 1 0 804534178 7155712 344 4294967295 134512640 134581331 3221221792 3221220656 134560398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 344 566 18 0 1729 0
vsize: 6988
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 367 0 0 0 39784 220 0 0 25 0 1 0 804534178 7155712 344 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 344 566 18 0 1729 0
vsize: 6988
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 367 0 0 0 40778 226 0 0 25 0 1 0 804534178 7155712 344 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 344 566 18 0 1729 0
vsize: 6988
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 367 0 0 0 41772 232 0 0 25 0 1 0 804534178 7155712 344 4294967295 134512640 134581331 3221221792 3221220704 134527703 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 344 566 18 0 1729 0
vsize: 6988
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 368 0 0 0 42767 237 0 0 25 0 1 0 804534178 7155712 345 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 345 566 18 0 1729 0
vsize: 6988
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 368 0 0 0 43762 241 0 0 25 0 1 0 804534178 7155712 345 4294967295 134512640 134581331 3221221792 3221220704 134527457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 345 566 18 0 1729 0
vsize: 6988
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 368 0 0 0 44759 245 0 0 25 0 1 0 804534178 7155712 345 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 345 566 18 0 1729 0
vsize: 6988
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 370 0 0 0 45753 251 0 0 25 0 1 0 804534178 7155712 347 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 347 566 18 0 1729 0
vsize: 6988
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 370 0 0 0 46749 255 0 0 25 0 1 0 804534178 7155712 347 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 347 566 18 0 1729 0
vsize: 6988
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 373 0 0 0 47745 260 0 0 25 0 1 0 804534178 7155712 350 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 350 566 18 0 1729 0
vsize: 6988
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 373 0 0 0 48741 263 0 0 25 0 1 0 804534178 7155712 350 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 350 566 18 0 1729 0
vsize: 6988
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 373 0 0 0 49738 267 0 0 25 0 1 0 804534178 7155712 350 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 350 566 18 0 1729 0
vsize: 6988
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 373 0 0 0 50733 272 0 0 25 0 1 0 804534178 7155712 350 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 350 566 18 0 1729 0
vsize: 6988
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 373 0 0 0 51727 279 0 0 25 0 1 0 804534178 7155712 350 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 350 566 18 0 1729 0
vsize: 6988
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 373 0 0 0 52721 285 0 0 25 0 1 0 804534178 7155712 350 4294967295 134512640 134581331 3221221792 3221220704 134527636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 350 566 18 0 1729 0
vsize: 6988
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 373 0 0 0 53716 290 0 0 25 0 1 0 804534178 7155712 350 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 350 566 18 0 1729 0
vsize: 6988
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 373 0 0 0 54710 296 0 0 25 0 1 0 804534178 7155712 350 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 350 566 18 0 1729 0
vsize: 6988
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 376 0 0 0 55704 302 0 0 25 0 1 0 804534178 7155712 353 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 353 566 18 0 1729 0
vsize: 6988
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 377 0 0 0 56699 307 0 0 25 0 1 0 804534178 7155712 354 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 354 566 18 0 1729 0
vsize: 6988
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 380 0 0 0 57695 311 0 0 25 0 1 0 804534178 7155712 357 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 357 566 18 0 1729 0
vsize: 6988
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 380 0 0 0 58689 318 0 0 25 0 1 0 804534178 7155712 357 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 357 566 18 0 1729 0
vsize: 6988
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 380 0 0 0 59681 325 0 0 25 0 1 0 804534178 7155712 357 4294967295 134512640 134581331 3221221792 3221220676 134557939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 357 566 18 0 1729 0
vsize: 6988
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 380 0 0 0 60677 330 0 0 25 0 1 0 804534178 7155712 357 4294967295 134512640 134581331 3221221792 3221220656 134528287 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 357 566 18 0 1729 0
vsize: 6988
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 380 0 0 0 61671 336 0 0 25 0 1 0 804534178 7155712 357 4294967295 134512640 134581331 3221221792 3221220768 134560826 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 357 566 18 0 1729 0
vsize: 6988
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 380 0 0 0 62661 346 0 0 25 0 1 0 804534178 7155712 357 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 357 566 18 0 1729 0
vsize: 6988
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 381 0 0 0 63653 355 0 0 25 0 1 0 804534178 7155712 358 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 358 566 18 0 1729 0
vsize: 6988
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 381 0 0 0 64643 365 0 0 25 0 1 0 804534178 7155712 358 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 358 566 18 0 1729 0
vsize: 6988
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 381 0 0 0 65635 373 0 0 25 0 1 0 804534178 7155712 358 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 358 566 18 0 1729 0
vsize: 6988
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 381 0 0 0 66626 382 0 0 25 0 1 0 804534178 7155712 358 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 358 566 18 0 1729 0
vsize: 6988
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 67617 391 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 68610 398 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 69601 407 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 70593 415 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 71588 421 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220672 134520299 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 72581 428 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 73572 437 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 74563 447 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 75556 454 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 76547 463 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 77539 471 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220656 134528323 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 78531 479 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 79522 488 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 80514 497 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 81504 507 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 82495 516 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 83487 524 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 84476 535 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220736 134560118 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 85470 542 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 86460 552 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 87453 559 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220700 134560303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 382 0 0 0 88443 568 0 0 25 0 1 0 804534178 7155712 359 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 359 566 18 0 1729 0
vsize: 6988
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 383 0 0 0 89438 575 0 0 25 0 1 0 804534178 7155712 360 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 360 566 18 0 1729 0
vsize: 6988
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 383 0 0 0 90431 581 0 0 25 0 1 0 804534178 7155712 360 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 360 566 18 0 1729 0
vsize: 6988
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 383 0 0 0 91425 588 0 0 25 0 1 0 804534178 7155712 360 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 360 566 18 0 1729 0
vsize: 6988
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 383 0 0 0 92413 599 0 0 25 0 1 0 804534178 7155712 360 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 360 566 18 0 1729 0
vsize: 6988
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 383 0 0 0 93405 608 0 0 25 0 1 0 804534178 7155712 360 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 360 566 18 0 1729 0
vsize: 6988
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 383 0 0 0 94397 616 0 0 25 0 1 0 804534178 7155712 360 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 360 566 18 0 1729 0
vsize: 6988
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 383 0 0 0 95389 624 0 0 25 0 1 0 804534178 7155712 360 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 360 566 18 0 1729 0
vsize: 6988
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 383 0 0 0 96381 632 0 0 25 0 1 0 804534178 7155712 360 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 360 566 18 0 1729 0
vsize: 6988
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 383 0 0 0 97372 641 0 0 25 0 1 0 804534178 7155712 360 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 360 566 18 0 1729 0
vsize: 6988
[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 383 0 0 0 98366 647 0 0 25 0 1 0 804534178 7155712 360 4294967295 134512640 134581331 3221221792 3221220704 134527975 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 360 566 18 0 1729 0
vsize: 6988
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 383 0 0 0 99359 655 0 0 25 0 1 0 804534178 7155712 360 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 360 566 18 0 1729 0
vsize: 6988
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 383 0 0 0 100352 662 0 0 25 0 1 0 804534178 7155712 360 4294967295 134512640 134581331 3221221792 3221220704 134527355 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 360 566 18 0 1729 0
vsize: 6988
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 384 0 0 0 101344 670 0 0 25 0 1 0 804534178 7155712 361 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 361 566 18 0 1729 0
vsize: 6988
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 384 0 0 0 102335 679 0 0 25 0 1 0 804534178 7155712 361 4294967295 134512640 134581331 3221221792 3221220752 134519892 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 361 566 18 0 1729 0
vsize: 6988
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 384 0 0 0 103328 686 0 0 25 0 1 0 804534178 7155712 361 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 361 566 18 0 1729 0
vsize: 6988
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 384 0 0 0 104316 699 0 0 25 0 1 0 804534178 7155712 361 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 361 566 18 0 1729 0
vsize: 6988
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 384 0 0 0 105309 706 0 0 25 0 1 0 804534178 7155712 361 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 361 566 18 0 1729 0
vsize: 6988
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 384 0 0 0 106303 712 0 0 25 0 1 0 804534178 7155712 361 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1747 361 566 18 0 1729 0
vsize: 6988
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 389 0 0 0 107295 721 0 0 25 0 1 0 804534178 7258112 366 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1772 366 566 18 0 1754 0
vsize: 7088
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 392 0 0 0 108287 728 0 0 25 0 1 0 804534178 7258112 369 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1772 369 566 18 0 1754 0
vsize: 7088
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 392 0 0 0 109280 735 0 0 25 0 1 0 804534178 7258112 369 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1772 369 566 18 0 1754 0
vsize: 7088
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 392 0 0 0 110274 742 0 0 25 0 1 0 804534178 7258112 369 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1772 369 566 18 0 1754 0
vsize: 7088
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 392 0 0 0 111266 750 0 0 25 0 1 0 804534178 7258112 369 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1772 369 566 18 0 1754 0
vsize: 7088
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 392 0 0 0 112260 756 0 0 25 0 1 0 804534178 7258112 369 4294967295 134512640 134581331 3221221792 3221220764 134527302 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1772 369 566 18 0 1754 0
vsize: 7088
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 392 0 0 0 113254 762 0 0 25 0 1 0 804534178 7258112 369 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1772 369 566 18 0 1754 0
vsize: 7088
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 392 0 0 0 114246 770 0 0 25 0 1 0 804534178 7258112 369 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1772 369 566 18 0 1754 0
vsize: 7088
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 392 0 0 0 115240 777 0 0 25 0 1 0 804534178 7258112 369 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1772 369 566 18 0 1754 0
vsize: 7088
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 392 0 0 0 116231 786 0 0 25 0 1 0 804534178 7258112 369 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1772 369 566 18 0 1754 0
vsize: 7088
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 392 0 0 0 117223 794 0 0 25 0 1 0 804534178 7258112 369 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1772 369 566 18 0 1754 0
vsize: 7088
[startup+1188.87 s]
Raw data (loadavg): 0.99 0.97 0.97 1/54 11002
Raw data (stat): 11002 (Pueblo) R 11001 7876 7672 0 -1 0 392 0 0 0 117223 794 0 0 25 0 1 0 804534178 7258112 369 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1772 369 566 18 0 1754 0
vsize: 0

Child status: 10
Real time (s): 1188.87
CPU time (s): 1189.02
CPU user time (s): 1181
CPU system time (s): 8.01578
CPU usage (%): 100.012
Max. virtual memory (Kb): 7088
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1313
#### END VERIFIER DATA ####