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 39129

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 21:06:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27184 boxname=wulflinc5 idbench=1312 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  b964292d4197638ce79b3f213e8fe89b  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-mod013.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-mod013.opb
IDLAUNCH: 27184
/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:        673736 kB
Buffers:         27144 kB
Cached:         310588 kB
SwapCached:        568 kB
Active:          20248 kB
Inactive:       319540 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        673484 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5148 kB
Slab:            15452 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 21:25:55 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 27184 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.04 1.01 0.93 2/54 13382
Raw data (stat): 13382 (runsolver) R 13381 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852894826 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 410 0 0 0 998 0 0 0 25 0 1 0 852894826 7245824 384 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1769 384 566 18 0 1751 0
vsize: 7076
[startup+20.0005 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 505 0 0 0 1998 1 0 0 25 0 1 0 852894826 7639040 479 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1865 479 566 18 0 1847 0
vsize: 7460
[startup+30.0013 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 704 0 0 0 2996 3 0 0 25 0 1 0 852894826 8425472 678 4294967295 134512640 134581267 3221224576 3221223440 134560319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2057 678 566 18 0 2039 0
vsize: 8228
[startup+40.0006 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 742 0 0 0 3993 6 0 0 25 0 1 0 852894826 8695808 716 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2123 716 566 18 0 2105 0
vsize: 8492
[startup+50.0018 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 775 0 0 0 4991 8 0 0 25 0 1 0 852894826 8830976 749 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2156 749 566 18 0 2138 0
vsize: 8624
[startup+60.0028 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 795 0 0 0 5989 10 0 0 25 0 1 0 852894826 8830976 769 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2156 769 566 18 0 2138 0
vsize: 8624
[startup+70.0028 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 795 0 0 0 6986 13 0 0 25 0 1 0 852894826 8830976 769 4294967295 134512640 134581267 3221224576 3221223488 134527475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2156 769 566 18 0 2138 0
vsize: 8624
[startup+80.004 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 795 0 0 0 7984 15 0 0 25 0 1 0 852894826 8830976 769 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2156 769 566 18 0 2138 0
vsize: 8624
[startup+90.0038 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 795 0 0 0 8982 17 0 0 25 0 1 0 852894826 8830976 769 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2156 769 566 18 0 2138 0
vsize: 8624
[startup+100.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 851 0 0 0 9980 19 0 0 25 0 1 0 852894826 9097216 825 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2221 825 566 18 0 2203 0
vsize: 8884
[startup+110.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 886 0 0 0 10978 20 0 0 25 0 1 0 852894826 9228288 860 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2253 860 566 18 0 2235 0
vsize: 9012
[startup+120.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 916 0 0 0 11976 23 0 0 25 0 1 0 852894826 9273344 886 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2264 886 566 18 0 2246 0
vsize: 9056
[startup+130.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 12975 24 0 0 25 0 1 0 852894826 9400320 892 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2295 892 566 18 0 2277 0
vsize: 9180
[startup+140.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 13973 26 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2294 892 566 18 0 2276 0
vsize: 9176
[startup+150.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 14970 29 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223656 134556293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2294 892 566 18 0 2276 0
vsize: 9176
[startup+160.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 15968 31 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2294 892 566 18 0 2276 0
vsize: 9176
[startup+170.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 16967 33 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223488 134527720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2294 892 566 18 0 2276 0
vsize: 9176
[startup+180.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 17964 35 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2294 892 566 18 0 2276 0
vsize: 9176
[startup+190.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 18962 37 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2294 892 566 18 0 2276 0
vsize: 9176
[startup+200.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 19959 40 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2294 892 566 18 0 2276 0
vsize: 9176
[startup+210.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 20955 44 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2294 892 566 18 0 2276 0
vsize: 9176
[startup+220.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 21952 47 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2294 892 566 18 0 2276 0
vsize: 9176
[startup+230.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 22951 49 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2294 892 566 18 0 2276 0
vsize: 9176
[startup+240.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 23950 50 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2294 892 566 18 0 2276 0
vsize: 9176
[startup+250.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 24947 53 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2294 892 566 18 0 2276 0
vsize: 9176
[startup+260.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 25946 54 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223488 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2294 892 566 18 0 2276 0
vsize: 9176
[startup+270.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 937 0 0 0 26943 57 0 0 25 0 1 0 852894826 9396224 906 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2294 906 566 18 0 2276 0
vsize: 9176
[startup+280.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 950 0 0 0 27940 60 0 0 25 0 1 0 852894826 9527296 919 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2326 919 566 18 0 2308 0
vsize: 9304
[startup+290.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 982 0 0 0 28939 61 0 0 25 0 1 0 852894826 9588736 951 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2341 951 566 18 0 2323 0
vsize: 9364
[startup+300.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1023 0 0 0 29938 63 0 0 25 0 1 0 852894826 9633792 974 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2352 974 566 18 0 2334 0
vsize: 9408
[startup+310.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1023 0 0 0 30934 66 0 0 25 0 1 0 852894826 9633792 974 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2352 974 566 18 0 2334 0
vsize: 9408
[startup+320.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1023 0 0 0 31932 68 0 0 25 0 1 0 852894826 9633792 974 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2352 974 566 18 0 2334 0
vsize: 9408
[startup+330.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1023 0 0 0 32929 71 0 0 25 0 1 0 852894826 9633792 974 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2352 974 566 18 0 2334 0
vsize: 9408
[startup+340.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1023 0 0 0 33927 74 0 0 25 0 1 0 852894826 9633792 974 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2352 974 566 18 0 2334 0
vsize: 9408
[startup+350.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1023 0 0 0 34924 77 0 0 25 0 1 0 852894826 9633792 974 4294967295 134512640 134581267 3221224576 3221223488 134527737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2352 974 566 18 0 2334 0
vsize: 9408
[startup+360.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1023 0 0 0 35921 80 0 0 25 0 1 0 852894826 9633792 974 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2352 974 566 18 0 2334 0
vsize: 9408
[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1023 0 0 0 36918 83 0 0 25 0 1 0 852894826 9633792 974 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2352 974 566 18 0 2334 0
vsize: 9408
[startup+380.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1023 0 0 0 37916 85 0 0 25 0 1 0 852894826 9633792 974 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2352 974 566 18 0 2334 0
vsize: 9408
[startup+390.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1023 0 0 0 38912 89 0 0 25 0 1 0 852894826 9633792 974 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2352 974 566 18 0 2334 0
vsize: 9408
[startup+400.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1026 0 0 0 39910 91 0 0 25 0 1 0 852894826 9719808 977 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2373 977 566 18 0 2355 0
vsize: 9492
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1026 0 0 0 40906 95 0 0 25 0 1 0 852894826 9719808 977 4294967295 134512640 134581267 3221224576 3221223440 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2373 977 566 18 0 2355 0
vsize: 9492
[startup+420.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1026 0 0 0 41901 100 0 0 25 0 1 0 852894826 9715712 977 4294967295 134512640 134581267 3221224576 3221223520 134559043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2372 977 566 18 0 2354 0
vsize: 9488
[startup+430.023 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1026 0 0 0 42895 106 0 0 25 0 1 0 852894826 9715712 977 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2372 977 566 18 0 2354 0
vsize: 9488
[startup+440.023 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1026 0 0 0 43890 111 0 0 25 0 1 0 852894826 9715712 977 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2372 977 566 18 0 2354 0
vsize: 9488
[startup+450.024 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1026 0 0 0 44888 114 0 0 25 0 1 0 852894826 9715712 977 4294967295 134512640 134581267 3221224576 3221223520 134558908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2372 977 566 18 0 2354 0
vsize: 9488
[startup+460.024 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1026 0 0 0 45886 116 0 0 25 0 1 0 852894826 9715712 977 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2372 977 566 18 0 2354 0
vsize: 9488
[startup+470.024 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1048 0 0 0 46884 118 0 0 25 0 1 0 852894826 9846784 999 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2404 999 566 18 0 2386 0
vsize: 9616
[startup+480.025 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1067 0 0 0 47881 121 0 0 25 0 1 0 852894826 9850880 1014 4294967295 134512640 134581267 3221224576 3221223520 134558912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2405 1014 566 18 0 2387 0
vsize: 9620
[startup+490.025 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1129 0 0 0 48878 123 0 0 25 0 1 0 852894826 9924608 1045 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2423 1045 566 18 0 2405 0
vsize: 9692
[startup+500.026 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1129 0 0 0 49876 125 0 0 25 0 1 0 852894826 9924608 1045 4294967295 134512640 134581267 3221224576 3221223368 1075288541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2423 1045 566 18 0 2405 0
vsize: 9692
[startup+510.027 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1129 0 0 0 50874 128 0 0 25 0 1 0 852894826 9924608 1045 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2423 1045 566 18 0 2405 0
vsize: 9692
[startup+520.026 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1129 0 0 0 51871 131 0 0 25 0 1 0 852894826 9924608 1045 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2423 1045 566 18 0 2405 0
vsize: 9692
[startup+530.027 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1129 0 0 0 52868 134 0 0 25 0 1 0 852894826 9924608 1045 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2423 1045 566 18 0 2405 0
vsize: 9692
[startup+540.027 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1129 0 0 0 53865 137 0 0 25 0 1 0 852894826 9924608 1045 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2423 1045 566 18 0 2405 0
vsize: 9692
[startup+550.028 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1129 0 0 0 54862 139 0 0 25 0 1 0 852894826 9924608 1045 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2423 1045 566 18 0 2405 0
vsize: 9692
[startup+560.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1129 0 0 0 55860 142 0 0 25 0 1 0 852894826 9924608 1045 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2423 1045 566 18 0 2405 0
vsize: 9692
[startup+570.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1165 0 0 0 56857 144 0 0 25 0 1 0 852894826 10039296 1073 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2451 1073 566 18 0 2433 0
vsize: 9804
[startup+580.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1165 0 0 0 57855 147 0 0 25 0 1 0 852894826 10014720 1067 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2445 1067 566 18 0 2427 0
vsize: 9780
[startup+590.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1165 0 0 0 58851 151 0 0 25 0 1 0 852894826 10014720 1067 4294967295 134512640 134581267 3221224576 3221223680 134562407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2445 1067 566 18 0 2427 0
vsize: 9780
[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1165 0 0 0 59845 156 0 0 25 0 1 0 852894826 10014720 1067 4294967295 134512640 134581267 3221224576 3221223328 134566319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2445 1067 566 18 0 2427 0
vsize: 9780
[startup+610.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1165 0 0 0 60841 161 0 0 25 0 1 0 852894826 10014720 1067 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2445 1067 566 18 0 2427 0
vsize: 9780
[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1165 0 0 0 61837 165 0 0 25 0 1 0 852894826 10014720 1067 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2445 1067 566 18 0 2427 0
vsize: 9780
[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1165 0 0 0 62834 168 0 0 25 0 1 0 852894826 10014720 1067 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2445 1067 566 18 0 2427 0
vsize: 9780
[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1250 0 0 0 63832 170 0 0 25 0 1 0 852894826 10399744 1152 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2539 1152 566 18 0 2521 0
vsize: 10156
[startup+650.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1274 0 0 0 64828 174 0 0 25 0 1 0 852894826 10526720 1176 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2570 1176 566 18 0 2552 0
vsize: 10280
[startup+660.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1274 0 0 0 65825 177 0 0 25 0 1 0 852894826 10395648 1160 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2538 1160 566 18 0 2520 0
vsize: 10152
[startup+670.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1274 0 0 0 66821 180 0 0 25 0 1 0 852894826 10395648 1160 4294967295 134512640 134581267 3221224576 3221223456 134520266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2538 1160 566 18 0 2520 0
vsize: 10152
[startup+680.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1274 0 0 0 67819 183 0 0 25 0 1 0 852894826 10395648 1160 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2538 1160 566 18 0 2520 0
vsize: 10152
[startup+690.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1274 0 0 0 68815 186 0 0 25 0 1 0 852894826 10395648 1160 4294967295 134512640 134581267 3221224576 3221223464 1075285473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2538 1160 566 18 0 2520 0
vsize: 10152
[startup+700.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1274 0 0 0 69812 189 0 0 25 0 1 0 852894826 10395648 1160 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2538 1160 566 18 0 2520 0
vsize: 10152
[startup+710.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1274 0 0 0 70809 193 0 0 25 0 1 0 852894826 10395648 1160 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2538 1160 566 18 0 2520 0
vsize: 10152
[startup+720.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1276 0 0 0 71807 195 0 0 25 0 1 0 852894826 10457088 1162 4294967295 134512640 134581267 3221224576 3221223488 134527678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2553 1162 566 18 0 2535 0
vsize: 10212
[startup+730.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1276 0 0 0 72805 198 0 0 25 0 1 0 852894826 10457088 1162 4294967295 134512640 134581267 3221224576 3221223440 134528302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2553 1162 566 18 0 2535 0
vsize: 10212
[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1315 0 0 0 73803 200 0 0 25 0 1 0 852894826 10473472 1179 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2557 1179 566 18 0 2539 0
vsize: 10228
[startup+750.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 74800 203 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1210 566 18 0 2571 0
vsize: 10356
[startup+760.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 75797 206 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1210 566 18 0 2571 0
vsize: 10356
[startup+770.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 76795 209 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1210 566 18 0 2571 0
vsize: 10356
[startup+780.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 77790 213 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1210 566 18 0 2571 0
vsize: 10356
[startup+790.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 78789 215 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1210 566 18 0 2571 0
vsize: 10356
[startup+800.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 79787 217 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2589 1210 566 18 0 2571 0
vsize: 10356
[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 80784 219 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1210 566 18 0 2571 0
vsize: 10356
[startup+820.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 81782 222 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223472 134528027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1210 566 18 0 2571 0
vsize: 10356
[startup+830.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 82778 226 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1210 566 18 0 2571 0
vsize: 10356
[startup+840.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 83774 229 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1210 566 18 0 2571 0
vsize: 10356
[startup+850.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 84772 232 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1210 566 18 0 2571 0
vsize: 10356
[startup+860.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 85765 239 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1210 566 18 0 2571 0
vsize: 10356
[startup+870.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 86760 244 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1210 566 18 0 2571 0
vsize: 10356
[startup+880.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 87757 248 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1210 566 18 0 2571 0
vsize: 10356
[startup+890.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 88753 251 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1210 566 18 0 2571 0
vsize: 10356
[startup+900.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 89749 256 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1210 566 18 0 2571 0
vsize: 10356
[startup+910.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 90746 259 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1210 566 18 0 2571 0
vsize: 10356
[startup+920.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 91743 262 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1210 566 18 0 2571 0
vsize: 10356
[startup+930.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 92740 265 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1210 566 18 0 2571 0
vsize: 10356
[startup+940.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1360 0 0 0 93737 268 0 0 25 0 1 0 852894826 10735616 1224 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2621 1224 566 18 0 2603 0
vsize: 10484
[startup+950.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1360 0 0 0 94735 270 0 0 25 0 1 0 852894826 10698752 1224 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2612 1224 566 18 0 2594 0
vsize: 10448
[startup+960.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1360 0 0 0 95732 274 0 0 25 0 1 0 852894826 10698752 1224 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2612 1224 566 18 0 2594 0
vsize: 10448
[startup+970.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1360 0 0 0 96728 278 0 0 25 0 1 0 852894826 10698752 1224 4294967295 134512640 134581267 3221224576 3221223368 1075289488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2612 1224 566 18 0 2594 0
vsize: 10448
[startup+980.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1399 0 0 0 97724 282 0 0 25 0 1 0 852894826 10829824 1263 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1263 566 18 0 2626 0
vsize: 10576
[startup+990.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1399 0 0 0 98721 285 0 0 25 0 1 0 852894826 10829824 1263 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1263 566 18 0 2626 0
vsize: 10576
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1399 0 0 0 99719 288 0 0 25 0 1 0 852894826 10829824 1263 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1263 566 18 0 2626 0
vsize: 10576
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1399 0 0 0 100717 290 0 0 25 0 1 0 852894826 10829824 1263 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1263 566 18 0 2626 0
vsize: 10576
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1399 0 0 0 101715 292 0 0 25 0 1 0 852894826 10829824 1263 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1263 566 18 0 2626 0
vsize: 10576
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1399 0 0 0 102712 295 0 0 25 0 1 0 852894826 10829824 1263 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1263 566 18 0 2626 0
vsize: 10576
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1399 0 0 0 103710 297 0 0 25 0 1 0 852894826 10829824 1263 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1263 566 18 0 2626 0
vsize: 10576
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1399 0 0 0 104708 300 0 0 25 0 1 0 852894826 10829824 1263 4294967295 134512640 134581267 3221224576 3221223232 134566344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1263 566 18 0 2626 0
vsize: 10576
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1399 0 0 0 105706 302 0 0 25 0 1 0 852894826 10829824 1263 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1263 566 18 0 2626 0
vsize: 10576
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1399 0 0 0 106704 304 0 0 25 0 1 0 852894826 10829824 1263 4294967295 134512640 134581267 3221224576 3221223520 134558830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1263 566 18 0 2626 0
vsize: 10576
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 107701 307 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223456 134520222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1266 566 18 0 2626 0
vsize: 10576
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 108699 309 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223488 134527667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1266 566 18 0 2626 0
vsize: 10576
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 109697 311 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1266 566 18 0 2626 0
vsize: 10576
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 110695 313 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1266 566 18 0 2626 0
vsize: 10576
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 111693 316 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1266 566 18 0 2626 0
vsize: 10576
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 112691 318 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223520 134558889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1266 566 18 0 2626 0
vsize: 10576
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 113689 320 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223520 134559425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1266 566 18 0 2626 0
vsize: 10576
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 114687 323 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1266 566 18 0 2626 0
vsize: 10576
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 115684 325 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1266 566 18 0 2626 0
vsize: 10576
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 116683 327 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1266 566 18 0 2626 0
vsize: 10576
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 117681 329 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1266 566 18 0 2626 0
vsize: 10576
[startup+1188.95 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 13382
Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 117681 329 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1266 566 18 0 2626 0
vsize: 0

Child status: 10
Real time (s): 1188.95
CPU time (s): 1189.01
CPU user time (s): 1185.69
CPU system time (s): 3.3135
CPU usage (%): 100.005
Max. virtual memory (Kb): 10576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	5482925
#### END VERIFIER DATA ####