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/miplib3/normalized-mps-v2-13-7-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	1175.14
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 39232

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-03 00:02:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27291 boxname=wulflinc3 idbench=1419 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  f1382105ee9fb79777762a53cf6a73c1  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-gt2.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-gt2.opb
IDLAUNCH: 27291
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        351560 kB
Buffers:         27552 kB
Cached:         632692 kB
SwapCached:        240 kB
Active:          28976 kB
Inactive:       633812 kB
HighTotal:      131008 kB
HighFree:        39564 kB
LowTotal:       903652 kB
LowFree:        311996 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6212 kB
Slab:            14500 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 00:22:23 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 27291 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/wulflinc3/normalized-mps-v2-13-7-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.61 0.88 0.88 2/54 21599
Raw data (stat): 21599 (runsolver) R 21598 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 853945635 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.67 0.88 0.89 2/54 21599
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 502 0 0 0 993 5 0 0 25 0 1 0 853945635 7626752 476 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1862 476 566 18 0 1844 0
vsize: 7448
[startup+20.0014 s]
Raw data (loadavg): 0.72 0.88 0.89 2/54 21599
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 512 0 0 0 1986 12 0 0 25 0 1 0 853945635 7761920 486 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1895 486 566 18 0 1877 0
vsize: 7580
[startup+30.0012 s]
Raw data (loadavg): 0.76 0.89 0.89 2/54 21599
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 527 0 0 0 2982 16 0 0 25 0 1 0 853945635 7761920 501 4294967295 134512640 134581267 3221224576 3221223520 134558756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1895 501 566 18 0 1877 0
vsize: 7580
[startup+40.0026 s]
Raw data (loadavg): 0.80 0.89 0.89 2/54 21599
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 544 0 0 0 3977 22 0 0 25 0 1 0 853945635 7852032 518 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1917 518 566 18 0 1899 0
vsize: 7668
[startup+50.0027 s]
Raw data (loadavg): 0.83 0.89 0.89 2/54 21599
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 604 0 0 0 4972 27 0 0 25 0 1 0 853945635 8056832 578 4294967295 134512640 134581267 3221224576 3221223488 134527768 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.0036 s]
Raw data (loadavg): 0.86 0.90 0.89 2/54 21599
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 604 0 0 0 5967 32 0 0 25 0 1 0 853945635 8056832 578 4294967295 134512640 134581267 3221224576 3221223472 134517868 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.0048 s]
Raw data (loadavg): 0.88 0.90 0.89 2/54 21599
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 604 0 0 0 6963 36 0 0 25 0 1 0 853945635 8056832 578 4294967295 134512640 134581267 3221224576 3221223488 134527701 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.0042 s]
Raw data (loadavg): 0.90 0.90 0.89 2/54 21599
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 604 0 0 0 7954 45 0 0 25 0 1 0 853945635 8056832 578 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.0041 s]
Raw data (loadavg): 0.91 0.91 0.89 2/54 21599
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 604 0 0 0 8949 50 0 0 25 0 1 0 853945635 8056832 578 4294967295 134512640 134581267 3221224576 3221223440 134528240 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.005 s]
Raw data (loadavg): 0.92 0.91 0.89 2/54 21599
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 604 0 0 0 9943 56 0 0 25 0 1 0 853945635 8056832 578 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.006 s]
Raw data (loadavg): 0.94 0.91 0.90 2/54 21599
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 604 0 0 0 10939 61 0 0 25 0 1 0 853945635 8056832 578 4294967295 134512640 134581267 3221224576 3221223488 134527445 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.007 s]
Raw data (loadavg): 0.95 0.91 0.90 2/54 21599
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 629 0 0 0 11933 67 0 0 25 0 1 0 853945635 8187904 603 4294967295 134512640 134581267 3221224576 3221223544 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1999 603 566 18 0 1981 0
vsize: 7996
[startup+130.007 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 21599
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 646 0 0 0 12927 74 0 0 25 0 1 0 853945635 8318976 620 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.007 s]
Raw data (loadavg): 0.96 0.92 0.90 2/54 21599
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 652 0 0 0 13922 79 0 0 25 0 1 0 853945635 8269824 626 4294967295 134512640 134581267 3221224576 3221223352 1075291162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2019 626 566 18 0 2001 0
vsize: 8076
[startup+150.007 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 21599
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 675 0 0 0 14917 84 0 0 25 0 1 0 853945635 8278016 636 4294967295 134512640 134581267 3221224576 3221223488 134527454 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.008 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 21599
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 675 0 0 0 15913 88 0 0 25 0 1 0 853945635 8278016 636 4294967295 134512640 134581267 3221224576 3221223488 134527434 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.008 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 675 0 0 0 16909 93 0 0 25 0 1 0 853945635 8278016 636 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.008 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 675 0 0 0 17905 97 0 0 25 0 1 0 853945635 8278016 636 4294967295 134512640 134581267 3221224576 3221223472 134517630 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.009 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 675 0 0 0 18901 100 0 0 25 0 1 0 853945635 8278016 636 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.008 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 675 0 0 0 19897 105 0 0 25 0 1 0 853945635 8278016 636 4294967295 134512640 134581267 3221224576 3221223488 134527768 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.008 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 675 0 0 0 20894 108 0 0 25 0 1 0 853945635 8278016 636 4294967295 134512640 134581267 3221224576 3221223472 134517894 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.009 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 21890 112 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223488 134527695 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.008 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 22886 117 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223488 134527459 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.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 23882 120 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 24879 123 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 25876 127 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223472 134517844 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.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 26872 131 0 0 25 0 1 0 853945635 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+280.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 27870 133 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223488 134527504 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.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 28867 136 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223488 134527774 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.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 29863 140 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223520 134558775 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.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 30860 143 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 31857 147 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223488 134527683 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.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 32855 149 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223440 134528222 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.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 33853 152 0 0 25 0 1 0 853945635 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+350.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 34850 155 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 35846 159 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223488 134527416 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.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 36843 162 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223440 134560337 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.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 37838 167 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 38834 172 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223440 134528110 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.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 39830 176 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 40825 181 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 41821 185 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 42816 190 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 43812 194 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223488 134527774 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.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 44808 199 0 0 25 0 1 0 853945635 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.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 45804 202 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 46800 207 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223488 134527416 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.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 723 0 0 0 47796 211 0 0 25 0 1 0 853945635 8540160 684 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 684 566 18 0 2067 0
vsize: 8340
[startup+490.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 737 0 0 0 48793 214 0 0 25 0 1 0 853945635 8540160 698 4294967295 134512640 134581267 3221224576 3221223440 134528249 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.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 737 0 0 0 49790 218 0 0 25 0 1 0 853945635 8540160 698 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 737 0 0 0 50786 222 0 0 25 0 1 0 853945635 8540160 698 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2085 698 566 18 0 2067 0
vsize: 8340
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 743 0 0 0 51783 225 0 0 25 0 1 0 853945635 8605696 704 4294967295 134512640 134581267 3221224576 3221223488 134527729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2101 704 566 18 0 2083 0
vsize: 8404
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 753 0 0 0 52779 229 0 0 25 0 1 0 853945635 8593408 713 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2098 713 566 18 0 2080 0
vsize: 8392
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 776 0 0 0 53776 232 0 0 25 0 1 0 853945635 8622080 720 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2105 720 566 18 0 2087 0
vsize: 8420
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 54772 237 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 55770 239 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 56766 243 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 57762 247 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 58758 251 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 59755 255 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 60751 259 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 61748 261 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 62745 264 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 63743 267 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 64740 270 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 65736 274 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 66734 277 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 67731 280 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 68727 284 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 69725 287 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 70723 288 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 71720 292 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 72716 296 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 73713 299 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 74708 304 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 75706 307 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223568 134561067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 76704 309 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 77700 313 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 78696 317 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223212 1075288356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 79693 321 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 80689 324 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 81686 328 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 82682 332 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 83677 337 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 84673 341 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 85669 345 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 86664 351 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 87660 355 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223584 134560206 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 88656 360 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 89649 367 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 90643 372 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223568 134561015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 91639 377 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 92635 381 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 93631 385 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223264 1075288538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+950.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 94627 389 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 826 0 0 0 95623 393 0 0 25 0 1 0 853945635 8884224 770 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 770 566 18 0 2151 0
vsize: 8676
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 846 0 0 0 96620 397 0 0 25 0 1 0 853945635 9015296 790 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2201 790 566 18 0 2183 0
vsize: 8804
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 846 0 0 0 97615 402 0 0 25 0 1 0 853945635 8929280 790 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 790 566 18 0 2162 0
vsize: 8720
[startup+990.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 874 0 0 0 98609 408 0 0 25 0 1 0 853945635 8929280 795 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 874 0 0 0 99605 412 0 0 25 0 1 0 853945635 8929280 795 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 874 0 0 0 100603 415 0 0 25 0 1 0 853945635 8929280 795 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 874 0 0 0 101601 417 0 0 25 0 1 0 853945635 8929280 795 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 874 0 0 0 102598 420 0 0 25 0 1 0 853945635 8929280 795 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 874 0 0 0 103595 423 0 0 25 0 1 0 853945635 8929280 795 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 874 0 0 0 104592 426 0 0 25 0 1 0 853945635 8929280 795 4294967295 134512640 134581267 3221224576 3221223552 134560693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 874 0 0 0 105591 428 0 0 25 0 1 0 853945635 8929280 795 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 874 0 0 0 106587 432 0 0 25 0 1 0 853945635 8929280 795 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 874 0 0 0 107583 436 0 0 25 0 1 0 853945635 8929280 795 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 874 0 0 0 108578 442 0 0 25 0 1 0 853945635 8929280 795 4294967295 134512640 134581267 3221224576 3221223440 134528235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 874 0 0 0 109573 446 0 0 25 0 1 0 853945635 8929280 795 4294967295 134512640 134581267 3221224576 3221223472 134517735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 874 0 0 0 110569 450 0 0 25 0 1 0 853945635 8929280 795 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 874 0 0 0 111565 454 0 0 25 0 1 0 853945635 8929280 795 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 874 0 0 0 112561 459 0 0 25 0 1 0 853945635 8929280 795 4294967295 134512640 134581267 3221224576 3221223488 134527737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 874 0 0 0 113556 464 0 0 25 0 1 0 853945635 8929280 795 4294967295 134512640 134581267 3221224576 3221223264 1075288614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 874 0 0 0 114551 469 0 0 25 0 1 0 853945635 8929280 795 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 874 0 0 0 115545 475 0 0 25 0 1 0 853945635 8929280 795 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 874 0 0 0 116542 479 0 0 25 0 1 0 853945635 8929280 795 4294967295 134512640 134581267 3221224576 3221223488 134527683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 874 0 0 0 117536 484 0 0 25 0 1 0 853945635 8929280 795 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 8720
[startup+1188.84 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 21601
Raw data (stat): 21599 (Pueblo-v2) R 21598 20224 20223 0 -1 0 874 0 0 0 117536 484 0 0 25 0 1 0 853945635 8929280 795 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 795 566 18 0 2162 0
vsize: 0

Child status: 10
Real time (s): 1188.84
CPU time (s): 1189.01
CPU user time (s): 1184.12
CPU system time (s): 4.89026
CPU usage (%): 100.015
Max. virtual memory (Kb): 8804
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30676
#### END VERIFIER DATA ####