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-bal8x12.opb
MD5SUM	69e7430fb77e7d40f128bdde5f7776a3
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	13476271
Optimality of the best value was proved	NO
Number of terms in the objective function	2016
Biggest coefficient in the objective function	402653184
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	34444990400
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	402653184
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	34444990400
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.37
Number of variables	2016
Total number of constraints	116
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	116
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 25594

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 02:19:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18961 boxname=wulflinc31 idbench=1459 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  69e7430fb77e7d40f128bdde5f7776a3  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-bal8x12.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-bal8x12.opb
IDLAUNCH: 18961
/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:        586700 kB
Buffers:         34744 kB
Cached:         392620 kB
SwapCached:       1172 kB
Active:         296840 kB
Inactive:       132976 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        586420 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            12592 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 02:39:46 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 18961 0 1189.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-bal8x12.opb
c #variables read: 2016 - #constraints read: 137
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 -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 
#### 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.88 0.94 0.90 2/55 4358
Raw data (stat): 4358 (runsolver) R 4357 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 800645508 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.90 0.94 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 1272 0 0 0 992 4 0 0 25 0 1 0 800645508 10756096 1249 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2626 1249 566 18 0 2608 0
vsize: 10504
[startup+20.0016 s]
Raw data (loadavg): 0.92 0.95 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 1463 0 0 0 1991 6 0 0 25 0 1 0 800645508 11661312 1440 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2847 1440 566 18 0 2829 0
vsize: 11388
[startup+30.0015 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2139 0 0 0 2989 8 0 0 25 0 1 0 800645508 14340096 2116 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3501 2116 566 18 0 3483 0
vsize: 14004
[startup+40.0015 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2233 0 0 0 3988 9 0 0 25 0 1 0 800645508 14741504 2210 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3599 2210 566 18 0 3581 0
vsize: 14396
[startup+50.0014 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2233 0 0 0 4987 9 0 0 25 0 1 0 800645508 14741504 2210 4294967295 134512640 134581331 3221221792 3221220656 134528254 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3599 2210 566 18 0 3581 0
vsize: 14396
[startup+60.0023 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2245 0 0 0 5987 10 0 0 25 0 1 0 800645508 14741504 2222 4294967295 134512640 134581331 3221221792 3221220704 134531400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3599 2222 566 18 0 3581 0
vsize: 14396
[startup+70.0033 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2307 0 0 0 6987 10 0 0 25 0 1 0 800645508 15007744 2284 4294967295 134512640 134581331 3221221792 3221220784 134561111 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2284 566 18 0 3646 0
vsize: 14656
[startup+80.0032 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2307 0 0 0 7986 11 0 0 25 0 1 0 800645508 15007744 2284 4294967295 134512640 134581331 3221221792 3221220704 134527639 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2284 566 18 0 3646 0
vsize: 14656
[startup+90.0031 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2307 0 0 0 8986 12 0 0 25 0 1 0 800645508 15007744 2284 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2284 566 18 0 3646 0
vsize: 14656
[startup+100.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2307 0 0 0 9985 13 0 0 25 0 1 0 800645508 15007744 2284 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2284 566 18 0 3646 0
vsize: 14656
[startup+110.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2307 0 0 0 10984 14 0 0 25 0 1 0 800645508 15007744 2284 4294967295 134512640 134581331 3221221792 3221220656 134560358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2284 566 18 0 3646 0
vsize: 14656
[startup+120.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2307 0 0 0 11983 15 0 0 25 0 1 0 800645508 15007744 2284 4294967295 134512640 134581331 3221221792 3221220704 134527729 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2284 566 18 0 3646 0
vsize: 14656
[startup+130.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2307 0 0 0 12982 16 0 0 25 0 1 0 800645508 15007744 2284 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2284 566 18 0 3646 0
vsize: 14656
[startup+140.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2307 0 0 0 13982 17 0 0 25 0 1 0 800645508 15007744 2284 4294967295 134512640 134581331 3221221792 3221220656 134528538 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2284 566 18 0 3646 0
vsize: 14656
[startup+150.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2307 0 0 0 14981 18 0 0 25 0 1 0 800645508 15007744 2284 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2284 566 18 0 3646 0
vsize: 14656
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2307 0 0 0 15980 19 0 0 25 0 1 0 800645508 15007744 2284 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2284 566 18 0 3646 0
vsize: 14656
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2307 0 0 0 16980 19 0 0 25 0 1 0 800645508 15007744 2284 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2284 566 18 0 3646 0
vsize: 14656
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2307 0 0 0 17979 20 0 0 25 0 1 0 800645508 15007744 2284 4294967295 134512640 134581331 3221221792 3221220688 134517897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2284 566 18 0 3646 0
vsize: 14656
[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2307 0 0 0 18979 21 0 0 25 0 1 0 800645508 15007744 2284 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2284 566 18 0 3646 0
vsize: 14656
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2307 0 0 0 19978 22 0 0 25 0 1 0 800645508 15007744 2284 4294967295 134512640 134581331 3221221792 3221220704 134527649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2284 566 18 0 3646 0
vsize: 14656
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2307 0 0 0 20978 22 0 0 25 0 1 0 800645508 15007744 2284 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2284 566 18 0 3646 0
vsize: 14656
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2307 0 0 0 21978 22 0 0 25 0 1 0 800645508 15007744 2284 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3664 2284 566 18 0 3646 0
vsize: 14656
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 22977 23 0 0 25 0 1 0 800645508 15265792 2322 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3727 2322 566 18 0 3709 0
vsize: 14908
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 23976 25 0 0 25 0 1 0 800645508 15171584 2322 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3704 2322 566 18 0 3686 0
vsize: 14816
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 24975 25 0 0 25 0 1 0 800645508 15085568 2307 4294967295 134512640 134581331 3221221792 3221220568 1075291632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2307 566 18 0 3665 0
vsize: 14732
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 25974 27 0 0 25 0 1 0 800645508 15085568 2307 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2307 566 18 0 3665 0
vsize: 14732
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 26973 28 0 0 25 0 1 0 800645508 15085568 2307 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2307 566 18 0 3665 0
vsize: 14732
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 27971 30 0 0 25 0 1 0 800645508 15085568 2307 4294967295 134512640 134581331 3221221792 3221220720 134519945 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2307 566 18 0 3665 0
vsize: 14732
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 28970 31 0 0 25 0 1 0 800645508 15085568 2307 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2307 566 18 0 3665 0
vsize: 14732
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 29968 33 0 0 25 0 1 0 800645508 15085568 2307 4294967295 134512640 134581331 3221221792 3221220576 134528732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2307 566 18 0 3665 0
vsize: 14732
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 30965 36 0 0 25 0 1 0 800645508 15085568 2307 4294967295 134512640 134581331 3221221792 3221220616 134528697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2307 566 18 0 3665 0
vsize: 14732
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 31963 39 0 0 25 0 1 0 800645508 15085568 2307 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2307 566 18 0 3665 0
vsize: 14732
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 32960 42 0 0 25 0 1 0 800645508 15085568 2307 4294967295 134512640 134581331 3221221792 3221220720 134519901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2307 566 18 0 3665 0
vsize: 14732
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 33959 43 0 0 25 0 1 0 800645508 15085568 2307 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2307 566 18 0 3665 0
vsize: 14732
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 34958 44 0 0 25 0 1 0 800645508 15085568 2307 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2307 566 18 0 3665 0
vsize: 14732
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 35957 45 0 0 25 0 1 0 800645508 15085568 2307 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2307 566 18 0 3665 0
vsize: 14732
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 36957 46 0 0 25 0 1 0 800645508 15085568 2307 4294967295 134512640 134581331 3221221792 3221220688 134517743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2307 566 18 0 3665 0
vsize: 14732
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 37955 48 0 0 25 0 1 0 800645508 15085568 2307 4294967295 134512640 134581331 3221221792 3221220704 134527959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2307 566 18 0 3665 0
vsize: 14732
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 38955 48 0 0 25 0 1 0 800645508 15085568 2307 4294967295 134512640 134581331 3221221792 3221220700 134527740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2307 566 18 0 3665 0
vsize: 14732
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 39954 50 0 0 25 0 1 0 800645508 15085568 2307 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2307 566 18 0 3665 0
vsize: 14732
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 40953 51 0 0 25 0 1 0 800645508 15085568 2307 4294967295 134512640 134581331 3221221792 3221220704 134531401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2307 566 18 0 3665 0
vsize: 14732
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 41952 52 0 0 25 0 1 0 800645508 15085568 2307 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2307 566 18 0 3665 0
vsize: 14732
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 42951 53 0 0 25 0 1 0 800645508 15085568 2307 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2307 566 18 0 3665 0
vsize: 14732
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2345 0 0 0 43950 54 0 0 25 0 1 0 800645508 15085568 2307 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2307 566 18 0 3665 0
vsize: 14732
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2382 0 0 0 44949 55 0 0 25 0 1 0 800645508 15351808 2344 4294967295 134512640 134581331 3221221792 3221220656 134528287 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3748 2344 566 18 0 3730 0
vsize: 14992
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2397 0 0 0 45949 56 0 0 25 0 1 0 800645508 15351808 2359 4294967295 134512640 134581331 3221221792 3221220688 134517729 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3748 2359 566 18 0 3730 0
vsize: 14992
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2397 0 0 0 46946 58 0 0 25 0 1 0 800645508 15286272 2356 4294967295 134512640 134581331 3221221792 3221220704 134527639 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3732 2356 566 18 0 3714 0
vsize: 14928
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2397 0 0 0 47945 59 0 0 25 0 1 0 800645508 15286272 2356 4294967295 134512640 134581331 3221221792 3221220672 134520219 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3732 2356 566 18 0 3714 0
vsize: 14928
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2423 0 0 0 48945 60 0 0 25 0 1 0 800645508 15417344 2382 4294967295 134512640 134581331 3221221792 3221220656 134528347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3764 2382 566 18 0 3746 0
vsize: 15056
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2430 0 0 0 49944 61 0 0 25 0 1 0 800645508 15286272 2356 4294967295 134512640 134581331 3221221792 3221220656 134528331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3732 2356 566 18 0 3714 0
vsize: 14928
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2430 0 0 0 50944 61 0 0 25 0 1 0 800645508 15286272 2356 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3732 2356 566 18 0 3714 0
vsize: 14928
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2444 0 0 0 51944 62 0 0 25 0 1 0 800645508 15417344 2370 4294967295 134512640 134581331 3221221792 3221220656 134528267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3764 2370 566 18 0 3746 0
vsize: 15056
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2444 0 0 0 52943 63 0 0 25 0 1 0 800645508 15417344 2370 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3764 2370 566 18 0 3746 0
vsize: 15056
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2444 0 0 0 53943 63 0 0 25 0 1 0 800645508 15335424 2368 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3744 2368 566 18 0 3726 0
vsize: 14976
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2458 0 0 0 54942 64 0 0 25 0 1 0 800645508 15466496 2382 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3776 2382 566 18 0 3758 0
vsize: 15104
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2458 0 0 0 55942 64 0 0 25 0 1 0 800645508 15466496 2382 4294967295 134512640 134581331 3221221792 3221220656 134528254 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3776 2382 566 18 0 3758 0
vsize: 15104
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2458 0 0 0 56941 65 0 0 25 0 1 0 800645508 15466496 2382 4294967295 134512640 134581331 3221221792 3221220736 134559087 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3776 2382 566 18 0 3758 0
vsize: 15104
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2476 0 0 0 57940 66 0 0 25 0 1 0 800645508 15446016 2381 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3771 2381 566 18 0 3753 0
vsize: 15084
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2487 0 0 0 58940 67 0 0 25 0 1 0 800645508 15540224 2392 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3794 2392 566 18 0 3776 0
vsize: 15176
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2487 0 0 0 59940 67 0 0 25 0 1 0 800645508 15425536 2390 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3766 2390 566 18 0 3748 0
vsize: 15064
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2487 0 0 0 60940 67 0 0 25 0 1 0 800645508 15310848 2362 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3738 2362 566 18 0 3720 0
vsize: 14952
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2487 0 0 0 61939 68 0 0 25 0 1 0 800645508 15310848 2362 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3738 2362 566 18 0 3720 0
vsize: 14952
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2487 0 0 0 62939 69 0 0 25 0 1 0 800645508 15310848 2362 4294967295 134512640 134581331 3221221792 3221220656 134528336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3738 2362 566 18 0 3720 0
vsize: 14952
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2487 0 0 0 63938 69 0 0 25 0 1 0 800645508 15310848 2362 4294967295 134512640 134581331 3221221792 3221220656 134528287 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3738 2362 566 18 0 3720 0
vsize: 14952
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2487 0 0 0 64938 70 0 0 25 0 1 0 800645508 15310848 2362 4294967295 134512640 134581331 3221221792 3221220612 134528700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3738 2362 566 18 0 3720 0
vsize: 14952
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2487 0 0 0 65937 71 0 0 25 0 1 0 800645508 15310848 2362 4294967295 134512640 134581331 3221221792 3221220704 134527853 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3738 2362 566 18 0 3720 0
vsize: 14952
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2487 0 0 0 66937 71 0 0 25 0 1 0 800645508 15310848 2362 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3738 2362 566 18 0 3720 0
vsize: 14952
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2487 0 0 0 67937 72 0 0 25 0 1 0 800645508 15310848 2362 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3738 2362 566 18 0 3720 0
vsize: 14952
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2494 0 0 0 68936 73 0 0 25 0 1 0 800645508 15441920 2369 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3770 2369 566 18 0 3752 0
vsize: 15080
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2500 0 0 0 69935 73 0 0 25 0 1 0 800645508 15400960 2375 4294967295 134512640 134581331 3221221792 3221220656 134528281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3760 2375 566 18 0 3742 0
vsize: 15040
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 70935 74 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 71934 76 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 72931 79 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 73928 82 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220672 134520439 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 74925 85 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220736 134559476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 75921 89 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220656 134528384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 76919 91 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220676 134557948 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 77916 94 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 78913 98 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220688 134517924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 79909 101 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220656 134528464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 80906 105 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 81902 109 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220656 134528254 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 82899 113 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 83894 117 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 84890 121 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 85886 125 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 86882 130 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220704 134527769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 87878 134 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 88874 138 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220688 134517912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 89869 143 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220576 134528749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 90866 146 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 91863 150 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220576 134528782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 92859 154 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220656 134528490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 93854 159 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 94850 163 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+960.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 95846 167 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 96843 171 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 97838 176 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220688 134517512 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 98833 181 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 99829 185 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220704 134527457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 100826 189 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 101822 193 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220772 134561096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 102818 197 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 103814 201 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220656 134528331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 104811 204 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220752 134516745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 105807 209 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 106804 212 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 107800 216 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 108796 220 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 109793 223 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 110788 228 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 111783 233 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 112780 237 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 113776 241 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 114771 245 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 115767 250 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220784 134561137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 116764 253 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 117760 257 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 15092
[startup+1188.87 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 4358
Raw data (stat): 4358 (Pueblo) R 4357 7876 7672 0 -1 0 2528 0 0 0 117760 257 0 0 25 0 1 0 800645508 15454208 2393 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3773 2393 566 18 0 3755 0
vsize: 0

Child status: 10
Real time (s): 1188.87
CPU time (s): 1189.02
CPU user time (s): 1186.4
CPU system time (s): 2.6156
CPU usage (%): 100.012
Max. virtual memory (Kb): 15176
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	13652053
#### END VERIFIER DATA ####