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/aloul/FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb
MD5SUM	54139ff5e28c6041ec6c692b0d10f866
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.362944
Number of variables	938
Total number of constraints	700
Number of constraints which are clauses	650
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	12
Maximum length of a constraint	25

Trace number 7611

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-04-17 15:37:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=402 boxname=wulflinc22 idbench=45 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  54139ff5e28c6041ec6c692b0d10f866  /oldhome/oroussel/tmp/wulflinc22/normalized-fpga25_25_sat_pb.cnf.cr.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc22/normalized-fpga25_25_sat_pb.cnf.cr.opb
IDLAUNCH: 402
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        821796 kB
Buffers:         33896 kB
Cached:         135424 kB
SwapCached:          0 kB
Active:          62204 kB
Inactive:       110028 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        821516 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            34992 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 15:43:49 (client local time) WITH STATUS 10 IN 391.813 SECONDS
stats: 402 0 391.813 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc22/normalized-fpga25_25_sat_pb.cnf.cr.opb ......
c 21090 Clauses are true, Verify Solution successful.
c PB Clauses are true, Verifying PB solution successful.
s SATISFIABLE
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 -v841 -v842 -v843 -v844 -v845 -v846 -v847 -v848 -v849 -v85 -v850 -v851 -v852 -v853 v854 -v855 -v856 -v857 -v858 -v859 -v86 -v860 -v861 -v862 -v863 -v864 -v865 -v866 -v867 -v868 -v869 -v87 -v870 -v871 -v872 v873 v874 -v875 -v876 -v877 -v878 -v879 -v88 -v880 -v881 -v882 -v883 -v884 -v885 -v886 -v887 -v888 -v889 -v89 -v890 -v891 -v892 -v893 -v894 -v895 -v896 v897 -v898 -v899 v9 -v90 -v900 -v901 -v902 -v903 -v904 -v905 -v906 -v907 -v908 v909 -v91 -v910 -v911 -v912 -v913 -v914 -v915 -v916 -v917 -v918 -v919 -v92 -v920 v921 -v922 -v923 -v924 -v925 -v926 -v927 -v928 -v929 -v93 -v930 -v931 -v932 v933 -v934 -v935 -v936 -v937 -v938 -v94 -v95 -v96 -v97 -v98 -v99 
c Done, CPU Time=391.59
#### 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
Raw data (loadavg): 0.45 0.12 0.04 2/54 16153
Raw data (stat): 16153 (runsolver) R 16152 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511647845 1052672 99 4294967295 134512640 135381576 3221224512 3221219760 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.53 0.15 0.05 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 1490 0 0 0 994 5 0 0 25 0 1 0 511647845 10387456 1486 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2536 1486 231 231 0 2305 0
vsize: 10144
[startup+20.0002 s]
Raw data (loadavg): 0.60 0.18 0.06 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 2807 0 0 0 1990 9 0 0 25 0 1 0 511647845 19996672 2803 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4882 2803 231 231 0 4651 0
vsize: 19528
[startup+30.0009 s]
Raw data (loadavg): 0.66 0.20 0.07 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 3724 0 0 0 2986 13 0 0 25 0 1 0 511647845 20615168 3720 4294967295 134512640 135450300 3221224624 3221223360 134538451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5033 3720 231 231 0 4802 0
vsize: 20132
[startup+40.0011 s]
Raw data (loadavg): 0.71 0.23 0.08 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 4370 0 0 0 3984 15 0 0 25 0 1 0 511647845 20762624 4366 4294967295 134512640 135450300 3221224624 3221223104 134580019 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5069 4366 231 231 0 4838 0
vsize: 20276
[startup+50.0012 s]
Raw data (loadavg): 0.76 0.25 0.09 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 4444 0 0 0 4984 16 0 0 25 0 1 0 511647845 21098496 4391 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5151 4391 231 231 0 4920 0
vsize: 20604
[startup+60.0018 s]
Raw data (loadavg): 0.79 0.28 0.10 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 4522 0 0 0 5982 17 0 0 25 0 1 0 511647845 21372928 4469 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5218 4469 231 231 0 4987 0
vsize: 20872
[startup+70.0021 s]
Raw data (loadavg): 0.83 0.30 0.11 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 4951 0 0 0 6978 21 0 0 25 0 1 0 511647845 22065152 4898 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5387 4898 231 231 0 5156 0
vsize: 21548
[startup+80.0032 s]
Raw data (loadavg): 0.85 0.32 0.11 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 5468 0 0 0 7974 26 0 0 25 0 1 0 511647845 22884352 5318 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5587 5318 231 231 0 5356 0
vsize: 22348
[startup+90.0049 s]
Raw data (loadavg): 0.87 0.35 0.12 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 5557 0 0 0 8969 31 0 0 25 0 1 0 511647845 23158784 5407 4294967295 134512640 135450300 3221224624 3221223440 134547912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5654 5407 231 231 0 5423 0
vsize: 22616
[startup+100.004 s]
Raw data (loadavg): 0.89 0.37 0.13 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 5619 0 0 0 9966 34 0 0 25 0 1 0 511647845 23314432 5469 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5692 5469 231 231 0 5461 0
vsize: 22768
[startup+110.005 s]
Raw data (loadavg): 0.91 0.39 0.14 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 5683 0 0 0 10962 38 0 0 25 0 1 0 511647845 23449600 5533 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5725 5533 231 231 0 5494 0
vsize: 22900
[startup+120.006 s]
Raw data (loadavg): 0.92 0.41 0.15 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 5732 0 0 0 11959 41 0 0 25 0 1 0 511647845 23584768 5582 4294967295 134512640 135450300 3221224624 3221223360 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5758 5582 231 231 0 5527 0
vsize: 23032
[startup+130.006 s]
Raw data (loadavg): 0.93 0.43 0.16 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 5992 0 0 0 12956 44 0 0 25 0 1 0 511647845 24633344 5649 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6014 5649 231 231 0 5783 0
vsize: 24056
[startup+140.006 s]
Raw data (loadavg): 0.94 0.44 0.17 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 6032 0 0 0 13955 45 0 0 25 0 1 0 511647845 24633344 5689 4294967295 134512640 135450300 3221224624 3221223440 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6014 5689 231 231 0 5783 0
vsize: 24056
[startup+150.007 s]
Raw data (loadavg): 0.95 0.46 0.18 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 6072 0 0 0 14953 48 0 0 25 0 1 0 511647845 24825856 5729 4294967295 134512640 135450300 3221224624 3221223360 134538669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6061 5729 231 231 0 5830 0
vsize: 24244
[startup+160.007 s]
Raw data (loadavg): 0.96 0.48 0.18 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 6128 0 0 0 15950 51 0 0 25 0 1 0 511647845 24961024 5785 4294967295 134512640 135450300 3221224624 3221223344 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6094 5785 231 231 0 5863 0
vsize: 24376
[startup+170.007 s]
Raw data (loadavg): 0.96 0.50 0.19 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 6174 0 0 0 16948 53 0 0 25 0 1 0 511647845 24961024 5831 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6094 5831 231 231 0 5863 0
vsize: 24376
[startup+180.008 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 6250 0 0 0 17946 55 0 0 25 0 1 0 511647845 25280512 5907 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6172 5907 231 231 0 5941 0
vsize: 24688
[startup+190.008 s]
Raw data (loadavg): 0.97 0.53 0.21 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 6327 0 0 0 18944 57 0 0 25 0 1 0 511647845 25423872 5984 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6207 5984 231 231 0 5976 0
vsize: 24828
[startup+200.008 s]
Raw data (loadavg): 0.98 0.54 0.22 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 6371 0 0 0 19942 60 0 0 25 0 1 0 511647845 25554944 6028 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6239 6028 231 231 0 6008 0
vsize: 24956
[startup+210.009 s]
Raw data (loadavg): 0.98 0.56 0.22 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 6410 0 0 0 20941 61 0 0 25 0 1 0 511647845 25554944 6067 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6239 6067 231 231 0 6008 0
vsize: 24956
[startup+220.009 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 6861 0 0 0 21939 63 0 0 25 0 1 0 511647845 27447296 6133 4294967295 134512640 135450300 3221224624 3221223456 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6701 6133 231 231 0 6470 0
vsize: 26804
[startup+230.01 s]
Raw data (loadavg): 0.98 0.58 0.24 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 6932 0 0 0 22938 64 0 0 25 0 1 0 511647845 27582464 6204 4294967295 134512640 135450300 3221224624 3221223488 134539232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6734 6204 231 231 0 6503 0
vsize: 26936
[startup+240.01 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 6984 0 0 0 23936 66 0 0 25 0 1 0 511647845 27738112 6256 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6772 6256 231 231 0 6541 0
vsize: 27088
[startup+250.01 s]
Raw data (loadavg): 0.99 0.61 0.26 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 7034 0 0 0 24934 68 0 0 25 0 1 0 511647845 27738112 6306 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6772 6306 231 231 0 6541 0
vsize: 27088
[startup+260.01 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 7073 0 0 0 25934 69 0 0 25 0 1 0 511647845 27873280 6345 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6805 6345 231 231 0 6574 0
vsize: 27220
[startup+270.009 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 7140 0 0 0 26932 70 0 0 25 0 1 0 511647845 28012544 6412 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6839 6412 231 231 0 6608 0
vsize: 27356
[startup+280.011 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 7178 0 0 0 27932 71 0 0 25 0 1 0 511647845 28241920 6450 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6895 6450 231 231 0 6664 0
vsize: 27580
[startup+290.011 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 7229 0 0 0 28930 73 0 0 25 0 1 0 511647845 28241920 6501 4294967295 134512640 135450300 3221224624 3221223008 134602507 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6895 6501 231 231 0 6664 0
vsize: 27580
[startup+300.01 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 7292 0 0 0 29928 74 0 0 25 0 1 0 511647845 28504064 6564 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6959 6564 231 231 0 6728 0
vsize: 27836
[startup+310.01 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 7324 0 0 0 30927 75 0 0 25 0 1 0 511647845 28504064 6596 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6959 6596 231 231 0 6728 0
vsize: 27836
[startup+320.01 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 7351 0 0 0 31927 76 0 0 25 0 1 0 511647845 28504064 6623 4294967295 134512640 135450300 3221224624 3221223536 134597367 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6959 6623 231 231 0 6728 0
vsize: 27836
[startup+330.01 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 7389 0 0 0 32926 77 0 0 25 0 1 0 511647845 28778496 6661 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7026 6661 231 231 0 6795 0
vsize: 28104
[startup+340.011 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 7439 0 0 0 33926 78 0 0 25 0 1 0 511647845 28778496 6711 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7026 6711 231 231 0 6795 0
vsize: 28104
[startup+350.01 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 7488 0 0 0 34924 79 0 0 25 0 1 0 511647845 28930048 6760 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7063 6760 231 231 0 6832 0
vsize: 28252
[startup+360.01 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 7533 0 0 0 35923 80 0 0 25 0 1 0 511647845 29061120 6805 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7095 6805 231 231 0 6864 0
vsize: 28380
[startup+370.01 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 7597 0 0 0 36921 82 0 0 25 0 1 0 511647845 29188096 6869 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7126 6869 231 231 0 6895 0
vsize: 28504
[startup+380.011 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 7680 0 0 0 37919 84 0 0 25 0 1 0 511647845 29487104 6952 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7199 6952 231 231 0 6968 0
vsize: 28796
[startup+390.012 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 7710 0 0 0 38918 86 0 0 25 0 1 0 511647845 29634560 6982 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7235 6982 231 231 0 7004 0
vsize: 28940
[startup+391.778 s]
Raw data (loadavg): 0.99 0.75 0.35 1/53 16153
Raw data (stat): 16153 (PBS4) R 16152 26298 26297 0 -1 0 7710 0 0 0 38918 86 0 0 25 0 1 0 511647845 29634560 6982 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7235 6982 231 231 0 7004 0
vsize: 0

Child status: 10
Real time (s): 391.778
CPU time (s): 391.813
CPU user time (s): 390.939
CPU system time (s): 0.874867
CPU usage (%): 100.009
Max. virtual memory (Kb): 28940
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####