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/miplib2003/normalized-mps-v2-13-7-markshare1.opb
MD5SUM	6f06e375914e0285ec75de90ad627758
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3712
Optimality of the best value was proved	NO
Number of terms in the objective function	120
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	6291450
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	6291450
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.1
Number of variables	170
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	70
Trace number 27302

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-24 20:42:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17635 boxname=wulflinc10 idbench=1357 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  6f06e375914e0285ec75de90ad627758  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-markshare1.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-markshare1.opb
IDLAUNCH: 17635
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        891444 kB
Buffers:         20644 kB
Cached:         101736 kB
SwapCached:        224 kB
Active:          30892 kB
Inactive:        94292 kB
HighTotal:      131008 kB
HighFree:        28056 kB
LowTotal:       903652 kB
LowFree:        863388 kB
SwapTotal:     2097136 kB
SwapFree:      2096792 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6568 kB
Slab:            12352 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 21:02:45 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 17635 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/wulflinc10/normalized-mps-v2-13-7-markshare1.opb
c #variables read: 170 - #constraints read: 63
s SATISFIABLE
v -x1_bit_7 -x1_bit_6 -x1_bit_5 -x1_bit_4 -x1_bit_3 -x1_bit_2 -x1_bit_1 -x1_bit0 -x1_bit1 -x1_bit2 x1_bit3 -x1_bit4 x1_bit5 -x1_bit6 -x1_bit7 -x1_bit8 -x1_bit9 -x1_bit10 -x1_bit11 -x1_bit12 -x3_bit_7 -x3_bit_6 -x3_bit_5 -x3_bit_4 -x3_bit_3 -x3_bit_2 -x3_bit_1 x3_bit0 -x3_bit1 -x3_bit2 -x3_bit3 -x3_bit4 -x3_bit5 -x3_bit6 -x3_bit7 -x3_bit8 -x3_bit9 -x3_bit10 -x3_bit11 -x3_bit12 -x5_bit_7 -x5_bit_6 -x5_bit_5 -x5_bit_4 -x5_bit_3 -x5_bit_2 -x5_bit_1 x5_bit0 -x5_bit1 -x5_bit2 -x5_bit3 -x5_bit4 -x5_bit5 -x5_bit6 -x5_bit7 -x5_bit8 -x5_bit9 -x5_bit10 -x5_bit11 -x5_bit12 -x7_bit_7 -x7_bit_6 -x7_bit_5 -x7_bit_4 -x7_bit_3 -x7_bit_2 -x7_bit_1 -x7_bit0 -x7_bit1 -x7_bit2 x7_bit3 -x7_bit4 -x7_bit5 -x7_bit6 -x7_bit7 -x7_bit8 -x7_bit9 -x7_bit10 -x7_bit11 -x7_bit12 -x9_bit_7 -x9_bit_6 -x9_bit_5 -x9_bit_4 -x9_bit_3 -x9_bit_2 -x9_bit_1 -x9_bit0 -x9_bit1 -x9_bit2 x9_bit3 x9_bit4 -x9_bit5 -x9_bit6 -x9_bit7 -x9_bit8 -x9_bit9 -x9_bit10 -x9_bit11 -x9_bit12 -x11_bit_7 -x11_bit_6 -x11_bit_5 -x11_bit_4 -x11_bit_3 -x11_bit_2 -x11_bit_1 x11_bit0 -x11_bit1 -x11_bit2 x11_bit3 x11_bit4 -x11_bit5 -x11_bit6 -x11_bit7 -x11_bit8 -x11_bit9 -x11_bit10 -x11_bit11 -x11_bit12 -x13_bit0 -x14_bit0 -x15_bit0 x16_bit0 x17_bit0 x18_bit0 x19_bit0 x20_bit0 x21_bit0 x22_bit0 x23_bit0 x24_bit0 -x25_bit0 x26_bit0 x27_bit0 -x28_bit0 -x29_bit0 -x30_bit0 x31_bit0 -x32_bit0 x33_bit0 x34_bit0 -x35_bit0 x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 -x40_bit0 x41_bit0 x42_bit0 x43_bit0 -x44_bit0 -x45_bit0 x46_bit0 -x47_bit0 x48_bit0 -x49_bit0 -x50_bit0 x51_bit0 -x52_bit0 x53_bit0 x54_bit0 x55_bit0 -x56_bit0 x57_bit0 -x58_bit0 x59_bit0 -x60_bit0 x61_bit0 -x62_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.04 0.98 0.91 2/54 21147
Raw data (stat): 21147 (runsolver) R 21146 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774998580 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 287 0 0 0 991 7 0 0 25 0 1 0 774998580 6832128 265 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1668 265 566 18 0 1650 0
vsize: 6672
[startup+20.0013 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 290 0 0 0 1986 13 0 0 25 0 1 0 774998580 6832128 268 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1668 268 566 18 0 1650 0
vsize: 6672
[startup+30.0005 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 292 0 0 0 2981 18 0 0 25 0 1 0 774998580 6832128 270 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1668 270 566 18 0 1650 0
vsize: 6672
[startup+40.0004 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 293 0 0 0 3975 24 0 0 25 0 1 0 774998580 6832128 271 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1668 271 566 18 0 1650 0
vsize: 6672
[startup+50.0009 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 293 0 0 0 4969 30 0 0 25 0 1 0 774998580 6832128 271 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1668 271 566 18 0 1650 0
vsize: 6672
[startup+60.0015 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 294 0 0 0 5964 35 0 0 25 0 1 0 774998580 6832128 272 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1668 272 566 18 0 1650 0
vsize: 6672
[startup+70.0021 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 296 0 0 0 6958 42 0 0 25 0 1 0 774998580 6832128 274 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1668 274 566 18 0 1650 0
vsize: 6672
[startup+80.0016 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 296 0 0 0 7952 47 0 0 25 0 1 0 774998580 6832128 274 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1668 274 566 18 0 1650 0
vsize: 6672
[startup+90.0019 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 296 0 0 0 8945 55 0 0 25 0 1 0 774998580 6832128 274 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1668 274 566 18 0 1650 0
vsize: 6672
[startup+100.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 298 0 0 0 9940 61 0 0 25 0 1 0 774998580 6832128 276 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1668 276 566 18 0 1650 0
vsize: 6672
[startup+110.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 298 0 0 0 10932 68 0 0 25 0 1 0 774998580 6832128 276 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1668 276 566 18 0 1650 0
vsize: 6672
[startup+120.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 298 0 0 0 11927 74 0 0 25 0 1 0 774998580 6832128 276 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1668 276 566 18 0 1650 0
vsize: 6672
[startup+130.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 299 0 0 0 12921 80 0 0 25 0 1 0 774998580 6832128 277 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1668 277 566 18 0 1650 0
vsize: 6672
[startup+140.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 300 0 0 0 13915 86 0 0 25 0 1 0 774998580 6832128 278 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1668 278 566 18 0 1650 0
vsize: 6672
[startup+150.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 301 0 0 0 14908 93 0 0 25 0 1 0 774998580 6832128 279 4294967295 134512640 134581331 3221224592 3221223520 134520030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1668 279 566 18 0 1650 0
vsize: 6672
[startup+160.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 302 0 0 0 15902 100 0 0 25 0 1 0 774998580 6832128 280 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1668 280 566 18 0 1650 0
vsize: 6672
[startup+170.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 302 0 0 0 16895 107 0 0 25 0 1 0 774998580 6832128 280 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1668 280 566 18 0 1650 0
vsize: 6672
[startup+180.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 303 0 0 0 17888 114 0 0 25 0 1 0 774998580 6832128 281 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1668 281 566 18 0 1650 0
vsize: 6672
[startup+190.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 304 0 0 0 18882 120 0 0 25 0 1 0 774998580 6832128 282 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1668 282 566 18 0 1650 0
vsize: 6672
[startup+200.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 304 0 0 0 19878 124 0 0 25 0 1 0 774998580 6832128 282 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1668 282 566 18 0 1650 0
vsize: 6672
[startup+210.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 308 0 0 0 20874 129 0 0 25 0 1 0 774998580 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+220.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 308 0 0 0 21869 134 0 0 25 0 1 0 774998580 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+230.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 308 0 0 0 22862 141 0 0 25 0 1 0 774998580 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+240.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 308 0 0 0 23856 148 0 0 25 0 1 0 774998580 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+250.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 308 0 0 0 24849 154 0 0 25 0 1 0 774998580 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+260.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 308 0 0 0 25843 161 0 0 25 0 1 0 774998580 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+270.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 308 0 0 0 26836 168 0 0 25 0 1 0 774998580 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+280.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 308 0 0 0 27830 174 0 0 25 0 1 0 774998580 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+290.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 308 0 0 0 28823 181 0 0 25 0 1 0 774998580 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+300.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 308 0 0 0 29816 188 0 0 25 0 1 0 774998580 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+310.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 308 0 0 0 30808 196 0 0 25 0 1 0 774998580 6946816 286 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 286 566 18 0 1678 0
vsize: 6784
[startup+320.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 309 0 0 0 31800 204 0 0 25 0 1 0 774998580 6946816 287 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 287 566 18 0 1678 0
vsize: 6784
[startup+330.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 309 0 0 0 32794 211 0 0 25 0 1 0 774998580 6946816 287 4294967295 134512640 134581331 3221224592 3221223504 134527800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 287 566 18 0 1678 0
vsize: 6784
[startup+340.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 309 0 0 0 33787 218 0 0 25 0 1 0 774998580 6946816 287 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 287 566 18 0 1678 0
vsize: 6784
[startup+350 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 310 0 0 0 34778 227 0 0 25 0 1 0 774998580 6946816 288 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 288 566 18 0 1678 0
vsize: 6784
[startup+360.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 310 0 0 0 35771 234 0 0 25 0 1 0 774998580 6946816 288 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 288 566 18 0 1678 0
vsize: 6784
[startup+370.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 310 0 0 0 36764 242 0 0 25 0 1 0 774998580 6946816 288 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 288 566 18 0 1678 0
vsize: 6784
[startup+380 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 310 0 0 0 37756 250 0 0 25 0 1 0 774998580 6946816 288 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 288 566 18 0 1678 0
vsize: 6784
[startup+390 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 310 0 0 0 38748 257 0 0 25 0 1 0 774998580 6946816 288 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 288 566 18 0 1678 0
vsize: 6784
[startup+400.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 311 0 0 0 39741 265 0 0 25 0 1 0 774998580 6946816 289 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 289 566 18 0 1678 0
vsize: 6784
[startup+410 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 311 0 0 0 40734 272 0 0 25 0 1 0 774998580 6946816 289 4294967295 134512640 134581331 3221224592 3221223456 134528254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 289 566 18 0 1678 0
vsize: 6784
[startup+420 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 312 0 0 0 41728 279 0 0 25 0 1 0 774998580 6946816 290 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+430 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 312 0 0 0 42721 285 0 0 25 0 1 0 774998580 6946816 290 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+440 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 312 0 0 0 43715 292 0 0 25 0 1 0 774998580 6946816 290 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+450 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 312 0 0 0 44708 299 0 0 25 0 1 0 774998580 6946816 290 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+460 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 312 0 0 0 45702 306 0 0 25 0 1 0 774998580 6946816 290 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+470 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 313 0 0 0 46694 313 0 0 25 0 1 0 774998580 6946816 291 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 291 566 18 0 1678 0
vsize: 6784
[startup+480 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 314 0 0 0 47688 320 0 0 25 0 1 0 774998580 6946816 292 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 292 566 18 0 1678 0
vsize: 6784
[startup+490.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 314 0 0 0 48680 328 0 0 25 0 1 0 774998580 6946816 292 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 292 566 18 0 1678 0
vsize: 6784
[startup+500.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 314 0 0 0 49672 336 0 0 25 0 1 0 774998580 6946816 292 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 292 566 18 0 1678 0
vsize: 6784
[startup+510.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 314 0 0 0 50666 342 0 0 25 0 1 0 774998580 6946816 292 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 292 566 18 0 1678 0
vsize: 6784
[startup+520.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 314 0 0 0 51660 348 0 0 25 0 1 0 774998580 6946816 292 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 292 566 18 0 1678 0
vsize: 6784
[startup+530 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 314 0 0 0 52652 356 0 0 25 0 1 0 774998580 6946816 292 4294967295 134512640 134581331 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 292 566 18 0 1678 0
vsize: 6784
[startup+540.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 314 0 0 0 53644 365 0 0 25 0 1 0 774998580 6946816 292 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 292 566 18 0 1678 0
vsize: 6784
[startup+550.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 316 0 0 0 54636 373 0 0 25 0 1 0 774998580 6946816 294 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 294 566 18 0 1678 0
vsize: 6784
[startup+560.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 316 0 0 0 55628 381 0 0 25 0 1 0 774998580 6946816 294 4294967295 134512640 134581331 3221224592 3221223504 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 294 566 18 0 1678 0
vsize: 6784
[startup+570.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 316 0 0 0 56622 388 0 0 25 0 1 0 774998580 6946816 294 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 294 566 18 0 1678 0
vsize: 6784
[startup+580.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 316 0 0 0 57616 393 0 0 25 0 1 0 774998580 6946816 294 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 294 566 18 0 1678 0
vsize: 6784
[startup+590.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 316 0 0 0 58608 402 0 0 25 0 1 0 774998580 6946816 294 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 294 566 18 0 1678 0
vsize: 6784
[startup+600.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 316 0 0 0 59601 409 0 0 25 0 1 0 774998580 6946816 294 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 294 566 18 0 1678 0
vsize: 6784
[startup+610.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 318 0 0 0 60594 416 0 0 25 0 1 0 774998580 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+620.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 318 0 0 0 61588 423 0 0 25 0 1 0 774998580 6946816 296 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+630.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 318 0 0 0 62581 430 0 0 25 0 1 0 774998580 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+640.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 318 0 0 0 63575 436 0 0 25 0 1 0 774998580 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+650.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 318 0 0 0 64569 442 0 0 25 0 1 0 774998580 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+660.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 318 0 0 0 65560 451 0 0 25 0 1 0 774998580 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+670.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 318 0 0 0 66552 459 0 0 25 0 1 0 774998580 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+680.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 318 0 0 0 67544 468 0 0 25 0 1 0 774998580 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+690.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 318 0 0 0 68537 475 0 0 25 0 1 0 774998580 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+700.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 318 0 0 0 69529 483 0 0 25 0 1 0 774998580 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+710.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 318 0 0 0 70522 490 0 0 25 0 1 0 774998580 6946816 296 4294967295 134512640 134581331 3221224592 3221223456 134527176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+720.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 318 0 0 0 71514 499 0 0 25 0 1 0 774998580 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+730.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 318 0 0 0 72509 503 0 0 25 0 1 0 774998580 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+740.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 318 0 0 0 73499 514 0 0 25 0 1 0 774998580 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+750.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 318 0 0 0 74492 521 0 0 25 0 1 0 774998580 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+760.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 318 0 0 0 75483 530 0 0 25 0 1 0 774998580 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+770.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 318 0 0 0 76477 536 0 0 25 0 1 0 774998580 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+780.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 318 0 0 0 77471 542 0 0 25 0 1 0 774998580 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+790.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 318 0 0 0 78464 549 0 0 25 0 1 0 774998580 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+800.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 318 0 0 0 79458 556 0 0 25 0 1 0 774998580 6946816 296 4294967295 134512640 134581331 3221224592 3221223456 134560361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+810 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 318 0 0 0 80451 563 0 0 25 0 1 0 774998580 6946816 296 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+820.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 319 0 0 0 81446 568 0 0 25 0 1 0 774998580 6946816 297 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 297 566 18 0 1678 0
vsize: 6784
[startup+830 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 319 0 0 0 82439 575 0 0 25 0 1 0 774998580 6946816 297 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 297 566 18 0 1678 0
vsize: 6784
[startup+840.102 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 320 0 0 0 83441 584 0 0 25 0 1 0 774998580 6946816 298 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 298 566 18 0 1678 0
vsize: 6784
[startup+850.103 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 320 0 0 0 84434 591 0 0 25 0 1 0 774998580 6946816 298 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 298 566 18 0 1678 0
vsize: 6784
[startup+860.102 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 321 0 0 0 85427 598 0 0 25 0 1 0 774998580 6946816 299 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 299 566 18 0 1678 0
vsize: 6784
[startup+870.102 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 323 0 0 0 86421 605 0 0 25 0 1 0 774998580 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+880.101 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 323 0 0 0 87414 612 0 0 25 0 1 0 774998580 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+890.102 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 323 0 0 0 88406 620 0 0 25 0 1 0 774998580 6946816 301 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+900.102 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 323 0 0 0 89399 626 0 0 25 0 1 0 774998580 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+910.101 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 323 0 0 0 90392 634 0 0 25 0 1 0 774998580 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+920.101 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 323 0 0 0 91387 640 0 0 25 0 1 0 774998580 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+930.101 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 323 0 0 0 92380 646 0 0 25 0 1 0 774998580 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+940.102 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 323 0 0 0 93374 653 0 0 25 0 1 0 774998580 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+950.101 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 323 0 0 0 94366 660 0 0 25 0 1 0 774998580 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+960.101 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 323 0 0 0 95360 667 0 0 25 0 1 0 774998580 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+970.101 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 323 0 0 0 96354 673 0 0 25 0 1 0 774998580 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+980.101 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 323 0 0 0 97348 679 0 0 25 0 1 0 774998580 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+990.101 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 323 0 0 0 98340 687 0 0 25 0 1 0 774998580 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+1000.1 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 323 0 0 0 99334 693 0 0 25 0 1 0 774998580 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+1010.1 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 323 0 0 0 100327 700 0 0 25 0 1 0 774998580 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+1020.1 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 21147
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 323 0 0 0 101319 709 0 0 25 0 1 0 774998580 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+1030.1 s]
Raw data (loadavg): 1.00 0.98 0.91 3/57 21185
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 323 0 0 0 102311 716 0 0 25 0 1 0 774998580 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+1040.1 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 21200
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 323 0 0 0 103303 724 0 0 25 0 1 0 774998580 6946816 301 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+1050.1 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 21200
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 323 0 0 0 104296 732 0 0 25 0 1 0 774998580 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+1060.1 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 21200
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 323 0 0 0 105290 737 0 0 25 0 1 0 774998580 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+1070.1 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 21200
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 323 0 0 0 106285 743 0 0 25 0 1 0 774998580 6946816 301 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 301 566 18 0 1678 0
vsize: 6784
[startup+1080.1 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 21200
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 324 0 0 0 107279 749 0 0 25 0 1 0 774998580 6946816 302 4294967295 134512640 134581331 3221224592 3221223456 134527160 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+1090.1 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 21200
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 324 0 0 0 108272 757 0 0 25 0 1 0 774998580 6946816 302 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+1100.1 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 21202
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 324 0 0 0 109264 764 0 0 25 0 1 0 774998580 6946816 302 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+1110.1 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 21202
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 324 0 0 0 110257 772 0 0 25 0 1 0 774998580 6946816 302 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+1120.1 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 21202
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 324 0 0 0 111250 779 0 0 25 0 1 0 774998580 6946816 302 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+1130.1 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 21202
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 324 0 0 0 112244 786 0 0 25 0 1 0 774998580 6946816 302 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+1140.1 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 21202
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 324 0 0 0 113237 792 0 0 25 0 1 0 774998580 6946816 302 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+1150.1 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 21202
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 324 0 0 0 114231 799 0 0 25 0 1 0 774998580 6946816 302 4294967295 134512640 134581331 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+1160.1 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 21202
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 324 0 0 0 115224 806 0 0 25 0 1 0 774998580 6946816 302 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+1170.1 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 21202
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 324 0 0 0 116216 814 0 0 25 0 1 0 774998580 6946816 302 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21202
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 324 0 0 0 117210 820 0 0 25 0 1 0 774998580 6946816 302 4294967295 134512640 134581331 3221224592 3221223584 134560775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+1188.8 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 21202
Raw data (stat): 21147 (Pueblo) R 21146 15547 15546 0 -1 0 324 0 0 0 117210 820 0 0 25 0 1 0 774998580 6946816 302 4294967295 134512640 134581331 3221224592 3221223584 134560775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 0

Child status: 10
Real time (s): 1188.8
CPU time (s): 1189.01
CPU user time (s): 1180.73
CPU system time (s): 8.27474
CPU usage (%): 100.017
Max. virtual memory (Kb): 6784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	12672
#### END VERIFIER DATA ####