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-ran10x10a.opb
MD5SUM	133d42fd76e8bbd92509939943f41498
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	398336
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	539671039
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	4718592
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	539671039
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	913.784
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 39283

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-03 02:09:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27349 boxname=wulflinc3 idbench=1477 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  133d42fd76e8bbd92509939943f41498  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-ran10x10a.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-ran10x10a.opb
IDLAUNCH: 27349
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        334216 kB
Buffers:         29524 kB
Cached:         648740 kB
SwapCached:        240 kB
Active:          37256 kB
Inactive:       643532 kB
HighTotal:      131008 kB
HighFree:        23548 kB
LowTotal:       903652 kB
LowFree:        310668 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6212 kB
Slab:            14012 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 02:29:31 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 27349 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/wulflinc3/normalized-mps-v2-13-7-ran10x10a.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.85 0.95 0.90 2/54 22457
Raw data (stat): 22457 (runsolver) R 22456 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854708519 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99985 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 906 0 0 0 996 2 0 0 25 0 1 0 854708519 9469952 880 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2312 880 566 18 0 2294 0
vsize: 9248
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1029 0 0 0 1994 5 0 0 25 0 1 0 854708519 9867264 1003 4294967295 134512640 134581267 3221224576 3221223536 134554637 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2409 1003 566 18 0 2391 0
vsize: 9636
[startup+30.0019 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1085 0 0 0 2993 6 0 0 25 0 1 0 854708519 10129408 1059 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2473 1059 566 18 0 2455 0
vsize: 9892
[startup+40.0015 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1241 0 0 0 3992 7 0 0 25 0 1 0 854708519 10792960 1215 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2635 1215 566 18 0 2617 0
vsize: 10540
[startup+50.0028 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1241 0 0 0 4991 8 0 0 25 0 1 0 854708519 10735616 1215 4294967295 134512640 134581267 3221224576 3221223488 134527548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2621 1215 566 18 0 2603 0
vsize: 10484
[startup+60.0027 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1241 0 0 0 5989 11 0 0 25 0 1 0 854708519 10661888 1201 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2603 1201 566 18 0 2585 0
vsize: 10412
[startup+70.0033 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1249 0 0 0 6988 11 0 0 25 0 1 0 854708519 10792960 1209 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2635 1209 566 18 0 2617 0
vsize: 10540
[startup+80.0046 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1253 0 0 0 7987 12 0 0 25 0 1 0 854708519 10792960 1213 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2635 1213 566 18 0 2617 0
vsize: 10540
[startup+90.0045 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1272 0 0 0 8986 14 0 0 25 0 1 0 854708519 10792960 1232 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2635 1232 566 18 0 2617 0
vsize: 10540
[startup+100.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1272 0 0 0 9985 15 0 0 25 0 1 0 854708519 10792960 1232 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2635 1232 566 18 0 2617 0
vsize: 10540
[startup+110.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1272 0 0 0 10985 15 0 0 25 0 1 0 854708519 10792960 1232 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2635 1232 566 18 0 2617 0
vsize: 10540
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1272 0 0 0 11984 16 0 0 25 0 1 0 854708519 10792960 1232 4294967295 134512640 134581267 3221224576 3221223520 134558840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2635 1232 566 18 0 2617 0
vsize: 10540
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1330 0 0 0 12984 17 0 0 25 0 1 0 854708519 11063296 1290 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2701 1290 566 18 0 2683 0
vsize: 10804
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1330 0 0 0 13983 18 0 0 25 0 1 0 854708519 11063296 1290 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2701 1290 566 18 0 2683 0
vsize: 10804
[startup+150.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1330 0 0 0 14983 19 0 0 25 0 1 0 854708519 11063296 1290 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2701 1290 566 18 0 2683 0
vsize: 10804
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1330 0 0 0 15982 19 0 0 25 0 1 0 854708519 11063296 1290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2701 1290 566 18 0 2683 0
vsize: 10804
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1330 0 0 0 16982 20 0 0 25 0 1 0 854708519 11063296 1290 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2701 1290 566 18 0 2683 0
vsize: 10804
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1345 0 0 0 17981 20 0 0 25 0 1 0 854708519 11194368 1305 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2733 1305 566 18 0 2715 0
vsize: 10932
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1428 0 0 0 18980 22 0 0 25 0 1 0 854708519 11448320 1388 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2795 1388 566 18 0 2777 0
vsize: 11180
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1432 0 0 0 19978 24 0 0 25 0 1 0 854708519 11448320 1392 4294967295 134512640 134581267 3221224576 3221223440 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2795 1392 566 18 0 2777 0
vsize: 11180
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1489 0 0 0 20978 24 0 0 25 0 1 0 854708519 11710464 1449 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2859 1449 566 18 0 2841 0
vsize: 11436
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1607 0 0 0 21977 25 0 0 25 0 1 0 854708519 12234752 1567 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2987 1567 566 18 0 2969 0
vsize: 11948
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1615 0 0 0 22977 26 0 0 25 0 1 0 854708519 12234752 1575 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2987 1575 566 18 0 2969 0
vsize: 11948
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1617 0 0 0 23977 26 0 0 25 0 1 0 854708519 12234752 1577 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2987 1577 566 18 0 2969 0
vsize: 11948
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1617 0 0 0 24976 27 0 0 25 0 1 0 854708519 12234752 1577 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2987 1577 566 18 0 2969 0
vsize: 11948
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1617 0 0 0 25976 27 0 0 25 0 1 0 854708519 12234752 1577 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2987 1577 566 18 0 2969 0
vsize: 11948
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1617 0 0 0 26976 28 0 0 25 0 1 0 854708519 12234752 1577 4294967295 134512640 134581267 3221224576 3221223472 134527747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2987 1577 566 18 0 2969 0
vsize: 11948
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1617 0 0 0 27975 29 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1617 0 0 0 28975 29 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1617 0 0 0 29974 31 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1617 0 0 0 30973 32 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1617 0 0 0 31973 32 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1617 0 0 0 32972 33 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1617 0 0 0 33971 34 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1617 0 0 0 34971 35 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1617 0 0 0 35970 35 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1617 0 0 0 36970 36 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223504 134519850 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1617 0 0 0 37969 37 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1617 0 0 0 38969 38 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1638 0 0 0 39968 38 0 0 25 0 1 0 854708519 12279808 1585 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2998 1585 566 18 0 2980 0
vsize: 11992
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1638 0 0 0 40967 39 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1638 0 0 0 41966 41 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1638 0 0 0 42966 41 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1638 0 0 0 43965 42 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1638 0 0 0 44965 43 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1638 0 0 0 45964 43 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1638 0 0 0 46964 44 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1638 0 0 0 47964 44 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1638 0 0 0 48963 45 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1638 0 0 0 49963 45 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223488 134527661 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1638 0 0 0 50963 46 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1638 0 0 0 51962 47 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1638 0 0 0 52961 48 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1638 0 0 0 53959 50 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1638 0 0 0 54954 55 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1638 0 0 0 55952 57 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223440 134527082 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1638 0 0 0 56950 60 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1638 0 0 0 57949 61 0 0 25 0 1 0 854708519 12148736 1564 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1564 566 18 0 2948 0
vsize: 11864
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1675 0 0 0 58949 62 0 0 25 0 1 0 854708519 12410880 1601 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3030 1601 566 18 0 3012 0
vsize: 12120
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1685 0 0 0 59947 63 0 0 25 0 1 0 854708519 12410880 1611 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3030 1611 566 18 0 3012 0
vsize: 12120
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1685 0 0 0 60947 64 0 0 25 0 1 0 854708519 12410880 1611 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3030 1611 566 18 0 3012 0
vsize: 12120
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1685 0 0 0 61947 64 0 0 25 0 1 0 854708519 12410880 1611 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3030 1611 566 18 0 3012 0
vsize: 12120
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1686 0 0 0 62946 65 0 0 25 0 1 0 854708519 12410880 1612 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3030 1612 566 18 0 3012 0
vsize: 12120
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1695 0 0 0 63946 66 0 0 25 0 1 0 854708519 12410880 1621 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3030 1621 566 18 0 3012 0
vsize: 12120
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1695 0 0 0 64945 66 0 0 25 0 1 0 854708519 12410880 1621 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3030 1621 566 18 0 3012 0
vsize: 12120
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1695 0 0 0 65942 69 0 0 25 0 1 0 854708519 12410880 1621 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3030 1621 566 18 0 3012 0
vsize: 12120
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1695 0 0 0 66940 72 0 0 25 0 1 0 854708519 12410880 1621 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3030 1621 566 18 0 3012 0
vsize: 12120
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1717 0 0 0 67938 74 0 0 25 0 1 0 854708519 12537856 1643 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3061 1643 566 18 0 3043 0
vsize: 12244
[startup+690.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1776 0 0 0 68938 75 0 0 25 0 1 0 854708519 12800000 1702 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3125 1702 566 18 0 3107 0
vsize: 12500
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1806 0 0 0 69937 75 0 0 25 0 1 0 854708519 12931072 1732 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1732 566 18 0 3139 0
vsize: 12628
[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1806 0 0 0 70937 75 0 0 25 0 1 0 854708519 12931072 1732 4294967295 134512640 134581267 3221224576 3221223440 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1732 566 18 0 3139 0
vsize: 12628
[startup+720.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1822 0 0 0 71937 76 0 0 25 0 1 0 854708519 12931072 1748 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1748 566 18 0 3139 0
vsize: 12628
[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1822 0 0 0 72936 77 0 0 25 0 1 0 854708519 12931072 1748 4294967295 134512640 134581267 3221224576 3221223472 134517762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1748 566 18 0 3139 0
vsize: 12628
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1822 0 0 0 73936 77 0 0 25 0 1 0 854708519 12931072 1748 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1748 566 18 0 3139 0
vsize: 12628
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1822 0 0 0 74936 78 0 0 25 0 1 0 854708519 12931072 1748 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1748 566 18 0 3139 0
vsize: 12628
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1822 0 0 0 75935 78 0 0 25 0 1 0 854708519 12931072 1748 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1748 566 18 0 3139 0
vsize: 12628
[startup+770.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1822 0 0 0 76935 79 0 0 25 0 1 0 854708519 12926976 1748 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3156 1748 566 18 0 3138 0
vsize: 12624
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1822 0 0 0 77934 80 0 0 25 0 1 0 854708519 12922880 1748 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3155 1748 566 18 0 3137 0
vsize: 12620
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1822 0 0 0 78933 81 0 0 25 0 1 0 854708519 12873728 1741 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3143 1741 566 18 0 3125 0
vsize: 12572
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1822 0 0 0 79933 81 0 0 25 0 1 0 854708519 12873728 1741 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3143 1741 566 18 0 3125 0
vsize: 12572
[startup+810.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1822 0 0 0 80933 82 0 0 25 0 1 0 854708519 12873728 1741 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3143 1741 566 18 0 3125 0
vsize: 12572
[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1822 0 0 0 81933 82 0 0 25 0 1 0 854708519 12873728 1741 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3143 1741 566 18 0 3125 0
vsize: 12572
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1822 0 0 0 82932 82 0 0 25 0 1 0 854708519 12873728 1741 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3143 1741 566 18 0 3125 0
vsize: 12572
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1822 0 0 0 83932 83 0 0 25 0 1 0 854708519 12873728 1741 4294967295 134512640 134581267 3221224576 3221223488 134527943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3143 1741 566 18 0 3125 0
vsize: 12572
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1822 0 0 0 84932 83 0 0 25 0 1 0 854708519 12873728 1741 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3143 1741 566 18 0 3125 0
vsize: 12572
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1822 0 0 0 85932 83 0 0 25 0 1 0 854708519 12873728 1741 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3143 1741 566 18 0 3125 0
vsize: 12572
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1833 0 0 0 86931 84 0 0 25 0 1 0 854708519 13004800 1752 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3175 1752 566 18 0 3157 0
vsize: 12700
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 87931 84 0 0 25 0 1 0 854708519 13004800 1753 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3175 1753 566 18 0 3157 0
vsize: 12700
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 88931 85 0 0 25 0 1 0 854708519 12951552 1753 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3162 1753 566 18 0 3144 0
vsize: 12648
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 89931 85 0 0 25 0 1 0 854708519 12869632 1740 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3142 1740 566 18 0 3124 0
vsize: 12568
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 90931 85 0 0 25 0 1 0 854708519 12865536 1739 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3141 1739 566 18 0 3123 0
vsize: 12564
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 91931 86 0 0 25 0 1 0 854708519 12865536 1739 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3141 1739 566 18 0 3123 0
vsize: 12564
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 92931 86 0 0 25 0 1 0 854708519 12861440 1738 4294967295 134512640 134581267 3221224576 3221223440 134528318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3140 1738 566 18 0 3122 0
vsize: 12560
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 93931 86 0 0 25 0 1 0 854708519 12857344 1737 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3139 1737 566 18 0 3121 0
vsize: 12556
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 94931 86 0 0 25 0 1 0 854708519 12857344 1737 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3139 1737 566 18 0 3121 0
vsize: 12556
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 95929 88 0 0 25 0 1 0 854708519 12845056 1734 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3136 1734 566 18 0 3118 0
vsize: 12544
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 96928 89 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 97926 91 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 98925 93 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 99923 94 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 100922 96 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223488 134527955 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 101921 97 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 102920 98 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 103919 99 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 104917 102 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223488 134527707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 105914 105 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223440 134560354 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 106911 108 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 107909 110 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 108907 113 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 109906 114 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223488 134527516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 110905 115 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223264 1075288258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 111903 117 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 112901 119 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 113898 122 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 114896 124 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 115893 128 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 116890 131 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 117888 133 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 12536
[startup+1188.84 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 22457
Raw data (stat): 22457 (Pueblo-v2) R 22456 20224 20223 0 -1 0 1834 0 0 0 117888 133 0 0 25 0 1 0 854708519 12836864 1732 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3134 1732 566 18 0 3116 0
vsize: 0

Child status: 10
Real time (s): 1188.84
CPU time (s): 1189.02
CPU user time (s): 1187.67
CPU system time (s): 1.35079
CPU usage (%): 100.015
Max. virtual memory (Kb): 12700
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	398336
#### END VERIFIER DATA ####