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/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-afiro.opb
MD5SUM	54588598df6d934a1c188bcc0918a0bb
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-1486831
Optimality of the best value was proved	NO
Number of terms in the objective function	100
Biggest coefficient in the objective function	131072000
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	309329625
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	1273495552
Number of bits of the biggest number in a constraint	31
Biggest sum of numbers in a constraint	20473426875
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	482.164
Number of variables	640
Total number of constraints	27
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	27
Minimum length of a constraint	20
Maximum length of a constraint	180
Trace number 25295

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        842280 kB
Buffers:         26160 kB
Cached:         144472 kB
SwapCached:        932 kB
Active:         106316 kB
Inactive:        67548 kB
HighTotal:      131008 kB
HighFree:         2352 kB
LowTotal:       903652 kB
LowFree:        839928 kB
SwapTotal:     2097892 kB
SwapFree:      2096072 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            12872 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-18 07:26:13 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 20365 6 1189.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-afiro.opb
c #variables read: 640 - #constraints read: 36
s SATISFIABLE
v X02_bit_7 X02_bit_6 X02_bit_5 X02_bit_4 X02_bit_3 X02_bit_2 X02_bit_1 X02_bit0 -X02_bit1 X02_bit2 -X02_bit3 X02_bit4 -X02_bit5 -X02_bit6 -X02_bit7 -X02_bit8 -X02_bit9 -X02_bit10 -X02_bit11 -X02_bit12 -X14_bit_7 X14_bit_6 -X14_bit_5 -X14_bit_4 -X14_bit_3 -X14_bit_2 -X14_bit_1 -X14_bit0 X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X23_bit_7 X23_bit_6 -X23_bit_5 X23_bit_4 X23_bit_3 X23_bit_2 X23_bit_1 -X23_bit0 -X23_bit1 X23_bit2 X23_bit3 X23_bit4 -X23_bit5 X23_bit6 X23_bit7 X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 X36_bit_7 X36_bit_6 X36_bit_5 -X36_bit_4 X36_bit_3 -X36_bit_2 X36_bit_1 -X36_bit0 -X36_bit1 X36_bit2 -X36_bit3 X36_bit4 -X36_bit5 X36_bit6 -X36_bit7 X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X01_bit_7 -X01_bit_6 -X01_bit_5 X01_bit_4 -X01_bit_3 -X01_bit_2 X01_bit_1 -X01_bit0 -X01_bit1 X01_bit2 X01_bit3 -X01_bit4 -X01_bit5 X01_bit6 -X01_bit7 -X01_bit8 -X01_bit9 -X01_bit10 -X01_bit11 -X01_bit12 X03_bit_7 -X03_bit_6 -X03_bit_5 X03_bit_4 -X03_bit_3 -X03_bit_2 X03_bit_1 -X03_bit0 X03_bit1 X03_bit2 -X03_bit3 X03_bit4 X03_bit5 -X03_bit6 -X03_bit7 -X03_bit8 -X03_bit9 -X03_bit10 -X03_bit11 -X03_bit12 -X04_bit_7 -X04_bit_6 X04_bit_5 -X04_bit_4 X04_bit_3 -X04_bit_2 -X04_bit_1 X04_bit0 -X04_bit1 -X04_bit2 -X04_bit3 X04_bit4 -X04_bit5 X04_bit6 -X04_bit7 -X04_bit8 -X04_bit9 -X04_bit10 -X04_bit11 -X04_bit12 X06_bit_7 X06_bit_6 -X06_bit_5 -X06_bit_4 -X06_bit_3 X06_bit_2 -X06_bit_1 -X06_bit0 -X06_bit1 -X06_bit2 -X06_bit3 -X06_bit4 -X06_bit5 -X06_bit6 -X06_bit7 -X06_bit8 -X06_bit9 -X06_bit10 -X06_bit11 -X06_bit12 X07_bit_7 X07_bit_6 X07_bit_5 -X07_bit_4 -X07_bit_3 -X07_bit_2 X07_bit_1 -X07_bit0 -X07_bit1 -X07_bit2 -X07_bit3 -X07_bit4 -X07_bit5 -X07_bit6 -X07_bit7 -X07_bit8 -X07_bit9 -X07_bit10 -X07_bit11 -X07_bit12 -X08_bit_7 -X08_bit_6 X08_bit_5 X08_bit_4 X08_bit_3 -X08_bit_2 X08_bit_1 -X08_bit0 -X08_bit1 -X08_bit2 -X08_bit3 -X08_bit4 -X08_bit5 -X08_bit6 -X08_bit7 -X08_bit8 -X08_bit9 -X08_bit10 -X08_bit11 -X08_bit12 -X09_bit_7 X09_bit_6 X09_bit_5 X09_bit_4 X09_bit_3 X09_bit_2 -X09_bit_1 -X09_bit0 -X09_bit1 -X09_bit2 -X09_bit3 -X09_bit4 -X09_bit5 -X09_bit6 -X09_bit7 -X09_bit8 -X09_bit9 -X09_bit10 -X09_bit11 -X09_bit12 -X15_bit_7 X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 -X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X16_bit_7 X16_bit_6 X16_bit_5 X16_bit_4 X16_bit_3 X16_bit_2 X16_bit_1 X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 -X22_bit1 X22_bit2 -X22_bit3 X22_bit4 X22_bit5 X22_bit6 X22_bit7 X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X24_bit_7 X24_bit_6 X24_bit_5 -X24_bit_4 -X24_bit_3 -X24_bit_2 -X24_bit_1 X24_bit0 X24_bit1 X24_bit2 -X24_bit3 X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 -X25_bit_3 -X25_bit_2 -X25_bit_1 -X25_bit0 -X25_bit1 -X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 X26_bit0 X26_bit1 X26_bit2 -X26_bit3 X26_bit4 -X26_bit5 X26_bit6 X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X28_bit_7 -X28_bit_6 -X28_bit_5 -X28_bit_4 -X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 -X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 -X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X38_bit_7 -X38_bit_6 -X38_bit_5 -X38_bit_4 -X38_bit_3 -X38_bit_2 -X38_bit_1 -X38_bit0 -X38_bit1 -X38_bit2 -X38_bit3 -X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 X37_bit_7 X37_bit_6 X37_bit_5 -X37_bit_4 X37_bit_3 -X37_bit_2 X37_bit_1 -X37_bit0 -X37_bit1 -X37_bit2 -X37_bit3 -X37_bit4 -X37_bit5 -X37_bit6 X37_bit7 X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 -X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 X11_bit12 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 X12_bit12 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 X13_bit12 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -X33_bit0 -X33_bit1 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 -X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 
#### 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.96 1.01 0.98 2/55 4414
Raw data (stat): 4414 (runsolver) R 4413 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 776441375 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0012 s]
Raw data (loadavg): 0.97 1.01 0.98 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 828 0 0 0 952 45 0 0 25 0 1 0 776441375 10018816 805 4294967295 134512640 134581331 3221221792 3221220704 134527769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2446 805 566 18 0 2428 0
vsize: 9784
[startup+20.0021 s]
Raw data (loadavg): 0.97 1.01 0.98 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 914 0 0 0 1932 65 0 0 25 0 1 0 776441375 10510336 891 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2566 891 566 18 0 2548 0
vsize: 10264
[startup+30.002 s]
Raw data (loadavg): 0.97 1.01 0.98 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 933 0 0 0 2918 78 0 0 25 0 1 0 776441375 10510336 910 4294967295 134512640 134581331 3221221792 3221220784 134560837 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2566 910 566 18 0 2548 0
vsize: 10264
[startup+40.003 s]
Raw data (loadavg): 1.05 1.02 0.99 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 985 0 0 0 3900 97 0 0 25 0 1 0 776441375 10657792 962 4294967295 134512640 134581331 3221221792 3221220704 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2602 962 566 18 0 2584 0
vsize: 10408
[startup+50.0039 s]
Raw data (loadavg): 1.04 1.02 0.99 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 1127 0 0 0 4888 109 0 0 25 0 1 0 776441375 11620352 1104 4294967295 134512640 134581331 3221221792 3221220704 134527712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2837 1104 566 18 0 2819 0
vsize: 11348
[startup+60.0048 s]
Raw data (loadavg): 1.04 1.02 0.99 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 1227 0 0 0 5877 120 0 0 25 0 1 0 776441375 11948032 1204 4294967295 134512640 134581331 3221221792 3221220704 134527980 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2917 1204 566 18 0 2899 0
vsize: 11668
[startup+70.0062 s]
Raw data (loadavg): 1.03 1.02 0.99 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 1252 0 0 0 6849 148 0 0 25 0 1 0 776441375 11489280 1160 4294967295 134512640 134581331 3221221792 3221220704 134527987 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2805 1160 566 18 0 2787 0
vsize: 11220
[startup+80.0065 s]
Raw data (loadavg): 1.03 1.02 0.99 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 1276 0 0 0 7820 177 0 0 25 0 1 0 776441375 11489280 1184 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2805 1184 566 18 0 2787 0
vsize: 11220
[startup+90.0064 s]
Raw data (loadavg): 1.02 1.02 0.99 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 1511 0 0 0 8781 217 0 0 25 0 1 0 776441375 13225984 1419 4294967295 134512640 134581331 3221221792 3221220704 134527780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3229 1419 566 18 0 3211 0
vsize: 12916
[startup+100.007 s]
Raw data (loadavg): 1.02 1.02 0.99 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 1513 0 0 0 9771 227 0 0 25 0 1 0 776441375 13225984 1421 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3229 1421 566 18 0 3211 0
vsize: 12916
[startup+110.007 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 1519 0 0 0 10766 232 0 0 25 0 1 0 776441375 13094912 1427 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3197 1427 566 18 0 3179 0
vsize: 12788
[startup+120.008 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 1553 0 0 0 11722 277 0 0 25 0 1 0 776441375 12570624 1382 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3069 1382 566 18 0 3051 0
vsize: 12276
[startup+130.008 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 1572 0 0 0 12687 311 0 0 25 0 1 0 776441375 12570624 1401 4294967295 134512640 134581331 3221221792 3221220984 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3069 1401 566 18 0 3051 0
vsize: 12276
[startup+140.009 s]
Raw data (loadavg): 1.09 1.03 0.99 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 1617 0 0 0 13666 333 0 0 25 0 1 0 776441375 12767232 1446 4294967295 134512640 134581331 3221221792 3221220704 134527964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3117 1446 566 18 0 3099 0
vsize: 12468
[startup+150.009 s]
Raw data (loadavg): 1.07 1.03 0.99 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 1626 0 0 0 14654 345 0 0 25 0 1 0 776441375 12767232 1455 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3117 1455 566 18 0 3099 0
vsize: 12468
[startup+160.011 s]
Raw data (loadavg): 1.06 1.03 0.99 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 1644 0 0 0 15628 371 0 0 25 0 1 0 776441375 12767232 1473 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3117 1473 566 18 0 3099 0
vsize: 12468
[startup+170.011 s]
Raw data (loadavg): 1.05 1.03 0.99 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 1644 0 0 0 16628 371 0 0 25 0 1 0 776441375 12767232 1473 4294967295 134512640 134581331 3221221792 3221220704 134528077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3117 1473 566 18 0 3099 0
vsize: 12468
[startup+180.011 s]
Raw data (loadavg): 1.04 1.03 0.99 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 1644 0 0 0 17628 371 0 0 25 0 1 0 776441375 12767232 1473 4294967295 134512640 134581331 3221221792 3221220704 134527429 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3117 1473 566 18 0 3099 0
vsize: 12468
[startup+190.012 s]
Raw data (loadavg): 1.12 1.04 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 1644 0 0 0 18628 372 0 0 25 0 1 0 776441375 12767232 1473 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3117 1473 566 18 0 3099 0
vsize: 12468
[startup+200.012 s]
Raw data (loadavg): 1.10 1.04 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 1644 0 0 0 19628 372 0 0 25 0 1 0 776441375 12767232 1473 4294967295 134512640 134581331 3221221792 3221220704 134527772 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3117 1473 566 18 0 3099 0
vsize: 12468
[startup+210.013 s]
Raw data (loadavg): 1.08 1.04 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 1664 0 0 0 20597 403 0 0 25 0 1 0 776441375 12767232 1493 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3117 1493 566 18 0 3099 0
vsize: 12468
[startup+220.014 s]
Raw data (loadavg): 1.14 1.05 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2166 0 0 0 21572 428 0 0 25 0 1 0 776441375 16699392 1995 4294967295 134512640 134581331 3221221792 3221220704 134527729 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4077 1995 566 18 0 4059 0
vsize: 16308
[startup+230.013 s]
Raw data (loadavg): 1.12 1.05 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2212 0 0 0 22542 458 0 0 25 0 1 0 776441375 16699392 2041 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4077 2041 566 18 0 4059 0
vsize: 16308
[startup+240.013 s]
Raw data (loadavg): 1.18 1.07 1.01 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2257 0 0 0 23504 496 0 0 25 0 1 0 776441375 16699392 2086 4294967295 134512640 134581331 3221221792 3221220984 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4077 2086 566 18 0 4059 0
vsize: 16308
[startup+250.014 s]
Raw data (loadavg): 1.23 1.08 1.01 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2287 0 0 0 24477 524 0 0 25 0 1 0 776441375 16699392 2116 4294967295 134512640 134581331 3221221792 3221220704 134527952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4077 2116 566 18 0 4059 0
vsize: 16308
[startup+260.013 s]
Raw data (loadavg): 1.19 1.08 1.01 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2302 0 0 0 25459 543 0 0 25 0 1 0 776441375 16699392 2131 4294967295 134512640 134581331 3221221792 3221220704 134527498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4077 2131 566 18 0 4059 0
vsize: 16308
[startup+270.013 s]
Raw data (loadavg): 1.23 1.09 1.02 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2317 0 0 0 26450 552 0 0 25 0 1 0 776441375 16699392 2146 4294967295 134512640 134581331 3221221792 3221220704 134527416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4077 2146 566 18 0 4059 0
vsize: 16308
[startup+280.014 s]
Raw data (loadavg): 1.20 1.09 1.02 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2332 0 0 0 27442 559 0 0 25 0 1 0 776441375 16699392 2161 4294967295 134512640 134581331 3221221792 3221220704 134527645 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4077 2161 566 18 0 4059 0
vsize: 16308
[startup+290.014 s]
Raw data (loadavg): 1.17 1.08 1.01 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2332 0 0 0 28434 568 0 0 25 0 1 0 776441375 16699392 2161 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4077 2161 566 18 0 4059 0
vsize: 16308
[startup+300.014 s]
Raw data (loadavg): 1.14 1.08 1.01 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2347 0 0 0 29424 578 0 0 25 0 1 0 776441375 16699392 2176 4294967295 134512640 134581331 3221221792 3221220704 134527703 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4077 2176 566 18 0 4059 0
vsize: 16308
[startup+310.014 s]
Raw data (loadavg): 1.20 1.09 1.02 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2362 0 0 0 30409 593 0 0 25 0 1 0 776441375 16699392 2191 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4077 2191 566 18 0 4059 0
vsize: 16308
[startup+320.014 s]
Raw data (loadavg): 1.24 1.11 1.02 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2377 0 0 0 31400 602 0 0 25 0 1 0 776441375 16699392 2206 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4077 2206 566 18 0 4059 0
vsize: 16308
[startup+330.014 s]
Raw data (loadavg): 1.20 1.10 1.02 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2377 0 0 0 32393 609 0 0 25 0 1 0 776441375 16699392 2206 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4077 2206 566 18 0 4059 0
vsize: 16308
[startup+340.014 s]
Raw data (loadavg): 1.25 1.12 1.03 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2392 0 0 0 33384 619 0 0 25 0 1 0 776441375 16699392 2221 4294967295 134512640 134581331 3221221792 3221220656 134527064 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4077 2221 566 18 0 4059 0
vsize: 16308
[startup+350.015 s]
Raw data (loadavg): 1.21 1.11 1.02 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2407 0 0 0 34376 627 0 0 25 0 1 0 776441375 16699392 2236 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4077 2236 566 18 0 4059 0
vsize: 16308
[startup+360.015 s]
Raw data (loadavg): 1.18 1.11 1.02 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2422 0 0 0 35368 635 0 0 25 0 1 0 776441375 16699392 2251 4294967295 134512640 134581331 3221221792 3221220704 134527780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4077 2251 566 18 0 4059 0
vsize: 16308
[startup+370.015 s]
Raw data (loadavg): 1.22 1.12 1.03 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2760 0 0 0 36343 660 0 0 25 0 1 0 776441375 16568320 2249 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 2249 566 18 0 4027 0
vsize: 16180
[startup+380.014 s]
Raw data (loadavg): 1.19 1.12 1.03 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2805 0 0 0 37304 699 0 0 25 0 1 0 776441375 16568320 2294 4294967295 134512640 134581331 3221221792 3221220704 134527964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 2294 566 18 0 4027 0
vsize: 16180
[startup+390.014 s]
Raw data (loadavg): 1.16 1.11 1.03 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2821 0 0 0 38281 722 0 0 25 0 1 0 776441375 16568320 2310 4294967295 134512640 134581331 3221221792 3221220704 134527778 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 2310 566 18 0 4027 0
vsize: 16180
[startup+400.015 s]
Raw data (loadavg): 1.14 1.11 1.02 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2836 0 0 0 39272 732 0 0 25 0 1 0 776441375 16568320 2325 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 2325 566 18 0 4027 0
vsize: 16180
[startup+410.014 s]
Raw data (loadavg): 1.11 1.10 1.02 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2970 0 0 0 40261 742 0 0 25 0 1 0 776441375 16568320 2339 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 2339 566 18 0 4027 0
vsize: 16180
[startup+420.014 s]
Raw data (loadavg): 1.10 1.10 1.02 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2970 0 0 0 41261 742 0 0 25 0 1 0 776441375 16568320 2339 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 2339 566 18 0 4027 0
vsize: 16180
[startup+430.015 s]
Raw data (loadavg): 1.08 1.10 1.02 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2970 0 0 0 42262 742 0 0 25 0 1 0 776441375 16568320 2339 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 2339 566 18 0 4027 0
vsize: 16180
[startup+440.016 s]
Raw data (loadavg): 1.07 1.09 1.02 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2970 0 0 0 43262 742 0 0 25 0 1 0 776441375 16568320 2339 4294967295 134512640 134581331 3221221792 3221220704 134527709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 2339 566 18 0 4027 0
vsize: 16180
[startup+450.016 s]
Raw data (loadavg): 1.06 1.09 1.02 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2970 0 0 0 44262 742 0 0 25 0 1 0 776441375 16568320 2339 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 2339 566 18 0 4027 0
vsize: 16180
[startup+460.016 s]
Raw data (loadavg): 1.05 1.08 1.02 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2970 0 0 0 45262 742 0 0 25 0 1 0 776441375 16568320 2339 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 2339 566 18 0 4027 0
vsize: 16180
[startup+470.017 s]
Raw data (loadavg): 1.04 1.08 1.02 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2970 0 0 0 46262 743 0 0 25 0 1 0 776441375 16568320 2339 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 2339 566 18 0 4027 0
vsize: 16180
[startup+480.017 s]
Raw data (loadavg): 1.03 1.08 1.02 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2970 0 0 0 47262 743 0 0 25 0 1 0 776441375 16568320 2339 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 2339 566 18 0 4027 0
vsize: 16180
[startup+490.018 s]
Raw data (loadavg): 1.03 1.08 1.02 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2970 0 0 0 48262 743 0 0 25 0 1 0 776441375 16568320 2339 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 2339 566 18 0 4027 0
vsize: 16180
[startup+500.018 s]
Raw data (loadavg): 1.02 1.07 1.02 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2970 0 0 0 49262 743 0 0 25 0 1 0 776441375 16568320 2339 4294967295 134512640 134581331 3221221792 3221220704 134528074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 2339 566 18 0 4027 0
vsize: 16180
[startup+510.017 s]
Raw data (loadavg): 1.02 1.07 1.01 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2970 0 0 0 50262 743 0 0 25 0 1 0 776441375 16568320 2339 4294967295 134512640 134581331 3221221792 3221220704 134528077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 2339 566 18 0 4027 0
vsize: 16180
[startup+520.018 s]
Raw data (loadavg): 1.02 1.07 1.01 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2970 0 0 0 51262 744 0 0 25 0 1 0 776441375 16568320 2339 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 2339 566 18 0 4027 0
vsize: 16180
[startup+530.019 s]
Raw data (loadavg): 1.01 1.06 1.01 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2970 0 0 0 52262 744 0 0 25 0 1 0 776441375 16568320 2339 4294967295 134512640 134581331 3221221792 3221220704 134527772 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 2339 566 18 0 4027 0
vsize: 16180
[startup+540.019 s]
Raw data (loadavg): 1.01 1.06 1.01 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2970 0 0 0 53257 749 0 0 25 0 1 0 776441375 16306176 2299 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3981 2299 566 18 0 3963 0
vsize: 15924
[startup+550.019 s]
Raw data (loadavg): 1.01 1.06 1.01 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 2998 0 0 0 54227 779 0 0 25 0 1 0 776441375 16306176 2327 4294967295 134512640 134581331 3221221792 3221220704 134527440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3981 2327 566 18 0 3963 0
vsize: 15924
[startup+560.019 s]
Raw data (loadavg): 1.01 1.06 1.01 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3025 0 0 0 55204 802 0 0 25 0 1 0 776441375 16044032 2293 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3917 2293 566 18 0 3899 0
vsize: 15668
[startup+570.019 s]
Raw data (loadavg): 1.00 1.05 1.01 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3025 0 0 0 56199 808 0 0 25 0 1 0 776441375 16044032 2293 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3917 2293 566 18 0 3899 0
vsize: 15668
[startup+580.02 s]
Raw data (loadavg): 1.00 1.05 1.01 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3032 0 0 0 57182 824 0 0 25 0 1 0 776441375 14159872 1852 4294967295 134512640 134581331 3221221792 3221220704 134527416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3457 1852 566 18 0 3439 0
vsize: 13828
[startup+590.02 s]
Raw data (loadavg): 1.00 1.05 1.01 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3032 0 0 0 58172 835 0 0 25 0 1 0 776441375 14159872 1852 4294967295 134512640 134581331 3221221792 3221220672 134520282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3457 1852 566 18 0 3439 0
vsize: 13828
[startup+600.02 s]
Raw data (loadavg): 1.00 1.05 1.01 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3039 0 0 0 59159 848 0 0 25 0 1 0 776441375 14159872 1859 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3457 1859 566 18 0 3439 0
vsize: 13828
[startup+610.02 s]
Raw data (loadavg): 1.00 1.05 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3046 0 0 0 60148 859 0 0 25 0 1 0 776441375 15994880 1866 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3905 1866 566 18 0 3887 0
vsize: 15620
[startup+620.021 s]
Raw data (loadavg): 1.00 1.04 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3046 0 0 0 61134 873 0 0 25 0 1 0 776441375 15994880 1866 4294967295 134512640 134581331 3221221792 3221220644 134528553 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3905 1866 566 18 0 3887 0
vsize: 15620
[startup+630.021 s]
Raw data (loadavg): 1.00 1.04 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3053 0 0 0 62128 879 0 0 25 0 1 0 776441375 15994880 1873 4294967295 134512640 134581331 3221221792 3221220704 134527772 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3905 1873 566 18 0 3887 0
vsize: 15620
[startup+640.021 s]
Raw data (loadavg): 1.00 1.04 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3060 0 0 0 63108 900 0 0 25 0 1 0 776441375 15994880 1880 4294967295 134512640 134581331 3221221792 3221220704 134527780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3905 1880 566 18 0 3887 0
vsize: 15620
[startup+650.021 s]
Raw data (loadavg): 1.00 1.04 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3074 0 0 0 64081 927 0 0 25 0 1 0 776441375 15994880 1894 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3905 1894 566 18 0 3887 0
vsize: 15620
[startup+660.021 s]
Raw data (loadavg): 1.00 1.04 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3088 0 0 0 65053 955 0 0 25 0 1 0 776441375 15994880 1908 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3905 1908 566 18 0 3887 0
vsize: 15620
[startup+670.021 s]
Raw data (loadavg): 1.00 1.04 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3102 0 0 0 66029 979 0 0 25 0 1 0 776441375 15994880 1922 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3905 1922 566 18 0 3887 0
vsize: 15620
[startup+680.022 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3116 0 0 0 67010 998 0 0 25 0 1 0 776441375 15994880 1936 4294967295 134512640 134581331 3221221792 3221220764 134527304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3905 1936 566 18 0 3887 0
vsize: 15620
[startup+690.022 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3123 0 0 0 67993 1015 0 0 25 0 1 0 776441375 15994880 1943 4294967295 134512640 134581331 3221221792 3221220704 134527959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3905 1943 566 18 0 3887 0
vsize: 15620
[startup+700.023 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3299 0 0 0 68968 1040 0 0 25 0 1 0 776441375 17305600 2119 4294967295 134512640 134581331 3221221792 3221220704 134527701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4225 2119 566 18 0 4207 0
vsize: 16900
[startup+710.022 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3306 0 0 0 69964 1045 0 0 25 0 1 0 776441375 17305600 2126 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4225 2126 566 18 0 4207 0
vsize: 16900
[startup+720.022 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3381 0 0 0 70919 1089 0 0 25 0 1 0 776441375 17305600 2201 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4225 2201 566 18 0 4207 0
vsize: 16900
[startup+730.022 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3437 0 0 0 71874 1135 0 0 25 0 1 0 776441375 17305600 2257 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4225 2257 566 18 0 4207 0
vsize: 16900
[startup+740.023 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3483 0 0 0 72842 1167 0 0 25 0 1 0 776441375 17305600 2303 4294967295 134512640 134581331 3221221792 3221220704 134527692 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4225 2303 566 18 0 4207 0
vsize: 16900
[startup+750.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3567 0 0 0 73797 1212 0 0 25 0 1 0 776441375 17305600 2338 4294967295 134512640 134581331 3221221792 3221220656 134527160 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4225 2338 566 18 0 4207 0
vsize: 16900
[startup+760.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3899 0 0 0 74758 1251 0 0 25 0 1 0 776441375 18747392 2482 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4577 2482 566 18 0 4559 0
vsize: 18308
[startup+770.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 3980 0 0 0 75722 1287 0 0 25 0 1 0 776441375 19009536 2563 4294967295 134512640 134581331 3221221792 3221220704 134527692 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4641 2563 566 18 0 4623 0
vsize: 18564
[startup+780.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 4337 0 0 0 76689 1321 0 0 25 0 1 0 776441375 18878464 2558 4294967295 134512640 134581331 3221221792 3221220704 134527692 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4609 2558 566 18 0 4591 0
vsize: 18436
[startup+790.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 4549 0 0 0 77679 1330 0 0 25 0 1 0 776441375 18878464 2566 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4609 2566 566 18 0 4591 0
vsize: 18436
[startup+800.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 4559 0 0 0 78670 1341 0 0 25 0 1 0 776441375 18878464 2576 4294967295 134512640 134581331 3221221792 3221220656 134528342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4609 2576 566 18 0 4591 0
vsize: 18436
[startup+810.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 14725 0 0 0 79646 1364 0 0 25 0 1 0 776441375 18878464 2564 4294967295 134512640 134581331 3221221792 3221220784 134561298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4609 2569 566 18 0 4591 0
vsize: 18436
[startup+820.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 36022 0 0 0 80599 1412 0 0 25 0 1 0 776441375 18878464 2566 4294967295 134512640 134581331 3221221792 3221220784 134561298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4609 2569 566 18 0 4591 0
vsize: 18436
[startup+830.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 41882 0 0 0 81578 1432 0 0 25 0 1 0 776441375 18878464 2584 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4609 2584 566 18 0 4591 0
vsize: 18436
[startup+840.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 41892 0 0 0 82563 1448 0 0 25 0 1 0 776441375 18616320 2552 4294967295 134512640 134581331 3221221792 3221220680 134560193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4545 2552 566 18 0 4527 0
vsize: 18180
[startup+850.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 41909 0 0 0 83557 1454 0 0 25 0 1 0 776441375 18616320 2569 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4545 2569 566 18 0 4527 0
vsize: 18180
[startup+860.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 41909 0 0 0 84545 1466 0 0 25 0 1 0 776441375 18616320 2569 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4545 2569 566 18 0 4527 0
vsize: 18180
[startup+870.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 41916 0 0 0 85541 1471 0 0 25 0 1 0 776441375 18616320 2576 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4545 2576 566 18 0 4527 0
vsize: 18180
[startup+880.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 41969 0 0 0 86532 1479 0 0 25 0 1 0 776441375 18878464 2629 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4609 2629 566 18 0 4591 0
vsize: 18436
[startup+890.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 41970 0 0 0 87527 1484 0 0 25 0 1 0 776441375 18878464 2630 4294967295 134512640 134581331 3221221792 3221220704 134527645 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4609 2630 566 18 0 4591 0
vsize: 18436
[startup+900.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 42014 0 0 0 88521 1491 0 0 25 0 1 0 776441375 18616320 2586 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4545 2586 566 18 0 4527 0
vsize: 18180
[startup+910.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 42022 0 0 0 89513 1499 0 0 25 0 1 0 776441375 18616320 2594 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4545 2594 566 18 0 4527 0
vsize: 18180
[startup+920.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 42031 0 0 0 90501 1511 0 0 25 0 1 0 776441375 18616320 2603 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4545 2603 566 18 0 4527 0
vsize: 18180
[startup+930.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 42166 0 0 0 91494 1518 0 0 25 0 1 0 776441375 18616320 2603 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4545 2603 566 18 0 4527 0
vsize: 18180
[startup+940.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 42166 0 0 0 92488 1525 0 0 25 0 1 0 776441375 18616320 2603 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4545 2603 566 18 0 4527 0
vsize: 18180
[startup+950.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 42166 0 0 0 93484 1529 0 0 25 0 1 0 776441375 18616320 2603 4294967295 134512640 134581331 3221221792 3221220704 134527701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4545 2603 566 18 0 4527 0
vsize: 18180
[startup+960.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 42232 0 0 0 94465 1548 0 0 25 0 1 0 776441375 18616320 2620 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4545 2620 566 18 0 4527 0
vsize: 18180
[startup+970.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 42249 0 0 0 95448 1565 0 0 25 0 1 0 776441375 18616320 2637 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4545 2637 566 18 0 4527 0
vsize: 18180
[startup+980.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 42249 0 0 0 96443 1570 0 0 25 0 1 0 776441375 18616320 2637 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4545 2637 566 18 0 4527 0
vsize: 18180
[startup+990.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 42249 0 0 0 97437 1576 0 0 25 0 1 0 776441375 18616320 2637 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4545 2637 566 18 0 4527 0
vsize: 18180
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 42249 0 0 0 98432 1582 0 0 25 0 1 0 776441375 18616320 2637 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4545 2637 566 18 0 4527 0
vsize: 18180
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 52016 0 0 0 99398 1616 0 0 25 0 1 0 776441375 16519168 2270 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2270 566 18 0 4015 0
vsize: 16132
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 52016 0 0 0 100393 1621 0 0 25 0 1 0 776441375 16519168 2270 4294967295 134512640 134581331 3221221792 3221220704 134527980 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2270 566 18 0 4015 0
vsize: 16132
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 52016 0 0 0 101386 1628 0 0 25 0 1 0 776441375 16519168 2270 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2270 566 18 0 4015 0
vsize: 16132
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 52025 0 0 0 102378 1636 0 0 25 0 1 0 776441375 16519168 2279 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2279 566 18 0 4015 0
vsize: 16132
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 52025 0 0 0 103372 1643 0 0 25 0 1 0 776441375 16519168 2279 4294967295 134512640 134581331 3221221792 3221220704 134527703 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2279 566 18 0 4015 0
vsize: 16132
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 52025 0 0 0 104365 1650 0 0 25 0 1 0 776441375 16519168 2279 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2279 566 18 0 4015 0
vsize: 16132
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 52034 0 0 0 105347 1668 0 0 25 0 1 0 776441375 16519168 2288 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2288 566 18 0 4015 0
vsize: 16132
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 60984 0 0 0 106319 1696 0 0 25 0 1 0 776441375 16519168 2288 4294967295 134512640 134581331 3221221792 3221220784 134561295 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2288 566 18 0 4015 0
vsize: 16132
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 63484 0 0 0 107304 1712 0 0 25 0 1 0 776441375 16519168 2288 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2288 566 18 0 4015 0
vsize: 16132
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 63484 0 0 0 108292 1724 0 0 25 0 1 0 776441375 16519168 2288 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2288 566 18 0 4015 0
vsize: 16132
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 123984 0 0 0 109160 1856 0 0 25 0 1 0 776441375 16519168 2288 4294967295 134512640 134581331 3221221792 3221220784 134561295 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2288 566 18 0 4015 0
vsize: 16132
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 142784 0 0 0 110112 1903 0 0 25 0 1 0 776441375 16519168 2288 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2288 566 18 0 4015 0
vsize: 16132
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 142934 0 0 0 111105 1911 0 0 25 0 1 0 776441375 16519168 2288 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2288 566 18 0 4015 0
vsize: 16132
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 142934 0 0 0 112092 1925 0 0 25 0 1 0 776441375 16519168 2288 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2288 566 18 0 4015 0
vsize: 16132
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 142934 0 0 0 113081 1936 0 0 25 0 1 0 776441375 16519168 2288 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2288 566 18 0 4015 0
vsize: 16132
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 142934 0 0 0 114069 1948 0 0 25 0 1 0 776441375 16519168 2288 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2288 566 18 0 4015 0
vsize: 16132
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 142934 0 0 0 115060 1957 0 0 25 0 1 0 776441375 16519168 2288 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2288 566 18 0 4015 0
vsize: 16132
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 142934 0 0 0 116056 1961 0 0 25 0 1 0 776441375 16519168 2288 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2288 566 18 0 4015 0
vsize: 16132
[startup+1188.88 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 4416
Raw data (stat): 4414 (Pueblo) R 4413 7876 7672 0 -1 0 142934 0 0 0 116056 1961 0 0 25 0 1 0 776441375 16519168 2288 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2288 566 18 0 4015 0
vsize: 0

Child status: 10
Real time (s): 1188.88
CPU time (s): 1189.02
CPU user time (s): 1169.36
CPU system time (s): 19.66
CPU usage (%): 100.012
Max. virtual memory (Kb): 18564
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	FAILED
ERROR: unsatisfied constraint on line 57
#### END VERIFIER DATA ####