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/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
MD5SUM	feaa96df552ef9989407735877840272
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	13
Optimality of the best value was proved	NO
Number of terms in the objective function	776
Biggest coefficient in the objective function	474
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	2127
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	474
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	2127
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04084
Number of variables	776
Total number of constraints	1642
Number of constraints which are clauses	701
Number of constraints which are cardinality constraints (but not clauses)	941
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	20
Trace number 24985

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 15:51:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3319 boxname=wulflinc31 idbench=369 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  feaa96df552ef9989407735877840272  /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.5:100.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.5:100.opb
IDLAUNCH: 3319
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        813812 kB
Buffers:         41684 kB
Cached:         157664 kB
SwapCached:       1932 kB
Active:         162796 kB
Inactive:        39796 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        813560 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12640 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 16:11:14 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 3319 0 1189.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.5:100.opb
c #variables read: 776 - #constraints read: 1643
s SATISFIABLE
v -v756 -v693 -v588 -v262 v241 v56 v38 -v692 -v590 -v486 -v263 v246 v55 v37 -v757 -v700 -v589 -v485 -v439 -v266 v245 v54 v39 -v758 -v694 -v594 -v487 -v444 -v264 v52 v40 -v761 -v695 -v612 -v593 -v488 -v443 -v265 v248 v53 v47 -v759 -v696 -v611 -v591 -v489 -v401 v249 v41 v2 -v760 -v613 -v592 -v496 -v446 -v421 -v400 -v252 -v198 v171 v42 v1 -v734 -v616 -v490 -v447 -v420 -v406 -v385 -v250 v176 v43 v3 -v733 -v615 -v491 -v450 -v422 -v405 -v384 -v273 -v251 -v197 v175 v137 v4 -v620 -v492 -v448 -v425 -v407 -v386 -v366 -v278 -v201 -v155 v136 -v18 v5 -v735 -v619 -v559 -v510 -v449 -v424 -v411 -v387 -v365 -v277 -v178 -v154 v138 -v87 v17 v12 -v737 -v650 -v617 -v515 -v429 -v410 -v388 -v202 -v179 -v156 -v141 v86 v23 v6 -v649 -v618 -v558 -v514 -v466 -v428 -v408 -v395 -v367 -v280 -v182 -v157 v140 v88 -v66 v22 -v7 -v738 -v562 -v426 -v409 -v389 -v369 -v281 -v180 -v158 -v145 v91 v71 v24 -v8 -v740 -v651 -v517 -v469 -v427 -v390 -v318 -v284 -v223 -v181 -v165 -v144 -v121 v90 v70 v28 -v741 -v653 -v635 -v563 -v518 -v470 -v391 -v370 -v317 -v282 -v159 -v142 v95 v27 -v634 -v521 -v372 -v347 -v319 -v283 -v222 -v160 -v143 -v120 v94 v73 v25 -v654 -v519 -v373 -v351 -v322 -v226 -v161 v92 v74 v26 -v656 -v636 -v520 -v321 v124 v93 v75 -v657 v639 -v323 -v227 v125 v76 -v753 -v703 -v64 -v755 -v704 -v587 -v267 v240 v60 -v754 -v699 -v602 v242 v59 v50 -v762 -v598 -v438 v247 v51 -v710 -v697 -v597 -v499 -v440 v244 v46 -v714 -v500 -v445 v253 -v495 -v442 v44 -v729 -v614 -v451 -v402 v170 -v728 -v628 -v493 -v403 -v199 v172 v15 -v624 -v423 -v404 -v361 -v272 -v203 v177 v16 -v736 -v623 -v437 -v415 -v398 -v360 -v274 v174 -v11 -v739 -v645 -v509 -v433 -v399 -v279 -v183 v139 v19 -v743 -v644 -v560 -v511 -v465 -v432 -v394 -v368 -v276 -v205 -v168 v153 v20 -v9 -v742 -v564 -v516 -v371 -v285 -v206 -v169 -v149 v89 v65 v21 -v652 -v513 -v471 -v392 -v375 -v164 -v148 -v116 v103 v67 v32 -v655 -v630 -v522 -v374 v99 v72 -v659 -v629 -v566 -v346 -v224 -v162 -v122 v98 v69 -v658 -v567 -v350 -v320 -v228 v77 -v637 -v474 -v331 v126 v638 -v327 -v701 -v599 -v105 -v63 v49 -v752 -v601 -v271 v48 -v770 -v498 -v270 v57 -v766 -v497 v243 -v765 -v709 -v698 -v595 v261 v58 -v713 -v441 -v257 v193 -v625 -v596 -v459 -v302 -v256 v192 v45 v14 -v627 -v455 v13 -v494 -v454 -v434 -v418 -v397 -v200 -v730 -v554 -v436 -v419 -v396 -v204 v173 -v731 -v621 -v553 -v461 -v414 -v208 v191 -v167 v150 -v732 -v362 -v275 -v207 -v187 -v166 v152 -v747 -v622 -v561 -v467 -v430 -v412 -v363 -v293 -v186 v100 v35 -v10 -v646 -v565 -v512 -v364 -v289 -v218 v102 v36 -v685 -v647 -v569 -v530 -v472 -v431 -v393 -v379 -v288 -v217 -v146 v31 -v648 -v568 -v526 -v115 v68 -v663 -v525 -v475 -v348 -v328 -v225 -v163 -v147 -v117 v96 v85 v29 -v631 -v473 -v352 -v330 -v229 -v123 v81 -v632 -v230 v119 v97 v80 v633 -v326 -v231 v127 -v767 -v702 -v600 -v333 v104 -v61 -v769 -v268 v258 v260 -v763 -v711 -v456 v299 -v269 -v715 -v626 -v458 -v764 -v417 v301 -v254 -v435 -v416 v194 -v717 -v452 -v255 v195 v188 -v718 v196 v190 -v151 -v750 -v453 -v290 v212 v34 -v751 -v555 -v460 -v292 v101 v33 -v746 v681 -v556 -v527 -v462 -v413 -v382 -v184 -v557 -v529 -v468 -v383 -v343 -v744 -v684 -v666 -v573 -v464 -v378 -v342 -v286 -v185 v82 -v667 -v476 -v329 -v219 v84 -v662 -v534 -v523 -v376 -v349 -v287 -v220 v30 -v538 -v353 v221 -v118 -v660 -v642 -v604 -v524 -v354 v235 v135 v78 -v643 v608 -v355 -v324 v131 -v768 v332 v106 -v62 v706 -v259 v705 -v457 -v712 v298 v108 v716 v720 v303 v719 v189 -v749 v215 -v748 -v291 v216 v677 -v381 -v306 v211 -v528 -v380 v680 -v665 -v576 v209 -v664 -v577 -v463 -v83 -v745 v686 -v572 -v484 -v480 -v344 -v641 -v570 v533 -v479 -v377 -v345 v238 -v132 -v640 -v537 v239 -v134 -v689 -v661 -v603 v234 v79 v607 -v325 -v130 -v502 -v295 v109 v707 v107 v708 -v546 -v335 v300 -v771 v724 v304 v214 v213 v673 v307 -v305 v772 v676 v773 -v575 -v574 v682 -v481 v210 -v483 v687 v237 v236 -v133 -v690 -v571 v535 -v477 v358 -v688 -v539 v359 v605 -v478 v232 v609 -v128 v110 -v501 v336 -v334 v294 v727 -v545 v296 -v723 v308 -v721 v672 v582 -v482 v683 v532 -v679 v531 v357 -v691 v356 v536 -v540 v606 -v233 v610 -v129 v337 -v114 v726 v503 -v113 v725 -v547 v297 -v669 -v506 v316 -v312 -v722 v674 v581 v549 -v311 v550 -v678 v586 v542 v341 v541 v504 v340 -v111 -v548 v507 v313 -v112 -v505 v315 v580 v552 v668 v551 v670 v583 -v309 v675 -v310 v585 v338 v543 v508 -v314 v544 v339 v774 v579 v578 v671 v584 v775 one 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/55 3405
Raw data (stat): 3405 (runsolver) R 3404 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 753668918 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1066 0 0 0 992 4 0 0 25 0 1 0 753668918 9965568 1043 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2433 1043 566 18 0 2415 0
vsize: 9732
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1235 0 0 0 1989 8 0 0 25 0 1 0 753668918 10747904 1212 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2624 1212 566 18 0 2606 0
vsize: 10496
[startup+30.001 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1328 0 0 0 2987 10 0 0 25 0 1 0 753668918 11104256 1305 4294967295 134512640 134581331 3221221792 3221220612 1075289711 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2711 1305 566 18 0 2693 0
vsize: 10844
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1449 0 0 0 3984 13 0 0 25 0 1 0 753668918 11620352 1426 4294967295 134512640 134581331 3221221792 3221220676 134557922 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2837 1426 566 18 0 2819 0
vsize: 11348
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1545 0 0 0 4981 16 0 0 25 0 1 0 753668918 12009472 1522 4294967295 134512640 134581331 3221221792 3221220624 134528569 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2932 1522 566 18 0 2914 0
vsize: 11728
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1565 0 0 0 5979 18 0 0 25 0 1 0 753668918 12009472 1542 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2932 1542 566 18 0 2914 0
vsize: 11728
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1599 0 0 0 6977 20 0 0 25 0 1 0 753668918 12136448 1576 4294967295 134512640 134581331 3221221792 3221220656 134528275 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2963 1576 566 18 0 2945 0
vsize: 11852
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1618 0 0 0 7975 23 0 0 25 0 1 0 753668918 12263424 1595 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2994 1595 566 18 0 2976 0
vsize: 11976
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1708 0 0 0 8973 25 0 0 25 0 1 0 753668918 12652544 1685 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3089 1685 566 18 0 3071 0
vsize: 12356
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1708 0 0 0 9970 28 0 0 25 0 1 0 753668918 12652544 1685 4294967295 134512640 134581331 3221221792 3221220568 1075291647 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3089 1685 566 18 0 3071 0
vsize: 12356
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1726 0 0 0 10968 31 0 0 25 0 1 0 753668918 12652544 1703 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3089 1703 566 18 0 3071 0
vsize: 12356
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1795 0 0 0 11966 33 0 0 25 0 1 0 753668918 13041664 1772 4294967295 134512640 134581331 3221221792 3221220568 1075285701 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3184 1772 566 18 0 3166 0
vsize: 12736
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1844 0 0 0 12963 35 0 0 25 0 1 0 753668918 13168640 1821 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3215 1821 566 18 0 3197 0
vsize: 12860
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1861 0 0 0 13961 38 0 0 25 0 1 0 753668918 13246464 1838 4294967295 134512640 134581331 3221221792 3221220676 134557882 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3234 1838 566 18 0 3216 0
vsize: 12936
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1898 0 0 0 14959 39 0 0 25 0 1 0 753668918 13381632 1875 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3267 1875 566 18 0 3249 0
vsize: 13068
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1898 0 0 0 15957 42 0 0 25 0 1 0 753668918 13381632 1875 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3267 1875 566 18 0 3249 0
vsize: 13068
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1898 0 0 0 16955 44 0 0 25 0 1 0 753668918 13381632 1875 4294967295 134512640 134581331 3221221792 3221220636 134528557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3267 1875 566 18 0 3249 0
vsize: 13068
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1898 0 0 0 17954 46 0 0 25 0 1 0 753668918 13361152 1875 4294967295 134512640 134581331 3221221792 3221220676 134557901 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3262 1875 566 18 0 3244 0
vsize: 13048
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1948 0 0 0 18952 47 0 0 25 0 1 0 753668918 13611008 1925 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3323 1925 566 18 0 3305 0
vsize: 13292
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1955 0 0 0 19949 50 0 0 25 0 1 0 753668918 13611008 1932 4294967295 134512640 134581331 3221221792 3221220736 134559234 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3323 1932 566 18 0 3305 0
vsize: 13292
[startup+210.004 s]
Raw data (loadavg): 0.99 0.98 0.99 3/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1955 0 0 0 20947 53 0 0 25 0 1 0 753668918 13611008 1932 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3323 1932 566 18 0 3305 0
vsize: 13292
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1955 0 0 0 21944 56 0 0 25 0 1 0 753668918 13611008 1932 4294967295 134512640 134581331 3221221792 3221220704 134527416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3323 1932 566 18 0 3305 0
vsize: 13292
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1963 0 0 0 22942 58 0 0 25 0 1 0 753668918 13611008 1940 4294967295 134512640 134581331 3221221792 3221220676 134557874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3323 1940 566 18 0 3305 0
vsize: 13292
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 1963 0 0 0 23940 60 0 0 25 0 1 0 753668918 13611008 1940 4294967295 134512640 134581331 3221221792 3221220736 134558956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3323 1940 566 18 0 3305 0
vsize: 13292
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2030 0 0 0 24938 63 0 0 25 0 1 0 753668918 14004224 2007 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2007 566 18 0 3401 0
vsize: 13676
[startup+260.005 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2052 0 0 0 25935 65 0 0 25 0 1 0 753668918 14004224 2029 4294967295 134512640 134581331 3221221792 3221220656 134528516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2029 566 18 0 3401 0
vsize: 13676
[startup+270.005 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2055 0 0 0 26933 68 0 0 25 0 1 0 753668918 14004224 2032 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3419 2032 566 18 0 3401 0
vsize: 13676
[startup+280.006 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2092 0 0 0 27931 70 0 0 25 0 1 0 753668918 14143488 2069 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3453 2069 566 18 0 3435 0
vsize: 13812
[startup+290.006 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2111 0 0 0 28929 72 0 0 25 0 1 0 753668918 14274560 2088 4294967295 134512640 134581331 3221221792 3221220560 1075288356 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3485 2088 566 18 0 3467 0
vsize: 13940
[startup+300.007 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2152 0 0 0 29926 75 0 0 25 0 1 0 753668918 14405632 2129 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3517 2129 566 18 0 3499 0
vsize: 14068
[startup+310.007 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2152 0 0 0 30924 78 0 0 25 0 1 0 753668918 14385152 2129 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3512 2129 566 18 0 3494 0
vsize: 14048
[startup+320.007 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2152 0 0 0 31922 80 0 0 25 0 1 0 753668918 14385152 2129 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3512 2129 566 18 0 3494 0
vsize: 14048
[startup+330.007 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2202 0 0 0 32920 82 0 0 25 0 1 0 753668918 14643200 2179 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3575 2179 566 18 0 3557 0
vsize: 14300
[startup+340.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2202 0 0 0 33918 84 0 0 25 0 1 0 753668918 14643200 2179 4294967295 134512640 134581331 3221221792 3221220676 134557830 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3575 2179 566 18 0 3557 0
vsize: 14300
[startup+350.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2202 0 0 0 34917 86 0 0 25 0 1 0 753668918 14577664 2176 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3559 2176 566 18 0 3541 0
vsize: 14236
[startup+360.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2249 0 0 0 35914 89 0 0 25 0 1 0 753668918 14839808 2223 4294967295 134512640 134581331 3221221792 3221220576 134528904 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3623 2223 566 18 0 3605 0
vsize: 14492
[startup+370.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2341 0 0 0 36911 92 0 0 25 0 1 0 753668918 15224832 2315 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2315 566 18 0 3699 0
vsize: 14868
[startup+380.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2341 0 0 0 37910 93 0 0 25 0 1 0 753668918 15224832 2315 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2315 566 18 0 3699 0
vsize: 14868
[startup+390.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2341 0 0 0 38908 95 0 0 25 0 1 0 753668918 15224832 2315 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2315 566 18 0 3699 0
vsize: 14868
[startup+400.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2341 0 0 0 39906 98 0 0 25 0 1 0 753668918 15224832 2315 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2315 566 18 0 3699 0
vsize: 14868
[startup+410.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2367 0 0 0 40904 99 0 0 25 0 1 0 753668918 15351808 2341 4294967295 134512640 134581331 3221221792 3221220688 134517764 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3748 2341 566 18 0 3730 0
vsize: 14992
[startup+420.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2374 0 0 0 41902 101 0 0 25 0 1 0 753668918 15351808 2348 4294967295 134512640 134581331 3221221792 3221220736 134558806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3748 2348 566 18 0 3730 0
vsize: 14992
[startup+430.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2374 0 0 0 42900 103 0 0 25 0 1 0 753668918 15351808 2348 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3748 2348 566 18 0 3730 0
vsize: 14992
[startup+440.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2374 0 0 0 43899 105 0 0 25 0 1 0 753668918 15351808 2348 4294967295 134512640 134581331 3221221792 3221220576 134528765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3748 2348 566 18 0 3730 0
vsize: 14992
[startup+450.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2374 0 0 0 44897 107 0 0 25 0 1 0 753668918 15351808 2348 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3748 2348 566 18 0 3730 0
vsize: 14992
[startup+460.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2374 0 0 0 45895 110 0 0 25 0 1 0 753668918 15331328 2348 4294967295 134512640 134581331 3221221792 3221220656 134528275 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3743 2348 566 18 0 3725 0
vsize: 14972
[startup+470.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2374 0 0 0 46892 112 0 0 25 0 1 0 753668918 15331328 2348 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3743 2348 566 18 0 3725 0
vsize: 14972
[startup+480.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2407 0 0 0 47891 114 0 0 25 0 1 0 753668918 15462400 2381 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3775 2381 566 18 0 3757 0
vsize: 15100
[startup+490.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2407 0 0 0 48888 117 0 0 25 0 1 0 753668918 15462400 2381 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3775 2381 566 18 0 3757 0
vsize: 15100
[startup+500.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2407 0 0 0 49886 119 0 0 25 0 1 0 753668918 15462400 2381 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3775 2381 566 18 0 3757 0
vsize: 15100
[startup+510.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2407 0 0 0 50882 123 0 0 25 0 1 0 753668918 15462400 2381 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3775 2381 566 18 0 3757 0
vsize: 15100
[startup+520.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3405
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2407 0 0 0 51880 125 0 0 25 0 1 0 753668918 15462400 2381 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3775 2381 566 18 0 3757 0
vsize: 15100
[startup+530.156 s]
Raw data (loadavg): 1.15 1.03 1.01 3/58 3445
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2407 0 0 0 52891 128 0 0 25 0 1 0 753668918 15462400 2381 4294967295 134512640 134581331 3221221792 3221220656 134528275 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3775 2381 566 18 0 3757 0
vsize: 15100
[startup+540.156 s]
Raw data (loadavg): 1.36 1.08 1.03 3/59 3457
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2463 0 0 0 53889 131 0 0 25 0 1 0 753668918 15724544 2437 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3839 2437 566 18 0 3821 0
vsize: 15356
[startup+550.157 s]
Raw data (loadavg): 1.31 1.08 1.02 2/55 3458
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2509 0 0 0 54887 133 0 0 25 0 1 0 753668918 15851520 2483 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3870 2483 566 18 0 3852 0
vsize: 15480
[startup+560.157 s]
Raw data (loadavg): 1.26 1.07 1.02 2/55 3458
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2509 0 0 0 55885 135 0 0 25 0 1 0 753668918 15851520 2483 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3870 2483 566 18 0 3852 0
vsize: 15480
[startup+570.157 s]
Raw data (loadavg): 1.22 1.07 1.02 2/55 3458
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2560 0 0 0 56883 137 0 0 25 0 1 0 753668918 16113664 2534 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3934 2534 566 18 0 3916 0
vsize: 15736
[startup+580.157 s]
Raw data (loadavg): 1.18 1.07 1.02 2/55 3458
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2560 0 0 0 57880 140 0 0 25 0 1 0 753668918 16113664 2534 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3934 2534 566 18 0 3916 0
vsize: 15736
[startup+590.157 s]
Raw data (loadavg): 1.16 1.07 1.02 2/55 3458
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2569 0 0 0 58879 141 0 0 25 0 1 0 753668918 16113664 2543 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3934 2543 566 18 0 3916 0
vsize: 15736
[startup+600.157 s]
Raw data (loadavg): 1.13 1.06 1.02 2/55 3458
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2585 0 0 0 59878 143 0 0 25 0 1 0 753668918 16244736 2559 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3966 2559 566 18 0 3948 0
vsize: 15864
[startup+610.157 s]
Raw data (loadavg): 1.11 1.06 1.02 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2585 0 0 0 60876 144 0 0 25 0 1 0 753668918 16244736 2559 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3966 2559 566 18 0 3948 0
vsize: 15864
[startup+620.157 s]
Raw data (loadavg): 1.09 1.06 1.02 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2635 0 0 0 61875 146 0 0 25 0 1 0 753668918 16371712 2609 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2609 566 18 0 3979 0
vsize: 15988
[startup+630.158 s]
Raw data (loadavg): 1.08 1.06 1.02 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2635 0 0 0 62873 149 0 0 25 0 1 0 753668918 16371712 2609 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2609 566 18 0 3979 0
vsize: 15988
[startup+640.158 s]
Raw data (loadavg): 1.07 1.05 1.02 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2635 0 0 0 63870 151 0 0 25 0 1 0 753668918 16371712 2609 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2609 566 18 0 3979 0
vsize: 15988
[startup+650.159 s]
Raw data (loadavg): 1.06 1.05 1.01 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2635 0 0 0 64868 154 0 0 25 0 1 0 753668918 16371712 2609 4294967295 134512640 134581331 3221221792 3221220752 134516747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2609 566 18 0 3979 0
vsize: 15988
[startup+660.159 s]
Raw data (loadavg): 1.05 1.05 1.01 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2635 0 0 0 65867 155 0 0 25 0 1 0 753668918 16371712 2609 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2609 566 18 0 3979 0
vsize: 15988
[startup+670.159 s]
Raw data (loadavg): 1.04 1.05 1.01 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2635 0 0 0 66865 157 0 0 25 0 1 0 753668918 16371712 2609 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2609 566 18 0 3979 0
vsize: 15988
[startup+680.159 s]
Raw data (loadavg): 1.03 1.05 1.01 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2635 0 0 0 67863 159 0 0 25 0 1 0 753668918 16371712 2609 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2609 566 18 0 3979 0
vsize: 15988
[startup+690.159 s]
Raw data (loadavg): 1.03 1.04 1.01 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2635 0 0 0 68861 161 0 0 25 0 1 0 753668918 16371712 2609 4294967295 134512640 134581331 3221221792 3221220628 134528561 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3997 2609 566 18 0 3979 0
vsize: 15988
[startup+700.16 s]
Raw data (loadavg): 1.02 1.04 1.01 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2653 0 0 0 69860 163 0 0 25 0 1 0 753668918 16506880 2627 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4030 2627 566 18 0 4012 0
vsize: 16120
[startup+710.16 s]
Raw data (loadavg): 1.02 1.04 1.01 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2653 0 0 0 70858 165 0 0 25 0 1 0 753668918 16506880 2627 4294967295 134512640 134581331 3221221792 3221220656 134528258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4030 2627 566 18 0 4012 0
vsize: 16120
[startup+720.16 s]
Raw data (loadavg): 1.02 1.04 1.01 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2653 0 0 0 71856 167 0 0 25 0 1 0 753668918 16502784 2627 4294967295 134512640 134581331 3221221792 3221220704 134527778 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4029 2627 566 18 0 4011 0
vsize: 16116
[startup+730.161 s]
Raw data (loadavg): 1.01 1.04 1.01 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2653 0 0 0 72854 169 0 0 25 0 1 0 753668918 16441344 2627 4294967295 134512640 134581331 3221221792 3221220624 134528569 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4014 2627 566 18 0 3996 0
vsize: 16056
[startup+740.161 s]
Raw data (loadavg): 1.01 1.03 1.01 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2653 0 0 0 73852 171 0 0 25 0 1 0 753668918 16441344 2627 4294967295 134512640 134581331 3221221792 3221220756 1075285481 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4014 2627 566 18 0 3996 0
vsize: 16056
[startup+750.161 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2653 0 0 0 74850 173 0 0 25 0 1 0 753668918 16441344 2627 4294967295 134512640 134581331 3221221792 3221220720 134519877 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4014 2627 566 18 0 3996 0
vsize: 16056
[startup+760.16 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2653 0 0 0 75848 175 0 0 25 0 1 0 753668918 16441344 2627 4294967295 134512640 134581331 3221221792 3221220676 134557954 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4014 2627 566 18 0 3996 0
vsize: 16056
[startup+770.161 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2653 0 0 0 76847 177 0 0 25 0 1 0 753668918 16441344 2627 4294967295 134512640 134581331 3221221792 3221220784 134560663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4014 2627 566 18 0 3996 0
vsize: 16056
[startup+780.161 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2653 0 0 0 77844 180 0 0 25 0 1 0 753668918 16433152 2627 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4012 2627 566 18 0 3994 0
vsize: 16048
[startup+790.161 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2653 0 0 0 78842 182 0 0 25 0 1 0 753668918 16429056 2627 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2627 566 18 0 3993 0
vsize: 16044
[startup+800.162 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2653 0 0 0 79841 183 0 0 25 0 1 0 753668918 16429056 2627 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2627 566 18 0 3993 0
vsize: 16044
[startup+810.162 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2653 0 0 0 80838 186 0 0 25 0 1 0 753668918 16429056 2627 4294967295 134512640 134581331 3221221792 3221220656 134528287 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2627 566 18 0 3993 0
vsize: 16044
[startup+820.162 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2686 0 0 0 81835 189 0 0 25 0 1 0 753668918 16687104 2660 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4074 2660 566 18 0 4056 0
vsize: 16296
[startup+830.163 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2745 0 0 0 82833 192 0 0 25 0 1 0 753668918 16818176 2719 4294967295 134512640 134581331 3221221792 3221220656 134528368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4106 2719 566 18 0 4088 0
vsize: 16424
[startup+840.163 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2745 0 0 0 83831 194 0 0 25 0 1 0 753668918 16818176 2719 4294967295 134512640 134581331 3221221792 3221220844 1075285472 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4106 2719 566 18 0 4088 0
vsize: 16424
[startup+850.163 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 3460
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2745 0 0 0 84830 196 0 0 25 0 1 0 753668918 16818176 2719 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4106 2719 566 18 0 4088 0
vsize: 16424
[startup+860.163 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2762 0 0 0 85827 198 0 0 25 0 1 0 753668918 16949248 2736 4294967295 134512640 134581331 3221221792 3221220656 134528547 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4138 2736 566 18 0 4120 0
vsize: 16552
[startup+870.163 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2762 0 0 0 86826 200 0 0 25 0 1 0 753668918 16949248 2736 4294967295 134512640 134581331 3221221792 3221220704 134527416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4138 2736 566 18 0 4120 0
vsize: 16552
[startup+880.163 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2782 0 0 0 87824 202 0 0 25 0 1 0 753668918 17080320 2756 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4170 2756 566 18 0 4152 0
vsize: 16680
[startup+890.163 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2782 0 0 0 88822 204 0 0 25 0 1 0 753668918 17072128 2756 4294967295 134512640 134581331 3221221792 3221220688 134517846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4168 2756 566 18 0 4150 0
vsize: 16672
[startup+900.164 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2782 0 0 0 89820 206 0 0 25 0 1 0 753668918 16998400 2756 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4150 2756 566 18 0 4132 0
vsize: 16600
[startup+910.163 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2782 0 0 0 90819 207 0 0 25 0 1 0 753668918 16986112 2756 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4147 2756 566 18 0 4129 0
vsize: 16588
[startup+920.163 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2782 0 0 0 91817 209 0 0 25 0 1 0 753668918 16986112 2756 4294967295 134512640 134581331 3221221792 3221220428 1075288837 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4147 2756 566 18 0 4129 0
vsize: 16588
[startup+930.163 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2782 0 0 0 92816 211 0 0 25 0 1 0 753668918 16986112 2756 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4147 2756 566 18 0 4129 0
vsize: 16588
[startup+940.163 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2782 0 0 0 93814 213 0 0 25 0 1 0 753668918 16986112 2756 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4147 2756 566 18 0 4129 0
vsize: 16588
[startup+950.165 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2782 0 0 0 94812 215 0 0 25 0 1 0 753668918 16986112 2756 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4147 2756 566 18 0 4129 0
vsize: 16588
[startup+960.164 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2793 0 0 0 95810 217 0 0 25 0 1 0 753668918 17117184 2767 4294967295 134512640 134581331 3221221792 3221220576 134528826 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4179 2767 566 18 0 4161 0
vsize: 16716
[startup+970.164 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2793 0 0 0 96808 219 0 0 25 0 1 0 753668918 17059840 2767 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 2767 566 18 0 4147 0
vsize: 16660
[startup+980.165 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2793 0 0 0 97806 221 0 0 25 0 1 0 753668918 17059840 2767 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 2767 566 18 0 4147 0
vsize: 16660
[startup+990.165 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2793 0 0 0 98805 222 0 0 25 0 1 0 753668918 17059840 2767 4294967295 134512640 134581331 3221221792 3221220428 1075289118 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 2767 566 18 0 4147 0
vsize: 16660
[startup+1000.16 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2793 0 0 0 99803 225 0 0 25 0 1 0 753668918 17059840 2767 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 2767 566 18 0 4147 0
vsize: 16660
[startup+1010.17 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2793 0 0 0 100801 227 0 0 25 0 1 0 753668918 17059840 2767 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 2767 566 18 0 4147 0
vsize: 16660
[startup+1020.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2793 0 0 0 101799 229 0 0 25 0 1 0 753668918 17059840 2767 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 2767 566 18 0 4147 0
vsize: 16660
[startup+1030.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2793 0 0 0 102797 231 0 0 25 0 1 0 753668918 17059840 2767 4294967295 134512640 134581331 3221221792 3221220676 134557925 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 2767 566 18 0 4147 0
vsize: 16660
[startup+1040.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2793 0 0 0 103796 233 0 0 25 0 1 0 753668918 17059840 2767 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 2767 566 18 0 4147 0
vsize: 16660
[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2793 0 0 0 104794 234 0 0 25 0 1 0 753668918 17059840 2767 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 2767 566 18 0 4147 0
vsize: 16660
[startup+1060.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2793 0 0 0 105792 237 0 0 25 0 1 0 753668918 17059840 2767 4294967295 134512640 134581331 3221221792 3221220576 134528765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 2767 566 18 0 4147 0
vsize: 16660
[startup+1070.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2793 0 0 0 106790 239 0 0 25 0 1 0 753668918 17059840 2767 4294967295 134512640 134581331 3221221792 3221220576 134528721 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 2767 566 18 0 4147 0
vsize: 16660
[startup+1080.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2793 0 0 0 107788 241 0 0 25 0 1 0 753668918 17059840 2767 4294967295 134512640 134581331 3221221792 3221220656 134527118 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 2767 566 18 0 4147 0
vsize: 16660
[startup+1090.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2793 0 0 0 108786 243 0 0 25 0 1 0 753668918 17059840 2767 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 2767 566 18 0 4147 0
vsize: 16660
[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2793 0 0 0 109784 245 0 0 25 0 1 0 753668918 17059840 2767 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 2767 566 18 0 4147 0
vsize: 16660
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2797 0 0 0 110782 247 0 0 25 0 1 0 753668918 17059840 2771 4294967295 134512640 134581331 3221221792 3221220628 134528561 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 2771 566 18 0 4147 0
vsize: 16660
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2800 0 0 0 111781 249 0 0 25 0 1 0 753668918 17059840 2774 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 2774 566 18 0 4147 0
vsize: 16660
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2800 0 0 0 112779 251 0 0 25 0 1 0 753668918 17059840 2774 4294967295 134512640 134581331 3221221792 3221220704 134527780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 2774 566 18 0 4147 0
vsize: 16660
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2800 0 0 0 113777 253 0 0 25 0 1 0 753668918 17059840 2774 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 2774 566 18 0 4147 0
vsize: 16660
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2800 0 0 0 114775 255 0 0 25 0 1 0 753668918 17059840 2774 4294967295 134512640 134581331 3221221792 3221220736 134558859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4165 2774 566 18 0 4147 0
vsize: 16660
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2816 0 0 0 115774 257 0 0 25 0 1 0 753668918 17190912 2790 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4197 2790 566 18 0 4179 0
vsize: 16788
[startup+1170.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2817 0 0 0 116771 259 0 0 25 0 1 0 753668918 17190912 2791 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4197 2791 566 18 0 4179 0
vsize: 16788
[startup+1180.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2836 0 0 0 117770 260 0 0 25 0 1 0 753668918 17190912 2810 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4197 2810 566 18 0 4179 0
vsize: 16788
[startup+1188.88 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 3462
Raw data (stat): 3405 (Pueblo) R 3404 7876 7672 0 -1 0 2836 0 0 0 117770 260 0 0 25 0 1 0 753668918 17190912 2810 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4197 2810 566 18 0 4179 0
vsize: 0

Child status: 10
Real time (s): 1188.88
CPU time (s): 1189.02
CPU user time (s): 1186.38
CPU system time (s): 2.6356
CPU usage (%): 100.012
Max. virtual memory (Kb): 16788
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	19
#### END VERIFIER DATA ####