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-4pb.opb
MD5SUM	c1a86b94297136b91215b2ae8a8f5643
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	60
Optimality of the best value was proved	NO
Number of terms in the objective function	696
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	696
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	696
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.03784
Number of variables	696
Total number of constraints	2096
Number of constraints which are clauses	2072
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	29
Trace number 34914

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-28 11:03:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24166 boxname=wulflinc9 idbench=240 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c1a86b94297136b91215b2ae8a8f5643  /oldhome/oroussel/tmp/wulflinc9/normalized-s4-4-3-4pb.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc9/normalized-s4-4-3-4pb.opb
IDLAUNCH: 24166
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        712508 kB
Buffers:         34936 kB
Cached:         263508 kB
SwapCached:        552 kB
Active:          20312 kB
Inactive:       280124 kB
HighTotal:      131008 kB
HighFree:        34944 kB
LowTotal:       903652 kB
LowFree:        677564 kB
SwapTotal:     2097136 kB
SwapFree:      2095648 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            16124 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:15:10 (client local time) WITH STATUS 30 IN 696.883 SECONDS
stats: 24166 0 696.883 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 [startup+48.6652 s]  setting bit 9 to 1
c CONFLICT during preprocess 
c [startup+49.64 s]  setting bit 8 to 0

Decision: 206404/246459	Time: 29.0506/86400
Decision: 206404/246459	Time: 40.9068/86400
Decision: 206404/246459	Time: 54.0768/86400
Decision: 206404/246459	Time: 70.2533/86400
Decision: 206412/246459	Time: 88.9575/86400
Decision: 206412/246459	Time: 104.115/86400
Decision: 206418/246459	Time: 137.791/86400
Decision: 206418/246459	Time: 153.55/86400
Decision: 206418/246459	Time: 168.078/86400
Decision: 206418/246459	Time: 183.06/86400
Decision: 206418/246459	Time: 200.356/86400
Decision: 206418/246459	Time: 215.405/86400
Decision: 207083/246459	Time: 252.598/86400
Decision: 207085/246459	Time: 287.896/86400c [startup+385.15 s]  setting bit 7 to 0
c got solution with objective value: 72
c [startup+397.122 s]  setting bit 6 to 1
c got solution with objective value: 70
c [startup+402.148 s]  setting bit 5 to 1
c got solution with objective value: 70
c [startup+405.605 s]  setting bit 4 to 1
c got solution with objective value: 64
c [startup+431.226 s]  setting bit 3 to 1

Decision: 207056/246459	Time: 65.826/86400
Decision: 207056/246459	Time: 86.5918/86400
Decision: 207060/246459	Time: 133.262/86400c got solution with objective value: 60
c [startup+580.369 s]  setting bit 2 to 1

Decision: 208979/246459	Time: 42.8125/86400c [startup+649.562 s]  setting bit 1 to 0
c [startup+696.218 s]  setting bit 0 to 0
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 -v673 -v674 -v675 -v676 -v677 -v678 -v679 -v68 -v680 -v681 -v682 -v683 -v684 -v685 -v686 -v687 -v688 -v689 v69 -v690 -v691 -v692 -v693 v694 -v695 -v696 -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): 0.76 0.91 0.89 2/54 17351
Raw data (stat): 17351 (runsolver) R 17350 3944 3943 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806072105 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0002 s]
Raw data (loadavg): 0.80 0.91 0.89 2/54 17351
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 29809 0 0 0 935 64 0 0 25 0 1 0 806072105 89247744 18898 4294967295 134512640 135726644 3221224592 3221175744 134554566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21789 18898 300 300 0 21489 0
vsize: 87156
[startup+19.9998 s]
Raw data (loadavg): 0.83 0.92 0.89 2/54 17351
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 33269 0 0 0 1926 73 0 0 25 0 1 0 806072105 95604736 21625 4294967295 134512640 135726644 3221224592 3221222924 134735632 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23341 21625 300 300 0 23041 0
vsize: 93364
[startup+30.0012 s]
Raw data (loadavg): 0.85 0.92 0.90 2/54 17351
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 33345 0 0 0 2926 73 0 0 25 0 1 0 806072105 95965184 21701 4294967295 134512640 135726644 3221224592 3221223248 134731177 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23429 21701 300 300 0 23129 0
vsize: 93716
[startup+40.0014 s]
Raw data (loadavg): 0.87 0.92 0.90 2/54 17351
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 33444 0 0 0 3925 74 0 0 25 0 1 0 806072105 96292864 21800 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23509 21800 300 300 0 23209 0
vsize: 94036
[startup+50.0022 s]
Raw data (loadavg): 0.89 0.92 0.90 2/54 17351
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 34668 0 0 0 4922 77 0 0 25 0 1 0 806072105 99422208 22542 4294967295 134512640 135726644 3221224592 3221222896 134765185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24273 22542 300 300 0 23973 0
vsize: 97092
[startup+60.0027 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 17351
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 34767 0 0 0 5921 78 0 0 25 0 1 0 806072105 97644544 22159 4294967295 134512640 135726644 3221224592 3221222912 134728890 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23839 22159 300 300 0 23539 0
vsize: 95356
[startup+70.0027 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 17351
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 34795 0 0 0 6921 79 0 0 25 0 1 0 806072105 97644544 22187 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23839 22187 300 300 0 23539 0
vsize: 95356
[startup+80.0035 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 17351
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 35299 0 0 0 7919 80 0 0 25 0 1 0 806072105 97644544 22209 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23839 22209 300 300 0 23539 0
vsize: 95356
[startup+90.0038 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 17351
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 35328 0 0 0 8919 81 0 0 25 0 1 0 806072105 97644544 22238 4294967295 134512640 135726644 3221224592 3221223104 134742493 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23839 22238 300 300 0 23539 0
vsize: 95356
[startup+100.004 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 17351
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 35826 0 0 0 9917 83 0 0 25 0 1 0 806072105 97644544 22254 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23839 22254 300 300 0 23539 0
vsize: 95356
[startup+110.005 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 17351
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 36327 0 0 0 10916 84 0 0 25 0 1 0 806072105 97644544 22273 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23839 22273 300 300 0 23539 0
vsize: 95356
[startup+120.005 s]
Raw data (loadavg): 0.96 0.94 0.90 2/54 17351
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 36366 0 0 0 11916 85 0 0 25 0 1 0 806072105 97779712 22312 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23872 22312 300 300 0 23572 0
vsize: 95488
[startup+130.005 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 36378 0 0 0 12915 86 0 0 25 0 1 0 806072105 97779712 22324 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23872 22324 300 300 0 23572 0
vsize: 95488
[startup+140.005 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 36921 0 0 0 13913 88 0 0 25 0 1 0 806072105 98050048 22385 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23938 22385 300 300 0 23638 0
vsize: 95752
[startup+150.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 36946 0 0 0 14912 89 0 0 25 0 1 0 806072105 98050048 22410 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23938 22410 300 300 0 23638 0
vsize: 95752
[startup+160.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 37437 0 0 0 15911 90 0 0 25 0 1 0 806072105 98050048 22419 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23938 22419 300 300 0 23638 0
vsize: 95752
[startup+170.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 37496 0 0 0 16910 91 0 0 25 0 1 0 806072105 98381824 22478 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24019 22478 300 300 0 23719 0
vsize: 96076
[startup+180.008 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 37587 0 0 0 17910 92 0 0 25 0 1 0 806072105 98680832 22569 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24092 22569 300 300 0 23792 0
vsize: 96368
[startup+190.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 38085 0 0 0 18908 93 0 0 25 0 1 0 806072105 98680832 22585 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24092 22585 300 300 0 23792 0
vsize: 96368
[startup+200.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 38108 0 0 0 19908 94 0 0 25 0 1 0 806072105 98680832 22608 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24092 22608 300 300 0 23792 0
vsize: 96368
[startup+210.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 38653 0 0 0 20906 96 0 0 25 0 1 0 806072105 98951168 22671 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24158 22671 300 300 0 23858 0
vsize: 96632
[startup+220.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 38687 0 0 0 21905 97 0 0 25 0 1 0 806072105 98951168 22705 4294967295 134512640 135726644 3221224592 3221223328 134761694 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24158 22705 300 300 0 23858 0
vsize: 96632
[startup+230.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 38736 0 0 0 22905 97 0 0 25 0 1 0 806072105 99086336 22754 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24191 22754 300 300 0 23891 0
vsize: 96764
[startup+240.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 38826 0 0 0 23904 98 0 0 25 0 1 0 806072105 99356672 22844 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24257 22844 300 300 0 23957 0
vsize: 97028
[startup+250.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 39428 0 0 0 24903 100 0 0 25 0 1 0 806072105 99823616 22964 4294967295 134512640 135726644 3221224592 3221223248 134731192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24371 22964 300 300 0 24071 0
vsize: 97484
[startup+260.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 39458 0 0 0 25902 100 0 0 25 0 1 0 806072105 100020224 22994 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24419 22994 300 300 0 24119 0
vsize: 97676
[startup+270.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 39958 0 0 0 26901 102 0 0 25 0 1 0 806072105 100020224 23012 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24419 23012 300 300 0 24119 0
vsize: 97676
[startup+280.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 39982 0 0 0 27900 102 0 0 25 0 1 0 806072105 100020224 23036 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24419 23036 300 300 0 24119 0
vsize: 97676
[startup+290.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 40038 0 0 0 28900 103 0 0 25 0 1 0 806072105 100020224 23092 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24419 23092 300 300 0 24119 0
vsize: 97676
[startup+300.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 40063 0 0 0 29899 103 0 0 25 0 1 0 806072105 100020224 23117 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24419 23117 300 300 0 24119 0
vsize: 97676
[startup+310.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 40568 0 0 0 30898 105 0 0 25 0 1 0 806072105 100020224 23140 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24419 23140 300 300 0 24119 0
vsize: 97676
[startup+320.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 40620 0 0 0 31897 106 0 0 25 0 1 0 806072105 100155392 23192 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24452 23192 300 300 0 24152 0
vsize: 97808
[startup+330.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 40633 0 0 0 32897 106 0 0 25 0 1 0 806072105 100155392 23205 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24452 23205 300 300 0 24152 0
vsize: 97808
[startup+340.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 41138 0 0 0 33895 108 0 0 25 0 1 0 806072105 100155392 23228 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24452 23228 300 300 0 24152 0
vsize: 97808
[startup+350.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 41183 0 0 0 34895 109 0 0 25 0 1 0 806072105 100290560 23273 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24485 23273 300 300 0 24185 0
vsize: 97940
[startup+360.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 41209 0 0 0 35895 109 0 0 25 0 1 0 806072105 100290560 23299 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24485 23299 300 300 0 24185 0
vsize: 97940
[startup+370.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 41237 0 0 0 36894 109 0 0 25 0 1 0 806072105 100290560 23327 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24485 23327 300 300 0 24185 0
vsize: 97940
[startup+380.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 41269 0 0 0 37894 110 0 0 25 0 1 0 806072105 100290560 23359 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24485 23359 300 300 0 24185 0
vsize: 97940
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 41797 0 0 0 38893 111 0 0 25 0 1 0 806072105 100290560 23405 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24485 23405 300 300 0 24185 0
vsize: 97940
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 42302 0 0 0 39892 112 0 0 25 0 1 0 806072105 100290560 23428 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24485 23428 300 300 0 24185 0
vsize: 97940
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 43281 0 0 0 40889 115 0 0 25 0 1 0 806072105 100290560 23443 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24485 23443 300 300 0 24185 0
vsize: 97940
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 43298 0 0 0 41889 116 0 0 25 0 1 0 806072105 100290560 23460 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24485 23460 300 300 0 24185 0
vsize: 97940
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 43323 0 0 0 42889 116 0 0 25 0 1 0 806072105 100290560 23485 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24485 23485 300 300 0 24185 0
vsize: 97940
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 43828 0 0 0 43887 118 0 0 25 0 1 0 806072105 100290560 23508 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24485 23508 300 300 0 24185 0
vsize: 97940
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 43850 0 0 0 44886 118 0 0 25 0 1 0 806072105 100290560 23530 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24485 23530 300 300 0 24185 0
vsize: 97940
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 43870 0 0 0 45886 119 0 0 25 0 1 0 806072105 100290560 23550 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24485 23550 300 300 0 24185 0
vsize: 97940
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 43891 0 0 0 46886 119 0 0 25 0 1 0 806072105 117067776 23571 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28581 23571 300 300 0 28281 0
vsize: 114324
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 43915 0 0 0 47885 120 0 0 25 0 1 0 806072105 117067776 23595 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28581 23595 300 300 0 28281 0
vsize: 114324
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 43935 0 0 0 48885 120 0 0 25 0 1 0 806072105 117067776 23615 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28581 23615 300 300 0 28281 0
vsize: 114324
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 44425 0 0 0 49884 122 0 0 25 0 1 0 806072105 117067776 23623 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28581 23623 300 300 0 28281 0
vsize: 114324
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 44457 0 0 0 50883 122 0 0 25 0 1 0 806072105 117264384 23655 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28629 23655 300 300 0 28329 0
vsize: 114516
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 44951 0 0 0 51882 123 0 0 25 0 1 0 806072105 117264384 23667 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28629 23667 300 300 0 28329 0
vsize: 114516
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 44954 0 0 0 52882 124 0 0 25 0 1 0 806072105 117264384 23670 4294967295 134512640 135726644 3221224592 3221223088 134744182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28629 23670 300 300 0 28329 0
vsize: 114516
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 44956 0 0 0 53881 124 0 0 25 0 1 0 806072105 117264384 23672 4294967295 134512640 135726644 3221224592 3221222920 134735638 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28629 23672 300 300 0 28329 0
vsize: 114516
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 44960 0 0 0 54881 125 0 0 25 0 1 0 806072105 117264384 23676 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28629 23676 300 300 0 28329 0
vsize: 114516
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 44997 0 0 0 55881 126 0 0 25 0 1 0 806072105 117530624 23713 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28694 23713 300 300 0 28394 0
vsize: 114776
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 45481 0 0 0 56879 127 0 0 25 0 1 0 806072105 117530624 23715 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28694 23715 300 300 0 28394 0
vsize: 114776
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 45485 0 0 0 57879 128 0 0 25 0 1 0 806072105 117530624 23719 4294967295 134512640 135726644 3221224592 3221223248 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28694 23719 300 300 0 28394 0
vsize: 114776
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 45969 0 0 0 58878 129 0 0 25 0 1 0 806072105 117530624 23721 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28694 23721 300 300 0 28394 0
vsize: 114776
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 45972 0 0 0 59877 130 0 0 25 0 1 0 806072105 117530624 23724 4294967295 134512640 135726644 3221224592 3221223184 134759994 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28694 23724 300 300 0 28394 0
vsize: 114776
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 45978 0 0 0 60877 130 0 0 25 0 1 0 806072105 117530624 23730 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28694 23730 300 300 0 28394 0
vsize: 114776
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 46004 0 0 0 61876 131 0 0 25 0 1 0 806072105 117530624 23756 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28694 23756 300 300 0 28394 0
vsize: 114776
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 46527 0 0 0 62874 133 0 0 25 0 1 0 806072105 117661696 23764 4294967295 134512640 135726644 3221224592 3221223088 134744046 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28726 23764 300 300 0 28426 0
vsize: 114904
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 46529 0 0 0 63873 134 0 0 25 0 1 0 806072105 117661696 23766 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28726 23766 300 300 0 28426 0
vsize: 114904
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 47015 0 0 0 64873 134 0 0 25 0 1 0 806072105 119635968 24252 4294967295 134512640 135726644 3221224592 3221222892 134761832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29208 24252 300 300 0 28908 0
vsize: 116832
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 47018 0 0 0 65872 135 0 0 25 0 1 0 806072105 117661696 23773 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28726 23773 300 300 0 28426 0
vsize: 114904
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 47020 0 0 0 66872 135 0 0 25 0 1 0 806072105 117661696 23775 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28726 23775 300 300 0 28426 0
vsize: 114904
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 47022 0 0 0 67871 136 0 0 25 0 1 0 806072105 117661696 23777 4294967295 134512640 135726644 3221224592 3221223248 134731196 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28726 23777 300 300 0 28426 0
vsize: 114904
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 47024 0 0 0 68871 136 0 0 25 0 1 0 806072105 117661696 23779 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28726 23779 300 300 0 28426 0
vsize: 114904
[startup+696.852 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 17353
Raw data (stat): 17351 (pb2sat) R 17350 3944 3943 0 -1 0 47024 0 0 0 68871 136 0 0 25 0 1 0 806072105 117661696 23779 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28726 23779 300 300 0 28426 0
vsize: 0

Child status: 30
Real time (s): 696.849
CPU time (s): 696.883
CPU user time (s): 695.468
CPU system time (s): 1.41478
CPU usage (%): 100.005
Max. virtual memory (Kb): 116832
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	60
#### END VERIFIER DATA ####