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 34902

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-28 11:03:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24163 boxname=wulflinc8 idbench=237 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9f27aad2edb50c2232eec4dba5ec2271  /oldhome/oroussel/tmp/wulflinc8/normalized-s4-4-3-1pb.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc8/normalized-s4-4-3-1pb.opb
IDLAUNCH: 24163
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        718344 kB
Buffers:         37396 kB
Cached:         256488 kB
SwapCached:        896 kB
Active:          56428 kB
Inactive:       239732 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        718092 kB
SwapTotal:     2097136 kB
SwapFree:      2095540 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            14448 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:14:31 (client local time) WITH STATUS 30 IN 662.328 SECONDS
stats: 24163 0 662.328 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 132459/229889	Time: 96.3054/86400c got solution with objective value: 72
c [startup+115.894 s]  setting bit 9 to 1
c CONFLICT during preprocess 
c [startup+116.809 s]  setting bit 8 to 0
c [startup+133.341 s]  setting bit 7 to 0
c got solution with objective value: 70
c [startup+138.774 s]  setting bit 6 to 1

Decision: 186376/229889	Time: 102.728/86400
Decision: 186379/229889	Time: 119.698/86400
Decision: 186379/229889	Time: 133.103/86400
Decision: 186379/229889	Time: 149.785/86400
Decision: 186379/229889	Time: 165.222/86400
Decision: 186379/229889	Time: 179.763/86400
Decision: 186379/229889	Time: 192.658/86400
Decision: 186379/229889	Time: 206.007/86400
Decision: 186379/229889	Time: 221.347/86400
Decision: 186379/229889	Time: 235.813/86400
Decision: 186379/229889	Time: 251.03/86400
Decision: 186379/229889	Time: 269.173/86400
Decision: 186379/229889	Time: 283.835/86400c got solution with objective value: 64
c [startup+440.887 s]  setting bit 5 to 1

Decision: 197431/229889	Time: 29.4635/86400
Decision: 197431/229889	Time: 44.3693/86400c [startup+495.602 s]  setting bit 4 to 0

Decision: 195544/229889	Time: 59.448/86400c [startup+571.725 s]  setting bit 3 to 0
c [startup+593.559 s]  setting bit 2 to 0
c got solution with objective value: 62
c [startup+602.103 s]  setting bit 1 to 1
c [startup+661.689 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 -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): 0.80 0.94 0.90 1/54 15118
Raw data (stat): 15118 (runsolver) R 15117 3132 3131 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 792506717 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.001 s]
Raw data (loadavg): 0.83 0.94 0.90 2/54 15118
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 30097 0 0 0 941 58 0 0 25 0 1 0 792506717 89665536 19183 4294967295 134512640 135726644 3221224592 3221200080 134767079 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21891 19183 300 300 0 21591 0
vsize: 87564
[startup+20.0017 s]
Raw data (loadavg): 0.86 0.94 0.90 2/54 15118
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 31836 0 0 0 1935 63 0 0 25 0 1 0 792506717 93589504 20241 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22849 20241 300 300 0 22549 0
vsize: 91396
[startup+30.002 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 15118
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 31994 0 0 0 2934 64 0 0 25 0 1 0 792506717 94375936 20399 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23041 20399 300 300 0 22741 0
vsize: 92164
[startup+40.0021 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 15118
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 32029 0 0 0 3934 65 0 0 25 0 1 0 792506717 94375936 20434 4294967295 134512640 135726644 3221224592 3221223088 134744172 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23041 20434 300 300 0 22741 0
vsize: 92164
[startup+50.0029 s]
Raw data (loadavg): 0.91 0.95 0.90 2/54 15118
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 32104 0 0 0 4934 65 0 0 25 0 1 0 792506717 94572544 20509 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23089 20509 300 300 0 22789 0
vsize: 92356
[startup+60.0036 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 15118
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 32199 0 0 0 5933 66 0 0 25 0 1 0 792506717 94904320 20604 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23170 20604 300 300 0 22870 0
vsize: 92680
[startup+70.0044 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 15118
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 32255 0 0 0 6933 66 0 0 25 0 1 0 792506717 94904320 20660 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23170 20660 300 300 0 22870 0
vsize: 92680
[startup+80.0051 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 15118
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 32302 0 0 0 7933 66 0 0 25 0 1 0 792506717 95100928 20707 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23218 20707 300 300 0 22918 0
vsize: 92872
[startup+90.0044 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 15118
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 32346 0 0 0 8933 67 0 0 25 0 1 0 792506717 95100928 20751 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23218 20751 300 300 0 22918 0
vsize: 92872
[startup+100.005 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 15118
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 32425 0 0 0 9932 67 0 0 25 0 1 0 792506717 95297536 20830 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23266 20830 300 300 0 22966 0
vsize: 93064
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 15118
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 32906 0 0 0 10931 69 0 0 25 0 1 0 792506717 95297536 20861 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23266 20861 300 300 0 22966 0
vsize: 93064
[startup+120.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 15118
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 34027 0 0 0 11929 71 0 0 25 0 1 0 792506717 95834112 21049 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23397 21049 300 300 0 23097 0
vsize: 93588
[startup+130.008 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 15118
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 34033 0 0 0 12929 71 0 0 25 0 1 0 792506717 95834112 21055 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23397 21055 300 300 0 23097 0
vsize: 93588
[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15118
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 34976 0 0 0 13925 74 0 0 25 0 1 0 792506717 96030720 21098 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23445 21098 300 300 0 23145 0
vsize: 93780
[startup+150.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15118
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 35005 0 0 0 14925 75 0 0 25 0 1 0 792506717 96030720 21127 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23445 21127 300 300 0 23145 0
vsize: 93780
[startup+160.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 35130 0 0 0 15924 75 0 0 25 0 1 0 792506717 96620544 21252 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23589 21252 300 300 0 23289 0
vsize: 94356
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 35182 0 0 0 16925 75 0 0 25 0 1 0 792506717 96755712 21304 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23622 21304 300 300 0 23322 0
vsize: 94488
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 35253 0 0 0 17924 76 0 0 25 0 1 0 792506717 97054720 21375 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23695 21375 300 300 0 23395 0
vsize: 94780
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 35278 0 0 0 18924 76 0 0 25 0 1 0 792506717 97054720 21400 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23695 21400 300 300 0 23395 0
vsize: 94780
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 35303 0 0 0 19924 76 0 0 25 0 1 0 792506717 97054720 21425 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23695 21425 300 300 0 23395 0
vsize: 94780
[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 35330 0 0 0 20924 77 0 0 25 0 1 0 792506717 97054720 21452 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23695 21452 300 300 0 23395 0
vsize: 94780
[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 35370 0 0 0 21924 77 0 0 25 0 1 0 792506717 97054720 21492 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23695 21492 300 300 0 23395 0
vsize: 94780
[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 35385 0 0 0 22924 77 0 0 25 0 1 0 792506717 97054720 21507 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23695 21507 300 300 0 23395 0
vsize: 94780
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 35411 0 0 0 23924 77 0 0 25 0 1 0 792506717 97054720 21533 4294967295 134512640 135726644 3221224592 3221223104 134742265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23695 21533 300 300 0 23395 0
vsize: 94780
[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 35867 0 0 0 24922 79 0 0 25 0 1 0 792506717 97054720 21539 4294967295 134512640 135726644 3221224592 3221223184 134760517 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23695 21539 300 300 0 23395 0
vsize: 94780
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 36410 0 0 0 25921 80 0 0 25 0 1 0 792506717 97521664 21632 4294967295 134512640 135726644 3221224592 3221223072 134729127 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23809 21632 300 300 0 23509 0
vsize: 95236
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 36429 0 0 0 26921 81 0 0 25 0 1 0 792506717 97521664 21651 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23809 21651 300 300 0 23509 0
vsize: 95236
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 36898 0 0 0 27920 82 0 0 25 0 1 0 792506717 97521664 21670 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23809 21670 300 300 0 23509 0
vsize: 95236
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 37441 0 0 0 28918 84 0 0 25 0 1 0 792506717 97927168 21763 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23908 21763 300 300 0 23608 0
vsize: 95632
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 37487 0 0 0 29918 84 0 0 25 0 1 0 792506717 98062336 21809 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23941 21809 300 300 0 23641 0
vsize: 95764
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 37977 0 0 0 30917 86 0 0 25 0 1 0 792506717 98197504 21849 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23974 21849 300 300 0 23674 0
vsize: 95896
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 38446 0 0 0 31916 87 0 0 25 0 1 0 792506717 98197504 21868 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23974 21868 300 300 0 23674 0
vsize: 95896
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 38455 0 0 0 32916 87 0 0 25 0 1 0 792506717 98197504 21877 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23974 21877 300 300 0 23674 0
vsize: 95896
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 38943 0 0 0 33915 88 0 0 25 0 1 0 792506717 98332672 21915 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24007 21915 300 300 0 23707 0
vsize: 96028
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 39435 0 0 0 34913 90 0 0 25 0 1 0 792506717 98467840 21957 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24040 21957 300 300 0 23740 0
vsize: 96160
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 39931 0 0 0 35912 91 0 0 25 0 1 0 792506717 100446208 22453 4294967295 134512640 135726644 3221224592 3221222752 134765226 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24523 22453 300 300 0 24223 0
vsize: 98092
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 39955 0 0 0 36912 92 0 0 25 0 1 0 792506717 98603008 22027 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24073 22027 300 300 0 23773 0
vsize: 96292
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 40434 0 0 0 37911 92 0 0 25 0 1 0 792506717 98603008 22056 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24073 22056 300 300 0 23773 0
vsize: 96292
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 40923 0 0 0 38910 93 0 0 25 0 1 0 792506717 98738176 22095 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24106 22095 300 300 0 23806 0
vsize: 96424
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 40927 0 0 0 39910 94 0 0 25 0 1 0 792506717 98738176 22099 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24106 22099 300 300 0 23806 0
vsize: 96424
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 41396 0 0 0 40909 95 0 0 25 0 1 0 792506717 98738176 22118 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24106 22118 300 300 0 23806 0
vsize: 96424
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 41457 0 0 0 41909 95 0 0 25 0 1 0 792506717 99004416 22179 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24171 22179 300 300 0 23871 0
vsize: 96684
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 41937 0 0 0 42908 97 0 0 25 0 1 0 792506717 99004416 22209 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24171 22209 300 300 0 23871 0
vsize: 96684
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 42013 0 0 0 43908 97 0 0 25 0 1 0 792506717 99135488 22252 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24203 22252 300 300 0 23903 0
vsize: 96812
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 42486 0 0 0 44906 99 0 0 25 0 1 0 792506717 99135488 22275 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24203 22275 300 300 0 23903 0
vsize: 96812
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 42519 0 0 0 45906 99 0 0 25 0 1 0 792506717 99135488 22308 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24203 22308 300 300 0 23903 0
vsize: 96812
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 43040 0 0 0 46905 101 0 0 25 0 1 0 792506717 99405824 22379 4294967295 134512640 135726644 3221224592 3221223216 134779717 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24269 22379 300 300 0 23969 0
vsize: 97076
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 43075 0 0 0 47905 101 0 0 25 0 1 0 792506717 99540992 22414 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24302 22414 300 300 0 24002 0
vsize: 97208
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 43547 0 0 0 48903 102 0 0 25 0 1 0 792506717 99540992 22436 4294967295 134512640 135726644 3221224592 3221222504 134784089 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24302 22436 300 300 0 24002 0
vsize: 97208
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 44038 0 0 0 49902 104 0 0 25 0 1 0 792506717 99676160 22477 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24335 22477 300 300 0 24035 0
vsize: 97340
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 44064 0 0 0 50902 104 0 0 25 0 1 0 792506717 99676160 22503 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24335 22503 300 300 0 24035 0
vsize: 97340
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 44091 0 0 0 51902 104 0 0 25 0 1 0 792506717 99676160 22530 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24335 22530 300 300 0 24035 0
vsize: 97340
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 44119 0 0 0 52902 104 0 0 25 0 1 0 792506717 99676160 22558 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24335 22558 300 300 0 24035 0
vsize: 97340
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 44140 0 0 0 53902 105 0 0 25 0 1 0 792506717 116453376 22579 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28431 22579 300 300 0 28131 0
vsize: 113724
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 44159 0 0 0 54902 105 0 0 25 0 1 0 792506717 116453376 22598 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28431 22598 300 300 0 28131 0
vsize: 113724
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 44628 0 0 0 55901 106 0 0 25 0 1 0 792506717 116453376 22617 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28431 22617 300 300 0 28131 0
vsize: 113724
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 44658 0 0 0 56901 106 0 0 25 0 1 0 792506717 116453376 22647 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28431 22647 300 300 0 28131 0
vsize: 113724
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 45129 0 0 0 57900 107 0 0 25 0 1 0 792506717 116453376 22668 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28431 22668 300 300 0 28131 0
vsize: 113724
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 45153 0 0 0 58900 108 0 0 25 0 1 0 792506717 116453376 22692 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28431 22692 300 300 0 28131 0
vsize: 113724
[startup+600.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 45630 0 0 0 59900 109 0 0 25 0 1 0 792506717 116453376 22719 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28431 22719 300 300 0 28131 0
vsize: 113724
[startup+610.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 46108 0 0 0 60899 110 0 0 25 0 1 0 792506717 116453376 22747 4294967295 134512640 135726644 3221224592 3221223248 134731196 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28431 22747 300 300 0 28131 0
vsize: 113724
[startup+620.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 46139 0 0 0 61898 111 0 0 25 0 1 0 792506717 116453376 22778 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28431 22778 300 300 0 28131 0
vsize: 113724
[startup+630.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 46177 0 0 0 62899 111 0 0 25 0 1 0 792506717 116453376 22816 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28431 22816 300 300 0 28131 0
vsize: 113724
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 46208 0 0 0 63898 112 0 0 25 0 1 0 792506717 116453376 22847 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28431 22847 300 300 0 28131 0
vsize: 113724
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 46239 0 0 0 64898 112 0 0 25 0 1 0 792506717 116453376 22878 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28431 22878 300 300 0 28131 0
vsize: 113724
[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 46270 0 0 0 65898 112 0 0 25 0 1 0 792506717 116453376 22909 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28431 22909 300 300 0 28131 0
vsize: 113724
[startup+662.25 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 15120
Raw data (stat): 15118 (pb2sat) R 15117 3132 3131 0 -1 0 46270 0 0 0 65898 112 0 0 25 0 1 0 792506717 116453376 22909 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28431 22909 300 300 0 28131 0
vsize: 0

Child status: 30
Real time (s): 662.25
CPU time (s): 662.328
CPU user time (s): 661.152
CPU system time (s): 1.17682
CPU usage (%): 100.012
Max. virtual memory (Kb): 113724
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	62
#### END VERIFIER DATA ####