PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb
MD5SUM	4df3e7eb358d27d446e34b975724a6c1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-7772
Optimality of the best value was proved	NO
Number of terms in the objective function	60
Biggest coefficient in the objective function	974
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	9460
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	6000
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	26162
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01784
Number of variables	60
Total number of constraints	90
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	30
Minimum length of a constraint	1
Maximum length of a constraint	60
Trace number 26647

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        899260 kB
Buffers:          3340 kB
Cached:         110604 kB
SwapCached:        636 kB
Active:          26836 kB
Inactive:        89728 kB
HighTotal:      131008 kB
HighFree:        17976 kB
LowTotal:       903652 kB
LowFree:        881284 kB
SwapTotal:     2097136 kB
SwapFree:      2096140 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5752 kB
Slab:            13096 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 16:49:58 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 12266 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/wulflinc5/normalized-mps-v2-20-10-sentoy.opb
c #variables read: 60 - #constraints read: 91
s SATISFIABLE
v -Y1_bit0 Y2_bit0 -Y3_bit0 -Y4_bit0 Y5_bit0 -Y6_bit0 -Y7_bit0 Y8_bit0 Y9_bit0 -Y10_bit0 Y11_bit0 -Y12_bit0 Y13_bit0 -Y14_bit0 -Y15_bit0 -Y16_bit0 Y17_bit0 Y18_bit0 Y19_bit0 Y20_bit0 Y21_bit0 -Y22_bit0 -Y23_bit0 -Y24_bit0 -Y25_bit0 -Y26_bit0 Y27_bit0 -Y28_bit0 -Y29_bit0 Y30_bit0 -Y31_bit0 -Y32_bit0 -Y33_bit0 -Y34_bit0 -Y35_bit0 Y36_bit0 -Y37_bit0 -Y38_bit0 Y39_bit0 -Y40_bit0 -Y41_bit0 -Y42_bit0 -Y43_bit0 Y44_bit0 -Y45_bit0 -Y46_bit0 Y47_bit0 -Y48_bit0 -Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 -Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 Y57_bit0 -Y58_bit0 Y59_bit0 -Y60_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.81 0.93 0.94 2/54 9388
Raw data (stat): 9388 (runsolver) R 9387 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773468426 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0012 s]
Raw data (loadavg): 0.84 0.93 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 274 0 0 0 990 8 0 0 25 0 1 0 773468426 6811648 252 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 252 566 18 0 1645 0
vsize: 6652
[startup+20.002 s]
Raw data (loadavg): 0.87 0.93 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 275 0 0 0 1984 15 0 0 25 0 1 0 773468426 6811648 253 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 253 566 18 0 1645 0
vsize: 6652
[startup+30.0014 s]
Raw data (loadavg): 0.89 0.93 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 277 0 0 0 2977 21 0 0 25 0 1 0 773468426 6811648 255 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 255 566 18 0 1645 0
vsize: 6652
[startup+40.0037 s]
Raw data (loadavg): 0.90 0.93 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 279 0 0 0 3970 29 0 0 25 0 1 0 773468426 6811648 257 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 257 566 18 0 1645 0
vsize: 6652
[startup+50.0089 s]
Raw data (loadavg): 0.92 0.94 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 280 0 0 0 4964 36 0 0 25 0 1 0 773468426 6811648 258 4294967295 134512640 134581331 3221224608 3221223520 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 258 566 18 0 1645 0
vsize: 6652
[startup+60.0093 s]
Raw data (loadavg): 0.93 0.94 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 282 0 0 0 5956 43 0 0 25 0 1 0 773468426 6811648 260 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 260 566 18 0 1645 0
vsize: 6652
[startup+70.0097 s]
Raw data (loadavg): 0.94 0.94 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 283 0 0 0 6949 51 0 0 25 0 1 0 773468426 6811648 261 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 261 566 18 0 1645 0
vsize: 6652
[startup+80.0095 s]
Raw data (loadavg): 0.95 0.94 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 284 0 0 0 7943 57 0 0 25 0 1 0 773468426 6811648 262 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 262 566 18 0 1645 0
vsize: 6652
[startup+90.0102 s]
Raw data (loadavg): 0.96 0.94 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 285 0 0 0 8936 65 0 0 25 0 1 0 773468426 6811648 263 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 263 566 18 0 1645 0
vsize: 6652
[startup+100.01 s]
Raw data (loadavg): 0.96 0.94 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 285 0 0 0 9929 72 0 0 25 0 1 0 773468426 6811648 263 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 263 566 18 0 1645 0
vsize: 6652
[startup+110.011 s]
Raw data (loadavg): 0.97 0.94 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 287 0 0 0 10922 79 0 0 25 0 1 0 773468426 6811648 265 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 265 566 18 0 1645 0
vsize: 6652
[startup+120.011 s]
Raw data (loadavg): 0.97 0.95 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 289 0 0 0 11916 84 0 0 25 0 1 0 773468426 6811648 267 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 267 566 18 0 1645 0
vsize: 6652
[startup+130.01 s]
Raw data (loadavg): 0.98 0.95 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 289 0 0 0 12909 92 0 0 25 0 1 0 773468426 6811648 267 4294967295 134512640 134581331 3221224608 3221223520 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 267 566 18 0 1645 0
vsize: 6652
[startup+140.011 s]
Raw data (loadavg): 0.98 0.95 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 289 0 0 0 13902 100 0 0 25 0 1 0 773468426 6811648 267 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 267 566 18 0 1645 0
vsize: 6652
[startup+150.011 s]
Raw data (loadavg): 0.98 0.95 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 289 0 0 0 14894 107 0 0 25 0 1 0 773468426 6811648 267 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 267 566 18 0 1645 0
vsize: 6652
[startup+160.011 s]
Raw data (loadavg): 0.98 0.95 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 290 0 0 0 15885 116 0 0 25 0 1 0 773468426 6811648 268 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 268 566 18 0 1645 0
vsize: 6652
[startup+170.012 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 290 0 0 0 16878 124 0 0 25 0 1 0 773468426 6811648 268 4294967295 134512640 134581331 3221224608 3221223520 134527959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 268 566 18 0 1645 0
vsize: 6652
[startup+180.012 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 290 0 0 0 17871 132 0 0 25 0 1 0 773468426 6811648 268 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 268 566 18 0 1645 0
vsize: 6652
[startup+190.012 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 291 0 0 0 18864 139 0 0 25 0 1 0 773468426 6811648 269 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 269 566 18 0 1645 0
vsize: 6652
[startup+200.012 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 292 0 0 0 19857 145 0 0 25 0 1 0 773468426 6811648 270 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 270 566 18 0 1645 0
vsize: 6652
[startup+210.013 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 293 0 0 0 20850 153 0 0 25 0 1 0 773468426 6811648 271 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 271 566 18 0 1645 0
vsize: 6652
[startup+220.013 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 293 0 0 0 21841 162 0 0 25 0 1 0 773468426 6811648 271 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 271 566 18 0 1645 0
vsize: 6652
[startup+230.115 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 293 0 0 0 22843 171 0 0 25 0 1 0 773468426 6811648 271 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 271 566 18 0 1645 0
vsize: 6652
[startup+240.116 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 293 0 0 0 23834 179 0 0 25 0 1 0 773468426 6811648 271 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 271 566 18 0 1645 0
vsize: 6652
[startup+250.115 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 293 0 0 0 24827 187 0 0 25 0 1 0 773468426 6811648 271 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 271 566 18 0 1645 0
vsize: 6652
[startup+260.123 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 293 0 0 0 25820 195 0 0 25 0 1 0 773468426 6811648 271 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 271 566 18 0 1645 0
vsize: 6652
[startup+270.123 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 294 0 0 0 26812 203 0 0 25 0 1 0 773468426 6811648 272 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 272 566 18 0 1645 0
vsize: 6652
[startup+280.122 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 295 0 0 0 27804 211 0 0 25 0 1 0 773468426 6811648 273 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 273 566 18 0 1645 0
vsize: 6652
[startup+290.123 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 295 0 0 0 28797 218 0 0 25 0 1 0 773468426 6811648 273 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 273 566 18 0 1645 0
vsize: 6652
[startup+300.125 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 296 0 0 0 29791 224 0 0 25 0 1 0 773468426 6811648 274 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 274 566 18 0 1645 0
vsize: 6652
[startup+310.139 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 30784 233 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+320.146 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 31775 243 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+330.164 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 32768 252 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+340.164 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 33759 261 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+350.164 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 34751 269 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+360.164 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 35743 278 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223472 134528323 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+370.164 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 36736 285 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223472 134528347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+380.164 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 37726 295 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+390.164 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 38717 305 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223472 134528535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+400.164 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 39709 312 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+410.165 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 40701 321 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+420.165 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 41694 328 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+430.165 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 42687 335 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+440.165 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 43679 343 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223472 134560462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+450.165 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 44669 353 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+460.166 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 45661 362 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+470.166 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 46654 369 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+480.167 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 47645 377 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+490.167 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 48637 386 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+500.168 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 49628 395 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+510.168 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 50620 404 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+520.167 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 300 0 0 0 51611 413 0 0 25 0 1 0 773468426 6811648 278 4294967295 134512640 134581331 3221224608 3221223384 1075285892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1663 278 566 18 0 1645 0
vsize: 6652
[startup+530.167 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 301 0 0 0 52602 422 0 0 25 0 1 0 773468426 6930432 279 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1692 279 566 18 0 1674 0
vsize: 6768
[startup+540.168 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 301 0 0 0 53593 431 0 0 25 0 1 0 773468426 6926336 279 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 279 566 18 0 1673 0
vsize: 6764
[startup+550.169 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 301 0 0 0 54586 439 0 0 25 0 1 0 773468426 6926336 279 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 279 566 18 0 1673 0
vsize: 6764
[startup+560.169 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 301 0 0 0 55578 446 0 0 25 0 1 0 773468426 6926336 279 4294967295 134512640 134581331 3221224608 3221223520 134527712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 279 566 18 0 1673 0
vsize: 6764
[startup+570.169 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 301 0 0 0 56570 454 0 0 25 0 1 0 773468426 6926336 279 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 279 566 18 0 1673 0
vsize: 6764
[startup+580.169 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 301 0 0 0 57561 464 0 0 25 0 1 0 773468426 6926336 279 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 279 566 18 0 1673 0
vsize: 6764
[startup+590.169 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 301 0 0 0 58551 474 0 0 25 0 1 0 773468426 6926336 279 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 279 566 18 0 1673 0
vsize: 6764
[startup+600.17 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 301 0 0 0 59545 480 0 0 25 0 1 0 773468426 6926336 279 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 279 566 18 0 1673 0
vsize: 6764
[startup+610.17 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 301 0 0 0 60536 489 0 0 25 0 1 0 773468426 6926336 279 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 279 566 18 0 1673 0
vsize: 6764
[startup+620.17 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 301 0 0 0 61529 496 0 0 25 0 1 0 773468426 6926336 279 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 279 566 18 0 1673 0
vsize: 6764
[startup+630.17 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 301 0 0 0 62523 503 0 0 25 0 1 0 773468426 6926336 279 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 279 566 18 0 1673 0
vsize: 6764
[startup+640.17 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 301 0 0 0 63513 513 0 0 25 0 1 0 773468426 6926336 279 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 279 566 18 0 1673 0
vsize: 6764
[startup+650.17 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 301 0 0 0 64505 521 0 0 25 0 1 0 773468426 6926336 279 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 279 566 18 0 1673 0
vsize: 6764
[startup+660.17 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 301 0 0 0 65496 530 0 0 25 0 1 0 773468426 6926336 279 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 279 566 18 0 1673 0
vsize: 6764
[startup+670.171 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 301 0 0 0 66489 538 0 0 25 0 1 0 773468426 6926336 279 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 279 566 18 0 1673 0
vsize: 6764
[startup+680.17 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 301 0 0 0 67482 545 0 0 25 0 1 0 773468426 6926336 279 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 279 566 18 0 1673 0
vsize: 6764
[startup+690.17 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 301 0 0 0 68473 554 0 0 25 0 1 0 773468426 6926336 279 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 279 566 18 0 1673 0
vsize: 6764
[startup+700.17 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 301 0 0 0 69463 564 0 0 25 0 1 0 773468426 6926336 279 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 279 566 18 0 1673 0
vsize: 6764
[startup+710.17 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 301 0 0 0 70453 574 0 0 25 0 1 0 773468426 6926336 279 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 279 566 18 0 1673 0
vsize: 6764
[startup+720.171 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 302 0 0 0 71445 582 0 0 25 0 1 0 773468426 6926336 280 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 280 566 18 0 1673 0
vsize: 6764
[startup+730.17 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 304 0 0 0 72438 590 0 0 25 0 1 0 773468426 6926336 282 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 282 566 18 0 1673 0
vsize: 6764
[startup+740.171 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 304 0 0 0 73430 598 0 0 25 0 1 0 773468426 6926336 282 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 282 566 18 0 1673 0
vsize: 6764
[startup+750.171 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 304 0 0 0 74423 605 0 0 25 0 1 0 773468426 6926336 282 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 282 566 18 0 1673 0
vsize: 6764
[startup+760.171 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 304 0 0 0 75413 615 0 0 25 0 1 0 773468426 6926336 282 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 282 566 18 0 1673 0
vsize: 6764
[startup+770.171 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 304 0 0 0 76406 623 0 0 25 0 1 0 773468426 6926336 282 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 282 566 18 0 1673 0
vsize: 6764
[startup+780.171 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 304 0 0 0 77398 631 0 0 25 0 1 0 773468426 6926336 282 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 282 566 18 0 1673 0
vsize: 6764
[startup+790.172 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 304 0 0 0 78388 641 0 0 25 0 1 0 773468426 6926336 282 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 282 566 18 0 1673 0
vsize: 6764
[startup+800.171 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 304 0 0 0 79379 649 0 0 25 0 1 0 773468426 6926336 282 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 282 566 18 0 1673 0
vsize: 6764
[startup+810.171 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 306 0 0 0 80369 660 0 0 25 0 1 0 773468426 6926336 284 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 284 566 18 0 1673 0
vsize: 6764
[startup+820.172 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 306 0 0 0 81360 669 0 0 25 0 1 0 773468426 6926336 284 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 284 566 18 0 1673 0
vsize: 6764
[startup+830.171 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 306 0 0 0 82350 679 0 0 25 0 1 0 773468426 6926336 284 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 284 566 18 0 1673 0
vsize: 6764
[startup+840.172 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 306 0 0 0 83340 689 0 0 25 0 1 0 773468426 6926336 284 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 284 566 18 0 1673 0
vsize: 6764
[startup+850.172 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 306 0 0 0 84332 698 0 0 25 0 1 0 773468426 6926336 284 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 284 566 18 0 1673 0
vsize: 6764
[startup+860.173 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 306 0 0 0 85322 708 0 0 25 0 1 0 773468426 6926336 284 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 284 566 18 0 1673 0
vsize: 6764
[startup+870.173 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 306 0 0 0 86315 716 0 0 25 0 1 0 773468426 6926336 284 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 284 566 18 0 1673 0
vsize: 6764
[startup+880.172 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 306 0 0 0 87308 723 0 0 25 0 1 0 773468426 6926336 284 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 284 566 18 0 1673 0
vsize: 6764
[startup+890.173 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 306 0 0 0 88299 731 0 0 25 0 1 0 773468426 6926336 284 4294967295 134512640 134581331 3221224608 3221223472 134526904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 284 566 18 0 1673 0
vsize: 6764
[startup+900.173 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 306 0 0 0 89290 740 0 0 25 0 1 0 773468426 6926336 284 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 284 566 18 0 1673 0
vsize: 6764
[startup+910.174 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 306 0 0 0 90280 751 0 0 25 0 1 0 773468426 6926336 284 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 284 566 18 0 1673 0
vsize: 6764
[startup+920.174 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 306 0 0 0 91269 762 0 0 25 0 1 0 773468426 6926336 284 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 284 566 18 0 1673 0
vsize: 6764
[startup+930.174 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 306 0 0 0 92261 770 0 0 25 0 1 0 773468426 6926336 284 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 284 566 18 0 1673 0
vsize: 6764
[startup+940.175 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 306 0 0 0 93251 781 0 0 25 0 1 0 773468426 6926336 284 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 284 566 18 0 1673 0
vsize: 6764
[startup+950.174 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 307 0 0 0 94238 794 0 0 25 0 1 0 773468426 6926336 285 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 285 566 18 0 1673 0
vsize: 6764
[startup+960.176 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 307 0 0 0 95227 805 0 0 25 0 1 0 773468426 6926336 285 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 285 566 18 0 1673 0
vsize: 6764
[startup+970.176 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 307 0 0 0 96219 813 0 0 25 0 1 0 773468426 6926336 285 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 285 566 18 0 1673 0
vsize: 6764
[startup+980.176 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 307 0 0 0 97211 822 0 0 25 0 1 0 773468426 6926336 285 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 285 566 18 0 1673 0
vsize: 6764
[startup+990.177 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 307 0 0 0 98202 830 0 0 25 0 1 0 773468426 6926336 285 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 285 566 18 0 1673 0
vsize: 6764
[startup+1000.18 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 307 0 0 0 99191 841 0 0 25 0 1 0 773468426 6926336 285 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 285 566 18 0 1673 0
vsize: 6764
[startup+1010.18 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 307 0 0 0 100181 852 0 0 25 0 1 0 773468426 6926336 285 4294967295 134512640 134581331 3221224608 3221223208 1075289753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 285 566 18 0 1673 0
vsize: 6764
[startup+1020.18 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 307 0 0 0 101172 861 0 0 25 0 1 0 773468426 6926336 285 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 285 566 18 0 1673 0
vsize: 6764
[startup+1030.18 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 307 0 0 0 102162 871 0 0 25 0 1 0 773468426 6926336 285 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 285 566 18 0 1673 0
vsize: 6764
[startup+1040.18 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 308 0 0 0 103151 883 0 0 25 0 1 0 773468426 6926336 286 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 286 566 18 0 1673 0
vsize: 6764
[startup+1050.18 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 308 0 0 0 104140 893 0 0 25 0 1 0 773468426 6926336 286 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 286 566 18 0 1673 0
vsize: 6764
[startup+1060.18 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 308 0 0 0 105128 906 0 0 25 0 1 0 773468426 6926336 286 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 286 566 18 0 1673 0
vsize: 6764
[startup+1070.18 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 310 0 0 0 106117 917 0 0 25 0 1 0 773468426 6926336 288 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 288 566 18 0 1673 0
vsize: 6764
[startup+1080.18 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 310 0 0 0 107107 928 0 0 25 0 1 0 773468426 6926336 288 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 288 566 18 0 1673 0
vsize: 6764
[startup+1090.18 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 310 0 0 0 108095 939 0 0 25 0 1 0 773468426 6926336 288 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 288 566 18 0 1673 0
vsize: 6764
[startup+1100.18 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 311 0 0 0 109085 950 0 0 25 0 1 0 773468426 6926336 289 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 289 566 18 0 1673 0
vsize: 6764
[startup+1110.18 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 311 0 0 0 110073 962 0 0 25 0 1 0 773468426 6926336 289 4294967295 134512640 134581331 3221224608 3221223552 134558819 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 289 566 18 0 1673 0
vsize: 6764
[startup+1120.18 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 312 0 0 0 111060 976 0 0 25 0 1 0 773468426 6926336 290 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 290 566 18 0 1673 0
vsize: 6764
[startup+1130.18 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 312 0 0 0 112046 989 0 0 25 0 1 0 773468426 6926336 290 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 290 566 18 0 1673 0
vsize: 6764
[startup+1140.18 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 312 0 0 0 113033 1002 0 0 25 0 1 0 773468426 6926336 290 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 290 566 18 0 1673 0
vsize: 6764
[startup+1150.18 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 314 0 0 0 114021 1015 0 0 25 0 1 0 773468426 6926336 292 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 292 566 18 0 1673 0
vsize: 6764
[startup+1160.18 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 314 0 0 0 115007 1029 0 0 25 0 1 0 773468426 6926336 292 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 292 566 18 0 1673 0
vsize: 6764
[startup+1170.18 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 314 0 0 0 115994 1042 0 0 25 0 1 0 773468426 6926336 292 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 292 566 18 0 1673 0
vsize: 6764
[startup+1180.18 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 314 0 0 0 116982 1054 0 0 25 0 1 0 773468426 6926336 292 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 292 566 18 0 1673 0
vsize: 6764
[startup+1188.82 s]
Raw data (loadavg): 0.99 0.97 0.94 1/53 9388
Raw data (stat): 9388 (Pueblo) R 9387 7266 7265 0 -1 0 314 0 0 0 116982 1054 0 0 25 0 1 0 773468426 6926336 292 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1691 292 566 18 0 1673 0
vsize: 0

Child status: 10
Real time (s): 1188.82
CPU time (s): 1189.01
CPU user time (s): 1178.31
CPU system time (s): 10.6984
CPU usage (%): 100.016
Max. virtual memory (Kb): 6768
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-3888
#### END VERIFIER DATA ####