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 38946

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 19:05:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27004 boxname=wulflinc4 idbench=1132 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  e6bff154156b54af3a9a38f7579209b6  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-neos5.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-neos5.opb
IDLAUNCH: 27004
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        276928 kB
Buffers:         35056 kB
Cached:         700068 kB
SwapCached:        568 kB
Active:          44624 kB
Inactive:       692560 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        276676 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5316 kB
Slab:            14844 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 19:25:19 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 27004 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/wulflinc4/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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.80 0.94 0.90 2/54 17190
Raw data (stat): 17190 (runsolver) R 17189 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852162105 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.0015 s]
Raw data (loadavg): 0.83 0.94 0.90 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 350 0 0 0 989 10 0 0 25 0 1 0 852162105 7102464 324 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1734 324 566 18 0 1716 0
vsize: 6936
[startup+20.0082 s]
Raw data (loadavg): 0.86 0.94 0.90 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 357 0 0 0 1984 15 0 0 25 0 1 0 852162105 7102464 331 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1734 331 566 18 0 1716 0
vsize: 6936
[startup+30.0087 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 373 0 0 0 2978 22 0 0 25 0 1 0 852162105 7102464 347 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1734 347 566 18 0 1716 0
vsize: 6936
[startup+40.0089 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 386 0 0 0 3973 27 0 0 25 0 1 0 852162105 7233536 360 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1766 360 566 18 0 1748 0
vsize: 7064
[startup+50.0098 s]
Raw data (loadavg): 0.91 0.95 0.90 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 391 0 0 0 4969 32 0 0 25 0 1 0 852162105 7233536 365 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1766 365 566 18 0 1748 0
vsize: 7064
[startup+60.0102 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 392 0 0 0 5962 39 0 0 25 0 1 0 852162105 7233536 366 4294967295 134512640 134581267 3221224576 3221223488 134527955 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1766 366 566 18 0 1748 0
vsize: 7064
[startup+70.0115 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 400 0 0 0 6957 44 0 0 25 0 1 0 852162105 7233536 374 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1766 374 566 18 0 1748 0
vsize: 7064
[startup+80.0123 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 400 0 0 0 7952 49 0 0 25 0 1 0 852162105 7233536 374 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1766 374 566 18 0 1748 0
vsize: 7064
[startup+90.0128 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 400 0 0 0 8944 57 0 0 25 0 1 0 852162105 7233536 374 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1766 374 566 18 0 1748 0
vsize: 7064
[startup+100.013 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 406 0 0 0 9938 64 0 0 25 0 1 0 852162105 7233536 380 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1766 380 566 18 0 1748 0
vsize: 7064
[startup+110.014 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 406 0 0 0 10930 71 0 0 25 0 1 0 852162105 7233536 380 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1766 380 566 18 0 1748 0
vsize: 7064
[startup+120.014 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 406 0 0 0 11923 79 0 0 25 0 1 0 852162105 7233536 380 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1766 380 566 18 0 1748 0
vsize: 7064
[startup+130.014 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 407 0 0 0 12916 86 0 0 25 0 1 0 852162105 7233536 381 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1766 381 566 18 0 1748 0
vsize: 7064
[startup+140.016 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 409 0 0 0 13908 94 0 0 25 0 1 0 852162105 7348224 383 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1794 383 566 18 0 1776 0
vsize: 7176
[startup+150.016 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 417 0 0 0 14904 98 0 0 25 0 1 0 852162105 7348224 391 4294967295 134512640 134581267 3221224576 3221223440 134528318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1794 391 566 18 0 1776 0
vsize: 7176
[startup+160.017 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 419 0 0 0 15898 104 0 0 25 0 1 0 852162105 7348224 393 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1794 393 566 18 0 1776 0
vsize: 7176
[startup+170.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 419 0 0 0 16890 112 0 0 25 0 1 0 852162105 7348224 393 4294967295 134512640 134581267 3221224576 3221223440 134528235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1794 393 566 18 0 1776 0
vsize: 7176
[startup+180.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 419 0 0 0 17879 124 0 0 25 0 1 0 852162105 7348224 393 4294967295 134512640 134581267 3221224576 3221223024 134566195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1794 393 566 18 0 1776 0
vsize: 7176
[startup+190.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 429 0 0 0 18870 134 0 0 25 0 1 0 852162105 7348224 403 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1794 403 566 18 0 1776 0
vsize: 7176
[startup+200.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 432 0 0 0 19862 142 0 0 25 0 1 0 852162105 7348224 406 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1794 406 566 18 0 1776 0
vsize: 7176
[startup+210.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 432 0 0 0 20855 148 0 0 25 0 1 0 852162105 7348224 406 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1794 406 566 18 0 1776 0
vsize: 7176
[startup+220.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 432 0 0 0 21850 154 0 0 25 0 1 0 852162105 7348224 406 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1794 406 566 18 0 1776 0
vsize: 7176
[startup+230.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 438 0 0 0 22841 163 0 0 25 0 1 0 852162105 7430144 412 4294967295 134512640 134581267 3221224576 3221223440 134560407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 412 566 18 0 1796 0
vsize: 7256
[startup+240.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 438 0 0 0 23834 170 0 0 25 0 1 0 852162105 7430144 412 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 412 566 18 0 1796 0
vsize: 7256
[startup+250.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 438 0 0 0 24828 176 0 0 25 0 1 0 852162105 7430144 412 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 412 566 18 0 1796 0
vsize: 7256
[startup+260.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 438 0 0 0 25821 184 0 0 25 0 1 0 852162105 7430144 412 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 412 566 18 0 1796 0
vsize: 7256
[startup+270.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 438 0 0 0 26813 192 0 0 25 0 1 0 852162105 7430144 412 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 412 566 18 0 1796 0
vsize: 7256
[startup+280.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 439 0 0 0 27804 201 0 0 25 0 1 0 852162105 7430144 413 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 413 566 18 0 1796 0
vsize: 7256
[startup+290.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 439 0 0 0 28795 211 0 0 25 0 1 0 852162105 7430144 413 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 413 566 18 0 1796 0
vsize: 7256
[startup+300.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 439 0 0 0 29789 217 0 0 25 0 1 0 852162105 7430144 413 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 413 566 18 0 1796 0
vsize: 7256
[startup+310.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 30781 225 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+320.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 31773 234 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+330.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 32763 243 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+340.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 33757 250 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+350.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 34747 259 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 35737 270 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+370.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 36728 279 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+380.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 37718 289 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 38709 298 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 39701 306 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223632 134556308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 40690 318 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+420.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 41681 327 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 42671 338 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 43659 350 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 44648 360 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+460.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 45638 371 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+470.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 46631 378 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+480.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 47624 386 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+490.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 48614 396 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+500.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 49604 406 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+510.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 50594 416 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+520.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 51587 423 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+530.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 52579 432 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+540.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 53569 441 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+550.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 54561 449 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+560.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 55551 460 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+570.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 56543 468 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+580.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 57531 481 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 58521 490 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+600.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 59511 500 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 60500 512 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 61490 521 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+630.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 62481 531 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+640.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 63470 543 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+650.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 64461 551 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+660.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 65450 563 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 66441 572 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+680.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 67433 580 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+690.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 68423 590 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+700.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 69414 600 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+710.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 70404 609 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+720.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 71394 620 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+730.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 72387 628 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+740.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 73377 638 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+750.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 74365 649 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 75354 661 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+770.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 76339 676 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+780.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 77327 688 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+790.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 78315 700 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+800.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 79302 714 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+810.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 80290 726 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+820.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 81277 739 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223552 134560756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+830.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 82264 752 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+840.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 83253 763 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+850.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 84241 775 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+860.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 453 0 0 0 85227 790 0 0 25 0 1 0 852162105 7430144 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1814 427 566 18 0 1796 0
vsize: 7256
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 465 0 0 0 86219 798 0 0 25 0 1 0 852162105 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+880.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 465 0 0 0 87214 803 0 0 25 0 1 0 852162105 7553024 439 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+890.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 473 0 0 0 88207 810 0 0 25 0 1 0 852162105 7553024 447 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 447 566 18 0 1826 0
vsize: 7376
[startup+900.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 473 0 0 0 89201 816 0 0 25 0 1 0 852162105 7553024 447 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 447 566 18 0 1826 0
vsize: 7376
[startup+910.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 474 0 0 0 90194 824 0 0 25 0 1 0 852162105 7553024 448 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 448 566 18 0 1826 0
vsize: 7376
[startup+920.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 475 0 0 0 91187 830 0 0 25 0 1 0 852162105 7553024 449 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 449 566 18 0 1826 0
vsize: 7376
[startup+930.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 475 0 0 0 92182 836 0 0 25 0 1 0 852162105 7553024 449 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 449 566 18 0 1826 0
vsize: 7376
[startup+940.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 475 0 0 0 93176 842 0 0 25 0 1 0 852162105 7553024 449 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 449 566 18 0 1826 0
vsize: 7376
[startup+950.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 475 0 0 0 94170 849 0 0 25 0 1 0 852162105 7553024 449 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 449 566 18 0 1826 0
vsize: 7376
[startup+960.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 475 0 0 0 95162 857 0 0 25 0 1 0 852162105 7553024 449 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 449 566 18 0 1826 0
vsize: 7376
[startup+970.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 475 0 0 0 96155 864 0 0 25 0 1 0 852162105 7553024 449 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 449 566 18 0 1826 0
vsize: 7376
[startup+980.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 475 0 0 0 97149 870 0 0 25 0 1 0 852162105 7553024 449 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 449 566 18 0 1826 0
vsize: 7376
[startup+990.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 475 0 0 0 98140 880 0 0 25 0 1 0 852162105 7553024 449 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 449 566 18 0 1826 0
vsize: 7376
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 475 0 0 0 99133 886 0 0 25 0 1 0 852162105 7553024 449 4294967295 134512640 134581267 3221224576 3221223520 134558849 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 449 566 18 0 1826 0
vsize: 7376
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 475 0 0 0 100125 895 0 0 25 0 1 0 852162105 7553024 449 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 449 566 18 0 1826 0
vsize: 7376
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 475 0 0 0 101118 902 0 0 25 0 1 0 852162105 7553024 449 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 449 566 18 0 1826 0
vsize: 7376
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 475 0 0 0 102110 910 0 0 25 0 1 0 852162105 7553024 449 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 449 566 18 0 1826 0
vsize: 7376
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 475 0 0 0 103102 918 0 0 25 0 1 0 852162105 7553024 449 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 449 566 18 0 1826 0
vsize: 7376
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 475 0 0 0 104094 926 0 0 25 0 1 0 852162105 7553024 449 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 449 566 18 0 1826 0
vsize: 7376
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 513 0 0 0 105089 932 0 0 25 0 1 0 852162105 7688192 487 4294967295 134512640 134581267 3221224576 3221223472 134517677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1877 487 566 18 0 1859 0
vsize: 7508
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 513 0 0 0 106083 938 0 0 25 0 1 0 852162105 7688192 487 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1877 487 566 18 0 1859 0
vsize: 7508
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 513 0 0 0 107078 943 0 0 25 0 1 0 852162105 7688192 487 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1877 487 566 18 0 1859 0
vsize: 7508
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 513 0 0 0 108073 948 0 0 25 0 1 0 852162105 7688192 487 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1877 487 566 18 0 1859 0
vsize: 7508
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 513 0 0 0 109069 952 0 0 25 0 1 0 852162105 7688192 487 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1877 487 566 18 0 1859 0
vsize: 7508
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 519 0 0 0 110063 958 0 0 25 0 1 0 852162105 7688192 493 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1877 493 566 18 0 1859 0
vsize: 7508
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 519 0 0 0 111059 962 0 0 25 0 1 0 852162105 7688192 493 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1877 493 566 18 0 1859 0
vsize: 7508
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 519 0 0 0 112055 967 0 0 25 0 1 0 852162105 7688192 493 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1877 493 566 18 0 1859 0
vsize: 7508
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 519 0 0 0 113050 972 0 0 25 0 1 0 852162105 7688192 493 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1877 493 566 18 0 1859 0
vsize: 7508
[startup+1150.05 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 519 0 0 0 114046 976 0 0 25 0 1 0 852162105 7688192 493 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1877 493 566 18 0 1859 0
vsize: 7508
[startup+1160.05 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 519 0 0 0 115041 981 0 0 25 0 1 0 852162105 7688192 493 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1877 493 566 18 0 1859 0
vsize: 7508
[startup+1170.05 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 519 0 0 0 116036 986 0 0 25 0 1 0 852162105 7688192 493 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1877 493 566 18 0 1859 0
vsize: 7508
[startup+1180.05 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 519 0 0 0 117032 990 0 0 25 0 1 0 852162105 7688192 493 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1877 493 566 18 0 1859 0
vsize: 7508
[startup+1188.83 s]
Raw data (loadavg): 1.04 0.99 0.91 1/53 17190
Raw data (stat): 17190 (Pueblo-v2) R 17189 21152 21151 0 -1 0 519 0 0 0 117032 990 0 0 25 0 1 0 852162105 7688192 493 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1877 493 566 18 0 1859 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189.01
CPU user time (s): 1179.06
CPU system time (s): 9.95049
CPU usage (%): 100.016
Max. virtual memory (Kb): 7508
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	18272
#### END VERIFIER DATA ####