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/routing/normalized-s4-4-3-5pb.opb
MD5SUM	4ca29b1bc7e76812f7871e2b937d8a23
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	60
Optimality of the best value was proved	NO
Number of terms in the objective function	720
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	720
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	3
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	720
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04084
Number of variables	720
Total number of constraints	2168
Number of constraints which are clauses	2144
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	30
Trace number 38450

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 10:05:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26511 boxname=wulflinc2 idbench=241 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  4ca29b1bc7e76812f7871e2b937d8a23  /oldhome/oroussel/tmp/wulflinc2/normalized-s4-4-3-5pb.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-s4-4-3-5pb.opb
IDLAUNCH: 26511
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        707808 kB
Buffers:         33824 kB
Cached:         271040 kB
SwapCached:       1136 kB
Active:          54064 kB
Inactive:       253312 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        707556 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            13648 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 10:25:30 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26511 0 1189.01 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/wulflinc2/normalized-s4-4-3-5pb.opb
c #variables read: 720 - #constraints read: 2169
s SATISFIABLE
v -v1 -v2 -v3 -v4 -v5 -v6 -v7 -v8 -v9 -v10 -v11 -v12 -v13 -v14 v15 -v16 -v17 -v18 -v19 -v20 -v21 -v22 -v23 -v24 -v25 -v26 -v27 -v28 -v29 v30 -v31 -v32 -v33 -v34 -v35 -v36 -v37 -v38 -v39 v40 -v41 -v42 v43 -v44 -v45 -v46 v47 -v48 v49 -v50 -v51 -v52 v53 -v54 -v55 -v56 -v57 -v58 -v59 -v60 -v61 v62 -v63 -v64 -v65 -v66 -v67 -v68 -v69 -v70 -v71 -v72 v73 v74 -v75 -v76 -v77 -v78 -v79 -v80 -v81 -v82 -v83 -v84 -v85 -v86 -v87 -v88 -v89 -v90 -v91 -v92 -v93 -v94 -v95 -v96 -v97 -v98 -v99 -v100 -v101 -v102 -v103 -v104 -v105 -v106 v107 v108 -v109 -v110 -v111 -v112 -v113 -v114 -v115 -v116 -v117 -v118 -v119 -v120 -v121 -v122 -v123 -v124 -v125 -v126 v127 v128 -v129 -v130 -v131 -v132 -v133 -v134 -v135 -v136 -v137 -v138 -v139 -v140 v141 -v142 -v143 -v144 -v145 -v146 -v147 v148 v149 v150 -v151 -v152 -v153 -v154 -v155 -v156 -v157 -v158 -v159 -v160 v161 -v162 -v163 -v164 -v165 -v166 -v167 -v168 -v169 -v170 -v171 -v172 -v173 -v174 v175 -v176 -v177 -v178 -v179 -v180 -v181 -v182 -v183 -v184 v185 -v186 -v187 -v188 -v189 -v190 -v191 -v192 -v193 -v194 -v195 -v196 -v197 -v198 -v199 -v200 v201 -v202 -v203 -v204 -v205 -v206 -v207 -v208 -v209 -v210 -v211 -v212 -v213 -v214 -v215 -v216 -v217 -v218 -v219 -v220 -v221 -v222 -v223 -v224 -v225 -v226 -v227 -v228 -v229 -v230 -v231 -v232 -v233 -v234 -v235 -v236 -v237 v238 -v239 -v240 v241 v242 -v243 -v244 -v245 -v246 -v247 -v248 -v249 -v250 -v251 -v252 -v253 -v254 v255 -v256 -v257 -v258 -v259 -v260 -v261 -v262 -v263 -v264 -v265 -v266 -v267 v268 -v269 -v270 -v271 -v272 -v273 -v274 -v275 -v276 -v277 -v278 -v279 -v280 v281 -v282 -v283 -v284 -v285 -v286 -v287 -v288 -v289 -v290 -v291 -v292 -v293 -v294 -v295 -v296 -v297 -v298 -v299 v300 -v301 -v302 -v303 -v304 -v305 -v306 -v307 -v308 -v309 -v310 -v311 v312 -v313 -v314 -v315 -v316 -v317 -v318 -v319 -v320 -v321 -v322 -v323 -v324 -v325 v326 -v327 -v328 -v329 v330 -v331 -v332 -v333 v334 -v335 -v336 -v337 -v338 -v339 v340 v341 v342 -v343 -v344 -v345 -v346 -v347 v348 -v349 -v350 -v351 -v352 -v353 -v354 -v355 v356 -v357 -v358 -v359 v360 -v361 -v362 -v363 -v364 -v365 -v366 -v367 -v368 v369 -v370 -v371 -v372 -v373 -v374 -v375 -v376 -v377 -v378 v379 -v380 -v381 -v382 -v383 -v384 -v385 -v386 -v387 -v388 -v389 -v390 -v391 -v392 -v393 -v394 -v395 -v396 -v397 -v398 -v399 -v400 -v401 -v402 -v403 -v404 -v405 -v406 -v407 v408 -v409 -v410 -v411 -v412 -v413 -v414 -v415 -v416 -v417 -v418 v419 -v420 -v421 -v422 -v423 -v424 -v425 -v426 -v427 -v428 -v429 -v430 v431 -v432 -v433 -v434 -v435 -v436 -v437 -v438 -v439 -v440 -v441 -v442 v443 -v444 -v445 -v446 -v447 -v448 -v449 -v450 -v451 -v452 -v453 -v454 -v455 -v456 -v457 -v458 -v459 -v460 -v461 -v462 v463 v464 -v465 -v466 -v467 -v468 -v469 -v470 -v471 -v472 -v473 -v474 -v475 -v476 -v477 -v478 -v479 -v480 -v481 -v482 -v483 -v484 -v485 -v486 -v487 v488 -v489 -v490 -v491 -v492 -v493 -v494 -v495 -v496 -v497 -v498 -v499 -v500 -v501 v502 -v503 -v504 -v505 -v506 -v507 -v508 -v509 -v510 -v511 -v512 -v513 -v514 -v515 -v516 -v517 -v518 -v519 -v520 -v521 -v522 v523 -v524 -v525 -v526 v527 -v528 -v529 -v530 -v531 -v532 -v533 -v534 -v535 -v536 v537 -v538 -v539 -v540 -v541 -v542 -v543 v544 -v545 -v546 -v547 v548 -v549 -v550 -v551 -v552 -v553 -v554 -v555 -v556 -v557 -v558 -v559 -v560 -v561 -v562 -v563 -v564 -v565 -v566 v567 -v568 -v569 -v570 -v571 -v572 -v573 -v574 -v575 -v576 -v577 v578 -v579 -v580 -v581 -v582 -v583 -v584 -v585 -v586 -v587 -v588 -v589 -v590 -v591 -v592 -v593 -v594 -v595 -v596 -v597 -v598 -v599 -v600 -v601 -v602 -v603 -v604 -v605 -v606 -v607 -v608 -v609 -v610 -v611 -v612 v613 -v614 -v615 -v616 -v617 -v618 -v619 -v620 -v621 -v622 -v623 -v624 -v625 -v626 -v627 -v628 -v629 -v630 -v631 -v632 -v633 -v634 -v635 -v636 -v637 -v638 -v639 v640 -v641 -v642 -v643 v644 -v645 -v646 -v647 -v648 -v649 -v650 -v651 -v652 -v653 -v654 -v655 -v656 -v657 -v658 -v659 -v660 -v661 v662 -v663 -v664 -v665 -v666 -v667 -v668 -v669 -v670 -v671 -v672 -v673 -v674 v675 -v676 -v677 -v678 -v679 -v680 -v681 -v682 -v683 -v684 -v685 -v686 -v687 -v688 -v689 -v690 -v691 -v692 -v693 -v694 -v695 -v696 -v697 -v698 -v699 -v700 -v701 -v702 -v703 -v704 -v705 v706 -v707 -v708 -v709 -v710 -v711 -v712 -v713 -v714 -v715 -v716 -v717 -v718 -v719 -v720 
#### 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.92 0.98 0.93 1/54 21415
Raw data (stat): 21415 (runsolver) R 21414 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848935279 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99993 s]
Raw data (loadavg): 0.93 0.98 0.93 2/54 21415
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 529 0 0 0 997 1 0 0 25 0 1 0 848935279 7770112 503 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1897 503 566 18 0 1879 0
vsize: 7588
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 21415
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 590 0 0 0 1997 1 0 0 25 0 1 0 848935279 8036352 564 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1962 564 566 18 0 1944 0
vsize: 7848
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 21415
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 611 0 0 0 2997 1 0 0 25 0 1 0 848935279 8171520 585 4294967295 134512640 134581267 3221224592 3221223520 134519899 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1995 585 566 18 0 1977 0
vsize: 7980
[startup+40.0001 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 641 0 0 0 3997 1 0 0 25 0 1 0 848935279 8306688 615 4294967295 134512640 134581267 3221224592 3221223536 134559046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2028 615 566 18 0 2010 0
vsize: 8112
[startup+50.0004 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 698 0 0 0 4997 1 0 0 25 0 1 0 848935279 8437760 672 4294967295 134512640 134581267 3221224592 3221223536 134559049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2060 672 566 18 0 2042 0
vsize: 8240
[startup+60.0005 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 734 0 0 0 5997 2 0 0 25 0 1 0 848935279 8572928 708 4294967295 134512640 134581267 3221224592 3221223520 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2093 708 566 18 0 2075 0
vsize: 8372
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 762 0 0 0 6998 2 0 0 25 0 1 0 848935279 8736768 736 4294967295 134512640 134581267 3221224592 3221223584 134560835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2133 736 566 18 0 2115 0
vsize: 8532
[startup+80.0015 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 774 0 0 0 7998 2 0 0 25 0 1 0 848935279 8871936 748 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2166 748 566 18 0 2148 0
vsize: 8664
[startup+90.0016 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 793 0 0 0 8998 2 0 0 25 0 1 0 848935279 8871936 767 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2166 767 566 18 0 2148 0
vsize: 8664
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 994 0 0 0 9993 7 0 0 25 0 1 0 848935279 9658368 968 4294967295 134512640 134581267 3221224592 3221223584 134561073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2358 968 566 18 0 2340 0
vsize: 9432
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1038 0 0 0 10989 11 0 0 25 0 1 0 848935279 9879552 1012 4294967295 134512640 134581267 3221224592 3221223504 134527817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2412 1012 566 18 0 2394 0
vsize: 9648
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1071 0 0 0 11986 14 0 0 25 0 1 0 848935279 10010624 1045 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2444 1045 566 18 0 2426 0
vsize: 9776
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1097 0 0 0 12982 19 0 0 25 0 1 0 848935279 10141696 1071 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2476 1071 566 18 0 2458 0
vsize: 9904
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1125 0 0 0 13978 23 0 0 25 0 1 0 848935279 10272768 1099 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1099 566 18 0 2490 0
vsize: 10032
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1125 0 0 0 14969 32 0 0 25 0 1 0 848935279 10272768 1099 4294967295 134512640 134581267 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1099 566 18 0 2490 0
vsize: 10032
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1136 0 0 0 15966 35 0 0 25 0 1 0 848935279 10272768 1110 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1110 566 18 0 2490 0
vsize: 10032
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1136 0 0 0 16962 39 0 0 25 0 1 0 848935279 10272768 1110 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1110 566 18 0 2490 0
vsize: 10032
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1136 0 0 0 17954 48 0 0 25 0 1 0 848935279 10272768 1110 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1110 566 18 0 2490 0
vsize: 10032
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1136 0 0 0 18945 56 0 0 25 0 1 0 848935279 10272768 1110 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1110 566 18 0 2490 0
vsize: 10032
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1136 0 0 0 19937 65 0 0 25 0 1 0 848935279 10272768 1110 4294967295 134512640 134581267 3221224592 3221223280 1075288438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1110 566 18 0 2490 0
vsize: 10032
[startup+210.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1136 0 0 0 20928 74 0 0 25 0 1 0 848935279 10272768 1110 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1110 566 18 0 2490 0
vsize: 10032
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1136 0 0 0 21918 84 0 0 25 0 1 0 848935279 10272768 1110 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1110 566 18 0 2490 0
vsize: 10032
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1136 0 0 0 22909 93 0 0 25 0 1 0 848935279 10272768 1110 4294967295 134512640 134581267 3221224592 3221223584 134560721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1110 566 18 0 2490 0
vsize: 10032
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1136 0 0 0 23899 103 0 0 25 0 1 0 848935279 10272768 1110 4294967295 134512640 134581267 3221224592 3221223368 1075285693 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1110 566 18 0 2490 0
vsize: 10032
[startup+250.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1136 0 0 0 24889 114 0 0 25 0 1 0 848935279 10272768 1110 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1110 566 18 0 2490 0
vsize: 10032
[startup+260.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1136 0 0 0 25879 124 0 0 25 0 1 0 848935279 10272768 1110 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1110 566 18 0 2490 0
vsize: 10032
[startup+270.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1136 0 0 0 26871 132 0 0 25 0 1 0 848935279 10272768 1110 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1110 566 18 0 2490 0
vsize: 10032
[startup+280.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1139 0 0 0 27861 142 0 0 25 0 1 0 848935279 10272768 1113 4294967295 134512640 134581267 3221224592 3221223520 134519863 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1113 566 18 0 2490 0
vsize: 10032
[startup+290.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1159 0 0 0 28851 152 0 0 25 0 1 0 848935279 10420224 1133 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2544 1133 566 18 0 2526 0
vsize: 10176
[startup+300.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1169 0 0 0 29844 160 0 0 25 0 1 0 848935279 10420224 1143 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2544 1143 566 18 0 2526 0
vsize: 10176
[startup+310.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1173 0 0 0 30833 171 0 0 25 0 1 0 848935279 10420224 1147 4294967295 134512640 134581267 3221224592 3221223584 134561076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2544 1147 566 18 0 2526 0
vsize: 10176
[startup+320.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1181 0 0 0 31824 180 0 0 25 0 1 0 848935279 10420224 1155 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2544 1155 566 18 0 2526 0
vsize: 10176
[startup+330.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1191 0 0 0 32816 188 0 0 25 0 1 0 848935279 10559488 1165 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2578 1165 566 18 0 2560 0
vsize: 10312
[startup+340.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1204 0 0 0 33808 197 0 0 25 0 1 0 848935279 10559488 1178 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2578 1178 566 18 0 2560 0
vsize: 10312
[startup+350.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1207 0 0 0 34799 206 0 0 25 0 1 0 848935279 10559488 1181 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2578 1181 566 18 0 2560 0
vsize: 10312
[startup+360.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1217 0 0 0 35793 212 0 0 25 0 1 0 848935279 10559488 1191 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2578 1191 566 18 0 2560 0
vsize: 10312
[startup+370.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1226 0 0 0 36785 220 0 0 25 0 1 0 848935279 10698752 1200 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2612 1200 566 18 0 2594 0
vsize: 10448
[startup+380.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1235 0 0 0 37776 229 0 0 25 0 1 0 848935279 10698752 1209 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2612 1209 566 18 0 2594 0
vsize: 10448
[startup+390.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1237 0 0 0 38767 238 0 0 25 0 1 0 848935279 10698752 1211 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2612 1211 566 18 0 2594 0
vsize: 10448
[startup+400.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1240 0 0 0 39761 244 0 0 25 0 1 0 848935279 10698752 1214 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2612 1214 566 18 0 2594 0
vsize: 10448
[startup+410.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1248 0 0 0 40753 252 0 0 25 0 1 0 848935279 10698752 1222 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2612 1222 566 18 0 2594 0
vsize: 10448
[startup+420.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1254 0 0 0 41746 259 0 0 25 0 1 0 848935279 10846208 1228 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2648 1228 566 18 0 2630 0
vsize: 10592
[startup+430.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1263 0 0 0 42739 267 0 0 25 0 1 0 848935279 10846208 1237 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2648 1237 566 18 0 2630 0
vsize: 10592
[startup+440.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1270 0 0 0 43732 274 0 0 25 0 1 0 848935279 10846208 1244 4294967295 134512640 134581267 3221224592 3221223472 134520448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2648 1244 566 18 0 2630 0
vsize: 10592
[startup+450.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1272 0 0 0 44725 281 0 0 25 0 1 0 848935279 10846208 1246 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2648 1246 566 18 0 2630 0
vsize: 10592
[startup+460.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1280 0 0 0 45718 289 0 0 25 0 1 0 848935279 10981376 1254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2681 1254 566 18 0 2663 0
vsize: 10724
[startup+470.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1288 0 0 0 46709 298 0 0 25 0 1 0 848935279 10981376 1262 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2681 1262 566 18 0 2663 0
vsize: 10724
[startup+480.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1291 0 0 0 47701 306 0 0 25 0 1 0 848935279 10981376 1265 4294967295 134512640 134581267 3221224592 3221223564 134554608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2681 1265 566 18 0 2663 0
vsize: 10724
[startup+490.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1293 0 0 0 48693 314 0 0 25 0 1 0 848935279 10981376 1267 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2681 1267 566 18 0 2663 0
vsize: 10724
[startup+500.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1460 0 0 0 49687 321 0 0 25 0 1 0 848935279 11513856 1415 4294967295 134512640 134581267 3221224592 3221223632 134565027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2811 1415 566 18 0 2793 0
vsize: 11244
[startup+510.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1572 0 0 0 50683 325 0 0 25 0 1 0 848935279 12038144 1527 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2939 1527 566 18 0 2921 0
vsize: 11756
[startup+520.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1592 0 0 0 51678 330 0 0 25 0 1 0 848935279 12169216 1547 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2971 1547 566 18 0 2953 0
vsize: 11884
[startup+530.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1592 0 0 0 52671 337 0 0 25 0 1 0 848935279 12169216 1547 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2971 1547 566 18 0 2953 0
vsize: 11884
[startup+540.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1592 0 0 0 53666 342 0 0 25 0 1 0 848935279 12169216 1547 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2971 1547 566 18 0 2953 0
vsize: 11884
[startup+550.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1592 0 0 0 54661 347 0 0 25 0 1 0 848935279 12169216 1547 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2971 1547 566 18 0 2953 0
vsize: 11884
[startup+560.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1592 0 0 0 55653 355 0 0 25 0 1 0 848935279 12169216 1547 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2971 1547 566 18 0 2953 0
vsize: 11884
[startup+570.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1592 0 0 0 56648 360 0 0 25 0 1 0 848935279 12169216 1547 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2971 1547 566 18 0 2953 0
vsize: 11884
[startup+580.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1592 0 0 0 57641 367 0 0 25 0 1 0 848935279 12169216 1547 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2971 1547 566 18 0 2953 0
vsize: 11884
[startup+590.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1592 0 0 0 58636 373 0 0 25 0 1 0 848935279 12169216 1547 4294967295 134512640 134581267 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2971 1547 566 18 0 2953 0
vsize: 11884
[startup+600.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1592 0 0 0 59629 379 0 0 25 0 1 0 848935279 12169216 1547 4294967295 134512640 134581267 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2971 1547 566 18 0 2953 0
vsize: 11884
[startup+610.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1592 0 0 0 60620 389 0 0 25 0 1 0 848935279 12169216 1547 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2971 1547 566 18 0 2953 0
vsize: 11884
[startup+620.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1592 0 0 0 61613 396 0 0 25 0 1 0 848935279 12169216 1547 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2971 1547 566 18 0 2953 0
vsize: 11884
[startup+630.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1592 0 0 0 62606 403 0 0 25 0 1 0 848935279 12169216 1547 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2971 1547 566 18 0 2953 0
vsize: 11884
[startup+640.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1620 0 0 0 63601 409 0 0 25 0 1 0 848935279 12185600 1575 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2975 1575 566 18 0 2957 0
vsize: 11900
[startup+650.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1670 0 0 0 64595 415 0 0 25 0 1 0 848935279 12189696 1578 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2976 1578 566 18 0 2958 0
vsize: 11904
[startup+660.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1682 0 0 0 65588 422 0 0 25 0 1 0 848935279 12320768 1590 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3008 1590 566 18 0 2990 0
vsize: 12032
[startup+670.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1682 0 0 0 66581 429 0 0 25 0 1 0 848935279 12320768 1590 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3008 1590 566 18 0 2990 0
vsize: 12032
[startup+680.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1682 0 0 0 67574 436 0 0 25 0 1 0 848935279 12320768 1590 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3008 1590 566 18 0 2990 0
vsize: 12032
[startup+690.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1682 0 0 0 68565 445 0 0 25 0 1 0 848935279 12320768 1590 4294967295 134512640 134581267 3221224592 3221223536 134558775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3008 1590 566 18 0 2990 0
vsize: 12032
[startup+700.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1713 0 0 0 69561 449 0 0 25 0 1 0 848935279 12419072 1621 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3032 1621 566 18 0 3014 0
vsize: 12128
[startup+710.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1741 0 0 0 70554 457 0 0 25 0 1 0 848935279 12550144 1649 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3064 1649 566 18 0 3046 0
vsize: 12256
[startup+720.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1741 0 0 0 71545 466 0 0 25 0 1 0 848935279 12550144 1649 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3064 1649 566 18 0 3046 0
vsize: 12256
[startup+730 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1741 0 0 0 72537 474 0 0 25 0 1 0 848935279 12550144 1649 4294967295 134512640 134581267 3221224592 3221223504 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3064 1649 566 18 0 3046 0
vsize: 12256
[startup+740 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1741 0 0 0 73529 482 0 0 25 0 1 0 848935279 12550144 1649 4294967295 134512640 134581267 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3064 1649 566 18 0 3046 0
vsize: 12256
[startup+750.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1741 0 0 0 74520 492 0 0 25 0 1 0 848935279 12550144 1649 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3064 1649 566 18 0 3046 0
vsize: 12256
[startup+760 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1742 0 0 0 75513 499 0 0 25 0 1 0 848935279 12550144 1650 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3064 1650 566 18 0 3046 0
vsize: 12256
[startup+770 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1742 0 0 0 76504 507 0 0 25 0 1 0 848935279 12550144 1650 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3064 1650 566 18 0 3046 0
vsize: 12256
[startup+780 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1742 0 0 0 77496 516 0 0 25 0 1 0 848935279 12550144 1650 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3064 1650 566 18 0 3046 0
vsize: 12256
[startup+790 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1742 0 0 0 78489 523 0 0 25 0 1 0 848935279 12550144 1650 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3064 1650 566 18 0 3046 0
vsize: 12256
[startup+800 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1792 0 0 0 79486 527 0 0 25 0 1 0 848935279 12783616 1700 4294967295 134512640 134581267 3221224592 3221223340 1075285163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3121 1700 566 18 0 3103 0
vsize: 12484
[startup+810 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1792 0 0 0 80479 533 0 0 25 0 1 0 848935279 12521472 1660 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3057 1660 566 18 0 3039 0
vsize: 12228
[startup+820 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1913 0 0 0 81474 538 0 0 25 0 1 0 848935279 12992512 1775 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3172 1775 566 18 0 3154 0
vsize: 12688
[startup+830 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1913 0 0 0 82470 543 0 0 25 0 1 0 848935279 12992512 1775 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3172 1775 566 18 0 3154 0
vsize: 12688
[startup+840 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1913 0 0 0 83463 550 0 0 25 0 1 0 848935279 12992512 1775 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3172 1775 566 18 0 3154 0
vsize: 12688
[startup+850.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1935 0 0 0 84459 554 0 0 25 0 1 0 848935279 13123584 1797 4294967295 134512640 134581267 3221224592 3221223536 134558795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3204 1797 566 18 0 3186 0
vsize: 12816
[startup+860 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1935 0 0 0 85453 560 0 0 25 0 1 0 848935279 13123584 1797 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3204 1797 566 18 0 3186 0
vsize: 12816
[startup+870.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1993 0 0 0 86447 566 0 0 25 0 1 0 848935279 13385728 1855 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3268 1855 566 18 0 3250 0
vsize: 13072
[startup+880.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1993 0 0 0 87441 573 0 0 25 0 1 0 848935279 13283328 1846 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3243 1846 566 18 0 3225 0
vsize: 12972
[startup+890.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1993 0 0 0 88438 576 0 0 25 0 1 0 848935279 13283328 1846 4294967295 134512640 134581267 3221224592 3221223584 134561090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3243 1846 566 18 0 3225 0
vsize: 12972
[startup+900.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1993 0 0 0 89433 581 0 0 25 0 1 0 848935279 13283328 1846 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3243 1846 566 18 0 3225 0
vsize: 12972
[startup+910.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1993 0 0 0 90425 589 0 0 25 0 1 0 848935279 13283328 1846 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3243 1846 566 18 0 3225 0
vsize: 12972
[startup+920.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1993 0 0 0 91422 592 0 0 25 0 1 0 848935279 13283328 1846 4294967295 134512640 134581267 3221224592 3221223520 134519857 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3243 1846 566 18 0 3225 0
vsize: 12972
[startup+930.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1996 0 0 0 92420 595 0 0 25 0 1 0 848935279 13414400 1849 4294967295 134512640 134581267 3221224592 3221223488 134517854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3275 1849 566 18 0 3257 0
vsize: 13100
[startup+940.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1996 0 0 0 93414 601 0 0 25 0 1 0 848935279 13316096 1849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3251 1849 566 18 0 3233 0
vsize: 13004
[startup+950.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1996 0 0 0 94408 607 0 0 25 0 1 0 848935279 13316096 1849 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3251 1849 566 18 0 3233 0
vsize: 13004
[startup+960.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 1996 0 0 0 95403 612 0 0 25 0 1 0 848935279 13316096 1849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3251 1849 566 18 0 3233 0
vsize: 13004
[startup+970.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2017 0 0 0 96400 616 0 0 25 0 1 0 848935279 13451264 1870 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1870 566 18 0 3266 0
vsize: 13136
[startup+980.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2017 0 0 0 97394 621 0 0 25 0 1 0 848935279 13451264 1870 4294967295 134512640 134581267 3221224592 3221223520 134519945 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1870 566 18 0 3266 0
vsize: 13136
[startup+990.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2017 0 0 0 98391 625 0 0 25 0 1 0 848935279 13451264 1870 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1870 566 18 0 3266 0
vsize: 13136
[startup+1000 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2017 0 0 0 99387 629 0 0 25 0 1 0 848935279 13451264 1870 4294967295 134512640 134581267 3221224592 3221223572 134561052 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1870 566 18 0 3266 0
vsize: 13136
[startup+1010 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2017 0 0 0 100379 637 0 0 25 0 1 0 848935279 13451264 1870 4294967295 134512640 134581267 3221224592 3221223496 134527743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1870 566 18 0 3266 0
vsize: 13136
[startup+1020 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2017 0 0 0 101374 643 0 0 25 0 1 0 848935279 13451264 1870 4294967295 134512640 134581267 3221224592 3221223584 134561096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1870 566 18 0 3266 0
vsize: 13136
[startup+1030 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2017 0 0 0 102366 651 0 0 25 0 1 0 848935279 13451264 1870 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1870 566 18 0 3266 0
vsize: 13136
[startup+1040 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2017 0 0 0 103360 656 0 0 25 0 1 0 848935279 13451264 1870 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1870 566 18 0 3266 0
vsize: 13136
[startup+1050 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2017 0 0 0 104355 662 0 0 25 0 1 0 848935279 13451264 1870 4294967295 134512640 134581267 3221224592 3221223536 134559568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1870 566 18 0 3266 0
vsize: 13136
[startup+1060 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2017 0 0 0 105349 668 0 0 25 0 1 0 848935279 13451264 1870 4294967295 134512640 134581267 3221224592 3221223520 134519812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1870 566 18 0 3266 0
vsize: 13136
[startup+1070 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2017 0 0 0 106342 675 0 0 25 0 1 0 848935279 13451264 1870 4294967295 134512640 134581267 3221224592 3221223548 134519782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1870 566 18 0 3266 0
vsize: 13136
[startup+1080 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2017 0 0 0 107334 683 0 0 25 0 1 0 848935279 13451264 1870 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1870 566 18 0 3266 0
vsize: 13136
[startup+1090 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2017 0 0 0 108330 687 0 0 25 0 1 0 848935279 13451264 1870 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1870 566 18 0 3266 0
vsize: 13136
[startup+1100 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2017 0 0 0 109325 693 0 0 25 0 1 0 848935279 13451264 1870 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1870 566 18 0 3266 0
vsize: 13136
[startup+1110 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2017 0 0 0 110318 700 0 0 25 0 1 0 848935279 13451264 1870 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1870 566 18 0 3266 0
vsize: 13136
[startup+1120 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2017 0 0 0 111312 706 0 0 25 0 1 0 848935279 13451264 1870 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1870 566 18 0 3266 0
vsize: 13136
[startup+1130 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2017 0 0 0 112306 713 0 0 25 0 1 0 848935279 13451264 1870 4294967295 134512640 134581267 3221224592 3221223520 134520095 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1870 566 18 0 3266 0
vsize: 13136
[startup+1140 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2017 0 0 0 113299 719 0 0 25 0 1 0 848935279 13451264 1870 4294967295 134512640 134581267 3221224592 3221223584 134561096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1870 566 18 0 3266 0
vsize: 13136
[startup+1150 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2017 0 0 0 114291 728 0 0 25 0 1 0 848935279 13451264 1870 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1870 566 18 0 3266 0
vsize: 13136
[startup+1160 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2021 0 0 0 115284 735 0 0 25 0 1 0 848935279 13451264 1874 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1874 566 18 0 3266 0
vsize: 13136
[startup+1170 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2044 0 0 0 116278 741 0 0 25 0 1 0 848935279 13451264 1887 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1887 566 18 0 3266 0
vsize: 13136
[startup+1180 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2045 0 0 0 117273 746 0 0 25 0 1 0 848935279 13451264 1888 4294967295 134512640 134581267 3221224592 3221223384 1075288272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1888 566 18 0 3266 0
vsize: 13136
[startup+1188.81 s]
Raw data (loadavg): 0.99 0.98 0.93 1/53 21417
Raw data (stat): 21415 (Pueblo-v2) R 21414 31399 31398 0 -1 0 2045 0 0 0 117273 746 0 0 25 0 1 0 848935279 13451264 1888 4294967295 134512640 134581267 3221224592 3221223384 1075288272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 1888 566 18 0 3266 0
vsize: 0

Child status: 10
Real time (s): 1188.81
CPU time (s): 1189.01
CPU user time (s): 1181.47
CPU system time (s): 7.53985
CPU usage (%): 100.017
Max. virtual memory (Kb): 13136
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	62
#### END VERIFIER DATA ####