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-C432.opb
MD5SUM	6292e63147fb202dc159fbf5a9ff5c77
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4822
Optimality of the best value was proved	NO
Number of terms in the objective function	771
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	33355
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	33355
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02584
Number of variables	771
Total number of constraints	1951
Number of constraints which are clauses	1949
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 38453

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 10:14:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26518 boxname=wulflinc5 idbench=248 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  6292e63147fb202dc159fbf5a9ff5c77  /oldhome/oroussel/tmp/wulflinc5/normalized-C432.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-C432.opb
IDLAUNCH: 26518
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        675972 kB
Buffers:         34796 kB
Cached:         300760 kB
SwapCached:        568 kB
Active:          53924 kB
Inactive:       283672 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        675720 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5140 kB
Slab:            15456 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 10:34:32 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 26518 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/wulflinc5/normalized-C432.opb
c #variables read: 771 - #constraints read: 1906
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 -x652 x653 x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 x674 -x675 -x676 -x677 -x678 -x679 x680 x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 x771 
#### 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
Enforcing Stack size limit: 67108864 bytes
Raw data (loadavg): 0.77 0.92 0.90 2/54 3458
Raw data (stat): 3458 (runsolver) R 3457 7266 7265 0 -1 64 0 0 0 0 0 0 0 0 19 0 1 0 848986012 884736 93 4294967295 134512640 135332820 3221224480 3221219888 134515228 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.0004 s]
Raw data (loadavg): 0.81 0.92 0.90 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 813 0 0 0 990 8 0 0 25 0 1 0 848986012 8945664 787 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2184 787 566 18 0 2166 0
vsize: 8736
[startup+20.0015 s]
Raw data (loadavg): 0.84 0.93 0.90 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 926 0 0 0 1983 16 0 0 25 0 1 0 848986012 9474048 900 4294967295 134512640 134581267 3221224592 3221223456 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2313 900 566 18 0 2295 0
vsize: 9252
[startup+30.0012 s]
Raw data (loadavg): 0.86 0.93 0.90 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 978 0 0 0 2978 21 0 0 25 0 1 0 848986012 9605120 952 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2345 952 566 18 0 2327 0
vsize: 9380
[startup+40.0017 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1029 0 0 0 3972 27 0 0 25 0 1 0 848986012 9863168 1003 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2408 1003 566 18 0 2390 0
vsize: 9632
[startup+50.0018 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1098 0 0 0 4967 32 0 0 25 0 1 0 848986012 10125312 1072 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2472 1072 566 18 0 2454 0
vsize: 9888
[startup+60.0028 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1104 0 0 0 5963 36 0 0 25 0 1 0 848986012 10125312 1078 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2472 1078 566 18 0 2454 0
vsize: 9888
[startup+70.0029 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1177 0 0 0 6958 42 0 0 25 0 1 0 848986012 10518528 1151 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2568 1151 566 18 0 2550 0
vsize: 10272
[startup+80.003 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1191 0 0 0 7953 47 0 0 25 0 1 0 848986012 10518528 1165 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2568 1165 566 18 0 2550 0
vsize: 10272
[startup+90.0037 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1212 0 0 0 8948 52 0 0 25 0 1 0 848986012 10625024 1186 4294967295 134512640 134581267 3221224592 3221223228 1075288668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2594 1186 566 18 0 2576 0
vsize: 10376
[startup+100.003 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1247 0 0 0 9943 57 0 0 25 0 1 0 848986012 10756096 1221 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2626 1221 566 18 0 2608 0
vsize: 10504
[startup+110.004 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1300 0 0 0 10940 60 0 0 25 0 1 0 848986012 11018240 1274 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2690 1274 566 18 0 2672 0
vsize: 10760
[startup+120.004 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1313 0 0 0 11936 64 0 0 25 0 1 0 848986012 11018240 1287 4294967295 134512640 134581267 3221224592 3221223504 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2690 1287 566 18 0 2672 0
vsize: 10760
[startup+130.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1317 0 0 0 12931 69 0 0 25 0 1 0 848986012 11018240 1291 4294967295 134512640 134581267 3221224592 3221223456 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2690 1291 566 18 0 2672 0
vsize: 10760
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1323 0 0 0 13926 75 0 0 25 0 1 0 848986012 11018240 1297 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2690 1297 566 18 0 2672 0
vsize: 10760
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1338 0 0 0 14922 79 0 0 25 0 1 0 848986012 11149312 1312 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2722 1312 566 18 0 2704 0
vsize: 10888
[startup+160.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1397 0 0 0 15915 87 0 0 25 0 1 0 848986012 11415552 1371 4294967295 134512640 134581267 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2787 1371 566 18 0 2769 0
vsize: 11148
[startup+170.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1422 0 0 0 16910 91 0 0 25 0 1 0 848986012 11550720 1396 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2820 1396 566 18 0 2802 0
vsize: 11280
[startup+180.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1432 0 0 0 17906 96 0 0 25 0 1 0 848986012 11550720 1406 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2820 1406 566 18 0 2802 0
vsize: 11280
[startup+190.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1449 0 0 0 18901 101 0 0 25 0 1 0 848986012 11550720 1423 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2820 1423 566 18 0 2802 0
vsize: 11280
[startup+200.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1474 0 0 0 19896 106 0 0 25 0 1 0 848986012 11681792 1448 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2852 1448 566 18 0 2834 0
vsize: 11408
[startup+210.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1482 0 0 0 20892 111 0 0 25 0 1 0 848986012 11816960 1456 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2885 1456 566 18 0 2867 0
vsize: 11540
[startup+220.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1494 0 0 0 21885 118 0 0 25 0 1 0 848986012 11816960 1468 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2885 1468 566 18 0 2867 0
vsize: 11540
[startup+230.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1541 0 0 0 22879 124 0 0 25 0 1 0 848986012 11948032 1515 4294967295 134512640 134581267 3221224592 3221223456 134520388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2917 1515 566 18 0 2899 0
vsize: 11668
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1619 0 0 0 23874 128 0 0 25 0 1 0 848986012 12349440 1593 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3015 1593 566 18 0 2997 0
vsize: 12060
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1649 0 0 0 24870 133 0 0 25 0 1 0 848986012 12480512 1623 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3047 1623 566 18 0 3029 0
vsize: 12188
[startup+260.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1652 0 0 0 25866 137 0 0 25 0 1 0 848986012 12480512 1626 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3047 1626 566 18 0 3029 0
vsize: 12188
[startup+270.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1652 0 0 0 26861 142 0 0 25 0 1 0 848986012 12480512 1626 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3047 1626 566 18 0 3029 0
vsize: 12188
[startup+280.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1652 0 0 0 27856 147 0 0 25 0 1 0 848986012 12480512 1626 4294967295 134512640 134581267 3221224592 3221223456 134560453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3047 1626 566 18 0 3029 0
vsize: 12188
[startup+290.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1652 0 0 0 28851 152 0 0 25 0 1 0 848986012 12480512 1626 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3047 1626 566 18 0 3029 0
vsize: 12188
[startup+300.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1669 0 0 0 29847 157 0 0 25 0 1 0 848986012 12480512 1643 4294967295 134512640 134581267 3221224592 3221223456 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3047 1643 566 18 0 3029 0
vsize: 12188
[startup+310.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1669 0 0 0 30843 161 0 0 25 0 1 0 848986012 12480512 1643 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3047 1643 566 18 0 3029 0
vsize: 12188
[startup+320.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1673 0 0 0 31838 166 0 0 25 0 1 0 848986012 12480512 1647 4294967295 134512640 134581267 3221224592 3221223456 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3047 1647 566 18 0 3029 0
vsize: 12188
[startup+330.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1673 0 0 0 32833 171 0 0 25 0 1 0 848986012 12480512 1647 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3047 1647 566 18 0 3029 0
vsize: 12188
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1678 0 0 0 33828 176 0 0 25 0 1 0 848986012 12611584 1652 4294967295 134512640 134581267 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3079 1652 566 18 0 3061 0
vsize: 12316
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1733 0 0 0 34823 182 0 0 25 0 1 0 848986012 12742656 1707 4294967295 134512640 134581267 3221224592 3221223584 134561076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3111 1707 566 18 0 3093 0
vsize: 12444
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1770 0 0 0 35818 188 0 0 25 0 1 0 848986012 13008896 1744 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3176 1744 566 18 0 3158 0
vsize: 12704
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1867 0 0 0 36811 195 0 0 25 0 1 0 848986012 13389824 1841 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3269 1841 566 18 0 3251 0
vsize: 13076
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1867 0 0 0 37806 199 0 0 25 0 1 0 848986012 13385728 1841 4294967295 134512640 134581267 3221224592 3221223456 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 1841 566 18 0 3250 0
vsize: 13072
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1867 0 0 0 38802 204 0 0 25 0 1 0 848986012 13385728 1841 4294967295 134512640 134581267 3221224592 3221223504 134527765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 1841 566 18 0 3250 0
vsize: 13072
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1867 0 0 0 39797 209 0 0 25 0 1 0 848986012 13385728 1841 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 1841 566 18 0 3250 0
vsize: 13072
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1867 0 0 0 40792 214 0 0 25 0 1 0 848986012 13385728 1841 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 1841 566 18 0 3250 0
vsize: 13072
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1867 0 0 0 41788 219 0 0 25 0 1 0 848986012 13385728 1841 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 1841 566 18 0 3250 0
vsize: 13072
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1867 0 0 0 42782 224 0 0 25 0 1 0 848986012 13385728 1841 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 1841 566 18 0 3250 0
vsize: 13072
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1867 0 0 0 43776 231 0 0 25 0 1 0 848986012 13385728 1841 4294967295 134512640 134581267 3221224592 3221223456 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 1841 566 18 0 3250 0
vsize: 13072
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1867 0 0 0 44772 235 0 0 25 0 1 0 848986012 13385728 1841 4294967295 134512640 134581267 3221224592 3221223488 134517779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 1841 566 18 0 3250 0
vsize: 13072
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1867 0 0 0 45767 240 0 0 25 0 1 0 848986012 13385728 1841 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 1841 566 18 0 3250 0
vsize: 13072
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1867 0 0 0 46762 245 0 0 25 0 1 0 848986012 13385728 1841 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 1841 566 18 0 3250 0
vsize: 13072
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1867 0 0 0 47757 251 0 0 25 0 1 0 848986012 13385728 1841 4294967295 134512640 134581267 3221224592 3221223456 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 1841 566 18 0 3250 0
vsize: 13072
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1867 0 0 0 48752 255 0 0 25 0 1 0 848986012 13385728 1841 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 1841 566 18 0 3250 0
vsize: 13072
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1867 0 0 0 49747 261 0 0 25 0 1 0 848986012 13385728 1841 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 1841 566 18 0 3250 0
vsize: 13072
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1867 0 0 0 50742 267 0 0 25 0 1 0 848986012 13385728 1841 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 1841 566 18 0 3250 0
vsize: 13072
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1868 0 0 0 51736 273 0 0 25 0 1 0 848986012 13385728 1842 4294967295 134512640 134581267 3221224592 3221223536 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 1842 566 18 0 3250 0
vsize: 13072
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1891 0 0 0 52727 281 0 0 25 0 1 0 848986012 13385728 1865 4294967295 134512640 134581267 3221224592 3221223456 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 1865 566 18 0 3250 0
vsize: 13072
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1913 0 0 0 53720 289 0 0 25 0 1 0 848986012 13520896 1887 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3301 1887 566 18 0 3283 0
vsize: 13204
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1919 0 0 0 54714 295 0 0 25 0 1 0 848986012 13520896 1893 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3301 1893 566 18 0 3283 0
vsize: 13204
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1927 0 0 0 55708 302 0 0 25 0 1 0 848986012 13664256 1901 4294967295 134512640 134581267 3221224592 3221223536 134558768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3336 1901 566 18 0 3318 0
vsize: 13344
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1930 0 0 0 56703 307 0 0 25 0 1 0 848986012 13664256 1904 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3336 1904 566 18 0 3318 0
vsize: 13344
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1934 0 0 0 57697 312 0 0 25 0 1 0 848986012 13664256 1908 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3336 1908 566 18 0 3318 0
vsize: 13344
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1934 0 0 0 58692 318 0 0 25 0 1 0 848986012 13664256 1908 4294967295 134512640 134581267 3221224592 3221223456 134560354 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3336 1908 566 18 0 3318 0
vsize: 13344
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1935 0 0 0 59686 324 0 0 25 0 1 0 848986012 13664256 1909 4294967295 134512640 134581267 3221224592 3221223536 134558897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3336 1909 566 18 0 3318 0
vsize: 13344
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1935 0 0 0 60683 327 0 0 25 0 1 0 848986012 13664256 1909 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3336 1909 566 18 0 3318 0
vsize: 13344
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1983 0 0 0 61679 331 0 0 25 0 1 0 848986012 13795328 1957 4294967295 134512640 134581267 3221224592 3221223488 134517912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 1957 566 18 0 3350 0
vsize: 13472
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1983 0 0 0 62675 335 0 0 25 0 1 0 848986012 13795328 1957 4294967295 134512640 134581267 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 1957 566 18 0 3350 0
vsize: 13472
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1983 0 0 0 63670 341 0 0 25 0 1 0 848986012 13758464 1956 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3359 1956 566 18 0 3341 0
vsize: 13436
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1983 0 0 0 64664 347 0 0 25 0 1 0 848986012 13692928 1940 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3343 1940 566 18 0 3325 0
vsize: 13372
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1983 0 0 0 65656 355 0 0 25 0 1 0 848986012 13692928 1940 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3343 1940 566 18 0 3325 0
vsize: 13372
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1983 0 0 0 66647 365 0 0 25 0 1 0 848986012 13692928 1940 4294967295 134512640 134581267 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3343 1940 566 18 0 3325 0
vsize: 13372
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1983 0 0 0 67639 373 0 0 25 0 1 0 848986012 13692928 1940 4294967295 134512640 134581267 3221224592 3221223456 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3343 1940 566 18 0 3325 0
vsize: 13372
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1990 0 0 0 68632 379 0 0 25 0 1 0 848986012 13824000 1947 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3375 1947 566 18 0 3357 0
vsize: 13500
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1996 0 0 0 69627 385 0 0 25 0 1 0 848986012 13824000 1953 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3375 1953 566 18 0 3357 0
vsize: 13500
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1996 0 0 0 70619 393 0 0 25 0 1 0 848986012 13824000 1953 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3375 1953 566 18 0 3357 0
vsize: 13500
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1997 0 0 0 71610 403 0 0 25 0 1 0 848986012 13824000 1954 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3375 1954 566 18 0 3357 0
vsize: 13500
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1997 0 0 0 72600 412 0 0 25 0 1 0 848986012 13824000 1954 4294967295 134512640 134581267 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3375 1954 566 18 0 3357 0
vsize: 13500
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1998 0 0 0 73594 419 0 0 25 0 1 0 848986012 13824000 1955 4294967295 134512640 134581267 3221224592 3221223456 134560206 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3375 1955 566 18 0 3357 0
vsize: 13500
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1998 0 0 0 74584 429 0 0 25 0 1 0 848986012 13824000 1955 4294967295 134512640 134581267 3221224592 3221223456 134560433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3375 1955 566 18 0 3357 0
vsize: 13500
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1999 0 0 0 75578 436 0 0 25 0 1 0 848986012 13824000 1956 4294967295 134512640 134581267 3221224592 3221223472 134520244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3375 1956 566 18 0 3357 0
vsize: 13500
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1999 0 0 0 76570 443 0 0 25 0 1 0 848986012 13824000 1956 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3375 1956 566 18 0 3357 0
vsize: 13500
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1999 0 0 0 77562 452 0 0 25 0 1 0 848986012 13824000 1956 4294967295 134512640 134581267 3221224592 3221223584 134561036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3375 1956 566 18 0 3357 0
vsize: 13500
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 1999 0 0 0 78554 460 0 0 25 0 1 0 848986012 13824000 1956 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3375 1956 566 18 0 3357 0
vsize: 13500
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2093 0 0 0 79549 465 0 0 25 0 1 0 848986012 14217216 2050 4294967295 134512640 134581267 3221224592 3221223456 134528293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2050 566 18 0 3453 0
vsize: 13884
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2114 0 0 0 80544 470 0 0 25 0 1 0 848986012 14348288 2071 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3503 2071 566 18 0 3485 0
vsize: 14012
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2149 0 0 0 81538 477 0 0 25 0 1 0 848986012 14479360 2106 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3535 2106 566 18 0 3517 0
vsize: 14140
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2160 0 0 0 82533 482 0 0 25 0 1 0 848986012 14479360 2117 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3535 2117 566 18 0 3517 0
vsize: 14140
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2166 0 0 0 83528 487 0 0 25 0 1 0 848986012 14479360 2123 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3535 2123 566 18 0 3517 0
vsize: 14140
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2178 0 0 0 84522 493 0 0 25 0 1 0 848986012 14618624 2135 4294967295 134512640 134581267 3221224592 3221223608 134519517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3569 2135 566 18 0 3551 0
vsize: 14276
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2181 0 0 0 85515 500 0 0 25 0 1 0 848986012 14618624 2138 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3569 2138 566 18 0 3551 0
vsize: 14276
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2181 0 0 0 86511 504 0 0 25 0 1 0 848986012 14618624 2138 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3569 2138 566 18 0 3551 0
vsize: 14276
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2183 0 0 0 87505 510 0 0 25 0 1 0 848986012 14618624 2140 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3569 2140 566 18 0 3551 0
vsize: 14276
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2184 0 0 0 88501 515 0 0 25 0 1 0 848986012 14618624 2141 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3569 2141 566 18 0 3551 0
vsize: 14276
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2197 0 0 0 89495 520 0 0 25 0 1 0 848986012 14618624 2154 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3569 2154 566 18 0 3551 0
vsize: 14276
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2197 0 0 0 90491 525 0 0 25 0 1 0 848986012 14618624 2154 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3569 2154 566 18 0 3551 0
vsize: 14276
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2198 0 0 0 91484 532 0 0 25 0 1 0 848986012 14618624 2155 4294967295 134512640 134581267 3221224592 3221223456 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3569 2155 566 18 0 3551 0
vsize: 14276
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2206 0 0 0 92481 535 0 0 25 0 1 0 848986012 14618624 2163 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3569 2163 566 18 0 3551 0
vsize: 14276
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2207 0 0 0 93476 541 0 0 25 0 1 0 848986012 14766080 2164 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2164 566 18 0 3587 0
vsize: 14420
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2208 0 0 0 94472 545 0 0 25 0 1 0 848986012 14766080 2165 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2165 566 18 0 3587 0
vsize: 14420
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2208 0 0 0 95467 550 0 0 25 0 1 0 848986012 14766080 2165 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2165 566 18 0 3587 0
vsize: 14420
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2208 0 0 0 96462 555 0 0 25 0 1 0 848986012 14766080 2165 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2165 566 18 0 3587 0
vsize: 14420
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2208 0 0 0 97456 561 0 0 25 0 1 0 848986012 14766080 2165 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2165 566 18 0 3587 0
vsize: 14420
[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2208 0 0 0 98450 568 0 0 25 0 1 0 848986012 14766080 2165 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2165 566 18 0 3587 0
vsize: 14420
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2212 0 0 0 99445 573 0 0 25 0 1 0 848986012 14766080 2169 4294967295 134512640 134581267 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2169 566 18 0 3587 0
vsize: 14420
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2212 0 0 0 100440 578 0 0 25 0 1 0 848986012 14766080 2169 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2169 566 18 0 3587 0
vsize: 14420
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2212 0 0 0 101434 584 0 0 25 0 1 0 848986012 14766080 2169 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2169 566 18 0 3587 0
vsize: 14420
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2212 0 0 0 102428 590 0 0 25 0 1 0 848986012 14766080 2169 4294967295 134512640 134581267 3221224592 3221223536 134559425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2169 566 18 0 3587 0
vsize: 14420
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2222 0 0 0 103422 596 0 0 25 0 1 0 848986012 14766080 2179 4294967295 134512640 134581267 3221224592 3221223536 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2179 566 18 0 3587 0
vsize: 14420
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2222 0 0 0 104417 602 0 0 25 0 1 0 848986012 14766080 2179 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2179 566 18 0 3587 0
vsize: 14420
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2222 0 0 0 105412 607 0 0 25 0 1 0 848986012 14766080 2179 4294967295 134512640 134581267 3221224592 3221223536 134558901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2179 566 18 0 3587 0
vsize: 14420
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2222 0 0 0 106406 613 0 0 25 0 1 0 848986012 14766080 2179 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2179 566 18 0 3587 0
vsize: 14420
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2222 0 0 0 107401 618 0 0 25 0 1 0 848986012 14766080 2179 4294967295 134512640 134581267 3221224592 3221223504 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2179 566 18 0 3587 0
vsize: 14420
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2222 0 0 0 108396 623 0 0 25 0 1 0 848986012 14766080 2179 4294967295 134512640 134581267 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2179 566 18 0 3587 0
vsize: 14420
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2222 0 0 0 109391 628 0 0 25 0 1 0 848986012 14766080 2179 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2179 566 18 0 3587 0
vsize: 14420
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2231 0 0 0 110386 634 0 0 25 0 1 0 848986012 14766080 2188 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2188 566 18 0 3587 0
vsize: 14420
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2231 0 0 0 111380 640 0 0 25 0 1 0 848986012 14766080 2188 4294967295 134512640 134581267 3221224592 3221223520 134519945 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2188 566 18 0 3587 0
vsize: 14420
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2231 0 0 0 112374 646 0 0 25 0 1 0 848986012 14766080 2188 4294967295 134512640 134581267 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2188 566 18 0 3587 0
vsize: 14420
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2231 0 0 0 113369 651 0 0 25 0 1 0 848986012 14766080 2188 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2188 566 18 0 3587 0
vsize: 14420
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2231 0 0 0 114364 657 0 0 25 0 1 0 848986012 14766080 2188 4294967295 134512640 134581267 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2188 566 18 0 3587 0
vsize: 14420
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2231 0 0 0 115359 662 0 0 25 0 1 0 848986012 14766080 2188 4294967295 134512640 134581267 3221224592 3221223504 134527729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2188 566 18 0 3587 0
vsize: 14420
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2231 0 0 0 116356 665 0 0 25 0 1 0 848986012 14766080 2188 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2188 566 18 0 3587 0
vsize: 14420
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2231 0 0 0 117350 671 0 0 25 0 1 0 848986012 14766080 2188 4294967295 134512640 134581267 3221224592 3221223456 134528338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2188 566 18 0 3587 0
vsize: 14420
[startup+1188.83 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 3458
Raw data (stat): 3458 (Pueblo-v2) R 3457 7266 7265 0 -1 0 2231 0 0 0 117350 671 0 0 25 0 1 0 848986012 14766080 2188 4294967295 134512640 134581267 3221224592 3221223456 134528338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2188 566 18 0 3587 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189.02
CPU user time (s): 1182.26
CPU system time (s): 6.75397
CPU usage (%): 100.016
Max. virtual memory (Kb): 14420
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	5610
#### END VERIFIER DATA ####