PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10c.opb
MD5SUM	31a8734340f0544712ef974997c104b2
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2677632
Optimality of the best value was proved	NO
Number of terms in the objective function	2100
Biggest coefficient in the objective function	4718592
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	515723936
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	4718592
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	515723936
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	2100
Total number of constraints	120
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	120
Minimum length of a constraint	21
Maximum length of a constraint	200
Trace number 39285

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-03 02:16:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27351 boxname=wulflinc5 idbench=1479 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  31a8734340f0544712ef974997c104b2  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ran10x10c.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ran10x10c.opb
IDLAUNCH: 27351
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        589032 kB
Buffers:         32384 kB
Cached:         390008 kB
SwapCached:        568 kB
Active:          35540 kB
Inactive:       388892 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        588780 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5148 kB
Slab:            15520 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 02:36:43 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 27351 0 1189.01 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ran10x10c.opb
c #variables read: 2100 - #constraints read: 141
s SATISFIABLE
v -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 -X1_bit0 -X1_bit1 -X1_bit2 -X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 -X2_bit0 -X2_bit1 -X2_bit2 -X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 -X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 -X4_bit0 -X4_bit1 -X4_bit2 -X4_bit3 -X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 -X6_bit0 -X6_bit1 -X6_bit2 -X6_bit3 -X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X7_bit_7 X7_bit_6 X7_bit_5 X7_bit_4 X7_bit_3 X7_bit_2 X7_bit_1 -X7_bit0 X7_bit1 -X7_bit2 -X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 -X8_bit0 -X8_bit1 -X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X9_bit_7 X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 -X9_bit0 -X9_bit1 -X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 X11_bit_7 X11_bit_6 X11_bit_5 X11_bit_4 X11_bit_3 X11_bit_2 X11_bit_1 X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X14_bit_7 -X14_bit_6 -X14_bit_5 -X14_bit_4 -X14_bit_3 -X14_bit_2 -X14_bit_1 -X14_bit0 -X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 -X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X16_bit_7 -X16_bit_6 -X16_bit_5 -X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 -X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X17_bit_7 -X17_bit_6 -X17_bit_5 -X17_bit_4 -X17_bit_3 -X17_bit_2 -X17_bit_1 -X17_bit0 -X17_bit1 -X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 -X18_bit_7 -X18_bit_6 -X18_bit_5 -X18_bit_4 -X18_bit_3 -X18_bit_2 -X18_bit_1 X18_bit0 X18_bit1 X18_bit2 -X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X19_bit_7 -X19_bit_6 -X19_bit_5 -X19_bit_4 -X19_bit_3 -X19_bit_2 -X19_bit_1 -X19_bit0 -X19_bit1 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X20_bit_7 -X20_bit_6 -X20_bit_5 -X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 -X20_bit0 -X20_bit1 -X20_bit2 -X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X21_bit_7 -X21_bit_6 -X21_bit_5 -X21_bit_4 -X21_bit_3 -X21_bit_2 -X21_bit_1 -X21_bit0 -X21_bit1 -X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 -X22_bit1 -X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 -X23_bit0 -X23_bit1 -X23_bit2 -X23_bit3 X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X24_bit_7 -X24_bit_6 -X24_bit_5 -X24_bit_4 -X24_bit_3 -X24_bit_2 -X24_bit_1 -X24_bit0 -X24_bit1 -X24_bit2 -X24_bit3 -X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 -X25_bit_3 -X25_bit_2 -X25_bit_1 -X25_bit0 -X25_bit1 -X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 -X26_bit0 -X26_bit1 -X26_bit2 -X26_bit3 -X26_bit4 -X26_bit5 -X26_bit6 -X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X27_bit_7 -X27_bit_6 -X27_bit_5 -X27_bit_4 -X27_bit_3 -X27_bit_2 -X27_bit_1 -X27_bit0 -X27_bit1 -X27_bit2 -X27_bit3 -X27_bit4 -X27_bit5 -X27_bit6 -X27_bit7 -X27_bit8 -X27_bit9 -X27_bit10 -X27_bit11 -X27_bit12 -X28_bit_7 -X28_bit_6 -X28_bit_5 -X28_bit_4 -X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 -X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 -X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 X31_bit0 X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -X33_bit0 -X33_bit1 X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 -X35_bit0 -X35_bit1 X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X36_bit_7 -X36_bit_6 -X36_bit_5 -X36_bit_4 -X36_bit_3 -X36_bit_2 -X36_bit_1 -X36_bit0 -X36_bit1 -X36_bit2 -X36_bit3 -X36_bit4 -X36_bit5 -X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X37_bit_7 -X37_bit_6 -X37_bit_5 -X37_bit_4 -X37_bit_3 -X37_bit_2 -X37_bit_1 -X37_bit0 -X37_bit1 -X37_bit2 -X37_bit3 -X37_bit4 -X37_bit5 -X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X38_bit_7 -X38_bit_6 -X38_bit_5 -X38_bit_4 -X38_bit_3 -X38_bit_2 -X38_bit_1 -X38_bit0 -X38_bit1 -X38_bit2 -X38_bit3 -X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X40_bit_7 -X40_bit_6 -X40_bit_5 -X40_bit_4 -X40_bit_3 -X40_bit_2 -X40_bit_1 -X40_bit0 -X40_bit1 -X40_bit2 -X40_bit3 -X40_bit4 -X40_bit5 -X40_bit6 -X40_bit7 -X40_bit8 -X40_bit9 -X40_bit10 -X40_bit11 -X40_bit12 -X41_bit_7 -X41_bit_6 -X41_bit_5 -X41_bit_4 -X41_bit_3 -X41_bit_2 -X41_bit_1 -X41_bit0 -X41_bit1 -X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit10 -X41_bit11 -X41_bit12 -X42_bit_7 -X42_bit_6 -X42_bit_5 -X42_bit_4 -X42_bit_3 -X42_bit_2 -X42_bit_1 -X42_bit0 X42_bit1 -X42_bit2 -X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit10 -X42_bit11 -X42_bit12 -X43_bit_7 -X43_bit_6 -X43_bit_5 -X43_bit_4 -X43_bit_3 -X43_bit_2 -X43_bit_1 -X43_bit0 -X43_bit1 -X43_bit2 -X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 -X43_bit10 -X43_bit11 -X43_bit12 -X44_bit_7 -X44_bit_6 -X44_bit_5 -X44_bit_4 -X44_bit_3 -X44_bit_2 -X44_bit_1 -X44_bit0 -X44_bit1 -X44_bit2 -X44_bit3 -X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit10 -X44_bit11 -X44_bit12 -X45_bit_7 -X45_bit_6 -X45_bit_5 -X45_bit_4 -X45_bit_3 -X45_bit_2 -X45_bit_1 -X45_bit0 -X45_bit1 -X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit10 -X45_bit11 -X45_bit12 -X46_bit_7 -X46_bit_6 -X46_bit_5 -X46_bit_4 -X46_bit_3 -X46_bit_2 -X46_bit_1 -X46_bit0 -X46_bit1 -X46_bit2 X46_bit3 -X46_bit4 -X46_bit5 -X46_bit6 -X46_bit7 -X46_bit8 -X46_bit9 -X46_bit10 -X46_bit11 -X46_bit12 -X47_bit_7 -X47_bit_6 -X47_bit_5 -X47_bit_4 -X47_bit_3 -X47_bit_2 -X47_bit_1 -X47_bit0 -X47_bit1 -X47_bit2 -X47_bit3 -X47_bit4 -X47_bit5 -X47_bit6 -X47_bit7 -X47_bit8 -X47_bit9 -X47_bit10 -X47_bit11 -X47_bit12 -X48_bit_7 -X48_bit_6 -X48_bit_5 -X48_bit_4 -X48_bit_3 -X48_bit_2 -X48_bit_1 -X48_bit0 -X48_bit1 -X48_bit2 -X48_bit3 -X48_bit4 -X48_bit5 -X48_bit6 -X48_bit7 -X48_bit8 -X48_bit9 -X48_bit10 -X48_bit11 -X48_bit12 -X49_bit_7 -X49_bit_6 -X49_bit_5 -X49_bit_4 -X49_bit_3 -X49_bit_2 -X49_bit_1 -X49_bit0 -X49_bit1 -X49_bit2 -X49_bit3 -X49_bit4 -X49_bit5 -X49_bit6 -X49_bit7 -X49_bit8 -X49_bit9 -X49_bit10 -X49_bit11 -X49_bit12 -X50_bit_7 -X50_bit_6 -X50_bit_5 -X50_bit_4 -X50_bit_3 -X50_bit_2 -X50_bit_1 -X50_bit0 -X50_bit1 -X50_bit2 -X50_bit3 -X50_bit4 -X50_bit5 -X50_bit6 -X50_bit7 -X50_bit8 -X50_bit9 -X50_bit10 -X50_bit11 -X50_bit12 -X51_bit_7 -X51_bit_6 -X51_bit_5 -X51_bit_4 -X51_bit_3 -X51_bit_2 -X51_bit_1 -X51_bit0 -X51_bit1 -X51_bit2 -X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit10 -X51_bit11 -X51_bit12 -X52_bit_7 -X52_bit_6 -X52_bit_5 -X52_bit_4 -X52_bit_3 -X52_bit_2 -X52_bit_1 -X52_bit0 -X52_bit1 -X52_bit2 -X52_bit3 -X52_bit4 -X52_bit5 -X52_bit6 -X52_bit7 -X52_bit8 -X52_bit9 -X52_bit10 -X52_bit11 -X52_bit12 -X53_bit_7 -X53_bit_6 -X53_bit_5 -X53_bit_4 -X53_bit_3 -X53_bit_2 -X53_bit_1 -X53_bit0 -X53_bit1 -X53_bit2 -X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit10 -X53_bit11 -X53_bit12 -X54_bit_7 -X54_bit_6 -X54_bit_5 -X54_bit_4 -X54_bit_3 -X54_bit_2 -X54_bit_1 -X54_bit0 -X54_bit1 -X54_bit2 -X54_bit3 -X54_bit4 -X54_bit5 -X54_bit6 -X54_bit7 -X54_bit8 -X54_bit9 -X54_bit10 -X54_bit11 -X54_bit12 -X55_bit_7 -X55_bit_6 -X55_bit_5 -X55_bit_4 -X55_bit_3 -X55_bit_2 -X55_bit_1 -X55_bit0 -X55_bit1 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit10 -X55_bit11 -X55_bit12 -X56_bit_7 -X56_bit_6 -X56_bit_5 -X56_bit_4 -X56_bit_3 -X56_bit_2 -X56_bit_1 -X56_bit0 -X56_bit1 -X56_bit2 -X56_bit3 -X56_bit4 -X56_bit5 -X56_bit6 -X56_bit7 -X56_bit8 -X56_bit9 -X56_bit10 -X56_bit11 -X56_bit12 -X57_bit_7 X57_bit_6 -X57_bit_5 -X57_bit_4 -X57_bit_3 -X57_bit_2 -X57_bit_1 -X57_bit0 -X57_bit1 -X57_bit2 -X57_bit3 -X57_bit4 -X57_bit5 -X57_bit6 -X57_bit7 -X57_bit8 -X57_bit9 -X57_bit10 -X57_bit11 -X57_bit12 -X58_bit_7 X58_bit_6 X58_bit_5 X58_bit_4 X58_bit_3 X58_bit_2 X58_bit_1 -X58_bit0 -X58_bit1 -X58_bit2 -X58_bit3 -X58_bit4 -X58_bit5 -X58_bit6 -X58_bit7 -X58_bit8 -X58_bit9 -X58_bit10 -X58_bit11 -X58_bit12 -X59_bit_7 -X59_bit_6 -X59_bit_5 -X59_bit_4 -X59_bit_3 -X59_bit_2 -X59_bit_1 -X59_bit0 -X59_bit1 -X59_bit2 -X59_bit3 -X59_bit4 -X59_bit5 -X59_bit6 -X59_bit7 -X59_bit8 -X59_bit9 -X59_bit10 -X59_bit11 -X59_bit12 -X60_bit_7 -X60_bit_6 -X60_bit_5 -X60_bit_4 -X60_bit_3 -X60_bit_2 -X60_bit_1 -X60_bit0 -X60_bit1 -X60_bit2 -X60_bit3 -X60_bit4 -X60_bit5 -X60_bit6 -X60_bit7 -X60_bit8 -X60_bit9 -X60_bit10 -X60_bit11 -X60_bit12 -X61_bit_7 -X61_bit_6 -X61_bit_5 -X61_bit_4 -X61_bit_3 -X61_bit_2 -X61_bit_1 -X61_bit0 -X61_bit1 -X61_bit2 -X61_bit3 -X61_bit4 -X61_bit5 -X61_bit6 -X61_bit7 -X61_bit8 -X61_bit9 -X61_bit10 -X61_bit11 -X61_bit12 -X62_bit_7 -X62_bit_6 -X62_bit_5 -X62_bit_4 -X62_bit_3 -X62_bit_2 -X62_bit_1 -X62_bit0 -X62_bit1 -X62_bit2 -X62_bit3 -X62_bit4 -X62_bit5 -X62_bit6 -X62_bit7 -X62_bit8 -X62_bit9 -X62_bit10 -X62_bit11 -X62_bit12 -X63_bit_7 -X63_bit_6 -X63_bit_5 -X63_bit_4 -X63_bit_3 -X63_bit_2 -X63_bit_1 -X63_bit0 -X63_bit1 -X63_bit2 -X63_bit3 -X63_bit4 -X63_bit5 -X63_bit6 -X63_bit7 -X63_bit8 -X63_bit9 -X63_bit10 -X63_bit11 -X63_bit12 -X64_bit_7 -X64_bit_6 -X64_bit_5 -X64_bit_4 -X64_bit_3 -X64_bit_2 -X64_bit_1 -X64_bit0 X64_bit1 X64_bit2 -X64_bit3 -X64_bit4 -X64_bit5 -X64_bit6 -X64_bit7 -X64_bit8 -X64_bit9 -X64_bit10 -X64_bit11 -X64_bit12 -X65_bit_7 -X65_bit_6 -X65_bit_5 -X65_bit_4 -X65_bit_3 -X65_bit_2 -X65_bit_1 -X65_bit0 -X65_bit1 -X65_bit2 -X65_bit3 -X65_bit4 -X65_bit5 -X65_bit6 -X65_bit7 -X65_bit8 -X65_bit9 -X65_bit10 -X65_bit11 -X65_bit12 -X66_bit_7 -X66_bit_6 -X66_bit_5 -X66_bit_4 -X66_bit_3 -X66_bit_2 -X66_bit_1 -X66_bit0 -X66_bit1 -X66_bit2 -X66_bit3 -X66_bit4 -X66_bit5 -X66_bit6 -X66_bit7 -X66_bit8 -X66_bit9 -X66_bit10 -X66_bit11 -X66_bit12 -X67_bit_7 -X67_bit_6 -X67_bit_5 -X67_bit_4 -X67_bit_3 -X67_bit_2 -X67_bit_1 X67_bit0 -X67_bit1 -X67_bit2 X67_bit3 -X67_bit4 -X67_bit5 -X67_bit6 -X67_bit7 -X67_bit8 -X67_bit9 -X67_bit10 -X67_bit11 -X67_bit12 -X68_bit_7 -X68_bit_6 -X68_bit_5 -X68_bit_4 -X68_bit_3 -X68_bit_2 -X68_bit_1 -X68_bit0 -X68_bit1 -X68_bit2 -X68_bit3 -X68_bit4 -X68_bit5 -X68_bit6 -X68_bit7 -X68_bit8 -X68_bit9 -X68_bit10 -X68_bit11 -X68_bit12 -X69_bit_7 -X69_bit_6 -X69_bit_5 -X69_bit_4 -X69_bit_3 -X69_bit_2 -X69_bit_1 -X69_bit0 -X69_bit1 -X69_bit2 -X69_bit3 -X69_bit4 -X69_bit5 -X69_bit6 -X69_bit7 -X69_bit8 -X69_bit9 -X69_bit10 -X69_bit11 -X69_bit12 -X70_bit_7 -X70_bit_6 -X70_bit_5 -X70_bit_4 -X70_bit_3 -X70_bit_2 -X70_bit_1 -X70_bit0 -X70_bit1 -X70_bit2 -X70_bit3 -X70_bit4 -X70_bit5 -X70_bit6 -X70_bit7 -X70_bit8 -X70_bit9 -X70_bit10 -X70_bit11 -X70_bit12 -X71_bit_7 X71_bit_6 -X71_bit_5 -X71_bit_4 -X71_bit_3 -X71_bit_2 -X71_bit_1 -X71_bit0 -X71_bit1 X71_bit2 -X71_bit3 -X71_bit4 -X71_bit5 -X71_bit6 -X71_bit7 -X71_bit8 -X71_bit9 -X71_bit10 -X71_bit11 -X71_bit12 -X72_bit_7 -X72_bit_6 -X72_bit_5 -X72_bit_4 -X72_bit_3 -X72_bit_2 -X72_bit_1 -X72_bit0 -X72_bit1 -X72_bit2 -X72_bit3 -X72_bit4 -X72_bit5 -X72_bit6 -X72_bit7 -X72_bit8 -X72_bit9 -X72_bit10 -X72_bit11 -X72_bit12 -X73_bit_7 -X73_bit_6 -X73_bit_5 -X73_bit_4 -X73_bit_3 -X73_bit_2 -X73_bit_1 -X73_bit0 -X73_bit1 -X73_bit2 -X73_bit3 -X73_bit4 -X73_bit5 -X73_bit6 -X73_bit7 -X73_bit8 -X73_bit9 -X73_bit10 -X73_bit11 -X73_bit12 -X74_bit_7 -X74_bit_6 -X74_bit_5 -X74_bit_4 -X74_bit_3 -X74_bit_2 -X74_bit_1 -X74_bit0 -X74_bit1 -X74_bit2 -X74_bit3 -X74_bit4 -X74_bit5 -X74_bit6 -X74_bit7 -X74_bit8 -X74_bit9 -X74_bit10 -X74_bit11 -X74_bit12 -X75_bit_7 -X75_bit_6 -X75_bit_5 -X75_bit_4 -X75_bit_3 -X75_bit_2 -X75_bit_1 -X75_bit0 -X75_bit1 -X75_bit2 -X75_bit3 -X75_bit4 -X75_bit5 -X75_bit6 -X75_bit7 -X75_bit8 -X75_bit9 -X75_bit10 -X75_bit11 -X75_bit12 -X76_bit_7 X76_bit_6 X76_bit_5 X76_bit_4 X76_bit_3 X76_bit_2 X76_bit_1 -X76_bit0 X76_bit1 -X76_bit2 -X76_bit3 -X76_bit4 -X76_bit5 -X76_bit6 -X76_bit7 -X76_bit8 -X76_bit9 -X76_bit10 -X76_bit11 -X76_bit12 -X77_bit_7 -X77_bit_6 -X77_bit_5 -X77_bit_4 -X77_bit_3 -X77_bit_2 -X77_bit_1 -X77_bit0 -X77_bit1 -X77_bit2 -X77_bit3 -X77_bit4 -X77_bit5 -X77_bit6 -X77_bit7 -X77_bit8 -X77_bit9 -X77_bit10 -X77_bit11 -X77_bit12 -X78_bit_7 -X78_bit_6 -X78_bit_5 -X78_bit_4 -X78_bit_3 -X78_bit_2 -X78_bit_1 -X78_bit0 -X78_bit1 -X78_bit2 -X78_bit3 -X78_bit4 -X78_bit5 -X78_bit6 -X78_bit7 -X78_bit8 -X78_bit9 -X78_bit10 -X78_bit11 -X78_bit12 -X79_bit_7 -X79_bit_6 -X79_bit_5 -X79_bit_4 -X79_bit_3 -X79_bit_2 -X79_bit_1 -X79_bit0 -X79_bit1 -X79_bit2 -X79_bit3 -X79_bit4 -X79_bit5 -X79_bit6 -X79_bit7 -X79_bit8 -X79_bit9 -X79_bit10 -X79_bit11 -X79_bit12 X80_bit_7 X80_bit_6 X80_bit_5 X80_bit_4 X80_bit_3 X80_bit_2 X80_bit_1 X80_bit0 -X80_bit1 -X80_bit2 -X80_bit3 -X80_bit4 -X80_bit5 -X80_bit6 -X80_bit7 -X80_bit8 -X80_bit9 -X80_bit10 -X80_bit11 -X80_bit12 X81_bit_7 X81_bit_6 X81_bit_5 X81_bit_4 X81_bit_3 X81_bit_2 X81_bit_1 X81_bit0 X81_bit1 X81_bit2 -X81_bit3 -X81_bit4 -X81_bit5 -X81_bit6 -X81_bit7 -X81_bit8 -X81_bit9 -X81_bit10 -X81_bit11 -X81_bit12 -X82_bit_7 -X82_bit_6 -X82_bit_5 -X82_bit_4 -X82_bit_3 -X82_bit_2 -X82_bit_1 -X82_bit0 -X82_bit1 -X82_bit2 -X82_bit3 -X82_bit4 -X82_bit5 -X82_bit6 -X82_bit7 -X82_bit8 -X82_bit9 -X82_bit10 -X82_bit11 -X82_bit12 -X83_bit_7 -X83_bit_6 -X83_bit_5 -X83_bit_4 -X83_bit_3 -X83_bit_2 -X83_bit_1 -X83_bit0 -X83_bit1 -X83_bit2 -X83_bit3 -X83_bit4 -X83_bit5 -X83_bit6 -X83_bit7 -X83_bit8 -X83_bit9 -X83_bit10 -X83_bit11 -X83_bit12 -X84_bit_7 -X84_bit_6 -X84_bit_5 -X84_bit_4 -X84_bit_3 -X84_bit_2 -X84_bit_1 -X84_bit0 -X84_bit1 -X84_bit2 -X84_bit3 -X84_bit4 -X84_bit5 -X84_bit6 -X84_bit7 -X84_bit8 -X84_bit9 -X84_bit10 -X84_bit11 -X84_bit12 -X85_bit_7 -X85_bit_6 -X85_bit_5 -X85_bit_4 -X85_bit_3 -X85_bit_2 -X85_bit_1 -X85_bit0 -X85_bit1 -X85_bit2 -X85_bit3 -X85_bit4 -X85_bit5 -X85_bit6 -X85_bit7 -X85_bit8 -X85_bit9 -X85_bit10 -X85_bit11 -X85_bit12 -X86_bit_7 X86_bit_6 -X86_bit_5 -X86_bit_4 -X86_bit_3 -X86_bit_2 -X86_bit_1 -X86_bit0 -X86_bit1 -X86_bit2 -X86_bit3 -X86_bit4 -X86_bit5 -X86_bit6 -X86_bit7 -X86_bit8 -X86_bit9 -X86_bit10 -X86_bit11 -X86_bit12 -X87_bit_7 -X87_bit_6 -X87_bit_5 -X87_bit_4 -X87_bit_3 -X87_bit_2 -X87_bit_1 -X87_bit0 -X87_bit1 -X87_bit2 -X87_bit3 -X87_bit4 -X87_bit5 -X87_bit6 -X87_bit7 -X87_bit8 -X87_bit9 -X87_bit10 -X87_bit11 -X87_bit12 -X88_bit_7 -X88_bit_6 -X88_bit_5 -X88_bit_4 -X88_bit_3 -X88_bit_2 -X88_bit_1 -X88_bit0 -X88_bit1 -X88_bit2 -X88_bit3 -X88_bit4 -X88_bit5 -X88_bit6 -X88_bit7 -X88_bit8 -X88_bit9 -X88_bit10 -X88_bit11 -X88_bit12 -X89_bit_7 -X89_bit_6 -X89_bit_5 -X89_bit_4 -X89_bit_3 -X89_bit_2 -X89_bit_1 X89_bit0 -X89_bit1 -X89_bit2 -X89_bit3 -X89_bit4 -X89_bit5 -X89_bit6 -X89_bit7 -X89_bit8 -X89_bit9 -X89_bit10 -X89_bit11 -X89_bit12 -X90_bit_7 -X90_bit_6 -X90_bit_5 -X90_bit_4 -X90_bit_3 -X90_bit_2 -X90_bit_1 -X90_bit0 -X90_bit1 -X90_bit2 -X90_bit3 -X90_bit4 -X90_bit5 -X90_bit6 -X90_bit7 -X90_bit8 -X90_bit9 -X90_bit10 -X90_bit11 -X90_bit12 -X91_bit_7 -X91_bit_6 -X91_bit_5 -X91_bit_4 -X91_bit_3 -X91_bit_2 -X91_bit_1 -X91_bit0 -X91_bit1 -X91_bit2 -X91_bit3 -X91_bit4 -X91_bit5 -X91_bit6 -X91_bit7 -X91_bit8 -X91_bit9 -X91_bit10 -X91_bit11 -X91_bit12 -X92_bit_7 -X92_bit_6 -X92_bit_5 -X92_bit_4 -X92_bit_3 -X92_bit_2 -X92_bit_1 -X92_bit0 -X92_bit1 -X92_bit2 -X92_bit3 -X92_bit4 -X92_bit5 -X92_bit6 -X92_bit7 -X92_bit8 -X92_bit9 -X92_bit10 -X92_bit11 -X92_bit12 -X93_bit_7 -X93_bit_6 -X93_bit_5 -X93_bit_4 -X93_bit_3 -X93_bit_2 -X93_bit_1 -X93_bit0 -X93_bit1 -X93_bit2 -X93_bit3 -X93_bit4 -X93_bit5 -X93_bit6 -X93_bit7 -X93_bit8 -X93_bit9 -X93_bit10 -X93_bit11 -X93_bit12 -X94_bit_7 -X94_bit_6 -X94_bit_5 -X94_bit_4 -X94_bit_3 -X94_bit_2 -X94_bit_1 -X94_bit0 -X94_bit1 -X94_bit2 -X94_bit3 -X94_bit4 -X94_bit5 -X94_bit6 -X94_bit7 -X94_bit8 -X94_bit9 -X94_bit10 -X94_bit11 -X94_bit12 -X95_bit_7 -X95_bit_6 -X95_bit_5 -X95_bit_4 -X95_bit_3 -X95_bit_2 -X95_bit_1 -X95_bit0 -X95_bit1 -X95_bit2 -X95_bit3 -X95_bit4 -X95_bit5 -X95_bit6 -X95_bit7 -X95_bit8 -X95_bit9 -X95_bit10 -X95_bit11 -X95_bit12 -X96_bit_7 -X96_bit_6 -X96_bit_5 -X96_bit_4 -X96_bit_3 -X96_bit_2 -X96_bit_1 -X96_bit0 -X96_bit1 -X96_bit2 -X96_bit3 -X96_bit4 -X96_bit5 -X96_bit6 -X96_bit7 -X96_bit8 -X96_bit9 -X96_bit10 -X96_bit11 -X96_bit12 -X97_bit_7 -X97_bit_6 -X97_bit_5 -X97_bit_4 -X97_bit_3 -X97_bit_2 -X97_bit_1 -X97_bit0 -X97_bit1 -X97_bit2 -X97_bit3 -X97_bit4 -X97_bit5 -X97_bit6 -X97_bit7 -X97_bit8 -X97_bit9 -X97_bit10 -X97_bit11 -X97_bit12 -X98_bit_7 X98_bit_6 -X98_bit_5 -X98_bit_4 -X98_bit_3 -X98_bit_2 -X98_bit_1 -X98_bit0 -X98_bit1 -X98_bit2 -X98_bit3 X98_bit4 -X98_bit5 -X98_bit6 -X98_bit7 -X98_bit8 -X98_bit9 -X98_bit10 -X98_bit11 -X98_bit12 -X99_bit_7 X99_bit_6 X99_bit_5 X99_bit_4 X99_bit_3 X99_bit_2 X99_bit_1 -X99_bit0 -X99_bit1 -X99_bit2 -X99_bit3 -X99_bit4 -X99_bit5 -X99_bit6 -X99_bit7 -X99_bit8 -X99_bit9 -X99_bit10 -X99_bit11 -X99_bit12 -Y0_bit0 -Y1_bit0 -Y2_bit0 -Y3_bit0 -Y4_bit0 -Y5_bit0 -Y6_bit0 Y7_bit0 -Y8_bit0 Y9_bit0 Y10_bit0 Y11_bit0 -Y12_bit0 -Y13_bit0 -Y14_bit0 -Y15_bit0 -Y16_bit0 -Y17_bit0 Y18_bit0 -Y19_bit0 -Y20_bit0 -Y21_bit0 -Y22_bit0 Y23_bit0 -Y24_bit0 -Y25_bit0 -Y26_bit0 -Y27_bit0 -Y28_bit0 -Y29_bit0 -Y30_bit0 Y31_bit0 -Y32_bit0 Y33_bit0 -Y34_bit0 Y35_bit0 -Y36_bit0 -Y37_bit0 -Y38_bit0 -Y39_bit0 -Y40_bit0 -Y41_bit0 Y42_bit0 -Y43_bit0 -Y44_bit0 -Y45_bit0 Y46_bit0 -Y47_bit0 -Y48_bit0 -Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 -Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 Y57_bit0 Y58_bit0 -Y59_bit0 -Y60_bit0 -Y61_bit0 -Y62_bit0 -Y63_bit0 Y64_bit0 -Y65_bit0 -Y66_bit0 Y67_bit0 -Y68_bit0 -Y69_bit0 -Y70_bit0 Y71_bit0 -Y72_bit0 -Y73_bit0 -Y74_bit0 -Y75_bit0 Y76_bit0 -Y77_bit0 -Y78_bit0 -Y79_bit0 Y80_bit0 Y81_bit0 -Y82_bit0 -Y83_bit0 -Y84_bit0 -Y85_bit0 Y86_bit0 -Y87_bit0 -Y88_bit0 Y89_bit0 -Y90_bit0 -Y91_bit0 -Y92_bit0 -Y93_bit0 -Y94_bit0 -Y95_bit0 -Y96_bit0 -Y97_bit0 Y98_bit0 Y99_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.94 2/54 16001
Raw data (stat): 16001 (runsolver) R 16000 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854759788 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1028 0 0 0 995 3 0 0 25 0 1 0 854759788 9854976 1002 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2406 1002 566 18 0 2388 0
vsize: 9624
[startup+20.0022 s]
Raw data (loadavg): 0.94 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1114 0 0 0 1993 5 0 0 25 0 1 0 854759788 10252288 1088 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2503 1088 566 18 0 2485 0
vsize: 10012
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1120 0 0 0 2991 7 0 0 25 0 1 0 854759788 10252288 1094 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2503 1094 566 18 0 2485 0
vsize: 10012
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1291 0 0 0 3990 8 0 0 25 0 1 0 854759788 11034624 1265 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2694 1265 566 18 0 2676 0
vsize: 10776
[startup+50.0035 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1398 0 0 0 4989 10 0 0 25 0 1 0 854759788 11427840 1372 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2790 1372 566 18 0 2772 0
vsize: 11160
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1430 0 0 0 5987 11 0 0 25 0 1 0 854759788 11554816 1404 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2821 1404 566 18 0 2803 0
vsize: 11284
[startup+70.0045 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1430 0 0 0 6985 13 0 0 25 0 1 0 854759788 11554816 1404 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2821 1404 566 18 0 2803 0
vsize: 11284
[startup+80.0047 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1430 0 0 0 7984 15 0 0 25 0 1 0 854759788 11554816 1404 4294967295 134512640 134581267 3221224576 3221223488 134527554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2821 1404 566 18 0 2803 0
vsize: 11284
[startup+90.005 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1430 0 0 0 8983 16 0 0 25 0 1 0 854759788 11554816 1404 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2821 1404 566 18 0 2803 0
vsize: 11284
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1430 0 0 0 9981 17 0 0 25 0 1 0 854759788 11554816 1404 4294967295 134512640 134581267 3221224576 3221223472 134517927 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2821 1404 566 18 0 2803 0
vsize: 11284
[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1430 0 0 0 10980 19 0 0 25 0 1 0 854759788 11554816 1404 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2821 1404 566 18 0 2803 0
vsize: 11284
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1430 0 0 0 11978 21 0 0 25 0 1 0 854759788 11554816 1404 4294967295 134512640 134581267 3221224576 3221223568 134561093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2821 1404 566 18 0 2803 0
vsize: 11284
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1430 0 0 0 12977 22 0 0 25 0 1 0 854759788 11554816 1404 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2821 1404 566 18 0 2803 0
vsize: 11284
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1598 0 0 0 13975 23 0 0 25 0 1 0 854759788 12226560 1572 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2985 1572 566 18 0 2967 0
vsize: 11940
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1623 0 0 0 14974 25 0 0 25 0 1 0 854759788 12357632 1597 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3017 1597 566 18 0 2999 0
vsize: 12068
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1623 0 0 0 15973 25 0 0 25 0 1 0 854759788 12357632 1597 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3017 1597 566 18 0 2999 0
vsize: 12068
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1623 0 0 0 16973 26 0 0 25 0 1 0 854759788 12345344 1597 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3014 1597 566 18 0 2996 0
vsize: 12056
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1623 0 0 0 17971 27 0 0 25 0 1 0 854759788 12337152 1597 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3012 1597 566 18 0 2994 0
vsize: 12048
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1623 0 0 0 18971 28 0 0 25 0 1 0 854759788 12337152 1597 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3012 1597 566 18 0 2994 0
vsize: 12048
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1631 0 0 0 19969 29 0 0 25 0 1 0 854759788 12337152 1605 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3012 1605 566 18 0 2994 0
vsize: 12048
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1631 0 0 0 20967 32 0 0 25 0 1 0 854759788 12337152 1605 4294967295 134512640 134581267 3221224576 3221223520 134559156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3012 1605 566 18 0 2994 0
vsize: 12048
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1631 0 0 0 21965 33 0 0 25 0 1 0 854759788 12337152 1605 4294967295 134512640 134581267 3221224576 3221223552 134560782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3012 1605 566 18 0 2994 0
vsize: 12048
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1631 0 0 0 22963 36 0 0 25 0 1 0 854759788 12337152 1605 4294967295 134512640 134581267 3221224576 3221223440 134526986 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3012 1605 566 18 0 2994 0
vsize: 12048
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1631 0 0 0 23961 38 0 0 25 0 1 0 854759788 12337152 1605 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3012 1605 566 18 0 2994 0
vsize: 12048
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1631 0 0 0 24957 42 0 0 25 0 1 0 854759788 12337152 1605 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3012 1605 566 18 0 2994 0
vsize: 12048
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1631 0 0 0 25956 43 0 0 25 0 1 0 854759788 12337152 1605 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3012 1605 566 18 0 2994 0
vsize: 12048
[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1631 0 0 0 26955 44 0 0 25 0 1 0 854759788 12337152 1605 4294967295 134512640 134581267 3221224576 3221223520 134559425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3012 1605 566 18 0 2994 0
vsize: 12048
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1631 0 0 0 27953 46 0 0 25 0 1 0 854759788 12337152 1605 4294967295 134512640 134581267 3221224576 3221223352 1075291317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3012 1605 566 18 0 2994 0
vsize: 12048
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1662 0 0 0 28951 48 0 0 25 0 1 0 854759788 12468224 1636 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3044 1636 566 18 0 3026 0
vsize: 12176
[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1662 0 0 0 29950 50 0 0 25 0 1 0 854759788 12468224 1636 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3044 1636 566 18 0 3026 0
vsize: 12176
[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1662 0 0 0 30946 53 0 0 25 0 1 0 854759788 12468224 1636 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3044 1636 566 18 0 3026 0
vsize: 12176
[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1662 0 0 0 31942 57 0 0 25 0 1 0 854759788 12468224 1636 4294967295 134512640 134581267 3221224576 3221223440 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3044 1636 566 18 0 3026 0
vsize: 12176
[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1662 0 0 0 32941 58 0 0 25 0 1 0 854759788 12468224 1636 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3044 1636 566 18 0 3026 0
vsize: 12176
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1662 0 0 0 33939 60 0 0 25 0 1 0 854759788 12468224 1636 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3044 1636 566 18 0 3026 0
vsize: 12176
[startup+350.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1662 0 0 0 34937 62 0 0 25 0 1 0 854759788 12468224 1636 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3044 1636 566 18 0 3026 0
vsize: 12176
[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1662 0 0 0 35936 64 0 0 25 0 1 0 854759788 12468224 1636 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3044 1636 566 18 0 3026 0
vsize: 12176
[startup+370.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1662 0 0 0 36935 64 0 0 25 0 1 0 854759788 12468224 1636 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3044 1636 566 18 0 3026 0
vsize: 12176
[startup+380.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1662 0 0 0 37933 67 0 0 25 0 1 0 854759788 12468224 1636 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3044 1636 566 18 0 3026 0
vsize: 12176
[startup+390.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1662 0 0 0 38931 69 0 0 25 0 1 0 854759788 12468224 1636 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3044 1636 566 18 0 3026 0
vsize: 12176
[startup+400.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1701 0 0 0 39929 71 0 0 25 0 1 0 854759788 12730368 1675 4294967295 134512640 134581267 3221224576 3221223504 134519937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3108 1675 566 18 0 3090 0
vsize: 12432
[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1701 0 0 0 40927 73 0 0 25 0 1 0 854759788 12722176 1675 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3106 1675 566 18 0 3088 0
vsize: 12424
[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1738 0 0 0 41926 74 0 0 25 0 1 0 854759788 12853248 1712 4294967295 134512640 134581267 3221224576 3221223488 134527720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3138 1712 566 18 0 3120 0
vsize: 12552
[startup+430.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1740 0 0 0 42925 75 0 0 25 0 1 0 854759788 12853248 1714 4294967295 134512640 134581267 3221224576 3221223440 134528324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3138 1714 566 18 0 3120 0
vsize: 12552
[startup+440.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1749 0 0 0 43924 76 0 0 25 0 1 0 854759788 12853248 1723 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3138 1723 566 18 0 3120 0
vsize: 12552
[startup+450.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1752 0 0 0 44923 77 0 0 25 0 1 0 854759788 12853248 1726 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3138 1726 566 18 0 3120 0
vsize: 12552
[startup+460.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1812 0 0 0 45922 79 0 0 25 0 1 0 854759788 13119488 1786 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3203 1786 566 18 0 3185 0
vsize: 12812
[startup+470.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1923 0 0 0 46921 80 0 0 25 0 1 0 854759788 13520896 1897 4294967295 134512640 134581267 3221224576 3221223488 134527782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3301 1897 566 18 0 3283 0
vsize: 13204
[startup+480.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1923 0 0 0 47919 82 0 0 25 0 1 0 854759788 13373440 1862 4294967295 134512640 134581267 3221224576 3221223440 134528291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3265 1862 566 18 0 3247 0
vsize: 13060
[startup+490.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1923 0 0 0 48918 83 0 0 25 0 1 0 854759788 13373440 1862 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3265 1862 566 18 0 3247 0
vsize: 13060
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1923 0 0 0 49917 84 0 0 25 0 1 0 854759788 13373440 1862 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3265 1862 566 18 0 3247 0
vsize: 13060
[startup+510.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1923 0 0 0 50915 86 0 0 25 0 1 0 854759788 13373440 1862 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3265 1862 566 18 0 3247 0
vsize: 13060
[startup+520.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1923 0 0 0 51913 88 0 0 25 0 1 0 854759788 13373440 1862 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3265 1862 566 18 0 3247 0
vsize: 13060
[startup+530.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1923 0 0 0 52912 89 0 0 25 0 1 0 854759788 13373440 1862 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3265 1862 566 18 0 3247 0
vsize: 13060
[startup+540.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1923 0 0 0 53911 91 0 0 25 0 1 0 854759788 13373440 1862 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3265 1862 566 18 0 3247 0
vsize: 13060
[startup+550.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1923 0 0 0 54911 91 0 0 25 0 1 0 854759788 13373440 1862 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3265 1862 566 18 0 3247 0
vsize: 13060
[startup+560.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1923 0 0 0 55909 93 0 0 25 0 1 0 854759788 13373440 1862 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3265 1862 566 18 0 3247 0
vsize: 13060
[startup+570.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1926 0 0 0 56907 95 0 0 25 0 1 0 854759788 13488128 1865 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3293 1865 566 18 0 3275 0
vsize: 13172
[startup+580.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1926 0 0 0 57906 97 0 0 25 0 1 0 854759788 13479936 1865 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 1865 566 18 0 3273 0
vsize: 13164
[startup+590.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1933 0 0 0 58904 99 0 0 25 0 1 0 854759788 13479936 1872 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 1872 566 18 0 3273 0
vsize: 13164
[startup+600.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1933 0 0 0 59903 100 0 0 25 0 1 0 854759788 13479936 1872 4294967295 134512640 134581267 3221224576 3221223520 134559425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 1872 566 18 0 3273 0
vsize: 13164
[startup+610.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1933 0 0 0 60902 101 0 0 25 0 1 0 854759788 13479936 1872 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 1872 566 18 0 3273 0
vsize: 13164
[startup+620.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1933 0 0 0 61900 103 0 0 25 0 1 0 854759788 13479936 1872 4294967295 134512640 134581267 3221224576 3221223440 134528302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 1872 566 18 0 3273 0
vsize: 13164
[startup+630.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1933 0 0 0 62899 105 0 0 25 0 1 0 854759788 13479936 1872 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 1872 566 18 0 3273 0
vsize: 13164
[startup+640.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1933 0 0 0 63898 106 0 0 25 0 1 0 854759788 13479936 1872 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 1872 566 18 0 3273 0
vsize: 13164
[startup+650.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1933 0 0 0 64896 108 0 0 25 0 1 0 854759788 13479936 1872 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 1872 566 18 0 3273 0
vsize: 13164
[startup+660.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1933 0 0 0 65894 110 0 0 25 0 1 0 854759788 13479936 1872 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 1872 566 18 0 3273 0
vsize: 13164
[startup+670.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1933 0 0 0 66894 111 0 0 25 0 1 0 854759788 13479936 1872 4294967295 134512640 134581267 3221224576 3221223680 134563245 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 1872 566 18 0 3273 0
vsize: 13164
[startup+680.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1933 0 0 0 67893 112 0 0 25 0 1 0 854759788 13479936 1872 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 1872 566 18 0 3273 0
vsize: 13164
[startup+690.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1933 0 0 0 68892 113 0 0 25 0 1 0 854759788 13479936 1872 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 1872 566 18 0 3273 0
vsize: 13164
[startup+700.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1933 0 0 0 69891 115 0 0 25 0 1 0 854759788 13479936 1872 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 1872 566 18 0 3273 0
vsize: 13164
[startup+710.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1933 0 0 0 70890 116 0 0 25 0 1 0 854759788 13479936 1872 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 1872 566 18 0 3273 0
vsize: 13164
[startup+720.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1933 0 0 0 71889 117 0 0 25 0 1 0 854759788 13479936 1872 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 1872 566 18 0 3273 0
vsize: 13164
[startup+730.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1933 0 0 0 72889 117 0 0 25 0 1 0 854759788 13479936 1872 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 1872 566 18 0 3273 0
vsize: 13164
[startup+740.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 1933 0 0 0 73888 118 0 0 25 0 1 0 854759788 13479936 1872 4294967295 134512640 134581267 3221224576 3221223428 134527197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 1872 566 18 0 3273 0
vsize: 13164
[startup+750.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2087 0 0 0 74887 119 0 0 25 0 1 0 854759788 14143488 2026 4294967295 134512640 134581267 3221224576 3221223264 1075288931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3453 2026 566 18 0 3435 0
vsize: 13812
[startup+760.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2132 0 0 0 75886 120 0 0 25 0 1 0 854759788 14274560 2071 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3485 2071 566 18 0 3467 0
vsize: 13940
[startup+770.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2158 0 0 0 76886 121 0 0 25 0 1 0 854759788 14405632 2097 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3517 2097 566 18 0 3499 0
vsize: 14068
[startup+780.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2158 0 0 0 77885 122 0 0 25 0 1 0 854759788 14159872 2054 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3457 2054 566 18 0 3439 0
vsize: 13828
[startup+790.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2158 0 0 0 78885 122 0 0 25 0 1 0 854759788 14147584 2051 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3454 2051 566 18 0 3436 0
vsize: 13816
[startup+800.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2158 0 0 0 79883 124 0 0 25 0 1 0 854759788 14143488 2050 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3453 2050 566 18 0 3435 0
vsize: 13812
[startup+810.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2158 0 0 0 80882 125 0 0 25 0 1 0 854759788 14131200 2047 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3450 2047 566 18 0 3432 0
vsize: 13800
[startup+820.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2158 0 0 0 81882 126 0 0 25 0 1 0 854759788 14131200 2047 4294967295 134512640 134581267 3221224576 3221223396 1075289788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3450 2047 566 18 0 3432 0
vsize: 13800
[startup+830.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2158 0 0 0 82881 127 0 0 25 0 1 0 854759788 14131200 2047 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3450 2047 566 18 0 3432 0
vsize: 13800
[startup+840.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2158 0 0 0 83881 127 0 0 25 0 1 0 854759788 14131200 2047 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3450 2047 566 18 0 3432 0
vsize: 13800
[startup+850.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2158 0 0 0 84880 129 0 0 25 0 1 0 854759788 14131200 2047 4294967295 134512640 134581267 3221224576 3221223488 134527955 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3450 2047 566 18 0 3432 0
vsize: 13800
[startup+860.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2158 0 0 0 85879 130 0 0 25 0 1 0 854759788 14131200 2047 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3450 2047 566 18 0 3432 0
vsize: 13800
[startup+870.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2158 0 0 0 86878 131 0 0 25 0 1 0 854759788 14131200 2047 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3450 2047 566 18 0 3432 0
vsize: 13800
[startup+880.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2158 0 0 0 87877 132 0 0 25 0 1 0 854759788 14131200 2047 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3450 2047 566 18 0 3432 0
vsize: 13800
[startup+890.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2158 0 0 0 88875 133 0 0 25 0 1 0 854759788 14131200 2047 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3450 2047 566 18 0 3432 0
vsize: 13800
[startup+900.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2158 0 0 0 89873 136 0 0 25 0 1 0 854759788 14131200 2047 4294967295 134512640 134581267 3221224576 3221223440 134528293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3450 2047 566 18 0 3432 0
vsize: 13800
[startup+910.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2158 0 0 0 90871 138 0 0 25 0 1 0 854759788 14131200 2047 4294967295 134512640 134581267 3221224576 3221223440 134560328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3450 2047 566 18 0 3432 0
vsize: 13800
[startup+920.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2158 0 0 0 91870 139 0 0 25 0 1 0 854759788 14131200 2047 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3450 2047 566 18 0 3432 0
vsize: 13800
[startup+930.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2158 0 0 0 92869 141 0 0 25 0 1 0 854759788 14131200 2047 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3450 2047 566 18 0 3432 0
vsize: 13800
[startup+940.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2158 0 0 0 93866 144 0 0 25 0 1 0 854759788 14131200 2047 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3450 2047 566 18 0 3432 0
vsize: 13800
[startup+950.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2158 0 0 0 94865 145 0 0 25 0 1 0 854759788 14131200 2047 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3450 2047 566 18 0 3432 0
vsize: 13800
[startup+960.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2158 0 0 0 95863 147 0 0 25 0 1 0 854759788 14131200 2047 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3450 2047 566 18 0 3432 0
vsize: 13800
[startup+970.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2287 0 0 0 96862 148 0 0 25 0 1 0 854759788 14770176 2176 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3606 2176 566 18 0 3588 0
vsize: 14424
[startup+980.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2287 0 0 0 97861 149 0 0 25 0 1 0 854759788 14770176 2176 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3606 2176 566 18 0 3588 0
vsize: 14424
[startup+990.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2287 0 0 0 98861 150 0 0 25 0 1 0 854759788 14770176 2176 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3606 2176 566 18 0 3588 0
vsize: 14424
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2287 0 0 0 99860 151 0 0 25 0 1 0 854759788 14770176 2176 4294967295 134512640 134581267 3221224576 3221223440 134528318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3606 2176 566 18 0 3588 0
vsize: 14424
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2287 0 0 0 100860 152 0 0 25 0 1 0 854759788 14770176 2176 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3606 2176 566 18 0 3588 0
vsize: 14424
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2287 0 0 0 101859 152 0 0 25 0 1 0 854759788 14770176 2176 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3606 2176 566 18 0 3588 0
vsize: 14424
[startup+1030.03 s]
Raw data (loadavg): 1.07 1.00 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2287 0 0 0 102859 153 0 0 25 0 1 0 854759788 14770176 2176 4294967295 134512640 134581267 3221224576 3221223520 134559422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3606 2176 566 18 0 3588 0
vsize: 14424
[startup+1040.03 s]
Raw data (loadavg): 1.06 1.00 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2287 0 0 0 103857 154 0 0 25 0 1 0 854759788 14770176 2176 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3606 2176 566 18 0 3588 0
vsize: 14424
[startup+1050.03 s]
Raw data (loadavg): 1.05 1.00 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2287 0 0 0 104857 155 0 0 25 0 1 0 854759788 14770176 2176 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3606 2176 566 18 0 3588 0
vsize: 14424
[startup+1060.03 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2287 0 0 0 105855 157 0 0 25 0 1 0 854759788 14770176 2176 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3606 2176 566 18 0 3588 0
vsize: 14424
[startup+1070.03 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2287 0 0 0 106854 158 0 0 25 0 1 0 854759788 14770176 2176 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3606 2176 566 18 0 3588 0
vsize: 14424
[startup+1080.03 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2287 0 0 0 107853 159 0 0 25 0 1 0 854759788 14770176 2176 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3606 2176 566 18 0 3588 0
vsize: 14424
[startup+1090.03 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2287 0 0 0 108852 161 0 0 25 0 1 0 854759788 14770176 2176 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3606 2176 566 18 0 3588 0
vsize: 14424
[startup+1100.03 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2287 0 0 0 109852 161 0 0 25 0 1 0 854759788 14770176 2176 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3606 2176 566 18 0 3588 0
vsize: 14424
[startup+1110.03 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2287 0 0 0 110849 164 0 0 25 0 1 0 854759788 14770176 2176 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3606 2176 566 18 0 3588 0
vsize: 14424
[startup+1120.03 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2287 0 0 0 111846 167 0 0 25 0 1 0 854759788 14770176 2176 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3606 2176 566 18 0 3588 0
vsize: 14424
[startup+1130.03 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2287 0 0 0 112844 170 0 0 25 0 1 0 854759788 14770176 2176 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3606 2176 566 18 0 3588 0
vsize: 14424
[startup+1140.03 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2287 0 0 0 113842 172 0 0 25 0 1 0 854759788 14770176 2176 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3606 2176 566 18 0 3588 0
vsize: 14424
[startup+1150.03 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2287 0 0 0 114842 172 0 0 25 0 1 0 854759788 14770176 2176 4294967295 134512640 134581267 3221224576 3221223488 134527516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3606 2176 566 18 0 3588 0
vsize: 14424
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2550 0 0 0 115841 173 0 0 25 0 1 0 854759788 15810560 2439 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3860 2439 566 18 0 3842 0
vsize: 15440
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2643 0 0 0 116841 174 0 0 25 0 1 0 854759788 16199680 2532 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3955 2532 566 18 0 3937 0
vsize: 15820
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2643 0 0 0 117839 176 0 0 25 0 1 0 854759788 16130048 2532 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3938 2532 566 18 0 3920 0
vsize: 15752
[startup+1188.9 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 16001
Raw data (stat): 16001 (Pueblo-v2) R 16000 7266 7265 0 -1 0 2643 0 0 0 117839 176 0 0 25 0 1 0 854759788 16130048 2532 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3938 2532 566 18 0 3920 0
vsize: 0

Child status: 10
Real time (s): 1188.9
CPU time (s): 1189.01
CPU user time (s): 1187.24
CPU system time (s): 1.77773
CPU usage (%): 100.01
Max. virtual memory (Kb): 15820
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	2869501
#### END VERIFIER DATA ####