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 39266

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-03 01:13:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27331 boxname=wulflinc6 idbench=1459 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  69e7430fb77e7d40f128bdde5f7776a3  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-bal8x12.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-bal8x12.opb
IDLAUNCH: 27331
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        135472 kB
Buffers:         33748 kB
Cached:         844260 kB
SwapCached:        552 kB
Active:          37000 kB
Inactive:       843072 kB
HighTotal:      131008 kB
HighFree:         1260 kB
LowTotal:       903652 kB
LowFree:        134212 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13652 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 01:33:23 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 27331 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/wulflinc6/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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.88 0.99 0.92 2/54 25919
Raw data (stat): 25919 (runsolver) R 25918 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854378964 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.97 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 1266 0 0 0 995 4 0 0 25 0 1 0 854378964 10788864 1240 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2634 1240 566 18 0 2616 0
vsize: 10536
[startup+20.0007 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 1759 0 0 0 1993 5 0 0 25 0 1 0 854378964 12779520 1733 4294967295 134512640 134581267 3221224576 3221223520 134559049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3120 1733 566 18 0 3102 0
vsize: 12480
[startup+30.0008 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2218 0 0 0 2991 8 0 0 25 0 1 0 854378964 14643200 2192 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3575 2192 566 18 0 3557 0
vsize: 14300
[startup+40.0004 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2218 0 0 0 3991 8 0 0 25 0 1 0 854378964 14643200 2192 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3575 2192 566 18 0 3557 0
vsize: 14300
[startup+50.0001 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 4991 9 0 0 25 0 1 0 854378964 15294464 2331 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3734 2331 566 18 0 3716 0
vsize: 14936
[startup+59.9993 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 5991 9 0 0 25 0 1 0 854378964 15294464 2331 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3734 2331 566 18 0 3716 0
vsize: 14936
[startup+69.9998 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 6991 9 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+79.9996 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 7990 10 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+89.9987 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 8990 11 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+99.9982 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 9989 12 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+109.998 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 10988 13 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+119.998 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 11988 14 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+129.998 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 12987 15 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+139.997 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 13987 15 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+149.998 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 14987 16 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+159.997 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 15986 17 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+169.997 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 16986 17 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+179.996 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 17986 18 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+189.997 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 18986 18 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223488 134527720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+199.997 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 19985 19 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+209.996 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 20985 19 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+219.997 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 21984 21 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223432 1075285804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+229.997 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 22983 22 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223292 1075289095 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+239.996 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 23982 24 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+249.995 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 24980 26 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+259.996 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 25979 27 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+269.995 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 26978 28 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+279.995 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 27978 29 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+289.996 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 28977 30 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+299.995 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 29976 31 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+309.994 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 30976 32 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+319.994 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 31975 33 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223456 134520212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+329.994 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 32974 35 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+339.994 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 33972 37 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223440 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+349.994 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 34971 38 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+359.994 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 35970 39 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223212 1075288507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+369.994 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 36969 40 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223488 134527720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+379.994 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 37968 42 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+389.994 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 38968 42 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+399.995 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 39968 43 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+409.994 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 40966 45 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+419.995 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 41966 46 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+429.995 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 42964 48 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+439.995 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2357 0 0 0 43962 50 0 0 25 0 1 0 854378964 15278080 2331 4294967295 134512640 134581267 3221224576 3221223504 134520049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2331 566 18 0 3712 0
vsize: 14920
[startup+449.995 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2412 0 0 0 44961 51 0 0 25 0 1 0 854378964 15540224 2386 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3794 2386 566 18 0 3776 0
vsize: 15176
[startup+459.995 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 45960 53 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+469.995 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 46959 54 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+479.995 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 47959 55 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+489.996 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 48959 55 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+499.997 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 49958 56 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+509.997 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 50958 57 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+519.997 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 51957 58 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+529.997 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 52957 59 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+539.997 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 53956 59 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+549.998 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 54956 60 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223368 1075289350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+559.998 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 55956 61 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+569.998 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 56955 61 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+579.998 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 57955 62 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+589.998 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 58955 63 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+599.998 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 59954 63 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+609.999 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 60954 64 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223520 134559415 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+619.999 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 61954 65 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+629.999 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 62954 65 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223488 134527923 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+639.999 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 63953 66 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223520 134559415 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+649.999 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 64953 67 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+659.999 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 65952 68 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223520 134558768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+670 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 66950 70 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+680 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 67949 72 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+690 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 68948 72 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+700 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 69948 73 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+710 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 70948 74 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+720 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 71947 74 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+730 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 72947 75 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+740.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 73947 76 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+750 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 74947 76 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+760.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 75946 77 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+770.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 76946 78 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+780.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 77946 78 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+790.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 78945 79 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+800.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 79945 80 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+810.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 80945 80 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+820.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 81945 81 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223488 134527683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+830.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 82944 82 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223256 1075289822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+840.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 83944 83 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+850.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 2922 0 0 0 84943 84 0 0 25 0 1 0 854378964 17518592 2896 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 2896 566 18 0 4259 0
vsize: 17108
[startup+860.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 85942 85 0 0 25 0 1 0 854378964 19501056 3362 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4761 3362 566 18 0 4743 0
vsize: 19044
[startup+870.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 86942 85 0 0 25 0 1 0 854378964 19496960 3362 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4760 3362 566 18 0 4742 0
vsize: 19040
[startup+880.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 87941 86 0 0 25 0 1 0 854378964 19496960 3362 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4760 3362 566 18 0 4742 0
vsize: 19040
[startup+890.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 88941 87 0 0 25 0 1 0 854378964 19496960 3362 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4760 3362 566 18 0 4742 0
vsize: 19040
[startup+900.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 89941 88 0 0 25 0 1 0 854378964 19496960 3362 4294967295 134512640 134581267 3221224576 3221223520 134558834 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4760 3362 566 18 0 4742 0
vsize: 19040
[startup+910.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 90940 89 0 0 25 0 1 0 854378964 19496960 3362 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4760 3362 566 18 0 4742 0
vsize: 19040
[startup+920.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 91939 90 0 0 25 0 1 0 854378964 19496960 3362 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4760 3362 566 18 0 4742 0
vsize: 19040
[startup+930.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 92938 91 0 0 25 0 1 0 854378964 18903040 3238 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4615 3238 566 18 0 4597 0
vsize: 18460
[startup+940.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 93938 92 0 0 25 0 1 0 854378964 18903040 3238 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4615 3238 566 18 0 4597 0
vsize: 18460
[startup+950.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 94938 92 0 0 25 0 1 0 854378964 18903040 3238 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4615 3238 566 18 0 4597 0
vsize: 18460
[startup+960.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 95937 93 0 0 25 0 1 0 854378964 18903040 3238 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4615 3238 566 18 0 4597 0
vsize: 18460
[startup+970.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 96937 93 0 0 25 0 1 0 854378964 18903040 3238 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4615 3238 566 18 0 4597 0
vsize: 18460
[startup+980.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 97936 95 0 0 25 0 1 0 854378964 18903040 3238 4294967295 134512640 134581267 3221224576 3221223520 134558912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4615 3238 566 18 0 4597 0
vsize: 18460
[startup+990.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 98935 96 0 0 25 0 1 0 854378964 18903040 3238 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4615 3238 566 18 0 4597 0
vsize: 18460
[startup+1000 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 99935 97 0 0 25 0 1 0 854378964 18903040 3238 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4615 3238 566 18 0 4597 0
vsize: 18460
[startup+1010 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 100934 98 0 0 25 0 1 0 854378964 18903040 3238 4294967295 134512640 134581267 3221224576 3221223440 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4615 3238 566 18 0 4597 0
vsize: 18460
[startup+1020 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 101932 100 0 0 25 0 1 0 854378964 18903040 3238 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4615 3238 566 18 0 4597 0
vsize: 18460
[startup+1030 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 102932 101 0 0 25 0 1 0 854378964 18903040 3238 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4615 3238 566 18 0 4597 0
vsize: 18460
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 103930 103 0 0 25 0 1 0 854378964 18903040 3238 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4615 3238 566 18 0 4597 0
vsize: 18460
[startup+1050 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 104929 104 0 0 25 0 1 0 854378964 18903040 3238 4294967295 134512640 134581267 3221224576 3221223440 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4615 3238 566 18 0 4597 0
vsize: 18460
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 105928 106 0 0 25 0 1 0 854378964 18903040 3238 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4615 3238 566 18 0 4597 0
vsize: 18460
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 106926 108 0 0 25 0 1 0 854378964 18890752 3235 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4612 3235 566 18 0 4594 0
vsize: 18448
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 107925 110 0 0 25 0 1 0 854378964 18890752 3235 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4612 3235 566 18 0 4594 0
vsize: 18448
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 108923 111 0 0 25 0 1 0 854378964 18890752 3235 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4612 3235 566 18 0 4594 0
vsize: 18448
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 109922 113 0 0 25 0 1 0 854378964 18890752 3235 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4612 3235 566 18 0 4594 0
vsize: 18448
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 110921 115 0 0 25 0 1 0 854378964 18890752 3235 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4612 3235 566 18 0 4594 0
vsize: 18448
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 111920 116 0 0 25 0 1 0 854378964 18890752 3235 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4612 3235 566 18 0 4594 0
vsize: 18448
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 112918 118 0 0 25 0 1 0 854378964 18890752 3235 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4612 3235 566 18 0 4594 0
vsize: 18448
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 113917 119 0 0 25 0 1 0 854378964 18890752 3235 4294967295 134512640 134581267 3221224576 3221223456 134560153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4612 3235 566 18 0 4594 0
vsize: 18448
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 114917 120 0 0 25 0 1 0 854378964 18890752 3235 4294967295 134512640 134581267 3221224576 3221223568 134561015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4612 3235 566 18 0 4594 0
vsize: 18448
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 115915 123 0 0 25 0 1 0 854378964 18890752 3235 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4612 3235 566 18 0 4594 0
vsize: 18448
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 116914 124 0 0 25 0 1 0 854378964 18890752 3235 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4612 3235 566 18 0 4594 0
vsize: 18448
[startup+1180.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 117913 125 0 0 25 0 1 0 854378964 18890752 3235 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4612 3235 566 18 0 4594 0
vsize: 18448
[startup+1188.64 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 25919
Raw data (stat): 25919 (Pueblo-v2) R 25918 25568 25567 0 -1 0 3388 0 0 0 117913 125 0 0 25 0 1 0 854378964 18890752 3235 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4612 3235 566 18 0 4594 0
vsize: 0

Child status: 10
Real time (s): 1188.64
CPU time (s): 1189.02
CPU user time (s): 1187.75
CPU system time (s): 1.27281
CPU usage (%): 100.032
Max. virtual memory (Kb): 19044
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	13476271
#### END VERIFIER DATA ####