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-4pb.opb
MD5SUM	c1a86b94297136b91215b2ae8a8f5643
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	696
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	696
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	696
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.03784
Number of variables	696
Total number of constraints	2096
Number of constraints which are clauses	2072
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	29
Trace number 38448

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-02 09:55:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26510 boxname=wulflinc3 idbench=240 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  c1a86b94297136b91215b2ae8a8f5643  /oldhome/oroussel/tmp/wulflinc3/normalized-s4-4-3-4pb.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-s4-4-3-4pb.opb
IDLAUNCH: 26510
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        728720 kB
Buffers:         33932 kB
Cached:         250080 kB
SwapCached:        228 kB
Active:          60660 kB
Inactive:       225916 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        728468 kB
SwapTotal:     2097136 kB
SwapFree:      2096480 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6332 kB
Slab:            13656 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 10:15:41 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26510 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/wulflinc3/normalized-s4-4-3-4pb.opb
c #variables read: 696 - #constraints read: 2097
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 
#### 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.95 2/54 7823
Raw data (stat): 7823 (runsolver) R 7822 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848864829 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.0003 s]
Raw data (loadavg): 0.93 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 514 0 0 0 990 9 0 0 25 0 1 0 848864829 7770112 488 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1897 488 566 18 0 1879 0
vsize: 7588
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 678 0 0 0 1982 16 0 0 25 0 1 0 848864829 8425472 652 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2057 652 566 18 0 2039 0
vsize: 8228
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 696 0 0 0 2978 21 0 0 25 0 1 0 848864829 8425472 670 4294967295 134512640 134581267 3221224592 3221223488 134517764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2057 670 566 18 0 2039 0
vsize: 8228
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 711 0 0 0 3969 30 0 0 25 0 1 0 848864829 8556544 685 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2089 685 566 18 0 2071 0
vsize: 8356
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 783 0 0 0 4961 38 0 0 25 0 1 0 848864829 8790016 757 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2146 757 566 18 0 2128 0
vsize: 8584
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 813 0 0 0 5955 45 0 0 25 0 1 0 848864829 8921088 787 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2178 787 566 18 0 2160 0
vsize: 8712
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 813 0 0 0 6948 52 0 0 25 0 1 0 848864829 8921088 787 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2178 787 566 18 0 2160 0
vsize: 8712
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 813 0 0 0 7939 61 0 0 25 0 1 0 848864829 8921088 787 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2178 787 566 18 0 2160 0
vsize: 8712
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 813 0 0 0 8932 68 0 0 25 0 1 0 848864829 8921088 787 4294967295 134512640 134581267 3221224592 3221223280 1075288510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2178 787 566 18 0 2160 0
vsize: 8712
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 909 0 0 0 9924 76 0 0 25 0 1 0 848864829 9314304 883 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2274 883 566 18 0 2256 0
vsize: 9096
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 925 0 0 0 10917 83 0 0 25 0 1 0 848864829 9428992 899 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2302 899 566 18 0 2284 0
vsize: 9208
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 925 0 0 0 11909 91 0 0 25 0 1 0 848864829 9367552 899 4294967295 134512640 134581267 3221224592 3221223572 134561052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2287 899 566 18 0 2269 0
vsize: 9148
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 925 0 0 0 12900 101 0 0 25 0 1 0 848864829 9367552 899 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2287 899 566 18 0 2269 0
vsize: 9148
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 925 0 0 0 13891 110 0 0 25 0 1 0 848864829 9367552 899 4294967295 134512640 134581267 3221224592 3221223504 134527707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2287 899 566 18 0 2269 0
vsize: 9148
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 925 0 0 0 14884 118 0 0 25 0 1 0 848864829 9367552 899 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2287 899 566 18 0 2269 0
vsize: 9148
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1082 0 0 0 15877 124 0 0 25 0 1 0 848864829 9875456 997 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2411 997 566 18 0 2393 0
vsize: 9644
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1088 0 0 0 16872 129 0 0 25 0 1 0 848864829 9875456 1003 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2411 1003 566 18 0 2393 0
vsize: 9644
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1102 0 0 0 17869 133 0 0 25 0 1 0 848864829 9875456 1017 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2411 1017 566 18 0 2393 0
vsize: 9644
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1113 0 0 0 18864 138 0 0 25 0 1 0 848864829 10006528 1028 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2443 1028 566 18 0 2425 0
vsize: 9772
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1121 0 0 0 19859 144 0 0 25 0 1 0 848864829 9994240 1036 4294967295 134512640 134581267 3221224592 3221223504 134527729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2440 1036 566 18 0 2422 0
vsize: 9760
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1124 0 0 0 20855 148 0 0 25 0 1 0 848864829 9994240 1039 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2440 1039 566 18 0 2422 0
vsize: 9760
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1148 0 0 0 21851 151 0 0 25 0 1 0 848864829 10125312 1063 4294967295 134512640 134581267 3221224592 3221223584 134561029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2472 1063 566 18 0 2454 0
vsize: 9888
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1185 0 0 0 22849 154 0 0 25 0 1 0 848864829 10256384 1100 4294967295 134512640 134581267 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2504 1100 566 18 0 2486 0
vsize: 10016
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1185 0 0 0 23846 157 0 0 25 0 1 0 848864829 10256384 1100 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2504 1100 566 18 0 2486 0
vsize: 10016
[startup+250.125 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 7823
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1185 0 0 0 24854 161 0 0 25 0 1 0 848864829 10256384 1100 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2504 1100 566 18 0 2486 0
vsize: 10016
[startup+260.125 s]
Raw data (loadavg): 1.07 1.00 0.95 2/57 7872
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1197 0 0 0 25849 166 0 0 25 0 1 0 848864829 10256384 1112 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2504 1112 566 18 0 2486 0
vsize: 10016
[startup+270.359 s]
Raw data (loadavg): 1.14 1.02 0.96 2/54 7876
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1200 0 0 0 26868 170 0 0 25 0 1 0 848864829 10256384 1115 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2504 1115 566 18 0 2486 0
vsize: 10016
[startup+280.703 s]
Raw data (loadavg): 1.11 1.02 0.96 2/54 7876
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1200 0 0 0 27899 174 0 0 25 0 1 0 848864829 10256384 1115 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2504 1115 566 18 0 2486 0
vsize: 10016
[startup+290.703 s]
Raw data (loadavg): 1.10 1.01 0.96 2/54 7876
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1203 0 0 0 28894 179 0 0 25 0 1 0 848864829 10379264 1118 4294967295 134512640 134581267 3221224592 3221223456 134560172 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2534 1118 566 18 0 2516 0
vsize: 10136
[startup+300.703 s]
Raw data (loadavg): 1.08 1.01 0.96 2/54 7876
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1204 0 0 0 29890 183 0 0 25 0 1 0 848864829 10379264 1119 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2534 1119 566 18 0 2516 0
vsize: 10136
[startup+310.703 s]
Raw data (loadavg): 1.07 1.01 0.96 2/54 7876
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1214 0 0 0 30887 187 0 0 25 0 1 0 848864829 10379264 1129 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2534 1129 566 18 0 2516 0
vsize: 10136
[startup+320.704 s]
Raw data (loadavg): 1.06 1.01 0.96 2/54 7876
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1214 0 0 0 31883 191 0 0 25 0 1 0 848864829 10379264 1129 4294967295 134512640 134581267 3221224592 3221223504 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2534 1129 566 18 0 2516 0
vsize: 10136
[startup+330.704 s]
Raw data (loadavg): 1.05 1.01 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1214 0 0 0 32875 198 0 0 25 0 1 0 848864829 10379264 1129 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2534 1129 566 18 0 2516 0
vsize: 10136
[startup+340.704 s]
Raw data (loadavg): 1.04 1.01 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1214 0 0 0 33869 205 0 0 25 0 1 0 848864829 10379264 1129 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2534 1129 566 18 0 2516 0
vsize: 10136
[startup+350.704 s]
Raw data (loadavg): 1.03 1.01 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1239 0 0 0 34866 208 0 0 25 0 1 0 848864829 10510336 1154 4294967295 134512640 134581267 3221224592 3221223456 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2566 1154 566 18 0 2548 0
vsize: 10264
[startup+360.704 s]
Raw data (loadavg): 1.03 1.01 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1245 0 0 0 35860 214 0 0 25 0 1 0 848864829 10510336 1160 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2566 1160 566 18 0 2548 0
vsize: 10264
[startup+370.705 s]
Raw data (loadavg): 1.02 1.01 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1245 0 0 0 36852 222 0 0 25 0 1 0 848864829 10510336 1160 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2566 1160 566 18 0 2548 0
vsize: 10264
[startup+380.705 s]
Raw data (loadavg): 1.02 1.01 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1245 0 0 0 37848 226 0 0 25 0 1 0 848864829 10432512 1159 4294967295 134512640 134581267 3221224592 3221223456 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2547 1159 566 18 0 2529 0
vsize: 10188
[startup+390.705 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1245 0 0 0 38842 233 0 0 25 0 1 0 848864829 10432512 1159 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2547 1159 566 18 0 2529 0
vsize: 10188
[startup+400.706 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1270 0 0 0 39836 239 0 0 25 0 1 0 848864829 10563584 1184 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2579 1184 566 18 0 2561 0
vsize: 10316
[startup+410.705 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1270 0 0 0 40833 243 0 0 25 0 1 0 848864829 10563584 1184 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2579 1184 566 18 0 2561 0
vsize: 10316
[startup+420.705 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1288 0 0 0 41828 247 0 0 25 0 1 0 848864829 10694656 1202 4294967295 134512640 134581267 3221224592 3221223552 134519781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2611 1202 566 18 0 2593 0
vsize: 10444
[startup+430.706 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1288 0 0 0 42824 251 0 0 25 0 1 0 848864829 10694656 1202 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2611 1202 566 18 0 2593 0
vsize: 10444
[startup+440.706 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1288 0 0 0 43820 256 0 0 25 0 1 0 848864829 10694656 1202 4294967295 134512640 134581267 3221224592 3221223504 134527678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2611 1202 566 18 0 2593 0
vsize: 10444
[startup+450.706 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1289 0 0 0 44816 260 0 0 25 0 1 0 848864829 10694656 1203 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2611 1203 566 18 0 2593 0
vsize: 10444
[startup+460.707 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1294 0 0 0 45813 263 0 0 25 0 1 0 848864829 10694656 1208 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2611 1208 566 18 0 2593 0
vsize: 10444
[startup+470.707 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1294 0 0 0 46810 267 0 0 25 0 1 0 848864829 10694656 1208 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2611 1208 566 18 0 2593 0
vsize: 10444
[startup+480.707 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1294 0 0 0 47804 273 0 0 25 0 1 0 848864829 10694656 1208 4294967295 134512640 134581267 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2611 1208 566 18 0 2593 0
vsize: 10444
[startup+490.707 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1315 0 0 0 48800 277 0 0 25 0 1 0 848864829 10764288 1229 4294967295 134512640 134581267 3221224592 3221223504 134527776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2628 1229 566 18 0 2610 0
vsize: 10512
[startup+500.708 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1315 0 0 0 49793 284 0 0 25 0 1 0 848864829 10764288 1229 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2628 1229 566 18 0 2610 0
vsize: 10512
[startup+510.708 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1315 0 0 0 50788 289 0 0 25 0 1 0 848864829 10764288 1229 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2628 1229 566 18 0 2610 0
vsize: 10512
[startup+520.709 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1315 0 0 0 51781 296 0 0 25 0 1 0 848864829 10764288 1229 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2628 1229 566 18 0 2610 0
vsize: 10512
[startup+530.709 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1316 0 0 0 52777 300 0 0 25 0 1 0 848864829 10764288 1230 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2628 1230 566 18 0 2610 0
vsize: 10512
[startup+540.709 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1354 0 0 0 53772 306 0 0 25 0 1 0 848864829 10895360 1268 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2660 1268 566 18 0 2642 0
vsize: 10640
[startup+550.71 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1354 0 0 0 54767 311 0 0 25 0 1 0 848864829 10895360 1268 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2660 1268 566 18 0 2642 0
vsize: 10640
[startup+560.71 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1354 0 0 0 55761 317 0 0 25 0 1 0 848864829 10854400 1262 4294967295 134512640 134581267 3221224592 3221223368 1075285693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2650 1262 566 18 0 2632 0
vsize: 10600
[startup+570.71 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7878
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1370 0 0 0 56757 321 0 0 25 0 1 0 848864829 10985472 1278 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2682 1278 566 18 0 2664 0
vsize: 10728
[startup+580.71 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1370 0 0 0 57750 328 0 0 25 0 1 0 848864829 10973184 1278 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2679 1278 566 18 0 2661 0
vsize: 10716
[startup+590.709 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1371 0 0 0 58743 336 0 0 25 0 1 0 848864829 10973184 1279 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2679 1279 566 18 0 2661 0
vsize: 10716
[startup+600.709 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1371 0 0 0 59734 345 0 0 25 0 1 0 848864829 10973184 1279 4294967295 134512640 134581267 3221224592 3221223488 134517401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2679 1279 566 18 0 2661 0
vsize: 10716
[startup+610.709 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1371 0 0 0 60726 353 0 0 25 0 1 0 848864829 10973184 1279 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2679 1279 566 18 0 2661 0
vsize: 10716
[startup+620.71 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1371 0 0 0 61719 361 0 0 25 0 1 0 848864829 10973184 1279 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2679 1279 566 18 0 2661 0
vsize: 10716
[startup+630.71 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1371 0 0 0 62710 370 0 0 25 0 1 0 848864829 10973184 1279 4294967295 134512640 134581267 3221224592 3221223608 134519509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2679 1279 566 18 0 2661 0
vsize: 10716
[startup+640.71 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1371 0 0 0 63703 377 0 0 25 0 1 0 848864829 10973184 1279 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2679 1279 566 18 0 2661 0
vsize: 10716
[startup+650.71 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1391 0 0 0 64696 384 0 0 25 0 1 0 848864829 11104256 1299 4294967295 134512640 134581267 3221224592 3221223368 1075291634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2711 1299 566 18 0 2693 0
vsize: 10844
[startup+660.711 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1411 0 0 0 65693 387 0 0 25 0 1 0 848864829 11104256 1312 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2711 1312 566 18 0 2693 0
vsize: 10844
[startup+670.711 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1443 0 0 0 66689 391 0 0 25 0 1 0 848864829 11235328 1344 4294967295 134512640 134581267 3221224592 3221223456 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2743 1344 566 18 0 2725 0
vsize: 10972
[startup+680.712 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1458 0 0 0 67686 395 0 0 25 0 1 0 848864829 11366400 1359 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2775 1359 566 18 0 2757 0
vsize: 11100
[startup+690.712 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1458 0 0 0 68683 398 0 0 25 0 1 0 848864829 11350016 1359 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2771 1359 566 18 0 2753 0
vsize: 11084
[startup+700.713 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1458 0 0 0 69680 401 0 0 25 0 1 0 848864829 11350016 1359 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2771 1359 566 18 0 2753 0
vsize: 11084
[startup+710.714 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1458 0 0 0 70676 405 0 0 25 0 1 0 848864829 11341824 1359 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2769 1359 566 18 0 2751 0
vsize: 11076
[startup+720.715 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1470 0 0 0 71673 409 0 0 25 0 1 0 848864829 11341824 1371 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2769 1371 566 18 0 2751 0
vsize: 11076
[startup+730.714 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1473 0 0 0 72669 413 0 0 25 0 1 0 848864829 11341824 1374 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2769 1374 566 18 0 2751 0
vsize: 11076
[startup+740.714 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1473 0 0 0 73665 417 0 0 25 0 1 0 848864829 11341824 1374 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2769 1374 566 18 0 2751 0
vsize: 11076
[startup+750.715 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1473 0 0 0 74661 421 0 0 25 0 1 0 848864829 11341824 1374 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2769 1374 566 18 0 2751 0
vsize: 11076
[startup+760.715 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1473 0 0 0 75658 424 0 0 25 0 1 0 848864829 11329536 1374 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2766 1374 566 18 0 2748 0
vsize: 11064
[startup+770.716 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1473 0 0 0 76654 428 0 0 25 0 1 0 848864829 11329536 1374 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2766 1374 566 18 0 2748 0
vsize: 11064
[startup+780.716 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1473 0 0 0 77651 431 0 0 25 0 1 0 848864829 11329536 1374 4294967295 134512640 134581267 3221224592 3221223456 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2766 1374 566 18 0 2748 0
vsize: 11064
[startup+790.716 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1473 0 0 0 78647 436 0 0 25 0 1 0 848864829 11329536 1374 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2766 1374 566 18 0 2748 0
vsize: 11064
[startup+800.716 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1473 0 0 0 79643 439 0 0 25 0 1 0 848864829 11329536 1374 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2766 1374 566 18 0 2748 0
vsize: 11064
[startup+810.716 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1473 0 0 0 80640 443 0 0 25 0 1 0 848864829 11329536 1374 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2766 1374 566 18 0 2748 0
vsize: 11064
[startup+820.717 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1475 0 0 0 81637 447 0 0 25 0 1 0 848864829 11329536 1376 4294967295 134512640 134581267 3221224592 3221223584 134561094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2766 1376 566 18 0 2748 0
vsize: 11064
[startup+830.717 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1481 0 0 0 82633 450 0 0 25 0 1 0 848864829 11362304 1382 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2774 1382 566 18 0 2756 0
vsize: 11096
[startup+840.716 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1484 0 0 0 83630 454 0 0 25 0 1 0 848864829 11362304 1385 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2774 1385 566 18 0 2756 0
vsize: 11096
[startup+850.717 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1501 0 0 0 84626 457 0 0 25 0 1 0 848864829 11493376 1402 4294967295 134512640 134581267 3221224592 3221223536 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2806 1402 566 18 0 2788 0
vsize: 11224
[startup+860.717 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1501 0 0 0 85622 461 0 0 25 0 1 0 848864829 11395072 1395 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2782 1395 566 18 0 2764 0
vsize: 11128
[startup+870.718 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1509 0 0 0 86619 466 0 0 25 0 1 0 848864829 11526144 1403 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2814 1403 566 18 0 2796 0
vsize: 11256
[startup+880.718 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1509 0 0 0 87615 469 0 0 25 0 1 0 848864829 11395072 1395 4294967295 134512640 134581267 3221224592 3221223288 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2782 1395 566 18 0 2764 0
vsize: 11128
[startup+890.718 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1509 0 0 0 88611 473 0 0 25 0 1 0 848864829 11395072 1395 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2782 1395 566 18 0 2764 0
vsize: 11128
[startup+900.719 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1514 0 0 0 89607 477 0 0 25 0 1 0 848864829 11464704 1400 4294967295 134512640 134581267 3221224592 3221223552 134519781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2799 1400 566 18 0 2781 0
vsize: 11196
[startup+910.718 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1514 0 0 0 90604 480 0 0 25 0 1 0 848864829 11464704 1400 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2799 1400 566 18 0 2781 0
vsize: 11196
[startup+920.719 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1522 0 0 0 91602 483 0 0 25 0 1 0 848864829 11464704 1408 4294967295 134512640 134581267 3221224592 3221223456 134560418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2799 1408 566 18 0 2781 0
vsize: 11196
[startup+930.719 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1522 0 0 0 92600 486 0 0 25 0 1 0 848864829 11464704 1408 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2799 1408 566 18 0 2781 0
vsize: 11196
[startup+940.719 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1527 0 0 0 93595 490 0 0 25 0 1 0 848864829 11595776 1413 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2831 1413 566 18 0 2813 0
vsize: 11324
[startup+950.72 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1527 0 0 0 94593 493 0 0 25 0 1 0 848864829 11538432 1413 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2817 1413 566 18 0 2799 0
vsize: 11268
[startup+960.721 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1527 0 0 0 95590 496 0 0 25 0 1 0 848864829 11538432 1413 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2817 1413 566 18 0 2799 0
vsize: 11268
[startup+970.721 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1529 0 0 0 96586 500 0 0 25 0 1 0 848864829 11538432 1415 4294967295 134512640 134581267 3221224592 3221223520 134519867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2817 1415 566 18 0 2799 0
vsize: 11268
[startup+980.721 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1530 0 0 0 97582 504 0 0 25 0 1 0 848864829 11538432 1416 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2817 1416 566 18 0 2799 0
vsize: 11268
[startup+990.721 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1530 0 0 0 98579 507 0 0 25 0 1 0 848864829 11538432 1416 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2817 1416 566 18 0 2799 0
vsize: 11268
[startup+1000.72 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1533 0 0 0 99575 511 0 0 25 0 1 0 848864829 11538432 1419 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2817 1419 566 18 0 2799 0
vsize: 11268
[startup+1010.72 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1534 0 0 0 100573 514 0 0 25 0 1 0 848864829 11538432 1420 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2817 1420 566 18 0 2799 0
vsize: 11268
[startup+1020.72 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1536 0 0 0 101570 517 0 0 25 0 1 0 848864829 11538432 1422 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2817 1422 566 18 0 2799 0
vsize: 11268
[startup+1030.72 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1536 0 0 0 102567 520 0 0 25 0 1 0 848864829 11538432 1422 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2817 1422 566 18 0 2799 0
vsize: 11268
[startup+1040.72 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1536 0 0 0 103562 526 0 0 25 0 1 0 848864829 11538432 1422 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2817 1422 566 18 0 2799 0
vsize: 11268
[startup+1050.72 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1561 0 0 0 104558 530 0 0 25 0 1 0 848864829 11669504 1447 4294967295 134512640 134581267 3221224592 3221223488 134517987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2849 1447 566 18 0 2831 0
vsize: 11396
[startup+1060.72 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1561 0 0 0 105552 536 0 0 25 0 1 0 848864829 11669504 1447 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2849 1447 566 18 0 2831 0
vsize: 11396
[startup+1070.73 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1561 0 0 0 106548 540 0 0 25 0 1 0 848864829 11616256 1447 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2836 1447 566 18 0 2818 0
vsize: 11344
[startup+1080.73 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1561 0 0 0 107542 546 0 0 25 0 1 0 848864829 11616256 1447 4294967295 134512640 134581267 3221224592 3221223552 134516716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2836 1447 566 18 0 2818 0
vsize: 11344
[startup+1090.73 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1566 0 0 0 108539 550 0 0 25 0 1 0 848864829 11747328 1452 4294967295 134512640 134581267 3221224592 3221223584 134561078 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2868 1452 566 18 0 2850 0
vsize: 11472
[startup+1100.73 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1567 0 0 0 109535 554 0 0 25 0 1 0 848864829 11718656 1453 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2861 1453 566 18 0 2843 0
vsize: 11444
[startup+1110.73 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1567 0 0 0 110531 558 0 0 25 0 1 0 848864829 11718656 1453 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2861 1453 566 18 0 2843 0
vsize: 11444
[startup+1120.73 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1568 0 0 0 111528 562 0 0 25 0 1 0 848864829 11718656 1454 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2861 1454 566 18 0 2843 0
vsize: 11444
[startup+1130.73 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1573 0 0 0 112524 565 0 0 25 0 1 0 848864829 11718656 1459 4294967295 134512640 134581267 3221224592 3221223568 134560709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2861 1459 566 18 0 2843 0
vsize: 11444
[startup+1140.73 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1582 0 0 0 113520 569 0 0 25 0 1 0 848864829 11718656 1468 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2861 1468 566 18 0 2843 0
vsize: 11444
[startup+1150.73 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1584 0 0 0 114515 575 0 0 25 0 1 0 848864829 11718656 1470 4294967295 134512640 134581267 3221224592 3221223340 1075285163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2861 1470 566 18 0 2843 0
vsize: 11444
[startup+1160.73 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1584 0 0 0 115511 579 0 0 25 0 1 0 848864829 11718656 1470 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2861 1470 566 18 0 2843 0
vsize: 11444
[startup+1170.73 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1584 0 0 0 116507 583 0 0 25 0 1 0 848864829 11718656 1470 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2861 1470 566 18 0 2843 0
vsize: 11444
[startup+1180.73 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1584 0 0 0 117503 587 0 0 25 0 1 0 848864829 11718656 1470 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2861 1470 566 18 0 2843 0
vsize: 11444
[startup+1188.83 s]
Raw data (loadavg): 1.00 1.00 0.96 1/53 7880
Raw data (stat): 7823 (Pueblo-v2) R 7822 20224 20223 0 -1 0 1584 0 0 0 117503 587 0 0 25 0 1 0 848864829 11718656 1470 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2861 1470 566 18 0 2843 0
vsize: 0

Child status: 10
Real time (s): 1188.83
CPU time (s): 1189.01
CPU user time (s): 1183.08
CPU system time (s): 5.9261
CPU usage (%): 100.015
Max. virtual memory (Kb): 11472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	60
#### END VERIFIER DATA ####