PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb
MD5SUM	e6bff154156b54af3a9a38f7579209b6
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	17324
Optimality of the best value was proved	NO
Number of terms in the objective function	163
Biggest coefficient in the objective function	1024
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	74742
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	8192
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	74742
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06984
Number of variables	163
Total number of constraints	126
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	56
Number of constraints which are nor clauses,nor cardinality constraints	70
Minimum length of a constraint	1
Maximum length of a constraint	102
Trace number 28015

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-25 00:09:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14710 boxname=wulflinc31 idbench=1132 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  e6bff154156b54af3a9a38f7579209b6  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-neos5.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-neos5.opb
IDLAUNCH: 14710
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        771232 kB
Buffers:         28800 kB
Cached:         213540 kB
SwapCached:       1236 kB
Active:          61128 kB
Inactive:       183756 kB
HighTotal:      131008 kB
HighFree:         1120 kB
LowTotal:       903652 kB
LowFree:        770112 kB
SwapTotal:     2097892 kB
SwapFree:      2096052 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5432 kB
Slab:            12820 kB
Committed_AS:    63808 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 00:29:42 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 14710 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/wulflinc31/normalized-mps-v2-20-10-neos5.opb
c #variables read: 163 - #constraints read: 127
s SATISFIABLE
v -d1_bit0 -d2_bit0 -d3_bit0 -d4_bit0 -d5_bit0 d6_bit0 d7_bit0 -d8_bit0 d9_bit0 d10_bit0 -d11_bit0 d12_bit0 d13_bit0 -d14_bit0 -d15_bit0 d16_bit0 -d17_bit0 -d18_bit0 d19_bit0 -d20_bit0 -d21_bit0 -d22_bit0 -d23_bit0 d24_bit0 -d25_bit0 -d26_bit0 -d27_bit0 -d28_bit0 -d29_bit0 -d30_bit0 d31_bit0 -d32_bit0 d33_bit0 d34_bit0 -d35_bit0 -d36_bit0 -d37_bit0 -d38_bit0 d39_bit0 -d40_bit0 -d41_bit0 -d42_bit0 -d43_bit0 d44_bit0 -d45_bit0 -d46_bit0 -d47_bit0 -d48_bit0 -d49_bit0 -d50_bit0 -d51_bit0 d52_bit0 d53_bit0 -d54_bit_10 -d54_bit_9 -d54_bit_8 -d54_bit_7 d54_bit_6 d54_bit_5 d54_bit_4 -d54_bit_3 d54_bit_2 d54_bit_1 -d54_bit0 -d55_bit_10 -d55_bit_9 -d55_bit_8 -d55_bit_7 -d55_bit_6 -d55_bit_5 -d55_bit_4 -d55_bit_3 -d55_bit_2 -d55_bit_1 -d55_bit0 -d56_bit_10 -d56_bit_9 -d56_bit_8 -d56_bit_7 -d56_bit_6 -d56_bit_5 -d56_bit_4 -d56_bit_3 -d56_bit_2 -d56_bit_1 -d56_bit0 -d57_bit_10 -d57_bit_9 -d57_bit_8 -d57_bit_7 -d57_bit_6 -d57_bit_5 -d57_bit_4 -d57_bit_3 -d57_bit_2 -d57_bit_1 -d57_bit0 -d58_bit_10 -d58_bit_9 -d58_bit_8 -d58_bit_7 -d58_bit_6 -d58_bit_5 -d58_bit_4 -d58_bit_3 -d58_bit_2 -d58_bit_1 -d58_bit0 -d59_bit_10 -d59_bit_9 -d59_bit_8 -d59_bit_7 -d59_bit_6 -d59_bit_5 -d59_bit_4 -d59_bit_3 -d59_bit_2 -d59_bit_1 -d59_bit0 -d60_bit_10 -d60_bit_9 -d60_bit_8 -d60_bit_7 -d60_bit_6 -d60_bit_5 -d60_bit_4 -d60_bit_3 -d60_bit_2 -d60_bit_1 -d60_bit0 -d61_bit_10 -d61_bit_9 d61_bit_8 -d61_bit_7 -d61_bit_6 -d61_bit_5 -d61_bit_4 d61_bit_3 -d61_bit_2 -d61_bit_1 -d61_bit0 -d62_bit_10 -d62_bit_9 d62_bit_8 d62_bit_7 -d62_bit_6 -d62_bit_5 -d62_bit_4 -d62_bit_3 -d62_bit_2 -d62_bit_1 -d62_bit0 -d63_bit_10 -d63_bit_9 -d63_bit_8 -d63_bit_7 -d63_bit_6 -d63_bit_5 -d63_bit_4 -d63_bit_3 -d63_bit_2 -d63_bit_1 -d63_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.91 2/55 5215
Raw data (stat): 5215 (runsolver) R 5214 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834428992 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.0011 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 5215
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 341 0 0 0 991 7 0 0 25 0 1 0 834428992 7090176 319 4294967295 134512640 134581331 3221224592 3221223376 134528824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1731 319 566 18 0 1713 0
vsize: 6924
[startup+20.0055 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 5215
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 362 0 0 0 1985 14 0 0 25 0 1 0 834428992 7090176 340 4294967295 134512640 134581331 3221224592 3221223476 134557876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1731 340 566 18 0 1713 0
vsize: 6924
[startup+30.0105 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 5215
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 363 0 0 0 2978 21 0 0 25 0 1 0 834428992 7090176 341 4294967295 134512640 134581331 3221224592 3221223228 1075288510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1731 341 566 18 0 1713 0
vsize: 6924
[startup+40.0125 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 5215
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 373 0 0 0 3968 31 0 0 25 0 1 0 834428992 7221248 351 4294967295 134512640 134581331 3221224592 3221223536 134558806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1763 351 566 18 0 1745 0
vsize: 7052
[startup+50.0157 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 5215
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 373 0 0 0 4960 40 0 0 25 0 1 0 834428992 7221248 351 4294967295 134512640 134581331 3221224592 3221223488 134517754 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1763 351 566 18 0 1745 0
vsize: 7052
[startup+60.0233 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 5217
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 390 0 0 0 5949 51 0 0 25 0 1 0 834428992 7221248 368 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1763 368 566 18 0 1745 0
vsize: 7052
[startup+70.0323 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 5217
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 394 0 0 0 6939 63 0 0 25 0 1 0 834428992 7221248 372 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1763 372 566 18 0 1745 0
vsize: 7052
[startup+80.0382 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 5217
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 394 0 0 0 7934 69 0 0 25 0 1 0 834428992 7221248 372 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1763 372 566 18 0 1745 0
vsize: 7052
[startup+90.0386 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 5217
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 394 0 0 0 8928 75 0 0 25 0 1 0 834428992 7221248 372 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1763 372 566 18 0 1745 0
vsize: 7052
[startup+100.039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 5217
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 396 0 0 0 9919 84 0 0 25 0 1 0 834428992 7221248 374 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1763 374 566 18 0 1745 0
vsize: 7052
[startup+110.046 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 5217
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 407 0 0 0 10913 91 0 0 25 0 1 0 834428992 7335936 385 4294967295 134512640 134581331 3221224592 3221223472 134520252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 385 566 18 0 1773 0
vsize: 7164
[startup+120.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5219
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 407 0 0 0 11912 102 0 0 25 0 1 0 834428992 7335936 385 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 385 566 18 0 1773 0
vsize: 7164
[startup+130.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5219
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 413 0 0 0 12901 114 0 0 25 0 1 0 834428992 7335936 391 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 391 566 18 0 1773 0
vsize: 7164
[startup+140.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5219
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 414 0 0 0 13889 126 0 0 25 0 1 0 834428992 7335936 392 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 392 566 18 0 1773 0
vsize: 7164
[startup+150.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5219
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 426 0 0 0 14880 135 0 0 25 0 1 0 834428992 7335936 404 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 404 566 18 0 1773 0
vsize: 7164
[startup+160.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5219
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 426 0 0 0 15871 145 0 0 25 0 1 0 834428992 7335936 404 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 404 566 18 0 1773 0
vsize: 7164
[startup+170.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5219
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 426 0 0 0 16860 156 0 0 25 0 1 0 834428992 7335936 404 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 404 566 18 0 1773 0
vsize: 7164
[startup+180.158 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5221
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 426 0 0 0 17849 167 0 0 25 0 1 0 834428992 7335936 404 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 404 566 18 0 1773 0
vsize: 7164
[startup+190.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5221
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 426 0 0 0 18841 175 0 0 25 0 1 0 834428992 7335936 404 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 404 566 18 0 1773 0
vsize: 7164
[startup+200.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5221
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 426 0 0 0 19834 182 0 0 25 0 1 0 834428992 7335936 404 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 404 566 18 0 1773 0
vsize: 7164
[startup+210.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5221
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 426 0 0 0 20827 189 0 0 25 0 1 0 834428992 7335936 404 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 404 566 18 0 1773 0
vsize: 7164
[startup+220.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5221
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 426 0 0 0 21820 197 0 0 25 0 1 0 834428992 7335936 404 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 404 566 18 0 1773 0
vsize: 7164
[startup+230.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5221
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 426 0 0 0 22815 203 0 0 25 0 1 0 834428992 7335936 404 4294967295 134512640 134581331 3221224592 3221223376 134528732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 404 566 18 0 1773 0
vsize: 7164
[startup+240.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5223
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 427 0 0 0 23810 210 0 0 25 0 1 0 834428992 7335936 405 4294967295 134512640 134581331 3221224592 3221223456 134528464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 405 566 18 0 1773 0
vsize: 7164
[startup+250.295 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5223
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 427 0 0 0 24812 218 0 0 25 0 1 0 834428992 7335936 405 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 405 566 18 0 1773 0
vsize: 7164
[startup+260.296 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5223
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 427 0 0 0 25807 224 0 0 25 0 1 0 834428992 7335936 405 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 405 566 18 0 1773 0
vsize: 7164
[startup+270.296 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5223
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 431 0 0 0 26798 233 0 0 25 0 1 0 834428992 7458816 409 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1821 409 566 18 0 1803 0
vsize: 7284
[startup+280.301 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5223
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 450 0 0 0 27791 240 0 0 25 0 1 0 834428992 7458816 428 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1821 428 566 18 0 1803 0
vsize: 7284
[startup+290.305 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5223
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 459 0 0 0 28786 247 0 0 25 0 1 0 834428992 7458816 437 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1821 437 566 18 0 1803 0
vsize: 7284
[startup+300.306 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5225
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 462 0 0 0 29780 253 0 0 25 0 1 0 834428992 7520256 440 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1836 440 566 18 0 1818 0
vsize: 7344
[startup+310.314 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5225
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 462 0 0 0 30776 257 0 0 25 0 1 0 834428992 7520256 440 4294967295 134512640 134581331 3221224592 3221223416 134528697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1836 440 566 18 0 1818 0
vsize: 7344
[startup+320.315 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5225
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 468 0 0 0 31770 264 0 0 25 0 1 0 834428992 7520256 446 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1836 446 566 18 0 1818 0
vsize: 7344
[startup+330.328 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5225
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 468 0 0 0 32765 270 0 0 25 0 1 0 834428992 7520256 446 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1836 446 566 18 0 1818 0
vsize: 7344
[startup+340.328 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5225
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 471 0 0 0 33760 275 0 0 25 0 1 0 834428992 7520256 449 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1836 449 566 18 0 1818 0
vsize: 7344
[startup+350.333 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5225
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 471 0 0 0 34755 281 0 0 25 0 1 0 834428992 7520256 449 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1836 449 566 18 0 1818 0
vsize: 7344
[startup+360.337 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5227
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 471 0 0 0 35751 286 0 0 25 0 1 0 834428992 7520256 449 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1836 449 566 18 0 1818 0
vsize: 7344
[startup+370.336 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5227
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 479 0 0 0 36745 291 0 0 25 0 1 0 834428992 7614464 457 4294967295 134512640 134581331 3221224592 3221223376 134528721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 457 566 18 0 1841 0
vsize: 7436
[startup+380.337 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5227
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 479 0 0 0 37739 298 0 0 25 0 1 0 834428992 7614464 457 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 457 566 18 0 1841 0
vsize: 7436
[startup+390.343 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5227
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 479 0 0 0 38735 303 0 0 25 0 1 0 834428992 7614464 457 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 457 566 18 0 1841 0
vsize: 7436
[startup+400.352 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5227
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 479 0 0 0 39730 309 0 0 25 0 1 0 834428992 7614464 457 4294967295 134512640 134581331 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 457 566 18 0 1841 0
vsize: 7436
[startup+410.357 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5227
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 479 0 0 0 40725 314 0 0 25 0 1 0 834428992 7614464 457 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 457 566 18 0 1841 0
vsize: 7436
[startup+420.356 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5229
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 479 0 0 0 41720 319 0 0 25 0 1 0 834428992 7614464 457 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 457 566 18 0 1841 0
vsize: 7436
[startup+430.357 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5229
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 479 0 0 0 42715 325 0 0 25 0 1 0 834428992 7614464 457 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 457 566 18 0 1841 0
vsize: 7436
[startup+440.357 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5229
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 479 0 0 0 43710 329 0 0 25 0 1 0 834428992 7614464 457 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 457 566 18 0 1841 0
vsize: 7436
[startup+450.358 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5229
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 479 0 0 0 44705 335 0 0 25 0 1 0 834428992 7614464 457 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 457 566 18 0 1841 0
vsize: 7436
[startup+460.359 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5229
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 479 0 0 0 45700 340 0 0 25 0 1 0 834428992 7614464 457 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 457 566 18 0 1841 0
vsize: 7436
[startup+470.358 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5229
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 479 0 0 0 46696 345 0 0 25 0 1 0 834428992 7614464 457 4294967295 134512640 134581331 3221224592 3221223584 134560986 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 457 566 18 0 1841 0
vsize: 7436
[startup+480.36 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5231
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 479 0 0 0 47690 351 0 0 25 0 1 0 834428992 7614464 457 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 457 566 18 0 1841 0
vsize: 7436
[startup+490.361 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5231
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 48684 357 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223504 134531400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+500.369 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5231
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 49679 362 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+510.374 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5231
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 50673 370 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+520.378 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5231
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 51665 378 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+530.381 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5231
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 52657 386 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+540.381 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5233
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 53653 391 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+550.383 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5233
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 54645 399 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+560.391 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5233
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 55640 405 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+570.395 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5233
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 56635 411 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+580.396 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5233
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 57629 417 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+590.402 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5233
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 58623 424 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+600.404 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5235
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 59617 430 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+610.411 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5235
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 60613 435 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+620.412 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5235
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 61607 441 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+630.413 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5235
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 62601 447 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+640.419 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5235
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 63595 454 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+650.419 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5235
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 64587 462 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+660.42 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5237
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 65582 468 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+670.427 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5237
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 66574 476 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+680.427 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5237
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 67567 484 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+690.428 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5237
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 68561 490 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223536 134558933 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+700.429 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5237
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 69552 499 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+710.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5237
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 70544 508 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+720.435 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5239
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 71536 516 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+730.443 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5239
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 72529 524 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+740.449 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5239
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 73524 529 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+750.45 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5239
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 74513 541 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+760.451 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5239
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 75506 548 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+770.451 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5239
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 76498 556 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+780.459 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5241
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 77490 565 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+790.459 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5241
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 78482 573 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+800.465 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5241
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 79472 584 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+810.466 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5241
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 80462 594 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+820.473 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5241
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 81452 605 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+830.58 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5241
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 82452 616 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223488 134517764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+840.582 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5243
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 83444 625 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+850.59 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5243
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 84433 637 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+860.59 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5243
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 85422 647 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+870.59 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5243
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 86411 659 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+880.596 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5243
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 87401 670 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+890.6 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5243
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 494 0 0 0 88394 677 0 0 25 0 1 0 834428992 7614464 472 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1859 472 566 18 0 1841 0
vsize: 7436
[startup+900.6 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5245
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 502 0 0 0 89388 683 0 0 25 0 1 0 834428992 7712768 480 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1883 480 566 18 0 1865 0
vsize: 7532
[startup+910.601 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5245
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 502 0 0 0 90379 692 0 0 25 0 1 0 834428992 7712768 480 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1883 480 566 18 0 1865 0
vsize: 7532
[startup+920.601 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5245
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 502 0 0 0 91370 701 0 0 25 0 1 0 834428992 7712768 480 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1883 480 566 18 0 1865 0
vsize: 7532
[startup+930.614 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5245
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 502 0 0 0 92363 710 0 0 25 0 1 0 834428992 7712768 480 4294967295 134512640 134581331 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1883 480 566 18 0 1865 0
vsize: 7532
[startup+940.621 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5245
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 512 0 0 0 93354 720 0 0 25 0 1 0 834428992 7712768 490 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1883 490 566 18 0 1865 0
vsize: 7532
[startup+950.62 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5245
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 512 0 0 0 94344 730 0 0 25 0 1 0 834428992 7712768 490 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1883 490 566 18 0 1865 0
vsize: 7532
[startup+960.62 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5247
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 512 0 0 0 95337 737 0 0 25 0 1 0 834428992 7712768 490 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1883 490 566 18 0 1865 0
vsize: 7532
[startup+970.62 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5247
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 512 0 0 0 96326 748 0 0 25 0 1 0 834428992 7712768 490 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1883 490 566 18 0 1865 0
vsize: 7532
[startup+980.623 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5247
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 512 0 0 0 97316 758 0 0 25 0 1 0 834428992 7712768 490 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1883 490 566 18 0 1865 0
vsize: 7532
[startup+990.628 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5247
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 512 0 0 0 98309 766 0 0 25 0 1 0 834428992 7712768 490 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1883 490 566 18 0 1865 0
vsize: 7532
[startup+1000.63 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5247
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 512 0 0 0 99300 775 0 0 25 0 1 0 834428992 7712768 490 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1883 490 566 18 0 1865 0
vsize: 7532
[startup+1010.63 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5247
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 512 0 0 0 100292 784 0 0 25 0 1 0 834428992 7712768 490 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1883 490 566 18 0 1865 0
vsize: 7532
[startup+1020.63 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5249
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 512 0 0 0 101285 792 0 0 25 0 1 0 834428992 7712768 490 4294967295 134512640 134581331 3221224592 3221223456 134528503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1883 490 566 18 0 1865 0
vsize: 7532
[startup+1030.64 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5249
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 512 0 0 0 102275 801 0 0 25 0 1 0 834428992 7712768 490 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1883 490 566 18 0 1865 0
vsize: 7532
[startup+1040.64 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5249
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 515 0 0 0 103269 808 0 0 25 0 1 0 834428992 7712768 493 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1883 493 566 18 0 1865 0
vsize: 7532
[startup+1050.64 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5249
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 515 0 0 0 104260 817 0 0 25 0 1 0 834428992 7712768 493 4294967295 134512640 134581331 3221224592 3221223504 134527678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1883 493 566 18 0 1865 0
vsize: 7532
[startup+1060.64 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 5249
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 525 0 0 0 105252 825 0 0 25 0 1 0 834428992 7811072 503 4294967295 134512640 134581331 3221224592 3221223456 134528281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1907 503 566 18 0 1889 0
vsize: 7628
[startup+1070.65 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5249
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 525 0 0 0 106245 833 0 0 25 0 1 0 834428992 7802880 503 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1905 503 566 18 0 1887 0
vsize: 7620
[startup+1080.65 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5251
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 525 0 0 0 107234 845 0 0 25 0 1 0 834428992 7802880 503 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1905 503 566 18 0 1887 0
vsize: 7620
[startup+1090.65 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5251
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 525 0 0 0 108225 854 0 0 25 0 1 0 834428992 7802880 503 4294967295 134512640 134581331 3221224592 3221223288 1075291622 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1905 503 566 18 0 1887 0
vsize: 7620
[startup+1100.66 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5251
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 528 0 0 0 109219 861 0 0 25 0 1 0 834428992 7802880 506 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1905 506 566 18 0 1887 0
vsize: 7620
[startup+1110.66 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5251
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 528 0 0 0 110207 874 0 0 25 0 1 0 834428992 7802880 506 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1905 506 566 18 0 1887 0
vsize: 7620
[startup+1120.66 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5251
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 528 0 0 0 111197 884 0 0 25 0 1 0 834428992 7802880 506 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1905 506 566 18 0 1887 0
vsize: 7620
[startup+1130.66 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5251
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 528 0 0 0 112189 892 0 0 25 0 1 0 834428992 7802880 506 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1905 506 566 18 0 1887 0
vsize: 7620
[startup+1140.66 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5253
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 528 0 0 0 113181 900 0 0 25 0 1 0 834428992 7802880 506 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1905 506 566 18 0 1887 0
vsize: 7620
[startup+1150.66 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5253
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 528 0 0 0 114176 905 0 0 25 0 1 0 834428992 7802880 506 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1905 506 566 18 0 1887 0
vsize: 7620
[startup+1160.66 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5253
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 528 0 0 0 115168 913 0 0 25 0 1 0 834428992 7802880 506 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1905 506 566 18 0 1887 0
vsize: 7620
[startup+1170.67 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5253
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 528 0 0 0 116163 920 0 0 25 0 1 0 834428992 7802880 506 4294967295 134512640 134581331 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1905 506 566 18 0 1887 0
vsize: 7620
[startup+1180.68 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 5253
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 537 0 0 0 117159 924 0 0 25 0 1 0 834428992 7802880 515 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1905 515 566 18 0 1887 0
vsize: 7620
[startup+1188.85 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 5253
Raw data (stat): 5215 (Pueblo) R 5214 29618 29617 0 -1 0 537 0 0 0 117159 924 0 0 25 0 1 0 834428992 7802880 515 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1905 515 566 18 0 1887 0
vsize: 0

Child status: 10
Real time (s): 1188.85
CPU time (s): 1189.01
CPU user time (s): 1179.72
CPU system time (s): 9.28759
CPU usage (%): 100.013
Max. virtual memory (Kb): 7628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	17408
#### END VERIFIER DATA ####