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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-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.02984
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 28334

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-25 01:43:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13501 boxname=wulflinc25 idbench=1039 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  99657262afbbfce7034a3ec6b29d9b3b  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-lseu.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-lseu.opb
IDLAUNCH: 13501
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        553564 kB
Buffers:          5760 kB
Cached:         446568 kB
SwapCached:        688 kB
Active:          25640 kB
Inactive:       429056 kB
HighTotal:      131008 kB
HighFree:         5320 kB
LowTotal:       903652 kB
LowFree:        548244 kB
SwapTotal:     2097892 kB
SwapFree:      2096616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5604 kB
Slab:            20736 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 02:03:19 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 13501 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/wulflinc25/normalized-mps-v2-20-10-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.98 0.97 0.99 2/54 7372
Raw data (stat): 7372 (runsolver) R 7371 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835024770 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.0011 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 305 0 0 0 989 9 0 0 25 0 1 0 835024770 6959104 283 4294967295 134512640 134581331 3221224608 3221223552 134559425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 283 566 18 0 1681 0
vsize: 6796
[startup+20.0032 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 314 0 0 0 1984 15 0 0 25 0 1 0 835024770 6959104 292 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 292 566 18 0 1681 0
vsize: 6796
[startup+30.0034 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 316 0 0 0 2980 19 0 0 25 0 1 0 835024770 6959104 294 4294967295 134512640 134581331 3221224608 3221223520 134527998 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 294 566 18 0 1681 0
vsize: 6796
[startup+40.0044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 322 0 0 0 3975 24 0 0 25 0 1 0 835024770 6959104 300 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 300 566 18 0 1681 0
vsize: 6796
[startup+50.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 325 0 0 0 4970 29 0 0 25 0 1 0 835024770 6959104 303 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 303 566 18 0 1681 0
vsize: 6796
[startup+60.0043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 327 0 0 0 5964 35 0 0 25 0 1 0 835024770 6959104 305 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 305 566 18 0 1681 0
vsize: 6796
[startup+70.0054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 330 0 0 0 6960 40 0 0 25 0 1 0 835024770 6959104 308 4294967295 134512640 134581331 3221224608 3221223520 134527442 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.0059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 332 0 0 0 7954 45 0 0 25 0 1 0 835024770 6959104 310 4294967295 134512640 134581331 3221224608 3221223520 134527407 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.0059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 338 0 0 0 8951 49 0 0 25 0 1 0 835024770 7069696 316 4294967295 134512640 134581331 3221224608 3221223520 134527407 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.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 338 0 0 0 9948 52 0 0 25 0 1 0 835024770 7069696 316 4294967295 134512640 134581331 3221224608 3221223472 134560366 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.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 339 0 0 0 10943 57 0 0 25 0 1 0 835024770 7069696 317 4294967295 134512640 134581331 3221224608 3221223520 134528072 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.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 341 0 0 0 11939 62 0 0 25 0 1 0 835024770 7069696 319 4294967295 134512640 134581331 3221224608 3221223520 134527454 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.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 341 0 0 0 12935 65 0 0 25 0 1 0 835024770 7069696 319 4294967295 134512640 134581331 3221224608 3221223520 134527510 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.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 341 0 0 0 13931 70 0 0 25 0 1 0 835024770 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.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 342 0 0 0 14928 73 0 0 25 0 1 0 835024770 7069696 320 4294967295 134512640 134581331 3221224608 3221223672 1075514893 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.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 347 0 0 0 15923 78 0 0 25 0 1 0 835024770 7069696 325 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 325 566 18 0 1708 0
vsize: 6904
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 348 0 0 0 16917 84 0 0 25 0 1 0 835024770 7069696 326 4294967295 134512640 134581331 3221224608 3221223304 1075291632 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.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 350 0 0 0 17912 90 0 0 25 0 1 0 835024770 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.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 351 0 0 0 18908 95 0 0 25 0 1 0 835024770 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.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 351 0 0 0 19904 98 0 0 25 0 1 0 835024770 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.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 352 0 0 0 20900 103 0 0 25 0 1 0 835024770 7069696 330 4294967295 134512640 134581331 3221224608 3221223520 134527410 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.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 356 0 0 0 21894 108 0 0 25 0 1 0 835024770 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.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 356 0 0 0 22888 115 0 0 25 0 1 0 835024770 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.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 359 0 0 0 23883 121 0 0 25 0 1 0 835024770 7069696 337 4294967295 134512640 134581331 3221224608 3221223504 134528064 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.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 359 0 0 0 24876 127 0 0 25 0 1 0 835024770 7069696 337 4294967295 134512640 134581331 3221224608 3221223520 134527404 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.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 359 0 0 0 25868 135 0 0 25 0 1 0 835024770 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.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 359 0 0 0 26861 142 0 0 25 0 1 0 835024770 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+280.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 361 0 0 0 27858 146 0 0 25 0 1 0 835024770 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.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 361 0 0 0 28853 151 0 0 25 0 1 0 835024770 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+300.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 361 0 0 0 29849 155 0 0 25 0 1 0 835024770 7069696 339 4294967295 134512640 134581331 3221224608 3221223520 134527410 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.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 361 0 0 0 30843 162 0 0 25 0 1 0 835024770 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+320.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 361 0 0 0 31839 166 0 0 25 0 1 0 835024770 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+330.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 362 0 0 0 32832 173 0 0 25 0 1 0 835024770 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.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 362 0 0 0 33827 178 0 0 25 0 1 0 835024770 7069696 340 4294967295 134512640 134581331 3221224608 3221223520 134527410 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.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 362 0 0 0 34821 184 0 0 25 0 1 0 835024770 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+360.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 365 0 0 0 35817 188 0 0 25 0 1 0 835024770 7196672 343 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1757 343 566 18 0 1739 0
vsize: 7028
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 365 0 0 0 36812 193 0 0 25 0 1 0 835024770 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.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 365 0 0 0 37808 197 0 0 25 0 1 0 835024770 7159808 343 4294967295 134512640 134581331 3221224608 3221223428 1075288176 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.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 365 0 0 0 38803 203 0 0 25 0 1 0 835024770 7151616 343 4294967295 134512640 134581331 3221224608 3221223600 134561089 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.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 365 0 0 0 39798 208 0 0 25 0 1 0 835024770 7151616 343 4294967295 134512640 134581331 3221224608 3221223472 134526949 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.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 365 0 0 0 40793 213 0 0 25 0 1 0 835024770 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.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 365 0 0 0 41788 218 0 0 25 0 1 0 835024770 7151616 343 4294967295 134512640 134581331 3221224608 3221223520 134527459 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.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 366 0 0 0 42783 223 0 0 25 0 1 0 835024770 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+440.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 366 0 0 0 43779 227 0 0 25 0 1 0 835024770 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+450.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 366 0 0 0 44776 231 0 0 25 0 1 0 835024770 7151616 344 4294967295 134512640 134581331 3221224608 3221223520 134527407 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.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 368 0 0 0 45771 236 0 0 25 0 1 0 835024770 7151616 346 4294967295 134512640 134581331 3221224608 3221223672 1075514893 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.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 368 0 0 0 46768 240 0 0 25 0 1 0 835024770 7151616 346 4294967295 134512640 134581331 3221224608 3221223520 134527410 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.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 371 0 0 0 47764 243 0 0 25 0 1 0 835024770 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.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 371 0 0 0 48760 248 0 0 25 0 1 0 835024770 7151616 349 4294967295 134512640 134581331 3221224608 3221223304 1075291540 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.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 371 0 0 0 49756 252 0 0 25 0 1 0 835024770 7151616 349 4294967295 134512640 134581331 3221224608 3221223520 134527454 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.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 371 0 0 0 50752 256 0 0 25 0 1 0 835024770 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+520.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 371 0 0 0 51748 260 0 0 25 0 1 0 835024770 7151616 349 4294967295 134512640 134581331 3221224608 3221223520 134527383 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.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 371 0 0 0 52739 269 0 0 25 0 1 0 835024770 7151616 349 4294967295 134512640 134581331 3221224608 3221223584 134560803 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.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 371 0 0 0 53735 274 0 0 25 0 1 0 835024770 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+550.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 371 0 0 0 54731 278 0 0 25 0 1 0 835024770 7151616 349 4294967295 134512640 134581331 3221224608 3221223520 134527454 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.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 374 0 0 0 55725 284 0 0 25 0 1 0 835024770 7151616 352 4294967295 134512640 134581331 3221224608 3221223520 134527510 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.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 374 0 0 0 56720 290 0 0 25 0 1 0 835024770 7151616 352 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 352 566 18 0 1728 0
vsize: 6984
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 378 0 0 0 57715 295 0 0 25 0 1 0 835024770 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.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 378 0 0 0 58708 302 0 0 25 0 1 0 835024770 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+600.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 378 0 0 0 59700 309 0 0 25 0 1 0 835024770 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.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 378 0 0 0 60694 316 0 0 25 0 1 0 835024770 7151616 356 4294967295 134512640 134581331 3221224608 3221223576 134527284 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.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 378 0 0 0 61688 322 0 0 25 0 1 0 835024770 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+630.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 378 0 0 0 62679 330 0 0 25 0 1 0 835024770 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.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 378 0 0 0 63671 338 0 0 25 0 1 0 835024770 7151616 356 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 356 566 18 0 1728 0
vsize: 6984
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 379 0 0 0 64662 347 0 0 25 0 1 0 835024770 7151616 357 4294967295 134512640 134581331 3221224608 3221223520 134527404 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.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 379 0 0 0 65653 357 0 0 25 0 1 0 835024770 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+670.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 379 0 0 0 66645 365 0 0 25 0 1 0 835024770 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.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 67639 371 0 0 25 0 1 0 835024770 7151616 358 4294967295 134512640 134581331 3221224608 3221223508 134528124 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.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 68632 378 0 0 25 0 1 0 835024770 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.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 69625 386 0 0 25 0 1 0 835024770 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.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 70617 394 0 0 25 0 1 0 835024770 7151616 358 4294967295 134512640 134581331 3221224608 3221223600 134561252 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.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 71610 401 0 0 25 0 1 0 835024770 7151616 358 4294967295 134512640 134581331 3221224608 3221223520 134527709 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.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 72605 407 0 0 25 0 1 0 835024770 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+740.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 73596 415 0 0 25 0 1 0 835024770 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.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 74588 423 0 0 25 0 1 0 835024770 7151616 358 4294967295 134512640 134581331 3221224608 3221223520 134527464 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.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 75583 429 0 0 25 0 1 0 835024770 7151616 358 4294967295 134512640 134581331 3221224608 3221223472 134526949 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.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 76576 436 0 0 25 0 1 0 835024770 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+780.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 77568 444 0 0 25 0 1 0 835024770 7151616 358 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1746 358 566 18 0 1728 0
vsize: 6984
[startup+790.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 78559 453 0 0 25 0 1 0 835024770 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.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 79551 461 0 0 25 0 1 0 835024770 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+810.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 80543 469 0 0 25 0 1 0 835024770 7151616 358 4294967295 134512640 134581331 3221224608 3221223520 134527454 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.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 81535 478 0 0 25 0 1 0 835024770 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+830.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 82527 486 0 0 25 0 1 0 835024770 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.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 83517 496 0 0 25 0 1 0 835024770 7151616 358 4294967295 134512640 134581331 3221224608 3221223520 134527404 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.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 84508 506 0 0 25 0 1 0 835024770 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+860.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 85500 514 0 0 25 0 1 0 835024770 7151616 358 4294967295 134512640 134581331 3221224608 3221223520 134528088 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.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 86492 522 0 0 25 0 1 0 835024770 7151616 358 4294967295 134512640 134581331 3221224608 3221223472 134528526 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.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 87484 530 0 0 25 0 1 0 835024770 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+890.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 88477 537 0 0 25 0 1 0 835024770 7151616 358 4294967295 134512640 134581331 3221224608 3221223520 134528079 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.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 380 0 0 0 89469 546 0 0 25 0 1 0 835024770 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+910.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 381 0 0 0 90464 551 0 0 25 0 1 0 835024770 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.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 381 0 0 0 91456 559 0 0 25 0 1 0 835024770 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+930.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 381 0 0 0 92449 565 0 0 25 0 1 0 835024770 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+940.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 381 0 0 0 93440 575 0 0 25 0 1 0 835024770 7151616 359 4294967295 134512640 134581331 3221224608 3221223600 134561089 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.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 381 0 0 0 94430 585 0 0 25 0 1 0 835024770 7151616 359 4294967295 134512640 134581331 3221224608 3221223504 134517873 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.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 381 0 0 0 95422 593 0 0 25 0 1 0 835024770 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+970.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 381 0 0 0 96415 601 0 0 25 0 1 0 835024770 7151616 359 4294967295 134512640 134581331 3221224608 3221223520 134527445 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.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 381 0 0 0 97409 607 0 0 25 0 1 0 835024770 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+990.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7372
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 381 0 0 0 98400 616 0 0 25 0 1 0 835024770 7151616 359 4294967295 134512640 134581331 3221224608 3221223472 134528261 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.01 s]
Raw data (loadavg): 1.07 0.99 1.00 2/54 7425
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 381 0 0 0 99394 622 0 0 25 0 1 0 835024770 7151616 359 4294967295 134512640 134581331 3221224608 3221223520 134527404 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.01 s]
Raw data (loadavg): 1.06 0.99 1.00 2/54 7425
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 381 0 0 0 100387 629 0 0 25 0 1 0 835024770 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.01 s]
Raw data (loadavg): 1.05 0.99 1.00 2/54 7425
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 381 0 0 0 101380 636 0 0 25 0 1 0 835024770 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+1030.01 s]
Raw data (loadavg): 1.04 0.99 1.00 2/54 7425
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 382 0 0 0 102373 644 0 0 25 0 1 0 835024770 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.01 s]
Raw data (loadavg): 1.04 0.99 1.00 2/54 7425
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 382 0 0 0 103366 651 0 0 25 0 1 0 835024770 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+1050.01 s]
Raw data (loadavg): 1.03 0.99 1.00 2/54 7425
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 382 0 0 0 104358 659 0 0 25 0 1 0 835024770 7151616 360 4294967295 134512640 134581331 3221224608 3221223520 134527355 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.01 s]
Raw data (loadavg): 1.03 0.99 1.00 2/54 7425
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 382 0 0 0 105348 669 0 0 25 0 1 0 835024770 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.02 s]
Raw data (loadavg): 1.02 0.99 1.00 3/54 7427
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 382 0 0 0 106340 678 0 0 25 0 1 0 835024770 7151616 360 4294967295 134512640 134581331 3221224608 3221223552 134558847 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.02 s]
Raw data (loadavg): 1.02 0.99 1.00 2/54 7427
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 382 0 0 0 107332 687 0 0 25 0 1 0 835024770 7151616 360 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1746 360 566 18 0 1728 0
vsize: 6984
[startup+1090.02 s]
Raw data (loadavg): 1.01 0.99 1.00 2/54 7427
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 387 0 0 0 108324 694 0 0 25 0 1 0 835024770 7254016 365 4294967295 134512640 134581331 3221224608 3221223472 134528281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1771 365 566 18 0 1753 0
vsize: 7084
[startup+1100.02 s]
Raw data (loadavg): 1.01 0.99 1.00 2/54 7427
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 390 0 0 0 109319 700 0 0 25 0 1 0 835024770 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+1110.02 s]
Raw data (loadavg): 1.01 0.99 1.00 2/54 7427
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 390 0 0 0 110311 708 0 0 25 0 1 0 835024770 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.02 s]
Raw data (loadavg): 1.01 0.99 1.00 2/54 7427
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 390 0 0 0 111305 714 0 0 25 0 1 0 835024770 7254016 368 4294967295 134512640 134581331 3221224608 3221223520 134527407 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.02 s]
Raw data (loadavg): 1.01 0.99 1.00 2/54 7427
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 390 0 0 0 112299 720 0 0 25 0 1 0 835024770 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.02 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 7427
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 390 0 0 0 113293 726 0 0 25 0 1 0 835024770 7254016 368 4294967295 134512640 134581331 3221224608 3221223520 134527434 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.02 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 7427
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 390 0 0 0 114289 731 0 0 25 0 1 0 835024770 7254016 368 4294967295 134512640 134581331 3221224608 3221223520 134527772 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.03 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 7427
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 390 0 0 0 115282 739 0 0 25 0 1 0 835024770 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.03 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 7427
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 390 0 0 0 116277 744 0 0 25 0 1 0 835024770 7254016 368 4294967295 134512640 134581331 3221224608 3221223564 134527587 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.03 s]
Raw data (loadavg): 1.00 0.99 1.00 2/54 7427
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 390 0 0 0 117270 751 0 0 25 0 1 0 835024770 7254016 368 4294967295 134512640 134581331 3221224608 3221223504 134517900 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.81 s]
Raw data (loadavg): 1.00 0.99 1.00 1/53 7427
Raw data (stat): 7372 (Pueblo) R 7371 1586 1585 0 -1 0 390 0 0 0 117270 751 0 0 25 0 1 0 835024770 7254016 368 4294967295 134512640 134581331 3221224608 3221223504 134517900 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.81
CPU time (s): 1189.01
CPU user time (s): 1181.43
CPU system time (s): 7.57385
CPU usage (%): 100.016
Max. virtual memory (Kb): 7084
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1313
#### END VERIFIER DATA ####