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-markshare2.opb
MD5SUM	b54bb080800e2327586cd478559c04ff
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	10368
Optimality of the best value was proved	NO
Number of terms in the objective function	140
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	7340025
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	7340025
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.09
Number of variables	200
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	7
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 27097

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-24 19:12:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18519 boxname=wulflinc11 idbench=1425 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  b54bb080800e2327586cd478559c04ff  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-markshare2.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-markshare2.opb
IDLAUNCH: 18519
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        538208 kB
Buffers:         36796 kB
Cached:         418720 kB
SwapCached:         84 kB
Active:          39536 kB
Inactive:       432308 kB
HighTotal:      131008 kB
HighFree:        73332 kB
LowTotal:       903652 kB
LowFree:        464876 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6876 kB
Slab:            18892 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 19:32:47 (client local time) WITH STATUS 10 IN 1189 SECONDS
stats: 18519 0 1189 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/wulflinc11/normalized-mps-v2-13-7-markshare2.opb
c #variables read: 200 - #constraints read: 75
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 -s61_bit_7 -s61_bit_6 -s61_bit_5 -s61_bit_4 -s61_bit_3 -s61_bit_2 -s61_bit_1 s61_bit0 -s61_bit1 s61_bit2 s61_bit3 s61_bit4 s61_bit5 -s61_bit6 -s61_bit7 -s61_bit8 -s61_bit9 -s61_bit10 -s61_bit11 -s61_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 x50_bit0 x51_bit0 -x52_bit0 x53_bit0 x54_bit0 x55_bit0 -x56_bit0 x57_bit0 x58_bit0 x59_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.74 0.93 0.98 2/54 29993
Raw data (stat): 29993 (runsolver) R 29992 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774441573 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.0005 s]
Raw data (loadavg): 0.78 0.94 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 289 0 0 0 993 5 0 0 25 0 1 0 774441573 6828032 267 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 267 566 18 0 1649 0
vsize: 6668
[startup+20.0019 s]
Raw data (loadavg): 0.81 0.94 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 293 0 0 0 1989 9 0 0 25 0 1 0 774441573 6828032 271 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 271 566 18 0 1649 0
vsize: 6668
[startup+30.0023 s]
Raw data (loadavg): 0.84 0.94 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 295 0 0 0 2985 13 0 0 25 0 1 0 774441573 6828032 273 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 273 566 18 0 1649 0
vsize: 6668
[startup+40.0024 s]
Raw data (loadavg): 0.86 0.94 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 298 0 0 0 3982 16 0 0 25 0 1 0 774441573 6828032 276 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 276 566 18 0 1649 0
vsize: 6668
[startup+50.0031 s]
Raw data (loadavg): 0.88 0.94 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 300 0 0 0 4978 20 0 0 25 0 1 0 774441573 6828032 278 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 278 566 18 0 1649 0
vsize: 6668
[startup+60.0026 s]
Raw data (loadavg): 0.90 0.94 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 302 0 0 0 5974 24 0 0 25 0 1 0 774441573 6828032 280 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 280 566 18 0 1649 0
vsize: 6668
[startup+70.0041 s]
Raw data (loadavg): 0.92 0.95 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 308 0 0 0 6970 29 0 0 25 0 1 0 774441573 6950912 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 286 566 18 0 1679 0
vsize: 6788
[startup+80.0045 s]
Raw data (loadavg): 0.93 0.95 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 308 0 0 0 7966 33 0 0 25 0 1 0 774441573 6950912 286 4294967295 134512640 134581331 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 286 566 18 0 1679 0
vsize: 6788
[startup+90.004 s]
Raw data (loadavg): 0.94 0.95 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 308 0 0 0 8964 35 0 0 25 0 1 0 774441573 6950912 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 286 566 18 0 1679 0
vsize: 6788
[startup+100.004 s]
Raw data (loadavg): 0.95 0.95 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 308 0 0 0 9959 41 0 0 25 0 1 0 774441573 6950912 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 286 566 18 0 1679 0
vsize: 6788
[startup+110.005 s]
Raw data (loadavg): 0.95 0.95 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 308 0 0 0 10955 44 0 0 25 0 1 0 774441573 6950912 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 286 566 18 0 1679 0
vsize: 6788
[startup+120.005 s]
Raw data (loadavg): 0.96 0.95 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 309 0 0 0 11949 51 0 0 25 0 1 0 774441573 6950912 287 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 287 566 18 0 1679 0
vsize: 6788
[startup+130.006 s]
Raw data (loadavg): 0.97 0.95 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 316 0 0 0 12944 56 0 0 25 0 1 0 774441573 6950912 294 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 294 566 18 0 1679 0
vsize: 6788
[startup+140.006 s]
Raw data (loadavg): 0.97 0.95 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 318 0 0 0 13939 61 0 0 25 0 1 0 774441573 6950912 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 296 566 18 0 1679 0
vsize: 6788
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 14934 66 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223504 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+160.007 s]
Raw data (loadavg): 0.98 0.95 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 15929 72 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+170.008 s]
Raw data (loadavg): 0.98 0.95 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 16926 75 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+180.008 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 17923 79 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 18919 83 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 19915 87 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 20910 92 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 21906 96 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 22904 99 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 23900 102 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 24896 107 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+260.012 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 25892 111 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+270.012 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 26889 115 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 27885 119 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 28880 124 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 29877 127 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 30874 130 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 31869 135 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 32867 138 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223456 134528316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 33862 143 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 34857 148 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 35853 152 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 36848 158 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 321 0 0 0 37844 161 0 0 25 0 1 0 774441573 6950912 299 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 299 566 18 0 1679 0
vsize: 6788
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 322 0 0 0 38838 168 0 0 25 0 1 0 774441573 6950912 300 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 300 566 18 0 1679 0
vsize: 6788
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 322 0 0 0 39833 173 0 0 25 0 1 0 774441573 6950912 300 4294967295 134512640 134581331 3221224592 3221223556 134519893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 300 566 18 0 1679 0
vsize: 6788
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 322 0 0 0 40827 179 0 0 25 0 1 0 774441573 6950912 300 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 300 566 18 0 1679 0
vsize: 6788
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 322 0 0 0 41820 187 0 0 25 0 1 0 774441573 6950912 300 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 300 566 18 0 1679 0
vsize: 6788
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 322 0 0 0 42815 191 0 0 25 0 1 0 774441573 6950912 300 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 300 566 18 0 1679 0
vsize: 6788
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 323 0 0 0 43810 197 0 0 25 0 1 0 774441573 6950912 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 301 566 18 0 1679 0
vsize: 6788
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 323 0 0 0 44807 200 0 0 25 0 1 0 774441573 6950912 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 301 566 18 0 1679 0
vsize: 6788
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 327 0 0 0 45803 204 0 0 25 0 1 0 774441573 6950912 305 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 305 566 18 0 1679 0
vsize: 6788
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 327 0 0 0 46799 209 0 0 25 0 1 0 774441573 6950912 305 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 305 566 18 0 1679 0
vsize: 6788
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 327 0 0 0 47794 214 0 0 25 0 1 0 774441573 6950912 305 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 305 566 18 0 1679 0
vsize: 6788
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 327 0 0 0 48790 218 0 0 25 0 1 0 774441573 6950912 305 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 305 566 18 0 1679 0
vsize: 6788
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 327 0 0 0 49785 223 0 0 25 0 1 0 774441573 6950912 305 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 305 566 18 0 1679 0
vsize: 6788
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 327 0 0 0 50780 229 0 0 25 0 1 0 774441573 6950912 305 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 305 566 18 0 1679 0
vsize: 6788
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 327 0 0 0 51775 234 0 0 25 0 1 0 774441573 6950912 305 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 305 566 18 0 1679 0
vsize: 6788
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 327 0 0 0 52770 239 0 0 25 0 1 0 774441573 6950912 305 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 305 566 18 0 1679 0
vsize: 6788
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 327 0 0 0 53765 244 0 0 25 0 1 0 774441573 6950912 305 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 305 566 18 0 1679 0
vsize: 6788
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 327 0 0 0 54759 251 0 0 25 0 1 0 774441573 6950912 305 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 305 566 18 0 1679 0
vsize: 6788
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 327 0 0 0 55754 256 0 0 25 0 1 0 774441573 6950912 305 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 305 566 18 0 1679 0
vsize: 6788
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 327 0 0 0 56748 261 0 0 25 0 1 0 774441573 6950912 305 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 305 566 18 0 1679 0
vsize: 6788
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 327 0 0 0 57743 267 0 0 25 0 1 0 774441573 6950912 305 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 305 566 18 0 1679 0
vsize: 6788
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 327 0 0 0 58739 271 0 0 25 0 1 0 774441573 6950912 305 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 305 566 18 0 1679 0
vsize: 6788
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 327 0 0 0 59734 276 0 0 25 0 1 0 774441573 6950912 305 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 305 566 18 0 1679 0
vsize: 6788
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 327 0 0 0 60729 282 0 0 25 0 1 0 774441573 6950912 305 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 305 566 18 0 1679 0
vsize: 6788
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 327 0 0 0 61725 286 0 0 25 0 1 0 774441573 6950912 305 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 305 566 18 0 1679 0
vsize: 6788
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 328 0 0 0 62722 288 0 0 25 0 1 0 774441573 6950912 306 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 306 566 18 0 1679 0
vsize: 6788
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 328 0 0 0 63717 294 0 0 25 0 1 0 774441573 6950912 306 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 306 566 18 0 1679 0
vsize: 6788
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 328 0 0 0 64712 299 0 0 25 0 1 0 774441573 6950912 306 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 306 566 18 0 1679 0
vsize: 6788
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 328 0 0 0 65708 303 0 0 25 0 1 0 774441573 6950912 306 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 306 566 18 0 1679 0
vsize: 6788
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 330 0 0 0 66705 307 0 0 25 0 1 0 774441573 6950912 308 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 308 566 18 0 1679 0
vsize: 6788
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 331 0 0 0 67700 311 0 0 25 0 1 0 774441573 6950912 309 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 309 566 18 0 1679 0
vsize: 6788
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 335 0 0 0 68695 317 0 0 25 0 1 0 774441573 6950912 313 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 313 566 18 0 1679 0
vsize: 6788
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 336 0 0 0 69687 325 0 0 25 0 1 0 774441573 6950912 314 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 336 0 0 0 70682 330 0 0 25 0 1 0 774441573 6950912 314 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 336 0 0 0 71677 335 0 0 25 0 1 0 774441573 6950912 314 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 336 0 0 0 72672 340 0 0 25 0 1 0 774441573 6950912 314 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 336 0 0 0 73667 346 0 0 25 0 1 0 774441573 6950912 314 4294967295 134512640 134581331 3221224592 3221223456 134528336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 336 0 0 0 74662 351 0 0 25 0 1 0 774441573 6950912 314 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 336 0 0 0 75657 356 0 0 25 0 1 0 774441573 6950912 314 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 336 0 0 0 76654 360 0 0 25 0 1 0 774441573 6950912 314 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 336 0 0 0 77649 364 0 0 25 0 1 0 774441573 6950912 314 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 336 0 0 0 78646 367 0 0 25 0 1 0 774441573 6950912 314 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1697 314 566 18 0 1679 0
vsize: 6788
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 337 0 0 0 79643 371 0 0 25 0 1 0 774441573 7073792 315 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 315 566 18 0 1709 0
vsize: 6908
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 337 0 0 0 80639 375 0 0 25 0 1 0 774441573 7073792 315 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 315 566 18 0 1709 0
vsize: 6908
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 338 0 0 0 81631 383 0 0 25 0 1 0 774441573 7073792 316 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 316 566 18 0 1709 0
vsize: 6908
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 338 0 0 0 82628 387 0 0 25 0 1 0 774441573 7073792 316 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 316 566 18 0 1709 0
vsize: 6908
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 338 0 0 0 83623 391 0 0 25 0 1 0 774441573 7073792 316 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 316 566 18 0 1709 0
vsize: 6908
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 338 0 0 0 84619 396 0 0 25 0 1 0 774441573 7073792 316 4294967295 134512640 134581331 3221224592 3221223508 1075285501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1727 316 566 18 0 1709 0
vsize: 6908
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 339 0 0 0 85615 400 0 0 25 0 1 0 774441573 7073792 317 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 317 566 18 0 1709 0
vsize: 6908
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 339 0 0 0 86610 405 0 0 25 0 1 0 774441573 7073792 317 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 317 566 18 0 1709 0
vsize: 6908
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 340 0 0 0 87605 410 0 0 25 0 1 0 774441573 7073792 318 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 318 566 18 0 1709 0
vsize: 6908
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 340 0 0 0 88601 414 0 0 25 0 1 0 774441573 7073792 318 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 318 566 18 0 1709 0
vsize: 6908
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 340 0 0 0 89596 420 0 0 25 0 1 0 774441573 7073792 318 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 318 566 18 0 1709 0
vsize: 6908
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 340 0 0 0 90592 423 0 0 25 0 1 0 774441573 7073792 318 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 318 566 18 0 1709 0
vsize: 6908
[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 340 0 0 0 91586 429 0 0 25 0 1 0 774441573 7073792 318 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 318 566 18 0 1709 0
vsize: 6908
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 340 0 0 0 92582 434 0 0 25 0 1 0 774441573 7073792 318 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 318 566 18 0 1709 0
vsize: 6908
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 340 0 0 0 93578 438 0 0 25 0 1 0 774441573 7073792 318 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 318 566 18 0 1709 0
vsize: 6908
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 340 0 0 0 94574 443 0 0 25 0 1 0 774441573 7073792 318 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 318 566 18 0 1709 0
vsize: 6908
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 341 0 0 0 95571 446 0 0 25 0 1 0 774441573 7073792 319 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 319 566 18 0 1709 0
vsize: 6908
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 341 0 0 0 96566 451 0 0 25 0 1 0 774441573 7073792 319 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 319 566 18 0 1709 0
vsize: 6908
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 341 0 0 0 97562 455 0 0 25 0 1 0 774441573 7073792 319 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 319 566 18 0 1709 0
vsize: 6908
[startup+990.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 341 0 0 0 98557 461 0 0 25 0 1 0 774441573 7073792 319 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 319 566 18 0 1709 0
vsize: 6908
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 341 0 0 0 99551 466 0 0 25 0 1 0 774441573 7073792 319 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 319 566 18 0 1709 0
vsize: 6908
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 341 0 0 0 100548 470 0 0 25 0 1 0 774441573 7073792 319 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 319 566 18 0 1709 0
vsize: 6908
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 341 0 0 0 101543 475 0 0 25 0 1 0 774441573 7073792 319 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 319 566 18 0 1709 0
vsize: 6908
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 341 0 0 0 102537 481 0 0 25 0 1 0 774441573 7073792 319 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 319 566 18 0 1709 0
vsize: 6908
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 341 0 0 0 103532 486 0 0 25 0 1 0 774441573 7073792 319 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 319 566 18 0 1709 0
vsize: 6908
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 341 0 0 0 104526 492 0 0 25 0 1 0 774441573 7073792 319 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 319 566 18 0 1709 0
vsize: 6908
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 341 0 0 0 105523 495 0 0 25 0 1 0 774441573 7073792 319 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 319 566 18 0 1709 0
vsize: 6908
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 342 0 0 0 106519 499 0 0 25 0 1 0 774441573 7073792 320 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 320 566 18 0 1709 0
vsize: 6908
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 342 0 0 0 107514 505 0 0 25 0 1 0 774441573 7073792 320 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 320 566 18 0 1709 0
vsize: 6908
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 342 0 0 0 108511 508 0 0 25 0 1 0 774441573 7073792 320 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 320 566 18 0 1709 0
vsize: 6908
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 342 0 0 0 109506 514 0 0 25 0 1 0 774441573 7073792 320 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 320 566 18 0 1709 0
vsize: 6908
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 342 0 0 0 110501 519 0 0 25 0 1 0 774441573 7073792 320 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 320 566 18 0 1709 0
vsize: 6908
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 342 0 0 0 111494 526 0 0 25 0 1 0 774441573 7073792 320 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 320 566 18 0 1709 0
vsize: 6908
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 342 0 0 0 112488 532 0 0 25 0 1 0 774441573 7073792 320 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 320 566 18 0 1709 0
vsize: 6908
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 342 0 0 0 113483 537 0 0 25 0 1 0 774441573 7073792 320 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 320 566 18 0 1709 0
vsize: 6908
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 342 0 0 0 114478 542 0 0 25 0 1 0 774441573 7073792 320 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 320 566 18 0 1709 0
vsize: 6908
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 342 0 0 0 115474 546 0 0 25 0 1 0 774441573 7073792 320 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 320 566 18 0 1709 0
vsize: 6908
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 342 0 0 0 116469 552 0 0 25 0 1 0 774441573 7073792 320 4294967295 134512640 134581331 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 320 566 18 0 1709 0
vsize: 6908
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 342 0 0 0 117464 557 0 0 25 0 1 0 774441573 7073792 320 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 320 566 18 0 1709 0
vsize: 6908
[startup+1188.83 s]
Raw data (loadavg): 0.99 0.97 0.98 1/53 29993
Raw data (stat): 29993 (Pueblo) R 29992 25830 25829 0 -1 0 342 0 0 0 117464 557 0 0 25 0 1 0 774441573 7073792 320 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 320 566 18 0 1709 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189
CPU user time (s): 1183.38
CPU system time (s): 5.62415
CPU usage (%): 100.015
Max. virtual memory (Kb): 6908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	17152
#### END VERIFIER DATA ####