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-6pb.opb
MD5SUM	c12951e903009dc00793ce72594cf3ba
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	66
Optimality of the best value was proved	NO
Number of terms in the objective function	624
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	624
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	624
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.03684
Number of variables	624
Total number of constraints	1884
Number of constraints which are clauses	1860
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	26

Trace number 38447

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        670628 kB
Buffers:         34244 kB
Cached:         305864 kB
SwapCached:        640 kB
Active:          67944 kB
Inactive:       274392 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        670376 kB
SwapTotal:     2097136 kB
SwapFree:      2095412 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5820 kB
Slab:            15948 kB
Committed_AS:    92708 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 10:15:36 (client local time) WITH STATUS 30 IN 584.177 SECONDS
stats: 26512 0 584.177 30
#### 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/wulflinc1/normalized-s4-4-3-6pb.opb
c #variables read: 624 - #constraints read: 1885
c optimum objective found = 66
s OPTIMUM FOUND
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 
#### 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.93 0.97 0.91 2/55 1971
Raw data (stat): 1971 (runsolver) R 1970 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 792076135 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99991 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 548 0 0 0 994 4 0 0 25 0 1 0 792076135 7905280 522 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1930 522 566 18 0 1912 0
vsize: 7720
[startup+20.0007 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 599 0 0 0 1985 13 0 0 25 0 1 0 792076135 8036352 573 4294967295 134512640 134581267 3221224592 3221223584 134560935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 573 566 18 0 1944 0
vsize: 7848
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 599 0 0 0 2974 25 0 0 25 0 1 0 792076135 8036352 573 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 573 566 18 0 1944 0
vsize: 7848
[startup+40.0003 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 599 0 0 0 3963 36 0 0 25 0 1 0 792076135 8036352 573 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 573 566 18 0 1944 0
vsize: 7848
[startup+50.0001 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 602 0 0 0 4951 48 0 0 25 0 1 0 792076135 8171520 576 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1995 576 566 18 0 1977 0
vsize: 7980
[startup+59.9999 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 786 0 0 0 5942 57 0 0 25 0 1 0 792076135 8826880 760 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2155 760 566 18 0 2137 0
vsize: 8620
[startup+70.0007 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 816 0 0 0 6937 62 0 0 25 0 1 0 792076135 8957952 790 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2187 790 566 18 0 2169 0
vsize: 8748
[startup+80.0005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 851 0 0 0 7932 67 0 0 25 0 1 0 792076135 9043968 820 4294967295 134512640 134581267 3221224592 3221223448 1075285701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2208 820 566 18 0 2190 0
vsize: 8832
[startup+90.0003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 851 0 0 0 8924 75 0 0 25 0 1 0 792076135 9043968 820 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2208 820 566 18 0 2190 0
vsize: 8832
[startup+100 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 851 0 0 0 9915 85 0 0 25 0 1 0 792076135 9043968 820 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2208 820 566 18 0 2190 0
vsize: 8832
[startup+110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 909 0 0 0 10907 93 0 0 25 0 1 0 792076135 9297920 876 4294967295 134512640 134581267 3221224592 3221223536 134558909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2270 876 566 18 0 2252 0
vsize: 9080
[startup+120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 912 0 0 0 11899 101 0 0 25 0 1 0 792076135 9297920 879 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2270 879 566 18 0 2252 0
vsize: 9080
[startup+130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 912 0 0 0 12892 108 0 0 25 0 1 0 792076135 9297920 879 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2270 879 566 18 0 2252 0
vsize: 9080
[startup+140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 913 0 0 0 13884 116 0 0 25 0 1 0 792076135 9297920 880 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2270 880 566 18 0 2252 0
vsize: 9080
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 913 0 0 0 14877 124 0 0 25 0 1 0 792076135 9297920 880 4294967295 134512640 134581267 3221224592 3221223456 134528338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2270 880 566 18 0 2252 0
vsize: 9080
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 995 0 0 0 15870 130 0 0 25 0 1 0 792076135 9691136 962 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2366 962 566 18 0 2348 0
vsize: 9464
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 995 0 0 0 16860 141 0 0 25 0 1 0 792076135 9691136 962 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2366 962 566 18 0 2348 0
vsize: 9464
[startup+180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 995 0 0 0 17852 149 0 0 25 0 1 0 792076135 9691136 962 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2366 962 566 18 0 2348 0
vsize: 9464
[startup+190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 995 0 0 0 18846 155 0 0 25 0 1 0 792076135 9691136 962 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2366 962 566 18 0 2348 0
vsize: 9464
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1011 0 0 0 19843 159 0 0 25 0 1 0 792076135 9691136 978 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2366 978 566 18 0 2348 0
vsize: 9464
[startup+210 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1011 0 0 0 20838 163 0 0 25 0 1 0 792076135 9691136 978 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2366 978 566 18 0 2348 0
vsize: 9464
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1011 0 0 0 21828 174 0 0 25 0 1 0 792076135 9691136 978 4294967295 134512640 134581267 3221224592 3221223456 134560354 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2366 978 566 18 0 2348 0
vsize: 9464
[startup+230 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1011 0 0 0 22818 184 0 0 25 0 1 0 792076135 9691136 978 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2366 978 566 18 0 2348 0
vsize: 9464
[startup+240 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1029 0 0 0 23809 193 0 0 25 0 1 0 792076135 9822208 996 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2398 996 566 18 0 2380 0
vsize: 9592
[startup+250 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1093 0 0 0 24804 198 0 0 25 0 1 0 792076135 10002432 1023 4294967295 134512640 134581267 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2442 1023 566 18 0 2424 0
vsize: 9768
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1142 0 0 0 25798 204 0 0 25 0 1 0 792076135 10113024 1072 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2469 1072 566 18 0 2451 0
vsize: 9876
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1142 0 0 0 26792 211 0 0 25 0 1 0 792076135 10113024 1072 4294967295 134512640 134581267 3221224592 3221223520 134519826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2469 1072 566 18 0 2451 0
vsize: 9876
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1153 0 0 0 27786 217 0 0 25 0 1 0 792076135 10235904 1083 4294967295 134512640 134581267 3221224592 3221223520 134519996 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2499 1083 566 18 0 2481 0
vsize: 9996
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1153 0 0 0 28780 223 0 0 25 0 1 0 792076135 10235904 1083 4294967295 134512640 134581267 3221224592 3221223488 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2499 1083 566 18 0 2481 0
vsize: 9996
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1170 0 0 0 29775 228 0 0 25 0 1 0 792076135 10235904 1100 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2499 1100 566 18 0 2481 0
vsize: 9996
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1182 0 0 0 30771 232 0 0 25 0 1 0 792076135 10326016 1112 4294967295 134512640 134581267 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1112 566 18 0 2503 0
vsize: 10084
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1182 0 0 0 31766 237 0 0 25 0 1 0 792076135 10326016 1112 4294967295 134512640 134581267 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1112 566 18 0 2503 0
vsize: 10084
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1182 0 0 0 32761 243 0 0 25 0 1 0 792076135 10326016 1112 4294967295 134512640 134581267 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1112 566 18 0 2503 0
vsize: 10084
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1182 0 0 0 33753 251 0 0 25 0 1 0 792076135 10326016 1112 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1112 566 18 0 2503 0
vsize: 10084
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1182 0 0 0 34744 260 0 0 25 0 1 0 792076135 10326016 1112 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1112 566 18 0 2503 0
vsize: 10084
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1202 0 0 0 35738 266 0 0 25 0 1 0 792076135 10326016 1132 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1132 566 18 0 2503 0
vsize: 10084
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1202 0 0 0 36729 276 0 0 25 0 1 0 792076135 10326016 1132 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1132 566 18 0 2503 0
vsize: 10084
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1202 0 0 0 37723 282 0 0 25 0 1 0 792076135 10326016 1132 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1132 566 18 0 2503 0
vsize: 10084
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1202 0 0 0 38714 290 0 0 25 0 1 0 792076135 10326016 1132 4294967295 134512640 134581267 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1132 566 18 0 2503 0
vsize: 10084
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1202 0 0 0 39708 297 0 0 25 0 1 0 792076135 10326016 1132 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1132 566 18 0 2503 0
vsize: 10084
[startup+410.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1202 0 0 0 40704 301 0 0 25 0 1 0 792076135 10326016 1132 4294967295 134512640 134581267 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1132 566 18 0 2503 0
vsize: 10084
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1202 0 0 0 41699 306 0 0 25 0 1 0 792076135 10326016 1132 4294967295 134512640 134581267 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1132 566 18 0 2503 0
vsize: 10084
[startup+430.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1202 0 0 0 42695 311 0 0 25 0 1 0 792076135 10326016 1132 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1132 566 18 0 2503 0
vsize: 10084
[startup+440.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1202 0 0 0 43689 317 0 0 25 0 1 0 792076135 10326016 1132 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1132 566 18 0 2503 0
vsize: 10084
[startup+450.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1203 0 0 0 44683 323 0 0 25 0 1 0 792076135 10326016 1133 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1133 566 18 0 2503 0
vsize: 10084
[startup+460.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1230 0 0 0 45678 328 0 0 25 0 1 0 792076135 10457088 1160 4294967295 134512640 134581267 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2553 1160 566 18 0 2535 0
vsize: 10212
[startup+470 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1230 0 0 0 46674 332 0 0 25 0 1 0 792076135 10457088 1160 4294967295 134512640 134581267 3221224592 3221223520 134519945 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2553 1160 566 18 0 2535 0
vsize: 10212
[startup+480 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1230 0 0 0 47669 337 0 0 25 0 1 0 792076135 10457088 1160 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2553 1160 566 18 0 2535 0
vsize: 10212
[startup+490.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1230 0 0 0 48665 341 0 0 25 0 1 0 792076135 10457088 1160 4294967295 134512640 134581267 3221224592 3221223504 134527678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2553 1160 566 18 0 2535 0
vsize: 10212
[startup+500.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1237 0 0 0 49660 346 0 0 25 0 1 0 792076135 10588160 1167 4294967295 134512640 134581267 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2585 1167 566 18 0 2567 0
vsize: 10340
[startup+510.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1237 0 0 0 50654 352 0 0 25 0 1 0 792076135 10571776 1167 4294967295 134512640 134581267 3221224592 3221223504 134527720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1167 566 18 0 2563 0
vsize: 10324
[startup+520.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1237 0 0 0 51650 357 0 0 25 0 1 0 792076135 10571776 1167 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1167 566 18 0 2563 0
vsize: 10324
[startup+530.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1237 0 0 0 52643 364 0 0 25 0 1 0 792076135 10571776 1167 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1167 566 18 0 2563 0
vsize: 10324
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1237 0 0 0 53638 370 0 0 25 0 1 0 792076135 10571776 1167 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2581 1167 566 18 0 2563 0
vsize: 10324
[startup+550.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1273 0 0 0 54631 376 0 0 25 0 1 0 792076135 10702848 1203 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2613 1203 566 18 0 2595 0
vsize: 10452
[startup+560.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1273 0 0 0 55627 381 0 0 25 0 1 0 792076135 10641408 1203 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2598 1203 566 18 0 2580 0
vsize: 10392
[startup+570.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1273 0 0 0 56620 388 0 0 25 0 1 0 792076135 10641408 1203 4294967295 134512640 134581267 3221224592 3221223484 134560148 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2598 1203 566 18 0 2580 0
vsize: 10392
[startup+580.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1273 0 0 0 57616 392 0 0 25 0 1 0 792076135 10641408 1203 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2598 1203 566 18 0 2580 0
vsize: 10392
[startup+584.093 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 1971
Raw data (stat): 1971 (Pueblo-v2) R 1970 8378 8377 0 -1 0 1273 0 0 0 57616 392 0 0 25 0 1 0 792076135 10641408 1203 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2598 1203 566 18 0 2580 0
vsize: 0

Child status: 30
Real time (s): 584.092
CPU time (s): 584.177
CPU user time (s): 580.22
CPU system time (s): 3.9574
CPU usage (%): 100.015
Max. virtual memory (Kb): 10452
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	66
#### END VERIFIER DATA ####