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/MIPLIB/miplib/normalized-mps-v2-13-7-mod013.opb
MD5SUM	b964292d4197638ce79b3f213e8fe89b
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5130240
Optimality of the best value was proved	NO
Number of terms in the objective function	1008
Biggest coefficient in the objective function	366477312
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	12643636975
Number of bits of the sum of numbers in the objective function	34
Biggest number in a constraint	366477312
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	12643636975
Number of bits of the biggest sum of numbers	34
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	1008
Total number of constraints	110
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	48
Number of constraints which are nor clauses,nor cardinality constraints	62
Minimum length of a constraint	1
Maximum length of a constraint	160
Trace number 27446

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-24 21:49:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17050 boxname=wulflinc5 idbench=1312 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  b964292d4197638ce79b3f213e8fe89b  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-mod013.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-mod013.opb
IDLAUNCH: 17050
/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:        896428 kB
Buffers:          8288 kB
Cached:         105980 kB
SwapCached:       3780 kB
Active:          19616 kB
Inactive:       100444 kB
HighTotal:      131008 kB
HighFree:        49588 kB
LowTotal:       903652 kB
LowFree:        846840 kB
SwapTotal:     2097136 kB
SwapFree:      2092924 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5744 kB
Slab:            12492 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 22:09:36 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 17050 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-mod013.opb
c #variables read: 1008 - #constraints read: 125
s SATISFIABLE
v -C1_0x2e__bit_7 -C1_0x2e__bit_6 -C1_0x2e__bit_5 -C1_0x2e__bit_4 -C1_0x2e__bit_3 -C1_0x2e__bit_2 -C1_0x2e__bit_1 C1_0x2e__bit0 C1_0x2e__bit1 -C1_0x2e__bit2 -C1_0x2e__bit3 -C1_0x2e__bit4 C1_0x2e__bit5 -C1_0x2e__bit6 -C1_0x2e__bit7 -C1_0x2e__bit8 -C1_0x2e__bit9 -C1_0x2e__bit10 -C1_0x2e__bit11 -C1_0x2e__bit12 -C2_0x2e__bit_7 -C2_0x2e__bit_6 -C2_0x2e__bit_5 -C2_0x2e__bit_4 -C2_0x2e__bit_3 -C2_0x2e__bit_2 -C2_0x2e__bit_1 -C2_0x2e__bit0 -C2_0x2e__bit1 -C2_0x2e__bit2 -C2_0x2e__bit3 -C2_0x2e__bit4 -C2_0x2e__bit5 -C2_0x2e__bit6 -C2_0x2e__bit7 -C2_0x2e__bit8 -C2_0x2e__bit9 -C2_0x2e__bit10 -C2_0x2e__bit11 -C2_0x2e__bit12 -C3_0x2e__bit_7 -C3_0x2e__bit_6 -C3_0x2e__bit_5 -C3_0x2e__bit_4 -C3_0x2e__bit_3 -C3_0x2e__bit_2 -C3_0x2e__bit_1 -C3_0x2e__bit0 -C3_0x2e__bit1 -C3_0x2e__bit2 -C3_0x2e__bit3 -C3_0x2e__bit4 -C3_0x2e__bit5 -C3_0x2e__bit6 -C3_0x2e__bit7 -C3_0x2e__bit8 -C3_0x2e__bit9 -C3_0x2e__bit10 -C3_0x2e__bit11 -C3_0x2e__bit12 -C4_0x2e__bit_7 -C4_0x2e__bit_6 -C4_0x2e__bit_5 -C4_0x2e__bit_4 -C4_0x2e__bit_3 -C4_0x2e__bit_2 -C4_0x2e__bit_1 -C4_0x2e__bit0 -C4_0x2e__bit1 -C4_0x2e__bit2 -C4_0x2e__bit3 -C4_0x2e__bit4 -C4_0x2e__bit5 -C4_0x2e__bit6 -C4_0x2e__bit7 -C4_0x2e__bit8 -C4_0x2e__bit9 -C4_0x2e__bit10 -C4_0x2e__bit11 -C4_0x2e__bit12 -C5_0x2e__bit_7 -C5_0x2e__bit_6 -C5_0x2e__bit_5 -C5_0x2e__bit_4 -C5_0x2e__bit_3 -C5_0x2e__bit_2 -C5_0x2e__bit_1 C5_0x2e__bit0 -C5_0x2e__bit1 C5_0x2e__bit2 -C5_0x2e__bit3 -C5_0x2e__bit4 -C5_0x2e__bit5 -C5_0x2e__bit6 -C5_0x2e__bit7 -C5_0x2e__bit8 -C5_0x2e__bit9 -C5_0x2e__bit10 -C5_0x2e__bit11 -C5_0x2e__bit12 -C6_0x2e__bit_7 -C6_0x2e__bit_6 -C6_0x2e__bit_5 -C6_0x2e__bit_4 -C6_0x2e__bit_3 -C6_0x2e__bit_2 -C6_0x2e__bit_1 -C6_0x2e__bit0 -C6_0x2e__bit1 -C6_0x2e__bit2 -C6_0x2e__bit3 -C6_0x2e__bit4 -C6_0x2e__bit5 -C6_0x2e__bit6 -C6_0x2e__bit7 -C6_0x2e__bit8 -C6_0x2e__bit9 -C6_0x2e__bit10 -C6_0x2e__bit11 -C6_0x2e__bit12 -C7_0x2e__bit_7 -C7_0x2e__bit_6 -C7_0x2e__bit_5 -C7_0x2e__bit_4 -C7_0x2e__bit_3 -C7_0x2e__bit_2 -C7_0x2e__bit_1 -C7_0x2e__bit0 -C7_0x2e__bit1 -C7_0x2e__bit2 -C7_0x2e__bit3 -C7_0x2e__bit4 -C7_0x2e__bit5 -C7_0x2e__bit6 -C7_0x2e__bit7 -C7_0x2e__bit8 -C7_0x2e__bit9 -C7_0x2e__bit10 -C7_0x2e__bit11 -C7_0x2e__bit12 -C8_0x2e__bit_7 -C8_0x2e__bit_6 -C8_0x2e__bit_5 -C8_0x2e__bit_4 -C8_0x2e__bit_3 -C8_0x2e__bit_2 -C8_0x2e__bit_1 C8_0x2e__bit0 -C8_0x2e__bit1 C8_0x2e__bit2 -C8_0x2e__bit3 -C8_0x2e__bit4 -C8_0x2e__bit5 -C8_0x2e__bit6 -C8_0x2e__bit7 -C8_0x2e__bit8 -C8_0x2e__bit9 -C8_0x2e__bit10 -C8_0x2e__bit11 -C8_0x2e__bit12 -C9_0x2e__bit_7 -C9_0x2e__bit_6 -C9_0x2e__bit_5 -C9_0x2e__bit_4 -C9_0x2e__bit_3 -C9_0x2e__bit_2 -C9_0x2e__bit_1 -C9_0x2e__bit0 -C9_0x2e__bit1 -C9_0x2e__bit2 -C9_0x2e__bit3 -C9_0x2e__bit4 -C9_0x2e__bit5 -C9_0x2e__bit6 -C9_0x2e__bit7 -C9_0x2e__bit8 -C9_0x2e__bit9 -C9_0x2e__bit10 -C9_0x2e__bit11 -C9_0x2e__bit12 -C10_0x2e__bit_7 -C10_0x2e__bit_6 -C10_0x2e__bit_5 -C10_0x2e__bit_4 -C10_0x2e__bit_3 -C10_0x2e__bit_2 -C10_0x2e__bit_1 C10_0x2e__bit0 C10_0x2e__bit1 C10_0x2e__bit2 C10_0x2e__bit3 -C10_0x2e__bit4 -C10_0x2e__bit5 -C10_0x2e__bit6 -C10_0x2e__bit7 -C10_0x2e__bit8 -C10_0x2e__bit9 -C10_0x2e__bit10 -C10_0x2e__bit11 -C10_0x2e__bit12 -C11_0x2e__bit_7 -C11_0x2e__bit_6 -C11_0x2e__bit_5 -C11_0x2e__bit_4 -C11_0x2e__bit_3 -C11_0x2e__bit_2 -C11_0x2e__bit_1 C11_0x2e__bit0 C11_0x2e__bit1 C11_0x2e__bit2 C11_0x2e__bit3 -C11_0x2e__bit4 -C11_0x2e__bit5 -C11_0x2e__bit6 -C11_0x2e__bit7 -C11_0x2e__bit8 -C11_0x2e__bit9 -C11_0x2e__bit10 -C11_0x2e__bit11 -C11_0x2e__bit12 -C12_0x2e__bit_7 -C12_0x2e__bit_6 -C12_0x2e__bit_5 -C12_0x2e__bit_4 -C12_0x2e__bit_3 -C12_0x2e__bit_2 -C12_0x2e__bit_1 -C12_0x2e__bit0 -C12_0x2e__bit1 -C12_0x2e__bit2 -C12_0x2e__bit3 -C12_0x2e__bit4 -C12_0x2e__bit5 -C12_0x2e__bit6 -C12_0x2e__bit7 -C12_0x2e__bit8 -C12_0x2e__bit9 -C12_0x2e__bit10 -C12_0x2e__bit11 -C12_0x2e__bit12 -C13_0x2e__bit_7 -C13_0x2e__bit_6 -C13_0x2e__bit_5 -C13_0x2e__bit_4 -C13_0x2e__bit_3 -C13_0x2e__bit_2 -C13_0x2e__bit_1 -C13_0x2e__bit0 -C13_0x2e__bit1 -C13_0x2e__bit2 -C13_0x2e__bit3 -C13_0x2e__bit4 -C13_0x2e__bit5 -C13_0x2e__bit6 -C13_0x2e__bit7 -C13_0x2e__bit8 -C13_0x2e__bit9 -C13_0x2e__bit10 -C13_0x2e__bit11 -C13_0x2e__bit12 -C14_0x2e__bit_7 -C14_0x2e__bit_6 -C14_0x2e__bit_5 -C14_0x2e__bit_4 -C14_0x2e__bit_3 -C14_0x2e__bit_2 -C14_0x2e__bit_1 -C14_0x2e__bit0 -C14_0x2e__bit1 -C14_0x2e__bit2 -C14_0x2e__bit3 -C14_0x2e__bit4 -C14_0x2e__bit5 -C14_0x2e__bit6 -C14_0x2e__bit7 -C14_0x2e__bit8 -C14_0x2e__bit9 -C14_0x2e__bit10 -C14_0x2e__bit11 -C14_0x2e__bit12 -C15_0x2e__bit_7 -C15_0x2e__bit_6 -C15_0x2e__bit_5 -C15_0x2e__bit_4 -C15_0x2e__bit_3 -C15_0x2e__bit_2 -C15_0x2e__bit_1 -C15_0x2e__bit0 C15_0x2e__bit1 -C15_0x2e__bit2 C15_0x2e__bit3 -C15_0x2e__bit4 -C15_0x2e__bit5 -C15_0x2e__bit6 -C15_0x2e__bit7 -C15_0x2e__bit8 -C15_0x2e__bit9 -C15_0x2e__bit10 -C15_0x2e__bit11 -C15_0x2e__bit12 -C16_0x2e__bit_7 -C16_0x2e__bit_6 -C16_0x2e__bit_5 -C16_0x2e__bit_4 -C16_0x2e__bit_3 -C16_0x2e__bit_2 -C16_0x2e__bit_1 -C16_0x2e__bit0 -C16_0x2e__bit1 -C16_0x2e__bit2 -C16_0x2e__bit3 -C16_0x2e__bit4 -C16_0x2e__bit5 -C16_0x2e__bit6 -C16_0x2e__bit7 -C16_0x2e__bit8 -C16_0x2e__bit9 -C16_0x2e__bit10 -C16_0x2e__bit11 -C16_0x2e__bit12 -C17_0x2e__bit_7 -C17_0x2e__bit_6 -C17_0x2e__bit_5 -C17_0x2e__bit_4 -C17_0x2e__bit_3 -C17_0x2e__bit_2 -C17_0x2e__bit_1 -C17_0x2e__bit0 -C17_0x2e__bit1 -C17_0x2e__bit2 -C17_0x2e__bit3 -C17_0x2e__bit4 -C17_0x2e__bit5 -C17_0x2e__bit6 -C17_0x2e__bit7 -C17_0x2e__bit8 -C17_0x2e__bit9 -C17_0x2e__bit10 -C17_0x2e__bit11 -C17_0x2e__bit12 -C18_0x2e__bit_7 -C18_0x2e__bit_6 -C18_0x2e__bit_5 -C18_0x2e__bit_4 -C18_0x2e__bit_3 -C18_0x2e__bit_2 -C18_0x2e__bit_1 -C18_0x2e__bit0 -C18_0x2e__bit1 -C18_0x2e__bit2 -C18_0x2e__bit3 -C18_0x2e__bit4 -C18_0x2e__bit5 -C18_0x2e__bit6 -C18_0x2e__bit7 -C18_0x2e__bit8 -C18_0x2e__bit9 -C18_0x2e__bit10 -C18_0x2e__bit11 -C18_0x2e__bit12 -C19_0x2e__bit_7 -C19_0x2e__bit_6 -C19_0x2e__bit_5 -C19_0x2e__bit_4 -C19_0x2e__bit_3 -C19_0x2e__bit_2 -C19_0x2e__bit_1 -C19_0x2e__bit0 C19_0x2e__bit1 -C19_0x2e__bit2 C19_0x2e__bit3 -C19_0x2e__bit4 -C19_0x2e__bit5 -C19_0x2e__bit6 -C19_0x2e__bit7 -C19_0x2e__bit8 -C19_0x2e__bit9 -C19_0x2e__bit10 -C19_0x2e__bit11 -C19_0x2e__bit12 -C20_0x2e__bit_7 -C20_0x2e__bit_6 -C20_0x2e__bit_5 -C20_0x2e__bit_4 -C20_0x2e__bit_3 -C20_0x2e__bit_2 -C20_0x2e__bit_1 -C20_0x2e__bit0 -C20_0x2e__bit1 C20_0x2e__bit2 -C20_0x2e__bit3 C20_0x2e__bit4 -C20_0x2e__bit5 -C20_0x2e__bit6 -C20_0x2e__bit7 -C20_0x2e__bit8 -C20_0x2e__bit9 -C20_0x2e__bit10 -C20_0x2e__bit11 -C20_0x2e__bit12 -C21_0x2e__bit_7 -C21_0x2e__bit_6 -C21_0x2e__bit_5 -C21_0x2e__bit_4 -C21_0x2e__bit_3 -C21_0x2e__bit_2 -C21_0x2e__bit_1 -C21_0x2e__bit0 -C21_0x2e__bit1 -C21_0x2e__bit2 -C21_0x2e__bit3 -C21_0x2e__bit4 -C21_0x2e__bit5 -C21_0x2e__bit6 -C21_0x2e__bit7 -C21_0x2e__bit8 -C21_0x2e__bit9 -C21_0x2e__bit10 -C21_0x2e__bit11 -C21_0x2e__bit12 -C22_0x2e__bit_7 -C22_0x2e__bit_6 -C22_0x2e__bit_5 -C22_0x2e__bit_4 -C22_0x2e__bit_3 -C22_0x2e__bit_2 -C22_0x2e__bit_1 -C22_0x2e__bit0 -C22_0x2e__bit1 -C22_0x2e__bit2 -C22_0x2e__bit3 -C22_0x2e__bit4 -C22_0x2e__bit5 -C22_0x2e__bit6 -C22_0x2e__bit7 -C22_0x2e__bit8 -C22_0x2e__bit9 -C22_0x2e__bit10 -C22_0x2e__bit11 -C22_0x2e__bit12 -C23_0x2e__bit_7 -C23_0x2e__bit_6 -C23_0x2e__bit_5 -C23_0x2e__bit_4 -C23_0x2e__bit_3 -C23_0x2e__bit_2 -C23_0x2e__bit_1 -C23_0x2e__bit0 -C23_0x2e__bit1 -C23_0x2e__bit2 -C23_0x2e__bit3 -C23_0x2e__bit4 -C23_0x2e__bit5 -C23_0x2e__bit6 -C23_0x2e__bit7 -C23_0x2e__bit8 -C23_0x2e__bit9 -C23_0x2e__bit10 -C23_0x2e__bit11 -C23_0x2e__bit12 -C24_0x2e__bit_7 -C24_0x2e__bit_6 -C24_0x2e__bit_5 -C24_0x2e__bit_4 -C24_0x2e__bit_3 -C24_0x2e__bit_2 -C24_0x2e__bit_1 -C24_0x2e__bit0 -C24_0x2e__bit1 -C24_0x2e__bit2 -C24_0x2e__bit3 -C24_0x2e__bit4 -C24_0x2e__bit5 -C24_0x2e__bit6 -C24_0x2e__bit7 -C24_0x2e__bit8 -C24_0x2e__bit9 -C24_0x2e__bit10 -C24_0x2e__bit11 -C24_0x2e__bit12 -C25_0x2e__bit_7 -C25_0x2e__bit_6 -C25_0x2e__bit_5 -C25_0x2e__bit_4 -C25_0x2e__bit_3 -C25_0x2e__bit_2 -C25_0x2e__bit_1 -C25_0x2e__bit0 -C25_0x2e__bit1 -C25_0x2e__bit2 -C25_0x2e__bit3 -C25_0x2e__bit4 -C25_0x2e__bit5 -C25_0x2e__bit6 -C25_0x2e__bit7 -C25_0x2e__bit8 -C25_0x2e__bit9 -C25_0x2e__bit10 -C25_0x2e__bit11 -C25_0x2e__bit12 -C26_0x2e__bit_7 -C26_0x2e__bit_6 -C26_0x2e__bit_5 -C26_0x2e__bit_4 -C26_0x2e__bit_3 -C26_0x2e__bit_2 -C26_0x2e__bit_1 -C26_0x2e__bit0 -C26_0x2e__bit1 -C26_0x2e__bit2 -C26_0x2e__bit3 -C26_0x2e__bit4 -C26_0x2e__bit5 -C26_0x2e__bit6 -C26_0x2e__bit7 -C26_0x2e__bit8 -C26_0x2e__bit9 -C26_0x2e__bit10 -C26_0x2e__bit11 -C26_0x2e__bit12 -C27_0x2e__bit_7 -C27_0x2e__bit_6 -C27_0x2e__bit_5 -C27_0x2e__bit_4 -C27_0x2e__bit_3 -C27_0x2e__bit_2 -C27_0x2e__bit_1 -C27_0x2e__bit0 -C27_0x2e__bit1 -C27_0x2e__bit2 -C27_0x2e__bit3 -C27_0x2e__bit4 -C27_0x2e__bit5 -C27_0x2e__bit6 -C27_0x2e__bit7 -C27_0x2e__bit8 -C27_0x2e__bit9 -C27_0x2e__bit10 -C27_0x2e__bit11 -C27_0x2e__bit12 -C28_0x2e__bit_7 -C28_0x2e__bit_6 -C28_0x2e__bit_5 -C28_0x2e__bit_4 -C28_0x2e__bit_3 -C28_0x2e__bit_2 -C28_0x2e__bit_1 -C28_0x2e__bit0 -C28_0x2e__bit1 -C28_0x2e__bit2 -C28_0x2e__bit3 -C28_0x2e__bit4 -C28_0x2e__bit5 -C28_0x2e__bit6 -C28_0x2e__bit7 -C28_0x2e__bit8 -C28_0x2e__bit9 -C28_0x2e__bit10 -C28_0x2e__bit11 -C28_0x2e__bit12 -C29_0x2e__bit_7 -C29_0x2e__bit_6 -C29_0x2e__bit_5 -C29_0x2e__bit_4 -C29_0x2e__bit_3 -C29_0x2e__bit_2 -C29_0x2e__bit_1 -C29_0x2e__bit0 C29_0x2e__bit1 -C29_0x2e__bit2 C29_0x2e__bit3 -C29_0x2e__bit4 -C29_0x2e__bit5 -C29_0x2e__bit6 -C29_0x2e__bit7 -C29_0x2e__bit8 -C29_0x2e__bit9 -C29_0x2e__bit10 -C29_0x2e__bit11 -C29_0x2e__bit12 -C30_0x2e__bit_7 -C30_0x2e__bit_6 -C30_0x2e__bit_5 -C30_0x2e__bit_4 -C30_0x2e__bit_3 -C30_0x2e__bit_2 -C30_0x2e__bit_1 -C30_0x2e__bit0 C30_0x2e__bit1 -C30_0x2e__bit2 C30_0x2e__bit3 -C30_0x2e__bit4 -C30_0x2e__bit5 -C30_0x2e__bit6 -C30_0x2e__bit7 -C30_0x2e__bit8 -C30_0x2e__bit9 -C30_0x2e__bit10 -C30_0x2e__bit11 -C30_0x2e__bit12 -C31_0x2e__bit_7 -C31_0x2e__bit_6 -C31_0x2e__bit_5 -C31_0x2e__bit_4 -C31_0x2e__bit_3 -C31_0x2e__bit_2 -C31_0x2e__bit_1 -C31_0x2e__bit0 -C31_0x2e__bit1 -C31_0x2e__bit2 -C31_0x2e__bit3 -C31_0x2e__bit4 -C31_0x2e__bit5 -C31_0x2e__bit6 -C31_0x2e__bit7 -C31_0x2e__bit8 -C31_0x2e__bit9 -C31_0x2e__bit10 -C31_0x2e__bit11 -C31_0x2e__bit12 -C32_0x2e__bit_7 -C32_0x2e__bit_6 -C32_0x2e__bit_5 -C32_0x2e__bit_4 -C32_0x2e__bit_3 -C32_0x2e__bit_2 -C32_0x2e__bit_1 -C32_0x2e__bit0 -C32_0x2e__bit1 -C32_0x2e__bit2 -C32_0x2e__bit3 -C32_0x2e__bit4 -C32_0x2e__bit5 -C32_0x2e__bit6 -C32_0x2e__bit7 -C32_0x2e__bit8 -C32_0x2e__bit9 -C32_0x2e__bit10 -C32_0x2e__bit11 -C32_0x2e__bit12 -C33_0x2e__bit_7 -C33_0x2e__bit_6 -C33_0x2e__bit_5 -C33_0x2e__bit_4 -C33_0x2e__bit_3 -C33_0x2e__bit_2 -C33_0x2e__bit_1 -C33_0x2e__bit0 -C33_0x2e__bit1 -C33_0x2e__bit2 -C33_0x2e__bit3 -C33_0x2e__bit4 -C33_0x2e__bit5 -C33_0x2e__bit6 -C33_0x2e__bit7 -C33_0x2e__bit8 -C33_0x2e__bit9 -C33_0x2e__bit10 -C33_0x2e__bit11 -C33_0x2e__bit12 -C34_0x2e__bit_7 -C34_0x2e__bit_6 -C34_0x2e__bit_5 -C34_0x2e__bit_4 -C34_0x2e__bit_3 -C34_0x2e__bit_2 -C34_0x2e__bit_1 -C34_0x2e__bit0 C34_0x2e__bit1 -C34_0x2e__bit2 C34_0x2e__bit3 -C34_0x2e__bit4 -C34_0x2e__bit5 -C34_0x2e__bit6 -C34_0x2e__bit7 -C34_0x2e__bit8 -C34_0x2e__bit9 -C34_0x2e__bit10 -C34_0x2e__bit11 -C34_0x2e__bit12 -C35_0x2e__bit_7 -C35_0x2e__bit_6 -C35_0x2e__bit_5 -C35_0x2e__bit_4 -C35_0x2e__bit_3 -C35_0x2e__bit_2 -C35_0x2e__bit_1 -C35_0x2e__bit0 -C35_0x2e__bit1 -C35_0x2e__bit2 -C35_0x2e__bit3 -C35_0x2e__bit4 -C35_0x2e__bit5 -C35_0x2e__bit6 -C35_0x2e__bit7 -C35_0x2e__bit8 -C35_0x2e__bit9 -C35_0x2e__bit10 -C35_0x2e__bit11 -C35_0x2e__bit12 -C36_0x2e__bit_7 -C36_0x2e__bit_6 -C36_0x2e__bit_5 -C36_0x2e__bit_4 -C36_0x2e__bit_3 -C36_0x2e__bit_2 -C36_0x2e__bit_1 -C36_0x2e__bit0 -C36_0x2e__bit1 -C36_0x2e__bit2 -C36_0x2e__bit3 -C36_0x2e__bit4 -C36_0x2e__bit5 -C36_0x2e__bit6 -C36_0x2e__bit7 -C36_0x2e__bit8 -C36_0x2e__bit9 -C36_0x2e__bit10 -C36_0x2e__bit11 -C36_0x2e__bit12 -C37_0x2e__bit_7 -C37_0x2e__bit_6 -C37_0x2e__bit_5 -C37_0x2e__bit_4 -C37_0x2e__bit_3 -C37_0x2e__bit_2 -C37_0x2e__bit_1 -C37_0x2e__bit0 -C37_0x2e__bit1 -C37_0x2e__bit2 -C37_0x2e__bit3 -C37_0x2e__bit4 -C37_0x2e__bit5 -C37_0x2e__bit6 -C37_0x2e__bit7 -C37_0x2e__bit8 -C37_0x2e__bit9 -C37_0x2e__bit10 -C37_0x2e__bit11 -C37_0x2e__bit12 -C38_0x2e__bit_7 -C38_0x2e__bit_6 -C38_0x2e__bit_5 -C38_0x2e__bit_4 -C38_0x2e__bit_3 -C38_0x2e__bit_2 -C38_0x2e__bit_1 -C38_0x2e__bit0 -C38_0x2e__bit1 -C38_0x2e__bit2 -C38_0x2e__bit3 -C38_0x2e__bit4 -C38_0x2e__bit5 -C38_0x2e__bit6 -C38_0x2e__bit7 -C38_0x2e__bit8 -C38_0x2e__bit9 -C38_0x2e__bit10 -C38_0x2e__bit11 -C38_0x2e__bit12 -C39_0x2e__bit_7 -C39_0x2e__bit_6 -C39_0x2e__bit_5 -C39_0x2e__bit_4 -C39_0x2e__bit_3 -C39_0x2e__bit_2 -C39_0x2e__bit_1 -C39_0x2e__bit0 -C39_0x2e__bit1 -C39_0x2e__bit2 -C39_0x2e__bit3 -C39_0x2e__bit4 -C39_0x2e__bit5 -C39_0x2e__bit6 -C39_0x2e__bit7 -C39_0x2e__bit8 -C39_0x2e__bit9 -C39_0x2e__bit10 -C39_0x2e__bit11 -C39_0x2e__bit12 -C40_0x2e__bit_7 -C40_0x2e__bit_6 -C40_0x2e__bit_5 -C40_0x2e__bit_4 -C40_0x2e__bit_3 -C40_0x2e__bit_2 -C40_0x2e__bit_1 -C40_0x2e__bit0 -C40_0x2e__bit1 -C40_0x2e__bit2 -C40_0x2e__bit3 -C40_0x2e__bit4 -C40_0x2e__bit5 -C40_0x2e__bit6 -C40_0x2e__bit7 -C40_0x2e__bit8 -C40_0x2e__bit9 -C40_0x2e__bit10 -C40_0x2e__bit11 -C40_0x2e__bit12 -C41_0x2e__bit_7 -C41_0x2e__bit_6 -C41_0x2e__bit_5 -C41_0x2e__bit_4 -C41_0x2e__bit_3 -C41_0x2e__bit_2 -C41_0x2e__bit_1 -C41_0x2e__bit0 -C41_0x2e__bit1 -C41_0x2e__bit2 -C41_0x2e__bit3 -C41_0x2e__bit4 -C41_0x2e__bit5 -C41_0x2e__bit6 -C41_0x2e__bit7 -C41_0x2e__bit8 -C41_0x2e__bit9 -C41_0x2e__bit10 -C41_0x2e__bit11 -C41_0x2e__bit12 -C42_0x2e__bit_7 -C42_0x2e__bit_6 -C42_0x2e__bit_5 -C42_0x2e__bit_4 -C42_0x2e__bit_3 -C42_0x2e__bit_2 -C42_0x2e__bit_1 C42_0x2e__bit0 -C42_0x2e__bit1 C42_0x2e__bit2 -C42_0x2e__bit3 -C42_0x2e__bit4 -C42_0x2e__bit5 -C42_0x2e__bit6 -C42_0x2e__bit7 -C42_0x2e__bit8 -C42_0x2e__bit9 -C42_0x2e__bit10 -C42_0x2e__bit11 -C42_0x2e__bit12 -C43_0x2e__bit_7 -C43_0x2e__bit_6 -C43_0x2e__bit_5 -C43_0x2e__bit_4 -C43_0x2e__bit_3 -C43_0x2e__bit_2 -C43_0x2e__bit_1 -C43_0x2e__bit0 -C43_0x2e__bit1 -C43_0x2e__bit2 -C43_0x2e__bit3 -C43_0x2e__bit4 -C43_0x2e__bit5 -C43_0x2e__bit6 -C43_0x2e__bit7 -C43_0x2e__bit8 -C43_0x2e__bit9 -C43_0x2e__bit10 -C43_0x2e__bit11 -C43_0x2e__bit12 -C44_0x2e__bit_7 -C44_0x2e__bit_6 -C44_0x2e__bit_5 -C44_0x2e__bit_4 -C44_0x2e__bit_3 -C44_0x2e__bit_2 -C44_0x2e__bit_1 -C44_0x2e__bit0 -C44_0x2e__bit1 -C44_0x2e__bit2 -C44_0x2e__bit3 -C44_0x2e__bit4 -C44_0x2e__bit5 -C44_0x2e__bit6 -C44_0x2e__bit7 -C44_0x2e__bit8 -C44_0x2e__bit9 -C44_0x2e__bit10 -C44_0x2e__bit11 -C44_0x2e__bit12 -C45_0x2e__bit_7 -C45_0x2e__bit_6 -C45_0x2e__bit_5 -C45_0x2e__bit_4 -C45_0x2e__bit_3 -C45_0x2e__bit_2 -C45_0x2e__bit_1 -C45_0x2e__bit0 -C45_0x2e__bit1 -C45_0x2e__bit2 -C45_0x2e__bit3 -C45_0x2e__bit4 -C45_0x2e__bit5 -C45_0x2e__bit6 -C45_0x2e__bit7 -C45_0x2e__bit8 -C45_0x2e__bit9 -C45_0x2e__bit10 -C45_0x2e__bit11 -C45_0x2e__bit12 -C46_0x2e__bit_7 -C46_0x2e__bit_6 -C46_0x2e__bit_5 -C46_0x2e__bit_4 -C46_0x2e__bit_3 -C46_0x2e__bit_2 -C46_0x2e__bit_1 -C46_0x2e__bit0 -C46_0x2e__bit1 -C46_0x2e__bit2 -C46_0x2e__bit3 -C46_0x2e__bit4 -C46_0x2e__bit5 -C46_0x2e__bit6 -C46_0x2e__bit7 -C46_0x2e__bit8 -C46_0x2e__bit9 -C46_0x2e__bit10 -C46_0x2e__bit11 -C46_0x2e__bit12 -C47_0x2e__bit_7 -C47_0x2e__bit_6 -C47_0x2e__bit_5 -C47_0x2e__bit_4 -C47_0x2e__bit_3 -C47_0x2e__bit_2 -C47_0x2e__bit_1 -C47_0x2e__bit0 -C47_0x2e__bit1 -C47_0x2e__bit2 -C47_0x2e__bit3 -C47_0x2e__bit4 -C47_0x2e__bit5 -C47_0x2e__bit6 -C47_0x2e__bit7 -C47_0x2e__bit8 -C47_0x2e__bit9 -C47_0x2e__bit10 -C47_0x2e__bit11 -C47_0x2e__bit12 -C48_0x2e__bit_7 -C48_0x2e__bit_6 -C48_0x2e__bit_5 -C48_0x2e__bit_4 -C48_0x2e__bit_3 -C48_0x2e__bit_2 -C48_0x2e__bit_1 -C48_0x2e__bit0 -C48_0x2e__bit1 -C48_0x2e__bit2 -C48_0x2e__bit3 -C48_0x2e__bit4 -C48_0x2e__bit5 -C48_0x2e__bit6 -C48_0x2e__bit7 -C48_0x2e__bit8 -C48_0x2e__bit9 -C48_0x2e__bit10 -C48_0x2e__bit11 -C48_0x2e__bit12 C50_0x2e__bit0 -C51_0x2e__bit0 -C52_0x2e__bit0 -C53_0x2e__bit0 C54_0x2e__bit0 -C55_0x2e__bit0 -C56_0x2e__bit0 C57_0x2e__bit0 -C58_0x2e__bit0 C59_0x2e__bit0 C60_0x2e__bit0 -C61_0x2e__bit0 -C62_0x2e__bit0 -C63_0x2e__bit0 C64_0x2e__bit0 -C65_0x2e__bit0 -C66_0x2e__bit0 -C67_0x2e__bit0 C68_0x2e__bit0 C69_0x2e__bit0 -C70_0x2e__bit0 -C71_0x2e__bit0 -C72_0x2e__bit0 -C73_0x2e__bit0 -C74_0x2e__bit0 -C75_0x2e__bit0 -C76_0x2e__bit0 -C77_0x2e__bit0 C78_0x2e__bit0 C79_0x2e__bit0 -C80_0x2e__bit0 -C81_0x2e__bit0 -C82_0x2e__bit0 C83_0x2e__bit0 -C84_0x2e__bit0 -C85_0x2e__bit0 -C86_0x2e__bit0 -C87_0x2e__bit0 -C88_0x2e__bit0 -C89_0x2e__bit0 -C90_0x2e__bit0 C91_0x2e__bit0 -C92_0x2e__bit0 -C93_0x2e__bit0 -C94_0x2e__bit0 -C95_0x2e__bit0 -C96_0x2e__bit0 -C97_0x2e__bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.76 0.91 0.89 2/54 12604
Raw data (stat): 12604 (runsolver) R 12603 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775386453 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99996 s]
Raw data (loadavg): 0.79 0.91 0.89 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 407 0 0 0 998 1 0 0 25 0 1 0 775386453 7245824 385 4294967295 134512640 134581331 3221224608 3221223472 134560350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1769 385 566 18 0 1751 0
vsize: 7076
[startup+20.0006 s]
Raw data (loadavg): 0.82 0.91 0.89 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 412 0 0 0 1998 1 0 0 25 0 1 0 775386453 7245824 390 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1769 390 566 18 0 1751 0
vsize: 7076
[startup+30.0011 s]
Raw data (loadavg): 0.85 0.92 0.89 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 702 0 0 0 2996 2 0 0 25 0 1 0 775386453 8437760 680 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2060 680 566 18 0 2042 0
vsize: 8240
[startup+40.0022 s]
Raw data (loadavg): 0.87 0.92 0.89 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 718 0 0 0 3995 4 0 0 25 0 1 0 775386453 8568832 696 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2092 696 566 18 0 2074 0
vsize: 8368
[startup+50.0026 s]
Raw data (loadavg): 0.97 0.94 0.90 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 771 0 0 0 4993 6 0 0 25 0 1 0 775386453 8761344 749 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2139 749 566 18 0 2121 0
vsize: 8556
[startup+60.0023 s]
Raw data (loadavg): 0.98 0.94 0.90 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 798 0 0 0 5992 7 0 0 25 0 1 0 775386453 8892416 776 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2171 776 566 18 0 2153 0
vsize: 8684
[startup+70.0034 s]
Raw data (loadavg): 0.98 0.94 0.90 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 798 0 0 0 6990 9 0 0 25 0 1 0 775386453 8892416 776 4294967295 134512640 134581331 3221224608 3221223520 134527683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2171 776 566 18 0 2153 0
vsize: 8684
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.94 0.90 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 798 0 0 0 7987 12 0 0 25 0 1 0 775386453 8892416 776 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2171 776 566 18 0 2153 0
vsize: 8684
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 798 0 0 0 8986 14 0 0 25 0 1 0 775386453 8892416 776 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2171 776 566 18 0 2153 0
vsize: 8684
[startup+100.005 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 811 0 0 0 9984 16 0 0 25 0 1 0 775386453 8892416 789 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2171 789 566 18 0 2153 0
vsize: 8684
[startup+110.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 811 0 0 0 10983 17 0 0 25 0 1 0 775386453 8892416 789 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2171 789 566 18 0 2153 0
vsize: 8684
[startup+120.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 857 0 0 0 11981 19 0 0 25 0 1 0 775386453 9158656 835 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2236 835 566 18 0 2218 0
vsize: 8944
[startup+130.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 859 0 0 0 12980 21 0 0 25 0 1 0 775386453 9158656 837 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2236 837 566 18 0 2218 0
vsize: 8944
[startup+140.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 871 0 0 0 13978 23 0 0 25 0 1 0 775386453 9158656 849 4294967295 134512640 134581331 3221224608 3221223504 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2236 849 566 18 0 2218 0
vsize: 8944
[startup+150.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 14975 26 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+160.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 15975 26 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+170.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 16974 28 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+180.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 17973 29 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+190.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 18972 30 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+200.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 19971 31 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+210.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 20971 32 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223392 134528824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 21970 32 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 22970 33 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223488 134520302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+240.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 23969 34 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223472 134528287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 24968 36 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+260.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 25966 37 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+270.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 26965 38 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223472 134528316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+280.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 27963 40 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+290.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 28961 43 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223552 134558828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+300.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 29958 46 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+310.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 30957 47 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 31955 49 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223472 134528248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 32954 51 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 33952 53 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 34950 55 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 35948 57 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 36946 60 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 37944 61 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 38944 62 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223392 134528824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 39940 66 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 40938 68 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 41936 70 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223504 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 42934 73 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 43931 75 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 44930 77 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 45928 79 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 46927 80 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 47926 82 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 48924 83 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 49923 85 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 50922 86 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 51921 87 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223536 134519945 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 52920 89 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 53919 90 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 54917 91 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223552 134559312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 55916 93 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 56915 94 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223504 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 57915 95 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 58914 96 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 59912 98 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223392 134528732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12604
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 60912 98 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 12648
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 61910 100 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 62909 101 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223200 1075291006 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 63908 103 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 64908 103 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223536 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 65907 104 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 66906 105 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12657
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 67905 106 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 68904 107 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223552 134558800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 69903 108 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 70902 109 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 71902 110 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223296 1075288258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 72900 112 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 73898 114 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 74898 115 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 75897 116 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223392 134528797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 76896 117 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223504 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 77895 118 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 78893 120 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 79892 122 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 80891 122 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 81891 123 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1230 0 0 0 82890 124 0 0 25 0 1 0 775386453 10637312 1208 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1208 566 18 0 2579 0
vsize: 10388
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1235 0 0 0 83888 127 0 0 25 0 1 0 775386453 10637312 1213 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1213 566 18 0 2579 0
vsize: 10388
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1235 0 0 0 84887 128 0 0 25 0 1 0 775386453 10637312 1213 4294967295 134512640 134581331 3221224608 3221223552 134559630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1213 566 18 0 2579 0
vsize: 10388
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1235 0 0 0 85886 129 0 0 25 0 1 0 775386453 10637312 1213 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1213 566 18 0 2579 0
vsize: 10388
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1235 0 0 0 86883 131 0 0 25 0 1 0 775386453 10637312 1213 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1213 566 18 0 2579 0
vsize: 10388
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1235 0 0 0 87881 134 0 0 25 0 1 0 775386453 10637312 1213 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1213 566 18 0 2579 0
vsize: 10388
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1235 0 0 0 88879 136 0 0 25 0 1 0 775386453 10637312 1213 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1213 566 18 0 2579 0
vsize: 10388
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1235 0 0 0 89878 138 0 0 25 0 1 0 775386453 10637312 1213 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1213 566 18 0 2579 0
vsize: 10388
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1235 0 0 0 90875 140 0 0 25 0 1 0 775386453 10637312 1213 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1213 566 18 0 2579 0
vsize: 10388
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1235 0 0 0 91873 142 0 0 25 0 1 0 775386453 10637312 1213 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1213 566 18 0 2579 0
vsize: 10388
[startup+930.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1235 0 0 0 92872 144 0 0 25 0 1 0 775386453 10637312 1213 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1213 566 18 0 2579 0
vsize: 10388
[startup+940.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1235 0 0 0 93869 147 0 0 25 0 1 0 775386453 10637312 1213 4294967295 134512640 134581331 3221224608 3221223536 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1213 566 18 0 2579 0
vsize: 10388
[startup+950.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1239 0 0 0 94867 149 0 0 25 0 1 0 775386453 10637312 1217 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1217 566 18 0 2579 0
vsize: 10388
[startup+960.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1239 0 0 0 95865 151 0 0 25 0 1 0 775386453 10637312 1217 4294967295 134512640 134581331 3221224608 3221223520 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1217 566 18 0 2579 0
vsize: 10388
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12659
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1239 0 0 0 96862 154 0 0 25 0 1 0 775386453 10637312 1217 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1217 566 18 0 2579 0
vsize: 10388
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1239 0 0 0 97860 156 0 0 25 0 1 0 775386453 10637312 1217 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1217 566 18 0 2579 0
vsize: 10388
[startup+990.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1239 0 0 0 98858 158 0 0 25 0 1 0 775386453 10637312 1217 4294967295 134512640 134581331 3221224608 3221223520 134527683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1217 566 18 0 2579 0
vsize: 10388
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1239 0 0 0 99856 161 0 0 25 0 1 0 775386453 10637312 1217 4294967295 134512640 134581331 3221224608 3221223504 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1217 566 18 0 2579 0
vsize: 10388
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1239 0 0 0 100854 163 0 0 25 0 1 0 775386453 10637312 1217 4294967295 134512640 134581331 3221224608 3221223392 134528769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1217 566 18 0 2579 0
vsize: 10388
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1239 0 0 0 101851 166 0 0 25 0 1 0 775386453 10637312 1217 4294967295 134512640 134581331 3221224608 3221223520 134527975 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1217 566 18 0 2579 0
vsize: 10388
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1239 0 0 0 102849 168 0 0 25 0 1 0 775386453 10637312 1217 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1217 566 18 0 2579 0
vsize: 10388
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1239 0 0 0 103848 170 0 0 25 0 1 0 775386453 10637312 1217 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1217 566 18 0 2579 0
vsize: 10388
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1239 0 0 0 104846 172 0 0 25 0 1 0 775386453 10637312 1217 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1217 566 18 0 2579 0
vsize: 10388
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1239 0 0 0 105844 174 0 0 25 0 1 0 775386453 10637312 1217 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2597 1217 566 18 0 2579 0
vsize: 10388
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1289 0 0 0 106843 175 0 0 25 0 1 0 775386453 10887168 1267 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2658 1267 566 18 0 2640 0
vsize: 10632
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1289 0 0 0 107842 177 0 0 25 0 1 0 775386453 10780672 1254 4294967295 134512640 134581331 3221224608 3221223600 134560768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2632 1254 566 18 0 2614 0
vsize: 10528
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1298 0 0 0 108840 178 0 0 25 0 1 0 775386453 10911744 1263 4294967295 134512640 134581331 3221224608 3221223244 1075288535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2664 1263 566 18 0 2646 0
vsize: 10656
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1301 0 0 0 109839 180 0 0 25 0 1 0 775386453 10911744 1266 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2664 1266 566 18 0 2646 0
vsize: 10656
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1301 0 0 0 110839 180 0 0 25 0 1 0 775386453 10911744 1266 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2664 1266 566 18 0 2646 0
vsize: 10656
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1301 0 0 0 111838 181 0 0 25 0 1 0 775386453 10911744 1266 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2664 1266 566 18 0 2646 0
vsize: 10656
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1301 0 0 0 112837 182 0 0 25 0 1 0 775386453 10911744 1266 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2664 1266 566 18 0 2646 0
vsize: 10656
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1320 0 0 0 113836 183 0 0 25 0 1 0 775386453 10911744 1285 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2664 1285 566 18 0 2646 0
vsize: 10656
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1320 0 0 0 114836 184 0 0 25 0 1 0 775386453 10911744 1285 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2664 1285 566 18 0 2646 0
vsize: 10656
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1329 0 0 0 115835 185 0 0 25 0 1 0 775386453 11042816 1294 4294967295 134512640 134581331 3221224608 3221223472 134528412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2696 1294 566 18 0 2678 0
vsize: 10784
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1331 0 0 0 116835 185 0 0 25 0 1 0 775386453 11042816 1296 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2696 1296 566 18 0 2678 0
vsize: 10784
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1331 0 0 0 117834 186 0 0 25 0 1 0 775386453 11042816 1296 4294967295 134512640 134581331 3221224608 3221223432 134528850 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2696 1296 566 18 0 2678 0
vsize: 10784
[startup+1188.83 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 12661
Raw data (stat): 12604 (Pueblo) R 12603 7266 7265 0 -1 0 1331 0 0 0 117834 186 0 0 25 0 1 0 775386453 11042816 1296 4294967295 134512640 134581331 3221224608 3221223432 134528850 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2696 1296 566 18 0 2678 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189.01
CPU user time (s): 1187.13
CPU system time (s): 1.88071
CPU usage (%): 100.016
Max. virtual memory (Kb): 10784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	5130240
#### END VERIFIER DATA ####