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-markshare1.opb
MD5SUM	ba87f5dfbaed559dc55bc00bf07dc880
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3712
Optimality of the best value was proved	NO
Number of terms in the objective function	120
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	6291450
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	6291450
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.68
Number of variables	170
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	70
Trace number 27101

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-24 19:13:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18506 boxname=wulflinc13 idbench=1424 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  ba87f5dfbaed559dc55bc00bf07dc880  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-markshare1.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-markshare1.opb
IDLAUNCH: 18506
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 2
cpu MHz		: 451.242
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:        910212 kB
Buffers:           120 kB
Cached:         104064 kB
SwapCached:        604 kB
Active:          20008 kB
Inactive:        86772 kB
HighTotal:      131008 kB
HighFree:        22960 kB
LowTotal:       903652 kB
LowFree:        887252 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6144 kB
Slab:            11924 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 19:33:03 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 18506 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/wulflinc13/normalized-mps-v2-13-7-markshare1.opb
c #variables read: 170 - #constraints read: 63
s SATISFIABLE
v -s01_bit_7 -s01_bit_6 -s01_bit_5 -s01_bit_4 -s01_bit_3 -s01_bit_2 -s01_bit_1 -s01_bit0 -s01_bit1 -s01_bit2 s01_bit3 -s01_bit4 s01_bit5 -s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit10 -s01_bit11 -s01_bit12 -s11_bit_7 -s11_bit_6 -s11_bit_5 -s11_bit_4 -s11_bit_3 -s11_bit_2 -s11_bit_1 s11_bit0 -s11_bit1 -s11_bit2 -s11_bit3 -s11_bit4 -s11_bit5 -s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 -s11_bit10 -s11_bit11 -s11_bit12 -s21_bit_7 -s21_bit_6 -s21_bit_5 -s21_bit_4 -s21_bit_3 -s21_bit_2 -s21_bit_1 s21_bit0 -s21_bit1 -s21_bit2 -s21_bit3 -s21_bit4 -s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit10 -s21_bit11 -s21_bit12 -s31_bit_7 -s31_bit_6 -s31_bit_5 -s31_bit_4 -s31_bit_3 -s31_bit_2 -s31_bit_1 -s31_bit0 -s31_bit1 -s31_bit2 s31_bit3 -s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit10 -s31_bit11 -s31_bit12 -s41_bit_7 -s41_bit_6 -s41_bit_5 -s41_bit_4 -s41_bit_3 -s41_bit_2 -s41_bit_1 -s41_bit0 -s41_bit1 -s41_bit2 s41_bit3 s41_bit4 -s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit10 -s41_bit11 -s41_bit12 -s51_bit_7 -s51_bit_6 -s51_bit_5 -s51_bit_4 -s51_bit_3 -s51_bit_2 -s51_bit_1 s51_bit0 -s51_bit1 -s51_bit2 s51_bit3 s51_bit4 -s51_bit5 -s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit10 -s51_bit11 -s51_bit12 -x0_bit0 -x1_bit0 -x2_bit0 x3_bit0 x4_bit0 x5_bit0 x6_bit0 x7_bit0 x8_bit0 x9_bit0 x10_bit0 x11_bit0 -x12_bit0 x13_bit0 x14_bit0 -x15_bit0 -x16_bit0 -x17_bit0 x18_bit0 -x19_bit0 x20_bit0 x21_bit0 -x22_bit0 x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 x28_bit0 x29_bit0 x30_bit0 -x31_bit0 -x32_bit0 x33_bit0 -x34_bit0 x35_bit0 -x36_bit0 -x37_bit0 x38_bit0 -x39_bit0 x40_bit0 x41_bit0 x42_bit0 -x43_bit0 x44_bit0 -x45_bit0 x46_bit0 -x47_bit0 x48_bit0 -x49_bit0 
#### 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.92 0.96 0.91 2/54 4298
Raw data (stat): 4298 (runsolver) R 4297 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774453482 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 287 0 0 0 992 6 0 0 25 0 1 0 774453482 6832128 265 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 265 566 18 0 1650 0
vsize: 6672
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 290 0 0 0 1986 12 0 0 25 0 1 0 774453482 6832128 268 4294967295 134512640 134581331 3221224592 3221223536 134558835 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 268 566 18 0 1650 0
vsize: 6672
[startup+30.001 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 292 0 0 0 2981 17 0 0 25 0 1 0 774453482 6832128 270 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 270 566 18 0 1650 0
vsize: 6672
[startup+40.001 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 293 0 0 0 3977 22 0 0 25 0 1 0 774453482 6832128 271 4294967295 134512640 134581331 3221224592 3221223280 1075288199 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 271 566 18 0 1650 0
vsize: 6672
[startup+50.0003 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 293 0 0 0 4972 27 0 0 25 0 1 0 774453482 6832128 271 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 271 566 18 0 1650 0
vsize: 6672
[startup+60 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 294 0 0 0 5966 33 0 0 25 0 1 0 774453482 6832128 272 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 272 566 18 0 1650 0
vsize: 6672
[startup+70 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 296 0 0 0 6961 38 0 0 25 0 1 0 774453482 6832128 274 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 274 566 18 0 1650 0
vsize: 6672
[startup+80.0003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 296 0 0 0 7954 45 0 0 25 0 1 0 774453482 6832128 274 4294967295 134512640 134581331 3221224592 3221223456 134528267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 274 566 18 0 1650 0
vsize: 6672
[startup+90 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 296 0 0 0 8949 50 0 0 25 0 1 0 774453482 6832128 274 4294967295 134512640 134581331 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 274 566 18 0 1650 0
vsize: 6672
[startup+100 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 298 0 0 0 9943 56 0 0 25 0 1 0 774453482 6832128 276 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 276 566 18 0 1650 0
vsize: 6672
[startup+110 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 298 0 0 0 10939 61 0 0 25 0 1 0 774453482 6832128 276 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 276 566 18 0 1650 0
vsize: 6672
[startup+120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 298 0 0 0 11934 66 0 0 25 0 1 0 774453482 6832128 276 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 276 566 18 0 1650 0
vsize: 6672
[startup+130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 299 0 0 0 12928 72 0 0 25 0 1 0 774453482 6832128 277 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 277 566 18 0 1650 0
vsize: 6672
[startup+139.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 300 0 0 0 13922 78 0 0 25 0 1 0 774453482 6832128 278 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 278 566 18 0 1650 0
vsize: 6672
[startup+149.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 301 0 0 0 14916 84 0 0 25 0 1 0 774453482 6832128 279 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 279 566 18 0 1650 0
vsize: 6672
[startup+159.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 302 0 0 0 15909 91 0 0 25 0 1 0 774453482 6832128 280 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 280 566 18 0 1650 0
vsize: 6672
[startup+169.998 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 302 0 0 0 16904 97 0 0 25 0 1 0 774453482 6832128 280 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 280 566 18 0 1650 0
vsize: 6672
[startup+179.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 302 0 0 0 17897 104 0 0 25 0 1 0 774453482 6832128 280 4294967295 134512640 134581331 3221224592 3221223504 134527780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 280 566 18 0 1650 0
vsize: 6672
[startup+189.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 304 0 0 0 18891 109 0 0 25 0 1 0 774453482 6832128 282 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 282 566 18 0 1650 0
vsize: 6672
[startup+199.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 304 0 0 0 19886 115 0 0 25 0 1 0 774453482 6832128 282 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1668 282 566 18 0 1650 0
vsize: 6672
[startup+209.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 308 0 0 0 20881 120 0 0 25 0 1 0 774453482 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+219.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 308 0 0 0 21876 125 0 0 25 0 1 0 774453482 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+229.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 308 0 0 0 22871 131 0 0 25 0 1 0 774453482 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+239.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 308 0 0 0 23865 137 0 0 25 0 1 0 774453482 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+249.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 308 0 0 0 24860 142 0 0 25 0 1 0 774453482 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+259.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 308 0 0 0 25853 149 0 0 25 0 1 0 774453482 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+269.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 308 0 0 0 26847 156 0 0 25 0 1 0 774453482 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+279.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 308 0 0 0 27838 164 0 0 25 0 1 0 774453482 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+289.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 308 0 0 0 28833 170 0 0 25 0 1 0 774453482 6946816 286 4294967295 134512640 134581331 3221224592 3221223568 134560800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+299.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 308 0 0 0 29826 176 0 0 25 0 1 0 774453482 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+309.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 308 0 0 0 30820 183 0 0 25 0 1 0 774453482 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+319.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 308 0 0 0 31814 189 0 0 25 0 1 0 774453482 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+329.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 309 0 0 0 32806 197 0 0 25 0 1 0 774453482 6946816 287 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 287 566 18 0 1678 0
vsize: 6784
[startup+339.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 309 0 0 0 33800 203 0 0 25 0 1 0 774453482 6946816 287 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 287 566 18 0 1678 0
vsize: 6784
[startup+349.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 310 0 0 0 34793 210 0 0 25 0 1 0 774453482 6946816 288 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 288 566 18 0 1678 0
vsize: 6784
[startup+359.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 310 0 0 0 35787 216 0 0 25 0 1 0 774453482 6946816 288 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 288 566 18 0 1678 0
vsize: 6784
[startup+369.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 310 0 0 0 36781 223 0 0 25 0 1 0 774453482 6946816 288 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 288 566 18 0 1678 0
vsize: 6784
[startup+379.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 310 0 0 0 37774 230 0 0 25 0 1 0 774453482 6946816 288 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 288 566 18 0 1678 0
vsize: 6784
[startup+389.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 310 0 0 0 38767 238 0 0 25 0 1 0 774453482 6946816 288 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 288 566 18 0 1678 0
vsize: 6784
[startup+399.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 311 0 0 0 39760 245 0 0 25 0 1 0 774453482 6946816 289 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 289 566 18 0 1678 0
vsize: 6784
[startup+409.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 311 0 0 0 40753 251 0 0 25 0 1 0 774453482 6946816 289 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 289 566 18 0 1678 0
vsize: 6784
[startup+419.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 311 0 0 0 41746 259 0 0 25 0 1 0 774453482 6946816 289 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 289 566 18 0 1678 0
vsize: 6784
[startup+429.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 312 0 0 0 42741 264 0 0 25 0 1 0 774453482 6946816 290 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+439.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 312 0 0 0 43735 270 0 0 25 0 1 0 774453482 6946816 290 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+449.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 312 0 0 0 44730 276 0 0 25 0 1 0 774453482 6946816 290 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+459.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 312 0 0 0 45724 282 0 0 25 0 1 0 774453482 6946816 290 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+469.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 312 0 0 0 46718 288 0 0 25 0 1 0 774453482 6946816 290 4294967295 134512640 134581331 3221224592 3221223584 134561137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+479.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 313 0 0 0 47712 294 0 0 25 0 1 0 774453482 6946816 291 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 291 566 18 0 1678 0
vsize: 6784
[startup+489.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 314 0 0 0 48705 301 0 0 25 0 1 0 774453482 6946816 292 4294967295 134512640 134581331 3221224592 3221223504 134527995 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 292 566 18 0 1678 0
vsize: 6784
[startup+499.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 314 0 0 0 49699 308 0 0 25 0 1 0 774453482 6946816 292 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 292 566 18 0 1678 0
vsize: 6784
[startup+509.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 314 0 0 0 50691 315 0 0 25 0 1 0 774453482 6946816 292 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 292 566 18 0 1678 0
vsize: 6784
[startup+519.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 314 0 0 0 51684 322 0 0 25 0 1 0 774453482 6946816 292 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 292 566 18 0 1678 0
vsize: 6784
[startup+529.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 314 0 0 0 52679 328 0 0 25 0 1 0 774453482 6946816 292 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 292 566 18 0 1678 0
vsize: 6784
[startup+539.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 314 0 0 0 53673 334 0 0 25 0 1 0 774453482 6946816 292 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 292 566 18 0 1678 0
vsize: 6784
[startup+549.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 314 0 0 0 54667 341 0 0 25 0 1 0 774453482 6946816 292 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 292 566 18 0 1678 0
vsize: 6784
[startup+559.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 316 0 0 0 55660 348 0 0 25 0 1 0 774453482 6946816 294 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 294 566 18 0 1678 0
vsize: 6784
[startup+569.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 316 0 0 0 56653 355 0 0 25 0 1 0 774453482 6946816 294 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 294 566 18 0 1678 0
vsize: 6784
[startup+579.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 316 0 0 0 57647 361 0 0 25 0 1 0 774453482 6946816 294 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 294 566 18 0 1678 0
vsize: 6784
[startup+589.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 316 0 0 0 58641 368 0 0 25 0 1 0 774453482 6946816 294 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 294 566 18 0 1678 0
vsize: 6784
[startup+599.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 316 0 0 0 59634 375 0 0 25 0 1 0 774453482 6946816 294 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 294 566 18 0 1678 0
vsize: 6784
[startup+609.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 60626 382 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223504 134527420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+619.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 61619 390 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+629.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 62613 396 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+639.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 63608 401 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223456 134528281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+649.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 64602 407 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+659.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 65596 413 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+669.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 66589 421 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+679.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 67584 426 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+689.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 68578 432 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+699.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 69572 438 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+709.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 70565 445 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+719.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 71558 453 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+729.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 72552 459 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+739.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 73546 465 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223456 134528287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+749.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 74539 472 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+759.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 75533 479 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+769.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 76526 485 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223504 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+779.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 77522 490 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+789.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 78516 496 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+799.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 79511 501 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+809.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 80504 508 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+819.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 318 0 0 0 81500 513 0 0 25 0 1 0 774453482 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+829.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 319 0 0 0 82494 519 0 0 25 0 1 0 774453482 6946816 297 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 297 566 18 0 1678 0
vsize: 6784
[startup+839.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 319 0 0 0 83488 525 0 0 25 0 1 0 774453482 6946816 297 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 297 566 18 0 1678 0
vsize: 6784
[startup+849.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 320 0 0 0 84480 533 0 0 25 0 1 0 774453482 6946816 298 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 298 566 18 0 1678 0
vsize: 6784
[startup+860 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 320 0 0 0 85475 538 0 0 25 0 1 0 774453482 6946816 298 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 298 566 18 0 1678 0
vsize: 6784
[startup+869.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 321 0 0 0 86470 544 0 0 25 0 1 0 774453482 6946816 299 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 299 566 18 0 1678 0
vsize: 6784
[startup+879.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 323 0 0 0 87464 550 0 0 25 0 1 0 774453482 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+889.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 323 0 0 0 88458 556 0 0 25 0 1 0 774453482 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+899.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 323 0 0 0 89451 563 0 0 25 0 1 0 774453482 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+909.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 323 0 0 0 90443 571 0 0 25 0 1 0 774453482 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+919.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 323 0 0 0 91437 577 0 0 25 0 1 0 774453482 6946816 301 4294967295 134512640 134581331 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+929.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 323 0 0 0 92431 583 0 0 25 0 1 0 774453482 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+939.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 323 0 0 0 93424 591 0 0 25 0 1 0 774453482 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+949.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 323 0 0 0 94417 597 0 0 25 0 1 0 774453482 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+959.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 323 0 0 0 95410 605 0 0 25 0 1 0 774453482 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+969.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 323 0 0 0 96404 611 0 0 25 0 1 0 774453482 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+979.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 323 0 0 0 97397 619 0 0 25 0 1 0 774453482 6946816 301 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+989.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 323 0 0 0 98391 625 0 0 25 0 1 0 774453482 6946816 301 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+999.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 323 0 0 0 99386 630 0 0 25 0 1 0 774453482 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 323 0 0 0 100381 635 0 0 25 0 1 0 774453482 6946816 301 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 323 0 0 0 101375 641 0 0 25 0 1 0 774453482 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 323 0 0 0 102369 647 0 0 25 0 1 0 774453482 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 323 0 0 0 103361 655 0 0 25 0 1 0 774453482 6946816 301 4294967295 134512640 134581331 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 323 0 0 0 104354 662 0 0 25 0 1 0 774453482 6946816 301 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 323 0 0 0 105347 669 0 0 25 0 1 0 774453482 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 323 0 0 0 106342 675 0 0 25 0 1 0 774453482 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 323 0 0 0 107336 681 0 0 25 0 1 0 774453482 6946816 301 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 324 0 0 0 108329 688 0 0 25 0 1 0 774453482 6946816 302 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 324 0 0 0 109323 694 0 0 25 0 1 0 774453482 6946816 302 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 324 0 0 0 110317 701 0 0 25 0 1 0 774453482 6946816 302 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 324 0 0 0 111311 706 0 0 25 0 1 0 774453482 6946816 302 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 324 0 0 0 112305 713 0 0 25 0 1 0 774453482 6946816 302 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 324 0 0 0 113298 720 0 0 25 0 1 0 774453482 6946816 302 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 324 0 0 0 114292 726 0 0 25 0 1 0 774453482 6946816 302 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 324 0 0 0 115287 732 0 0 25 0 1 0 774453482 6946816 302 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 324 0 0 0 116281 738 0 0 25 0 1 0 774453482 6946816 302 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 324 0 0 0 117276 743 0 0 25 0 1 0 774453482 6946816 302 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+1188.81 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 4298
Raw data (stat): 4298 (Pueblo) R 4297 1269 1268 0 -1 0 324 0 0 0 117276 743 0 0 25 0 1 0 774453482 6946816 302 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 0

Child status: 10
Real time (s): 1188.81
CPU time (s): 1189.01
CPU user time (s): 1181.52
CPU system time (s): 7.48586
CPU usage (%): 100.017
Max. virtual memory (Kb): 6784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	12672
#### END VERIFIER DATA ####