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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-afiro.opb
MD5SUM	b9a386a980af3ebe560fd16ca36e17ae
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	484.119
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 27889

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-24 23:34:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15451 boxname=wulflinc27 idbench=1189 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  b9a386a980af3ebe560fd16ca36e17ae  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-afiro.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-afiro.opb
IDLAUNCH: 15451
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        801164 kB
Buffers:         19672 kB
Cached:         192256 kB
SwapCached:        640 kB
Active:          41328 kB
Inactive:       173084 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        800912 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:            2100 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            13492 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 23:54:22 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 15451 6 1189.01 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc27/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.75 0.92 0.89 2/54 9954
Raw data (stat): 9954 (runsolver) R 9953 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834231062 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.79 0.93 0.90 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 826 0 0 0 959 38 0 0 25 0 1 0 834231062 10014720 804 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2445 804 566 18 0 2427 0
vsize: 9780
[startup+20.0014 s]
Raw data (loadavg): 0.82 0.93 0.90 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 912 0 0 0 1939 59 0 0 25 0 1 0 834231062 10506240 890 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2565 890 566 18 0 2547 0
vsize: 10260
[startup+30.0015 s]
Raw data (loadavg): 0.85 0.93 0.90 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 931 0 0 0 2926 72 0 0 25 0 1 0 834231062 10506240 909 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2565 909 566 18 0 2547 0
vsize: 10260
[startup+40.0023 s]
Raw data (loadavg): 0.87 0.93 0.90 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 983 0 0 0 3907 92 0 0 25 0 1 0 834231062 10653696 961 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2601 961 566 18 0 2583 0
vsize: 10404
[startup+50.0028 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 1125 0 0 0 4895 104 0 0 25 0 1 0 834231062 11616256 1103 4294967295 134512640 134581331 3221224608 3221223520 134527667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2836 1103 566 18 0 2818 0
vsize: 11344
[startup+60.004 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 1226 0 0 0 5883 116 0 0 25 0 1 0 834231062 11943936 1204 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2916 1204 566 18 0 2898 0
vsize: 11664
[startup+70.0111 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 1250 0 0 0 6855 144 0 0 25 0 1 0 834231062 11485184 1159 4294967295 134512640 134581331 3221224608 3221223520 134527780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2804 1159 566 18 0 2786 0
vsize: 11216
[startup+80.0153 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 1274 0 0 0 7829 172 0 0 25 0 1 0 834231062 11485184 1183 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2804 1183 566 18 0 2786 0
vsize: 11216
[startup+90.0155 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 1509 0 0 0 8790 211 0 0 25 0 1 0 834231062 13221888 1418 4294967295 134512640 134581331 3221224608 3221223520 134527964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3228 1418 566 18 0 3210 0
vsize: 12912
[startup+100.015 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 1510 0 0 0 9780 221 0 0 25 0 1 0 834231062 13221888 1419 4294967295 134512640 134581331 3221224608 3221223520 134527959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3228 1419 566 18 0 3210 0
vsize: 12912
[startup+110.016 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 1515 0 0 0 10776 225 0 0 25 0 1 0 834231062 13090816 1424 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3196 1424 566 18 0 3178 0
vsize: 12784
[startup+120.02 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 1549 0 0 0 11731 270 0 0 25 0 1 0 834231062 12566528 1379 4294967295 134512640 134581331 3221224608 3221223520 134527687 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3068 1379 566 18 0 3050 0
vsize: 12272
[startup+130.019 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 1570 0 0 0 12696 306 0 0 25 0 1 0 834231062 12566528 1400 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3068 1400 566 18 0 3050 0
vsize: 12272
[startup+140.02 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 1613 0 0 0 13675 326 0 0 25 0 1 0 834231062 12763136 1443 4294967295 134512640 134581331 3221224608 3221223520 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3116 1443 566 18 0 3098 0
vsize: 12464
[startup+150.027 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 1624 0 0 0 14666 337 0 0 25 0 1 0 834231062 12763136 1454 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3116 1454 566 18 0 3098 0
vsize: 12464
[startup+160.028 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 1642 0 0 0 15643 360 0 0 25 0 1 0 834231062 12763136 1472 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3116 1472 566 18 0 3098 0
vsize: 12464
[startup+170.028 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 1642 0 0 0 16641 362 0 0 25 0 1 0 834231062 12763136 1472 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3116 1472 566 18 0 3098 0
vsize: 12464
[startup+180.039 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 1642 0 0 0 17641 363 0 0 25 0 1 0 834231062 12763136 1472 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3116 1472 566 18 0 3098 0
vsize: 12464
[startup+190.046 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 1642 0 0 0 18642 363 0 0 25 0 1 0 834231062 12763136 1472 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3116 1472 566 18 0 3098 0
vsize: 12464
[startup+200.046 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 1642 0 0 0 19642 364 0 0 25 0 1 0 834231062 12763136 1472 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3116 1472 566 18 0 3098 0
vsize: 12464
[startup+210.047 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 1660 0 0 0 20618 388 0 0 25 0 1 0 834231062 12763136 1490 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3116 1490 566 18 0 3098 0
vsize: 12464
[startup+220.05 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2163 0 0 0 21593 413 0 0 25 0 1 0 834231062 16695296 1993 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 1993 566 18 0 4058 0
vsize: 16304
[startup+230.049 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2210 0 0 0 22564 442 0 0 25 0 1 0 834231062 16695296 2040 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 2040 566 18 0 4058 0
vsize: 16304
[startup+240.057 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2240 0 0 0 23535 472 0 0 25 0 1 0 834231062 16695296 2070 4294967295 134512640 134581331 3221224608 3221223520 134527950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 2070 566 18 0 4058 0
vsize: 16304
[startup+250.063 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2270 0 0 0 24504 504 0 0 25 0 1 0 834231062 16695296 2100 4294967295 134512640 134581331 3221224608 3221223520 134527692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 2100 566 18 0 4058 0
vsize: 16304
[startup+260.084 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2300 0 0 0 25485 525 0 0 25 0 1 0 834231062 16695296 2130 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 2130 566 18 0 4058 0
vsize: 16304
[startup+270.084 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2315 0 0 0 26476 534 0 0 25 0 1 0 834231062 16695296 2145 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 2145 566 18 0 4058 0
vsize: 16304
[startup+280.084 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2315 0 0 0 27468 542 0 0 25 0 1 0 834231062 16695296 2145 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 2145 566 18 0 4058 0
vsize: 16304
[startup+290.086 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2330 0 0 0 28460 551 0 0 25 0 1 0 834231062 16695296 2160 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 2160 566 18 0 4058 0
vsize: 16304
[startup+300.086 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2345 0 0 0 29451 560 0 0 25 0 1 0 834231062 16695296 2175 4294967295 134512640 134581331 3221224608 3221223520 134527975 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 2175 566 18 0 4058 0
vsize: 16304
[startup+310.094 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2360 0 0 0 30439 573 0 0 25 0 1 0 834231062 16695296 2190 4294967295 134512640 134581331 3221224608 3221223800 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 2190 566 18 0 4058 0
vsize: 16304
[startup+320.098 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2375 0 0 0 31430 582 0 0 25 0 1 0 834231062 16695296 2205 4294967295 134512640 134581331 3221224608 3221223520 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 2205 566 18 0 4058 0
vsize: 16304
[startup+330.097 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2375 0 0 0 32421 592 0 0 25 0 1 0 834231062 16695296 2205 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 2205 566 18 0 4058 0
vsize: 16304
[startup+340.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2390 0 0 0 33411 602 0 0 25 0 1 0 834231062 16695296 2220 4294967295 134512640 134581331 3221224608 3221223520 134527948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 2220 566 18 0 4058 0
vsize: 16304
[startup+350.097 s]
Raw data (loadavg): 1.07 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2405 0 0 0 34405 608 0 0 25 0 1 0 834231062 16695296 2235 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 2235 566 18 0 4058 0
vsize: 16304
[startup+360.102 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2405 0 0 0 35397 617 0 0 25 0 1 0 834231062 16695296 2235 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 2235 566 18 0 4058 0
vsize: 16304
[startup+370.103 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2642 0 0 0 36375 639 0 0 25 0 1 0 834231062 16826368 2285 4294967295 134512640 134581331 3221224608 3221223520 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4108 2285 566 18 0 4090 0
vsize: 16432
[startup+380.102 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2789 0 0 0 37336 678 0 0 25 0 1 0 834231062 16564224 2279 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 2279 566 18 0 4026 0
vsize: 16176
[startup+390.103 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2819 0 0 0 38312 703 0 0 25 0 1 0 834231062 16564224 2309 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 2309 566 18 0 4026 0
vsize: 16176
[startup+400.103 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2834 0 0 0 39296 718 0 0 25 0 1 0 834231062 16564224 2324 4294967295 134512640 134581331 3221224608 3221223520 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 2324 566 18 0 4026 0
vsize: 16176
[startup+410.104 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2968 0 0 0 40289 725 0 0 25 0 1 0 834231062 16564224 2338 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 2338 566 18 0 4026 0
vsize: 16176
[startup+420.104 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2968 0 0 0 41289 726 0 0 25 0 1 0 834231062 16564224 2338 4294967295 134512640 134581331 3221224608 3221223520 134527980 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 2338 566 18 0 4026 0
vsize: 16176
[startup+430.103 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2968 0 0 0 42289 726 0 0 25 0 1 0 834231062 16564224 2338 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 2338 566 18 0 4026 0
vsize: 16176
[startup+440.104 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2968 0 0 0 43289 726 0 0 25 0 1 0 834231062 16564224 2338 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 2338 566 18 0 4026 0
vsize: 16176
[startup+450.104 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2968 0 0 0 44289 726 0 0 25 0 1 0 834231062 16564224 2338 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 2338 566 18 0 4026 0
vsize: 16176
[startup+460.105 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2968 0 0 0 45290 726 0 0 25 0 1 0 834231062 16564224 2338 4294967295 134512640 134581331 3221224608 3221223520 134527780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 2338 566 18 0 4026 0
vsize: 16176
[startup+470.106 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2968 0 0 0 46290 726 0 0 25 0 1 0 834231062 16564224 2338 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 2338 566 18 0 4026 0
vsize: 16176
[startup+480.106 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2968 0 0 0 47290 726 0 0 25 0 1 0 834231062 16564224 2338 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 2338 566 18 0 4026 0
vsize: 16176
[startup+490.106 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2968 0 0 0 48290 726 0 0 25 0 1 0 834231062 16564224 2338 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 2338 566 18 0 4026 0
vsize: 16176
[startup+500.107 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2968 0 0 0 49290 727 0 0 25 0 1 0 834231062 16564224 2338 4294967295 134512640 134581331 3221224608 3221223520 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 2338 566 18 0 4026 0
vsize: 16176
[startup+510.108 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2968 0 0 0 50290 727 0 0 25 0 1 0 834231062 16564224 2338 4294967295 134512640 134581331 3221224608 3221223520 134527980 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 2338 566 18 0 4026 0
vsize: 16176
[startup+520.108 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2968 0 0 0 51290 727 0 0 25 0 1 0 834231062 16564224 2338 4294967295 134512640 134581331 3221224608 3221223520 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 2338 566 18 0 4026 0
vsize: 16176
[startup+530.108 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2968 0 0 0 52290 727 0 0 25 0 1 0 834231062 16564224 2338 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 2338 566 18 0 4026 0
vsize: 16176
[startup+540.109 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2968 0 0 0 53288 729 0 0 25 0 1 0 834231062 16302080 2298 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3980 2298 566 18 0 3962 0
vsize: 15920
[startup+550.108 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 2982 0 0 0 54269 749 0 0 25 0 1 0 834231062 16302080 2312 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3980 2312 566 18 0 3962 0
vsize: 15920
[startup+560.109 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3010 0 0 0 55245 773 0 0 25 0 1 0 834231062 16302080 2340 4294967295 134512640 134581331 3221224608 3221223472 134528287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3980 2340 566 18 0 3962 0
vsize: 15920
[startup+570.11 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3023 0 0 0 56228 790 0 0 25 0 1 0 834231062 16039936 2292 4294967295 134512640 134581331 3221224608 3221223504 134517786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3916 2292 566 18 0 3898 0
vsize: 15664
[startup+580.11 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3023 0 0 0 57216 803 0 0 25 0 1 0 834231062 14155776 1844 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3456 1844 566 18 0 3438 0
vsize: 13824
[startup+590.111 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3030 0 0 0 58205 813 0 0 25 0 1 0 834231062 14155776 1851 4294967295 134512640 134581331 3221224608 3221223520 134527342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3456 1851 566 18 0 3438 0
vsize: 13824
[startup+600.111 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3030 0 0 0 59193 825 0 0 25 0 1 0 834231062 14155776 1851 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3456 1851 566 18 0 3438 0
vsize: 13824
[startup+610.111 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3037 0 0 0 60176 843 0 0 25 0 1 0 834231062 14155776 1858 4294967295 134512640 134581331 3221224608 3221223520 134527729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3456 1858 566 18 0 3438 0
vsize: 13824
[startup+620.111 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3044 0 0 0 61168 851 0 0 25 0 1 0 834231062 15990784 1865 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3904 1865 566 18 0 3886 0
vsize: 15616
[startup+630.111 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3051 0 0 0 62157 862 0 0 25 0 1 0 834231062 15990784 1872 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3904 1872 566 18 0 3886 0
vsize: 15616
[startup+640.112 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3051 0 0 0 63145 875 0 0 25 0 1 0 834231062 15990784 1872 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3904 1872 566 18 0 3886 0
vsize: 15616
[startup+650.112 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3065 0 0 0 64122 897 0 0 25 0 1 0 834231062 15990784 1886 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3904 1886 566 18 0 3886 0
vsize: 15616
[startup+660.113 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3086 0 0 0 65082 938 0 0 25 0 1 0 834231062 15990784 1907 4294967295 134512640 134581331 3221224608 3221223520 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3904 1907 566 18 0 3886 0
vsize: 15616
[startup+670.114 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3093 0 0 0 66062 958 0 0 25 0 1 0 834231062 15990784 1914 4294967295 134512640 134581331 3221224608 3221223520 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3904 1914 566 18 0 3886 0
vsize: 15616
[startup+680.114 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3107 0 0 0 67042 979 0 0 25 0 1 0 834231062 15990784 1928 4294967295 134512640 134581331 3221224608 3221223520 134527718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3904 1928 566 18 0 3886 0
vsize: 15616
[startup+690.115 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3114 0 0 0 68028 993 0 0 25 0 1 0 834231062 15990784 1935 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3904 1935 566 18 0 3886 0
vsize: 15616
[startup+700.115 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3128 0 0 0 68999 1021 0 0 25 0 1 0 834231062 15990784 1949 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3904 1949 566 18 0 3886 0
vsize: 15616
[startup+710.116 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3297 0 0 0 69982 1039 0 0 25 0 1 0 834231062 17301504 2118 4294967295 134512640 134581331 3221224608 3221223564 134527310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4224 2118 566 18 0 4206 0
vsize: 16896
[startup+720.116 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3329 0 0 0 70957 1064 0 0 25 0 1 0 834231062 17301504 2150 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4224 2150 566 18 0 4206 0
vsize: 16896
[startup+730.115 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3396 0 0 0 71918 1103 0 0 25 0 1 0 834231062 17301504 2217 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4224 2217 566 18 0 4206 0
vsize: 16896
[startup+740.116 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3450 0 0 0 72878 1144 0 0 25 0 1 0 834231062 17301504 2271 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4224 2271 566 18 0 4206 0
vsize: 16896
[startup+750.116 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3533 0 0 0 73834 1187 0 0 25 0 1 0 834231062 17432576 2333 4294967295 134512640 134581331 3221224608 3221223520 134527975 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4256 2333 566 18 0 4238 0
vsize: 17024
[startup+760.116 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3574 0 0 0 74800 1221 0 0 25 0 1 0 834231062 17301504 2346 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4224 2346 566 18 0 4206 0
vsize: 16896
[startup+770.115 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 3929 0 0 0 75746 1275 0 0 25 0 1 0 834231062 18743296 2513 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4576 2513 566 18 0 4558 0
vsize: 18304
[startup+780.116 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 4070 0 0 0 76721 1301 0 0 25 0 1 0 834231062 19136512 2558 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4672 2558 566 18 0 4654 0
vsize: 18688
[startup+790.116 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 4415 0 0 0 77696 1326 0 0 25 0 1 0 834231062 19136512 2593 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4672 2593 566 18 0 4654 0
vsize: 18688
[startup+800.116 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 4557 0 0 0 78682 1340 0 0 25 0 1 0 834231062 18874368 2575 4294967295 134512640 134581331 3221224608 3221223520 134527769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4608 2575 566 18 0 4590 0
vsize: 18432
[startup+810.116 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 4557 0 0 0 79678 1345 0 0 25 0 1 0 834231062 18874368 2575 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4608 2575 566 18 0 4590 0
vsize: 18432
[startup+820.116 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 24225 0 0 0 80632 1391 0 0 25 0 1 0 834231062 18612224 2530 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 2530 566 18 0 4526 0
vsize: 18176
[startup+830.115 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 41872 0 0 0 81590 1433 0 0 25 0 1 0 834231062 18874368 2575 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4608 2575 566 18 0 4590 0
vsize: 18432
[startup+840.116 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 41890 0 0 0 82574 1449 0 0 25 0 1 0 834231062 18612224 2551 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 2551 566 18 0 4526 0
vsize: 18176
[startup+850.116 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 41898 0 0 0 83565 1458 0 0 25 0 1 0 834231062 18612224 2559 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 2559 566 18 0 4526 0
vsize: 18176
[startup+860.116 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 41907 0 0 0 84554 1469 0 0 25 0 1 0 834231062 18612224 2568 4294967295 134512640 134581331 3221224608 3221223524 1075285575 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 2568 566 18 0 4526 0
vsize: 18176
[startup+870.116 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 41907 0 0 0 85548 1476 0 0 25 0 1 0 834231062 18612224 2568 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 2568 566 18 0 4526 0
vsize: 18176
[startup+880.116 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 41914 0 0 0 86544 1480 0 0 25 0 1 0 834231062 18612224 2575 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 2575 566 18 0 4526 0
vsize: 18176
[startup+890.116 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 41967 0 0 0 87537 1487 0 0 25 0 1 0 834231062 18874368 2628 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4608 2628 566 18 0 4590 0
vsize: 18432
[startup+900.117 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 41968 0 0 0 88531 1493 0 0 25 0 1 0 834231062 18874368 2629 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4608 2629 566 18 0 4590 0
vsize: 18432
[startup+910.117 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 42012 0 0 0 89527 1497 0 0 25 0 1 0 834231062 18612224 2585 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 2585 566 18 0 4526 0
vsize: 18176
[startup+920.121 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 42028 0 0 0 90518 1507 0 0 25 0 1 0 834231062 18612224 2601 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 2601 566 18 0 4526 0
vsize: 18176
[startup+930.121 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 42029 0 0 0 91508 1517 0 0 25 0 1 0 834231062 18612224 2602 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 2602 566 18 0 4526 0
vsize: 18176
[startup+940.121 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 42164 0 0 0 92503 1522 0 0 25 0 1 0 834231062 18612224 2602 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 2602 566 18 0 4526 0
vsize: 18176
[startup+950.122 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 42164 0 0 0 93498 1528 0 0 25 0 1 0 834231062 18612224 2602 4294967295 134512640 134581331 3221224608 3221223504 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 2602 566 18 0 4526 0
vsize: 18176
[startup+960.121 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 42164 0 0 0 94492 1533 0 0 25 0 1 0 834231062 18612224 2602 4294967295 134512640 134581331 3221224608 3221223472 134528275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 2602 566 18 0 4526 0
vsize: 18176
[startup+970.121 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 42230 0 0 0 95472 1554 0 0 25 0 1 0 834231062 18612224 2619 4294967295 134512640 134581331 3221224608 3221223552 134558876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 2619 566 18 0 4526 0
vsize: 18176
[startup+980.121 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 42247 0 0 0 96456 1570 0 0 25 0 1 0 834231062 18612224 2636 4294967295 134512640 134581331 3221224608 3221223376 134566403 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 2636 566 18 0 4526 0
vsize: 18176
[startup+990.122 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 42247 0 0 0 97451 1575 0 0 25 0 1 0 834231062 18612224 2636 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 2636 566 18 0 4526 0
vsize: 18176
[startup+1000.12 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 42247 0 0 0 98446 1580 0 0 25 0 1 0 834231062 18612224 2636 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4544 2636 566 18 0 4526 0
vsize: 18176
[startup+1010.12 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 42819 0 0 0 99440 1586 0 0 25 0 1 0 834231062 16777216 2311 4294967295 134512640 134581331 3221224608 3221223432 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 2311 566 18 0 4078 0
vsize: 16384
[startup+1020.12 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 52014 0 0 0 100406 1620 0 0 25 0 1 0 834231062 16515072 2269 4294967295 134512640 134581331 3221224608 3221223472 134528358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 2269 566 18 0 4014 0
vsize: 16128
[startup+1030.12 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 52014 0 0 0 101402 1624 0 0 25 0 1 0 834231062 16515072 2269 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 2269 566 18 0 4014 0
vsize: 16128
[startup+1040.12 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 52014 0 0 0 102395 1632 0 0 25 0 1 0 834231062 16515072 2269 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 2269 566 18 0 4014 0
vsize: 16128
[startup+1050.12 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 52023 0 0 0 103386 1642 0 0 25 0 1 0 834231062 16515072 2278 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 2278 566 18 0 4014 0
vsize: 16128
[startup+1060.12 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 52023 0 0 0 104379 1648 0 0 25 0 1 0 834231062 16515072 2278 4294967295 134512640 134581331 3221224608 3221223504 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 2278 566 18 0 4014 0
vsize: 16128
[startup+1070.12 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 52023 0 0 0 105373 1654 0 0 25 0 1 0 834231062 16515072 2278 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 2278 566 18 0 4014 0
vsize: 16128
[startup+1080.12 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 52032 0 0 0 106357 1671 0 0 25 0 1 0 834231062 16515072 2287 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 2287 566 18 0 4014 0
vsize: 16128
[startup+1090.12 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 63132 0 0 0 107327 1701 0 0 25 0 1 0 834231062 16515072 2287 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 2287 566 18 0 4014 0
vsize: 16128
[startup+1100.12 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 63482 0 0 0 108317 1711 0 0 25 0 1 0 834231062 16515072 2287 4294967295 134512640 134581331 3221224608 3221223472 134528254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 2287 566 18 0 4014 0
vsize: 16128
[startup+1110.12 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 63482 0 0 0 109308 1720 0 0 25 0 1 0 834231062 16515072 2287 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 2287 566 18 0 4014 0
vsize: 16128
[startup+1120.12 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 128332 0 0 0 110163 1866 0 0 25 0 1 0 834231062 16515072 2287 4294967295 134512640 134581331 3221224608 3221223600 134561295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 2287 566 18 0 4014 0
vsize: 16128
[startup+1130.12 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 142782 0 0 0 111127 1902 0 0 25 0 1 0 834231062 16515072 2287 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 2287 566 18 0 4014 0
vsize: 16128
[startup+1140.12 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 142932 0 0 0 112120 1909 0 0 25 0 1 0 834231062 16515072 2287 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 2287 566 18 0 4014 0
vsize: 16128
[startup+1150.12 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 142932 0 0 0 113107 1922 0 0 25 0 1 0 834231062 16515072 2287 4294967295 134512640 134581331 3221224608 3221223520 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 2287 566 18 0 4014 0
vsize: 16128
[startup+1160.12 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 142932 0 0 0 114097 1932 0 0 25 0 1 0 834231062 16515072 2287 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 2287 566 18 0 4014 0
vsize: 16128
[startup+1170.12 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 142932 0 0 0 115087 1942 0 0 25 0 1 0 834231062 16515072 2287 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 2287 566 18 0 4014 0
vsize: 16128
[startup+1180.12 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 142932 0 0 0 116079 1950 0 0 25 0 1 0 834231062 16515072 2287 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 2287 566 18 0 4014 0
vsize: 16128
[startup+1188.9 s]
Raw data (loadavg): 1.00 0.98 0.91 1/53 9954
Raw data (stat): 9954 (Pueblo) R 9953 3394 3393 0 -1 0 142932 0 0 0 116079 1950 0 0 25 0 1 0 834231062 16515072 2287 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4032 2287 566 18 0 4014 0
vsize: 0

Child status: 10
Real time (s): 1188.9
CPU time (s): 1189.01
CPU user time (s): 1169.45
CPU system time (s): 19.559
CPU usage (%): 100.01
Max. virtual memory (Kb): 18688
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	FAILED
ERROR: unsatisfied constraint on line 57
#### END VERIFIER DATA ####