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-ran10x10c.opb
MD5SUM	31a8734340f0544712ef974997c104b2
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2677632
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	515723936
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	4718592
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	515723936
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
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 25557

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        700560 kB
Buffers:         29748 kB
Cached:         283584 kB
SwapCached:       1168 kB
Active:         198628 kB
Inactive:       117116 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        700308 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12656 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 15:00:04 (client local time) WITH STATUS 10 IN 1189.03 SECONDS
stats: 19221 0 1189.03 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran10x10c.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): 1.06 1.00 1.00 2/55 32641
Raw data (stat): 32641 (runsolver) R 32640 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 796446801 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 932 0 0 0 991 5 0 0 25 0 1 0 796446801 9519104 909 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2324 909 566 18 0 2306 0
vsize: 9296
[startup+20.001 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1045 0 0 0 1989 8 0 0 25 0 1 0 796446801 10035200 1022 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2450 1022 566 18 0 2432 0
vsize: 9800
[startup+30.0019 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1045 0 0 0 2988 9 0 0 25 0 1 0 796446801 10035200 1022 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2450 1022 566 18 0 2432 0
vsize: 9800
[startup+40.0018 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1053 0 0 0 3986 10 0 0 25 0 1 0 796446801 10035200 1030 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2450 1030 566 18 0 2432 0
vsize: 9800
[startup+50.0028 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1250 0 0 0 4985 12 0 0 25 0 1 0 796446801 10797056 1227 4294967295 134512640 134581331 3221221792 3221220704 134527701 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2636 1227 566 18 0 2618 0
vsize: 10544
[startup+60.0027 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1250 0 0 0 5984 13 0 0 25 0 1 0 796446801 10797056 1227 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2636 1227 566 18 0 2618 0
vsize: 10544
[startup+70.0036 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1250 0 0 0 6984 13 0 0 25 0 1 0 796446801 10797056 1227 4294967295 134512640 134581331 3221221792 3221220704 134527720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2636 1227 566 18 0 2618 0
vsize: 10544
[startup+80.0046 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1250 0 0 0 7984 13 0 0 25 0 1 0 796446801 10797056 1227 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2636 1227 566 18 0 2618 0
vsize: 10544
[startup+90.0045 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1394 0 0 0 8983 15 0 0 25 0 1 0 796446801 11436032 1371 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2792 1371 566 18 0 2774 0
vsize: 11168
[startup+100.004 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1566 0 0 0 9981 16 0 0 25 0 1 0 796446801 12091392 1543 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2952 1543 566 18 0 2934 0
vsize: 11808
[startup+110.004 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1611 0 0 0 10980 18 0 0 25 0 1 0 796446801 12353536 1588 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1588 566 18 0 2998 0
vsize: 12064
[startup+120.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1611 0 0 0 11979 19 0 0 25 0 1 0 796446801 12353536 1588 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1588 566 18 0 2998 0
vsize: 12064
[startup+130.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1611 0 0 0 12978 20 0 0 25 0 1 0 796446801 12353536 1588 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3016 1588 566 18 0 2998 0
vsize: 12064
[startup+140.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1611 0 0 0 13977 22 0 0 25 0 1 0 796446801 12308480 1588 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3005 1588 566 18 0 2987 0
vsize: 12020
[startup+150.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1611 0 0 0 14975 23 0 0 25 0 1 0 796446801 12308480 1588 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3005 1588 566 18 0 2987 0
vsize: 12020
[startup+160.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1611 0 0 0 15974 24 0 0 25 0 1 0 796446801 12308480 1588 4294967295 134512640 134581331 3221221792 3221220656 134528378 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3005 1588 566 18 0 2987 0
vsize: 12020
[startup+170.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1611 0 0 0 16973 26 0 0 25 0 1 0 796446801 12308480 1588 4294967295 134512640 134581331 3221221792 3221220656 134528258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3005 1588 566 18 0 2987 0
vsize: 12020
[startup+180.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1611 0 0 0 17972 27 0 0 25 0 1 0 796446801 12308480 1588 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3005 1588 566 18 0 2987 0
vsize: 12020
[startup+190.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1611 0 0 0 18971 28 0 0 25 0 1 0 796446801 12308480 1588 4294967295 134512640 134581331 3221221792 3221220656 134528254 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3005 1588 566 18 0 2987 0
vsize: 12020
[startup+200.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1611 0 0 0 19970 30 0 0 25 0 1 0 796446801 12308480 1588 4294967295 134512640 134581331 3221221792 3221220704 134527703 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3005 1588 566 18 0 2987 0
vsize: 12020
[startup+210.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1611 0 0 0 20969 31 0 0 25 0 1 0 796446801 12308480 1588 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3005 1588 566 18 0 2987 0
vsize: 12020
[startup+220.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1611 0 0 0 21968 32 0 0 25 0 1 0 796446801 12308480 1588 4294967295 134512640 134581331 3221221792 3221220728 134559638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3005 1588 566 18 0 2987 0
vsize: 12020
[startup+230.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1611 0 0 0 22966 33 0 0 25 0 1 0 796446801 12308480 1588 4294967295 134512640 134581331 3221221792 3221220704 134527464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3005 1588 566 18 0 2987 0
vsize: 12020
[startup+240.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1611 0 0 0 23965 35 0 0 25 0 1 0 796446801 12308480 1588 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3005 1588 566 18 0 2987 0
vsize: 12020
[startup+250.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1611 0 0 0 24964 36 0 0 25 0 1 0 796446801 12308480 1588 4294967295 134512640 134581331 3221221792 3221220704 134527678 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1588 566 18 0 2987 0
vsize: 12020
[startup+260.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1612 0 0 0 25963 37 0 0 25 0 1 0 796446801 12308480 1589 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1589 566 18 0 2987 0
vsize: 12020
[startup+270.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1612 0 0 0 26962 38 0 0 25 0 1 0 796446801 12308480 1589 4294967295 134512640 134581331 3221221792 3221220656 134528336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1589 566 18 0 2987 0
vsize: 12020
[startup+280.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1612 0 0 0 27962 38 0 0 25 0 1 0 796446801 12308480 1589 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1589 566 18 0 2987 0
vsize: 12020
[startup+290.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1612 0 0 0 28961 39 0 0 25 0 1 0 796446801 12308480 1589 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1589 566 18 0 2987 0
vsize: 12020
[startup+300.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1612 0 0 0 29961 39 0 0 25 0 1 0 796446801 12308480 1589 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1589 566 18 0 2987 0
vsize: 12020
[startup+310.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1612 0 0 0 30961 40 0 0 25 0 1 0 796446801 12308480 1589 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1589 566 18 0 2987 0
vsize: 12020
[startup+320.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1612 0 0 0 31960 41 0 0 25 0 1 0 796446801 12308480 1589 4294967295 134512640 134581331 3221221792 3221220656 134528503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1589 566 18 0 2987 0
vsize: 12020
[startup+330.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1612 0 0 0 32959 42 0 0 25 0 1 0 796446801 12308480 1589 4294967295 134512640 134581331 3221221792 3221220656 134528334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1589 566 18 0 2987 0
vsize: 12020
[startup+340.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1612 0 0 0 33956 46 0 0 25 0 1 0 796446801 12308480 1589 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1589 566 18 0 2987 0
vsize: 12020
[startup+350.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1612 0 0 0 34953 48 0 0 25 0 1 0 796446801 12308480 1589 4294967295 134512640 134581331 3221221792 3221220656 134528281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3005 1589 566 18 0 2987 0
vsize: 12020
[startup+360.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1711 0 0 0 35953 49 0 0 25 0 1 0 796446801 12701696 1688 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3101 1688 566 18 0 3083 0
vsize: 12404
[startup+370.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1766 0 0 0 36952 50 0 0 25 0 1 0 796446801 12967936 1743 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3166 1743 566 18 0 3148 0
vsize: 12664
[startup+380.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1786 0 0 0 37951 51 0 0 25 0 1 0 796446801 13053952 1763 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3187 1763 566 18 0 3169 0
vsize: 12748
[startup+390.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1786 0 0 0 38950 52 0 0 25 0 1 0 796446801 13053952 1763 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3187 1763 566 18 0 3169 0
vsize: 12748
[startup+400.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1786 0 0 0 39950 52 0 0 25 0 1 0 796446801 13041664 1763 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3184 1763 566 18 0 3166 0
vsize: 12736
[startup+410.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1786 0 0 0 40949 54 0 0 25 0 1 0 796446801 13033472 1763 4294967295 134512640 134581331 3221221792 3221220656 134528342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3182 1763 566 18 0 3164 0
vsize: 12728
[startup+420.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1786 0 0 0 41948 54 0 0 25 0 1 0 796446801 13025280 1763 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3180 1763 566 18 0 3162 0
vsize: 12720
[startup+430.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1786 0 0 0 42947 55 0 0 25 0 1 0 796446801 13025280 1763 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3180 1763 566 18 0 3162 0
vsize: 12720
[startup+440.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1786 0 0 0 43947 56 0 0 25 0 1 0 796446801 13025280 1763 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3180 1763 566 18 0 3162 0
vsize: 12720
[startup+450.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1786 0 0 0 44944 59 0 0 25 0 1 0 796446801 13025280 1763 4294967295 134512640 134581331 3221221792 3221220704 134527975 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3180 1763 566 18 0 3162 0
vsize: 12720
[startup+460.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1786 0 0 0 45943 60 0 0 25 0 1 0 796446801 13025280 1763 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3180 1763 566 18 0 3162 0
vsize: 12720
[startup+470.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1786 0 0 0 46941 62 0 0 25 0 1 0 796446801 13025280 1763 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3180 1763 566 18 0 3162 0
vsize: 12720
[startup+480.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1786 0 0 0 47941 63 0 0 25 0 1 0 796446801 13025280 1763 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3180 1763 566 18 0 3162 0
vsize: 12720
[startup+490.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1786 0 0 0 48940 64 0 0 25 0 1 0 796446801 13025280 1763 4294967295 134512640 134581331 3221221792 3221220772 134561096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3180 1763 566 18 0 3162 0
vsize: 12720
[startup+500.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1786 0 0 0 49939 65 0 0 25 0 1 0 796446801 13025280 1763 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3180 1763 566 18 0 3162 0
vsize: 12720
[startup+510.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1786 0 0 0 50937 67 0 0 25 0 1 0 796446801 13025280 1763 4294967295 134512640 134581331 3221221792 3221220688 134517868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3180 1763 566 18 0 3162 0
vsize: 12720
[startup+520.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1786 0 0 0 51937 67 0 0 25 0 1 0 796446801 13025280 1763 4294967295 134512640 134581331 3221221792 3221220656 134528331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3180 1763 566 18 0 3162 0
vsize: 12720
[startup+530.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1786 0 0 0 52937 68 0 0 25 0 1 0 796446801 13025280 1763 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3180 1763 566 18 0 3162 0
vsize: 12720
[startup+540.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1786 0 0 0 53936 68 0 0 25 0 1 0 796446801 13025280 1763 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3180 1763 566 18 0 3162 0
vsize: 12720
[startup+550.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1786 0 0 0 54936 69 0 0 25 0 1 0 796446801 13025280 1763 4294967295 134512640 134581331 3221221792 3221220656 134528254 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3180 1763 566 18 0 3162 0
vsize: 12720
[startup+560.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1791 0 0 0 55936 69 0 0 25 0 1 0 796446801 13025280 1768 4294967295 134512640 134581331 3221221792 3221220656 134560497 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3180 1768 566 18 0 3162 0
vsize: 12720
[startup+570.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1822 0 0 0 56935 70 0 0 25 0 1 0 796446801 13156352 1799 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3212 1799 566 18 0 3194 0
vsize: 12848
[startup+580.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1830 0 0 0 57935 70 0 0 25 0 1 0 796446801 13271040 1807 4294967295 134512640 134581331 3221221792 3221220656 134528334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3240 1807 566 18 0 3222 0
vsize: 12960
[startup+590.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1830 0 0 0 58934 71 0 0 25 0 1 0 796446801 13217792 1807 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3227 1807 566 18 0 3209 0
vsize: 12908
[startup+600.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1830 0 0 0 59934 71 0 0 25 0 1 0 796446801 13180928 1807 4294967295 134512640 134581331 3221221792 3221220704 134527783 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3218 1807 566 18 0 3200 0
vsize: 12872
[startup+610.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1830 0 0 0 60934 72 0 0 25 0 1 0 796446801 13172736 1807 4294967295 134512640 134581331 3221221792 3221220656 134528287 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3216 1807 566 18 0 3198 0
vsize: 12864
[startup+620.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1830 0 0 0 61933 72 0 0 25 0 1 0 796446801 13172736 1807 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3216 1807 566 18 0 3198 0
vsize: 12864
[startup+630.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1830 0 0 0 62933 72 0 0 25 0 1 0 796446801 13168640 1807 4294967295 134512640 134581331 3221221792 3221220656 134528336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3215 1807 566 18 0 3197 0
vsize: 12860
[startup+640.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1830 0 0 0 63932 74 0 0 25 0 1 0 796446801 13152256 1805 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3211 1805 566 18 0 3193 0
vsize: 12844
[startup+650.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1830 0 0 0 64932 74 0 0 25 0 1 0 796446801 13152256 1805 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3211 1805 566 18 0 3193 0
vsize: 12844
[startup+660.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 1845 0 0 0 65931 75 0 0 25 0 1 0 796446801 13283328 1820 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3243 1820 566 18 0 3225 0
vsize: 12972
[startup+670.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2105 0 0 0 66931 76 0 0 25 0 1 0 796446801 14319616 2080 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3496 2080 566 18 0 3478 0
vsize: 13984
[startup+680.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2140 0 0 0 67931 76 0 0 25 0 1 0 796446801 14434304 2115 4294967295 134512640 134581331 3221221792 3221220704 134527778 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3524 2115 566 18 0 3506 0
vsize: 14096
[startup+690.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2147 0 0 0 68931 76 0 0 25 0 1 0 796446801 14561280 2122 4294967295 134512640 134581331 3221221792 3221220688 134517528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3555 2122 566 18 0 3537 0
vsize: 14220
[startup+700.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2147 0 0 0 69931 76 0 0 25 0 1 0 796446801 14561280 2122 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3555 2122 566 18 0 3537 0
vsize: 14220
[startup+710.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2147 0 0 0 70931 77 0 0 25 0 1 0 796446801 14561280 2122 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3555 2122 566 18 0 3537 0
vsize: 14220
[startup+720.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2147 0 0 0 71930 77 0 0 25 0 1 0 796446801 14512128 2122 4294967295 134512640 134581331 3221221792 3221220656 134528347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3543 2122 566 18 0 3525 0
vsize: 14172
[startup+730.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2147 0 0 0 72930 78 0 0 25 0 1 0 796446801 14512128 2122 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3543 2122 566 18 0 3525 0
vsize: 14172
[startup+740.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2147 0 0 0 73929 79 0 0 25 0 1 0 796446801 14508032 2122 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3542 2122 566 18 0 3524 0
vsize: 14168
[startup+750.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2147 0 0 0 74928 80 0 0 25 0 1 0 796446801 14508032 2122 4294967295 134512640 134581331 3221221792 3221220704 134527712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3542 2122 566 18 0 3524 0
vsize: 14168
[startup+760.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2147 0 0 0 75928 80 0 0 25 0 1 0 796446801 14508032 2122 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3542 2122 566 18 0 3524 0
vsize: 14168
[startup+770.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2147 0 0 0 76927 81 0 0 25 0 1 0 796446801 14508032 2122 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3542 2122 566 18 0 3524 0
vsize: 14168
[startup+780.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2147 0 0 0 77926 82 0 0 25 0 1 0 796446801 14508032 2122 4294967295 134512640 134581331 3221221792 3221220656 134528248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3542 2122 566 18 0 3524 0
vsize: 14168
[startup+790.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2147 0 0 0 78926 83 0 0 25 0 1 0 796446801 14508032 2122 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3542 2122 566 18 0 3524 0
vsize: 14168
[startup+800.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 79925 84 0 0 25 0 1 0 796446801 15413248 2353 4294967295 134512640 134581331 3221221792 3221220704 134527769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3763 2353 566 18 0 3745 0
vsize: 15052
[startup+810.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 80923 85 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+820.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 81923 86 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220576 134528822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+830.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 82922 88 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+840.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 83921 88 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220400 134566422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+850.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 84920 89 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220736 134558822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+860.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 85920 90 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+870.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 86919 90 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220656 134528532 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+880.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 87919 91 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+890.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 88918 92 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220488 1075291632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+900.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 89917 93 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220704 134527416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+910.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 90916 94 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+920.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 91915 95 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+930.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 92915 96 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+940.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 93914 96 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220736 134558933 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+950.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 94914 97 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+960.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 95912 99 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+970.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 96911 100 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+980.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 97911 101 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220688 134517615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+990.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 98910 101 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220704 134527457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 99910 102 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 100909 103 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220384 1075290900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 101908 104 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 102907 105 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 103907 106 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220704 134527636 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 104906 107 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 105905 107 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 106905 108 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220656 134528272 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 107904 109 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220576 134528785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 108903 110 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 109902 111 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 110901 112 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 111900 113 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 112899 115 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220736 134558806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 113898 116 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 114898 116 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 115897 117 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220428 1075288351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 116896 118 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220636 134528557 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 117895 120 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 14700
[startup+1189.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 32641
Raw data (stat): 32641 (Pueblo) R 32640 7876 7672 0 -1 0 2378 0 0 0 117895 120 0 0 25 0 1 0 796446801 15052800 2269 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2269 566 18 0 3657 0
vsize: 0

Child status: 10
Real time (s): 1189.09
CPU time (s): 1189.03
CPU user time (s): 1187.81
CPU system time (s): 1.22181
CPU usage (%): 99.9949
Max. virtual memory (Kb): 15052
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	2862812
#### END VERIFIER DATA ####