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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb
MD5SUM	f1382105ee9fb79777762a53cf6a73c1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	21166
Optimality of the best value was proved	NO
Number of terms in the objective function	304
Biggest coefficient in the objective function	62376
Number of bits for the biggest coefficient in the objective function	16
Sum of the numbers in the objective function	3092598
Number of bits of the sum of numbers in the objective function	22
Biggest number in a constraint	62376
Number of bits of the biggest number in a constraint	16
Biggest sum of numbers in a constraint	3092598
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1177.34
Number of variables	556
Total number of constraints	217
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	26
Number of constraints which are nor clauses,nor cardinality constraints	191
Minimum length of a constraint	1
Maximum length of a constraint	48
Trace number 38850

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 18:04:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26907 boxname=wulflinc2 idbench=1035 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  f1382105ee9fb79777762a53cf6a73c1  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-gt2.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-gt2.opb
IDLAUNCH: 26907
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        795032 kB
Buffers:         26084 kB
Cached:         191784 kB
SwapCached:       1160 kB
Active:          30668 kB
Inactive:       189696 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        794780 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            13628 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 18:23:58 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26907 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/wulflinc2/normalized-mps-v2-20-10-gt2.opb
c #variables read: 556 - #constraints read: 218
s SATISFIABLE
v -x_0x2e__0x2e__0x2e_0101_bit0 -x_0x2e__0x2e__0x2e_0101_bit1 -x_0x2e__0x2e__0x2e_0101_bit2 -x_0x2e__0x2e__0x2e_0101_bit3 -x_0x2e__0x2e__0x2e_0201_bit0 -x_0x2e__0x2e__0x2e_0201_bit1 -x_0x2e__0x2e__0x2e_0201_bit2 -x_0x2e__0x2e__0x2e_0201_bit3 -x_0x2e__0x2e__0x2e_0301_bit0 -x_0x2e__0x2e__0x2e_0301_bit1 -x_0x2e__0x2e__0x2e_0301_bit2 -x_0x2e__0x2e__0x2e_0301_bit3 -x_0x2e__0x2e__0x2e_0401_bit0 -x_0x2e__0x2e__0x2e_0401_bit1 -x_0x2e__0x2e__0x2e_0401_bit2 -x_0x2e__0x2e__0x2e_0401_bit3 -x_0x2e__0x2e__0x2e_0701_bit0 -x_0x2e__0x2e__0x2e_0701_bit1 -x_0x2e__0x2e__0x2e_0701_bit2 -x_0x2e__0x2e__0x2e_0701_bit3 -x_0x2e__0x2e__0x2e_0801_bit0 -x_0x2e__0x2e__0x2e_0801_bit1 -x_0x2e__0x2e__0x2e_0801_bit2 -x_0x2e__0x2e__0x2e_0801_bit3 -x_0x2e__0x2e__0x2e_0901_bit0 -x_0x2e__0x2e__0x2e_0901_bit1 -x_0x2e__0x2e__0x2e_0901_bit2 -x_0x2e__0x2e__0x2e_0901_bit3 -x_0x2e__0x2e__0x2e_1001_bit0 -x_0x2e__0x2e__0x2e_1001_bit1 -x_0x2e__0x2e__0x2e_1001_bit2 -x_0x2e__0x2e__0x2e_1001_bit3 -x_0x2e__0x2e__0x2e_0102_bit0 -x_0x2e__0x2e__0x2e_0102_bit1 -x_0x2e__0x2e__0x2e_0102_bit2 -x_0x2e__0x2e__0x2e_0102_bit3 -x_0x2e__0x2e__0x2e_0202_bit0 -x_0x2e__0x2e__0x2e_0202_bit1 -x_0x2e__0x2e__0x2e_0202_bit2 -x_0x2e__0x2e__0x2e_0202_bit3 x_0x2e__0x2e__0x2e_0302_bit0 -x_0x2e__0x2e__0x2e_0302_bit1 -x_0x2e__0x2e__0x2e_0302_bit2 -x_0x2e__0x2e__0x2e_0302_bit3 -x_0x2e__0x2e__0x2e_0402_bit0 -x_0x2e__0x2e__0x2e_0402_bit1 -x_0x2e__0x2e__0x2e_0402_bit2 -x_0x2e__0x2e__0x2e_0402_bit3 -x_0x2e__0x2e__0x2e_0502_bit0 -x_0x2e__0x2e__0x2e_0502_bit1 -x_0x2e__0x2e__0x2e_0502_bit2 -x_0x2e__0x2e__0x2e_0502_bit3 -x_0x2e__0x2e__0x2e_0602_bit0 -x_0x2e__0x2e__0x2e_0602_bit1 -x_0x2e__0x2e__0x2e_0602_bit2 -x_0x2e__0x2e__0x2e_0602_bit3 -x_0x2e__0x2e__0x2e_0702_bit0 -x_0x2e__0x2e__0x2e_0702_bit1 -x_0x2e__0x2e__0x2e_0702_bit2 -x_0x2e__0x2e__0x2e_0702_bit3 -x_0x2e__0x2e__0x2e_0802_bit0 -x_0x2e__0x2e__0x2e_0802_bit1 -x_0x2e__0x2e__0x2e_0802_bit2 -x_0x2e__0x2e__0x2e_0802_bit3 -x_0x2e__0x2e__0x2e_0902_bit0 -x_0x2e__0x2e__0x2e_0902_bit1 -x_0x2e__0x2e__0x2e_0902_bit2 -x_0x2e__0x2e__0x2e_0902_bit3 -x_0x2e__0x2e__0x2e_1002_bit0 -x_0x2e__0x2e__0x2e_1002_bit1 -x_0x2e__0x2e__0x2e_1002_bit2 -x_0x2e__0x2e__0x2e_1002_bit3 -x_0x2e__0x2e__0x2e_1102_bit0 -x_0x2e__0x2e__0x2e_1102_bit1 -x_0x2e__0x2e__0x2e_1102_bit2 -x_0x2e__0x2e__0x2e_1102_bit3 -x_0x2e__0x2e__0x2e_1202_bit0 -x_0x2e__0x2e__0x2e_1202_bit1 -x_0x2e__0x2e__0x2e_1202_bit2 -x_0x2e__0x2e__0x2e_1202_bit3 -x_0x2e__0x2e__0x2e_0103_bit0 -x_0x2e__0x2e__0x2e_0103_bit1 -x_0x2e__0x2e__0x2e_0103_bit2 -x_0x2e__0x2e__0x2e_0103_bit3 -x_0x2e__0x2e__0x2e_0203_bit0 -x_0x2e__0x2e__0x2e_0203_bit1 -x_0x2e__0x2e__0x2e_0203_bit2 -x_0x2e__0x2e__0x2e_0203_bit3 -x_0x2e__0x2e__0x2e_0303_bit0 -x_0x2e__0x2e__0x2e_0303_bit1 -x_0x2e__0x2e__0x2e_0303_bit2 -x_0x2e__0x2e__0x2e_0303_bit3 -x_0x2e__0x2e__0x2e_0403_bit0 -x_0x2e__0x2e__0x2e_0403_bit1 -x_0x2e__0x2e__0x2e_0403_bit2 -x_0x2e__0x2e__0x2e_0403_bit3 -x_0x2e__0x2e__0x2e_0503_bit0 -x_0x2e__0x2e__0x2e_0503_bit1 -x_0x2e__0x2e__0x2e_0503_bit2 -x_0x2e__0x2e__0x2e_0503_bit3 -x_0x2e__0x2e__0x2e_0603_bit0 -x_0x2e__0x2e__0x2e_0603_bit1 -x_0x2e__0x2e__0x2e_0603_bit2 -x_0x2e__0x2e__0x2e_0603_bit3 -x_0x2e__0x2e__0x2e_0703_bit0 -x_0x2e__0x2e__0x2e_0703_bit1 -x_0x2e__0x2e__0x2e_0703_bit2 -x_0x2e__0x2e__0x2e_0703_bit3 -x_0x2e__0x2e__0x2e_0803_bit0 -x_0x2e__0x2e__0x2e_0803_bit1 -x_0x2e__0x2e__0x2e_0803_bit2 -x_0x2e__0x2e__0x2e_0803_bit3 -x_0x2e__0x2e__0x2e_0903_bit0 -x_0x2e__0x2e__0x2e_0903_bit1 -x_0x2e__0x2e__0x2e_0903_bit2 -x_0x2e__0x2e__0x2e_0903_bit3 -x_0x2e__0x2e__0x2e_1003_bit0 -x_0x2e__0x2e__0x2e_1003_bit1 -x_0x2e__0x2e__0x2e_1003_bit2 -x_0x2e__0x2e__0x2e_1003_bit3 -x_0x2e__0x2e__0x2e_1103_bit0 -x_0x2e__0x2e__0x2e_1103_bit1 -x_0x2e__0x2e__0x2e_1103_bit2 -x_0x2e__0x2e__0x2e_1103_bit3 -x_0x2e__0x2e__0x2e_1203_bit0 -x_0x2e__0x2e__0x2e_1203_bit1 -x_0x2e__0x2e__0x2e_1203_bit2 -x_0x2e__0x2e__0x2e_1203_bit3 -x_0x2e__0x2e__0x2e_0104_bit0 -x_0x2e__0x2e__0x2e_0204_bit0 -x_0x2e__0x2e__0x2e_0304_bit0 -x_0x2e__0x2e__0x2e_0404_bit0 -x_0x2e__0x2e__0x2e_0504_bit0 -x_0x2e__0x2e__0x2e_0604_bit0 -x_0x2e__0x2e__0x2e_0704_bit0 -x_0x2e__0x2e__0x2e_0804_bit0 -x_0x2e__0x2e__0x2e_0904_bit0 -x_0x2e__0x2e__0x2e_1004_bit0 -x_0x2e__0x2e__0x2e_1104_bit0 -x_0x2e__0x2e__0x2e_1204_bit0 -x_0x2e__0x2e__0x2e_0105_bit0 -x_0x2e__0x2e__0x2e_0105_bit1 -x_0x2e__0x2e__0x2e_0105_bit2 -x_0x2e__0x2e__0x2e_0205_bit0 -x_0x2e__0x2e__0x2e_0205_bit1 -x_0x2e__0x2e__0x2e_0205_bit2 -x_0x2e__0x2e__0x2e_0305_bit0 -x_0x2e__0x2e__0x2e_0305_bit1 -x_0x2e__0x2e__0x2e_0305_bit2 x_0x2e__0x2e__0x2e_0405_bit0 -x_0x2e__0x2e__0x2e_0405_bit1 -x_0x2e__0x2e__0x2e_0405_bit2 -x_0x2e__0x2e__0x2e_0505_bit0 -x_0x2e__0x2e__0x2e_0505_bit1 -x_0x2e__0x2e__0x2e_0505_bit2 -x_0x2e__0x2e__0x2e_0605_bit0 -x_0x2e__0x2e__0x2e_0605_bit1 -x_0x2e__0x2e__0x2e_0605_bit2 -x_0x2e__0x2e__0x2e_0705_bit0 -x_0x2e__0x2e__0x2e_0705_bit1 -x_0x2e__0x2e__0x2e_0705_bit2 -x_0x2e__0x2e__0x2e_0805_bit0 -x_0x2e__0x2e__0x2e_0805_bit1 -x_0x2e__0x2e__0x2e_0805_bit2 -x_0x2e__0x2e__0x2e_0905_bit0 -x_0x2e__0x2e__0x2e_0905_bit1 -x_0x2e__0x2e__0x2e_0905_bit2 -x_0x2e__0x2e__0x2e_1005_bit0 -x_0x2e__0x2e__0x2e_1005_bit1 -x_0x2e__0x2e__0x2e_1005_bit2 -x_0x2e__0x2e__0x2e_1105_bit0 -x_0x2e__0x2e__0x2e_1105_bit1 -x_0x2e__0x2e__0x2e_1105_bit2 -x_0x2e__0x2e__0x2e_1205_bit0 -x_0x2e__0x2e__0x2e_1205_bit1 -x_0x2e__0x2e__0x2e_1205_bit2 -x_0x2e__0x2e__0x2e_0106_bit0 -x_0x2e__0x2e__0x2e_0106_bit1 -x_0x2e__0x2e__0x2e_0106_bit2 -x_0x2e__0x2e__0x2e_0106_bit3 -x_0x2e__0x2e__0x2e_0206_bit0 -x_0x2e__0x2e__0x2e_0206_bit1 -x_0x2e__0x2e__0x2e_0206_bit2 -x_0x2e__0x2e__0x2e_0206_bit3 -x_0x2e__0x2e__0x2e_0306_bit0 -x_0x2e__0x2e__0x2e_0306_bit1 -x_0x2e__0x2e__0x2e_0306_bit2 -x_0x2e__0x2e__0x2e_0306_bit3 -x_0x2e__0x2e__0x2e_0406_bit0 -x_0x2e__0x2e__0x2e_0406_bit1 -x_0x2e__0x2e__0x2e_0406_bit2 -x_0x2e__0x2e__0x2e_0406_bit3 -x_0x2e__0x2e__0x2e_0506_bit0 -x_0x2e__0x2e__0x2e_0506_bit1 -x_0x2e__0x2e__0x2e_0506_bit2 -x_0x2e__0x2e__0x2e_0506_bit3 -x_0x2e__0x2e__0x2e_0606_bit0 -x_0x2e__0x2e__0x2e_0606_bit1 -x_0x2e__0x2e__0x2e_0606_bit2 -x_0x2e__0x2e__0x2e_0606_bit3 -x_0x2e__0x2e__0x2e_0706_bit0 -x_0x2e__0x2e__0x2e_0706_bit1 -x_0x2e__0x2e__0x2e_0706_bit2 -x_0x2e__0x2e__0x2e_0706_bit3 -x_0x2e__0x2e__0x2e_0806_bit0 -x_0x2e__0x2e__0x2e_0806_bit1 -x_0x2e__0x2e__0x2e_0806_bit2 -x_0x2e__0x2e__0x2e_0806_bit3 -x_0x2e__0x2e__0x2e_0906_bit0 -x_0x2e__0x2e__0x2e_0906_bit1 -x_0x2e__0x2e__0x2e_0906_bit2 -x_0x2e__0x2e__0x2e_0906_bit3 -x_0x2e__0x2e__0x2e_1006_bit0 -x_0x2e__0x2e__0x2e_1006_bit1 -x_0x2e__0x2e__0x2e_1006_bit2 -x_0x2e__0x2e__0x2e_1006_bit3 -x_0x2e__0x2e__0x2e_1106_bit0 -x_0x2e__0x2e__0x2e_1106_bit1 -x_0x2e__0x2e__0x2e_1106_bit2 -x_0x2e__0x2e__0x2e_1106_bit3 -x_0x2e__0x2e__0x2e_1206_bit0 -x_0x2e__0x2e__0x2e_1206_bit1 -x_0x2e__0x2e__0x2e_1206_bit2 -x_0x2e__0x2e__0x2e_1206_bit3 -x_0x2e__0x2e__0x2e_0507_bit0 -x_0x2e__0x2e__0x2e_0507_bit1 -x_0x2e__0x2e__0x2e_0507_bit2 -x_0x2e__0x2e__0x2e_0607_bit0 -x_0x2e__0x2e__0x2e_0607_bit1 -x_0x2e__0x2e__0x2e_0607_bit2 -x_0x2e__0x2e__0x2e_1107_bit0 -x_0x2e__0x2e__0x2e_1107_bit1 -x_0x2e__0x2e__0x2e_1107_bit2 -x_0x2e__0x2e__0x2e_1207_bit0 -x_0x2e__0x2e__0x2e_1207_bit1 -x_0x2e__0x2e__0x2e_1207_bit2 x_0x2e__0x2e__0x2e_0108_bit0 -x_0x2e__0x2e__0x2e_0108_bit1 -x_0x2e__0x2e__0x2e_0108_bit2 -x_0x2e__0x2e__0x2e_0108_bit3 -x_0x2e__0x2e__0x2e_0208_bit0 -x_0x2e__0x2e__0x2e_0208_bit1 -x_0x2e__0x2e__0x2e_0208_bit2 -x_0x2e__0x2e__0x2e_0208_bit3 x_0x2e__0x2e__0x2e_0308_bit0 -x_0x2e__0x2e__0x2e_0308_bit1 -x_0x2e__0x2e__0x2e_0308_bit2 -x_0x2e__0x2e__0x2e_0308_bit3 -x_0x2e__0x2e__0x2e_0408_bit0 -x_0x2e__0x2e__0x2e_0408_bit1 -x_0x2e__0x2e__0x2e_0408_bit2 -x_0x2e__0x2e__0x2e_0408_bit3 -x_0x2e__0x2e__0x2e_0708_bit0 -x_0x2e__0x2e__0x2e_0708_bit1 -x_0x2e__0x2e__0x2e_0708_bit2 -x_0x2e__0x2e__0x2e_0708_bit3 -x_0x2e__0x2e__0x2e_0808_bit0 -x_0x2e__0x2e__0x2e_0808_bit1 -x_0x2e__0x2e__0x2e_0808_bit2 -x_0x2e__0x2e__0x2e_0808_bit3 -x_0x2e__0x2e__0x2e_0908_bit0 -x_0x2e__0x2e__0x2e_0908_bit1 -x_0x2e__0x2e__0x2e_0908_bit2 -x_0x2e__0x2e__0x2e_0908_bit3 -x_0x2e__0x2e__0x2e_1008_bit0 -x_0x2e__0x2e__0x2e_1008_bit1 -x_0x2e__0x2e__0x2e_1008_bit2 -x_0x2e__0x2e__0x2e_1008_bit3 -x_0x2e__0x2e__0x2e_0109_bit0 -x_0x2e__0x2e__0x2e_0109_bit1 -x_0x2e__0x2e__0x2e_0109_bit2 -x_0x2e__0x2e__0x2e_0209_bit0 -x_0x2e__0x2e__0x2e_0209_bit1 -x_0x2e__0x2e__0x2e_0209_bit2 -x_0x2e__0x2e__0x2e_0309_bit0 -x_0x2e__0x2e__0x2e_0309_bit1 -x_0x2e__0x2e__0x2e_0309_bit2 -x_0x2e__0x2e__0x2e_0409_bit0 -x_0x2e__0x2e__0x2e_0409_bit1 -x_0x2e__0x2e__0x2e_0409_bit2 -x_0x2e__0x2e__0x2e_0509_bit0 -x_0x2e__0x2e__0x2e_0509_bit1 -x_0x2e__0x2e__0x2e_0509_bit2 x_0x2e__0x2e__0x2e_0609_bit0 x_0x2e__0x2e__0x2e_0609_bit1 -x_0x2e__0x2e__0x2e_0609_bit2 -x_0x2e__0x2e__0x2e_0709_bit0 -x_0x2e__0x2e__0x2e_0709_bit1 -x_0x2e__0x2e__0x2e_0709_bit2 -x_0x2e__0x2e__0x2e_0809_bit0 -x_0x2e__0x2e__0x2e_0809_bit1 -x_0x2e__0x2e__0x2e_0809_bit2 x_0x2e__0x2e__0x2e_0909_bit0 -x_0x2e__0x2e__0x2e_0909_bit1 -x_0x2e__0x2e__0x2e_0909_bit2 x_0x2e__0x2e__0x2e_1009_bit0 -x_0x2e__0x2e__0x2e_1009_bit1 -x_0x2e__0x2e__0x2e_1009_bit2 -x_0x2e__0x2e__0x2e_1109_bit0 -x_0x2e__0x2e__0x2e_1109_bit1 -x_0x2e__0x2e__0x2e_1109_bit2 -x_0x2e__0x2e__0x2e_1209_bit0 -x_0x2e__0x2e__0x2e_1209_bit1 -x_0x2e__0x2e__0x2e_1209_bit2 -x_0x2e__0x2e__0x2e_0110_bit0 -x_0x2e__0x2e__0x2e_0110_bit1 -x_0x2e__0x2e__0x2e_0110_bit2 x_0x2e__0x2e__0x2e_0111_bit0 -x_0x2e__0x2e__0x2e_0111_bit1 -x_0x2e__0x2e__0x2e_0111_bit2 -x_0x2e__0x2e__0x2e_0112_bit0 -x_0x2e__0x2e__0x2e_0112_bit1 -x_0x2e__0x2e__0x2e_0112_bit2 -x_0x2e__0x2e__0x2e_0112_bit3 x_0x2e__0x2e__0x2e_0113_bit0 -x_0x2e__0x2e__0x2e_0113_bit1 -x_0x2e__0x2e__0x2e_0113_bit2 x_0x2e__0x2e__0x2e_0114_bit0 -x_0x2e__0x2e__0x2e_0114_bit1 -x_0x2e__0x2e__0x2e_0114_bit2 -x_0x2e__0x2e__0x2e_0115_bit0 -x_0x2e__0x2e__0x2e_0115_bit1 x_0x2e__0x2e__0x2e_0116_bit0 -x_0x2e__0x2e__0x2e_0116_bit1 -x_0x2e__0x2e__0x2e_0117_bit0 -x_0x2e__0x2e__0x2e_0210_bit0 -x_0x2e__0x2e__0x2e_0210_bit1 -x_0x2e__0x2e__0x2e_0210_bit2 x_0x2e__0x2e__0x2e_0211_bit0 -x_0x2e__0x2e__0x2e_0211_bit1 -x_0x2e__0x2e__0x2e_0211_bit2 -x_0x2e__0x2e__0x2e_0212_bit0 -x_0x2e__0x2e__0x2e_0212_bit1 -x_0x2e__0x2e__0x2e_0212_bit2 -x_0x2e__0x2e__0x2e_0212_bit3 -x_0x2e__0x2e__0x2e_0213_bit0 -x_0x2e__0x2e__0x2e_0213_bit1 -x_0x2e__0x2e__0x2e_0213_bit2 -x_0x2e__0x2e__0x2e_0214_bit0 -x_0x2e__0x2e__0x2e_0214_bit1 -x_0x2e__0x2e__0x2e_0214_bit2 x_0x2e__0x2e__0x2e_0215_bit0 -x_0x2e__0x2e__0x2e_0215_bit1 -x_0x2e__0x2e__0x2e_0216_bit0 -x_0x2e__0x2e__0x2e_0216_bit1 -x_0x2e__0x2e__0x2e_0217_bit0 -x_0x2e__0x2e__0x2e_0310_bit0 -x_0x2e__0x2e__0x2e_0310_bit1 -x_0x2e__0x2e__0x2e_0310_bit2 -x_0x2e__0x2e__0x2e_0311_bit0 -x_0x2e__0x2e__0x2e_0311_bit1 -x_0x2e__0x2e__0x2e_0311_bit2 -x_0x2e__0x2e__0x2e_0312_bit0 -x_0x2e__0x2e__0x2e_0312_bit1 x_0x2e__0x2e__0x2e_0312_bit2 -x_0x2e__0x2e__0x2e_0312_bit3 -x_0x2e__0x2e__0x2e_0313_bit0 -x_0x2e__0x2e__0x2e_0313_bit1 x_0x2e__0x2e__0x2e_0313_bit2 -x_0x2e__0x2e__0x2e_0314_bit0 -x_0x2e__0x2e__0x2e_0314_bit1 -x_0x2e__0x2e__0x2e_0314_bit2 -x_0x2e__0x2e__0x2e_0315_bit0 -x_0x2e__0x2e__0x2e_0315_bit1 -x_0x2e__0x2e__0x2e_0316_bit0 -x_0x2e__0x2e__0x2e_0316_bit1 -x_0x2e__0x2e__0x2e_0317_bit0 x_0x2e__0x2e__0x2e_0410_bit0 -x_0x2e__0x2e__0x2e_0410_bit1 -x_0x2e__0x2e__0x2e_0410_bit2 x_0x2e__0x2e__0x2e_0411_bit0 -x_0x2e__0x2e__0x2e_0411_bit1 -x_0x2e__0x2e__0x2e_0411_bit2 -x_0x2e__0x2e__0x2e_0412_bit0 -x_0x2e__0x2e__0x2e_0412_bit1 -x_0x2e__0x2e__0x2e_0412_bit2 -x_0x2e__0x2e__0x2e_0412_bit3 -x_0x2e__0x2e__0x2e_0413_bit0 -x_0x2e__0x2e__0x2e_0413_bit1 -x_0x2e__0x2e__0x2e_0413_bit2 x_0x2e__0x2e__0x2e_0414_bit0 -x_0x2e__0x2e__0x2e_0414_bit1 -x_0x2e__0x2e__0x2e_0414_bit2 x_0x2e__0x2e__0x2e_0415_bit0 -x_0x2e__0x2e__0x2e_0415_bit1 x_0x2e__0x2e__0x2e_0416_bit0 -x_0x2e__0x2e__0x2e_0416_bit1 x_0x2e__0x2e__0x2e_0417_bit0 x_0x2e__0x2e__0x2e_0510_bit0 -x_0x2e__0x2e__0x2e_0510_bit1 -x_0x2e__0x2e__0x2e_0510_bit2 -x_0x2e__0x2e__0x2e_0511_bit0 -x_0x2e__0x2e__0x2e_0511_bit1 -x_0x2e__0x2e__0x2e_0511_bit2 -x_0x2e__0x2e__0x2e_0512_bit0 x_0x2e__0x2e__0x2e_0512_bit1 -x_0x2e__0x2e__0x2e_0512_bit2 -x_0x2e__0x2e__0x2e_0512_bit3 -x_0x2e__0x2e__0x2e_0513_bit0 -x_0x2e__0x2e__0x2e_0513_bit1 -x_0x2e__0x2e__0x2e_0513_bit2 -x_0x2e__0x2e__0x2e_0514_bit0 -x_0x2e__0x2e__0x2e_0514_bit1 -x_0x2e__0x2e__0x2e_0514_bit2 -x_0x2e__0x2e__0x2e_0515_bit0 -x_0x2e__0x2e__0x2e_0515_bit1 -x_0x2e__0x2e__0x2e_0516_bit0 -x_0x2e__0x2e__0x2e_0516_bit1 -x_0x2e__0x2e__0x2e_0517_bit0 -x_0x2e__0x2e__0x2e_0610_bit0 -x_0x2e__0x2e__0x2e_0610_bit1 -x_0x2e__0x2e__0x2e_0610_bit2 -x_0x2e__0x2e__0x2e_0611_bit0 -x_0x2e__0x2e__0x2e_0611_bit1 -x_0x2e__0x2e__0x2e_0611_bit2 -x_0x2e__0x2e__0x2e_0612_bit0 -x_0x2e__0x2e__0x2e_0612_bit1 -x_0x2e__0x2e__0x2e_0612_bit2 -x_0x2e__0x2e__0x2e_0612_bit3 -x_0x2e__0x2e__0x2e_0613_bit0 -x_0x2e__0x2e__0x2e_0613_bit1 -x_0x2e__0x2e__0x2e_0613_bit2 -x_0x2e__0x2e__0x2e_0614_bit0 -x_0x2e__0x2e__0x2e_0614_bit1 -x_0x2e__0x2e__0x2e_0614_bit2 -x_0x2e__0x2e__0x2e_0615_bit0 -x_0x2e__0x2e__0x2e_0615_bit1 -x_0x2e__0x2e__0x2e_0616_bit0 -x_0x2e__0x2e__0x2e_0616_bit1 -x_0x2e__0x2e__0x2e_0617_bit0 x_0x2e__0x2e__0x2e_0710_bit0 -x_0x2e__0x2e__0x2e_0710_bit1 -x_0x2e__0x2e__0x2e_0710_bit2 -x_0x2e__0x2e__0x2e_0711_bit0 -x_0x2e__0x2e__0x2e_0711_bit1 -x_0x2e__0x2e__0x2e_0711_bit2 x_0x2e__0x2e__0x2e_0712_bit0 -x_0x2e__0x2e__0x2e_0712_bit1 -x_0x2e__0x2e__0x2e_0712_bit2 -x_0x2e__0x2e__0x2e_0712_bit3 -x_0x2e__0x2e__0x2e_0713_bit0 -x_0x2e__0x2e__0x2e_0713_bit1 -x_0x2e__0x2e__0x2e_0713_bit2 -x_0x2e__0x2e__0x2e_0714_bit0 x_0x2e__0x2e__0x2e_0714_bit1 -x_0x2e__0x2e__0x2e_0714_bit2 -x_0x2e__0x2e__0x2e_0715_bit0 -x_0x2e__0x2e__0x2e_0715_bit1 -x_0x2e__0x2e__0x2e_0716_bit0 -x_0x2e__0x2e__0x2e_0716_bit1 -x_0x2e__0x2e__0x2e_0717_bit0 -x_0x2e__0x2e__0x2e_0810_bit0 -x_0x2e__0x2e__0x2e_0810_bit1 -x_0x2e__0x2e__0x2e_0810_bit2 x_0x2e__0x2e__0x2e_0811_bit0 -x_0x2e__0x2e__0x2e_0811_bit1 -x_0x2e__0x2e__0x2e_0811_bit2 x_0x2e__0x2e__0x2e_0812_bit0 -x_0x2e__0x2e__0x2e_0812_bit1 -x_0x2e__0x2e__0x2e_0812_bit2 -x_0x2e__0x2e__0x2e_0812_bit3 -x_0x2e__0x2e__0x2e_0813_bit0 -x_0x2e__0x2e__0x2e_0813_bit1 -x_0x2e__0x2e__0x2e_0813_bit2 -x_0x2e__0x2e__0x2e_0814_bit0 -x_0x2e__0x2e__0x2e_0814_bit1 -x_0x2e__0x2e__0x2e_0814_bit2 -x_0x2e__0x2e__0x2e_0815_bit0 -x_0x2e__0x2e__0x2e_0815_bit1 -x_0x2e__0x2e__0x2e_0816_bit0 -x_0x2e__0x2e__0x2e_0816_bit1 -x_0x2e__0x2e__0x2e_0817_bit0 -x_0x2e__0x2e__0x2e_0910_bit0 -x_0x2e__0x2e__0x2e_0910_bit1 -x_0x2e__0x2e__0x2e_0910_bit2 -x_0x2e__0x2e__0x2e_0911_bit0 -x_0x2e__0x2e__0x2e_0911_bit1 -x_0x2e__0x2e__0x2e_0911_bit2 -x_0x2e__0x2e__0x2e_0912_bit0 -x_0x2e__0x2e__0x2e_0912_bit1 -x_0x2e__0x2e__0x2e_0912_bit2 -x_0x2e__0x2e__0x2e_0912_bit3 -x_0x2e__0x2e__0x2e_0913_bit0 -x_0x2e__0x2e__0x2e_0913_bit1 -x_0x2e__0x2e__0x2e_0913_bit2 -x_0x2e__0x2e__0x2e_0914_bit0 -x_0x2e__0x2e__0x2e_0914_bit1 -x_0x2e__0x2e__0x2e_0914_bit2 -x_0x2e__0x2e__0x2e_0915_bit0 -x_0x2e__0x2e__0x2e_0915_bit1 -x_0x2e__0x2e__0x2e_0916_bit0 -x_0x2e__0x2e__0x2e_0916_bit1 -x_0x2e__0x2e__0x2e_0917_bit0 -x_0x2e__0x2e__0x2e_1010_bit0 -x_0x2e__0x2e__0x2e_1010_bit1 -x_0x2e__0x2e__0x2e_1010_bit2 -x_0x2e__0x2e__0x2e_1011_bit0 -x_0x2e__0x2e__0x2e_1011_bit1 -x_0x2e__0x2e__0x2e_1011_bit2 -x_0x2e__0x2e__0x2e_1012_bit0 -x_0x2e__0x2e__0x2e_1012_bit1 -x_0x2e__0x2e__0x2e_1012_bit2 -x_0x2e__0x2e__0x2e_1012_bit3 -x_0x2e__0x2e__0x2e_1013_bit0 -x_0x2e__0x2e__0x2e_1013_bit1 -x_0x2e__0x2e__0x2e_1013_bit2 -x_0x2e__0x2e__0x2e_1014_bit0 -x_0x2e__0x2e__0x2e_1014_bit1 -x_0x2e__0x2e__0x2e_1014_bit2 -x_0x2e__0x2e__0x2e_1015_bit0 -x_0x2e__0x2e__0x2e_1015_bit1 -x_0x2e__0x2e__0x2e_1016_bit0 -x_0x2e__0x2e__0x2e_1016_bit1 -x_0x2e__0x2e__0x2e_1017_bit0 x_0x2e__0x2e__0x2e_1110_bit0 x_0x2e__0x2e__0x2e_1110_bit1 -x_0x2e__0x2e__0x2e_1110_bit2 -x_0x2e__0x2e__0x2e_1111_bit0 -x_0x2e__0x2e__0x2e_1111_bit1 -x_0x2e__0x2e__0x2e_1111_bit2 x_0x2e__0x2e__0x2e_1112_bit0 -x_0x2e__0x2e__0x2e_1112_bit1 -x_0x2e__0x2e__0x2e_1112_bit2 -x_0x2e__0x2e__0x2e_1112_bit3 -x_0x2e__0x2e__0x2e_1113_bit0 -x_0x2e__0x2e__0x2e_1113_bit1 -x_0x2e__0x2e__0x2e_1113_bit2 -x_0x2e__0x2e__0x2e_1114_bit0 -x_0x2e__0x2e__0x2e_1114_bit1 -x_0x2e__0x2e__0x2e_1114_bit2 -x_0x2e__0x2e__0x2e_1115_bit0 -x_0x2e__0x2e__0x2e_1115_bit1 -x_0x2e__0x2e__0x2e_1116_bit0 -x_0x2e__0x2e__0x2e_1116_bit1 -x_0x2e__0x2e__0x2e_1117_bit0 -x_0x2e__0x2e__0x2e_1210_bit0 -x_0x2e__0x2e__0x2e_1210_bit1 -x_0x2e__0x2e__0x2e_1210_bit2 -x_0x2e__0x2e__0x2e_1211_bit0 -x_0x2e__0x2e__0x2e_1211_bit1 -x_0x2e__0x2e__0x2e_1211_bit2 -x_0x2e__0x2e__0x2e_1212_bit0 -x_0x2e__0x2e__0x2e_1212_bit1 -x_0x2e__0x2e__0x2e_1212_bit2 -x_0x2e__0x2e__0x2e_1212_bit3 -x_0x2e__0x2e__0x2e_1213_bit0 -x_0x2e__0x2e__0x2e_1213_bit1 -x_0x2e__0x2e__0x2e_1213_bit2 -x_0x2e__0x2e__0x2e_1214_bit0 -x_0x2e__0x2e__0x2e_1214_bit1 -x_0x2e__0x2e__0x2e_1214_bit2 -x_0x2e__0x2e__0x2e_1215_bit0 -x_0x2e__0x2e__0x2e_1215_bit1 -x_0x2e__0x2e__0x2e_1216_bit0 -x_0x2e__0x2e__0x2e_1216_bit1 -x_0x2e__0x2e__0x2e_1217_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 1/54 27549
Raw data (stat): 27549 (runsolver) R 27548 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851806493 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0017 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 27549
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 502 0 0 0 993 5 0 0 25 0 1 0 851806493 7626752 476 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1862 476 566 18 0 1844 0
vsize: 7448
[startup+20.0026 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 27549
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 512 0 0 0 1987 12 0 0 25 0 1 0 851806493 7761920 486 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1895 486 566 18 0 1877 0
vsize: 7580
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 27549
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 527 0 0 0 2983 16 0 0 25 0 1 0 851806493 7761920 501 4294967295 134512640 134581267 3221224576 3221223520 134559228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1895 501 566 18 0 1877 0
vsize: 7580
[startup+40.0037 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 27549
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 544 0 0 0 3979 20 0 0 25 0 1 0 851806493 7852032 518 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 518 566 18 0 1899 0
vsize: 7668
[startup+50.0044 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 27549
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 604 0 0 0 4975 24 0 0 25 0 1 0 851806493 8056832 578 4294967295 134512640 134581267 3221224576 3221223520 134558884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1967 578 566 18 0 1949 0
vsize: 7868
[startup+60.0047 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 27549
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 604 0 0 0 5970 29 0 0 25 0 1 0 851806493 8056832 578 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1967 578 566 18 0 1949 0
vsize: 7868
[startup+70.0058 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 27549
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 604 0 0 0 6965 35 0 0 25 0 1 0 851806493 8056832 578 4294967295 134512640 134581267 3221224576 3221223488 134527737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1967 578 566 18 0 1949 0
vsize: 7868
[startup+80.0068 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27549
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 604 0 0 0 7956 44 0 0 25 0 1 0 851806493 8056832 578 4294967295 134512640 134581267 3221224576 3221223488 134527689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1967 578 566 18 0 1949 0
vsize: 7868
[startup+90.0068 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27549
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 604 0 0 0 8950 49 0 0 25 0 1 0 851806493 8056832 578 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1967 578 566 18 0 1949 0
vsize: 7868
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27549
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 604 0 0 0 9944 55 0 0 25 0 1 0 851806493 8056832 578 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1967 578 566 18 0 1949 0
vsize: 7868
[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 27549
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 604 0 0 0 10938 62 0 0 25 0 1 0 851806493 8056832 578 4294967295 134512640 134581267 3221224576 3221223632 134555995 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1967 578 566 18 0 1949 0
vsize: 7868
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27549
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 638 0 0 0 11932 68 0 0 25 0 1 0 851806493 8187904 612 4294967295 134512640 134581267 3221224576 3221223520 134559412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1999 612 566 18 0 1981 0
vsize: 7996
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 646 0 0 0 12926 74 0 0 25 0 1 0 851806493 8318976 620 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2031 620 566 18 0 2013 0
vsize: 8124
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 675 0 0 0 13920 79 0 0 25 0 1 0 851806493 8400896 649 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2051 649 566 18 0 2033 0
vsize: 8204
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 675 0 0 0 14916 84 0 0 25 0 1 0 851806493 8278016 636 4294967295 134512640 134581267 3221224576 3221223488 134527720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2021 636 566 18 0 2003 0
vsize: 8084
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 675 0 0 0 15911 89 0 0 25 0 1 0 851806493 8278016 636 4294967295 134512640 134581267 3221224576 3221223504 134519844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2021 636 566 18 0 2003 0
vsize: 8084
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 675 0 0 0 16906 94 0 0 25 0 1 0 851806493 8278016 636 4294967295 134512640 134581267 3221224576 3221223264 1075288624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2021 636 566 18 0 2003 0
vsize: 8084
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 675 0 0 0 17901 99 0 0 25 0 1 0 851806493 8278016 636 4294967295 134512640 134581267 3221224576 3221223488 134527943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2021 636 566 18 0 2003 0
vsize: 8084
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 675 0 0 0 18897 103 0 0 25 0 1 0 851806493 8278016 636 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2021 636 566 18 0 2003 0
vsize: 8084
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 675 0 0 0 19894 106 0 0 25 0 1 0 851806493 8278016 636 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2021 636 566 18 0 2003 0
vsize: 8084
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 675 0 0 0 20890 110 0 0 25 0 1 0 851806493 8278016 636 4294967295 134512640 134581267 3221224576 3221223264 1075288512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2021 636 566 18 0 2003 0
vsize: 8084
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 21887 113 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 22882 118 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223488 134527342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 23879 122 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 24876 125 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 25872 129 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223488 134527548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 26868 133 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 27865 136 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 28861 141 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 29856 146 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 30852 150 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223456 134520219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 31848 153 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223488 134527737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 32846 156 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+340.019 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 33842 160 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223440 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+350.019 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 34837 165 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223520 134558756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+360.02 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 35833 169 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+370.02 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 36829 173 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223440 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+380.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 37825 177 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223456 134520212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+390.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 38819 184 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223272 1075291317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+400.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 39815 188 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+410.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 40809 194 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223548 134527264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+420.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 41804 198 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223456 134520434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+430.022 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 42799 204 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223520 134559434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+440.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 43791 212 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223520 134558849 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+450.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 44787 216 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+460.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 45781 222 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+470.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 723 0 0 0 46777 226 0 0 25 0 1 0 851806493 8540160 684 4294967295 134512640 134581267 3221224576 3221223488 134527720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+480.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 735 0 0 0 47773 231 0 0 25 0 1 0 851806493 8540160 696 4294967295 134512640 134581267 3221224576 3221223568 134560816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 696 566 18 0 2067 0
vsize: 8340
[startup+490.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 737 0 0 0 48769 235 0 0 25 0 1 0 851806493 8540160 698 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 698 566 18 0 2067 0
vsize: 8340
[startup+500.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 737 0 0 0 49764 240 0 0 25 0 1 0 851806493 8540160 698 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 698 566 18 0 2067 0
vsize: 8340
[startup+510.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 743 0 0 0 50759 245 0 0 25 0 1 0 851806493 8671232 704 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2117 704 566 18 0 2099 0
vsize: 8468
[startup+520.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 753 0 0 0 51755 249 0 0 25 0 1 0 851806493 8601600 714 4294967295 134512640 134581267 3221224576 3221223520 134559425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2100 714 566 18 0 2082 0
vsize: 8400
[startup+530.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 776 0 0 0 52751 253 0 0 25 0 1 0 851806493 8720384 735 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2129 735 566 18 0 2111 0
vsize: 8516
[startup+540.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 53747 257 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+550.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 54745 260 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+560.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 55741 264 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+570.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 56738 267 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+580.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 57734 272 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+590.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 58730 276 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+600.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 59726 280 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+610.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 60724 283 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+620.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 61720 286 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+630.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 62717 290 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+640.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 63714 293 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+650.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 64711 296 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+660.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 65708 299 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+670.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 66705 302 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+680.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 67701 306 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+690.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 68698 310 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+700.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 69696 312 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+710.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 70693 315 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+720.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 71691 318 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+730.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 72688 321 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+740.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 73685 324 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+750.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 74682 327 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+760.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 75679 330 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+770.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 76676 333 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+780.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 77672 338 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+790.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 78669 340 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+800.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 79666 344 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+810.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 80663 348 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+820.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 81660 351 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+830.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 82656 355 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+840.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 83652 359 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223396 1075289788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+850.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 84649 363 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+860.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 85644 368 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+870.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 86641 371 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+880.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 87636 376 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+890.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 88630 383 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+900.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 89626 387 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527683 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+910.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 90622 391 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+920.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 91620 396 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+930.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 92615 401 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223520 134554673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+940.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 93611 405 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+950.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 94607 409 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223440 134560433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+960.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 826 0 0 0 95605 412 0 0 25 0 1 0 851806493 8884224 770 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+970.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 846 0 0 0 96601 416 0 0 25 0 1 0 851806493 8929280 790 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 790 566 18 0 2162 0
vsize: 8720
[startup+980.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 97596 420 0 0 25 0 1 0 851806493 9060352 818 4294967295 134512640 134581267 3221224576 3221223472 134517779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2212 818 566 18 0 2194 0
vsize: 8848
[startup+990.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 98592 425 0 0 25 0 1 0 851806493 8929280 795 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 99588 429 0 0 25 0 1 0 851806493 8929280 795 4294967295 134512640 134581267 3221224576 3221223472 134517615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 100587 431 0 0 25 0 1 0 851806493 8929280 795 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 101585 433 0 0 25 0 1 0 851806493 8929280 795 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 102583 435 0 0 25 0 1 0 851806493 8929280 795 4294967295 134512640 134581267 3221224576 3221223492 1075285501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 103580 438 0 0 25 0 1 0 851806493 8929280 795 4294967295 134512640 134581267 3221224576 3221223552 134561310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 104577 441 0 0 25 0 1 0 851806493 8929280 795 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1060.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 105575 443 0 0 25 0 1 0 851806493 8929280 795 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1070.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 106572 447 0 0 25 0 1 0 851806493 8929280 795 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1080.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 107567 452 0 0 25 0 1 0 851806493 8929280 795 4294967295 134512640 134581267 3221224576 3221223568 134560935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1090.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 108562 457 0 0 25 0 1 0 851806493 8929280 795 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1100.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 109556 463 0 0 25 0 1 0 851806493 8929280 795 4294967295 134512640 134581267 3221224576 3221223400 134531758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1110.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 110553 467 0 0 25 0 1 0 851806493 8929280 795 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1120.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 111548 472 0 0 25 0 1 0 851806493 8929280 795 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1130.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 112541 478 0 0 25 0 1 0 851806493 8929280 795 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1140.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 113538 482 0 0 25 0 1 0 851806493 8929280 795 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 114533 487 0 0 25 0 1 0 851806493 8929280 795 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 115529 491 0 0 25 0 1 0 851806493 8929280 795 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.99 0.91 3/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 116525 496 0 0 25 0 1 0 851806493 8929280 795 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1180.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 117520 501 0 0 25 0 1 0 851806493 8929280 795 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1188.87 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 27551
Raw data (stat): 27549 (Pueblo-v2) R 27548 31399 31398 0 -1 0 874 0 0 0 117520 501 0 0 25 0 1 0 851806493 8929280 795 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 0

Child status: 10
Real time (s): 1188.87
CPU time (s): 1189.01
CPU user time (s): 1183.94
CPU system time (s): 5.06523
CPU usage (%): 100.011
Max. virtual memory (Kb): 8848
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30676
#### END VERIFIER DATA ####