PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-2pb.opb
MD5SUM	55739635f7f3741bc4f78c540803ac21
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	64
Optimality of the best value was proved	NO
Number of terms in the objective function	648
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	648
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	3
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	648
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03884
Number of variables	648
Total number of constraints	1952
Number of constraints which are clauses	1928
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	27
Trace number 38442

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 09:51:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26508 boxname=wulflinc4 idbench=238 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  55739635f7f3741bc4f78c540803ac21  /oldhome/oroussel/tmp/wulflinc4/normalized-s4-4-3-2pb.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-s4-4-3-2pb.opb
IDLAUNCH: 26508
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        685176 kB
Buffers:         33992 kB
Cached:         293812 kB
SwapCached:        568 kB
Active:          53432 kB
Inactive:       276500 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        684924 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5312 kB
Slab:            13764 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 10:11:16 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26508 0 1189.01 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc4/normalized-s4-4-3-2pb.opb
c #variables read: 648 - #constraints read: 1953
s SATISFIABLE
v v1 v2 v3 -v4 -v5 -v6 -v7 -v8 -v9 -v10 -v11 -v12 v13 -v14 -v15 -v16 v17 -v18 -v19 -v20 v21 -v22 -v23 -v24 -v25 -v26 -v27 -v28 -v29 -v30 v31 -v32 -v33 -v34 -v35 -v36 -v37 -v38 -v39 -v40 -v41 -v42 -v43 -v44 -v45 v46 -v47 -v48 -v49 -v50 -v51 -v52 -v53 -v54 v55 v56 -v57 -v58 -v59 -v60 -v61 -v62 -v63 -v64 -v65 -v66 -v67 -v68 -v69 -v70 v71 -v72 -v73 -v74 -v75 v76 -v77 -v78 -v79 -v80 -v81 -v82 v83 -v84 v85 -v86 -v87 -v88 -v89 v90 -v91 -v92 -v93 v94 -v95 -v96 -v97 -v98 -v99 v100 -v101 -v102 -v103 -v104 -v105 -v106 -v107 -v108 -v109 -v110 -v111 -v112 v113 -v114 -v115 -v116 v117 -v118 -v119 -v120 -v121 -v122 -v123 -v124 -v125 -v126 -v127 -v128 -v129 -v130 -v131 -v132 -v133 -v134 -v135 -v136 -v137 -v138 -v139 -v140 -v141 -v142 v143 -v144 -v145 -v146 -v147 -v148 -v149 -v150 -v151 -v152 -v153 -v154 v155 v156 -v157 -v158 -v159 -v160 -v161 -v162 -v163 -v164 -v165 -v166 -v167 v168 -v169 -v170 -v171 -v172 -v173 -v174 -v175 -v176 -v177 -v178 -v179 v180 -v181 -v182 -v183 v184 -v185 -v186 -v187 v188 -v189 -v190 -v191 v192 -v193 v194 v195 -v196 -v197 -v198 -v199 -v200 -v201 -v202 -v203 -v204 -v205 v206 -v207 -v208 -v209 v210 -v211 -v212 -v213 -v214 -v215 -v216 -v217 -v218 -v219 -v220 -v221 -v222 -v223 -v224 -v225 -v226 -v227 v228 -v229 -v230 -v231 -v232 -v233 -v234 -v235 -v236 -v237 -v238 -v239 -v240 -v241 -v242 -v243 -v244 -v245 -v246 v247 v248 -v249 -v250 -v251 -v252 -v253 -v254 -v255 -v256 -v257 -v258 v259 -v260 -v261 -v262 -v263 -v264 -v265 -v266 -v267 -v268 -v269 -v270 -v271 v272 v273 -v274 -v275 -v276 -v277 -v278 -v279 -v280 -v281 -v282 -v283 v284 -v285 -v286 -v287 -v288 -v289 -v290 -v291 -v292 -v293 -v294 -v295 -v296 -v297 -v298 -v299 -v300 -v301 -v302 -v303 -v304 -v305 v306 -v307 -v308 -v309 -v310 -v311 -v312 -v313 -v314 -v315 -v316 -v317 -v318 -v319 -v320 -v321 -v322 -v323 -v324 -v325 -v326 -v327 -v328 -v329 -v330 v331 -v332 -v333 -v334 v335 -v336 -v337 -v338 -v339 -v340 -v341 -v342 -v343 -v344 -v345 -v346 v347 -v348 -v349 -v350 -v351 -v352 -v353 -v354 -v355 -v356 -v357 v358 -v359 -v360 v361 v362 -v363 -v364 -v365 v366 -v367 -v368 -v369 -v370 -v371 -v372 -v373 -v374 v375 -v376 -v377 -v378 -v379 -v380 -v381 -v382 -v383 -v384 -v385 -v386 -v387 v388 v389 -v390 -v391 -v392 -v393 -v394 -v395 -v396 -v397 -v398 -v399 -v400 -v401 -v402 v403 -v404 -v405 -v406 -v407 -v408 -v409 -v410 -v411 -v412 -v413 -v414 -v415 -v416 -v417 -v418 -v419 -v420 -v421 -v422 -v423 v424 -v425 -v426 -v427 -v428 -v429 -v430 -v431 -v432 -v433 -v434 v435 -v436 -v437 -v438 -v439 -v440 -v441 -v442 -v443 -v444 -v445 -v446 -v447 -v448 -v449 -v450 -v451 -v452 -v453 -v454 -v455 -v456 -v457 -v458 -v459 -v460 -v461 -v462 -v463 -v464 -v465 -v466 -v467 -v468 v469 -v470 -v471 -v472 v473 -v474 -v475 -v476 v477 -v478 -v479 -v480 v481 -v482 -v483 -v484 -v485 -v486 -v487 -v488 -v489 -v490 -v491 -v492 -v493 -v494 -v495 -v496 -v497 -v498 -v499 -v500 -v501 -v502 -v503 -v504 -v505 -v506 -v507 -v508 -v509 -v510 -v511 -v512 v513 -v514 -v515 -v516 -v517 -v518 -v519 -v520 -v521 -v522 -v523 -v524 -v525 -v526 -v527 v528 -v529 -v530 -v531 -v532 -v533 -v534 -v535 -v536 v537 -v538 -v539 -v540 -v541 -v542 -v543 -v544 -v545 -v546 -v547 v548 -v549 -v550 -v551 -v552 -v553 -v554 -v555 -v556 v557 -v558 -v559 -v560 -v561 -v562 -v563 -v564 -v565 -v566 -v567 -v568 -v569 -v570 -v571 -v572 -v573 -v574 -v575 -v576 -v577 -v578 -v579 -v580 -v581 -v582 -v583 -v584 -v585 v586 -v587 -v588 -v589 -v590 -v591 -v592 -v593 -v594 -v595 -v596 -v597 -v598 -v599 -v600 -v601 -v602 -v603 -v604 v605 -v606 -v607 -v608 -v609 -v610 -v611 -v612 -v613 -v614 -v615 -v616 -v617 -v618 -v619 -v620 -v621 -v622 -v623 -v624 -v625 -v626 -v627 -v628 -v629 -v630 -v631 -v632 -v633 -v634 -v635 -v636 -v637 -v638 -v639 v640 -v641 -v642 -v643 -v644 -v645 -v646 -v647 -v648 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.95 2/54 7508
Raw data (stat): 7508 (runsolver) R 7507 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848837373 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.87 0.94 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 491 0 0 0 998 0 0 0 25 0 1 0 848837373 7639040 465 4294967295 134512640 134581267 3221224592 3221223456 134528284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1865 465 566 18 0 1847 0
vsize: 7460
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.94 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 567 0 0 0 1998 0 0 0 25 0 1 0 848837373 7909376 541 4294967295 134512640 134581267 3221224592 3221223572 134561052 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1931 541 566 18 0 1913 0
vsize: 7724
[startup+30.0015 s]
Raw data (loadavg): 0.90 0.94 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 595 0 0 0 2998 1 0 0 25 0 1 0 848837373 8044544 569 4294967295 134512640 134581267 3221224592 3221223584 134561036 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1964 569 566 18 0 1946 0
vsize: 7856
[startup+40.0015 s]
Raw data (loadavg): 0.92 0.94 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 643 0 0 0 3998 1 0 0 25 0 1 0 848837373 8310784 617 4294967295 134512640 134581267 3221224592 3221223520 134519955 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2029 617 566 18 0 2011 0
vsize: 8116
[startup+50.002 s]
Raw data (loadavg): 0.93 0.94 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 657 0 0 0 4998 1 0 0 25 0 1 0 848837373 8310784 631 4294967295 134512640 134581267 3221224592 3221223520 134560024 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2029 631 566 18 0 2011 0
vsize: 8116
[startup+60.0022 s]
Raw data (loadavg): 0.94 0.95 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 781 0 0 0 5996 3 0 0 25 0 1 0 848837373 8835072 755 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2157 755 566 18 0 2139 0
vsize: 8628
[startup+70.0031 s]
Raw data (loadavg): 0.95 0.95 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 788 0 0 0 6990 9 0 0 25 0 1 0 848837373 8835072 762 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2157 762 566 18 0 2139 0
vsize: 8628
[startup+80.0037 s]
Raw data (loadavg): 0.96 0.95 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 905 0 0 0 7982 17 0 0 25 0 1 0 848837373 9359360 879 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2285 879 566 18 0 2267 0
vsize: 9140
[startup+90.0039 s]
Raw data (loadavg): 0.96 0.95 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 905 0 0 0 8975 25 0 0 25 0 1 0 848837373 9359360 879 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2285 879 566 18 0 2267 0
vsize: 9140
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 915 0 0 0 9968 32 0 0 25 0 1 0 848837373 9359360 889 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2285 889 566 18 0 2267 0
vsize: 9140
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 933 0 0 0 10959 41 0 0 25 0 1 0 848837373 9490432 907 4294967295 134512640 134581267 3221224592 3221223584 134561106 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2317 907 566 18 0 2299 0
vsize: 9268
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1024 0 0 0 11950 51 0 0 25 0 1 0 848837373 9850880 998 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 998 566 18 0 2387 0
vsize: 9620
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1024 0 0 0 12942 58 0 0 25 0 1 0 848837373 9850880 998 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 998 566 18 0 2387 0
vsize: 9620
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1024 0 0 0 13937 64 0 0 25 0 1 0 848837373 9850880 998 4294967295 134512640 134581267 3221224592 3221223472 134560206 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 998 566 18 0 2387 0
vsize: 9620
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1075 0 0 0 14932 69 0 0 25 0 1 0 848837373 9981952 1049 4294967295 134512640 134581267 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2437 1049 566 18 0 2419 0
vsize: 9748
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1075 0 0 0 15928 73 0 0 25 0 1 0 848837373 9850880 1018 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 1018 566 18 0 2387 0
vsize: 9620
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1075 0 0 0 16924 77 0 0 25 0 1 0 848837373 9850880 1018 4294967295 134512640 134581267 3221224592 3221223480 134560149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 1018 566 18 0 2387 0
vsize: 9620
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1092 0 0 0 17918 83 0 0 25 0 1 0 848837373 9981952 1035 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2437 1035 566 18 0 2419 0
vsize: 9748
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1092 0 0 0 18908 93 0 0 25 0 1 0 848837373 9981952 1035 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2437 1035 566 18 0 2419 0
vsize: 9748
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1092 0 0 0 19899 103 0 0 25 0 1 0 848837373 9981952 1035 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2437 1035 566 18 0 2419 0
vsize: 9748
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1166 0 0 0 20891 111 0 0 25 0 1 0 848837373 10244096 1109 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2501 1109 566 18 0 2483 0
vsize: 10004
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1166 0 0 0 21883 119 0 0 25 0 1 0 848837373 10244096 1109 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2501 1109 566 18 0 2483 0
vsize: 10004
[startup+230.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1166 0 0 0 22875 127 0 0 25 0 1 0 848837373 10244096 1109 4294967295 134512640 134581267 3221224592 3221223520 134519788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2501 1109 566 18 0 2483 0
vsize: 10004
[startup+240.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1166 0 0 0 23863 139 0 0 25 0 1 0 848837373 10244096 1109 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2501 1109 566 18 0 2483 0
vsize: 10004
[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1166 0 0 0 24853 150 0 0 25 0 1 0 848837373 10244096 1109 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2501 1109 566 18 0 2483 0
vsize: 10004
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1166 0 0 0 25844 159 0 0 25 0 1 0 848837373 10244096 1109 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2501 1109 566 18 0 2483 0
vsize: 10004
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1166 0 0 0 26837 166 0 0 25 0 1 0 848837373 10244096 1109 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2501 1109 566 18 0 2483 0
vsize: 10004
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1166 0 0 0 27828 175 0 0 25 0 1 0 848837373 10244096 1109 4294967295 134512640 134581267 3221224592 3221223520 134519853 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2501 1109 566 18 0 2483 0
vsize: 10004
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1166 0 0 0 28821 182 0 0 25 0 1 0 848837373 10244096 1109 4294967295 134512640 134581267 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2501 1109 566 18 0 2483 0
vsize: 10004
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1166 0 0 0 29813 190 0 0 25 0 1 0 848837373 10244096 1109 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2501 1109 566 18 0 2483 0
vsize: 10004
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1213 0 0 0 30807 197 0 0 25 0 1 0 848837373 10506240 1156 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2565 1156 566 18 0 2547 0
vsize: 10260
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1259 0 0 0 31802 202 0 0 25 0 1 0 848837373 10637312 1202 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2597 1202 566 18 0 2579 0
vsize: 10388
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1330 0 0 0 32797 207 0 0 25 0 1 0 848837373 10694656 1224 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2611 1224 566 18 0 2593 0
vsize: 10444
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1330 0 0 0 33790 214 0 0 25 0 1 0 848837373 10694656 1224 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2611 1224 566 18 0 2593 0
vsize: 10444
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1330 0 0 0 34781 223 0 0 25 0 1 0 848837373 10694656 1224 4294967295 134512640 134581267 3221224592 3221223536 134559627 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2611 1224 566 18 0 2593 0
vsize: 10444
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1330 0 0 0 35773 232 0 0 25 0 1 0 848837373 10694656 1224 4294967295 134512640 134581267 3221224592 3221223500 134560259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2611 1224 566 18 0 2593 0
vsize: 10444
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1330 0 0 0 36764 241 0 0 25 0 1 0 848837373 10694656 1224 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2611 1224 566 18 0 2593 0
vsize: 10444
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1330 0 0 0 37756 249 0 0 25 0 1 0 848837373 10694656 1224 4294967295 134512640 134581267 3221224592 3221223280 134566331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2611 1224 566 18 0 2593 0
vsize: 10444
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1330 0 0 0 38747 258 0 0 25 0 1 0 848837373 10694656 1224 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2611 1224 566 18 0 2593 0
vsize: 10444
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1330 0 0 0 39740 266 0 0 25 0 1 0 848837373 10694656 1224 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2611 1224 566 18 0 2593 0
vsize: 10444
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1330 0 0 0 40730 275 0 0 25 0 1 0 848837373 10694656 1224 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2611 1224 566 18 0 2593 0
vsize: 10444
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1330 0 0 0 41724 281 0 0 25 0 1 0 848837373 10694656 1224 4294967295 134512640 134581267 3221224592 3221223520 134519809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2611 1224 566 18 0 2593 0
vsize: 10444
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1395 0 0 0 42718 288 0 0 25 0 1 0 848837373 11001856 1289 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 1289 566 18 0 2668 0
vsize: 10744
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1395 0 0 0 43710 296 0 0 25 0 1 0 848837373 10936320 1283 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2670 1283 566 18 0 2652 0
vsize: 10680
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1436 0 0 0 44705 302 0 0 25 0 1 0 848837373 11190272 1322 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2732 1322 566 18 0 2714 0
vsize: 10928
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1436 0 0 0 45700 307 0 0 25 0 1 0 848837373 11190272 1322 4294967295 134512640 134581267 3221224592 3221223504 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2732 1322 566 18 0 2714 0
vsize: 10928
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1436 0 0 0 46694 313 0 0 25 0 1 0 848837373 11190272 1322 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2732 1322 566 18 0 2714 0
vsize: 10928
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1482 0 0 0 47688 319 0 0 25 0 1 0 848837373 11214848 1351 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2738 1351 566 18 0 2720 0
vsize: 10952
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1515 0 0 0 48683 324 0 0 25 0 1 0 848837373 11214848 1351 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2738 1351 566 18 0 2720 0
vsize: 10952
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1520 0 0 0 49679 329 0 0 25 0 1 0 848837373 11321344 1356 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2764 1356 566 18 0 2746 0
vsize: 11056
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 7508
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1560 0 0 0 50675 333 0 0 25 0 1 0 848837373 11325440 1378 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2765 1378 566 18 0 2747 0
vsize: 11060
[startup+520.371 s]
Raw data (loadavg): 0.99 0.97 0.95 3/56 7540
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1560 0 0 0 51705 339 0 0 25 0 1 0 848837373 11325440 1378 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2765 1378 566 18 0 2747 0
vsize: 11060
[startup+530.697 s]
Raw data (loadavg): 1.38 1.05 0.97 3/57 7556
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1560 0 0 0 52729 347 0 0 25 0 1 0 848837373 11317248 1376 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2763 1376 566 18 0 2745 0
vsize: 11052
[startup+540.697 s]
Raw data (loadavg): 1.32 1.05 0.97 2/54 7561
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1560 0 0 0 53724 352 0 0 25 0 1 0 848837373 11317248 1376 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2763 1376 566 18 0 2745 0
vsize: 11052
[startup+550.697 s]
Raw data (loadavg): 1.27 1.05 0.97 2/54 7561
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1560 0 0 0 54720 357 0 0 25 0 1 0 848837373 11317248 1376 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2763 1376 566 18 0 2745 0
vsize: 11052
[startup+560.698 s]
Raw data (loadavg): 1.23 1.05 0.97 2/54 7561
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1560 0 0 0 55715 362 0 0 25 0 1 0 848837373 11317248 1376 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2763 1376 566 18 0 2745 0
vsize: 11052
[startup+570.698 s]
Raw data (loadavg): 1.19 1.05 0.97 2/54 7561
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1560 0 0 0 56710 367 0 0 25 0 1 0 848837373 11317248 1376 4294967295 134512640 134581267 3221224592 3221223536 134558889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2763 1376 566 18 0 2745 0
vsize: 11052
[startup+580.698 s]
Raw data (loadavg): 1.16 1.04 0.97 2/54 7561
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1562 0 0 0 57706 371 0 0 25 0 1 0 848837373 11390976 1378 4294967295 134512640 134581267 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2781 1378 566 18 0 2763 0
vsize: 11124
[startup+590.698 s]
Raw data (loadavg): 1.14 1.04 0.97 2/54 7561
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1565 0 0 0 58701 376 0 0 25 0 1 0 848837373 11390976 1381 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2781 1381 566 18 0 2763 0
vsize: 11124
[startup+600.699 s]
Raw data (loadavg): 1.11 1.04 0.97 2/54 7561
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1565 0 0 0 59697 381 0 0 25 0 1 0 848837373 11390976 1381 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2781 1381 566 18 0 2763 0
vsize: 11124
[startup+610.698 s]
Raw data (loadavg): 1.10 1.04 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1607 0 0 0 60692 385 0 0 25 0 1 0 848837373 11522048 1423 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2813 1423 566 18 0 2795 0
vsize: 11252
[startup+620.7 s]
Raw data (loadavg): 1.08 1.04 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1607 0 0 0 61688 390 0 0 25 0 1 0 848837373 11522048 1423 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2813 1423 566 18 0 2795 0
vsize: 11252
[startup+630.7 s]
Raw data (loadavg): 1.07 1.03 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1633 0 0 0 62683 395 0 0 25 0 1 0 848837373 11653120 1449 4294967295 134512640 134581267 3221224592 3221223472 134520299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2845 1449 566 18 0 2827 0
vsize: 11380
[startup+640.7 s]
Raw data (loadavg): 1.06 1.03 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1633 0 0 0 63679 400 0 0 25 0 1 0 848837373 11624448 1449 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2838 1449 566 18 0 2820 0
vsize: 11352
[startup+650.7 s]
Raw data (loadavg): 1.05 1.03 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1633 0 0 0 64674 404 0 0 25 0 1 0 848837373 11624448 1449 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2838 1449 566 18 0 2820 0
vsize: 11352
[startup+660.7 s]
Raw data (loadavg): 1.04 1.03 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1634 0 0 0 65669 409 0 0 25 0 1 0 848837373 11624448 1450 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2838 1450 566 18 0 2820 0
vsize: 11352
[startup+670.701 s]
Raw data (loadavg): 1.03 1.03 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1634 0 0 0 66665 414 0 0 25 0 1 0 848837373 11624448 1450 4294967295 134512640 134581267 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2838 1450 566 18 0 2820 0
vsize: 11352
[startup+680.701 s]
Raw data (loadavg): 1.03 1.03 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1634 0 0 0 67661 418 0 0 25 0 1 0 848837373 11624448 1450 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2838 1450 566 18 0 2820 0
vsize: 11352
[startup+690.701 s]
Raw data (loadavg): 1.02 1.03 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1634 0 0 0 68656 423 0 0 25 0 1 0 848837373 11624448 1450 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2838 1450 566 18 0 2820 0
vsize: 11352
[startup+700.701 s]
Raw data (loadavg): 1.02 1.02 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1634 0 0 0 69651 428 0 0 25 0 1 0 848837373 11624448 1450 4294967295 134512640 134581267 3221224592 3221223500 134527740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2838 1450 566 18 0 2820 0
vsize: 11352
[startup+710.701 s]
Raw data (loadavg): 1.02 1.02 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1634 0 0 0 70646 433 0 0 25 0 1 0 848837373 11624448 1450 4294967295 134512640 134581267 3221224592 3221222704 134566327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2838 1450 566 18 0 2820 0
vsize: 11352
[startup+720.702 s]
Raw data (loadavg): 1.01 1.02 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1634 0 0 0 71643 437 0 0 25 0 1 0 848837373 11624448 1450 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2838 1450 566 18 0 2820 0
vsize: 11352
[startup+730.702 s]
Raw data (loadavg): 1.01 1.02 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1684 0 0 0 72639 441 0 0 25 0 1 0 848837373 11886592 1500 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2902 1500 566 18 0 2884 0
vsize: 11608
[startup+740.702 s]
Raw data (loadavg): 1.01 1.02 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1684 0 0 0 73635 445 0 0 25 0 1 0 848837373 11845632 1500 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1500 566 18 0 2874 0
vsize: 11568
[startup+750.703 s]
Raw data (loadavg): 1.01 1.02 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1684 0 0 0 74627 453 0 0 25 0 1 0 848837373 11845632 1500 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1500 566 18 0 2874 0
vsize: 11568
[startup+760.702 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1684 0 0 0 75622 458 0 0 25 0 1 0 848837373 11845632 1500 4294967295 134512640 134581267 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1500 566 18 0 2874 0
vsize: 11568
[startup+770.703 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1684 0 0 0 76618 462 0 0 25 0 1 0 848837373 11845632 1500 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1500 566 18 0 2874 0
vsize: 11568
[startup+780.703 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1684 0 0 0 77614 467 0 0 25 0 1 0 848837373 11845632 1500 4294967295 134512640 134581267 3221224592 3221223488 134517720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1500 566 18 0 2874 0
vsize: 11568
[startup+790.703 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1684 0 0 0 78607 473 0 0 25 0 1 0 848837373 11845632 1500 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1500 566 18 0 2874 0
vsize: 11568
[startup+800.703 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1684 0 0 0 79603 478 0 0 25 0 1 0 848837373 11845632 1500 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1500 566 18 0 2874 0
vsize: 11568
[startup+810.704 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1684 0 0 0 80599 483 0 0 25 0 1 0 848837373 11845632 1500 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1500 566 18 0 2874 0
vsize: 11568
[startup+820.705 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1684 0 0 0 81592 489 0 0 25 0 1 0 848837373 11845632 1500 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1500 566 18 0 2874 0
vsize: 11568
[startup+830.705 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 7563
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1684 0 0 0 82587 495 0 0 25 0 1 0 848837373 11845632 1500 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1500 566 18 0 2874 0
vsize: 11568
[startup+840.704 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1684 0 0 0 83583 499 0 0 25 0 1 0 848837373 11845632 1500 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1500 566 18 0 2874 0
vsize: 11568
[startup+850.704 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1684 0 0 0 84579 503 0 0 25 0 1 0 848837373 11845632 1500 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1500 566 18 0 2874 0
vsize: 11568
[startup+860.705 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1684 0 0 0 85572 510 0 0 25 0 1 0 848837373 11845632 1500 4294967295 134512640 134581267 3221224592 3221223600 134560314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1500 566 18 0 2874 0
vsize: 11568
[startup+870.705 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1684 0 0 0 86568 515 0 0 25 0 1 0 848837373 11845632 1500 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1500 566 18 0 2874 0
vsize: 11568
[startup+880.706 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1684 0 0 0 87564 519 0 0 25 0 1 0 848837373 11845632 1500 4294967295 134512640 134581267 3221224592 3221223456 134528291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1500 566 18 0 2874 0
vsize: 11568
[startup+890.706 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1684 0 0 0 88559 523 0 0 25 0 1 0 848837373 11845632 1500 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1500 566 18 0 2874 0
vsize: 11568
[startup+900.707 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1684 0 0 0 89555 528 0 0 25 0 1 0 848837373 11845632 1500 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1500 566 18 0 2874 0
vsize: 11568
[startup+910.707 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1684 0 0 0 90551 532 0 0 25 0 1 0 848837373 11845632 1500 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1500 566 18 0 2874 0
vsize: 11568
[startup+920.708 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1691 0 0 0 91544 539 0 0 25 0 1 0 848837373 11845632 1505 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1505 566 18 0 2874 0
vsize: 11568
[startup+930.708 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1691 0 0 0 92538 546 0 0 25 0 1 0 848837373 11845632 1505 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1505 566 18 0 2874 0
vsize: 11568
[startup+940.708 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1691 0 0 0 93531 553 0 0 25 0 1 0 848837373 11845632 1505 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1505 566 18 0 2874 0
vsize: 11568
[startup+950.708 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1691 0 0 0 94523 561 0 0 25 0 1 0 848837373 11845632 1505 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1505 566 18 0 2874 0
vsize: 11568
[startup+960.708 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1691 0 0 0 95515 569 0 0 25 0 1 0 848837373 11845632 1505 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1505 566 18 0 2874 0
vsize: 11568
[startup+970.708 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1691 0 0 0 96507 577 0 0 25 0 1 0 848837373 11845632 1505 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1505 566 18 0 2874 0
vsize: 11568
[startup+980.709 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1691 0 0 0 97499 585 0 0 25 0 1 0 848837373 11845632 1505 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 1505 566 18 0 2874 0
vsize: 11568
[startup+990.708 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1694 0 0 0 98494 590 0 0 25 0 1 0 848837373 11911168 1508 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2908 1508 566 18 0 2890 0
vsize: 11632
[startup+1000.71 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1710 0 0 0 99488 597 0 0 25 0 1 0 848837373 11976704 1521 4294967295 134512640 134581267 3221224592 3221223520 134519812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2924 1521 566 18 0 2906 0
vsize: 11696
[startup+1010.71 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1760 0 0 0 100483 602 0 0 25 0 1 0 848837373 12107776 1555 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2956 1555 566 18 0 2938 0
vsize: 11824
[startup+1020.71 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1760 0 0 0 101477 608 0 0 25 0 1 0 848837373 12013568 1546 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2933 1546 566 18 0 2915 0
vsize: 11732
[startup+1030.71 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1760 0 0 0 102470 616 0 0 25 0 1 0 848837373 12013568 1546 4294967295 134512640 134581267 3221224592 3221223536 134559020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2933 1546 566 18 0 2915 0
vsize: 11732
[startup+1040.71 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1760 0 0 0 103463 622 0 0 25 0 1 0 848837373 12013568 1546 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2933 1546 566 18 0 2915 0
vsize: 11732
[startup+1050.71 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1764 0 0 0 104458 628 0 0 25 0 1 0 848837373 12013568 1546 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2933 1546 566 18 0 2915 0
vsize: 11732
[startup+1060.71 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1779 0 0 0 105453 633 0 0 25 0 1 0 848837373 12013568 1546 4294967295 134512640 134581267 3221224592 3221223456 134528352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2933 1546 566 18 0 2915 0
vsize: 11732
[startup+1070.71 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1779 0 0 0 106445 641 0 0 25 0 1 0 848837373 12013568 1546 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2933 1546 566 18 0 2915 0
vsize: 11732
[startup+1080.71 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1824 0 0 0 107442 645 0 0 25 0 1 0 848837373 12132352 1575 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2962 1575 566 18 0 2944 0
vsize: 11848
[startup+1090.71 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1841 0 0 0 108435 652 0 0 25 0 1 0 848837373 12132352 1575 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2962 1575 566 18 0 2944 0
vsize: 11848
[startup+1100.71 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1841 0 0 0 109426 661 0 0 25 0 1 0 848837373 12128256 1574 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2961 1574 566 18 0 2943 0
vsize: 11844
[startup+1110.71 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1870 0 0 0 110422 665 0 0 25 0 1 0 848837373 12128256 1574 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2961 1574 566 18 0 2943 0
vsize: 11844
[startup+1120.71 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1914 0 0 0 111420 667 0 0 25 0 1 0 848837373 12312576 1618 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3006 1618 566 18 0 2988 0
vsize: 12024
[startup+1130.71 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1923 0 0 0 112415 673 0 0 25 0 1 0 848837373 12279808 1588 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2998 1588 566 18 0 2980 0
vsize: 11992
[startup+1140.71 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1950 0 0 0 113410 678 0 0 25 0 1 0 848837373 12279808 1606 4294967295 134512640 134581267 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2998 1606 566 18 0 2980 0
vsize: 11992
[startup+1150.71 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1958 0 0 0 114405 683 0 0 25 0 1 0 848837373 12378112 1614 4294967295 134512640 134581267 3221224592 3221223488 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3022 1614 566 18 0 3004 0
vsize: 12088
[startup+1160.71 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1958 0 0 0 115400 688 0 0 25 0 1 0 848837373 12378112 1614 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3022 1614 566 18 0 3004 0
vsize: 12088
[startup+1170.71 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1958 0 0 0 116393 695 0 0 25 0 1 0 848837373 12365824 1614 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3019 1614 566 18 0 3001 0
vsize: 12076
[startup+1180.71 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1958 0 0 0 117385 703 0 0 25 0 1 0 848837373 12365824 1614 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3019 1614 566 18 0 3001 0
vsize: 12076
[startup+1188.84 s]
Raw data (loadavg): 1.00 1.00 0.97 1/53 7565
Raw data (stat): 7508 (Pueblo-v2) R 7507 21152 21151 0 -1 0 1958 0 0 0 117385 703 0 0 25 0 1 0 848837373 12365824 1614 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3019 1614 566 18 0 3001 0
vsize: 0

Child status: 10
Real time (s): 1188.84
CPU time (s): 1189.01
CPU user time (s): 1181.91
CPU system time (s): 7.10192
CPU usage (%): 100.015
Max. virtual memory (Kb): 12088
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	64
#### END VERIFIER DATA ####