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-10pb.opb
MD5SUM	3da806c3498bf979a43344fcf1dd59e3
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	70
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.03284
Number of variables	840
Total number of constraints	2528
Number of constraints which are clauses	2504
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 34861

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-28 11:03:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24162 boxname=wulflinc27 idbench=236 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3da806c3498bf979a43344fcf1dd59e3  /oldhome/oroussel/tmp/wulflinc27/normalized-s4-4-3-10pb.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc27/normalized-s4-4-3-10pb.opb
IDLAUNCH: 24162
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        713796 kB
Buffers:         33136 kB
Cached:         257540 kB
SwapCached:        704 kB
Active:          20724 kB
Inactive:       272052 kB
HighTotal:      131008 kB
HighFree:        78400 kB
LowTotal:       903652 kB
LowFree:        635396 kB
SwapTotal:     2097892 kB
SwapFree:      2096316 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5128 kB
Slab:            22316 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:09:41 (client local time) WITH STATUS 30 IN 377.602 SECONDS
stats: 24162 0 377.602 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 132673/357988	Time: 31.1823/86400c got solution with objective value: 72
c [startup+131.628 s]  setting bit 9 to 1
c got solution with objective value: 72
c [startup+151.746 s]  setting bit 8 to 1
c CONFLICT during preprocess 
c [startup+153.191 s]  setting bit 7 to 0
c [startup+155.641 s]  setting bit 6 to 0
c [startup+179.459 s]  setting bit 5 to 0
c [startup+242.245 s]  setting bit 4 to 0
c [startup+281.38 s]  setting bit 3 to 0
c [startup+341.033 s]  setting bit 2 to 0
c got solution with objective value: 70
c [startup+363.771 s]  setting bit 1 to 1
c [startup+376.723 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.91 0.95 0.90 2/54 17799
Raw data (stat): 17799 (runsolver) R 17798 3394 3393 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864287931 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 17799
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 29228 0 0 0 929 69 0 0 25 0 1 0 864287931 88510464 18324 4294967295 134512640 135726644 3221224592 3221113308 134604449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21609 18324 300 300 0 21309 0
vsize: 86436
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 17799
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 53994 0 0 0 1878 121 0 0 25 0 1 0 864287931 170446848 31302 4294967295 134512640 135726644 3221224592 3221223088 134744063 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.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 17799
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 54312 0 0 0 2876 122 0 0 25 0 1 0 864287931 172154880 31620 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42030 31620 300 300 0 41730 0
vsize: 168120
[startup+40.002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 17799
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 54433 0 0 0 3875 123 0 0 25 0 1 0 864287931 172756992 31741 4294967295 134512640 135726644 3221224592 3221223088 134744074 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42177 31741 300 300 0 41877 0
vsize: 168708
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 17799
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 55890 0 0 0 4871 126 0 0 25 0 1 0 864287931 175153152 32202 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42762 32202 300 300 0 42462 0
vsize: 171048
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17799
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 56060 0 0 0 5870 126 0 0 25 0 1 0 864287931 175886336 32339 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42941 32339 300 300 0 42641 0
vsize: 171764
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17799
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 56261 0 0 0 6869 128 0 0 25 0 1 0 864287931 176558080 32507 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43105 32507 300 300 0 42805 0
vsize: 172420
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17799
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 56651 0 0 0 7869 128 0 0 25 0 1 0 864287931 178089984 32749 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43479 32749 300 300 0 43179 0
vsize: 173916
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17799
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 57057 0 0 0 8868 129 0 0 25 0 1 0 864287931 179273728 32926 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43768 32926 300 300 0 43468 0
vsize: 175072
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17799
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 57214 0 0 0 9867 130 0 0 25 0 1 0 864287931 179666944 32985 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43864 32985 300 300 0 43564 0
vsize: 175456
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17799
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 57573 0 0 0 10867 131 0 0 25 0 1 0 864287931 180723712 33214 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44122 33214 300 300 0 43822 0
vsize: 176488
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 57853 0 0 0 11866 132 0 0 25 0 1 0 864287931 181317632 33316 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44267 33316 300 300 0 43967 0
vsize: 177068
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 57925 0 0 0 12866 132 0 0 25 0 1 0 864287931 181448704 33355 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44299 33355 300 300 0 43999 0
vsize: 177196
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 59044 0 0 0 13863 135 0 0 25 0 1 0 864287931 182497280 33517 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44555 33517 300 300 0 44255 0
vsize: 178220
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 59062 0 0 0 14863 135 0 0 25 0 1 0 864287931 182497280 33535 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44555 33535 300 300 0 44255 0
vsize: 178220
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 61219 0 0 0 15858 140 0 0 25 0 1 0 864287931 182497280 33592 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44555 33592 300 300 0 44255 0
vsize: 178220
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 61232 0 0 0 16856 141 0 0 25 0 1 0 864287931 182497280 33605 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44555 33605 300 300 0 44255 0
vsize: 178220
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 61944 0 0 0 17854 143 0 0 25 0 1 0 864287931 185364480 34317 4294967295 134512640 135726644 3221224592 3221222896 134765521 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45255 34317 300 300 0 44955 0
vsize: 181020
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 61961 0 0 0 18854 144 0 0 25 0 1 0 864287931 182497280 33634 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44555 33634 300 300 0 44255 0
vsize: 178220
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 61984 0 0 0 19854 144 0 0 25 0 1 0 864287931 182497280 33657 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44555 33657 300 300 0 44255 0
vsize: 178220
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 62005 0 0 0 20854 144 0 0 25 0 1 0 864287931 182497280 33678 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44555 33678 300 300 0 44255 0
vsize: 178220
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 62022 0 0 0 21854 144 0 0 25 0 1 0 864287931 182497280 33695 4294967295 134512640 135726644 3221224592 3221223184 134760417 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44555 33695 300 300 0 44255 0
vsize: 178220
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 62049 0 0 0 22854 144 0 0 25 0 1 0 864287931 182497280 33722 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44555 33722 300 300 0 44255 0
vsize: 178220
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 62082 0 0 0 23854 145 0 0 25 0 1 0 864287931 182497280 33755 4294967295 134512640 135726644 3221224592 3221223184 134760490 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44555 33755 300 300 0 44255 0
vsize: 178220
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 62803 0 0 0 24853 146 0 0 25 0 1 0 864287931 182497280 33776 4294967295 134512640 135726644 3221224592 3221223184 134760393 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44555 33776 300 300 0 44255 0
vsize: 178220
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 62861 0 0 0 25853 146 0 0 25 0 1 0 864287931 182763520 33834 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44620 33834 300 300 0 44320 0
vsize: 178480
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 62896 0 0 0 26853 146 0 0 25 0 1 0 864287931 182763520 33869 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44620 33869 300 300 0 44320 0
vsize: 178480
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 62960 0 0 0 27853 147 0 0 25 0 1 0 864287931 183029760 33933 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44685 33933 300 300 0 44385 0
vsize: 178740
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 63677 0 0 0 28851 148 0 0 25 0 1 0 864287931 183029760 33950 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44685 33950 300 300 0 44385 0
vsize: 178740
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 63707 0 0 0 29851 149 0 0 25 0 1 0 864287931 183029760 33980 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44685 33980 300 300 0 44385 0
vsize: 178740
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 63733 0 0 0 30852 149 0 0 25 0 1 0 864287931 183029760 34006 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44685 34006 300 300 0 44385 0
vsize: 178740
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 63765 0 0 0 31851 149 0 0 25 0 1 0 864287931 183029760 34038 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44685 34038 300 300 0 44385 0
vsize: 178740
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 63803 0 0 0 32851 149 0 0 25 0 1 0 864287931 183029760 34076 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44685 34076 300 300 0 44385 0
vsize: 178740
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 63849 0 0 0 33851 150 0 0 25 0 1 0 864287931 183029760 34122 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44685 34122 300 300 0 44385 0
vsize: 178740
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 64574 0 0 0 34849 152 0 0 25 0 1 0 864287931 183029760 34147 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44685 34147 300 300 0 44385 0
vsize: 178740
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 64619 0 0 0 35849 152 0 0 25 0 1 0 864287931 183029760 34192 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44685 34192 300 300 0 44385 0
vsize: 178740
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 65349 0 0 0 36847 154 0 0 25 0 1 0 864287931 183029760 34222 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44685 34222 300 300 0 44385 0
vsize: 178740
[startup+377.598 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 17801
Raw data (stat): 17799 (pb2sat) R 17798 3394 3393 0 -1 0 65349 0 0 0 36847 154 0 0 25 0 1 0 864287931 183029760 34222 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44685 34222 300 300 0 44385 0
vsize: 0

Child status: 30
Real time (s): 377.598
CPU time (s): 377.602
CPU user time (s): 375.989
CPU system time (s): 1.61275
CPU usage (%): 100.001
Max. virtual memory (Kb): 181020
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	70
#### END VERIFIER DATA ####