PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-05-28 11:03:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24168 boxname=wulflinc17 idbench=242 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c12951e903009dc00793ce72594cf3ba  /oldhome/oroussel/tmp/wulflinc17/normalized-s4-4-3-6pb.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc17/normalized-s4-4-3-6pb.opb
IDLAUNCH: 24168
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 3
cpu MHz		: 451.072
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:        713500 kB
Buffers:         33936 kB
Cached:         256068 kB
SwapCached:        628 kB
Active:          20800 kB
Inactive:       271252 kB
HighTotal:      131008 kB
HighFree:        47936 kB
LowTotal:       903652 kB
LowFree:        665564 kB
SwapTotal:     2097892 kB
SwapFree:      2096376 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            23348 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:15:02 (client local time) WITH STATUS 30 IN 665.887 SECONDS
stats: 24168 0 665.887 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 132424/198472	Time: 79.7409/86400
Decision: 132472/198472	Time: 116.72/86400
Decision: 132495/198472	Time: 129.663/86400c got solution with objective value: 72
c [startup+141.02 s]  setting bit 9 to 1
c CONFLICT during preprocess 
c [startup+141.799 s]  setting bit 8 to 0
c CONFLICT during preprocess 
c [startup+142.578 s]  setting bit 7 to 0
c [startup+206.764 s]  setting bit 6 to 0
c got solution with objective value: 72
c [startup+225.223 s]  setting bit 5 to 1

Decision: 160040/198472	Time: 26.9039/86400
Decision: 160040/198472	Time: 41.0828/86400
Decision: 160040/198472	Time: 56.0265/86400
Decision: 160041/198472	Time: 73.7648/86400
Decision: 160043/198472	Time: 85.8729/86400
Decision: 160043/198472	Time: 97.0123/86400
Decision: 160043/198472	Time: 109.266/86400
Decision: 160045/198472	Time: 123.387/86400
Decision: 160045/198472	Time: 135.269/86400
Decision: 160596/198472	Time: 154.531/86400
Decision: 160598/198472	Time: 177.993/86400
Decision: 160603/198472	Time: 198.44/86400
Decision: 160603/198472	Time: 210.089/86400
Decision: 160604/198472	Time: 223.009/86400
Decision: 160608/198472	Time: 248.955/86400
Decision: 160608/198472	Time: 260.297/86400
Decision: 160609/198472	Time: 282.87/86400c [startup+529.19 s]  setting bit 4 to 0
c got solution with objective value: 70
c [startup+536.588 s]  setting bit 3 to 1
c got solution with objective value: 68
c [startup+565.774 s]  setting bit 2 to 1
c got solution with objective value: 66
c [startup+569.348 s]  setting bit 1 to 1

Decision: 160127/198472	Time: 19.519/86400
Decision: 160169/198472	Time: 56.8164/86400
Decision: 160172/198472	Time: 83.8123/86400c [startup+665.282 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 -v63 -v64 -v65 -v66 -v67 -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
Raw data (loadavg): 0.90 0.95 0.90 2/54 19572
Raw data (stat): 19572 (runsolver) R 19571 7475 7474 0 -1 64 0 0 0 0 0 0 0 0 19 0 1 0 864309362 884736 93 4294967295 134512640 135332820 3221224464 3221219872 134515228 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.0009 s]
Raw data (loadavg): 0.92 0.95 0.90 2/54 19572
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 28549 0 0 0 931 68 0 0 25 0 1 0 864309362 89296896 17661 4294967295 134512640 135726644 3221224592 3221222888 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21801 17661 300 300 0 21501 0
vsize: 87204
[startup+20.001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 19572
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 29094 0 0 0 1929 70 0 0 25 0 1 0 864309362 89698304 17591 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21899 17591 300 300 0 21599 0
vsize: 87596
[startup+30.0019 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19572
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 29266 0 0 0 2929 70 0 0 25 0 1 0 864309362 90550272 17763 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22107 17763 300 300 0 21807 0
vsize: 88428
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19572
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 29344 0 0 0 3929 71 0 0 25 0 1 0 864309362 90685440 17841 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22140 17841 300 300 0 21840 0
vsize: 88560
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19572
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 29428 0 0 0 4928 71 0 0 25 0 1 0 864309362 90882048 17925 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22188 17925 300 300 0 21888 0
vsize: 88752
[startup+60.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19572
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 29519 0 0 0 5927 72 0 0 25 0 1 0 864309362 91275264 18016 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22284 18016 300 300 0 21984 0
vsize: 89136
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19572
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 29580 0 0 0 6927 73 0 0 25 0 1 0 864309362 91275264 18077 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22284 18077 300 300 0 21984 0
vsize: 89136
[startup+80.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19572
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 29647 0 0 0 7927 73 0 0 25 0 1 0 864309362 91471872 18144 4294967295 134512640 135726644 3221224592 3221223248 134731187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22332 18144 300 300 0 22032 0
vsize: 89328
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 30093 0 0 0 8925 75 0 0 25 0 1 0 864309362 91668480 18202 4294967295 134512640 135726644 3221224592 3221223136 134736686 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22380 18202 300 300 0 22080 0
vsize: 89520
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 30110 0 0 0 9924 76 0 0 25 0 1 0 864309362 91668480 18219 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22380 18219 300 300 0 22080 0
vsize: 89520
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 30215 0 0 0 10924 76 0 0 25 0 1 0 864309362 92061696 18324 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22476 18324 300 300 0 22176 0
vsize: 89904
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 30237 0 0 0 11924 76 0 0 25 0 1 0 864309362 92061696 18346 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22476 18346 300 300 0 22176 0
vsize: 89904
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 30659 0 0 0 12923 77 0 0 25 0 1 0 864309362 92061696 18380 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22476 18380 300 300 0 22176 0
vsize: 89904
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 31076 0 0 0 13922 78 0 0 25 0 1 0 864309362 92061696 18409 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22476 18409 300 300 0 22176 0
vsize: 89904
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 32310 0 0 0 14919 82 0 0 25 0 1 0 864309362 92061696 18479 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22476 18479 300 300 0 22176 0
vsize: 89904
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 32377 0 0 0 15919 82 0 0 25 0 1 0 864309362 92332032 18546 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22542 18546 300 300 0 22242 0
vsize: 90168
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 32403 0 0 0 16918 82 0 0 25 0 1 0 864309362 92332032 18572 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22542 18572 300 300 0 22242 0
vsize: 90168
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 32448 0 0 0 17918 83 0 0 25 0 1 0 864309362 92467200 18617 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22575 18617 300 300 0 22275 0
vsize: 90300
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 32552 0 0 0 18918 83 0 0 25 0 1 0 864309362 93069312 18721 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22722 18721 300 300 0 22422 0
vsize: 90888
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 32597 0 0 0 19917 84 0 0 25 0 1 0 864309362 93204480 18766 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22755 18766 300 300 0 22455 0
vsize: 91020
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 33059 0 0 0 20916 86 0 0 25 0 1 0 864309362 93474816 18840 4294967295 134512640 135726644 3221224592 3221223088 134743875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22821 18840 300 300 0 22521 0
vsize: 91284
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 33155 0 0 0 21915 86 0 0 25 0 1 0 864309362 93880320 18936 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 18936 300 300 0 22620 0
vsize: 91680
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 33566 0 0 0 22914 88 0 0 25 0 1 0 864309362 93880320 18959 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 18959 300 300 0 22620 0
vsize: 91680
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 33583 0 0 0 23914 88 0 0 25 0 1 0 864309362 93880320 18976 4294967295 134512640 135726644 3221224592 3221223136 134736644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 18976 300 300 0 22620 0
vsize: 91680
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 33605 0 0 0 24914 88 0 0 25 0 1 0 864309362 93880320 18998 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 18998 300 300 0 22620 0
vsize: 91680
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 33998 0 0 0 25913 90 0 0 25 0 1 0 864309362 93880320 19003 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 19003 300 300 0 22620 0
vsize: 91680
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 34390 0 0 0 26912 91 0 0 25 0 1 0 864309362 93880320 19007 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 19007 300 300 0 22620 0
vsize: 91680
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 34400 0 0 0 27912 91 0 0 25 0 1 0 864309362 93880320 19017 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 19017 300 300 0 22620 0
vsize: 91680
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 34791 0 0 0 28911 92 0 0 25 0 1 0 864309362 93880320 19020 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 19020 300 300 0 22620 0
vsize: 91680
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 35182 0 0 0 29910 93 0 0 25 0 1 0 864309362 93880320 19023 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 19023 300 300 0 22620 0
vsize: 91680
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 35212 0 0 0 30910 93 0 0 25 0 1 0 864309362 93880320 19053 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 19053 300 300 0 22620 0
vsize: 91680
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 35626 0 0 0 31909 94 0 0 25 0 1 0 864309362 93880320 19079 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 19079 300 300 0 22620 0
vsize: 91680
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 36022 0 0 0 32908 96 0 0 25 0 1 0 864309362 93880320 19087 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 19087 300 300 0 22620 0
vsize: 91680
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 36441 0 0 0 33907 97 0 0 25 0 1 0 864309362 93880320 19118 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 19118 300 300 0 22620 0
vsize: 91680
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 36852 0 0 0 34906 98 0 0 25 0 1 0 864309362 93880320 19141 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 19141 300 300 0 22620 0
vsize: 91680
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 36884 0 0 0 35906 98 0 0 25 0 1 0 864309362 93880320 19173 4294967295 134512640 135726644 3221224592 3221223104 134742493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 19173 300 300 0 22620 0
vsize: 91680
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 37298 0 0 0 36905 99 0 0 25 0 1 0 864309362 93880320 19199 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 19199 300 300 0 22620 0
vsize: 91680
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 37722 0 0 0 37904 100 0 0 25 0 1 0 864309362 93880320 19235 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 19235 300 300 0 22620 0
vsize: 91680
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 37750 0 0 0 38904 101 0 0 25 0 1 0 864309362 93880320 19263 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 19263 300 300 0 22620 0
vsize: 91680
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 37775 0 0 0 39904 101 0 0 25 0 1 0 864309362 93880320 19288 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 19288 300 300 0 22620 0
vsize: 91680
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 38177 0 0 0 40903 102 0 0 25 0 1 0 864309362 93880320 19302 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 19302 300 300 0 22620 0
vsize: 91680
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 38212 0 0 0 41903 103 0 0 25 0 1 0 864309362 93880320 19337 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 19337 300 300 0 22620 0
vsize: 91680
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 38637 0 0 0 42902 104 0 0 25 0 1 0 864309362 93880320 19374 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 19374 300 300 0 22620 0
vsize: 91680
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 39065 0 0 0 43901 105 0 0 25 0 1 0 864309362 93880320 19414 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 19414 300 300 0 22620 0
vsize: 91680
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 39488 0 0 0 44900 106 0 0 25 0 1 0 864309362 93880320 19449 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22920 19449 300 300 0 22620 0
vsize: 91680
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 39595 0 0 0 45901 106 0 0 25 0 1 0 864309362 94285824 19556 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23019 19556 300 300 0 22719 0
vsize: 92076
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 39629 0 0 0 46901 107 0 0 25 0 1 0 864309362 94285824 19590 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23019 19590 300 300 0 22719 0
vsize: 92076
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 40062 0 0 0 47900 108 0 0 25 0 1 0 864309362 94285824 19635 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23019 19635 300 300 0 22719 0
vsize: 92076
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 40472 0 0 0 48899 109 0 0 25 0 1 0 864309362 94285824 19657 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23019 19657 300 300 0 22719 0
vsize: 92076
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 40478 0 0 0 49899 110 0 0 25 0 1 0 864309362 94285824 19663 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23019 19663 300 300 0 22719 0
vsize: 92076
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 40869 0 0 0 50898 111 0 0 25 0 1 0 864309362 94285824 19666 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23019 19666 300 300 0 22719 0
vsize: 92076
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 40881 0 0 0 51897 111 0 0 25 0 1 0 864309362 94285824 19678 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23019 19678 300 300 0 22719 0
vsize: 92076
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 41316 0 0 0 52896 112 0 0 25 0 1 0 864309362 94285824 19725 4294967295 134512640 135726644 3221224592 3221222896 134743907 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23019 19725 300 300 0 22719 0
vsize: 92076
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 41769 0 0 0 53894 114 0 0 25 0 1 0 864309362 94420992 19790 4294967295 134512640 135726644 3221224592 3221223088 134744150 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23052 19790 300 300 0 22752 0
vsize: 92208
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 41809 0 0 0 54894 114 0 0 25 0 1 0 864309362 94420992 19830 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23052 19830 300 300 0 22752 0
vsize: 92208
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 41862 0 0 0 55894 115 0 0 25 0 1 0 864309362 94420992 19883 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23052 19883 300 300 0 22752 0
vsize: 92208
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 42704 0 0 0 56892 117 0 0 25 0 1 0 864309362 94781440 19949 4294967295 134512640 135726644 3221224592 3221223088 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23140 19949 300 300 0 22840 0
vsize: 92560
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 42760 0 0 0 57891 118 0 0 25 0 1 0 864309362 94781440 20005 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23140 20005 300 300 0 22840 0
vsize: 92560
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 43166 0 0 0 58890 119 0 0 25 0 1 0 864309362 94781440 20023 4294967295 134512640 135726644 3221224592 3221223088 134744323 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23140 20023 300 300 0 22840 0
vsize: 92560
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 43168 0 0 0 59890 119 0 0 25 0 1 0 864309362 94781440 20025 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23140 20025 300 300 0 22840 0
vsize: 92560
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 43171 0 0 0 60890 119 0 0 25 0 1 0 864309362 94781440 20028 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23140 20028 300 300 0 22840 0
vsize: 92560
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 43181 0 0 0 61890 119 0 0 25 0 1 0 864309362 94781440 20038 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23140 20038 300 300 0 22840 0
vsize: 92560
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 43645 0 0 0 62889 121 0 0 25 0 1 0 864309362 95043584 20048 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23204 20048 300 300 0 22904 0
vsize: 92816
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 43696 0 0 0 63889 121 0 0 25 0 1 0 864309362 95240192 20099 4294967295 134512640 135726644 3221224592 3221223280 134744915 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23252 20099 300 300 0 22952 0
vsize: 93008
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 43709 0 0 0 64889 121 0 0 25 0 1 0 864309362 95240192 20112 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23252 20112 300 300 0 22952 0
vsize: 93008
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 44164 0 0 0 65887 122 0 0 25 0 1 0 864309362 95240192 20179 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23252 20179 300 300 0 22952 0
vsize: 93008
[startup+665.804 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 19574
Raw data (stat): 19572 (pb2sat) R 19571 7475 7474 0 -1 0 44164 0 0 0 65887 122 0 0 25 0 1 0 864309362 95240192 20179 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23252 20179 300 300 0 22952 0
vsize: 0

Child status: 30
Real time (s): 665.804
CPU time (s): 665.887
CPU user time (s): 664.615
CPU system time (s): 1.27181
CPU usage (%): 100.012
Max. virtual memory (Kb): 93008
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	66
#### END VERIFIER DATA ####