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/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c1.opb
MD5SUM	8afff0cc8710524125079d5ef00fedc0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	167
Optimality of the best value was proved	NO
Number of terms in the objective function	450
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	450
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	450
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03084
Number of variables	450
Total number of constraints	1505
Number of constraints which are clauses	1505
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 23895

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-06 02:23:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1357 boxname=wulflinc31 idbench=151 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  8afff0cc8710524125079d5ef00fedc0  /oldhome/oroussel/tmp/wulflinc31/normalized-ii32c1.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-ii32c1.opb
IDLAUNCH: 1357
/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:        155896 kB
Buffers:         35616 kB
Cached:         809116 kB
SwapCached:        644 kB
Active:         483060 kB
Inactive:       363992 kB
HighTotal:      131008 kB
HighFree:        12404 kB
LowTotal:       903652 kB
LowFree:        143492 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26164 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-06 02:43:12 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 1357 0 1189.02 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-ii32c1.opb
c #variables read: 450 - #constraints read: 1506
s SATISFIABLE
v x1 -x2 -x3 -x4 -x5 x6 x7 -x8 -x9 -x10 x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 x33 -x34 -x35 x36 x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 x59 -x60 x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 x79 -x80 x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 x93 -x94 -x95 x96 x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 x107 -x108 x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 x139 -x140 x141 -x142 -x143 x144 -x145 -x146 x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 x187 -x188 x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 x198 x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 x215 -x216 x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 x239 -x240 x241 -x242 -x243 -x244 x245 -x246 -x247 x248 -x249 -x250 x251 -x252 x253 -x254 -x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 -x335 x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 -x381 x382 x383 -x384 -x385 x386 -x387 x388 x389 -x390 -x391 x392 -x393 x394 x395 -x396 -x397 x398 -x399 x400 x401 -x402 -x403 x404 -x405 x406 x407 -x408 -x409 x410 -x411 x412 x413 -x414 -x415 x416 -x417 x418 x419 -x420 x421 -x422 -x423 x424 -x425 x426 -x427 x428 x429 -x430 -x431 x432 -x433 x434 -x435 x436 x437 -x438 -x439 x440 -x441 x442 x443 -x444 -x445 x446 -x447 x448 x449 -x450 
#### 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.97 0.91 2/54 20519
Raw data (stat): 20519 (runsolver) R 20518 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 671051264 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 826 0 0 0 992 5 0 0 25 0 1 0 671051264 9068544 803 4294967295 134512640 134581331 3221221808 3221220752 134516859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2214 803 566 18 0 2196 0
vsize: 8856
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 826 0 0 0 1992 5 0 0 25 0 1 0 671051264 9064448 803 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2213 803 566 18 0 2195 0
vsize: 8852
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 849 0 0 0 2991 6 0 0 25 0 1 0 671051264 9064448 826 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2213 826 566 18 0 2195 0
vsize: 8852
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 886 0 0 0 3991 6 0 0 25 0 1 0 671051264 9179136 858 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2241 858 566 18 0 2223 0
vsize: 8964
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 886 0 0 0 4991 7 0 0 25 0 1 0 671051264 9179136 858 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2241 858 566 18 0 2223 0
vsize: 8964
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 886 0 0 0 5990 7 0 0 25 0 1 0 671051264 9170944 856 4294967295 134512640 134581331 3221221808 3221220720 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2239 856 566 18 0 2221 0
vsize: 8956
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 913 0 0 0 6990 8 0 0 25 0 1 0 671051264 9302016 883 4294967295 134512640 134581331 3221221808 3221220720 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2271 883 566 18 0 2253 0
vsize: 9084
[startup+80.0021 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 913 0 0 0 7990 8 0 0 25 0 1 0 671051264 9302016 883 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2271 883 566 18 0 2253 0
vsize: 9084
[startup+90.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 913 0 0 0 8990 8 0 0 25 0 1 0 671051264 9302016 883 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2271 883 566 18 0 2253 0
vsize: 9084
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 913 0 0 0 9990 9 0 0 25 0 1 0 671051264 9302016 883 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2271 883 566 18 0 2253 0
vsize: 9084
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 913 0 0 0 10990 9 0 0 25 0 1 0 671051264 9302016 883 4294967295 134512640 134581331 3221221808 3221220720 134527451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2271 883 566 18 0 2253 0
vsize: 9084
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 960 0 0 0 11989 10 0 0 25 0 1 0 671051264 9564160 930 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2335 930 566 18 0 2317 0
vsize: 9340
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 991 0 0 0 12989 10 0 0 25 0 1 0 671051264 9695232 961 4294967295 134512640 134581331 3221221808 3221220720 134527420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2367 961 566 18 0 2349 0
vsize: 9468
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 991 0 0 0 13989 10 0 0 25 0 1 0 671051264 9695232 961 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2367 961 566 18 0 2349 0
vsize: 9468
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1089 0 0 0 14988 11 0 0 25 0 1 0 671051264 10084352 1059 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2462 1059 566 18 0 2444 0
vsize: 9848
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1146 0 0 0 15987 12 0 0 25 0 1 0 671051264 10354688 1116 4294967295 134512640 134581331 3221221808 3221220704 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2528 1116 566 18 0 2510 0
vsize: 10112
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1161 0 0 0 16987 13 0 0 25 0 1 0 671051264 10285056 1128 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2511 1128 566 18 0 2493 0
vsize: 10044
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1161 0 0 0 17987 13 0 0 25 0 1 0 671051264 10276864 1126 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2509 1126 566 18 0 2491 0
vsize: 10036
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1161 0 0 0 18987 13 0 0 25 0 1 0 671051264 10268672 1124 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2507 1124 566 18 0 2489 0
vsize: 10028
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1161 0 0 0 19986 14 0 0 25 0 1 0 671051264 10268672 1124 4294967295 134512640 134581331 3221221808 3221220720 134527516 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2507 1124 566 18 0 2489 0
vsize: 10028
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1161 0 0 0 20986 14 0 0 25 0 1 0 671051264 10268672 1124 4294967295 134512640 134581331 3221221808 3221220720 134527451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2507 1124 566 18 0 2489 0
vsize: 10028
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1161 0 0 0 21986 14 0 0 25 0 1 0 671051264 10268672 1124 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2507 1124 566 18 0 2489 0
vsize: 10028
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1259 0 0 0 22985 15 0 0 25 0 1 0 671051264 10674176 1222 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2606 1222 566 18 0 2588 0
vsize: 10424
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1259 0 0 0 23985 15 0 0 25 0 1 0 671051264 10674176 1222 4294967295 134512640 134581331 3221221808 3221220780 134527302 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2606 1222 566 18 0 2588 0
vsize: 10424
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1259 0 0 0 24985 15 0 0 25 0 1 0 671051264 10674176 1222 4294967295 134512640 134581331 3221221808 3221220720 134527516 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2606 1222 566 18 0 2588 0
vsize: 10424
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1259 0 0 0 25985 16 0 0 25 0 1 0 671051264 10674176 1222 4294967295 134512640 134581331 3221221808 3221220408 1075289684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2606 1222 566 18 0 2588 0
vsize: 10424
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1259 0 0 0 26985 16 0 0 25 0 1 0 671051264 10674176 1222 4294967295 134512640 134581331 3221221808 3221220720 134527516 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2606 1222 566 18 0 2588 0
vsize: 10424
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1259 0 0 0 27985 17 0 0 25 0 1 0 671051264 10674176 1222 4294967295 134512640 134581331 3221221808 3221220496 1075288299 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2606 1222 566 18 0 2588 0
vsize: 10424
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1259 0 0 0 28985 17 0 0 25 0 1 0 671051264 10674176 1222 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2606 1222 566 18 0 2588 0
vsize: 10424
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1259 0 0 0 29985 17 0 0 25 0 1 0 671051264 10674176 1222 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2606 1222 566 18 0 2588 0
vsize: 10424
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1259 0 0 0 30984 18 0 0 25 0 1 0 671051264 10674176 1222 4294967295 134512640 134581331 3221221808 3221220720 134527451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2606 1222 566 18 0 2588 0
vsize: 10424
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1259 0 0 0 31985 18 0 0 25 0 1 0 671051264 10674176 1222 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2606 1222 566 18 0 2588 0
vsize: 10424
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1259 0 0 0 32985 18 0 0 25 0 1 0 671051264 10674176 1222 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2606 1222 566 18 0 2588 0
vsize: 10424
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1259 0 0 0 33984 18 0 0 25 0 1 0 671051264 10674176 1222 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2606 1222 566 18 0 2588 0
vsize: 10424
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1259 0 0 0 34984 18 0 0 25 0 1 0 671051264 10674176 1222 4294967295 134512640 134581331 3221221808 3221220720 134527442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2606 1222 566 18 0 2588 0
vsize: 10424
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1259 0 0 0 35984 19 0 0 25 0 1 0 671051264 10674176 1222 4294967295 134512640 134581331 3221221808 3221220720 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2606 1222 566 18 0 2588 0
vsize: 10424
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1259 0 0 0 36984 19 0 0 25 0 1 0 671051264 10674176 1222 4294967295 134512640 134581331 3221221808 3221220720 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2606 1222 566 18 0 2588 0
vsize: 10424
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 37983 20 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220720 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 38983 20 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 39983 21 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 40982 21 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 41982 22 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 42982 22 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220720 134527423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 43982 22 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 44982 22 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 45982 23 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220720 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 46982 23 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 47981 24 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 48981 24 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 49981 24 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220720 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 50981 25 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 51981 25 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220720 134527434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 52981 25 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 53981 25 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 54981 25 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 55981 26 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220720 134527451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 56981 26 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220720 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 57981 26 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220776 134527292 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1330 0 0 0 58981 26 0 0 25 0 1 0 671051264 11067392 1293 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1293 566 18 0 2684 0
vsize: 10808
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1347 0 0 0 59980 27 0 0 25 0 1 0 671051264 11067392 1310 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1310 566 18 0 2684 0
vsize: 10808
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1423 0 0 0 60980 27 0 0 25 0 1 0 671051264 11472896 1386 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2801 1386 566 18 0 2783 0
vsize: 11204
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1423 0 0 0 61980 27 0 0 25 0 1 0 671051264 11411456 1386 4294967295 134512640 134581331 3221221808 3221220720 134527539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2786 1386 566 18 0 2768 0
vsize: 11144
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1423 0 0 0 62980 27 0 0 25 0 1 0 671051264 11411456 1386 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2786 1386 566 18 0 2768 0
vsize: 11144
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1423 0 0 0 63980 28 0 0 25 0 1 0 671051264 11407360 1386 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2785 1386 566 18 0 2767 0
vsize: 11140
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1423 0 0 0 64980 28 0 0 25 0 1 0 671051264 11407360 1386 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2785 1386 566 18 0 2767 0
vsize: 11140
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1423 0 0 0 65980 28 0 0 25 0 1 0 671051264 11407360 1386 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2785 1386 566 18 0 2767 0
vsize: 11140
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1423 0 0 0 66980 28 0 0 25 0 1 0 671051264 11407360 1386 4294967295 134512640 134581331 3221221808 3221220720 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2785 1386 566 18 0 2767 0
vsize: 11140
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 67979 30 0 0 25 0 1 0 671051264 11407360 1389 4294967295 134512640 134581331 3221221808 3221220720 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2785 1389 566 18 0 2767 0
vsize: 11140
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 68979 30 0 0 25 0 1 0 671051264 11407360 1389 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2785 1389 566 18 0 2767 0
vsize: 11140
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 69979 30 0 0 25 0 1 0 671051264 11407360 1389 4294967295 134512640 134581331 3221221808 3221220592 134528817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2785 1389 566 18 0 2767 0
vsize: 11140
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 70979 30 0 0 25 0 1 0 671051264 11407360 1389 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2785 1389 566 18 0 2767 0
vsize: 11140
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 71978 31 0 0 25 0 1 0 671051264 11386880 1389 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2780 1389 566 18 0 2762 0
vsize: 11120
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 72978 31 0 0 25 0 1 0 671051264 11386880 1389 4294967295 134512640 134581331 3221221808 3221220776 134527282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2780 1389 566 18 0 2762 0
vsize: 11120
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 73978 31 0 0 25 0 1 0 671051264 11386880 1389 4294967295 134512640 134581331 3221221808 3221220400 1075290883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2780 1389 566 18 0 2762 0
vsize: 11120
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 74978 32 0 0 25 0 1 0 671051264 11386880 1389 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2780 1389 566 18 0 2762 0
vsize: 11120
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 75978 32 0 0 25 0 1 0 671051264 11386880 1389 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2780 1389 566 18 0 2762 0
vsize: 11120
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 76978 32 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 77978 32 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 78978 33 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 79978 33 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 80977 33 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 81977 34 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 82977 34 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220652 134528557 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 83977 34 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 84977 34 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 85977 35 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 86977 35 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 87976 36 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 88976 36 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 89977 36 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 90976 36 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 91977 36 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 92977 37 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 93977 37 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 94976 37 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 95977 37 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 96976 37 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 97976 38 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 98976 38 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 99976 39 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 100976 39 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 101975 39 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 102976 40 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1426 0 0 0 103975 40 0 0 25 0 1 0 671051264 11345920 1387 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 1387 566 18 0 2752 0
vsize: 11080
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1471 0 0 0 104974 41 0 0 25 0 1 0 671051264 11612160 1432 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2835 1432 566 18 0 2817 0
vsize: 11340
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1471 0 0 0 105974 41 0 0 25 0 1 0 671051264 11612160 1432 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2835 1432 566 18 0 2817 0
vsize: 11340
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1471 0 0 0 106974 42 0 0 25 0 1 0 671051264 11612160 1432 4294967295 134512640 134581331 3221221808 3221220504 1075291632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2835 1432 566 18 0 2817 0
vsize: 11340
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1471 0 0 0 107974 42 0 0 25 0 1 0 671051264 11612160 1432 4294967295 134512640 134581331 3221221808 3221220776 134527265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2835 1432 566 18 0 2817 0
vsize: 11340
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1471 0 0 0 108974 42 0 0 25 0 1 0 671051264 11612160 1432 4294967295 134512640 134581331 3221221808 3221220720 134527649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2835 1432 566 18 0 2817 0
vsize: 11340
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1471 0 0 0 109974 42 0 0 25 0 1 0 671051264 11612160 1432 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2835 1432 566 18 0 2817 0
vsize: 11340
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1471 0 0 0 110974 43 0 0 25 0 1 0 671051264 11612160 1432 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2835 1432 566 18 0 2817 0
vsize: 11340
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1471 0 0 0 111974 43 0 0 25 0 1 0 671051264 11612160 1432 4294967295 134512640 134581331 3221221808 3221220720 134527423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2835 1432 566 18 0 2817 0
vsize: 11340
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1471 0 0 0 112974 43 0 0 25 0 1 0 671051264 11612160 1432 4294967295 134512640 134581331 3221221808 3221220720 134527434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2835 1432 566 18 0 2817 0
vsize: 11340
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1471 0 0 0 113974 43 0 0 25 0 1 0 671051264 11612160 1432 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2835 1432 566 18 0 2817 0
vsize: 11340
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1471 0 0 0 114974 44 0 0 25 0 1 0 671051264 11612160 1432 4294967295 134512640 134581331 3221221808 3221220720 134527416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2835 1432 566 18 0 2817 0
vsize: 11340
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1471 0 0 0 115973 44 0 0 25 0 1 0 671051264 11612160 1432 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2835 1432 566 18 0 2817 0
vsize: 11340
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1471 0 0 0 116973 45 0 0 25 0 1 0 671051264 11612160 1432 4294967295 134512640 134581331 3221221808 3221220752 134558859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2835 1432 566 18 0 2817 0
vsize: 11340
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1471 0 0 0 117972 45 0 0 25 0 1 0 671051264 11612160 1432 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2835 1432 566 18 0 2817 0
vsize: 11340
[startup+1188.87 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 20519
Raw data (stat): 20519 (Pueblo) R 20518 7876 7672 0 -1 0 1471 0 0 0 117972 45 0 0 25 0 1 0 671051264 11612160 1432 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2835 1432 566 18 0 2817 0
vsize: 0

Child status: 10
Real time (s): 1188.86
CPU time (s): 1189.02
CPU user time (s): 1188.55
CPU system time (s): 0.470928
CPU usage (%): 100.013
Max. virtual memory (Kb): 11340
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	167
#### END VERIFIER DATA ####