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/synthesis-ptl-cmos-circuits/normalized-9symml.opb
MD5SUM	48809ba02390b1184dab90aed89aff8e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4517
Optimality of the best value was proved	NO
Number of terms in the objective function	651
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	28138
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	28138
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02684
Number of variables	651
Total number of constraints	1658
Number of constraints which are clauses	1656
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2
Minimum length of a constraint	1
Maximum length of a constraint	42
Trace number 24370

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 21:41:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2212 boxname=wulflinc31 idbench=246 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  48809ba02390b1184dab90aed89aff8e  /oldhome/oroussel/tmp/wulflinc31/normalized-9symml.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-9symml.opb
IDLAUNCH: 2212
/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:        136156 kB
Buffers:         45584 kB
Cached:         818392 kB
SwapCached:        644 kB
Active:         493072 kB
Inactive:       373260 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        135904 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26448 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 22:01:08 (client local time) WITH STATUS 10 IN 1189.03 SECONDS
stats: 2212 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-9symml.opb
c #variables read: 651 - #constraints read: 1584
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 -x609 -x610 x611 -x612 x613 -x614 -x615 -x616 x617 x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 
#### 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.93 0.97 0.91 2/54 3409
Raw data (stat): 3409 (runsolver) R 3408 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 703922576 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.94 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 669 0 0 0 988 8 0 0 25 0 1 0 703922576 8409088 646 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2053 646 566 18 0 2035 0
vsize: 8212
[startup+20.0003 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 741 0 0 0 1983 14 0 0 25 0 1 0 703922576 8671232 718 4294967295 134512640 134581331 3221221808 3221220672 134560433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2117 718 566 18 0 2099 0
vsize: 8468
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 805 0 0 0 2978 19 0 0 25 0 1 0 703922576 8933376 782 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2181 782 566 18 0 2163 0
vsize: 8724
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 822 0 0 0 3971 26 0 0 25 0 1 0 703922576 9064448 799 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2213 799 566 18 0 2195 0
vsize: 8852
[startup+50.0011 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 870 0 0 0 4967 30 0 0 25 0 1 0 703922576 9195520 847 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2245 847 566 18 0 2227 0
vsize: 8980
[startup+60.001 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 892 0 0 0 5962 35 0 0 25 0 1 0 703922576 9326592 869 4294967295 134512640 134581331 3221221808 3221220720 134527720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2277 869 566 18 0 2259 0
vsize: 9108
[startup+70.001 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 931 0 0 0 6958 39 0 0 25 0 1 0 703922576 9457664 908 4294967295 134512640 134581331 3221221808 3221220672 134528258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2309 908 566 18 0 2291 0
vsize: 9236
[startup+80.0019 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 948 0 0 0 7954 44 0 0 25 0 1 0 703922576 9588736 925 4294967295 134512640 134581331 3221221808 3221220672 134528428 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2341 925 566 18 0 2323 0
vsize: 9364
[startup+90.0018 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 981 0 0 0 8950 48 0 0 25 0 1 0 703922576 9719808 958 4294967295 134512640 134581331 3221221808 3221220752 134559285 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2373 958 566 18 0 2355 0
vsize: 9492
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1005 0 0 0 9945 53 0 0 25 0 1 0 703922576 9719808 982 4294967295 134512640 134581331 3221221808 3221220672 134528248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2373 982 566 18 0 2355 0
vsize: 9492
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1012 0 0 0 10940 58 0 0 25 0 1 0 703922576 9854976 989 4294967295 134512640 134581331 3221221808 3221220720 134527416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2406 989 566 18 0 2388 0
vsize: 9624
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1015 0 0 0 11936 63 0 0 25 0 1 0 703922576 9854976 992 4294967295 134512640 134581331 3221221808 3221220628 1075289770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2406 992 566 18 0 2388 0
vsize: 9624
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1029 0 0 0 12931 67 0 0 25 0 1 0 703922576 9854976 1006 4294967295 134512640 134581331 3221221808 3221220496 1075288331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2406 1006 566 18 0 2388 0
vsize: 9624
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1040 0 0 0 13927 71 0 0 25 0 1 0 703922576 9854976 1017 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2406 1017 566 18 0 2388 0
vsize: 9624
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1046 0 0 0 14924 75 0 0 25 0 1 0 703922576 10002432 1023 4294967295 134512640 134581331 3221221808 3221220672 134528258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2442 1023 566 18 0 2424 0
vsize: 9768
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1046 0 0 0 15919 80 0 0 25 0 1 0 703922576 10002432 1023 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2442 1023 566 18 0 2424 0
vsize: 9768
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1054 0 0 0 16916 83 0 0 25 0 1 0 703922576 10002432 1031 4294967295 134512640 134581331 3221221808 3221220704 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2442 1031 566 18 0 2424 0
vsize: 9768
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1056 0 0 0 17913 86 0 0 25 0 1 0 703922576 10002432 1033 4294967295 134512640 134581331 3221221808 3221220672 134528287 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2442 1033 566 18 0 2424 0
vsize: 9768
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1056 0 0 0 18908 91 0 0 25 0 1 0 703922576 10002432 1033 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2442 1033 566 18 0 2424 0
vsize: 9768
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1152 0 0 0 19903 96 0 0 25 0 1 0 703922576 10391552 1129 4294967295 134512640 134581331 3221221808 3221220672 134528272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2537 1129 566 18 0 2519 0
vsize: 10148
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1196 0 0 0 20899 100 0 0 25 0 1 0 703922576 10522624 1173 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2569 1173 566 18 0 2551 0
vsize: 10276
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1200 0 0 0 21895 104 0 0 25 0 1 0 703922576 10522624 1177 4294967295 134512640 134581331 3221221808 3221220592 134528844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2569 1177 566 18 0 2551 0
vsize: 10276
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1218 0 0 0 22891 109 0 0 25 0 1 0 703922576 10653696 1195 4294967295 134512640 134581331 3221221808 3221220592 134528765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2601 1195 566 18 0 2583 0
vsize: 10404
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1228 0 0 0 23886 114 0 0 25 0 1 0 703922576 10653696 1205 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2601 1205 566 18 0 2583 0
vsize: 10404
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1228 0 0 0 24882 118 0 0 25 0 1 0 703922576 10653696 1205 4294967295 134512640 134581331 3221221808 3221220652 134528557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2601 1205 566 18 0 2583 0
vsize: 10404
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1228 0 0 0 25878 122 0 0 25 0 1 0 703922576 10653696 1205 4294967295 134512640 134581331 3221221808 3221220672 134528287 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2601 1205 566 18 0 2583 0
vsize: 10404
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1236 0 0 0 26874 126 0 0 25 0 1 0 703922576 10788864 1213 4294967295 134512640 134581331 3221221808 3221220504 1075291632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2634 1213 566 18 0 2616 0
vsize: 10536
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1236 0 0 0 27870 131 0 0 25 0 1 0 703922576 10788864 1213 4294967295 134512640 134581331 3221221808 3221220672 134528544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2634 1213 566 18 0 2616 0
vsize: 10536
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1237 0 0 0 28866 135 0 0 25 0 1 0 703922576 10788864 1214 4294967295 134512640 134581331 3221221808 3221220592 134528826 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2634 1214 566 18 0 2616 0
vsize: 10536
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1237 0 0 0 29861 140 0 0 25 0 1 0 703922576 10788864 1214 4294967295 134512640 134581331 3221221808 3221220704 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2634 1214 566 18 0 2616 0
vsize: 10536
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1237 0 0 0 30857 144 0 0 25 0 1 0 703922576 10788864 1214 4294967295 134512640 134581331 3221221808 3221220724 1075285509 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2634 1214 566 18 0 2616 0
vsize: 10536
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1237 0 0 0 31853 149 0 0 25 0 1 0 703922576 10788864 1214 4294967295 134512640 134581331 3221221808 3221220736 134519823 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2634 1214 566 18 0 2616 0
vsize: 10536
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1237 0 0 0 32849 152 0 0 25 0 1 0 703922576 10788864 1214 4294967295 134512640 134581331 3221221808 3221220692 134557969 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2634 1214 566 18 0 2616 0
vsize: 10536
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1237 0 0 0 33845 157 0 0 25 0 1 0 703922576 10788864 1214 4294967295 134512640 134581331 3221221808 3221220672 134528347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2634 1214 566 18 0 2616 0
vsize: 10536
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1248 0 0 0 34841 161 0 0 25 0 1 0 703922576 10788864 1225 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2634 1225 566 18 0 2616 0
vsize: 10536
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1256 0 0 0 35837 165 0 0 25 0 1 0 703922576 10788864 1233 4294967295 134512640 134581331 3221221808 3221220652 134528557 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2634 1233 566 18 0 2616 0
vsize: 10536
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1261 0 0 0 36833 169 0 0 25 0 1 0 703922576 10788864 1238 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2634 1238 566 18 0 2616 0
vsize: 10536
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1279 0 0 0 37828 175 0 0 25 0 1 0 703922576 10915840 1256 4294967295 134512640 134581331 3221221808 3221220752 134558819 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2665 1256 566 18 0 2647 0
vsize: 10660
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1279 0 0 0 38823 179 0 0 25 0 1 0 703922576 10915840 1256 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2665 1256 566 18 0 2647 0
vsize: 10660
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1279 0 0 0 39820 183 0 0 25 0 1 0 703922576 10915840 1256 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2665 1256 566 18 0 2647 0
vsize: 10660
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1279 0 0 0 40816 186 0 0 25 0 1 0 703922576 10895360 1256 4294967295 134512640 134581331 3221221808 3221220720 134527707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2660 1256 566 18 0 2642 0
vsize: 10640
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1279 0 0 0 41813 190 0 0 25 0 1 0 703922576 10878976 1256 4294967295 134512640 134581331 3221221808 3221220720 134527778 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2656 1256 566 18 0 2638 0
vsize: 10624
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1279 0 0 0 42808 195 0 0 25 0 1 0 703922576 10878976 1256 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2656 1256 566 18 0 2638 0
vsize: 10624
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1279 0 0 0 43805 198 0 0 25 0 1 0 703922576 10878976 1256 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2656 1256 566 18 0 2638 0
vsize: 10624
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1351 0 0 0 44802 202 0 0 25 0 1 0 703922576 11153408 1328 4294967295 134512640 134581331 3221221808 3221220672 134528254 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2723 1328 566 18 0 2705 0
vsize: 10892
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1388 0 0 0 45798 206 0 0 25 0 1 0 703922576 11411456 1365 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2786 1365 566 18 0 2768 0
vsize: 11144
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1388 0 0 0 46793 210 0 0 25 0 1 0 703922576 11411456 1365 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2786 1365 566 18 0 2768 0
vsize: 11144
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1403 0 0 0 47790 214 0 0 25 0 1 0 703922576 11399168 1380 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2783 1380 566 18 0 2765 0
vsize: 11132
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1403 0 0 0 48786 218 0 0 25 0 1 0 703922576 11399168 1380 4294967295 134512640 134581331 3221221808 3221220652 134528557 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2783 1380 566 18 0 2765 0
vsize: 11132
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1403 0 0 0 49782 223 0 0 25 0 1 0 703922576 11399168 1380 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2783 1380 566 18 0 2765 0
vsize: 11132
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1403 0 0 0 50777 227 0 0 25 0 1 0 703922576 11399168 1380 4294967295 134512640 134581331 3221221808 3221220672 134528547 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2783 1380 566 18 0 2765 0
vsize: 11132
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1404 0 0 0 51774 231 0 0 25 0 1 0 703922576 11399168 1381 4294967295 134512640 134581331 3221221808 3221220504 1075291546 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2783 1381 566 18 0 2765 0
vsize: 11132
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1424 0 0 0 52769 236 0 0 25 0 1 0 703922576 11517952 1401 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2812 1401 566 18 0 2794 0
vsize: 11248
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1424 0 0 0 53765 240 0 0 25 0 1 0 703922576 11501568 1401 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2808 1401 566 18 0 2790 0
vsize: 11232
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1424 0 0 0 54761 244 0 0 25 0 1 0 703922576 11493376 1401 4294967295 134512640 134581331 3221221808 3221220692 134557928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2806 1401 566 18 0 2788 0
vsize: 11224
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1424 0 0 0 55757 249 0 0 25 0 1 0 703922576 11489280 1401 4294967295 134512640 134581331 3221221808 3221220704 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2805 1401 566 18 0 2787 0
vsize: 11220
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1424 0 0 0 56753 252 0 0 25 0 1 0 703922576 11485184 1401 4294967295 134512640 134581331 3221221808 3221220704 134527747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2804 1401 566 18 0 2786 0
vsize: 11216
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1426 0 0 0 57750 256 0 0 25 0 1 0 703922576 11485184 1403 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2804 1403 566 18 0 2786 0
vsize: 11216
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1426 0 0 0 58746 260 0 0 25 0 1 0 703922576 11485184 1403 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2804 1403 566 18 0 2786 0
vsize: 11216
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1426 0 0 0 59742 264 0 0 25 0 1 0 703922576 11485184 1403 4294967295 134512640 134581331 3221221808 3221220624 134528848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2804 1403 566 18 0 2786 0
vsize: 11216
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1426 0 0 0 60738 269 0 0 25 0 1 0 703922576 11485184 1403 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2804 1403 566 18 0 2786 0
vsize: 11216
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1426 0 0 0 61734 272 0 0 25 0 1 0 703922576 11485184 1403 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2804 1403 566 18 0 2786 0
vsize: 11216
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1426 0 0 0 62730 277 0 0 25 0 1 0 703922576 11485184 1403 4294967295 134512640 134581331 3221221808 3221220672 134560244 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2804 1403 566 18 0 2786 0
vsize: 11216
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1426 0 0 0 63726 281 0 0 25 0 1 0 703922576 11485184 1403 4294967295 134512640 134581331 3221221808 3221220672 134528428 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2804 1403 566 18 0 2786 0
vsize: 11216
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1426 0 0 0 64723 284 0 0 25 0 1 0 703922576 11485184 1403 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2804 1403 566 18 0 2786 0
vsize: 11216
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1426 0 0 0 65719 289 0 0 25 0 1 0 703922576 11485184 1403 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2804 1403 566 18 0 2786 0
vsize: 11216
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1455 0 0 0 66713 294 0 0 25 0 1 0 703922576 11616256 1432 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2836 1432 566 18 0 2818 0
vsize: 11344
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1477 0 0 0 67710 297 0 0 25 0 1 0 703922576 11747328 1454 4294967295 134512640 134581331 3221221808 3221220720 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2868 1454 566 18 0 2850 0
vsize: 11472
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1491 0 0 0 68706 301 0 0 25 0 1 0 703922576 11747328 1468 4294967295 134512640 134581331 3221221808 3221220692 134557901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2868 1468 566 18 0 2850 0
vsize: 11472
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1491 0 0 0 69701 307 0 0 25 0 1 0 703922576 11747328 1468 4294967295 134512640 134581331 3221221808 3221220752 134559312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2868 1468 566 18 0 2850 0
vsize: 11472
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1494 0 0 0 70697 311 0 0 25 0 1 0 703922576 11747328 1471 4294967295 134512640 134581331 3221221808 3221220672 134528323 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2868 1471 566 18 0 2850 0
vsize: 11472
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1500 0 0 0 71694 314 0 0 25 0 1 0 703922576 11878400 1477 4294967295 134512640 134581331 3221221808 3221220704 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2900 1477 566 18 0 2882 0
vsize: 11600
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1500 0 0 0 72689 319 0 0 25 0 1 0 703922576 11878400 1477 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2900 1477 566 18 0 2882 0
vsize: 11600
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1509 0 0 0 73687 322 0 0 25 0 1 0 703922576 11878400 1486 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2900 1486 566 18 0 2882 0
vsize: 11600
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1509 0 0 0 74683 326 0 0 25 0 1 0 703922576 11878400 1486 4294967295 134512640 134581331 3221221808 3221220720 134527652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2900 1486 566 18 0 2882 0
vsize: 11600
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1511 0 0 0 75679 330 0 0 25 0 1 0 703922576 11878400 1488 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2900 1488 566 18 0 2882 0
vsize: 11600
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1515 0 0 0 76676 333 0 0 25 0 1 0 703922576 11878400 1492 4294967295 134512640 134581331 3221221808 3221220672 134528342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2900 1492 566 18 0 2882 0
vsize: 11600
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1518 0 0 0 77673 336 0 0 25 0 1 0 703922576 11878400 1495 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2900 1495 566 18 0 2882 0
vsize: 11600
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1518 0 0 0 78671 339 0 0 25 0 1 0 703922576 11878400 1495 4294967295 134512640 134581331 3221221808 3221220692 134558002 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2900 1495 566 18 0 2882 0
vsize: 11600
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1518 0 0 0 79668 342 0 0 25 0 1 0 703922576 11878400 1495 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2900 1495 566 18 0 2882 0
vsize: 11600
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1518 0 0 0 80665 345 0 0 25 0 1 0 703922576 11878400 1495 4294967295 134512640 134581331 3221221808 3221220704 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2900 1495 566 18 0 2882 0
vsize: 11600
[startup+820.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1526 0 0 0 81662 348 0 0 25 0 1 0 703922576 11878400 1503 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2900 1503 566 18 0 2882 0
vsize: 11600
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1529 0 0 0 82659 352 0 0 25 0 1 0 703922576 11878400 1506 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2900 1506 566 18 0 2882 0
vsize: 11600
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1529 0 0 0 83655 355 0 0 25 0 1 0 703922576 11878400 1506 4294967295 134512640 134581331 3221221808 3221220672 134528428 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2900 1506 566 18 0 2882 0
vsize: 11600
[startup+850.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1529 0 0 0 84652 358 0 0 25 0 1 0 703922576 11878400 1506 4294967295 134512640 134581331 3221221808 3221220672 134528258 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2900 1506 566 18 0 2882 0
vsize: 11600
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1529 0 0 0 85649 362 0 0 25 0 1 0 703922576 11878400 1506 4294967295 134512640 134581331 3221221808 3221220692 134557932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2900 1506 566 18 0 2882 0
vsize: 11600
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1539 0 0 0 86646 365 0 0 25 0 1 0 703922576 12009472 1516 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2932 1516 566 18 0 2914 0
vsize: 11728
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1539 0 0 0 87643 368 0 0 25 0 1 0 703922576 12009472 1516 4294967295 134512640 134581331 3221221808 3221220672 134528258 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2932 1516 566 18 0 2914 0
vsize: 11728
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1539 0 0 0 88641 371 0 0 25 0 1 0 703922576 12009472 1516 4294967295 134512640 134581331 3221221808 3221220504 1075291632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2932 1516 566 18 0 2914 0
vsize: 11728
[startup+900.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1539 0 0 0 89637 375 0 0 25 0 1 0 703922576 12009472 1516 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2932 1516 566 18 0 2914 0
vsize: 11728
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1540 0 0 0 90633 379 0 0 25 0 1 0 703922576 12009472 1517 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2932 1517 566 18 0 2914 0
vsize: 11728
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1540 0 0 0 91631 381 0 0 25 0 1 0 703922576 12009472 1517 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2932 1517 566 18 0 2914 0
vsize: 11728
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1540 0 0 0 92628 384 0 0 25 0 1 0 703922576 12009472 1517 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2932 1517 566 18 0 2914 0
vsize: 11728
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1540 0 0 0 93625 387 0 0 25 0 1 0 703922576 12009472 1517 4294967295 134512640 134581331 3221221808 3221220652 134528557 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2932 1517 566 18 0 2914 0
vsize: 11728
[startup+950.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1540 0 0 0 94623 389 0 0 25 0 1 0 703922576 12009472 1517 4294967295 134512640 134581331 3221221808 3221220592 134528782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2932 1517 566 18 0 2914 0
vsize: 11728
[startup+960.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1540 0 0 0 95619 393 0 0 25 0 1 0 703922576 12009472 1517 4294967295 134512640 134581331 3221221808 3221220796 134561090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2932 1517 566 18 0 2914 0
vsize: 11728
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1566 0 0 0 96617 396 0 0 25 0 1 0 703922576 12140544 1543 4294967295 134512640 134581331 3221221808 3221220592 134528838 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2964 1543 566 18 0 2946 0
vsize: 11856
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1566 0 0 0 97614 399 0 0 25 0 1 0 703922576 12140544 1543 4294967295 134512640 134581331 3221221808 3221220692 134557932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2964 1543 566 18 0 2946 0
vsize: 11856
[startup+990.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1566 0 0 0 98613 401 0 0 25 0 1 0 703922576 12140544 1543 4294967295 134512640 134581331 3221221808 3221220692 134557744 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2964 1543 566 18 0 2946 0
vsize: 11856
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1566 0 0 0 99610 404 0 0 25 0 1 0 703922576 12140544 1543 4294967295 134512640 134581331 3221221808 3221220720 134527769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2964 1543 566 18 0 2946 0
vsize: 11856
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1566 0 0 0 100607 407 0 0 25 0 1 0 703922576 12140544 1543 4294967295 134512640 134581331 3221221808 3221220672 134528258 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2964 1543 566 18 0 2946 0
vsize: 11856
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1566 0 0 0 101605 409 0 0 25 0 1 0 703922576 12140544 1543 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2964 1543 566 18 0 2946 0
vsize: 11856
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1566 0 0 0 102601 413 0 0 25 0 1 0 703922576 12140544 1543 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2964 1543 566 18 0 2946 0
vsize: 11856
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1566 0 0 0 103598 416 0 0 25 0 1 0 703922576 12140544 1543 4294967295 134512640 134581331 3221221808 3221220692 134557939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2964 1543 566 18 0 2946 0
vsize: 11856
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1566 0 0 0 104595 419 0 0 25 0 1 0 703922576 12140544 1543 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2964 1543 566 18 0 2946 0
vsize: 11856
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1676 0 0 0 105590 424 0 0 25 0 1 0 703922576 12533760 1653 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3060 1653 566 18 0 3042 0
vsize: 12240
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1676 0 0 0 106585 429 0 0 25 0 1 0 703922576 12533760 1653 4294967295 134512640 134581331 3221221808 3221220652 134528557 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3060 1653 566 18 0 3042 0
vsize: 12240
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1676 0 0 0 107581 434 0 0 25 0 1 0 703922576 12484608 1653 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3048 1653 566 18 0 3030 0
vsize: 12192
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1676 0 0 0 108578 437 0 0 25 0 1 0 703922576 12484608 1653 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3048 1653 566 18 0 3030 0
vsize: 12192
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1677 0 0 0 109574 441 0 0 25 0 1 0 703922576 12484608 1654 4294967295 134512640 134581331 3221221808 3221220672 134528323 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3048 1654 566 18 0 3030 0
vsize: 12192
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1691 0 0 0 110571 445 0 0 25 0 1 0 703922576 12615680 1668 4294967295 134512640 134581331 3221221808 3221220672 134528323 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3080 1668 566 18 0 3062 0
vsize: 12320
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1698 0 0 0 111567 448 0 0 25 0 1 0 703922576 12615680 1675 4294967295 134512640 134581331 3221221808 3221220736 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3080 1675 566 18 0 3062 0
vsize: 12320
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1698 0 0 0 112562 454 0 0 25 0 1 0 703922576 12615680 1675 4294967295 134512640 134581331 3221221808 3221220688 134520276 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3080 1675 566 18 0 3062 0
vsize: 12320
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1698 0 0 0 113558 458 0 0 25 0 1 0 703922576 12615680 1675 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3080 1675 566 18 0 3062 0
vsize: 12320
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1703 0 0 0 114553 463 0 0 25 0 1 0 703922576 12615680 1680 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3080 1680 566 18 0 3062 0
vsize: 12320
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1709 0 0 0 115549 467 0 0 25 0 1 0 703922576 12615680 1686 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3080 1686 566 18 0 3062 0
vsize: 12320
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1709 0 0 0 116545 471 0 0 25 0 1 0 703922576 12615680 1686 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3080 1686 566 18 0 3062 0
vsize: 12320
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1709 0 0 0 117541 476 0 0 25 0 1 0 703922576 12615680 1686 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3080 1686 566 18 0 3062 0
vsize: 12320
[startup+1188.88 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 3409
Raw data (stat): 3409 (Pueblo) R 3408 7876 7672 0 -1 0 1709 0 0 0 117541 476 0 0 25 0 1 0 703922576 12615680 1686 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3080 1686 566 18 0 3062 0
vsize: 0

Child status: 10
Real time (s): 1188.88
CPU time (s): 1189.03
CPU user time (s): 1184.22
CPU system time (s): 4.80127
CPU usage (%): 100.013
Max. virtual memory (Kb): 12320
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	5255
#### END VERIFIER DATA ####