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-9pb.opb
MD5SUM	7d64f372313e74de659e9e56ab2d9bab
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	68
Optimality of the best value was proved	NO
Number of terms in the objective function	840
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	840
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	840
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.04684
Number of variables	840
Total number of constraints	2526
Number of constraints which are clauses	2502
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	35
Trace number 34910

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-28 11:04:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24171 boxname=wulflinc30 idbench=245 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  7d64f372313e74de659e9e56ab2d9bab  /oldhome/oroussel/tmp/wulflinc30/normalized-s4-4-3-9pb.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc30/normalized-s4-4-3-9pb.opb
IDLAUNCH: 24171
/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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        872668 kB
Buffers:         34024 kB
Cached:         104828 kB
SwapCached:        752 kB
Active:          41200 kB
Inactive:        99780 kB
HighTotal:      131008 kB
HighFree:        88928 kB
LowTotal:       903652 kB
LowFree:        783740 kB
SwapTotal:     2097892 kB
SwapFree:      2096312 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5060 kB
Slab:            15356 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:14:59 (client local time) WITH STATUS 30 IN 643.343 SECONDS
stats: 24171 0 643.343 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 132693/357988	Time: 31.0513/86400
Decision: 132891/357988	Time: 52.754/86400
Decision: 132891/357988	Time: 65.2161/86400
Decision: 133832/357988	Time: 104.107/86400c got solution with objective value: 70
c [startup+134.33 s]  setting bit 9 to 1
c got solution with objective value: 72
c [startup+148.846 s]  setting bit 8 to 1
c CONFLICT during preprocess 
c [startup+150.278 s]  setting bit 7 to 0
c [startup+153.777 s]  setting bit 6 to 0

Decision: 326251/357988	Time: 36.0505/86400
Decision: 326251/357988	Time: 54.8027/86400
Decision: 328728/357988	Time: 133.313/86400c [startup+301.877 s]  setting bit 5 to 0
c [startup+360.271 s]  setting bit 4 to 0
c [startup+476.122 s]  setting bit 3 to 0
c got solution with objective value: 68
c [startup+486.118 s]  setting bit 2 to 1
c [startup+560.255 s]  setting bit 1 to 0
c [startup+642.406 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 -v697 -v698 -v699 -v7 -v70 -v700 -v701 -v702 -v703 -v704 -v705 -v706 -v707 -v708 -v709 -v71 -v710 -v711 -v712 -v713 -v714 -v715 -v716 -v717 -v718 v719 -v72 -v720 -v721 -v722 -v723 -v724 -v725 -v726 -v727 -v728 -v729 v73 v730 -v731 -v732 -v733 -v734 -v735 -v736 -v737 -v738 -v739 v74 -v740 -v741 -v742 -v743 -v744 -v745 -v746 -v747 -v748 -v749 v75 -v750 -v751 -v752 -v753 -v754 -v755 -v756 -v757 -v758 -v759 -v76 v760 -v761 -v762 -v763 -v764 -v765 -v766 -v767 -v768 -v769 -v77 -v770 -v771 -v772 v773 -v774 -v775 -v776 -v777 -v778 -v779 -v78 -v780 -v781 -v782 -v783 -v784 -v785 -v786 -v787 -v788 -v789 -v79 -v790 -v791 -v792 -v793 -v794 -v795 -v796 -v797 -v798 -v799 -v8 -v80 -v800 -v801 -v802 -v803 -v804 -v805 -v806 -v807 v808 -v809 -v81 -v810 -v811 -v812 -v813 -v814 -v815 -v816 -v817 -v818 -v819 -v82 -v820 v821 -v822 -v823 -v824 -v825 -v826 -v827 -v828 -v829 -v83 -v830 -v831 -v832 -v833 -v834 -v835 -v836 -v837 -v838 -v839 -v84 -v840 -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.92 0.97 0.90 2/54 32010
Raw data (stat): 32010 (runsolver) R 32009 22056 22055 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864293786 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0015 s]
Raw data (loadavg): 0.93 0.97 0.90 2/54 32010
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 29128 0 0 0 937 62 0 0 25 0 1 0 864293786 88375296 18225 4294967295 134512640 135726644 3221224592 3221216320 134810231 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21576 18225 300 300 0 21276 0
vsize: 86304
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 32010
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 53994 0 0 0 1880 118 0 0 25 0 1 0 864293786 170446848 31302 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41613 31302 300 300 0 41313 0
vsize: 166452
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 32010
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 54300 0 0 0 2879 120 0 0 25 0 1 0 864293786 171954176 31608 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41981 31608 300 300 0 41681 0
vsize: 167924
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 32010
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 54593 0 0 0 3878 121 0 0 25 0 1 0 864293786 173518848 31901 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42363 31901 300 300 0 42063 0
vsize: 169452
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 32010
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 55465 0 0 0 4876 123 0 0 25 0 1 0 864293786 174043136 32040 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42491 32040 300 300 0 42191 0
vsize: 169964
[startup+60.0044 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 32010
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 55811 0 0 0 5875 124 0 0 25 0 1 0 864293786 175525888 32353 4294967295 134512640 135726644 3221224592 3221223216 134744661 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42853 32353 300 300 0 42553 0
vsize: 171412
[startup+70.0055 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 32010
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 56873 0 0 0 6873 126 0 0 25 0 1 0 864293786 179724288 33250 4294967295 134512640 135726644 3221224592 3221222744 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43878 33250 300 300 0 43578 0
vsize: 175512
[startup+80.0057 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 32010
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 56898 0 0 0 7872 127 0 0 25 0 1 0 864293786 176857088 32575 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43178 32575 300 300 0 42878 0
vsize: 172712
[startup+90.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 32010
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 57610 0 0 0 8870 128 0 0 25 0 1 0 864293786 176857088 32587 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43178 32587 300 300 0 42878 0
vsize: 172712
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 57815 0 0 0 9869 129 0 0 25 0 1 0 864293786 177520640 32693 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43340 32693 300 300 0 43040 0
vsize: 173360
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 57883 0 0 0 10869 130 0 0 25 0 1 0 864293786 177790976 32761 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43406 32761 300 300 0 43106 0
vsize: 173624
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 57997 0 0 0 11869 130 0 0 25 0 1 0 864293786 178188288 32842 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43503 32842 300 300 0 43203 0
vsize: 174012
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 58756 0 0 0 12867 132 0 0 25 0 1 0 864293786 178454528 32901 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43568 32901 300 300 0 43268 0
vsize: 174272
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 60316 0 0 0 13863 136 0 0 25 0 1 0 864293786 180621312 33260 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33260 300 300 0 43797 0
vsize: 176388
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 61030 0 0 0 14862 138 0 0 25 0 1 0 864293786 180621312 33274 4294967295 134512640 135726644 3221224592 3221223312 134736184 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 33274 300 300 0 43797 0
vsize: 176388
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 62495 0 0 0 15857 142 0 0 25 0 1 0 864293786 180621312 33339 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33339 300 300 0 43797 0
vsize: 176388
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 62508 0 0 0 16858 142 0 0 25 0 1 0 864293786 180621312 33352 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33352 300 300 0 43797 0
vsize: 176388
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 62522 0 0 0 17857 142 0 0 25 0 1 0 864293786 180621312 33366 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33366 300 300 0 43797 0
vsize: 176388
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 63237 0 0 0 18856 144 0 0 25 0 1 0 864293786 180621312 33381 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33381 300 300 0 43797 0
vsize: 176388
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 63240 0 0 0 19856 144 0 0 25 0 1 0 864293786 180621312 33384 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33384 300 300 0 43797 0
vsize: 176388
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 63942 0 0 0 20854 146 0 0 25 0 1 0 864293786 180621312 33386 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33386 300 300 0 43797 0
vsize: 176388
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 63972 0 0 0 21854 147 0 0 25 0 1 0 864293786 180621312 33416 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33416 300 300 0 43797 0
vsize: 176388
[startup+230.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 63992 0 0 0 22855 147 0 0 25 0 1 0 864293786 180621312 33436 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33436 300 300 0 43797 0
vsize: 176388
[startup+240.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 64014 0 0 0 23854 147 0 0 25 0 1 0 864293786 180621312 33458 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33458 300 300 0 43797 0
vsize: 176388
[startup+250.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 64037 0 0 0 24854 148 0 0 25 0 1 0 864293786 180621312 33481 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33481 300 300 0 43797 0
vsize: 176388
[startup+260.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 64060 0 0 0 25854 148 0 0 25 0 1 0 864293786 180621312 33504 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33504 300 300 0 43797 0
vsize: 176388
[startup+270.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 64080 0 0 0 26854 149 0 0 25 0 1 0 864293786 180621312 33524 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33524 300 300 0 43797 0
vsize: 176388
[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 64109 0 0 0 27854 149 0 0 25 0 1 0 864293786 180621312 33553 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33553 300 300 0 43797 0
vsize: 176388
[startup+290.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 64828 0 0 0 28852 151 0 0 25 0 1 0 864293786 180621312 33572 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33572 300 300 0 43797 0
vsize: 176388
[startup+300.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 64857 0 0 0 29852 151 0 0 25 0 1 0 864293786 180621312 33601 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33601 300 300 0 43797 0
vsize: 176388
[startup+310.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 65570 0 0 0 30849 153 0 0 25 0 1 0 864293786 180621312 33614 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44097 33614 300 300 0 43797 0
vsize: 176388
[startup+320.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 65593 0 0 0 31849 153 0 0 25 0 1 0 864293786 180621312 33637 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33637 300 300 0 43797 0
vsize: 176388
[startup+330.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 65613 0 0 0 32849 154 0 0 25 0 1 0 864293786 180621312 33657 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33657 300 300 0 43797 0
vsize: 176388
[startup+340.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 65643 0 0 0 33849 154 0 0 25 0 1 0 864293786 180621312 33687 4294967295 134512640 135726644 3221224592 3221223200 134741756 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33687 300 300 0 43797 0
vsize: 176388
[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 65674 0 0 0 34848 154 0 0 25 0 1 0 864293786 180621312 33718 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33718 300 300 0 43797 0
vsize: 176388
[startup+360.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 65704 0 0 0 35848 155 0 0 25 0 1 0 864293786 180621312 33748 4294967295 134512640 135726644 3221224592 3221223312 134736256 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33748 300 300 0 43797 0
vsize: 176388
[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 66415 0 0 0 36847 156 0 0 25 0 1 0 864293786 180621312 33759 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33759 300 300 0 43797 0
vsize: 176388
[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 66431 0 0 0 37847 157 0 0 25 0 1 0 864293786 180621312 33775 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44097 33775 300 300 0 43797 0
vsize: 176388
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 66523 0 0 0 38846 157 0 0 25 0 1 0 864293786 181018624 33834 4294967295 134512640 135726644 3221224592 3221223216 134744485 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44194 33834 300 300 0 43894 0
vsize: 176776
[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 66542 0 0 0 39846 157 0 0 25 0 1 0 864293786 181018624 33853 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44194 33853 300 300 0 43894 0
vsize: 176776
[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 66557 0 0 0 40846 158 0 0 25 0 1 0 864293786 181018624 33868 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44194 33868 300 300 0 43894 0
vsize: 176776
[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 66591 0 0 0 41846 158 0 0 25 0 1 0 864293786 181018624 33902 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44194 33902 300 300 0 43894 0
vsize: 176776
[startup+430.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 66614 0 0 0 42846 158 0 0 25 0 1 0 864293786 181018624 33925 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44194 33925 300 300 0 43894 0
vsize: 176776
[startup+440.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 66638 0 0 0 43846 159 0 0 25 0 1 0 864293786 180883456 33916 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44161 33916 300 300 0 43861 0
vsize: 176644
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 66660 0 0 0 44846 159 0 0 25 0 1 0 864293786 180883456 33938 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44161 33938 300 300 0 43861 0
vsize: 176644
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 66678 0 0 0 45846 159 0 0 25 0 1 0 864293786 180883456 33956 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44161 33956 300 300 0 43861 0
vsize: 176644
[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 66707 0 0 0 46846 159 0 0 25 0 1 0 864293786 180883456 33985 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44161 33985 300 300 0 43861 0
vsize: 176644
[startup+480.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 67431 0 0 0 47845 160 0 0 25 0 1 0 864293786 180883456 34009 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44161 34009 300 300 0 43861 0
vsize: 176644
[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 68145 0 0 0 48843 162 0 0 25 0 1 0 864293786 180883456 34023 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44161 34023 300 300 0 43861 0
vsize: 176644
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 68171 0 0 0 49842 163 0 0 25 0 1 0 864293786 180883456 34049 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44161 34049 300 300 0 43861 0
vsize: 176644
[startup+510.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 68194 0 0 0 50842 163 0 0 25 0 1 0 864293786 180883456 34072 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44161 34072 300 300 0 43861 0
vsize: 176644
[startup+520.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 68218 0 0 0 51842 164 0 0 25 0 1 0 864293786 180883456 34096 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44161 34096 300 300 0 43861 0
vsize: 176644
[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 68237 0 0 0 52841 164 0 0 25 0 1 0 864293786 180883456 34115 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44161 34115 300 300 0 43861 0
vsize: 176644
[startup+540.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 68268 0 0 0 53842 164 0 0 25 0 1 0 864293786 180883456 34146 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44161 34146 300 300 0 43861 0
vsize: 176644
[startup+550.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 68338 0 0 0 54853 164 0 0 25 0 1 0 864293786 181149696 34216 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44226 34216 300 300 0 43926 0
vsize: 176904
[startup+560.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 68369 0 0 0 55853 164 0 0 25 0 1 0 864293786 181149696 34247 4294967295 134512640 135726644 3221224592 3221223312 134736256 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44226 34247 300 300 0 43926 0
vsize: 176904
[startup+570.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 69087 0 0 0 56852 166 0 0 25 0 1 0 864293786 181149696 34265 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44226 34265 300 300 0 43926 0
vsize: 176904
[startup+580.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 69115 0 0 0 57851 166 0 0 25 0 1 0 864293786 181149696 34293 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44226 34293 300 300 0 43926 0
vsize: 176904
[startup+590.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 69145 0 0 0 58851 166 0 0 25 0 1 0 864293786 181149696 34323 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44226 34323 300 300 0 43926 0
vsize: 176904
[startup+600.142 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 69177 0 0 0 59851 167 0 0 25 0 1 0 864293786 181149696 34355 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44226 34355 300 300 0 43926 0
vsize: 176904
[startup+610.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 69198 0 0 0 60851 167 0 0 25 0 1 0 864293786 181149696 34376 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44226 34376 300 300 0 43926 0
vsize: 176904
[startup+620.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 69225 0 0 0 61851 167 0 0 25 0 1 0 864293786 181149696 34403 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44226 34403 300 300 0 43926 0
vsize: 176904
[startup+630.144 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 69252 0 0 0 62851 168 0 0 25 0 1 0 864293786 181149696 34430 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44226 34430 300 300 0 43926 0
vsize: 176904
[startup+640.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 69342 0 0 0 63851 168 0 0 25 0 1 0 864293786 181481472 34520 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44307 34520 300 300 0 44007 0
vsize: 177228
[startup+643.331 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 32012
Raw data (stat): 32010 (pb2sat) R 32009 22056 22055 0 -1 0 69342 0 0 0 63851 168 0 0 25 0 1 0 864293786 181481472 34520 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44307 34520 300 300 0 44007 0
vsize: 0

Child status: 30
Real time (s): 643.331
CPU time (s): 643.343
CPU user time (s): 641.588
CPU system time (s): 1.75473
CPU usage (%): 100.002
Max. virtual memory (Kb): 177228
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	68
#### END VERIFIER DATA ####