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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
MD5SUM270e069f649d19b0da4e4d23c0e1ebfc
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved NO
Number of terms in the objective function 760
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 760
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 760
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.06
Number of variables760
Total number of constraints41263
Number of constraints which are clauses41263
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2

Trace number 38529

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 12:21:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26595 boxname=wulflinc5 idbench=325 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  270e069f649d19b0da4e4d23c0e1ebfc  /oldhome/oroussel/tmp/wulflinc5/normalized-frb40-19-2.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-frb40-19-2.opb
IDLAUNCH: 26595
/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:        658860 kB
Buffers:         35020 kB
Cached:         317196 kB
SwapCached:        568 kB
Active:          54816 kB
Inactive:       299460 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        658608 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            15748 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 12:41:02 (client local time) WITH STATUS 10 IN 1189.1 SECONDS
stats: 26595 0 1189.1 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-frb40-19-2.opb
c #variables read: 760 - #constraints read: 41264
s SATISFIABLE
v -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 C552 C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 -C29 -C28 -C27 -C26 C25 -C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1 
#### 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
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 1/54 5151
Raw data (stat): 5151 (runsolver) R 5150 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849745035 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 5111 0 0 0 986 13 0 0 25 0 1 0 849745035 26714112 5085 4294967295 134512640 134581267 3221224592 3221223536 134559434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6522 5085 566 18 0 6504 0
vsize: 26088
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 8723 0 0 0 1977 22 0 0 25 0 1 0 849745035 41578496 8697 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10151 8697 566 18 0 10133 0
vsize: 40604
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 11114 0 0 0 2972 27 0 0 25 0 1 0 849745035 51441664 11088 4294967295 134512640 134581267 3221224592 3221223456 134528393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12559 11088 566 18 0 12541 0
vsize: 50236
[startup+40.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 13622 0 0 0 3967 32 0 0 25 0 1 0 849745035 61771776 13596 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15081 13596 566 18 0 15063 0
vsize: 60324
[startup+50.0011 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 16093 0 0 0 4962 37 0 0 25 0 1 0 849745035 72220672 16067 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17632 16067 566 18 0 17614 0
vsize: 70528
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 16542 0 0 0 5960 39 0 0 25 0 1 0 849745035 74166272 16516 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18107 16516 566 18 0 18089 0
vsize: 72428
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 19261 0 0 0 6954 46 0 0 25 0 1 0 849745035 85475328 19235 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20868 19235 566 18 0 20850 0
vsize: 83472
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 21404 0 0 0 7948 51 0 0 25 0 1 0 849745035 94253056 21378 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23011 21378 566 18 0 22993 0
vsize: 92044
[startup+90.0022 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 24475 0 0 0 8942 58 0 0 25 0 1 0 849745035 106864640 24449 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26090 24449 566 18 0 26072 0
vsize: 104360
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 25715 0 0 0 9939 61 0 0 25 0 1 0 849745035 112078848 25689 4294967295 134512640 134581267 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27363 25689 566 18 0 27345 0
vsize: 109452
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 26651 0 0 0 10936 64 0 0 25 0 1 0 849745035 115970048 26625 4294967295 134512640 134581267 3221224592 3221223520 134519883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28313 26625 566 18 0 28295 0
vsize: 113252
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 28659 0 0 0 11932 69 0 0 25 0 1 0 849745035 124215296 28633 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30326 28633 566 18 0 30308 0
vsize: 121304
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 30518 0 0 0 12928 73 0 0 25 0 1 0 849745035 131891200 30492 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32200 30492 566 18 0 32182 0
vsize: 128800
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 32430 0 0 0 13922 79 0 0 25 0 1 0 849745035 139636736 32404 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34091 32404 566 18 0 34073 0
vsize: 136364
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 34001 0 0 0 14918 83 0 0 25 0 1 0 849745035 146092032 33975 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35667 33975 566 18 0 35649 0
vsize: 142668
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 34001 0 0 0 15918 83 0 0 25 0 1 0 849745035 146092032 33975 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35667 33975 566 18 0 35649 0
vsize: 142668
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 34001 0 0 0 16918 84 0 0 25 0 1 0 849745035 146092032 33975 4294967295 134512640 134581267 3221224592 3221223536 134558834 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35667 33975 566 18 0 35649 0
vsize: 142668
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 34001 0 0 0 17917 84 0 0 25 0 1 0 849745035 146092032 33975 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35667 33975 566 18 0 35649 0
vsize: 142668
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 34002 0 0 0 18918 84 0 0 25 0 1 0 849745035 146092032 33976 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35667 33976 566 18 0 35649 0
vsize: 142668
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 34002 0 0 0 19918 84 0 0 25 0 1 0 849745035 146092032 33976 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35667 33976 566 18 0 35649 0
vsize: 142668
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 34005 0 0 0 20917 85 0 0 25 0 1 0 849745035 146092032 33979 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35667 33979 566 18 0 35649 0
vsize: 142668
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 34005 0 0 0 21917 85 0 0 25 0 1 0 849745035 146092032 33979 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35667 33979 566 18 0 35649 0
vsize: 142668
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 34005 0 0 0 22916 87 0 0 25 0 1 0 849745035 146092032 33979 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35667 33979 566 18 0 35649 0
vsize: 142668
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 34005 0 0 0 23915 88 0 0 25 0 1 0 849745035 146092032 33979 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35667 33979 566 18 0 35649 0
vsize: 142668
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 34005 0 0 0 24914 89 0 0 25 0 1 0 849745035 146092032 33979 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35667 33979 566 18 0 35649 0
vsize: 142668
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 34007 0 0 0 25914 89 0 0 25 0 1 0 849745035 146092032 33981 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35667 33981 566 18 0 35649 0
vsize: 142668
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 34826 0 0 0 26912 91 0 0 25 0 1 0 849745035 149417984 34800 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36479 34800 566 18 0 36461 0
vsize: 145916
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 34988 0 0 0 27912 91 0 0 25 0 1 0 849745035 150237184 34962 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36679 34962 566 18 0 36661 0
vsize: 146716
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 35075 0 0 0 28912 92 0 0 25 0 1 0 849745035 150495232 35049 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36742 35049 566 18 0 36724 0
vsize: 146968
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 35123 0 0 0 29912 92 0 0 25 0 1 0 849745035 150691840 35097 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36790 35097 566 18 0 36772 0
vsize: 147160
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 35284 0 0 0 30912 92 0 0 25 0 1 0 849745035 151330816 35258 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36946 35258 566 18 0 36928 0
vsize: 147784
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 35838 0 0 0 31911 93 0 0 25 0 1 0 849745035 153784320 35812 4294967295 134512640 134581267 3221224592 3221223584 134561073 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37545 35812 566 18 0 37527 0
vsize: 150180
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 37249 0 0 0 32908 96 0 0 25 0 1 0 849745035 159580160 37223 4294967295 134512640 134581267 3221224592 3221223536 134558791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38960 37223 566 18 0 38942 0
vsize: 155840
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 39123 0 0 0 33905 100 0 0 25 0 1 0 849745035 167354368 39097 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40858 39097 566 18 0 40840 0
vsize: 163432
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 40728 0 0 0 34901 104 0 0 25 0 1 0 849745035 174030848 40702 4294967295 134512640 134581267 3221224592 3221223504 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42488 40702 566 18 0 42470 0
vsize: 169952
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 41375 0 0 0 35899 106 0 0 25 0 1 0 849745035 176730112 41349 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43147 41349 566 18 0 43129 0
vsize: 172588
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 41375 0 0 0 36899 106 0 0 25 0 1 0 849745035 176730112 41349 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43147 41349 566 18 0 43129 0
vsize: 172588
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 41375 0 0 0 37898 107 0 0 25 0 1 0 849745035 176730112 41349 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43147 41349 566 18 0 43129 0
vsize: 172588
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 41375 0 0 0 38897 108 0 0 25 0 1 0 849745035 176730112 41349 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43147 41349 566 18 0 43129 0
vsize: 172588
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 41375 0 0 0 39897 109 0 0 25 0 1 0 849745035 176730112 41349 4294967295 134512640 134581267 3221224592 3221223456 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43147 41349 566 18 0 43129 0
vsize: 172588
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 41379 0 0 0 40896 110 0 0 25 0 1 0 849745035 176730112 41353 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43147 41353 566 18 0 43129 0
vsize: 172588
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 41379 0 0 0 41896 110 0 0 25 0 1 0 849745035 176730112 41353 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43147 41353 566 18 0 43129 0
vsize: 172588
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 41379 0 0 0 42895 111 0 0 25 0 1 0 849745035 176730112 41353 4294967295 134512640 134581267 3221224592 3221223520 134519883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43147 41353 566 18 0 43129 0
vsize: 172588
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 41379 0 0 0 43895 111 0 0 25 0 1 0 849745035 176730112 41353 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43147 41353 566 18 0 43129 0
vsize: 172588
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 41379 0 0 0 44895 112 0 0 25 0 1 0 849745035 176730112 41353 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43147 41353 566 18 0 43129 0
vsize: 172588
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 41379 0 0 0 45895 112 0 0 25 0 1 0 849745035 176730112 41353 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43147 41353 566 18 0 43129 0
vsize: 172588
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 41379 0 0 0 46894 113 0 0 25 0 1 0 849745035 176730112 41353 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43147 41353 566 18 0 43129 0
vsize: 172588
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 41379 0 0 0 47894 113 0 0 25 0 1 0 849745035 176730112 41353 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43147 41353 566 18 0 43129 0
vsize: 172588
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 42133 0 0 0 48893 115 0 0 25 0 1 0 849745035 179838976 42107 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43906 42107 566 18 0 43888 0
vsize: 175624
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 42581 0 0 0 49892 115 0 0 25 0 1 0 849745035 181657600 42555 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44350 42555 566 18 0 44332 0
vsize: 177400
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 44211 0 0 0 50889 119 0 0 25 0 1 0 849745035 188268544 44185 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45964 44185 566 18 0 45946 0
vsize: 183856
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 45361 0 0 0 51887 121 0 0 25 0 1 0 849745035 193069056 45335 4294967295 134512640 134581267 3221224592 3221223584 134561073 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47136 45335 566 18 0 47118 0
vsize: 188544
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46143 0 0 0 52885 124 0 0 25 0 1 0 849745035 196173824 46117 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47894 46117 566 18 0 47876 0
vsize: 191576
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46160 0 0 0 53885 124 0 0 25 0 1 0 849745035 196304896 46134 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46134 566 18 0 47908 0
vsize: 191704
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46160 0 0 0 54885 124 0 0 25 0 1 0 849745035 196304896 46134 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46134 566 18 0 47908 0
vsize: 191704
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46160 0 0 0 55885 124 0 0 25 0 1 0 849745035 196304896 46134 4294967295 134512640 134581267 3221224592 3221223504 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46134 566 18 0 47908 0
vsize: 191704
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46160 0 0 0 56884 125 0 0 25 0 1 0 849745035 196304896 46134 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46134 566 18 0 47908 0
vsize: 191704
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46160 0 0 0 57884 125 0 0 25 0 1 0 849745035 196304896 46134 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46134 566 18 0 47908 0
vsize: 191704
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46160 0 0 0 58884 126 0 0 25 0 1 0 849745035 196304896 46134 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46134 566 18 0 47908 0
vsize: 191704
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46160 0 0 0 59884 126 0 0 25 0 1 0 849745035 196304896 46134 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46134 566 18 0 47908 0
vsize: 191704
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46160 0 0 0 60883 127 0 0 25 0 1 0 849745035 196304896 46134 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46134 566 18 0 47908 0
vsize: 191704
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46160 0 0 0 61883 127 0 0 25 0 1 0 849745035 196304896 46134 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46134 566 18 0 47908 0
vsize: 191704
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46160 0 0 0 62883 127 0 0 25 0 1 0 849745035 196304896 46134 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46134 566 18 0 47908 0
vsize: 191704
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46160 0 0 0 63883 127 0 0 25 0 1 0 849745035 196304896 46134 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46134 566 18 0 47908 0
vsize: 191704
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46160 0 0 0 64883 127 0 0 25 0 1 0 849745035 196304896 46134 4294967295 134512640 134581267 3221224592 3221223228 1075288752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46134 566 18 0 47908 0
vsize: 191704
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46160 0 0 0 65883 128 0 0 25 0 1 0 849745035 196304896 46134 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46134 566 18 0 47908 0
vsize: 191704
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46160 0 0 0 66882 129 0 0 25 0 1 0 849745035 196304896 46134 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46134 566 18 0 47908 0
vsize: 191704
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46160 0 0 0 67882 129 0 0 25 0 1 0 849745035 196304896 46134 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46134 566 18 0 47908 0
vsize: 191704
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46160 0 0 0 68882 129 0 0 25 0 1 0 849745035 196304896 46134 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46134 566 18 0 47908 0
vsize: 191704
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46160 0 0 0 69882 130 0 0 25 0 1 0 849745035 196304896 46134 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46134 566 18 0 47908 0
vsize: 191704
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46160 0 0 0 70882 130 0 0 25 0 1 0 849745035 196304896 46134 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46134 566 18 0 47908 0
vsize: 191704
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46164 0 0 0 71882 130 0 0 25 0 1 0 849745035 196304896 46138 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46138 566 18 0 47908 0
vsize: 191704
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46167 0 0 0 72882 130 0 0 25 0 1 0 849745035 196304896 46141 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46141 566 18 0 47908 0
vsize: 191704
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46171 0 0 0 73882 130 0 0 25 0 1 0 849745035 196304896 46145 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46145 566 18 0 47908 0
vsize: 191704
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46171 0 0 0 74882 130 0 0 25 0 1 0 849745035 196304896 46145 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46145 566 18 0 47908 0
vsize: 191704
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46171 0 0 0 75882 130 0 0 25 0 1 0 849745035 196304896 46145 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46145 566 18 0 47908 0
vsize: 191704
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46174 0 0 0 76882 130 0 0 25 0 1 0 849745035 196304896 46148 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46148 566 18 0 47908 0
vsize: 191704
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46174 0 0 0 77882 131 0 0 25 0 1 0 849745035 196304896 46148 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46148 566 18 0 47908 0
vsize: 191704
[startup+790.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46174 0 0 0 78882 131 0 0 25 0 1 0 849745035 196304896 46148 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46148 566 18 0 47908 0
vsize: 191704
[startup+800.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46174 0 0 0 79882 131 0 0 25 0 1 0 849745035 196304896 46148 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46148 566 18 0 47908 0
vsize: 191704
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46174 0 0 0 80882 132 0 0 25 0 1 0 849745035 196304896 46148 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46148 566 18 0 47908 0
vsize: 191704
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46174 0 0 0 81882 132 0 0 25 0 1 0 849745035 196304896 46148 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46148 566 18 0 47908 0
vsize: 191704
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46174 0 0 0 82882 132 0 0 25 0 1 0 849745035 196304896 46148 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46148 566 18 0 47908 0
vsize: 191704
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46174 0 0 0 83882 132 0 0 25 0 1 0 849745035 196304896 46148 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46148 566 18 0 47908 0
vsize: 191704
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46174 0 0 0 84882 133 0 0 25 0 1 0 849745035 196304896 46148 4294967295 134512640 134581267 3221224592 3221223584 134561036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46148 566 18 0 47908 0
vsize: 191704
[startup+860.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46174 0 0 0 85882 133 0 0 25 0 1 0 849745035 196304896 46148 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46148 566 18 0 47908 0
vsize: 191704
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 46174 0 0 0 86881 133 0 0 25 0 1 0 849745035 196304896 46148 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47926 46148 566 18 0 47908 0
vsize: 191704
[startup+880.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 48115 0 0 0 87877 138 0 0 25 0 1 0 849745035 204218368 48089 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49858 48089 566 18 0 49840 0
vsize: 199432
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 49910 0 0 0 88874 141 0 0 25 0 1 0 849745035 211574784 49884 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51654 49884 566 18 0 51636 0
vsize: 206616
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50758 0 0 0 89872 143 0 0 25 0 1 0 849745035 215076864 50732 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50732 566 18 0 52491 0
vsize: 210036
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 90872 143 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 91872 143 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 92872 144 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 93872 144 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 94872 144 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 95872 144 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+970.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 96872 145 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+980.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 97872 145 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+990.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 98872 145 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 99872 145 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 100872 146 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 101872 146 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 102872 146 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223536 134558784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 103872 146 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 104871 147 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 105871 147 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 106872 147 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 107872 147 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 108872 147 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 109872 147 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 110872 147 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 111871 148 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 112871 148 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50762 0 0 0 113871 149 0 0 25 0 1 0 849745035 215076864 50736 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50736 566 18 0 52491 0
vsize: 210036
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50764 0 0 0 114871 149 0 0 25 0 1 0 849745035 215076864 50738 4294967295 134512640 134581267 3221224592 3221223536 134558899 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50738 566 18 0 52491 0
vsize: 210036
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50768 0 0 0 115871 149 0 0 25 0 1 0 849745035 215076864 50742 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50742 566 18 0 52491 0
vsize: 210036
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50770 0 0 0 116871 149 0 0 25 0 1 0 849745035 215076864 50744 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50744 566 18 0 52491 0
vsize: 210036
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50773 0 0 0 117871 149 0 0 25 0 1 0 849745035 215076864 50747 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50747 566 18 0 52491 0
vsize: 210036
[startup+1188.9 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 5151
Raw data (stat): 5151 (Pueblo-v2) R 5150 7266 7265 0 -1 0 50773 0 0 0 117871 149 0 0 25 0 1 0 849745035 215076864 50747 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52509 50747 566 18 0 52491 0
vsize: 0

Child status: 10
Real time (s): 1188.9
CPU time (s): 1189.1
CPU user time (s): 1187.5
CPU system time (s): 1.59576
CPU usage (%): 100.016
Max. virtual memory (Kb): 210036
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-7
#### END VERIFIER DATA ####