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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10a.opb
MD5SUM	133d42fd76e8bbd92509939943f41498
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	398336
Optimality of the best value was proved	NO
Number of terms in the objective function	2100
Biggest coefficient in the objective function	4718592
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	539671039
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	4718592
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	539671039
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	913.784
Number of variables	2100
Total number of constraints	120
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	120
Minimum length of a constraint	21
Maximum length of a constraint	200
Trace number 26904

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-24 17:55:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19195 boxname=wulflinc28 idbench=1477 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  133d42fd76e8bbd92509939943f41498  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-ran10x10a.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-ran10x10a.opb
IDLAUNCH: 19195
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        776528 kB
Buffers:         34224 kB
Cached:         202468 kB
SwapCached:       1104 kB
Active:          60976 kB
Inactive:       178348 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        776276 kB
SwapTotal:     2097640 kB
SwapFree:      2096184 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5544 kB
Slab:            13152 kB
Committed_AS:    63564 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:15:45 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 19195 0 1189.01 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-ran10x10a.opb
c #variables read: 2100 - #constraints read: 141
s SATISFIABLE
v -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 -X1_bit0 -X1_bit1 -X1_bit2 -X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 -X2_bit0 -X2_bit1 -X2_bit2 -X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 -X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 -X4_bit0 -X4_bit1 -X4_bit2 -X4_bit3 -X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 -X6_bit0 -X6_bit1 -X6_bit2 -X6_bit3 -X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 -X7_bit0 -X7_bit1 -X7_bit2 -X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 -X8_bit0 -X8_bit1 -X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X9_bit_7 -X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 X9_bit0 X9_bit1 X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_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 -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 -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 -X17_bit_7 -X17_bit_6 -X17_bit_5 -X17_bit_4 -X17_bit_3 -X17_bit_2 -X17_bit_1 -X17_bit0 -X17_bit1 -X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 -X18_bit_7 -X18_bit_6 -X18_bit_5 -X18_bit_4 -X18_bit_3 -X18_bit_2 -X18_bit_1 -X18_bit0 -X18_bit1 -X18_bit2 -X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X19_bit_7 -X19_bit_6 -X19_bit_5 -X19_bit_4 -X19_bit_3 -X19_bit_2 -X19_bit_1 -X19_bit0 -X19_bit1 X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X20_bit_7 -X20_bit_6 -X20_bit_5 -X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 -X20_bit0 -X20_bit1 -X20_bit2 -X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X21_bit_7 -X21_bit_6 -X21_bit_5 -X21_bit_4 -X21_bit_3 -X21_bit_2 -X21_bit_1 -X21_bit0 -X21_bit1 -X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_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 -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 -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 -X27_bit_7 -X27_bit_6 -X27_bit_5 -X27_bit_4 -X27_bit_3 -X27_bit_2 -X27_bit_1 -X27_bit0 -X27_bit1 -X27_bit2 -X27_bit3 -X27_bit4 -X27_bit5 -X27_bit6 -X27_bit7 -X27_bit8 -X27_bit9 -X27_bit10 -X27_bit11 -X27_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 -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 -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 -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 -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 -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 -X40_bit_7 -X40_bit_6 -X40_bit_5 -X40_bit_4 -X40_bit_3 -X40_bit_2 -X40_bit_1 -X40_bit0 -X40_bit1 -X40_bit2 -X40_bit3 -X40_bit4 -X40_bit5 -X40_bit6 -X40_bit7 -X40_bit8 -X40_bit9 -X40_bit10 -X40_bit11 -X40_bit12 -X41_bit_7 -X41_bit_6 -X41_bit_5 -X41_bit_4 -X41_bit_3 -X41_bit_2 -X41_bit_1 -X41_bit0 -X41_bit1 -X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit10 -X41_bit11 -X41_bit12 -X42_bit_7 -X42_bit_6 -X42_bit_5 -X42_bit_4 -X42_bit_3 -X42_bit_2 -X42_bit_1 -X42_bit0 -X42_bit1 -X42_bit2 -X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit10 -X42_bit11 -X42_bit12 -X43_bit_7 -X43_bit_6 -X43_bit_5 -X43_bit_4 -X43_bit_3 -X43_bit_2 -X43_bit_1 -X43_bit0 -X43_bit1 -X43_bit2 -X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 -X43_bit10 -X43_bit11 -X43_bit12 -X44_bit_7 -X44_bit_6 -X44_bit_5 -X44_bit_4 -X44_bit_3 -X44_bit_2 -X44_bit_1 -X44_bit0 -X44_bit1 -X44_bit2 -X44_bit3 -X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit10 -X44_bit11 -X44_bit12 -X45_bit_7 -X45_bit_6 -X45_bit_5 -X45_bit_4 -X45_bit_3 -X45_bit_2 -X45_bit_1 -X45_bit0 -X45_bit1 -X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit10 -X45_bit11 -X45_bit12 -X46_bit_7 -X46_bit_6 -X46_bit_5 -X46_bit_4 -X46_bit_3 -X46_bit_2 -X46_bit_1 -X46_bit0 -X46_bit1 -X46_bit2 -X46_bit3 -X46_bit4 -X46_bit5 -X46_bit6 -X46_bit7 -X46_bit8 -X46_bit9 -X46_bit10 -X46_bit11 -X46_bit12 -X47_bit_7 -X47_bit_6 -X47_bit_5 -X47_bit_4 -X47_bit_3 -X47_bit_2 -X47_bit_1 X47_bit0 X47_bit1 X47_bit2 -X47_bit3 -X47_bit4 -X47_bit5 -X47_bit6 -X47_bit7 -X47_bit8 -X47_bit9 -X47_bit10 -X47_bit11 -X47_bit12 -X48_bit_7 -X48_bit_6 -X48_bit_5 -X48_bit_4 -X48_bit_3 -X48_bit_2 -X48_bit_1 X48_bit0 X48_bit1 -X48_bit2 -X48_bit3 -X48_bit4 -X48_bit5 -X48_bit6 -X48_bit7 -X48_bit8 -X48_bit9 -X48_bit10 -X48_bit11 -X48_bit12 -X49_bit_7 -X49_bit_6 -X49_bit_5 -X49_bit_4 -X49_bit_3 -X49_bit_2 -X49_bit_1 -X49_bit0 X49_bit1 -X49_bit2 -X49_bit3 -X49_bit4 -X49_bit5 -X49_bit6 -X49_bit7 -X49_bit8 -X49_bit9 -X49_bit10 -X49_bit11 -X49_bit12 -X50_bit_7 -X50_bit_6 -X50_bit_5 -X50_bit_4 -X50_bit_3 -X50_bit_2 -X50_bit_1 -X50_bit0 -X50_bit1 -X50_bit2 -X50_bit3 -X50_bit4 -X50_bit5 -X50_bit6 -X50_bit7 -X50_bit8 -X50_bit9 -X50_bit10 -X50_bit11 -X50_bit12 -X51_bit_7 -X51_bit_6 -X51_bit_5 -X51_bit_4 -X51_bit_3 -X51_bit_2 -X51_bit_1 -X51_bit0 -X51_bit1 -X51_bit2 -X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit10 -X51_bit11 -X51_bit12 -X52_bit_7 -X52_bit_6 -X52_bit_5 -X52_bit_4 -X52_bit_3 -X52_bit_2 -X52_bit_1 -X52_bit0 -X52_bit1 -X52_bit2 -X52_bit3 -X52_bit4 -X52_bit5 -X52_bit6 -X52_bit7 -X52_bit8 -X52_bit9 -X52_bit10 -X52_bit11 -X52_bit12 -X53_bit_7 -X53_bit_6 -X53_bit_5 -X53_bit_4 -X53_bit_3 -X53_bit_2 -X53_bit_1 -X53_bit0 -X53_bit1 -X53_bit2 -X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit10 -X53_bit11 -X53_bit12 -X54_bit_7 -X54_bit_6 -X54_bit_5 -X54_bit_4 -X54_bit_3 -X54_bit_2 -X54_bit_1 -X54_bit0 -X54_bit1 -X54_bit2 X54_bit3 -X54_bit4 -X54_bit5 -X54_bit6 -X54_bit7 -X54_bit8 -X54_bit9 -X54_bit10 -X54_bit11 -X54_bit12 -X55_bit_7 -X55_bit_6 -X55_bit_5 -X55_bit_4 -X55_bit_3 -X55_bit_2 -X55_bit_1 -X55_bit0 -X55_bit1 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit10 -X55_bit11 -X55_bit12 -X56_bit_7 -X56_bit_6 -X56_bit_5 -X56_bit_4 -X56_bit_3 -X56_bit_2 -X56_bit_1 X56_bit0 X56_bit1 -X56_bit2 -X56_bit3 -X56_bit4 -X56_bit5 -X56_bit6 -X56_bit7 -X56_bit8 -X56_bit9 -X56_bit10 -X56_bit11 -X56_bit12 -X57_bit_7 -X57_bit_6 -X57_bit_5 -X57_bit_4 -X57_bit_3 -X57_bit_2 -X57_bit_1 -X57_bit0 -X57_bit1 -X57_bit2 -X57_bit3 -X57_bit4 -X57_bit5 -X57_bit6 -X57_bit7 -X57_bit8 -X57_bit9 -X57_bit10 -X57_bit11 -X57_bit12 -X58_bit_7 -X58_bit_6 -X58_bit_5 -X58_bit_4 -X58_bit_3 -X58_bit_2 -X58_bit_1 -X58_bit0 -X58_bit1 -X58_bit2 -X58_bit3 -X58_bit4 -X58_bit5 -X58_bit6 -X58_bit7 -X58_bit8 -X58_bit9 -X58_bit10 -X58_bit11 -X58_bit12 -X59_bit_7 -X59_bit_6 -X59_bit_5 -X59_bit_4 -X59_bit_3 -X59_bit_2 -X59_bit_1 -X59_bit0 -X59_bit1 -X59_bit2 -X59_bit3 -X59_bit4 -X59_bit5 -X59_bit6 -X59_bit7 -X59_bit8 -X59_bit9 -X59_bit10 -X59_bit11 -X59_bit12 -X60_bit_7 -X60_bit_6 -X60_bit_5 -X60_bit_4 -X60_bit_3 -X60_bit_2 -X60_bit_1 -X60_bit0 -X60_bit1 -X60_bit2 -X60_bit3 -X60_bit4 -X60_bit5 -X60_bit6 -X60_bit7 -X60_bit8 -X60_bit9 -X60_bit10 -X60_bit11 -X60_bit12 -X61_bit_7 -X61_bit_6 -X61_bit_5 -X61_bit_4 -X61_bit_3 -X61_bit_2 -X61_bit_1 -X61_bit0 -X61_bit1 -X61_bit2 -X61_bit3 -X61_bit4 -X61_bit5 -X61_bit6 -X61_bit7 -X61_bit8 -X61_bit9 -X61_bit10 -X61_bit11 -X61_bit12 -X62_bit_7 -X62_bit_6 -X62_bit_5 -X62_bit_4 -X62_bit_3 -X62_bit_2 -X62_bit_1 -X62_bit0 -X62_bit1 -X62_bit2 -X62_bit3 -X62_bit4 -X62_bit5 -X62_bit6 -X62_bit7 -X62_bit8 -X62_bit9 -X62_bit10 -X62_bit11 -X62_bit12 -X63_bit_7 -X63_bit_6 -X63_bit_5 -X63_bit_4 -X63_bit_3 -X63_bit_2 -X63_bit_1 -X63_bit0 -X63_bit1 -X63_bit2 X63_bit3 -X63_bit4 -X63_bit5 -X63_bit6 -X63_bit7 -X63_bit8 -X63_bit9 -X63_bit10 -X63_bit11 -X63_bit12 -X64_bit_7 -X64_bit_6 -X64_bit_5 -X64_bit_4 -X64_bit_3 -X64_bit_2 -X64_bit_1 -X64_bit0 -X64_bit1 X64_bit2 -X64_bit3 -X64_bit4 -X64_bit5 -X64_bit6 -X64_bit7 -X64_bit8 -X64_bit9 -X64_bit10 -X64_bit11 -X64_bit12 -X65_bit_7 -X65_bit_6 -X65_bit_5 -X65_bit_4 -X65_bit_3 -X65_bit_2 -X65_bit_1 X65_bit0 -X65_bit1 -X65_bit2 -X65_bit3 -X65_bit4 -X65_bit5 -X65_bit6 -X65_bit7 -X65_bit8 -X65_bit9 -X65_bit10 -X65_bit11 -X65_bit12 -X66_bit_7 -X66_bit_6 -X66_bit_5 -X66_bit_4 -X66_bit_3 -X66_bit_2 -X66_bit_1 -X66_bit0 -X66_bit1 -X66_bit2 -X66_bit3 -X66_bit4 -X66_bit5 -X66_bit6 -X66_bit7 -X66_bit8 -X66_bit9 -X66_bit10 -X66_bit11 -X66_bit12 -X67_bit_7 -X67_bit_6 -X67_bit_5 -X67_bit_4 -X67_bit_3 -X67_bit_2 -X67_bit_1 -X67_bit0 -X67_bit1 -X67_bit2 -X67_bit3 -X67_bit4 -X67_bit5 -X67_bit6 -X67_bit7 -X67_bit8 -X67_bit9 -X67_bit10 -X67_bit11 -X67_bit12 -X68_bit_7 -X68_bit_6 -X68_bit_5 -X68_bit_4 -X68_bit_3 -X68_bit_2 -X68_bit_1 -X68_bit0 -X68_bit1 -X68_bit2 -X68_bit3 -X68_bit4 -X68_bit5 -X68_bit6 -X68_bit7 -X68_bit8 -X68_bit9 -X68_bit10 -X68_bit11 -X68_bit12 -X69_bit_7 -X69_bit_6 -X69_bit_5 -X69_bit_4 -X69_bit_3 -X69_bit_2 -X69_bit_1 -X69_bit0 -X69_bit1 -X69_bit2 -X69_bit3 -X69_bit4 -X69_bit5 -X69_bit6 -X69_bit7 -X69_bit8 -X69_bit9 -X69_bit10 -X69_bit11 -X69_bit12 -X70_bit_7 -X70_bit_6 -X70_bit_5 -X70_bit_4 -X70_bit_3 -X70_bit_2 -X70_bit_1 -X70_bit0 -X70_bit1 -X70_bit2 -X70_bit3 -X70_bit4 -X70_bit5 -X70_bit6 -X70_bit7 -X70_bit8 -X70_bit9 -X70_bit10 -X70_bit11 -X70_bit12 -X71_bit_7 -X71_bit_6 -X71_bit_5 -X71_bit_4 -X71_bit_3 -X71_bit_2 -X71_bit_1 -X71_bit0 -X71_bit1 -X71_bit2 -X71_bit3 -X71_bit4 -X71_bit5 -X71_bit6 -X71_bit7 -X71_bit8 -X71_bit9 -X71_bit10 -X71_bit11 -X71_bit12 -X72_bit_7 -X72_bit_6 -X72_bit_5 -X72_bit_4 -X72_bit_3 -X72_bit_2 -X72_bit_1 -X72_bit0 -X72_bit1 -X72_bit2 -X72_bit3 X72_bit4 -X72_bit5 -X72_bit6 -X72_bit7 -X72_bit8 -X72_bit9 -X72_bit10 -X72_bit11 -X72_bit12 -X73_bit_7 -X73_bit_6 -X73_bit_5 -X73_bit_4 -X73_bit_3 -X73_bit_2 -X73_bit_1 -X73_bit0 -X73_bit1 -X73_bit2 -X73_bit3 -X73_bit4 -X73_bit5 -X73_bit6 -X73_bit7 -X73_bit8 -X73_bit9 -X73_bit10 -X73_bit11 -X73_bit12 -X74_bit_7 -X74_bit_6 -X74_bit_5 -X74_bit_4 -X74_bit_3 -X74_bit_2 -X74_bit_1 -X74_bit0 -X74_bit1 -X74_bit2 -X74_bit3 -X74_bit4 -X74_bit5 -X74_bit6 -X74_bit7 -X74_bit8 -X74_bit9 -X74_bit10 -X74_bit11 -X74_bit12 -X75_bit_7 -X75_bit_6 -X75_bit_5 -X75_bit_4 -X75_bit_3 -X75_bit_2 -X75_bit_1 -X75_bit0 -X75_bit1 -X75_bit2 -X75_bit3 -X75_bit4 -X75_bit5 -X75_bit6 -X75_bit7 -X75_bit8 -X75_bit9 -X75_bit10 -X75_bit11 -X75_bit12 -X76_bit_7 -X76_bit_6 -X76_bit_5 -X76_bit_4 -X76_bit_3 -X76_bit_2 -X76_bit_1 -X76_bit0 -X76_bit1 -X76_bit2 -X76_bit3 -X76_bit4 -X76_bit5 -X76_bit6 -X76_bit7 -X76_bit8 -X76_bit9 -X76_bit10 -X76_bit11 -X76_bit12 -X77_bit_7 -X77_bit_6 -X77_bit_5 -X77_bit_4 -X77_bit_3 -X77_bit_2 -X77_bit_1 -X77_bit0 -X77_bit1 -X77_bit2 -X77_bit3 -X77_bit4 -X77_bit5 -X77_bit6 -X77_bit7 -X77_bit8 -X77_bit9 -X77_bit10 -X77_bit11 -X77_bit12 -X78_bit_7 -X78_bit_6 -X78_bit_5 -X78_bit_4 -X78_bit_3 -X78_bit_2 -X78_bit_1 -X78_bit0 -X78_bit1 -X78_bit2 -X78_bit3 -X78_bit4 -X78_bit5 -X78_bit6 -X78_bit7 -X78_bit8 -X78_bit9 -X78_bit10 -X78_bit11 -X78_bit12 -X79_bit_7 -X79_bit_6 -X79_bit_5 -X79_bit_4 -X79_bit_3 -X79_bit_2 -X79_bit_1 -X79_bit0 -X79_bit1 -X79_bit2 -X79_bit3 -X79_bit4 -X79_bit5 -X79_bit6 -X79_bit7 -X79_bit8 -X79_bit9 -X79_bit10 -X79_bit11 -X79_bit12 -X80_bit_7 -X80_bit_6 -X80_bit_5 -X80_bit_4 -X80_bit_3 -X80_bit_2 -X80_bit_1 -X80_bit0 -X80_bit1 -X80_bit2 -X80_bit3 -X80_bit4 -X80_bit5 -X80_bit6 -X80_bit7 -X80_bit8 -X80_bit9 -X80_bit10 -X80_bit11 -X80_bit12 -X81_bit_7 -X81_bit_6 -X81_bit_5 -X81_bit_4 -X81_bit_3 -X81_bit_2 -X81_bit_1 -X81_bit0 -X81_bit1 -X81_bit2 -X81_bit3 -X81_bit4 -X81_bit5 -X81_bit6 -X81_bit7 -X81_bit8 -X81_bit9 -X81_bit10 -X81_bit11 -X81_bit12 -X82_bit_7 -X82_bit_6 -X82_bit_5 -X82_bit_4 -X82_bit_3 -X82_bit_2 -X82_bit_1 -X82_bit0 -X82_bit1 -X82_bit2 -X82_bit3 -X82_bit4 -X82_bit5 -X82_bit6 -X82_bit7 -X82_bit8 -X82_bit9 -X82_bit10 -X82_bit11 -X82_bit12 -X83_bit_7 -X83_bit_6 -X83_bit_5 -X83_bit_4 -X83_bit_3 -X83_bit_2 -X83_bit_1 -X83_bit0 -X83_bit1 X83_bit2 -X83_bit3 -X83_bit4 -X83_bit5 -X83_bit6 -X83_bit7 -X83_bit8 -X83_bit9 -X83_bit10 -X83_bit11 -X83_bit12 -X84_bit_7 -X84_bit_6 -X84_bit_5 -X84_bit_4 -X84_bit_3 -X84_bit_2 -X84_bit_1 X84_bit0 -X84_bit1 -X84_bit2 -X84_bit3 -X84_bit4 -X84_bit5 -X84_bit6 -X84_bit7 -X84_bit8 -X84_bit9 -X84_bit10 -X84_bit11 -X84_bit12 -X85_bit_7 -X85_bit_6 -X85_bit_5 -X85_bit_4 -X85_bit_3 -X85_bit_2 -X85_bit_1 X85_bit0 -X85_bit1 -X85_bit2 -X85_bit3 -X85_bit4 -X85_bit5 -X85_bit6 -X85_bit7 -X85_bit8 -X85_bit9 -X85_bit10 -X85_bit11 -X85_bit12 -X86_bit_7 -X86_bit_6 -X86_bit_5 -X86_bit_4 -X86_bit_3 -X86_bit_2 -X86_bit_1 -X86_bit0 -X86_bit1 -X86_bit2 -X86_bit3 -X86_bit4 -X86_bit5 -X86_bit6 -X86_bit7 -X86_bit8 -X86_bit9 -X86_bit10 -X86_bit11 -X86_bit12 -X87_bit_7 -X87_bit_6 -X87_bit_5 -X87_bit_4 -X87_bit_3 -X87_bit_2 -X87_bit_1 -X87_bit0 -X87_bit1 -X87_bit2 -X87_bit3 -X87_bit4 -X87_bit5 -X87_bit6 -X87_bit7 -X87_bit8 -X87_bit9 -X87_bit10 -X87_bit11 -X87_bit12 -X88_bit_7 -X88_bit_6 -X88_bit_5 -X88_bit_4 -X88_bit_3 -X88_bit_2 -X88_bit_1 -X88_bit0 -X88_bit1 -X88_bit2 -X88_bit3 -X88_bit4 -X88_bit5 -X88_bit6 -X88_bit7 -X88_bit8 -X88_bit9 -X88_bit10 -X88_bit11 -X88_bit12 -X89_bit_7 -X89_bit_6 -X89_bit_5 -X89_bit_4 -X89_bit_3 -X89_bit_2 -X89_bit_1 -X89_bit0 -X89_bit1 -X89_bit2 -X89_bit3 -X89_bit4 -X89_bit5 -X89_bit6 -X89_bit7 -X89_bit8 -X89_bit9 -X89_bit10 -X89_bit11 -X89_bit12 -X90_bit_7 -X90_bit_6 -X90_bit_5 -X90_bit_4 -X90_bit_3 -X90_bit_2 -X90_bit_1 -X90_bit0 -X90_bit1 X90_bit2 -X90_bit3 -X90_bit4 -X90_bit5 -X90_bit6 -X90_bit7 -X90_bit8 -X90_bit9 -X90_bit10 -X90_bit11 -X90_bit12 -X91_bit_7 -X91_bit_6 -X91_bit_5 -X91_bit_4 -X91_bit_3 -X91_bit_2 -X91_bit_1 -X91_bit0 -X91_bit1 -X91_bit2 X91_bit3 -X91_bit4 -X91_bit5 -X91_bit6 -X91_bit7 -X91_bit8 -X91_bit9 -X91_bit10 -X91_bit11 -X91_bit12 -X92_bit_7 -X92_bit_6 -X92_bit_5 -X92_bit_4 -X92_bit_3 -X92_bit_2 -X92_bit_1 -X92_bit0 -X92_bit1 -X92_bit2 -X92_bit3 -X92_bit4 -X92_bit5 -X92_bit6 -X92_bit7 -X92_bit8 -X92_bit9 -X92_bit10 -X92_bit11 -X92_bit12 -X93_bit_7 -X93_bit_6 -X93_bit_5 -X93_bit_4 -X93_bit_3 -X93_bit_2 -X93_bit_1 X93_bit0 X93_bit1 -X93_bit2 -X93_bit3 -X93_bit4 -X93_bit5 -X93_bit6 -X93_bit7 -X93_bit8 -X93_bit9 -X93_bit10 -X93_bit11 -X93_bit12 -X94_bit_7 -X94_bit_6 -X94_bit_5 -X94_bit_4 -X94_bit_3 -X94_bit_2 -X94_bit_1 -X94_bit0 -X94_bit1 -X94_bit2 -X94_bit3 -X94_bit4 -X94_bit5 -X94_bit6 -X94_bit7 -X94_bit8 -X94_bit9 -X94_bit10 -X94_bit11 -X94_bit12 -X95_bit_7 -X95_bit_6 -X95_bit_5 -X95_bit_4 -X95_bit_3 -X95_bit_2 -X95_bit_1 -X95_bit0 -X95_bit1 -X95_bit2 -X95_bit3 -X95_bit4 -X95_bit5 -X95_bit6 -X95_bit7 -X95_bit8 -X95_bit9 -X95_bit10 -X95_bit11 -X95_bit12 -X96_bit_7 -X96_bit_6 -X96_bit_5 -X96_bit_4 -X96_bit_3 -X96_bit_2 -X96_bit_1 -X96_bit0 -X96_bit1 -X96_bit2 -X96_bit3 -X96_bit4 -X96_bit5 -X96_bit6 -X96_bit7 -X96_bit8 -X96_bit9 -X96_bit10 -X96_bit11 -X96_bit12 -X97_bit_7 -X97_bit_6 -X97_bit_5 -X97_bit_4 -X97_bit_3 -X97_bit_2 -X97_bit_1 -X97_bit0 -X97_bit1 -X97_bit2 -X97_bit3 -X97_bit4 -X97_bit5 -X97_bit6 -X97_bit7 -X97_bit8 -X97_bit9 -X97_bit10 -X97_bit11 -X97_bit12 -X98_bit_7 -X98_bit_6 -X98_bit_5 -X98_bit_4 -X98_bit_3 -X98_bit_2 -X98_bit_1 -X98_bit0 -X98_bit1 -X98_bit2 -X98_bit3 -X98_bit4 -X98_bit5 -X98_bit6 -X98_bit7 -X98_bit8 -X98_bit9 -X98_bit10 -X98_bit11 -X98_bit12 -X99_bit_7 -X99_bit_6 -X99_bit_5 -X99_bit_4 -X99_bit_3 -X99_bit_2 -X99_bit_1 -X99_bit0 -X99_bit1 -X99_bit2 -X99_bit3 -X99_bit4 -X99_bit5 -X99_bit6 -X99_bit7 -X99_bit8 -X99_bit9 -X99_bit10 -X99_bit11 -X99_bit12 -Y0_bit0 -Y1_bit0 -Y2_bit0 -Y3_bit0 -Y4_bit0 -Y5_bit0 -Y6_bit0 -Y7_bit0 -Y8_bit0 Y9_bit0 -Y10_bit0 -Y11_bit0 -Y12_bit0 -Y13_bit0 -Y14_bit0 -Y15_bit0 -Y16_bit0 -Y17_bit0 -Y18_bit0 Y19_bit0 -Y20_bit0 -Y21_bit0 -Y22_bit0 -Y23_bit0 -Y24_bit0 -Y25_bit0 -Y26_bit0 -Y27_bit0 Y28_bit0 Y29_bit0 -Y30_bit0 -Y31_bit0 -Y32_bit0 -Y33_bit0 -Y34_bit0 -Y35_bit0 -Y36_bit0 -Y37_bit0 Y38_bit0 Y39_bit0 -Y40_bit0 -Y41_bit0 -Y42_bit0 -Y43_bit0 -Y44_bit0 -Y45_bit0 -Y46_bit0 Y47_bit0 Y48_bit0 Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 -Y53_bit0 Y54_bit0 -Y55_bit0 Y56_bit0 -Y57_bit0 -Y58_bit0 -Y59_bit0 -Y60_bit0 -Y61_bit0 -Y62_bit0 Y63_bit0 Y64_bit0 Y65_bit0 -Y66_bit0 -Y67_bit0 -Y68_bit0 -Y69_bit0 -Y70_bit0 -Y71_bit0 Y72_bit0 -Y73_bit0 -Y74_bit0 -Y75_bit0 -Y76_bit0 -Y77_bit0 -Y78_bit0 -Y79_bit0 -Y80_bit0 -Y81_bit0 -Y82_bit0 Y83_bit0 Y84_bit0 Y85_bit0 -Y86_bit0 -Y87_bit0 -Y88_bit0 -Y89_bit0 Y90_bit0 Y91_bit0 -Y92_bit0 Y93_bit0 -Y94_bit0 -Y95_bit0 -Y96_bit0 -Y97_bit0 -Y98_bit0 -Y99_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.93 2/54 27684
Raw data (stat): 27684 (runsolver) R 27683 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832210817 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 884 0 0 0 996 2 0 0 25 0 1 0 832210817 9314304 862 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2274 862 566 18 0 2256 0
vsize: 9096
[startup+19.9998 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1025 0 0 0 1995 3 0 0 25 0 1 0 832210817 9969664 1003 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2434 1003 566 18 0 2416 0
vsize: 9736
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1034 0 0 0 2994 5 0 0 25 0 1 0 832210817 9969664 1012 4294967295 134512640 134581331 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2434 1012 566 18 0 2416 0
vsize: 9736
[startup+40.0002 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1034 0 0 0 3993 6 0 0 25 0 1 0 832210817 9969664 1012 4294967295 134512640 134581331 3221224592 3221223484 134560192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2434 1012 566 18 0 2416 0
vsize: 9736
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1034 0 0 0 4991 8 0 0 25 0 1 0 832210817 9969664 1012 4294967295 134512640 134581331 3221224592 3221223456 134528248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2434 1012 566 18 0 2416 0
vsize: 9736
[startup+60.0009 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1214 0 0 0 5988 11 0 0 25 0 1 0 832210817 10678272 1192 4294967295 134512640 134581331 3221224592 3221223376 134528824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2607 1192 566 18 0 2589 0
vsize: 10428
[startup+70.0003 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1312 0 0 0 6986 13 0 0 25 0 1 0 832210817 11042816 1290 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2696 1290 566 18 0 2678 0
vsize: 10784
[startup+80.001 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1312 0 0 0 7985 14 0 0 25 0 1 0 832210817 11042816 1290 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2696 1290 566 18 0 2678 0
vsize: 10784
[startup+90.0009 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1339 0 0 0 8985 15 0 0 25 0 1 0 832210817 11161600 1317 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2725 1317 566 18 0 2707 0
vsize: 10900
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1339 0 0 0 9984 16 0 0 25 0 1 0 832210817 11161600 1317 4294967295 134512640 134581331 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2725 1317 566 18 0 2707 0
vsize: 10900
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1389 0 0 0 10984 16 0 0 25 0 1 0 832210817 11415552 1367 4294967295 134512640 134581331 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2787 1367 566 18 0 2769 0
vsize: 11148
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1405 0 0 0 11982 18 0 0 25 0 1 0 832210817 11530240 1383 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2815 1383 566 18 0 2797 0
vsize: 11260
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1405 0 0 0 12980 20 0 0 25 0 1 0 832210817 11526144 1383 4294967295 134512640 134581331 3221224592 3221223456 134528334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2814 1383 566 18 0 2796 0
vsize: 11256
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1405 0 0 0 13979 21 0 0 25 0 1 0 832210817 11522048 1383 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2813 1383 566 18 0 2795 0
vsize: 11252
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1418 0 0 0 14979 22 0 0 25 0 1 0 832210817 11522048 1396 4294967295 134512640 134581331 3221224592 3221223288 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2813 1396 566 18 0 2795 0
vsize: 11252
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1424 0 0 0 15977 24 0 0 25 0 1 0 832210817 11522048 1402 4294967295 134512640 134581331 3221224592 3221223456 134526928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2813 1402 566 18 0 2795 0
vsize: 11252
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1424 0 0 0 16976 25 0 0 25 0 1 0 832210817 11522048 1402 4294967295 134512640 134581331 3221224592 3221223536 134558904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2813 1402 566 18 0 2795 0
vsize: 11252
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1424 0 0 0 17975 27 0 0 25 0 1 0 832210817 11522048 1402 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2813 1402 566 18 0 2795 0
vsize: 11252
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1424 0 0 0 18974 28 0 0 25 0 1 0 832210817 11522048 1402 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2813 1402 566 18 0 2795 0
vsize: 11252
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1546 0 0 0 19973 29 0 0 25 0 1 0 832210817 12013568 1524 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2933 1524 566 18 0 2915 0
vsize: 11732
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1551 0 0 0 20972 30 0 0 25 0 1 0 832210817 12144640 1529 4294967295 134512640 134581331 3221224592 3221223536 134558842 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2965 1529 566 18 0 2947 0
vsize: 11860
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1556 0 0 0 21971 31 0 0 25 0 1 0 832210817 12144640 1534 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2965 1534 566 18 0 2947 0
vsize: 11860
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1556 0 0 0 22970 32 0 0 25 0 1 0 832210817 12107776 1534 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2956 1534 566 18 0 2938 0
vsize: 11824
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27684
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1556 0 0 0 23969 33 0 0 25 0 1 0 832210817 12021760 1529 4294967295 134512640 134581331 3221224592 3221223456 134528342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2935 1529 566 18 0 2917 0
vsize: 11740
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.93 4/58 27718
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1556 0 0 0 24968 34 0 0 25 0 1 0 832210817 12021760 1529 4294967295 134512640 134581331 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2935 1529 566 18 0 2917 0
vsize: 11740
[startup+260.003 s]
Raw data (loadavg): 1.07 0.99 0.94 2/54 27737
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1556 0 0 0 25967 36 0 0 25 0 1 0 832210817 12021760 1529 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2935 1529 566 18 0 2917 0
vsize: 11740
[startup+270.002 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 27737
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1556 0 0 0 26966 36 0 0 25 0 1 0 832210817 12013568 1527 4294967295 134512640 134581331 3221224592 3221223504 134527687 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2933 1527 566 18 0 2915 0
vsize: 11732
[startup+280.003 s]
Raw data (loadavg): 1.05 0.99 0.94 2/54 27737
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1556 0 0 0 27966 37 0 0 25 0 1 0 832210817 12013568 1527 4294967295 134512640 134581331 3221224592 3221223504 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2933 1527 566 18 0 2915 0
vsize: 11732
[startup+290.003 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 27737
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1556 0 0 0 28965 38 0 0 25 0 1 0 832210817 12013568 1527 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2933 1527 566 18 0 2915 0
vsize: 11732
[startup+300.003 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 27737
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1715 0 0 0 29964 39 0 0 25 0 1 0 832210817 12791808 1686 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3123 1686 566 18 0 3105 0
vsize: 12492
[startup+310.003 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 27737
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1715 0 0 0 30964 40 0 0 25 0 1 0 832210817 12722176 1686 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3106 1686 566 18 0 3088 0
vsize: 12424
[startup+320.003 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1715 0 0 0 31963 41 0 0 25 0 1 0 832210817 12722176 1686 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3106 1686 566 18 0 3088 0
vsize: 12424
[startup+330.003 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1715 0 0 0 32962 42 0 0 25 0 1 0 832210817 12722176 1686 4294967295 134512640 134581331 3221224592 3221223456 134528331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3106 1686 566 18 0 3088 0
vsize: 12424
[startup+340.003 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1715 0 0 0 33962 42 0 0 25 0 1 0 832210817 12722176 1686 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3106 1686 566 18 0 3088 0
vsize: 12424
[startup+350.003 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1744 0 0 0 34961 43 0 0 25 0 1 0 832210817 12836864 1715 4294967295 134512640 134581331 3221224592 3221223456 134528275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1715 566 18 0 3116 0
vsize: 12536
[startup+360.004 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1744 0 0 0 35960 44 0 0 25 0 1 0 832210817 12836864 1715 4294967295 134512640 134581331 3221224592 3221223504 134531401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1715 566 18 0 3116 0
vsize: 12536
[startup+370.003 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1744 0 0 0 36960 45 0 0 25 0 1 0 832210817 12836864 1715 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1715 566 18 0 3116 0
vsize: 12536
[startup+380.003 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1744 0 0 0 37959 46 0 0 25 0 1 0 832210817 12836864 1715 4294967295 134512640 134581331 3221224592 3221223504 134527783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1715 566 18 0 3116 0
vsize: 12536
[startup+390.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1773 0 0 0 38959 46 0 0 25 0 1 0 832210817 12967936 1744 4294967295 134512640 134581331 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3166 1744 566 18 0 3148 0
vsize: 12664
[startup+400.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1807 0 0 0 39958 47 0 0 25 0 1 0 832210817 13099008 1778 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3198 1778 566 18 0 3180 0
vsize: 12792
[startup+410.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1807 0 0 0 40957 48 0 0 25 0 1 0 832210817 13094912 1778 4294967295 134512640 134581331 3221224592 3221223648 134555819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3197 1778 566 18 0 3179 0
vsize: 12788
[startup+420.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1807 0 0 0 41956 49 0 0 25 0 1 0 832210817 13012992 1770 4294967295 134512640 134581331 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3177 1770 566 18 0 3159 0
vsize: 12708
[startup+430.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1807 0 0 0 42956 50 0 0 25 0 1 0 832210817 13012992 1770 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3177 1770 566 18 0 3159 0
vsize: 12708
[startup+440.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1807 0 0 0 43955 50 0 0 25 0 1 0 832210817 13012992 1770 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3177 1770 566 18 0 3159 0
vsize: 12708
[startup+450.004 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1807 0 0 0 44955 51 0 0 25 0 1 0 832210817 13012992 1770 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3177 1770 566 18 0 3159 0
vsize: 12708
[startup+460.004 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1807 0 0 0 45954 52 0 0 25 0 1 0 832210817 13012992 1770 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3177 1770 566 18 0 3159 0
vsize: 12708
[startup+470.004 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1807 0 0 0 46954 52 0 0 25 0 1 0 832210817 13012992 1770 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3177 1770 566 18 0 3159 0
vsize: 12708
[startup+480.004 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1831 0 0 0 47954 53 0 0 25 0 1 0 832210817 13144064 1794 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3209 1794 566 18 0 3191 0
vsize: 12836
[startup+490.004 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1831 0 0 0 48954 53 0 0 25 0 1 0 832210817 13144064 1794 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3209 1794 566 18 0 3191 0
vsize: 12836
[startup+500.004 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1831 0 0 0 49953 53 0 0 25 0 1 0 832210817 13135872 1794 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3207 1794 566 18 0 3189 0
vsize: 12828
[startup+510.004 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1831 0 0 0 50953 54 0 0 25 0 1 0 832210817 13135872 1794 4294967295 134512640 134581331 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3207 1794 566 18 0 3189 0
vsize: 12828
[startup+520.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1842 0 0 0 51952 55 0 0 25 0 1 0 832210817 13189120 1792 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3220 1792 566 18 0 3202 0
vsize: 12880
[startup+530.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1842 0 0 0 52952 55 0 0 25 0 1 0 832210817 13189120 1792 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3220 1792 566 18 0 3202 0
vsize: 12880
[startup+540.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1842 0 0 0 53951 56 0 0 25 0 1 0 832210817 13189120 1792 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3220 1792 566 18 0 3202 0
vsize: 12880
[startup+550.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1842 0 0 0 54950 57 0 0 25 0 1 0 832210817 13189120 1792 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3220 1792 566 18 0 3202 0
vsize: 12880
[startup+560.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1855 0 0 0 55950 58 0 0 25 0 1 0 832210817 13189120 1805 4294967295 134512640 134581331 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3220 1805 566 18 0 3202 0
vsize: 12880
[startup+570.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1855 0 0 0 56949 58 0 0 25 0 1 0 832210817 13189120 1805 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3220 1805 566 18 0 3202 0
vsize: 12880
[startup+580.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 1905 0 0 0 57949 58 0 0 25 0 1 0 832210817 13447168 1855 4294967295 134512640 134581331 3221224592 3221223456 134528287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3283 1855 566 18 0 3265 0
vsize: 13132
[startup+590.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27739
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2041 0 0 0 58949 59 0 0 25 0 1 0 832210817 13950976 1991 4294967295 134512640 134581331 3221224592 3221223456 134528248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3406 1991 566 18 0 3388 0
vsize: 13624
[startup+600.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2041 0 0 0 59948 60 0 0 25 0 1 0 832210817 13950976 1991 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3406 1991 566 18 0 3388 0
vsize: 13624
[startup+610.002 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2041 0 0 0 60948 60 0 0 25 0 1 0 832210817 13950976 1991 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3406 1991 566 18 0 3388 0
vsize: 13624
[startup+620.002 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2041 0 0 0 61948 61 0 0 25 0 1 0 832210817 13950976 1991 4294967295 134512640 134581331 3221224592 3221223536 134558835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3406 1991 566 18 0 3388 0
vsize: 13624
[startup+630.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2041 0 0 0 62947 62 0 0 25 0 1 0 832210817 13950976 1991 4294967295 134512640 134581331 3221224592 3221223504 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3406 1991 566 18 0 3388 0
vsize: 13624
[startup+640.002 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2041 0 0 0 63946 63 0 0 25 0 1 0 832210817 13950976 1991 4294967295 134512640 134581331 3221224592 3221223456 134528287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3406 1991 566 18 0 3388 0
vsize: 13624
[startup+650.002 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2041 0 0 0 64945 64 0 0 25 0 1 0 832210817 13950976 1991 4294967295 134512640 134581331 3221224592 3221223504 134527516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3406 1991 566 18 0 3388 0
vsize: 13624
[startup+660.002 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2160 0 0 0 65944 64 0 0 25 0 1 0 832210817 14450688 2110 4294967295 134512640 134581331 3221224592 3221223456 134528261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3528 2110 566 18 0 3510 0
vsize: 14112
[startup+670.001 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2160 0 0 0 66944 65 0 0 25 0 1 0 832210817 14450688 2110 4294967295 134512640 134581331 3221224592 3221223488 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3528 2110 566 18 0 3510 0
vsize: 14112
[startup+680.001 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2160 0 0 0 67943 66 0 0 25 0 1 0 832210817 14147584 2047 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3454 2047 566 18 0 3436 0
vsize: 13816
[startup+690.002 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2160 0 0 0 68942 67 0 0 25 0 1 0 832210817 14114816 2039 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3446 2039 566 18 0 3428 0
vsize: 13784
[startup+700.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2160 0 0 0 69942 68 0 0 25 0 1 0 832210817 14114816 2039 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3446 2039 566 18 0 3428 0
vsize: 13784
[startup+710.002 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2160 0 0 0 70941 69 0 0 25 0 1 0 832210817 14110720 2038 4294967295 134512640 134581331 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3445 2038 566 18 0 3427 0
vsize: 13780
[startup+720.002 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2160 0 0 0 71940 70 0 0 25 0 1 0 832210817 14106624 2037 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3444 2037 566 18 0 3426 0
vsize: 13776
[startup+730.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2160 0 0 0 72939 71 0 0 25 0 1 0 832210817 14106624 2037 4294967295 134512640 134581331 3221224592 3221223504 134527769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3444 2037 566 18 0 3426 0
vsize: 13776
[startup+740.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2285 0 0 0 73938 72 0 0 25 0 1 0 832210817 14725120 2162 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3595 2162 566 18 0 3577 0
vsize: 14380
[startup+750.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2285 0 0 0 74937 73 0 0 25 0 1 0 832210817 14725120 2162 4294967295 134512640 134581331 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3595 2162 566 18 0 3577 0
vsize: 14380
[startup+760.004 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2285 0 0 0 75937 74 0 0 25 0 1 0 832210817 14725120 2162 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3595 2162 566 18 0 3577 0
vsize: 14380
[startup+770.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2285 0 0 0 76937 74 0 0 25 0 1 0 832210817 14725120 2162 4294967295 134512640 134581331 3221224592 3221223476 134557925 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3595 2162 566 18 0 3577 0
vsize: 14380
[startup+780.003 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2285 0 0 0 77936 75 0 0 25 0 1 0 832210817 14725120 2162 4294967295 134512640 134581331 3221224592 3221223456 134528342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3595 2162 566 18 0 3577 0
vsize: 14380
[startup+790.004 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2285 0 0 0 78935 77 0 0 25 0 1 0 832210817 14725120 2162 4294967295 134512640 134581331 3221224592 3221223536 134558893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3595 2162 566 18 0 3577 0
vsize: 14380
[startup+800.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2285 0 0 0 79935 78 0 0 25 0 1 0 832210817 14725120 2162 4294967295 134512640 134581331 3221224592 3221223572 134560822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3595 2162 566 18 0 3577 0
vsize: 14380
[startup+810.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2285 0 0 0 80934 78 0 0 25 0 1 0 832210817 14725120 2162 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3595 2162 566 18 0 3577 0
vsize: 14380
[startup+820.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2365 0 0 0 81934 79 0 0 25 0 1 0 832210817 14995456 2242 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3661 2242 566 18 0 3643 0
vsize: 14644
[startup+830.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2365 0 0 0 82933 80 0 0 25 0 1 0 832210817 14995456 2242 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3661 2242 566 18 0 3643 0
vsize: 14644
[startup+840.012 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2365 0 0 0 83932 81 0 0 25 0 1 0 832210817 14995456 2242 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3661 2242 566 18 0 3643 0
vsize: 14644
[startup+850.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2365 0 0 0 84931 82 0 0 25 0 1 0 832210817 14995456 2242 4294967295 134512640 134581331 3221224592 3221223456 134528287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3661 2242 566 18 0 3643 0
vsize: 14644
[startup+860.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2366 0 0 0 85930 83 0 0 25 0 1 0 832210817 14995456 2243 4294967295 134512640 134581331 3221224592 3221223536 134558874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3661 2243 566 18 0 3643 0
vsize: 14644
[startup+870.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2366 0 0 0 86930 84 0 0 25 0 1 0 832210817 14995456 2243 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3661 2243 566 18 0 3643 0
vsize: 14644
[startup+880.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 87930 84 0 0 25 0 1 0 832210817 15126528 2255 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3693 2255 566 18 0 3675 0
vsize: 14772
[startup+890.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 88929 85 0 0 25 0 1 0 832210817 15081472 2255 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3682 2255 566 18 0 3664 0
vsize: 14728
[startup+900.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 89929 85 0 0 25 0 1 0 832210817 15069184 2255 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3679 2255 566 18 0 3661 0
vsize: 14716
[startup+910.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 90928 86 0 0 25 0 1 0 832210817 15060992 2255 4294967295 134512640 134581331 3221224592 3221223456 134528331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3677 2255 566 18 0 3659 0
vsize: 14708
[startup+920.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 91927 87 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223456 134528270 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+930.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 92927 88 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223456 134528350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+940.013 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 93926 89 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223456 134528261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+950.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 94926 89 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+960.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 95925 91 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+970.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 96923 92 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+980.014 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 97923 93 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+990.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 98923 94 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 99923 94 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 100923 94 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 101923 94 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 102922 94 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 103922 95 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 104922 95 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 105922 95 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 106922 95 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 107923 95 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223504 134527987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 108922 96 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223504 134527980 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 109922 96 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 110923 96 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 111923 96 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223456 134528267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 112923 96 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 113923 96 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223504 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 114923 97 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 115923 97 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 116923 97 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 117922 97 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 14684
[startup+1188.83 s]
Raw data (loadavg): 1.00 0.99 0.94 1/53 27741
Raw data (stat): 27684 (Pueblo) R 27683 24821 24820 0 -1 0 2378 0 0 0 117922 97 0 0 25 0 1 0 832210817 15036416 2255 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2255 566 18 0 3653 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189.01
CPU user time (s): 1188.02
CPU system time (s): 0.989849
CPU usage (%): 100.016
Max. virtual memory (Kb): 14772
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	398336
#### END VERIFIER DATA ####