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/ttp/normalized-data6_3.opb
MD5SUM	3ce91e964f348d481da3f7741c5768eb
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	25102
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	1380
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	116904
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	1380
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	116904
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03084
Number of variables	540
Total number of constraints	4476
Number of constraints which are clauses	2532
Number of constraints which are cardinality constraints (but not clauses)	264
Number of constraints which are nor clauses,nor cardinality constraints	1680
Minimum length of a constraint	2
Maximum length of a constraint	20
Trace number 24450

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 14:02:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2356 boxname=wulflinc31 idbench=262 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  3ce91e964f348d481da3f7741c5768eb  /oldhome/oroussel/tmp/wulflinc31/normalized-data6_3.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-data6_3.opb
IDLAUNCH: 2356
/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:        291712 kB
Buffers:         46796 kB
Cached:         662208 kB
SwapCached:        644 kB
Active:         311776 kB
Inactive:       399552 kB
HighTotal:      131008 kB
HighFree:        28336 kB
LowTotal:       903652 kB
LowFree:        263376 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            25912 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 14:22:38 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 2356 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-data6_3.opb
c #variables read: 540 - #constraints read: 4627
s SATISFIABLE
v -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 -v2 -v38 -v74 -v110 v146 -v182 -v218 -v254 -v290 -v326 -v3 -v39 -v75 v111 -v147 -v183 -v219 -v255 -v291 -v327 -v4 -v40 -v76 -v112 -v148 -v184 -v220 -v256 v292 -v328 -v5 -v41 -v77 -v113 -v149 -v185 -v221 -v257 -v293 v329 -v6 -v42 -v78 -v114 -v150 v186 -v222 -v258 -v294 -v330 -v7 -v43 v79 -v115 -v151 -v187 -v223 -v259 -v295 -v331 -v9 -v45 -v81 -v117 -v153 -v189 v225 -v261 -v297 -v333 -v10 -v46 -v82 -v118 -v154 -v190 -v226 -v262 -v298 v334 -v11 v47 -v83 -v119 -v155 -v191 -v227 -v263 -v299 -v335 v12 -v48 -v84 -v120 -v156 -v192 -v228 -v264 -v300 -v336 v13 -v49 -v85 -v121 -v157 -v193 -v229 -v265 -v301 -v337 -v14 -v50 -v86 -v122 -v158 -v194 -v230 -v266 v302 -v338 -v16 -v52 -v88 -v124 -v160 -v196 -v232 v268 -v304 -v340 -v17 -v53 -v89 -v125 -v161 v197 -v233 -v269 -v305 -v341 -v18 v54 -v90 -v126 -v162 -v198 -v234 -v270 -v306 -v342 -v19 v55 -v91 -v127 -v163 -v199 -v235 -v271 -v307 -v343 -v20 -v56 -v92 -v128 -v164 v200 -v236 -v272 -v308 -v344 -v21 -v57 -v93 -v129 v165 -v201 -v237 -v273 -v309 -v345 v23 -v59 -v95 -v131 -v167 -v203 -v239 -v275 -v311 -v347 -v24 -v60 -v96 -v132 -v168 -v204 v240 -v276 -v312 -v348 -v25 -v61 -v97 -v133 -v169 -v205 v241 -v277 -v313 -v349 -v26 -v62 -v98 -v134 -v170 -v206 -v242 v278 -v314 -v350 -v27 -v63 v99 -v135 -v171 -v207 -v243 -v279 -v315 -v351 -v28 -v64 -v100 v136 -v172 -v208 -v244 -v280 -v316 -v352 -v30 -v66 -v102 -v138 v174 -v210 -v246 -v282 -v318 -v354 -v31 -v67 -v103 -v139 -v175 -v211 -v247 v283 -v319 -v355 -v32 -v68 -v104 v140 -v176 -v212 -v248 -v284 -v320 -v356 -v33 -v69 -v105 -v141 -v177 -v213 -v249 -v285 -v321 v357 -v34 -v70 v106 -v142 -v178 -v214 -v250 -v286 -v322 -v358 -v35 -v71 -v107 -v143 -v179 -v215 -v251 -v287 v323 -v359 -v8 -v44 -v80 v116 v152 v188 -v224 v260 v296 -v332 -v15 -v51 v87 v123 v159 -v195 v231 -v267 -v303 v339 -v22 -v58 v94 v130 -v166 -v202 -v238 v274 v310 v346 v29 v65 -v101 -v137 -v173 v209 -v245 -v281 v317 v353 v36 v72 -v108 -v144 v180 v216 v252 -v288 -v324 -v360 v1 v37 v73 -v109 -v145 -v181 v217 v253 -v289 -v325 
#### 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.95 0.93 2/54 11052
Raw data (stat): 11052 (runsolver) R 11051 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 709812276 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.96 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 888 0 0 0 990 7 0 0 25 0 1 0 709812276 9256960 865 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2260 865 566 18 0 2242 0
vsize: 9040
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 946 0 0 0 1986 10 0 0 25 0 1 0 709812276 9523200 923 4294967295 134512640 134581331 3221221792 3221219824 134532140 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2325 923 566 18 0 2307 0
vsize: 9300
[startup+30.002 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1034 0 0 0 2984 13 0 0 25 0 1 0 709812276 9928704 1011 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2424 1011 566 18 0 2406 0
vsize: 9696
[startup+40.002 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1119 0 0 0 3981 16 0 0 25 0 1 0 709812276 10326016 1096 4294967295 134512640 134581331 3221221792 3221220704 134527481 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1096 566 18 0 2503 0
vsize: 10084
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1157 0 0 0 4978 19 0 0 25 0 1 0 709812276 10461184 1134 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2554 1134 566 18 0 2536 0
vsize: 10216
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1157 0 0 0 5977 21 0 0 25 0 1 0 709812276 10461184 1134 4294967295 134512640 134581331 3221221792 3221220676 134557957 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2554 1134 566 18 0 2536 0
vsize: 10216
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1178 0 0 0 6975 22 0 0 25 0 1 0 709812276 10452992 1155 4294967295 134512640 134581331 3221221792 3221220720 134519955 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2552 1155 566 18 0 2534 0
vsize: 10208
[startup+80.0047 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1294 0 0 0 7974 24 0 0 25 0 1 0 709812276 10989568 1271 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2683 1271 566 18 0 2665 0
vsize: 10732
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1294 0 0 0 8972 25 0 0 25 0 1 0 709812276 10989568 1271 4294967295 134512640 134581331 3221221792 3221220656 134528272 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2683 1271 566 18 0 2665 0
vsize: 10732
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1334 0 0 0 9971 27 0 0 25 0 1 0 709812276 11124736 1311 4294967295 134512640 134581331 3221221792 3221220736 134559680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2716 1311 566 18 0 2698 0
vsize: 10864
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1377 0 0 0 10969 29 0 0 25 0 1 0 709812276 11259904 1354 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2749 1354 566 18 0 2731 0
vsize: 10996
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1394 0 0 0 11967 31 0 0 25 0 1 0 709812276 11395072 1371 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2782 1371 566 18 0 2764 0
vsize: 11128
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1491 0 0 0 12965 34 0 0 25 0 1 0 709812276 11800576 1468 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2881 1468 566 18 0 2863 0
vsize: 11524
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1491 0 0 0 13963 36 0 0 25 0 1 0 709812276 11800576 1468 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2881 1468 566 18 0 2863 0
vsize: 11524
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1491 0 0 0 14961 38 0 0 25 0 1 0 709812276 11800576 1468 4294967295 134512640 134581331 3221221792 3221220480 1075288243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2881 1468 566 18 0 2863 0
vsize: 11524
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1491 0 0 0 15959 40 0 0 25 0 1 0 709812276 11800576 1468 4294967295 134512640 134581331 3221221792 3221220576 134528924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2881 1468 566 18 0 2863 0
vsize: 11524
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1512 0 0 0 16957 42 0 0 25 0 1 0 709812276 11800576 1489 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2881 1489 566 18 0 2863 0
vsize: 11524
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1512 0 0 0 17956 43 0 0 25 0 1 0 709812276 11800576 1489 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2881 1489 566 18 0 2863 0
vsize: 11524
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1512 0 0 0 18953 46 0 0 25 0 1 0 709812276 11800576 1489 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2881 1489 566 18 0 2863 0
vsize: 11524
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1540 0 0 0 19952 48 0 0 25 0 1 0 709812276 11931648 1517 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2913 1517 566 18 0 2895 0
vsize: 11652
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1540 0 0 0 20950 50 0 0 25 0 1 0 709812276 11931648 1517 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2913 1517 566 18 0 2895 0
vsize: 11652
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1542 0 0 0 21948 53 0 0 25 0 1 0 709812276 11931648 1519 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2913 1519 566 18 0 2895 0
vsize: 11652
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1562 0 0 0 22946 54 0 0 25 0 1 0 709812276 12066816 1539 4294967295 134512640 134581331 3221221792 3221220676 134557901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2946 1539 566 18 0 2928 0
vsize: 11784
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1562 0 0 0 23945 56 0 0 25 0 1 0 709812276 12066816 1539 4294967295 134512640 134581331 3221221792 3221220672 134558349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2946 1539 566 18 0 2928 0
vsize: 11784
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1562 0 0 0 24943 57 0 0 25 0 1 0 709812276 12066816 1539 4294967295 134512640 134581331 3221221792 3221220720 134520078 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2946 1539 566 18 0 2928 0
vsize: 11784
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1562 0 0 0 25942 59 0 0 25 0 1 0 709812276 12066816 1539 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2946 1539 566 18 0 2928 0
vsize: 11784
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1562 0 0 0 26940 61 0 0 25 0 1 0 709812276 12066816 1539 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2946 1539 566 18 0 2928 0
vsize: 11784
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1582 0 0 0 27938 63 0 0 25 0 1 0 709812276 12201984 1559 4294967295 134512640 134581331 3221221792 3221220768 134560721 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2979 1559 566 18 0 2961 0
vsize: 11916
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1650 0 0 0 28936 65 0 0 25 0 1 0 709812276 12472320 1627 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3045 1627 566 18 0 3027 0
vsize: 12180
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1736 0 0 0 29934 67 0 0 25 0 1 0 709812276 12738560 1713 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3110 1713 566 18 0 3092 0
vsize: 12440
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1782 0 0 0 30932 69 0 0 25 0 1 0 709812276 13004800 1759 4294967295 134512640 134581331 3221221792 3221220760 134527292 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3175 1759 566 18 0 3157 0
vsize: 12700
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1813 0 0 0 31931 71 0 0 25 0 1 0 709812276 13135872 1790 4294967295 134512640 134581331 3221221792 3221220720 134519915 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3207 1790 566 18 0 3189 0
vsize: 12828
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1813 0 0 0 32929 73 0 0 25 0 1 0 709812276 13135872 1790 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3207 1790 566 18 0 3189 0
vsize: 12828
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1833 0 0 0 33927 75 0 0 25 0 1 0 709812276 13135872 1810 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3207 1810 566 18 0 3189 0
vsize: 12828
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1846 0 0 0 34926 76 0 0 25 0 1 0 709812276 13271040 1823 4294967295 134512640 134581331 3221221792 3221220736 134558928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3240 1823 566 18 0 3222 0
vsize: 12960
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1846 0 0 0 35924 78 0 0 25 0 1 0 709812276 13271040 1823 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3240 1823 566 18 0 3222 0
vsize: 12960
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1846 0 0 0 36922 80 0 0 25 0 1 0 709812276 13271040 1823 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3240 1823 566 18 0 3222 0
vsize: 12960
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1846 0 0 0 37921 82 0 0 25 0 1 0 709812276 13271040 1823 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3240 1823 566 18 0 3222 0
vsize: 12960
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1896 0 0 0 38919 84 0 0 25 0 1 0 709812276 13406208 1873 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3273 1873 566 18 0 3255 0
vsize: 13092
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1896 0 0 0 39918 86 0 0 25 0 1 0 709812276 13406208 1873 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3273 1873 566 18 0 3255 0
vsize: 13092
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1896 0 0 0 40916 87 0 0 25 0 1 0 709812276 13406208 1873 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3273 1873 566 18 0 3255 0
vsize: 13092
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1896 0 0 0 41915 89 0 0 25 0 1 0 709812276 13406208 1873 4294967295 134512640 134581331 3221221792 3221220272 134532249 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3273 1873 566 18 0 3255 0
vsize: 13092
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1926 0 0 0 42914 89 0 0 25 0 1 0 709812276 13541376 1903 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1903 566 18 0 3288 0
vsize: 13224
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1926 0 0 0 43913 91 0 0 25 0 1 0 709812276 13541376 1903 4294967295 134512640 134581331 3221221792 3221220656 134528428 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1903 566 18 0 3288 0
vsize: 13224
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1926 0 0 0 44911 93 0 0 25 0 1 0 709812276 13541376 1903 4294967295 134512640 134581331 3221221792 3221220656 134526974 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1903 566 18 0 3288 0
vsize: 13224
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1926 0 0 0 45910 94 0 0 25 0 1 0 709812276 13541376 1903 4294967295 134512640 134581331 3221221792 3221220704 134527548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1903 566 18 0 3288 0
vsize: 13224
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1926 0 0 0 46908 96 0 0 25 0 1 0 709812276 13541376 1903 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1903 566 18 0 3288 0
vsize: 13224
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 47907 98 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1904 566 18 0 3288 0
vsize: 13224
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 48905 100 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1904 566 18 0 3288 0
vsize: 13224
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 49903 101 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1904 566 18 0 3288 0
vsize: 13224
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 50902 103 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220704 134519027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1904 566 18 0 3288 0
vsize: 13224
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 51900 105 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220512 134523183 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1904 566 18 0 3288 0
vsize: 13224
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 52899 106 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220708 1075285556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1904 566 18 0 3288 0
vsize: 13224
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 53898 108 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220672 134520271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1904 566 18 0 3288 0
vsize: 13224
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 54896 110 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220736 134554722 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1904 566 18 0 3288 0
vsize: 13224
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 55894 112 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220720 134519869 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1904 566 18 0 3288 0
vsize: 13224
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 56893 113 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1904 566 18 0 3288 0
vsize: 13224
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 57891 115 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1904 566 18 0 3288 0
vsize: 13224
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 58889 117 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1904 566 18 0 3288 0
vsize: 13224
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 59887 119 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220672 134520302 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1904 566 18 0 3288 0
vsize: 13224
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 60886 121 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220428 1075288811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1904 566 18 0 3288 0
vsize: 13224
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 61884 123 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220512 134523118 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1904 566 18 0 3288 0
vsize: 13224
[startup+630.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 62882 125 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1904 566 18 0 3288 0
vsize: 13224
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 63880 127 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220704 134531400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1904 566 18 0 3288 0
vsize: 13224
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 64879 128 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1904 566 18 0 3288 0
vsize: 13224
[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 65877 130 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1904 566 18 0 3288 0
vsize: 13224
[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 66876 132 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1904 566 18 0 3288 0
vsize: 13224
[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1927 0 0 0 67874 133 0 0 25 0 1 0 709812276 13541376 1904 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1904 566 18 0 3288 0
vsize: 13224
[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1928 0 0 0 68873 135 0 0 25 0 1 0 709812276 13541376 1905 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1905 566 18 0 3288 0
vsize: 13224
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1936 0 0 0 69870 137 0 0 25 0 1 0 709812276 13541376 1913 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3306 1913 566 18 0 3288 0
vsize: 13224
[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1946 0 0 0 70869 139 0 0 25 0 1 0 709812276 13672448 1923 4294967295 134512640 134581331 3221221792 3221220720 134519883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3338 1923 566 18 0 3320 0
vsize: 13352
[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1946 0 0 0 71867 141 0 0 25 0 1 0 709812276 13672448 1923 4294967295 134512640 134581331 3221221792 3221220512 134522674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3338 1923 566 18 0 3320 0
vsize: 13352
[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1951 0 0 0 72865 143 0 0 25 0 1 0 709812276 13672448 1928 4294967295 134512640 134581331 3221221792 3221220676 134557887 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3338 1928 566 18 0 3320 0
vsize: 13352
[startup+740.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1951 0 0 0 73863 145 0 0 25 0 1 0 709812276 13672448 1928 4294967295 134512640 134581331 3221221792 3221220736 134516863 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3338 1928 566 18 0 3320 0
vsize: 13352
[startup+750.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1951 0 0 0 74862 147 0 0 25 0 1 0 709812276 13672448 1928 4294967295 134512640 134581331 3221221792 3221220672 134558155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3338 1928 566 18 0 3320 0
vsize: 13352
[startup+760.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1951 0 0 0 75860 149 0 0 25 0 1 0 709812276 13672448 1928 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3338 1928 566 18 0 3320 0
vsize: 13352
[startup+770.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1964 0 0 0 76857 152 0 0 25 0 1 0 709812276 13803520 1941 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3370 1941 566 18 0 3352 0
vsize: 13480
[startup+780.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 1964 0 0 0 77855 154 0 0 25 0 1 0 709812276 13803520 1941 4294967295 134512640 134581331 3221221792 3221220720 134519996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3370 1941 566 18 0 3352 0
vsize: 13480
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2011 0 0 0 78854 156 0 0 25 0 1 0 709812276 13934592 1988 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3402 1988 566 18 0 3384 0
vsize: 13608
[startup+800.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2047 0 0 0 79852 158 0 0 25 0 1 0 709812276 14069760 2024 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3435 2024 566 18 0 3417 0
vsize: 13740
[startup+810.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2097 0 0 0 80849 160 0 0 25 0 1 0 709812276 14340096 2074 4294967295 134512640 134581331 3221221792 3221220720 134520049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3501 2074 566 18 0 3483 0
vsize: 14004
[startup+820.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2097 0 0 0 81847 162 0 0 25 0 1 0 709812276 14340096 2074 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3501 2074 566 18 0 3483 0
vsize: 14004
[startup+830.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2097 0 0 0 82846 164 0 0 25 0 1 0 709812276 14340096 2074 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3501 2074 566 18 0 3483 0
vsize: 14004
[startup+840.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2097 0 0 0 83843 167 0 0 25 0 1 0 709812276 14340096 2074 4294967295 134512640 134581331 3221221792 3221220720 134520021 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3501 2074 566 18 0 3483 0
vsize: 14004
[startup+850.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2097 0 0 0 84842 169 0 0 25 0 1 0 709812276 14340096 2074 4294967295 134512640 134581331 3221221792 3221220408 1075289104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3501 2074 566 18 0 3483 0
vsize: 14004
[startup+860.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 85840 170 0 0 25 0 1 0 709812276 14737408 2167 4294967295 134512640 134581331 3221221792 3221220672 134520266 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2167 566 18 0 3580 0
vsize: 14392
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 86839 172 0 0 25 0 1 0 709812276 14737408 2167 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2167 566 18 0 3580 0
vsize: 14392
[startup+880.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 87837 174 0 0 25 0 1 0 709812276 14737408 2167 4294967295 134512640 134581331 3221221792 3221220736 134559459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2167 566 18 0 3580 0
vsize: 14392
[startup+890.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 88835 176 0 0 25 0 1 0 709812276 14737408 2167 4294967295 134512640 134581331 3221221792 3221220736 134559263 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2167 566 18 0 3580 0
vsize: 14392
[startup+900.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 89833 178 0 0 25 0 1 0 709812276 14721024 2167 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3594 2167 566 18 0 3576 0
vsize: 14376
[startup+910.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 90831 180 0 0 25 0 1 0 709812276 14721024 2167 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3594 2167 566 18 0 3576 0
vsize: 14376
[startup+920.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 91830 182 0 0 25 0 1 0 709812276 14721024 2167 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3594 2167 566 18 0 3576 0
vsize: 14376
[startup+930.049 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 92828 184 0 0 25 0 1 0 709812276 14721024 2167 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3594 2167 566 18 0 3576 0
vsize: 14376
[startup+940.049 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 93826 186 0 0 25 0 1 0 709812276 14721024 2167 4294967295 134512640 134581331 3221221792 3221220656 134560474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3594 2167 566 18 0 3576 0
vsize: 14376
[startup+950.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 94823 189 0 0 25 0 1 0 709812276 14716928 2167 4294967295 134512640 134581331 3221221792 3221220752 134519892 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3593 2167 566 18 0 3575 0
vsize: 14372
[startup+960.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 95823 190 0 0 25 0 1 0 709812276 14716928 2167 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3593 2167 566 18 0 3575 0
vsize: 14372
[startup+970.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 96820 192 0 0 25 0 1 0 709812276 14716928 2167 4294967295 134512640 134581331 3221221792 3221220736 134559255 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3593 2167 566 18 0 3575 0
vsize: 14372
[startup+980.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 97818 194 0 0 25 0 1 0 709812276 14712832 2167 4294967295 134512640 134581331 3221221792 3221220288 1075288465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3592 2167 566 18 0 3574 0
vsize: 14368
[startup+990.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 98817 196 0 0 25 0 1 0 709812276 14712832 2167 4294967295 134512640 134581331 3221221792 3221220720 134519996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3592 2167 566 18 0 3574 0
vsize: 14368
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 99815 198 0 0 25 0 1 0 709812276 14712832 2167 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3592 2167 566 18 0 3574 0
vsize: 14368
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 100813 199 0 0 25 0 1 0 709812276 14712832 2167 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3592 2167 566 18 0 3574 0
vsize: 14368
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2190 0 0 0 101812 201 0 0 25 0 1 0 709812276 14712832 2167 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3592 2167 566 18 0 3574 0
vsize: 14368
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2239 0 0 0 102810 203 0 0 25 0 1 0 709812276 14848000 2216 4294967295 134512640 134581331 3221221792 3221220864 134531401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3625 2216 566 18 0 3607 0
vsize: 14500
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2239 0 0 0 103808 205 0 0 25 0 1 0 709812276 14848000 2216 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3625 2216 566 18 0 3607 0
vsize: 14500
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2239 0 0 0 104806 207 0 0 25 0 1 0 709812276 14848000 2216 4294967295 134512640 134581331 3221221792 3221220676 134557932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3625 2216 566 18 0 3607 0
vsize: 14500
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2239 0 0 0 105805 208 0 0 25 0 1 0 709812276 14848000 2216 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3625 2216 566 18 0 3607 0
vsize: 14500
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2239 0 0 0 106804 209 0 0 25 0 1 0 709812276 14848000 2216 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3625 2216 566 18 0 3607 0
vsize: 14500
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2239 0 0 0 107804 210 0 0 25 0 1 0 709812276 14848000 2216 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3625 2216 566 18 0 3607 0
vsize: 14500
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2244 0 0 0 108802 212 0 0 25 0 1 0 709812276 14848000 2221 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3625 2221 566 18 0 3607 0
vsize: 14500
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2244 0 0 0 109802 212 0 0 25 0 1 0 709812276 14848000 2221 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3625 2221 566 18 0 3607 0
vsize: 14500
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2244 0 0 0 110800 214 0 0 25 0 1 0 709812276 14848000 2221 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3625 2221 566 18 0 3607 0
vsize: 14500
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2244 0 0 0 111799 216 0 0 25 0 1 0 709812276 14848000 2221 4294967295 134512640 134581331 3221221792 3221220672 134560559 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3625 2221 566 18 0 3607 0
vsize: 14500
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2263 0 0 0 112797 218 0 0 25 0 1 0 709812276 14979072 2240 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3657 2240 566 18 0 3639 0
vsize: 14628
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2263 0 0 0 113795 220 0 0 25 0 1 0 709812276 14979072 2240 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3657 2240 566 18 0 3639 0
vsize: 14628
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2263 0 0 0 114794 222 0 0 25 0 1 0 709812276 14979072 2240 4294967295 134512640 134581331 3221221792 3221220676 134557932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3657 2240 566 18 0 3639 0
vsize: 14628
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2263 0 0 0 115792 223 0 0 25 0 1 0 709812276 14979072 2240 4294967295 134512640 134581331 3221221792 3221220672 134520299 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3657 2240 566 18 0 3639 0
vsize: 14628
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2264 0 0 0 116791 224 0 0 25 0 1 0 709812276 14979072 2241 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3657 2241 566 18 0 3639 0
vsize: 14628
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2336 0 0 0 117790 226 0 0 25 0 1 0 709812276 15249408 2313 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3723 2313 566 18 0 3705 0
vsize: 14892
[startup+1188.91 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 11052
Raw data (stat): 11052 (Pueblo) R 11051 7876 7672 0 -1 0 2336 0 0 0 117790 226 0 0 25 0 1 0 709812276 15249408 2313 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3723 2313 566 18 0 3705 0
vsize: 0

Child status: 10
Real time (s): 1188.91
CPU time (s): 1189.02
CPU user time (s): 1186.73
CPU system time (s): 2.28665
CPU usage (%): 100.009
Max. virtual memory (Kb): 14892
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	25102
#### END VERIFIER DATA ####