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-ran10x10b.opb
MD5SUM	c76102ddcf7f5ab3b2677033d320eaa3
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	756736
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	502612132
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	502612132
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	422.405
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 26898

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        923580 kB
Buffers:         33928 kB
Cached:          45684 kB
SwapCached:         84 kB
Active:          23392 kB
Inactive:        68820 kB
HighTotal:      131008 kB
HighFree:        81760 kB
LowTotal:       903652 kB
LowFree:        841820 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:             960 kB
Writeback:           0 kB
Mapped:           6876 kB
Slab:            13168 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:10:39 (client local time) WITH STATUS 10 IN 1189.05 SECONDS
stats: 19208 0 1189.05 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-ran10x10b.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.85 0.95 0.90 2/54 29204
Raw data (stat): 29204 (runsolver) R 29203 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773948680 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+9.99998 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 783 0 0 0 994 4 0 0 25 0 1 0 773948680 8888320 761 4294967295 134512640 134581331 3221224592 3221223536 134558956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2170 761 566 18 0 2152 0
vsize: 8680
[startup+20.0008 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 788 0 0 0 1990 8 0 0 25 0 1 0 773948680 9003008 766 4294967295 134512640 134581331 3221224592 3221223476 134560196 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2198 766 566 18 0 2180 0
vsize: 8792
[startup+30.0014 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 922 0 0 0 2988 11 0 0 25 0 1 0 773948680 9498624 900 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2319 900 566 18 0 2301 0
vsize: 9276
[startup+40.0021 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 990 0 0 0 3986 13 0 0 25 0 1 0 773948680 9752576 968 4294967295 134512640 134581331 3221224592 3221223456 134528323 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2381 968 566 18 0 2363 0
vsize: 9524
[startup+50.0029 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 996 0 0 0 4985 14 0 0 25 0 1 0 773948680 9752576 974 4294967295 134512640 134581331 3221224592 3221223456 134528281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2381 974 566 18 0 2363 0
vsize: 9524
[startup+60.0027 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1030 0 0 0 5984 15 0 0 25 0 1 0 773948680 9990144 1008 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2439 1008 566 18 0 2421 0
vsize: 9756
[startup+70.0035 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1057 0 0 0 6984 16 0 0 25 0 1 0 773948680 10108928 1035 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2468 1035 566 18 0 2450 0
vsize: 9872
[startup+80.0033 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1152 0 0 0 7983 17 0 0 25 0 1 0 773948680 10510336 1130 4294967295 134512640 134581331 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2566 1130 566 18 0 2548 0
vsize: 10264
[startup+90.0031 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1181 0 0 0 8982 18 0 0 25 0 1 0 773948680 10510336 1159 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2566 1159 566 18 0 2548 0
vsize: 10264
[startup+100.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1213 0 0 0 9980 20 0 0 25 0 1 0 773948680 10641408 1191 4294967295 134512640 134581331 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2598 1191 566 18 0 2580 0
vsize: 10392
[startup+110.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1242 0 0 0 10979 21 0 0 25 0 1 0 773948680 10760192 1220 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2627 1220 566 18 0 2609 0
vsize: 10508
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1242 0 0 0 11979 21 0 0 25 0 1 0 773948680 10760192 1220 4294967295 134512640 134581331 3221224592 3221223488 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2627 1220 566 18 0 2609 0
vsize: 10508
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1299 0 0 0 12979 22 0 0 25 0 1 0 773948680 10997760 1277 4294967295 134512640 134581331 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2685 1277 566 18 0 2667 0
vsize: 10740
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1351 0 0 0 13978 22 0 0 25 0 1 0 773948680 11264000 1329 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2750 1329 566 18 0 2732 0
vsize: 11000
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1421 0 0 0 14978 23 0 0 25 0 1 0 773948680 11526144 1399 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2814 1399 566 18 0 2796 0
vsize: 11256
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1512 0 0 0 15978 23 0 0 25 0 1 0 773948680 11919360 1490 4294967295 134512640 134581331 3221224592 3221223456 134528254 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 1490 566 18 0 2892 0
vsize: 11640
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1512 0 0 0 16977 24 0 0 25 0 1 0 773948680 11919360 1490 4294967295 134512640 134581331 3221224592 3221223504 134527769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 1490 566 18 0 2892 0
vsize: 11640
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1512 0 0 0 17975 26 0 0 25 0 1 0 773948680 11919360 1490 4294967295 134512640 134581331 3221224592 3221223456 134528248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 1490 566 18 0 2892 0
vsize: 11640
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1512 0 0 0 18974 27 0 0 25 0 1 0 773948680 11919360 1490 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 1490 566 18 0 2892 0
vsize: 11640
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1512 0 0 0 19973 28 0 0 25 0 1 0 773948680 11919360 1490 4294967295 134512640 134581331 3221224592 3221223504 134528085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 1490 566 18 0 2892 0
vsize: 11640
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1512 0 0 0 20973 29 0 0 25 0 1 0 773948680 11919360 1490 4294967295 134512640 134581331 3221224592 3221223504 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 1490 566 18 0 2892 0
vsize: 11640
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1512 0 0 0 21973 30 0 0 25 0 1 0 773948680 11919360 1490 4294967295 134512640 134581331 3221224592 3221223552 134519781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 1490 566 18 0 2892 0
vsize: 11640
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1551 0 0 0 22972 30 0 0 25 0 1 0 773948680 12050432 1529 4294967295 134512640 134581331 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2942 1529 566 18 0 2924 0
vsize: 11768
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1566 0 0 0 23971 32 0 0 25 0 1 0 773948680 12185600 1544 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2975 1544 566 18 0 2957 0
vsize: 11900
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1566 0 0 0 24970 33 0 0 25 0 1 0 773948680 12185600 1544 4294967295 134512640 134581331 3221224592 3221223376 134528763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2975 1544 566 18 0 2957 0
vsize: 11900
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1566 0 0 0 25969 34 0 0 25 0 1 0 773948680 12083200 1544 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2950 1544 566 18 0 2932 0
vsize: 11800
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1566 0 0 0 26968 35 0 0 25 0 1 0 773948680 12083200 1544 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2950 1544 566 18 0 2932 0
vsize: 11800
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1566 0 0 0 27967 36 0 0 25 0 1 0 773948680 12083200 1544 4294967295 134512640 134581331 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2950 1544 566 18 0 2932 0
vsize: 11800
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1566 0 0 0 28967 36 0 0 25 0 1 0 773948680 12083200 1544 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2950 1544 566 18 0 2932 0
vsize: 11800
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1566 0 0 0 29966 38 0 0 25 0 1 0 773948680 12083200 1544 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2950 1544 566 18 0 2932 0
vsize: 11800
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1566 0 0 0 30964 39 0 0 25 0 1 0 773948680 12083200 1544 4294967295 134512640 134581331 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2950 1544 566 18 0 2932 0
vsize: 11800
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1566 0 0 0 31963 41 0 0 25 0 1 0 773948680 12083200 1544 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2950 1544 566 18 0 2932 0
vsize: 11800
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1566 0 0 0 32963 41 0 0 25 0 1 0 773948680 12083200 1544 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2950 1544 566 18 0 2932 0
vsize: 11800
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1583 0 0 0 33963 42 0 0 25 0 1 0 773948680 12218368 1561 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2983 1561 566 18 0 2965 0
vsize: 11932
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1658 0 0 0 34963 42 0 0 25 0 1 0 773948680 12484608 1636 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3048 1636 566 18 0 3030 0
vsize: 12192
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 35964 42 0 0 25 0 1 0 773948680 12615680 1663 4294967295 134512640 134581331 3221224592 3221223504 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3080 1663 566 18 0 3062 0
vsize: 12320
[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 36964 43 0 0 25 0 1 0 773948680 12615680 1663 4294967295 134512640 134581331 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3080 1663 566 18 0 3062 0
vsize: 12320
[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 37964 43 0 0 25 0 1 0 773948680 12615680 1663 4294967295 134512640 134581331 3221224592 3221223456 134528372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3080 1663 566 18 0 3062 0
vsize: 12320
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 38963 44 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223504 134527778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 39962 45 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 40962 46 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223504 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 41961 46 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 42961 47 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223504 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 43960 48 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 44960 48 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 45960 48 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223504 134527772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 46960 49 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 47960 49 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+490.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 48959 50 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+500.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 49959 50 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 50959 51 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223504 134527783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 51958 51 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 52958 52 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223456 134560506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 53958 52 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223456 134528275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29204
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 54957 53 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+560.027 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 29257
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 55956 54 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223504 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+570.028 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 29257
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 56956 54 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+580.028 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 29257
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 57955 55 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+590.028 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 29257
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 58955 55 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+600.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 29257
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1685 0 0 0 59955 55 0 0 25 0 1 0 773948680 12558336 1660 4294967295 134512640 134581331 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3066 1660 566 18 0 3048 0
vsize: 12264
[startup+610.029 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 29257
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 60955 56 0 0 25 0 1 0 773948680 13062144 1754 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3189 1754 566 18 0 3171 0
vsize: 12756
[startup+620.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 61954 57 0 0 25 0 1 0 773948680 12992512 1754 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3172 1754 566 18 0 3154 0
vsize: 12688
[startup+630.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 62954 57 0 0 25 0 1 0 773948680 12967936 1754 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3166 1754 566 18 0 3148 0
vsize: 12664
[startup+640.031 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 63954 58 0 0 25 0 1 0 773948680 12836864 1728 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3134 1728 566 18 0 3116 0
vsize: 12536
[startup+650.031 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 64954 58 0 0 25 0 1 0 773948680 12689408 1692 4294967295 134512640 134581331 3221224592 3221223504 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3098 1692 566 18 0 3080 0
vsize: 12392
[startup+660.032 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 65954 58 0 0 25 0 1 0 773948680 12685312 1691 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3097 1691 566 18 0 3079 0
vsize: 12388
[startup+670.032 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 66954 59 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+680.031 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 67952 60 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+690.033 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 68953 60 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223456 134528287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+700.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 69952 61 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223456 134528261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+710.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 70952 61 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+720.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 71951 62 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223456 134527160 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+730.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 72951 62 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+740.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 73951 63 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+750.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 74950 63 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+760.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 75948 66 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+770.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 76946 68 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+780.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 77943 71 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223456 134528270 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+790.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 78941 74 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+800.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 79939 76 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+810.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 80937 78 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223308 1075288830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+820.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 81935 80 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+830.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 82933 82 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+840.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 83930 86 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+850.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29259
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 84928 88 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+860.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 85925 91 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+870.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 86923 93 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+880.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 87922 94 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223456 134528281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+890.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 88920 96 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+900.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 89919 98 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+910.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 90916 101 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+920.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 91915 102 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+930.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 92912 105 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+940.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 93910 107 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+950.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 94908 110 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223508 1075285608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+960.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 95906 112 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+970.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 96903 115 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+980.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 97901 117 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223456 134528258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+990.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 98899 120 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 99897 121 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 100895 124 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 101892 127 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223228 1075288811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 102890 129 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 103890 129 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 104890 129 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 105890 130 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223488 134517912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 106890 130 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223476 134557767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 107889 130 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 108889 131 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 109889 132 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 110888 132 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 111888 133 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 112888 133 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 113888 133 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 114888 133 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223376 134528782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 115888 134 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 116888 134 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 117888 134 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 12268
[startup+1188.87 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 29261
Raw data (stat): 29204 (Pueblo) R 29203 25830 25829 0 -1 0 1779 0 0 0 117888 134 0 0 25 0 1 0 773948680 12562432 1661 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3067 1661 566 18 0 3049 0
vsize: 0

Child status: 10
Real time (s): 1188.87
CPU time (s): 1189.05
CPU user time (s): 1187.69
CPU system time (s): 1.35479
CPU usage (%): 100.015
Max. virtual memory (Kb): 12756
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	756736
#### END VERIFIER DATA ####