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/logic-synthesis/normalized-e64.b.opb
MD5SUM	bf7f8537c6faa135d25c67c53576abb5
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	49
Optimality of the best value was proved	NO
Number of terms in the objective function	608
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	608
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	608
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03484
Number of variables	607
Total number of constraints	1053
Number of constraints which are clauses	1022
Number of constraints which are cardinality constraints (but not clauses)	31
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	3
Maximum length of a constraint	32
Trace number 23470

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 22:56:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=592 boxname=wulflinc31 idbench=66 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  bf7f8537c6faa135d25c67c53576abb5  /oldhome/oroussel/tmp/wulflinc31/normalized-e64.b.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-e64.b.opb
IDLAUNCH: 592
/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:        917544 kB
Buffers:         40940 kB
Cached:          54132 kB
SwapCached:        944 kB
Active:          79532 kB
Inactive:        17988 kB
HighTotal:      131008 kB
HighFree:        75908 kB
LowTotal:       903652 kB
LowFree:        841636 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14024 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 23:16:13 (client local time) WITH STATUS 10 IN 1189.03 SECONDS
stats: 592 0 1189.03 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-e64.b.opb
c #variables read: 608 - #constraints read: 1054
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 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 
#### 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.91 0.97 0.99 2/54 6879
Raw data (stat): 6879 (runsolver) R 6878 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 652527180 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 702 0 0 0 991 6 0 0 25 0 1 0 652527180 8462336 679 4294967295 134512640 134581331 3221221808 3221220720 134528085 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2066 679 566 18 0 2048 0
vsize: 8264
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 837 0 0 0 1990 7 0 0 25 0 1 0 652527180 9048064 813 4294967295 134512640 134581331 3221221808 3221220720 134527418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2209 813 566 18 0 2191 0
vsize: 8836
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 872 0 0 0 2990 8 0 0 25 0 1 0 652527180 9211904 848 4294967295 134512640 134581331 3221221808 3221220504 1075291632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2249 848 566 18 0 2231 0
vsize: 8996
[startup+40.0022 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 929 0 0 0 3989 9 0 0 25 0 1 0 652527180 9392128 905 4294967295 134512640 134581331 3221221808 3221220704 134517900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2293 905 566 18 0 2275 0
vsize: 9172
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 981 0 0 0 4988 10 0 0 25 0 1 0 652527180 9646080 957 4294967295 134512640 134581331 3221221808 3221220528 134522609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2355 957 566 18 0 2337 0
vsize: 9420
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 994 0 0 0 5988 10 0 0 25 0 1 0 652527180 9572352 953 4294967295 134512640 134581331 3221221808 3221220672 134528342 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2337 953 566 18 0 2319 0
vsize: 9348
[startup+70.004 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1003 0 0 0 6987 11 0 0 25 0 1 0 652527180 9674752 962 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2362 962 566 18 0 2344 0
vsize: 9448
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1061 0 0 0 7986 12 0 0 25 0 1 0 652527180 9826304 1010 4294967295 134512640 134581331 3221221808 3221220528 134522606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2399 1010 566 18 0 2381 0
vsize: 9596
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1061 0 0 0 8985 13 0 0 25 0 1 0 652527180 9826304 1010 4294967295 134512640 134581331 3221221808 3221220528 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2399 1010 566 18 0 2381 0
vsize: 9596
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1061 0 0 0 9984 14 0 0 25 0 1 0 652527180 9826304 1010 4294967295 134512640 134581331 3221221808 3221220528 134522611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2399 1010 566 18 0 2381 0
vsize: 9596
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1084 0 0 0 10984 15 0 0 25 0 1 0 652527180 9965568 1033 4294967295 134512640 134581331 3221221808 3221220528 134522248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2433 1033 566 18 0 2415 0
vsize: 9732
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1124 0 0 0 11984 15 0 0 25 0 1 0 652527180 10100736 1073 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2466 1073 566 18 0 2448 0
vsize: 9864
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1124 0 0 0 12984 15 0 0 25 0 1 0 652527180 10100736 1073 4294967295 134512640 134581331 3221221808 3221220704 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2466 1073 566 18 0 2448 0
vsize: 9864
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1124 0 0 0 13983 16 0 0 25 0 1 0 652527180 10100736 1073 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2466 1073 566 18 0 2448 0
vsize: 9864
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1126 0 0 0 14983 17 0 0 25 0 1 0 652527180 10100736 1075 4294967295 134512640 134581331 3221221808 3221220720 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2466 1075 566 18 0 2448 0
vsize: 9864
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1133 0 0 0 15983 17 0 0 25 0 1 0 652527180 10100736 1082 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2466 1082 566 18 0 2448 0
vsize: 9864
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1133 0 0 0 16983 17 0 0 25 0 1 0 652527180 10100736 1082 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2466 1082 566 18 0 2448 0
vsize: 9864
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1226 0 0 0 17982 18 0 0 25 0 1 0 652527180 10448896 1167 4294967295 134512640 134581331 3221221808 3221220528 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2551 1167 566 18 0 2533 0
vsize: 10204
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1235 0 0 0 18981 19 0 0 25 0 1 0 652527180 10588160 1176 4294967295 134512640 134581331 3221221808 3221220720 134527554 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2585 1176 566 18 0 2567 0
vsize: 10340
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1235 0 0 0 19980 20 0 0 25 0 1 0 652527180 10514432 1176 4294967295 134512640 134581331 3221221808 3221220528 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2567 1176 566 18 0 2549 0
vsize: 10268
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1235 0 0 0 20980 21 0 0 25 0 1 0 652527180 10514432 1176 4294967295 134512640 134581331 3221221808 3221220528 134522613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2567 1176 566 18 0 2549 0
vsize: 10268
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6879
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1235 0 0 0 21979 21 0 0 25 0 1 0 652527180 10514432 1176 4294967295 134512640 134581331 3221221808 3221220720 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2567 1176 566 18 0 2549 0
vsize: 10268
[startup+230.232 s]
Raw data (loadavg): 0.99 0.97 0.99 3/57 6923
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1241 0 0 0 22993 30 0 0 25 0 1 0 652527180 10514432 1182 4294967295 134512640 134581331 3221221808 3221220672 134528163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2567 1182 566 18 0 2549 0
vsize: 10268
[startup+240.451 s]
Raw data (loadavg): 1.15 1.00 1.00 2/54 6932
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1241 0 0 0 24014 31 0 0 25 0 1 0 652527180 10514432 1182 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2567 1182 566 18 0 2549 0
vsize: 10268
[startup+250.452 s]
Raw data (loadavg): 1.12 1.00 1.00 2/54 6932
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1241 0 0 0 25013 31 0 0 25 0 1 0 652527180 10514432 1182 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2567 1182 566 18 0 2549 0
vsize: 10268
[startup+260.526 s]
Raw data (loadavg): 1.10 1.00 1.00 2/54 6932
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1241 0 0 0 26021 32 0 0 25 0 1 0 652527180 10510336 1182 4294967295 134512640 134581331 3221221808 3221220528 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2566 1182 566 18 0 2548 0
vsize: 10264
[startup+270.527 s]
Raw data (loadavg): 1.09 1.00 1.00 2/54 6932
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1241 0 0 0 27020 32 0 0 25 0 1 0 652527180 10510336 1182 4294967295 134512640 134581331 3221221808 3221220720 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2566 1182 566 18 0 2548 0
vsize: 10264
[startup+280.526 s]
Raw data (loadavg): 1.07 1.00 1.00 2/54 6932
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1241 0 0 0 28020 33 0 0 25 0 1 0 652527180 10502144 1180 4294967295 134512640 134581331 3221221808 3221220528 134522634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2564 1180 566 18 0 2546 0
vsize: 10256
[startup+290.526 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 6932
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1241 0 0 0 29019 33 0 0 25 0 1 0 652527180 10502144 1180 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2564 1180 566 18 0 2546 0
vsize: 10256
[startup+300.527 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 6932
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1241 0 0 0 30019 34 0 0 25 0 1 0 652527180 10498048 1179 4294967295 134512640 134581331 3221221808 3221220720 134527667 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2563 1179 566 18 0 2545 0
vsize: 10252
[startup+310.527 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1241 0 0 0 31019 34 0 0 25 0 1 0 652527180 10498048 1179 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2563 1179 566 18 0 2545 0
vsize: 10252
[startup+320.529 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1241 0 0 0 32019 34 0 0 25 0 1 0 652527180 10498048 1179 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2563 1179 566 18 0 2545 0
vsize: 10252
[startup+330.529 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1241 0 0 0 33019 35 0 0 25 0 1 0 652527180 10469376 1172 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2556 1172 566 18 0 2538 0
vsize: 10224
[startup+340.529 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1241 0 0 0 34018 36 0 0 25 0 1 0 652527180 10469376 1172 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2556 1172 566 18 0 2538 0
vsize: 10224
[startup+350.529 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1256 0 0 0 35017 37 0 0 25 0 1 0 652527180 10575872 1187 4294967295 134512640 134581331 3221221808 3221220528 134522581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2582 1187 566 18 0 2564 0
vsize: 10328
[startup+360.529 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1297 0 0 0 36016 38 0 0 25 0 1 0 652527180 10805248 1222 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1222 566 18 0 2620 0
vsize: 10552
[startup+370.529 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1297 0 0 0 37016 38 0 0 25 0 1 0 652527180 10805248 1222 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1222 566 18 0 2620 0
vsize: 10552
[startup+380.529 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1297 0 0 0 38016 39 0 0 25 0 1 0 652527180 10805248 1222 4294967295 134512640 134581331 3221221808 3221220720 134527967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1222 566 18 0 2620 0
vsize: 10552
[startup+390.529 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1306 0 0 0 39015 39 0 0 25 0 1 0 652527180 10805248 1231 4294967295 134512640 134581331 3221221808 3221220692 134557761 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1231 566 18 0 2620 0
vsize: 10552
[startup+400.529 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1306 0 0 0 40015 40 0 0 25 0 1 0 652527180 10805248 1231 4294967295 134512640 134581331 3221221808 3221220528 134522568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1231 566 18 0 2620 0
vsize: 10552
[startup+410.529 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1314 0 0 0 41014 41 0 0 25 0 1 0 652527180 10805248 1239 4294967295 134512640 134581331 3221221808 3221220752 134516842 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1239 566 18 0 2620 0
vsize: 10552
[startup+420.529 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1314 0 0 0 42013 42 0 0 25 0 1 0 652527180 10805248 1239 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1239 566 18 0 2620 0
vsize: 10552
[startup+430.529 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1314 0 0 0 43013 42 0 0 25 0 1 0 652527180 10805248 1239 4294967295 134512640 134581331 3221221808 3221220528 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1239 566 18 0 2620 0
vsize: 10552
[startup+440.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1314 0 0 0 44012 43 0 0 25 0 1 0 652527180 10805248 1239 4294967295 134512640 134581331 3221221808 3221220528 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1239 566 18 0 2620 0
vsize: 10552
[startup+450.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1314 0 0 0 45012 43 0 0 25 0 1 0 652527180 10805248 1239 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1239 566 18 0 2620 0
vsize: 10552
[startup+460.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1314 0 0 0 46011 44 0 0 25 0 1 0 652527180 10805248 1239 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1239 566 18 0 2620 0
vsize: 10552
[startup+470.53 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1314 0 0 0 47011 45 0 0 25 0 1 0 652527180 10805248 1239 4294967295 134512640 134581331 3221221808 3221220672 134528507 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1239 566 18 0 2620 0
vsize: 10552
[startup+480.531 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1314 0 0 0 48010 46 0 0 25 0 1 0 652527180 10805248 1239 4294967295 134512640 134581331 3221221808 3221220864 134556126 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1239 566 18 0 2620 0
vsize: 10552
[startup+490.531 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1314 0 0 0 49010 46 0 0 25 0 1 0 652527180 10805248 1239 4294967295 134512640 134581331 3221221808 3221220528 134523545 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1239 566 18 0 2620 0
vsize: 10552
[startup+500.531 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1314 0 0 0 50010 47 0 0 25 0 1 0 652527180 10805248 1239 4294967295 134512640 134581331 3221221808 3221220592 134528817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1239 566 18 0 2620 0
vsize: 10552
[startup+510.531 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1314 0 0 0 51009 47 0 0 25 0 1 0 652527180 10805248 1239 4294967295 134512640 134581331 3221221808 3221220752 134559312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1239 566 18 0 2620 0
vsize: 10552
[startup+520.532 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1314 0 0 0 52009 47 0 0 25 0 1 0 652527180 10805248 1239 4294967295 134512640 134581331 3221221808 3221220528 134522613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1239 566 18 0 2620 0
vsize: 10552
[startup+530.532 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1314 0 0 0 53009 48 0 0 25 0 1 0 652527180 10805248 1239 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1239 566 18 0 2620 0
vsize: 10552
[startup+540.532 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1314 0 0 0 54008 48 0 0 25 0 1 0 652527180 10805248 1239 4294967295 134512640 134581331 3221221808 3221220688 134520222 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1239 566 18 0 2620 0
vsize: 10552
[startup+550.533 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1314 0 0 0 55008 49 0 0 25 0 1 0 652527180 10805248 1239 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1239 566 18 0 2620 0
vsize: 10552
[startup+560.533 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6934
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1314 0 0 0 56008 50 0 0 25 0 1 0 652527180 10805248 1239 4294967295 134512640 134581331 3221221808 3221220720 134527418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1239 566 18 0 2620 0
vsize: 10552
[startup+570.534 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1314 0 0 0 57008 50 0 0 25 0 1 0 652527180 10805248 1239 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1239 566 18 0 2620 0
vsize: 10552
[startup+580.534 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1314 0 0 0 58007 50 0 0 25 0 1 0 652527180 10805248 1239 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1239 566 18 0 2620 0
vsize: 10552
[startup+590.534 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1314 0 0 0 59007 51 0 0 25 0 1 0 652527180 10805248 1239 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1239 566 18 0 2620 0
vsize: 10552
[startup+600.534 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1314 0 0 0 60007 51 0 0 25 0 1 0 652527180 10805248 1239 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1239 566 18 0 2620 0
vsize: 10552
[startup+610.534 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1376 0 0 0 61007 52 0 0 25 0 1 0 652527180 11075584 1301 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2704 1301 566 18 0 2686 0
vsize: 10816
[startup+620.534 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1411 0 0 0 62006 52 0 0 25 0 1 0 652527180 11206656 1336 4294967295 134512640 134581331 3221221808 3221220720 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2736 1336 566 18 0 2718 0
vsize: 10944
[startup+630.534 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1411 0 0 0 63005 53 0 0 25 0 1 0 652527180 11206656 1336 4294967295 134512640 134581331 3221221808 3221220688 134520230 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2736 1336 566 18 0 2718 0
vsize: 10944
[startup+640.534 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1460 0 0 0 64005 54 0 0 25 0 1 0 652527180 11472896 1385 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2801 1385 566 18 0 2783 0
vsize: 11204
[startup+650.535 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1460 0 0 0 65004 55 0 0 25 0 1 0 652527180 11468800 1385 4294967295 134512640 134581331 3221221808 3221220504 1075291224 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2800 1385 566 18 0 2782 0
vsize: 11200
[startup+660.535 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1482 0 0 0 66004 55 0 0 25 0 1 0 652527180 11468800 1407 4294967295 134512640 134581331 3221221808 3221220780 134527304 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2800 1407 566 18 0 2782 0
vsize: 11200
[startup+670.536 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1493 0 0 0 67004 56 0 0 25 0 1 0 652527180 11554816 1418 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2821 1418 566 18 0 2803 0
vsize: 11284
[startup+680.536 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1495 0 0 0 68004 56 0 0 25 0 1 0 652527180 11550720 1420 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2820 1420 566 18 0 2802 0
vsize: 11280
[startup+690.536 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1498 0 0 0 69003 56 0 0 25 0 1 0 652527180 11550720 1423 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2820 1423 566 18 0 2802 0
vsize: 11280
[startup+700.536 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1500 0 0 0 70003 57 0 0 25 0 1 0 652527180 11550720 1425 4294967295 134512640 134581331 3221221808 3221220720 134527778 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2820 1425 566 18 0 2802 0
vsize: 11280
[startup+710.536 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1500 0 0 0 71003 57 0 0 25 0 1 0 652527180 11550720 1425 4294967295 134512640 134581331 3221221808 3221220720 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2820 1425 566 18 0 2802 0
vsize: 11280
[startup+720.536 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1525 0 0 0 72003 58 0 0 25 0 1 0 652527180 11677696 1450 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1450 566 18 0 2833 0
vsize: 11404
[startup+730.536 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1525 0 0 0 73002 58 0 0 25 0 1 0 652527180 11677696 1450 4294967295 134512640 134581331 3221221808 3221220720 134527442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1450 566 18 0 2833 0
vsize: 11404
[startup+740.537 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1531 0 0 0 74002 58 0 0 25 0 1 0 652527180 11677696 1456 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1456 566 18 0 2833 0
vsize: 11404
[startup+750.537 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1531 0 0 0 75002 59 0 0 25 0 1 0 652527180 11677696 1456 4294967295 134512640 134581331 3221221808 3221220704 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1456 566 18 0 2833 0
vsize: 11404
[startup+760.537 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1531 0 0 0 76002 59 0 0 25 0 1 0 652527180 11677696 1456 4294967295 134512640 134581331 3221221808 3221220584 1075285834 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1456 566 18 0 2833 0
vsize: 11404
[startup+770.538 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1531 0 0 0 77002 60 0 0 25 0 1 0 652527180 11677696 1456 4294967295 134512640 134581331 3221221808 3221220720 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1456 566 18 0 2833 0
vsize: 11404
[startup+780.538 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1531 0 0 0 78001 60 0 0 25 0 1 0 652527180 11677696 1456 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1456 566 18 0 2833 0
vsize: 11404
[startup+790.538 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1531 0 0 0 79001 60 0 0 25 0 1 0 652527180 11677696 1456 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1456 566 18 0 2833 0
vsize: 11404
[startup+800.538 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1534 0 0 0 80001 60 0 0 25 0 1 0 652527180 11677696 1459 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1459 566 18 0 2833 0
vsize: 11404
[startup+810.538 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 81001 61 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220528 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+820.539 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 82001 61 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134527639 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+830.539 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 83001 61 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+840.539 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 84001 62 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134527416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+850.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 85001 62 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+860.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 86001 62 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+870.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 87000 63 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+880.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 88000 63 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+890.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 88999 64 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+900.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 89999 64 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+910.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 90999 64 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134527692 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+920.541 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 91999 64 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+930.541 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 92999 65 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+940.541 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 93998 65 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+950.541 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 94998 66 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+960.541 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 95998 66 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+970.542 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 96998 66 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220672 134528425 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+980.542 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 97998 66 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+990.542 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 98998 67 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+1000.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 99998 67 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+1010.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 100998 67 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+1020.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 101998 67 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+1030.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 102997 68 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134528074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+1040.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 103997 69 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+1050.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 104997 69 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+1060.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1540 0 0 0 105997 69 0 0 25 0 1 0 652527180 11677696 1465 4294967295 134512640 134581331 3221221808 3221220752 134516825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2851 1465 566 18 0 2833 0
vsize: 11404
[startup+1070.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1589 0 0 0 106996 70 0 0 25 0 1 0 652527180 11771904 1490 4294967295 134512640 134581331 3221221808 3221220528 134522613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2874 1490 566 18 0 2856 0
vsize: 11496
[startup+1080.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1610 0 0 0 107996 70 0 0 25 0 1 0 652527180 11759616 1487 4294967295 134512640 134581331 3221221808 3221220528 134524447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2871 1487 566 18 0 2853 0
vsize: 11484
[startup+1090.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1670 0 0 0 108995 71 0 0 25 0 1 0 652527180 12095488 1547 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2953 1547 566 18 0 2935 0
vsize: 11812
[startup+1100.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1708 0 0 0 109994 72 0 0 25 0 1 0 652527180 12128256 1577 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2961 1577 566 18 0 2943 0
vsize: 11844
[startup+1110.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1708 0 0 0 110994 73 0 0 25 0 1 0 652527180 12128256 1577 4294967295 134512640 134581331 3221221808 3221220720 134527418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2961 1577 566 18 0 2943 0
vsize: 11844
[startup+1120.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1708 0 0 0 111994 73 0 0 25 0 1 0 652527180 12128256 1577 4294967295 134512640 134581331 3221221808 3221220528 134522588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2961 1577 566 18 0 2943 0
vsize: 11844
[startup+1130.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1708 0 0 0 112993 74 0 0 25 0 1 0 652527180 12128256 1577 4294967295 134512640 134581331 3221221808 3221220720 134528072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2961 1577 566 18 0 2943 0
vsize: 11844
[startup+1140.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1708 0 0 0 113993 74 0 0 25 0 1 0 652527180 12128256 1577 4294967295 134512640 134581331 3221221808 3221220720 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2961 1577 566 18 0 2943 0
vsize: 11844
[startup+1150.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1708 0 0 0 114993 74 0 0 25 0 1 0 652527180 12128256 1577 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2961 1577 566 18 0 2943 0
vsize: 11844
[startup+1160.54 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1708 0 0 0 115993 75 0 0 25 0 1 0 652527180 12128256 1577 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2961 1577 566 18 0 2943 0
vsize: 11844
[startup+1170.55 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1708 0 0 0 116993 75 0 0 25 0 1 0 652527180 12128256 1577 4294967295 134512640 134581331 3221221808 3221220528 134522611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2961 1577 566 18 0 2943 0
vsize: 11844
[startup+1180.55 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1708 0 0 0 117992 76 0 0 25 0 1 0 652527180 12128256 1577 4294967295 134512640 134581331 3221221808 3221220720 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2961 1577 566 18 0 2943 0
vsize: 11844
[startup+1188.89 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 6936
Raw data (stat): 6879 (Pueblo) R 6878 7876 7672 0 -1 0 1708 0 0 0 117992 76 0 0 25 0 1 0 652527180 12128256 1577 4294967295 134512640 134581331 3221221808 3221220720 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2961 1577 566 18 0 2943 0
vsize: 0

Child status: 10
Real time (s): 1188.89
CPU time (s): 1189.03
CPU user time (s): 1188.27
CPU system time (s): 0.767883
CPU usage (%): 100.012
Max. virtual memory (Kb): 11844
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	59
#### END VERIFIER DATA ####