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-my_adder.opb
MD5SUM	fe8f615a95a6852516985b8e3e78bd85
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4561
Optimality of the best value was proved	NO
Number of terms in the objective function	577
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	24510
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	24510
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.02584
Number of variables	577
Total number of constraints	1322
Number of constraints which are clauses	1306
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	16
Minimum length of a constraint	2
Maximum length of a constraint	17
Trace number 24415

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 05:14:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2293 boxname=wulflinc31 idbench=255 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  fe8f615a95a6852516985b8e3e78bd85  /oldhome/oroussel/tmp/wulflinc31/normalized-my_adder.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-my_adder.opb
IDLAUNCH: 2293
/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:        301092 kB
Buffers:         45924 kB
Cached:         653696 kB
SwapCached:        644 kB
Active:         303412 kB
Inactive:       398572 kB
HighTotal:      131008 kB
HighFree:        36820 kB
LowTotal:       903652 kB
LowFree:        264272 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            25812 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 05:33:54 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 2293 0 1189.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-my_adder.opb
c #variables read: 577 - #constraints read: 1323
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 
#### 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.95 0.90 2/54 7714
Raw data (stat): 7714 (runsolver) R 7713 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 706639484 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.0002 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 558 0 0 0 989 8 0 0 25 0 1 0 706639484 7884800 535 4294967295 134512640 134581331 3221221792 3221220656 134528254 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1925 535 566 18 0 1907 0
vsize: 7700
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 628 0 0 0 1983 14 0 0 25 0 1 0 706639484 8278016 605 4294967295 134512640 134581331 3221221792 3221220656 134528272 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2021 605 566 18 0 2003 0
vsize: 8084
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 673 0 0 0 2978 18 0 0 25 0 1 0 706639484 8409088 650 4294967295 134512640 134581331 3221221792 3221220656 134528289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2053 650 566 18 0 2035 0
vsize: 8212
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 714 0 0 0 3974 23 0 0 25 0 1 0 706639484 8536064 691 4294967295 134512640 134581331 3221221792 3221220676 134557954 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2084 691 566 18 0 2066 0
vsize: 8336
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 721 0 0 0 4968 29 0 0 25 0 1 0 706639484 8536064 698 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2084 698 566 18 0 2066 0
vsize: 8336
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 764 0 0 0 5963 35 0 0 25 0 1 0 706639484 8798208 741 4294967295 134512640 134581331 3221221792 3221220704 134527701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2148 741 566 18 0 2130 0
vsize: 8592
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 780 0 0 0 6958 39 0 0 25 0 1 0 706639484 8798208 757 4294967295 134512640 134581331 3221221792 3221220480 1075288477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2148 757 566 18 0 2130 0
vsize: 8592
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 803 0 0 0 7954 43 0 0 25 0 1 0 706639484 8925184 780 4294967295 134512640 134581331 3221221792 3221220656 134528281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2179 780 566 18 0 2161 0
vsize: 8716
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 831 0 0 0 8949 49 0 0 25 0 1 0 706639484 9056256 808 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2211 808 566 18 0 2193 0
vsize: 8844
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 836 0 0 0 9944 54 0 0 25 0 1 0 706639484 9056256 813 4294967295 134512640 134581331 3221221792 3221220656 134560477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2211 813 566 18 0 2193 0
vsize: 8844
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 855 0 0 0 10940 58 0 0 25 0 1 0 706639484 9187328 832 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2243 832 566 18 0 2225 0
vsize: 8972
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 878 0 0 0 11935 63 0 0 25 0 1 0 706639484 9187328 855 4294967295 134512640 134581331 3221221792 3221220676 134557809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2243 855 566 18 0 2225 0
vsize: 8972
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 887 0 0 0 12932 66 0 0 25 0 1 0 706639484 9326592 864 4294967295 134512640 134581331 3221221792 3221220752 134516745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2277 864 566 18 0 2259 0
vsize: 9108
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 896 0 0 0 13929 69 0 0 25 0 1 0 706639484 9326592 873 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2277 873 566 18 0 2259 0
vsize: 9108
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 907 0 0 0 14925 74 0 0 25 0 1 0 706639484 9326592 884 4294967295 134512640 134581331 3221221792 3221220704 134527786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2277 884 566 18 0 2259 0
vsize: 9108
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 914 0 0 0 15922 77 0 0 25 0 1 0 706639484 9457664 891 4294967295 134512640 134581331 3221221792 3221220736 134559362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2309 891 566 18 0 2291 0
vsize: 9236
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 915 0 0 0 16919 80 0 0 25 0 1 0 706639484 9457664 892 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2309 892 566 18 0 2291 0
vsize: 9236
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 919 0 0 0 17916 83 0 0 25 0 1 0 706639484 9457664 896 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2309 896 566 18 0 2291 0
vsize: 9236
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 972 0 0 0 18910 89 0 0 25 0 1 0 706639484 9588736 949 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2341 949 566 18 0 2323 0
vsize: 9364
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 974 0 0 0 19905 95 0 0 25 0 1 0 706639484 9588736 951 4294967295 134512640 134581331 3221221792 3221220736 134558859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2341 951 566 18 0 2323 0
vsize: 9364
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 983 0 0 0 20900 100 0 0 25 0 1 0 706639484 9719808 960 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2373 960 566 18 0 2355 0
vsize: 9492
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 992 0 0 0 21894 106 0 0 25 0 1 0 706639484 9719808 969 4294967295 134512640 134581331 3221221792 3221220656 134528347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2373 969 566 18 0 2355 0
vsize: 9492
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 994 0 0 0 22890 111 0 0 25 0 1 0 706639484 9719808 971 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2373 971 566 18 0 2355 0
vsize: 9492
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1010 0 0 0 23885 116 0 0 25 0 1 0 706639484 9846784 987 4294967295 134512640 134581331 3221221792 3221220720 134519850 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2404 987 566 18 0 2386 0
vsize: 9616
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1013 0 0 0 24879 121 0 0 25 0 1 0 706639484 9846784 990 4294967295 134512640 134581331 3221221792 3221220676 134557901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2404 990 566 18 0 2386 0
vsize: 9616
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1013 0 0 0 25875 126 0 0 25 0 1 0 706639484 9838592 990 4294967295 134512640 134581331 3221221792 3221220656 134528428 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2402 990 566 18 0 2384 0
vsize: 9608
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1055 0 0 0 26870 131 0 0 25 0 1 0 706639484 9969664 1032 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2434 1032 566 18 0 2416 0
vsize: 9736
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1082 0 0 0 27866 135 0 0 25 0 1 0 706639484 10100736 1059 4294967295 134512640 134581331 3221221792 3221220656 134528516 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2466 1059 566 18 0 2448 0
vsize: 9864
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1088 0 0 0 28863 139 0 0 25 0 1 0 706639484 10100736 1065 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2466 1065 566 18 0 2448 0
vsize: 9864
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1093 0 0 0 29858 143 0 0 25 0 1 0 706639484 10100736 1070 4294967295 134512640 134581331 3221221792 3221220656 134528287 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2466 1070 566 18 0 2448 0
vsize: 9864
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1093 0 0 0 30854 147 0 0 25 0 1 0 706639484 10100736 1070 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2466 1070 566 18 0 2448 0
vsize: 9864
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1093 0 0 0 31851 151 0 0 25 0 1 0 706639484 10100736 1070 4294967295 134512640 134581331 3221221792 3221220488 1075291317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2466 1070 566 18 0 2448 0
vsize: 9864
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1094 0 0 0 32846 156 0 0 25 0 1 0 706639484 10100736 1071 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2466 1071 566 18 0 2448 0
vsize: 9864
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1096 0 0 0 33842 160 0 0 25 0 1 0 706639484 10100736 1073 4294967295 134512640 134581331 3221221792 3221220736 134558956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2466 1073 566 18 0 2448 0
vsize: 9864
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1109 0 0 0 34839 163 0 0 25 0 1 0 706639484 10231808 1086 4294967295 134512640 134581331 3221221792 3221220656 134528547 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2498 1086 566 18 0 2480 0
vsize: 9992
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1109 0 0 0 35836 167 0 0 25 0 1 0 706639484 10227712 1086 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2497 1086 566 18 0 2479 0
vsize: 9988
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1132 0 0 0 36832 171 0 0 25 0 1 0 706639484 10346496 1109 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2526 1109 566 18 0 2508 0
vsize: 10104
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1132 0 0 0 37828 175 0 0 25 0 1 0 706639484 10334208 1109 4294967295 134512640 134581331 3221221792 3221220704 134527720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2523 1109 566 18 0 2505 0
vsize: 10092
[startup+390.011 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1132 0 0 0 38824 179 0 0 25 0 1 0 706639484 10330112 1109 4294967295 134512640 134581331 3221221792 3221220656 134528428 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2522 1109 566 18 0 2504 0
vsize: 10088
[startup+400.011 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1133 0 0 0 39821 182 0 0 25 0 1 0 706639484 10330112 1110 4294967295 134512640 134581331 3221221792 3221220656 134528503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2522 1110 566 18 0 2504 0
vsize: 10088
[startup+410.011 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1160 0 0 0 40819 185 0 0 25 0 1 0 706639484 10461184 1137 4294967295 134512640 134581331 3221221792 3221220656 134528358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2554 1137 566 18 0 2536 0
vsize: 10216
[startup+420.011 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1186 0 0 0 41813 190 0 0 25 0 1 0 706639484 10461184 1163 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2554 1163 566 18 0 2536 0
vsize: 10216
[startup+430.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1195 0 0 0 42809 195 0 0 25 0 1 0 706639484 10592256 1172 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2586 1172 566 18 0 2568 0
vsize: 10344
[startup+440.012 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1197 0 0 0 43805 199 0 0 25 0 1 0 706639484 10592256 1174 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2586 1174 566 18 0 2568 0
vsize: 10344
[startup+450.011 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1197 0 0 0 44801 203 0 0 25 0 1 0 706639484 10592256 1174 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2586 1174 566 18 0 2568 0
vsize: 10344
[startup+460.012 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1197 0 0 0 45798 207 0 0 25 0 1 0 706639484 10592256 1174 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2586 1174 566 18 0 2568 0
vsize: 10344
[startup+470.012 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1203 0 0 0 46793 211 0 0 25 0 1 0 706639484 10592256 1180 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2586 1180 566 18 0 2568 0
vsize: 10344
[startup+480.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1210 0 0 0 47788 217 0 0 25 0 1 0 706639484 10592256 1187 4294967295 134512640 134581331 3221221792 3221220608 134528848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2586 1187 566 18 0 2568 0
vsize: 10344
[startup+490.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1210 0 0 0 48782 223 0 0 25 0 1 0 706639484 10592256 1187 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2586 1187 566 18 0 2568 0
vsize: 10344
[startup+500.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1210 0 0 0 49777 228 0 0 25 0 1 0 706639484 10592256 1187 4294967295 134512640 134581331 3221221792 3221220784 134561117 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2586 1187 566 18 0 2568 0
vsize: 10344
[startup+510.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1210 0 0 0 50771 234 0 0 25 0 1 0 706639484 10592256 1187 4294967295 134512640 134581331 3221221792 3221220576 134528708 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2586 1187 566 18 0 2568 0
vsize: 10344
[startup+520.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1210 0 0 0 51766 240 0 0 25 0 1 0 706639484 10592256 1187 4294967295 134512640 134581331 3221221792 3221220704 134527678 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2586 1187 566 18 0 2568 0
vsize: 10344
[startup+530.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1210 0 0 0 52761 244 0 0 25 0 1 0 706639484 10592256 1187 4294967295 134512640 134581331 3221221792 3221220656 134528287 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2586 1187 566 18 0 2568 0
vsize: 10344
[startup+540.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1210 0 0 0 53758 248 0 0 25 0 1 0 706639484 10592256 1187 4294967295 134512640 134581331 3221221792 3221220672 134520273 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2586 1187 566 18 0 2568 0
vsize: 10344
[startup+550.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1216 0 0 0 54754 252 0 0 25 0 1 0 706639484 10592256 1193 4294967295 134512640 134581331 3221221792 3221220488 1075291632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2586 1193 566 18 0 2568 0
vsize: 10344
[startup+560.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1216 0 0 0 55749 258 0 0 25 0 1 0 706639484 10592256 1193 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2586 1193 566 18 0 2568 0
vsize: 10344
[startup+570.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1217 0 0 0 56744 262 0 0 25 0 1 0 706639484 10723328 1194 4294967295 134512640 134581331 3221221792 3221220752 134531400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2618 1194 566 18 0 2600 0
vsize: 10472
[startup+580.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1223 0 0 0 57739 268 0 0 25 0 1 0 706639484 10723328 1200 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2618 1200 566 18 0 2600 0
vsize: 10472
[startup+590.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1223 0 0 0 58736 270 0 0 25 0 1 0 706639484 10723328 1200 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2618 1200 566 18 0 2600 0
vsize: 10472
[startup+600.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1223 0 0 0 59732 275 0 0 25 0 1 0 706639484 10723328 1200 4294967295 134512640 134581331 3221221792 3221220736 134559528 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2618 1200 566 18 0 2600 0
vsize: 10472
[startup+610.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1223 0 0 0 60728 279 0 0 25 0 1 0 706639484 10723328 1200 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2618 1200 566 18 0 2600 0
vsize: 10472
[startup+620.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1223 0 0 0 61724 283 0 0 25 0 1 0 706639484 10723328 1200 4294967295 134512640 134581331 3221221792 3221220748 134519782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2618 1200 566 18 0 2600 0
vsize: 10472
[startup+630.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1254 0 0 0 62720 287 0 0 25 0 1 0 706639484 10846208 1231 4294967295 134512640 134581331 3221221792 3221220624 134528569 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2648 1231 566 18 0 2630 0
vsize: 10592
[startup+640.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1263 0 0 0 63717 291 0 0 25 0 1 0 706639484 10846208 1240 4294967295 134512640 134581331 3221221792 3221220656 134528272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2648 1240 566 18 0 2630 0
vsize: 10592
[startup+650.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1266 0 0 0 64712 295 0 0 25 0 1 0 706639484 10846208 1243 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2648 1243 566 18 0 2630 0
vsize: 10592
[startup+660.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1266 0 0 0 65709 298 0 0 25 0 1 0 706639484 10846208 1243 4294967295 134512640 134581331 3221221792 3221220668 134560198 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2648 1243 566 18 0 2630 0
vsize: 10592
[startup+670.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1273 0 0 0 66705 303 0 0 25 0 1 0 706639484 10846208 1250 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2648 1250 566 18 0 2630 0
vsize: 10592
[startup+680.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1273 0 0 0 67701 307 0 0 25 0 1 0 706639484 10846208 1250 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2648 1250 566 18 0 2630 0
vsize: 10592
[startup+690.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1273 0 0 0 68697 311 0 0 25 0 1 0 706639484 10846208 1250 4294967295 134512640 134581331 3221221792 3221220576 134528791 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2648 1250 566 18 0 2630 0
vsize: 10592
[startup+700.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1273 0 0 0 69695 314 0 0 25 0 1 0 706639484 10846208 1250 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2648 1250 566 18 0 2630 0
vsize: 10592
[startup+710.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1283 0 0 0 70691 318 0 0 25 0 1 0 706639484 10977280 1260 4294967295 134512640 134581331 3221221792 3221220752 134516716 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2680 1260 566 18 0 2662 0
vsize: 10720
[startup+720.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1283 0 0 0 71686 323 0 0 25 0 1 0 706639484 10977280 1260 4294967295 134512640 134581331 3221221792 3221220656 134528541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2680 1260 566 18 0 2662 0
vsize: 10720
[startup+730.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1283 0 0 0 72681 327 0 0 25 0 1 0 706639484 10977280 1260 4294967295 134512640 134581331 3221221792 3221220704 134527729 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2680 1260 566 18 0 2662 0
vsize: 10720
[startup+740.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1283 0 0 0 73677 332 0 0 25 0 1 0 706639484 10977280 1260 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2680 1260 566 18 0 2662 0
vsize: 10720
[startup+750.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1284 0 0 0 74674 335 0 0 25 0 1 0 706639484 10977280 1261 4294967295 134512640 134581331 3221221792 3221220624 134528569 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2680 1261 566 18 0 2662 0
vsize: 10720
[startup+760.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1285 0 0 0 75671 338 0 0 25 0 1 0 706639484 10977280 1262 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2680 1262 566 18 0 2662 0
vsize: 10720
[startup+770.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1285 0 0 0 76668 341 0 0 25 0 1 0 706639484 10977280 1262 4294967295 134512640 134581331 3221221792 3221220656 134528516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2680 1262 566 18 0 2662 0
vsize: 10720
[startup+780.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1285 0 0 0 77663 347 0 0 25 0 1 0 706639484 10977280 1262 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2680 1262 566 18 0 2662 0
vsize: 10720
[startup+790.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1288 0 0 0 78660 350 0 0 25 0 1 0 706639484 10977280 1265 4294967295 134512640 134581331 3221221792 3221220688 134517921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2680 1265 566 18 0 2662 0
vsize: 10720
[startup+800.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1293 0 0 0 79655 356 0 0 25 0 1 0 706639484 10977280 1270 4294967295 134512640 134581331 3221221792 3221220656 134528287 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2680 1270 566 18 0 2662 0
vsize: 10720
[startup+810.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1293 0 0 0 80651 359 0 0 25 0 1 0 706639484 10977280 1270 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2680 1270 566 18 0 2662 0
vsize: 10720
[startup+820.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1293 0 0 0 81648 363 0 0 25 0 1 0 706639484 10977280 1270 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2680 1270 566 18 0 2662 0
vsize: 10720
[startup+830.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1293 0 0 0 82644 367 0 0 25 0 1 0 706639484 10977280 1270 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2680 1270 566 18 0 2662 0
vsize: 10720
[startup+840.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1293 0 0 0 83641 370 0 0 25 0 1 0 706639484 10977280 1270 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2680 1270 566 18 0 2662 0
vsize: 10720
[startup+850.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1294 0 0 0 84638 373 0 0 25 0 1 0 706639484 10977280 1271 4294967295 134512640 134581331 3221221792 3221220488 1075291632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2680 1271 566 18 0 2662 0
vsize: 10720
[startup+860.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1294 0 0 0 85635 376 0 0 25 0 1 0 706639484 10977280 1271 4294967295 134512640 134581331 3221221792 3221220704 134527772 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2680 1271 566 18 0 2662 0
vsize: 10720
[startup+870.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1294 0 0 0 86633 379 0 0 25 0 1 0 706639484 10977280 1271 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2680 1271 566 18 0 2662 0
vsize: 10720
[startup+880.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1298 0 0 0 87629 382 0 0 25 0 1 0 706639484 10977280 1275 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2680 1275 566 18 0 2662 0
vsize: 10720
[startup+890.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1314 0 0 0 88626 386 0 0 25 0 1 0 706639484 11108352 1291 4294967295 134512640 134581331 3221221792 3221220656 134560398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2712 1291 566 18 0 2694 0
vsize: 10848
[startup+900.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1314 0 0 0 89624 388 0 0 25 0 1 0 706639484 11108352 1291 4294967295 134512640 134581331 3221221792 3221220656 134528248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2712 1291 566 18 0 2694 0
vsize: 10848
[startup+910.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1315 0 0 0 90621 391 0 0 25 0 1 0 706639484 11104256 1292 4294967295 134512640 134581331 3221221792 3221220656 134528437 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2711 1292 566 18 0 2693 0
vsize: 10844
[startup+920.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1315 0 0 0 91618 394 0 0 25 0 1 0 706639484 11079680 1292 4294967295 134512640 134581331 3221221792 3221220428 1075289350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2705 1292 566 18 0 2687 0
vsize: 10820
[startup+930.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1315 0 0 0 92615 397 0 0 25 0 1 0 706639484 11079680 1292 4294967295 134512640 134581331 3221221792 3221220656 134560350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2705 1292 566 18 0 2687 0
vsize: 10820
[startup+940.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1315 0 0 0 93612 401 0 0 25 0 1 0 706639484 11079680 1292 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2705 1292 566 18 0 2687 0
vsize: 10820
[startup+950.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1336 0 0 0 94608 405 0 0 25 0 1 0 706639484 11210752 1313 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2737 1313 566 18 0 2719 0
vsize: 10948
[startup+960.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1348 0 0 0 95604 409 0 0 25 0 1 0 706639484 11210752 1325 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2737 1325 566 18 0 2719 0
vsize: 10948
[startup+970.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1354 0 0 0 96600 413 0 0 25 0 1 0 706639484 11210752 1331 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2737 1331 566 18 0 2719 0
vsize: 10948
[startup+980.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1363 0 0 0 97597 417 0 0 25 0 1 0 706639484 11210752 1340 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2737 1340 566 18 0 2719 0
vsize: 10948
[startup+990.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1382 0 0 0 98593 421 0 0 25 0 1 0 706639484 11341824 1359 4294967295 134512640 134581331 3221221792 3221220656 134528503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2769 1359 566 18 0 2751 0
vsize: 11076
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1413 0 0 0 99589 425 0 0 25 0 1 0 706639484 11468800 1390 4294967295 134512640 134581331 3221221792 3221220736 134559269 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2800 1390 566 18 0 2782 0
vsize: 11200
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1413 0 0 0 100586 428 0 0 25 0 1 0 706639484 11468800 1390 4294967295 134512640 134581331 3221221792 3221220656 134528316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2800 1390 566 18 0 2782 0
vsize: 11200
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1413 0 0 0 101582 432 0 0 25 0 1 0 706639484 11468800 1390 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2800 1390 566 18 0 2782 0
vsize: 11200
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1413 0 0 0 102578 436 0 0 25 0 1 0 706639484 11468800 1390 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2800 1390 566 18 0 2782 0
vsize: 11200
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1413 0 0 0 103574 441 0 0 25 0 1 0 706639484 11468800 1390 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2800 1390 566 18 0 2782 0
vsize: 11200
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1413 0 0 0 104570 445 0 0 25 0 1 0 706639484 11468800 1390 4294967295 134512640 134581331 3221221792 3221220656 134528528 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2800 1390 566 18 0 2782 0
vsize: 11200
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1413 0 0 0 105565 450 0 0 25 0 1 0 706639484 11468800 1390 4294967295 134512640 134581331 3221221792 3221220704 134527772 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2800 1390 566 18 0 2782 0
vsize: 11200
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1413 0 0 0 106562 453 0 0 25 0 1 0 706639484 11468800 1390 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2800 1390 566 18 0 2782 0
vsize: 11200
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1437 0 0 0 107557 459 0 0 25 0 1 0 706639484 11575296 1414 4294967295 134512640 134581331 3221221792 3221220656 134528347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2826 1414 566 18 0 2808 0
vsize: 11304
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1437 0 0 0 108553 463 0 0 25 0 1 0 706639484 11575296 1414 4294967295 134512640 134581331 3221221792 3221220656 134528384 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2826 1414 566 18 0 2808 0
vsize: 11304
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1438 0 0 0 109549 467 0 0 25 0 1 0 706639484 11575296 1415 4294967295 134512640 134581331 3221221792 3221220464 134566395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2826 1415 566 18 0 2808 0
vsize: 11304
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1438 0 0 0 110545 471 0 0 25 0 1 0 706639484 11575296 1415 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2826 1415 566 18 0 2808 0
vsize: 11304
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1438 0 0 0 111541 475 0 0 25 0 1 0 706639484 11575296 1415 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2826 1415 566 18 0 2808 0
vsize: 11304
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1438 0 0 0 112538 479 0 0 25 0 1 0 706639484 11575296 1415 4294967295 134512640 134581331 3221221792 3221220656 134528278 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2826 1415 566 18 0 2808 0
vsize: 11304
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1438 0 0 0 113534 483 0 0 25 0 1 0 706639484 11575296 1415 4294967295 134512640 134581331 3221221792 3221220656 134528258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2826 1415 566 18 0 2808 0
vsize: 11304
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1438 0 0 0 114529 488 0 0 25 0 1 0 706639484 11575296 1415 4294967295 134512640 134581331 3221221792 3221220656 134528316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2826 1415 566 18 0 2808 0
vsize: 11304
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1438 0 0 0 115525 492 0 0 25 0 1 0 706639484 11575296 1415 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2826 1415 566 18 0 2808 0
vsize: 11304
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1438 0 0 0 116521 496 0 0 25 0 1 0 706639484 11575296 1415 4294967295 134512640 134581331 3221221792 3221220620 134528696 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2826 1415 566 18 0 2808 0
vsize: 11304
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1438 0 0 0 117518 499 0 0 25 0 1 0 706639484 11575296 1415 4294967295 134512640 134581331 3221221792 3221220656 134528316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2826 1415 566 18 0 2808 0
vsize: 11304
[startup+1188.87 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 7714
Raw data (stat): 7714 (Pueblo) R 7713 7876 7672 0 -1 0 1438 0 0 0 117518 499 0 0 25 0 1 0 706639484 11575296 1415 4294967295 134512640 134581331 3221221792 3221220656 134528316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2826 1415 566 18 0 2808 0
vsize: 0

Child status: 10
Real time (s): 1188.87
CPU time (s): 1189.02
CPU user time (s): 1183.98
CPU system time (s): 5.03423
CPU usage (%): 100.012
Max. virtual memory (Kb): 11304
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	5060
#### END VERIFIER DATA ####