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-1pb.opb
MD5SUM	9f27aad2edb50c2232eec4dba5ec2271
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	62
Optimality of the best value was proved	NO
Number of terms in the objective function	672
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	672
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	672
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.03484
Number of variables	672
Total number of constraints	2028
Number of constraints which are clauses	2004
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	28
Trace number 42120

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 00:20:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25335 boxname=wulflinc4 idbench=237 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9f27aad2edb50c2232eec4dba5ec2271  /oldhome/oroussel/tmp/wulflinc4/normalized-s4-4-3-1pb.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-s4-4-3-1pb.opb
IDLAUNCH: 25335
/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:        781868 kB
Buffers:         33704 kB
Cached:         197232 kB
SwapCached:        944 kB
Active:          27312 kB
Inactive:       205732 kB
HighTotal:      131008 kB
HighFree:        18984 kB
LowTotal:       903652 kB
LowFree:        762884 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13968 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 00:30:56 (client local time) WITH STATUS 30 IN 617.093 SECONDS
stats: 25335 0 617.093 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 68
c small objective detected
c CONFLICT during preprocess 
c [startup+3.19021 s]  setting bit 9 to 0
c CONFLICT during preprocess 
c [startup+3.3278 s]  setting bit 8 to 0
c CONFLICT during preprocess 
c [startup+3.46499 s]  setting bit 7 to 0
c [startup+3.77081 s]  setting bit 6 to 0
c [startup+10.7609 s]  setting bit 5 to 0

c Decision: 22563/46574	Time: 21.4637/86400
c Decision: 23139/46574	Time: 30.3974/86400
c [startup+51.5214 s]  setting bit 4 to 0

c Decision: 17625/46574	Time: 5.35919/86400
c Decision: 17625/46574	Time: 10.2264/86400
c Decision: 18368/46574	Time: 15.9226/86400
c Decision: 18370/46574	Time: 22.8165/86400
c Decision: 18370/46574	Time: 28.1537/86400
c Decision: 18373/46574	Time: 33.9848/86400
c Decision: 18405/46574	Time: 38.9521/86400
c Decision: 18405/46574	Time: 44.8242/86400
c Decision: 18406/46574	Time: 51.3482/86400
c Decision: 18407/46574	Time: 56.8754/86400
c Decision: 18410/46574	Time: 64.2272/86400
c Decision: 21557/46574	Time: 80.4148/86400
c Decision: 21557/46574	Time: 86.6838/86400
c Decision: 21557/46574	Time: 93.9177/86400
c Decision: 21557/46574	Time: 101.433/86400
c Decision: 25288/46574	Time: 108.835/86400
c Decision: 25298/46574	Time: 120.074/86400
c Decision: 25298/46574	Time: 125.916/86400
c Decision: 26594/46574	Time: 137.681/86400
c Decision: 26817/46574	Time: 148.022/86400
c Decision: 26921/46574	Time: 170.775/86400
c [startup+224.775 s]  setting bit 3 to 0

c Decision: 15559/46574	Time: 39.0141/86400
c Decision: 15559/46574	Time: 44.9212/86400
c Decision: 15559/46574	Time: 51.5062/86400
c Decision: 15559/46574	Time: 58.8631/86400
c Decision: 15559/46574	Time: 66.3379/86400
c Decision: 15559/46574	Time: 73.6058/86400
c Decision: 15559/46574	Time: 81.3586/86400
c Decision: 15559/46574	Time: 88.2996/86400
c Decision: 15559/46574	Time: 95.7724/86400
c Decision: 15559/46574	Time: 103.855/86400
c Decision: 15559/46574	Time: 112.131/86400
c Decision: 15559/46574	Time: 118.239/86400
c Decision: 15559/46574	Time: 124.741/86400
c Decision: 15559/46574	Time: 132.502/86400
c Decision: 15559/46574	Time: 140.949/86400
c Decision: 15559/46574	Time: 149.928/86400
c Decision: 15559/46574	Time: 158.39/86400
c Decision: 15559/46574	Time: 166.112/86400
c Decision: 15559/46574	Time: 173.851/86400
c Decision: 15559/46574	Time: 184.52/86400
c Decision: 15559/46574	Time: 191.543/86400
c Decision: 15560/46574	Time: 202.006/86400
c Decision: 15560/46574	Time: 209.817/86400
c Decision: 15560/46574	Time: 219.6/86400
c Decision: 15560/46574	Time: 227.412/86400
c Decision: 15561/46574	Time: 247.774/86400
c Decision: 15561/46574	Time: 259.21/86400
c Decision: 15765/46574	Time: 268.947/86400
c Decision: 15772/46574	Time: 288.16/86400
c Decision: 15778/46574	Time: 308.417/86400
c got solution with objective value: 62
c [startup+545.025 s]  setting bit 2 to 1

c Decision: 21662/46574	Time: 11.9522/86400
c Decision: 21670/46574	Time: 27.3828/86400
c [startup+587.597 s]  setting bit 1 to 0

c got solution with objective value: 62
c [startup+616.826 s]  setting bit 0 to 1
s OPTIMUM FOUND
v -v1 v10 -v100 -v101 -v102 -v103 -v104 -v105 -v106 -v107 -v108 v109 v11 -v110 -v111 -v112 v113 -v114 -v115 -v116 -v117 -v118 -v119 -v12 -v120 -v121 -v122 -v123 -v124 -v125 -v126 -v127 -v128 -v129 -v13 -v130 v131 -v132 -v133 -v134 -v135 -v136 -v137 -v138 v139 -v14 -v140 -v141 -v142 v143 -v144 -v145 -v146 -v147 -v148 -v149 -v15 -v150 v151 -v152 -v153 -v154 -v155 -v156 -v157 -v158 -v159 -v16 -v160 v161 -v162 -v163 -v164 -v165 -v166 -v167 -v168 -v169 -v17 -v170 -v171 -v172 -v173 -v174 -v175 v176 -v177 -v178 -v179 -v18 -v180 -v181 -v182 -v183 -v184 -v185 -v186 -v187 -v188 -v189 -v19 v190 -v191 -v192 -v193 -v194 v195 -v196 -v197 -v198 -v199 -v2 -v20 -v200 -v201 -v202 -v203 -v204 -v205 -v206 -v207 v208 -v209 v21 -v210 -v211 v212 -v213 -v214 -v215 v216 -v217 -v218 -v219 -v22 -v220 v221 v222 -v223 -v224 -v225 -v226 -v227 -v228 -v229 -v23 -v230 -v231 -v232 -v233 v234 -v235 -v236 -v237 -v238 -v239 -v24 -v240 -v241 -v242 -v243 -v244 -v245 v246 -v247 -v248 -v249 -v25 -v250 -v251 -v252 -v253 -v254 -v255 -v256 -v257 -v258 -v259 -v26 v260 -v261 -v262 -v263 -v264 -v265 -v266 -v267 -v268 -v269 -v27 -v270 v271 v272 -v273 -v274 -v275 -v276 -v277 -v278 -v279 -v28 -v280 -v281 -v282 -v283 -v284 v285 -v286 -v287 -v288 -v289 -v29 v290 -v291 -v292 -v293 -v294 -v295 -v296 -v297 -v298 -v299 -v3 -v30 -v300 -v301 -v302 -v303 -v304 -v305 -v306 -v307 -v308 -v309 -v31 -v310 -v311 -v312 v313 -v314 -v315 -v316 -v317 -v318 -v319 -v32 -v320 -v321 -v322 -v323 -v324 -v325 v326 -v327 -v328 -v329 -v33 v330 -v331 -v332 -v333 -v334 -v335 -v336 -v337 -v338 -v339 v34 -v340 -v341 -v342 -v343 -v344 -v345 -v346 -v347 -v348 v349 v35 -v350 -v351 -v352 -v353 -v354 -v355 -v356 -v357 -v358 -v359 -v36 -v360 -v361 -v362 -v363 v364 v365 v366 -v367 -v368 -v369 -v37 -v370 -v371 -v372 -v373 -v374 -v375 v376 -v377 -v378 -v379 -v38 -v380 -v381 -v382 -v383 -v384 -v385 -v386 -v387 -v388 -v389 -v39 -v390 -v391 -v392 -v393 v394 -v395 -v396 v397 -v398 -v399 -v4 -v40 -v400 v401 -v402 -v403 -v404 v405 -v406 -v407 -v408 -v409 -v41 -v410 -v411 -v412 -v413 -v414 -v415 -v416 -v417 -v418 -v419 -v42 v420 -v421 -v422 -v423 -v424 -v425 -v426 v427 -v428 -v429 v43 -v430 v431 -v432 -v433 -v434 -v435 -v436 -v437 -v438 -v439 -v44 -v440 -v441 -v442 -v443 -v444 -v445 -v446 -v447 -v448 -v449 -v45 -v450 -v451 v452 -v453 -v454 -v455 -v456 -v457 -v458 -v459 -v46 -v460 -v461 -v462 -v463 -v464 -v465 -v466 -v467 v468 -v469 v47 -v470 -v471 -v472 -v473 -v474 -v475 -v476 -v477 -v478 -v479 -v48 -v480 -v481 -v482 -v483 -v484 -v485 -v486 -v487 -v488 v489 -v49 -v490 -v491 -v492 -v493 -v494 -v495 -v496 -v497 -v498 -v499 -v5 -v50 -v500 -v501 -v502 -v503 -v504 -v505 -v506 -v507 -v508 -v509 -v51 -v510 -v511 -v512 v513 -v514 -v515 -v516 -v517 -v518 -v519 -v52 -v520 -v521 -v522 -v523 -v524 -v525 -v526 -v527 -v528 -v529 -v53 -v530 -v531 v532 -v533 -v534 -v535 -v536 -v537 -v538 -v539 -v54 -v540 -v541 v542 -v543 -v544 -v545 -v546 -v547 -v548 -v549 v55 -v550 -v551 -v552 -v553 -v554 -v555 -v556 -v557 -v558 -v559 -v56 -v560 -v561 -v562 -v563 v564 -v565 -v566 -v567 -v568 -v569 -v57 -v570 -v571 -v572 -v573 -v574 -v575 -v576 v577 -v578 -v579 -v58 -v580 -v581 -v582 -v583 -v584 -v585 -v586 -v587 -v588 -v589 -v59 -v590 -v591 -v592 -v593 -v594 -v595 -v596 -v597 -v598 -v599 -v6 -v60 -v600 -v601 -v602 -v603 -v604 -v605 -v606 -v607 -v608 -v609 -v61 -v610 -v611 -v612 -v613 -v614 -v615 v616 -v617 -v618 -v619 -v62 -v620 -v621 -v622 -v623 -v624 -v625 -v626 v627 -v628 -v629 -v63 -v630 -v631 -v632 -v633 -v634 -v635 -v636 -v637 -v638 -v639 -v64 -v640 -v641 -v642 -v643 -v644 -v645 -v646 -v647 -v648 -v649 -v65 -v650 v651 -v652 -v653 -v654 -v655 -v656 -v657 -v658 -v659 -v66 -v660 -v661 -v662 -v663 -v664 -v665 -v666 -v667 -v668 -v669 -v67 -v670 -v671 -v672 -v68 -v69 -v7 -v70 -v71 -v72 -v73 -v74 -v75 v76 -v77 -v78 -v79 -v8 v80 v81 -v82 -v83 -v84 -v85 -v86 -v87 -v88 -v89 -v9 v90 -v91 -v92 -v93 -v94 -v95 -v96 v97 v98 -v99 
#### 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): 1.05 0.93 0.90 2/54 18750
Raw data (stat): 18750 (runsolver) R 18749 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966387249 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0015 s]
Raw data (loadavg): 1.04 0.93 0.90 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 7915 0 0 0 979 19 0 0 25 0 1 0 966387249 24977408 4756 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6098 4756 301 301 0 5797 0
vsize: 24392
[startup+20.003 s]
Raw data (loadavg): 1.03 0.93 0.90 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 8209 0 0 0 1978 21 0 0 25 0 1 0 966387249 25468928 4959 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6218 4959 301 301 0 5917 0
vsize: 24872
[startup+30.003 s]
Raw data (loadavg): 1.03 0.93 0.90 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 8507 0 0 0 2977 22 0 0 25 0 1 0 966387249 26722304 5257 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6524 5257 301 301 0 6223 0
vsize: 26096
[startup+40.0034 s]
Raw data (loadavg): 1.02 0.94 0.90 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 8718 0 0 0 3975 24 0 0 25 0 1 0 966387249 27312128 5377 4294967295 134512640 135730672 3221224592 3221222880 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6668 5377 301 301 0 6367 0
vsize: 26672
[startup+50.0043 s]
Raw data (loadavg): 1.02 0.94 0.90 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 8877 0 0 0 4974 25 0 0 25 0 1 0 966387249 27312128 5445 4294967295 134512640 135730672 3221224592 3221222880 134747465 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6668 5445 301 301 0 6367 0
vsize: 26672
[startup+60.0046 s]
Raw data (loadavg): 1.02 0.94 0.90 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 9128 0 0 0 5973 26 0 0 25 0 1 0 966387249 27508736 5514 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6716 5514 301 301 0 6415 0
vsize: 26864
[startup+70.006 s]
Raw data (loadavg): 1.01 0.94 0.90 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 9440 0 0 0 6972 28 0 0 25 0 1 0 966387249 27914240 5644 4294967295 134512640 135730672 3221224592 3221222928 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6815 5644 301 301 0 6514 0
vsize: 27260
[startup+80.0072 s]
Raw data (loadavg): 1.01 0.94 0.90 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 9731 0 0 0 7970 30 0 0 25 0 1 0 966387249 28184576 5753 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6881 5753 301 301 0 6580 0
vsize: 27524
[startup+90.0072 s]
Raw data (loadavg): 1.01 0.94 0.90 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 9867 0 0 0 8968 31 0 0 25 0 1 0 966387249 28184576 5798 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6881 5798 301 301 0 6580 0
vsize: 27524
[startup+100.008 s]
Raw data (loadavg): 1.01 0.94 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 10123 0 0 0 9967 33 0 0 25 0 1 0 966387249 32378880 5872 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7905 5872 301 301 0 7604 0
vsize: 31620
[startup+110.009 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 10369 0 0 0 10965 35 0 0 25 0 1 0 966387249 32378880 5936 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7905 5936 301 301 0 7604 0
vsize: 31620
[startup+120.01 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 10549 0 0 0 11964 36 0 0 25 0 1 0 966387249 32649216 6025 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7971 6025 301 301 0 7670 0
vsize: 31884
[startup+130.01 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 10648 0 0 0 12963 37 0 0 25 0 1 0 966387249 32919552 6124 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8037 6124 301 301 0 7736 0
vsize: 32148
[startup+140.011 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 10923 0 0 0 13962 39 0 0 25 0 1 0 966387249 33116160 6217 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8085 6217 301 301 0 7784 0
vsize: 32340
[startup+150.011 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 11103 0 0 0 14960 40 0 0 25 0 1 0 966387249 33116160 6306 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8085 6306 301 301 0 7784 0
vsize: 32340
[startup+160.013 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 11268 0 0 0 15959 41 0 0 25 0 1 0 966387249 33116160 6380 4294967295 134512640 135730672 3221224592 3221222896 134745862 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8085 6380 301 301 0 7784 0
vsize: 32340
[startup+170.014 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 11370 0 0 0 16959 42 0 0 25 0 1 0 966387249 33271808 6391 4294967295 134512640 135730672 3221224592 3221222880 134747477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8123 6391 301 301 0 7822 0
vsize: 32492
[startup+180.014 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 11682 0 0 0 17957 44 0 0 25 0 1 0 966387249 33271808 6521 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8123 6521 301 301 0 7822 0
vsize: 32492
[startup+190.014 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 11926 0 0 0 18956 45 0 0 25 0 1 0 966387249 33406976 6674 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8156 6674 301 301 0 7855 0
vsize: 32624
[startup+200.014 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 12166 0 0 0 19954 47 0 0 25 0 1 0 966387249 33406976 6823 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8156 6823 301 301 0 7855 0
vsize: 32624
[startup+210.016 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 12307 0 0 0 20954 47 0 0 25 0 1 0 966387249 33542144 6964 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8189 6964 301 301 0 7888 0
vsize: 32756
[startup+220.016 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 12447 0 0 0 21953 49 0 0 25 0 1 0 966387249 33542144 7104 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8189 7104 301 301 0 7888 0
vsize: 32756
[startup+230.016 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 12685 0 0 0 22951 50 0 0 25 0 1 0 966387249 33677312 7160 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8222 7160 301 301 0 7921 0
vsize: 32888
[startup+240.016 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 12696 0 0 0 23950 51 0 0 25 0 1 0 966387249 33677312 7171 4294967295 134512640 135730672 3221224592 3221223008 134748111 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8222 7171 301 301 0 7921 0
vsize: 32888
[startup+250.016 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 12705 0 0 0 24950 52 0 0 25 0 1 0 966387249 33677312 7180 4294967295 134512640 135730672 3221224592 3221222880 134747552 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8222 7180 301 301 0 7921 0
vsize: 32888
[startup+260.018 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 12854 0 0 0 25949 53 0 0 25 0 1 0 966387249 34459648 7329 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8413 7329 301 301 0 8112 0
vsize: 33652
[startup+270.019 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 13195 0 0 0 26947 55 0 0 25 0 1 0 966387249 35164160 7488 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8585 7488 301 301 0 8284 0
vsize: 34340
[startup+280.019 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 13205 0 0 0 27947 55 0 0 25 0 1 0 966387249 35164160 7498 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8585 7498 301 301 0 8284 0
vsize: 34340
[startup+290.02 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 13242 0 0 0 28946 56 0 0 25 0 1 0 966387249 35299328 7535 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8618 7535 301 301 0 8317 0
vsize: 34472
[startup+300.02 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 13260 0 0 0 29945 57 0 0 25 0 1 0 966387249 35299328 7553 4294967295 134512640 135730672 3221224592 3221222880 134747465 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8618 7553 301 301 0 8317 0
vsize: 34472
[startup+310.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 13332 0 0 0 30944 58 0 0 25 0 1 0 966387249 35704832 7625 4294967295 134512640 135730672 3221224592 3221222720 135285132 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8717 7625 301 301 0 8416 0
vsize: 34868
[startup+320.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 13377 0 0 0 31943 59 0 0 25 0 1 0 966387249 35975168 7670 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8783 7670 301 301 0 8482 0
vsize: 35132
[startup+330.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 13480 0 0 0 32943 60 0 0 25 0 1 0 966387249 35975168 7682 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8783 7682 301 301 0 8482 0
vsize: 35132
[startup+340.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 13576 0 0 0 33942 61 0 0 25 0 1 0 966387249 35975168 7687 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8783 7687 301 301 0 8482 0
vsize: 35132
[startup+350.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 13765 0 0 0 34940 62 0 0 25 0 1 0 966387249 35975168 7694 4294967295 134512640 135730672 3221224592 3221222880 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8783 7694 301 301 0 8482 0
vsize: 35132
[startup+360.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 13881 0 0 0 35940 63 0 0 25 0 1 0 966387249 36110336 7719 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8816 7719 301 301 0 8515 0
vsize: 35264
[startup+370.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 14070 0 0 0 36938 64 0 0 25 0 1 0 966387249 44498944 7817 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10864 7817 301 301 0 10563 0
vsize: 43456
[startup+380.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 14222 0 0 0 37937 66 0 0 25 0 1 0 966387249 44634112 7878 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10897 7878 301 301 0 10596 0
vsize: 43588
[startup+390.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 14414 0 0 0 38935 68 0 0 25 0 1 0 966387249 44634112 7979 4294967295 134512640 135730672 3221224592 3221222880 134747597 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10897 7979 301 301 0 10596 0
vsize: 43588
[startup+400.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 14707 0 0 0 39934 69 0 0 25 0 1 0 966387249 44785664 8090 4294967295 134512640 135730672 3221224592 3221223072 134748742 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10934 8090 301 301 0 10633 0
vsize: 43736
[startup+410.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 14889 0 0 0 40932 70 0 0 25 0 1 0 966387249 44785664 8181 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10934 8181 301 301 0 10633 0
vsize: 43736
[startup+420.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 15091 0 0 0 41931 72 0 0 25 0 1 0 966387249 44920832 8292 4294967295 134512640 135730672 3221224592 3221222880 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10967 8292 301 301 0 10666 0
vsize: 43868
[startup+430.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 15224 0 0 0 42931 72 0 0 25 0 1 0 966387249 45056000 8334 4294967295 134512640 135730672 3221224592 3221222880 134747714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11000 8334 301 301 0 10699 0
vsize: 44000
[startup+440.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 15453 0 0 0 43930 74 0 0 25 0 1 0 966387249 45326336 8472 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11066 8472 301 301 0 10765 0
vsize: 44264
[startup+450.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 15647 0 0 0 44930 74 0 0 25 0 1 0 966387249 45326336 8575 4294967295 134512640 135730672 3221224592 3221222880 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11066 8575 301 301 0 10765 0
vsize: 44264
[startup+460.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 15826 0 0 0 45929 75 0 0 25 0 1 0 966387249 45326336 8663 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11066 8663 301 301 0 10765 0
vsize: 44264
[startup+470.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 15921 0 0 0 46927 76 0 0 25 0 1 0 966387249 45326336 8758 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11066 8758 301 301 0 10765 0
vsize: 44264
[startup+480.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 16054 0 0 0 47927 77 0 0 25 0 1 0 966387249 45326336 8800 4294967295 134512640 135730672 3221224592 3221222976 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11066 8800 301 301 0 10765 0
vsize: 44264
[startup+490.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 16154 0 0 0 48926 78 0 0 25 0 1 0 966387249 45461504 8809 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11099 8809 301 301 0 10798 0
vsize: 44396
[startup+500.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 16274 0 0 0 49925 79 0 0 25 0 1 0 966387249 45461504 8838 4294967295 134512640 135730672 3221224592 3221222880 134747566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11099 8838 301 301 0 10798 0
vsize: 44396
[startup+510.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 16295 0 0 0 50925 79 0 0 25 0 1 0 966387249 45584384 8859 4294967295 134512640 135730672 3221224592 3221222880 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11129 8859 301 301 0 10828 0
vsize: 44516
[startup+520.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 16430 0 0 0 51924 80 0 0 25 0 1 0 966387249 45715456 8903 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11161 8903 301 301 0 10860 0
vsize: 44644
[startup+530.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 16539 0 0 0 52923 81 0 0 25 0 1 0 966387249 45715456 9012 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11161 9012 301 301 0 10860 0
vsize: 44644
[startup+540.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 16732 0 0 0 53922 83 0 0 25 0 1 0 966387249 45715456 9114 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11161 9114 301 301 0 10860 0
vsize: 44644
[startup+550.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 16922 0 0 0 54921 83 0 0 25 0 1 0 966387249 45850624 9213 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11194 9213 301 301 0 10893 0
vsize: 44776
[startup+560.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 17121 0 0 0 55920 85 0 0 25 0 1 0 966387249 45838336 9321 4294967295 134512640 135730672 3221224592 3221222880 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11191 9321 301 301 0 10890 0
vsize: 44764
[startup+570.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 17129 0 0 0 56920 85 0 0 25 0 1 0 966387249 45838336 9329 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11191 9329 301 301 0 10890 0
vsize: 44764
[startup+580.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 17229 0 0 0 57919 86 0 0 25 0 1 0 966387249 45957120 9338 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11220 9338 301 301 0 10919 0
vsize: 44880
[startup+590.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 17327 0 0 0 58918 87 0 0 25 0 1 0 966387249 45957120 9345 4294967295 134512640 135730672 3221224592 3221222880 134747868 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11220 9345 301 301 0 10919 0
vsize: 44880
[startup+600.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 17340 0 0 0 59918 88 0 0 25 0 1 0 966387249 45957120 9358 4294967295 134512640 135730672 3221224592 3221223008 134748145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11220 9358 301 301 0 10919 0
vsize: 44880
[startup+610.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 17353 0 0 0 60917 88 0 0 25 0 1 0 966387249 45957120 9371 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11220 9371 301 301 0 10919 0
vsize: 44880
[startup+617.075 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 18750
Raw data (stat): 18750 (pb2sat-v2) R 18749 21152 21151 0 -1 0 17353 0 0 0 60917 88 0 0 25 0 1 0 966387249 45957120 9371 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11220 9371 301 301 0 10919 0
vsize: 0

Child status: 30
Real time (s): 617.074
CPU time (s): 617.093
CPU user time (s): 616.179
CPU system time (s): 0.913861
CPU usage (%): 100.003
Max. virtual memory (Kb): 44880
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	62
#### END VERIFIER DATA ####