Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb |
MD5SUM | 6049145b9f1adfd7114adf044503d587 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2642 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 748 |
Biggest coefficient in the objective function | 240 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 33855 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 240 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 33855 |
Number of bits of the biggest sum of numbers | 16 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02984 |
Number of variables | 907 |
Total number of constraints | 1309 |
Number of constraints which are clauses | 126 |
Number of constraints which are cardinality constraints (but not clauses) | 1183 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 134 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc11 THE 2005-04-13 18:09:42 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3222 boxname=wulflinc11 idbench=358 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 6049145b9f1adfd7114adf044503d587 /oldhome/oroussel/tmp/wulflinc11/normalized-ws97-5.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-ws97-5.opb IDLAUNCH: 3222 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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: 922656 kB Buffers: 33636 kB Cached: 54184 kB SwapCached: 4932 kB Active: 50204 kB Inactive: 45412 kB HighTotal: 131008 kB HighFree: 73024 kB LowTotal: 903652 kB LowFree: 849632 kB SwapTotal: 2097136 kB SwapFree: 2092204 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6924 kB Slab: 10832 kB Committed_AS: 63488 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 18:20:45 (client local time) WITH STATUS 30 IN SECONDS stats: 3222 0 30 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc11/normalized-ws97-5.opb c reading problem c [nbvar=907] c [nbconstr=1309] c time 2.655 c #vars 907 c #clauses 663 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 c SATISFIABLE c OPTIMIZING... c c CURRENT OPTIMUM=9923 c Current CPU time (ms) : 15.79 c starts : 2 c conflicts : 110 c decisions : 790 c propagations : 2208 c inspects : 8196 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 110 c root simplifications : 2 c c CURRENT OPTIMUM=9823 c Current CPU time (ms) : 15.98 c starts : 3 c conflicts : 111 c decisions : 1087 c propagations : 3137 c inspects : 8984 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 111 c root simplifications : 3 c c CURRENT OPTIMUM=4157 c Current CPU time (ms) : 16.551 c starts : 4 c conflicts : 111 c decisions : 1378 c propagations : 4036 c inspects : 12351 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 111 c root simplifications : 4 c c CURRENT OPTIMUM=4156 c Current CPU time (ms) : 16.946 c starts : 5 c conflicts : 115 c decisions : 1677 c propagations : 4977 c inspects : 13093 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 115 c root simplifications : 5 c c CURRENT OPTIMUM=4055 c Current CPU time (ms) : 27.685 c starts : 6 c conflicts : 198 c decisions : 2110 c propagations : 6350 c inspects : 17987 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 198 c root simplifications : 6 c c CURRENT OPTIMUM=4053 c Current CPU time (ms) : 36.473 c starts : 7 c conflicts : 229 c decisions : 2426 c propagations : 7721 c inspects : 26760 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 229 c root simplifications : 7 c c CURRENT OPTIMUM=3953 c Current CPU time (ms) : 52.467 c starts : 8 c conflicts : 318 c decisions : 2872 c propagations : 9121 c inspects : 37023 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 318 c root simplifications : 8 c c CURRENT OPTIMUM=3852 c Current CPU time (ms) : 103.926 c starts : 10 c conflicts : 514 c decisions : 6257 c propagations : 19937 c inspects : 83090 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 514 c root simplifications : 10 c c CURRENT OPTIMUM=3851 c Current CPU time (ms) : 502.198 c starts : 13 c conflicts : 792 c decisions : 10515 c propagations : 47424 c inspects : 375771 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 792 c root simplifications : 13 c c CURRENT OPTIMUM=3551 c Current CPU time (ms) : 518.846 c starts : 14 c conflicts : 792 c decisions : 10841 c propagations : 48323 c inspects : 444280 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 792 c root simplifications : 14 c c CURRENT OPTIMUM=3050 c Current CPU time (ms) : 541.248 c starts : 16 c conflicts : 899 c decisions : 11708 c propagations : 50888 c inspects : 489033 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 899 c root simplifications : 16 c c CURRENT OPTIMUM=3049 c Current CPU time (ms) : 554.597 c starts : 17 c conflicts : 979 c decisions : 12399 c propagations : 52882 c inspects : 504315 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 979 c root simplifications : 17 c c CURRENT OPTIMUM=2642 c Current CPU time (ms) : 568.261 c starts : 18 c conflicts : 979 c decisions : 12837 c propagations : 53781 c inspects : 549269 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 979 c root simplifications : 18 c Total CPU time (ms) : 662.338 c s OPTIMUM FOUND v v1 -v127 -v505 -v640 v774 -v4 v256 v508 -v5 -v131 -v257 v383 v509 -v6 -v132 v258 v510 -v7 v133 v512 v8 -v134 -v513 v388 -v516 v11 -v137 -v517 -v12 v138 v518 -v14 v392 v520 -v15 -v141 v267 v521 -v16 v394 v522 -v17 v143 v523 -v18 v396 v524 v19 -v525 v659 -v20 v146 v526 -v21 v273 v527 v22 -v528 v662 -v23 v149 v529 -v24 v150 v530 -v25 -v151 v403 v531 -v26 v152 v532 -v27 v153 v533 -v28 v406 v534 -v29 v407 -v535 v30 -v156 -v536 v31 -v157 -v537 v32 -v158 v672 -v806 -v33 -v159 v285 -v539 v34 -v160 -v540 v287 -v413 v36 -v162 -v542 v37 -v163 -v543 -v38 v164 v544 v39 -v545 -v679 v813 -v40 v166 v546 -v41 v419 -v547 -v42 v168 v548 -v43 v421 v549 -v44 v170 v550 v551 v45 -v171 -v552 v686 v46 -v172 -v553 -v47 -v173 v425 v554 -v48 -v174 v426 v555 -v49 v175 v556 v428 -v51 v177 v558 -v52 v178 v559 v431 -v694 v828 -v54 -v180 v432 v561 -v55 v433 v562 -v56 v308 -v563 -v697 v831 -v57 v435 v564 -v58 v436 -v565 v566 -v59 v185 v567 v568 v60 -v569 -v703 v837 -v61 v187 v570 -v62 -v314 v440 -v571 -v705 v839 -v63 v189 v572 -v64 v316 v573 -v65 v317 -v574 -v66 v318 v575 v67 -v193 -v576 v710 -v68 -v194 v320 -v577 v711 -v845 -v69 -v195 v447 -v578 -v70 v196 v579 v71 -v580 v714 v72 -v198 -v581 v73 -v582 v74 -v200 -v583 -v75 v201 -v584 -v76 v202 v585 -v78 -v204 v330 -v456 v587 -v79 v457 -v588 v722 -v589 -v81 -v207 v333 -v459 -v590 -v82 v334 -v591 -v83 v335 -v461 -v592 v726 v727 -v861 v85 -v211 -v594 -v728 v862 -v86 -v212 v464 v595 v87 -v213 -v596 v730 -v864 -v88 v214 v597 -v89 v467 -v598 v732 -v90 -v216 v468 -v599 -v600 -v92 v218 v602 v93 -v219 -v603 v94 -v220 -v604 v738 -v872 v96 -v222 -v606 v349 -v475 v741 v98 -v224 -v608 -v99 v351 -v477 -v609 -v743 v877 v226 -v744 v878 v227 v745 -v879 -v102 -v228 v354 -v480 v612 -v103 -v229 v355 -v481 v613 v104 -v614 v748 -v105 -v231 -v357 v483 -v615 v106 -v616 -v107 -v233 v485 -v617 v108 -v234 -v618 v109 -v235 -v619 v753 -v110 -v236 -v362 v488 -v620 -v754 v888 v756 -v890 -v113 v365 -v623 v240 -v115 -v241 v493 -v625 v759 -v116 v242 -v626 -v627 v761 -v895 -v117 v495 -v628 -v118 v370 -v630 -v764 v898 v119 -v631 -v765 v899 v120 -v246 -v632 -v766 v900 -v121 v373 -v633 -v122 -v374 v500 -v634 v123 -v635 v903 -v124 -v376 v502 -v636 -v770 v904 -v771 v905 v126 -v638 v772 -v2 -v128 -v506 -v3 -v507 -v641 -v130 -v642 -v776 -v643 -v777 -v384 -v644 -v778 v645 -v779 -v259 -v646 -v780 -v260 -v386 v647 -v781 -v261 -v387 -v136 -v389 -v264 -v390 -v652 -v786 -v654 -v788 -v655 -v789 -v142 -v656 -v790 -v269 -v657 -v791 -v270 -v658 -v792 -v145 -v271 -v272 -v398 -v660 -v794 -v147 -v399 -v661 -v795 -v148 -v400 -v275 -v663 -v797 -v276 -v402 -v664 -v798 -v277 -v665 -v799 -v278 -v404 -v666 -v800 -v279 -v405 -v667 -v801 -v154 -v280 -v668 -v802 -v155 -v281 v669 -v803 -v283 -v409 v671 -v805 -v411 -v286 -v412 v674 -v808 -v675 v809 -v289 -v415 v677 -v811 -v290 -v416 -v678 -v812 -v165 -v291 -v417 -v292 -v680 -v814 -v294 -v420 -v682 -v816 -v169 -v683 -v817 -v296 -v422 -v684 -v818 -v685 -v819 -v297 -v423 -v820 -v299 -v688 -v822 -v300 -v689 -v823 -v301 -v427 -v690 -v824 -v50 -v176 -v302 -v557 -v691 v825 -v303 -v429 -v692 -v826 -v304 -v430 -v693 -v827 -v53 -v179 -v305 -v560 -v306 -v695 -v829 -v181 -v696 -v830 -v182 -v434 -v183 -v309 -v698 -v832 -v184 -v310 -v700 -v834 -v311 -v437 -v701 -v835 -v702 -v836 -v186 -v312 -v438 -v313 -v439 -v704 -v838 -v188 -v315 -v706 -v840 -v190 -v442 -v707 -v841 -v191 -v443 -v192 -v444 -v709 -v843 -v319 -v445 -v844 -v446 -v321 -v846 -v322 -v448 -v713 -v847 -v197 -v323 -v449 -v324 -v450 v715 -v849 -v325 v716 -v850 -v326 -v452 v717 -v851 -v327 -v453 v718 -v852 -v328 -v454 -v719 -v853 -v721 -v855 -v205 -v331 -v856 -v206 -v724 v858 -v208 -v460 -v337 -v463 -v338 -v729 -v863 -v339 -v465 -v340 -v466 -v731 -v865 -v215 -v341 -v866 -v342 v733 -v867 -v217 -v344 -v736 -v870 -v345 -v471 v737 -v871 -v346 -v472 -v347 -v739 v873 -v348 v740 -v874 -v350 -v476 v742 -v876 -v225 -v352 -v478 -v353 -v479 -v746 -v880 -v747 -v881 v749 -v883 -v484 v750 -v884 -v359 -v360 -v486 v752 -v886 -v361 -v487 -v887 -v755 v889 -v238 -v490 -v491 -v757 v891 -v114 -v366 -v492 -v624 -v367 -v893 -v368 -v494 v760 -v894 -v243 -v369 v762 -v896 -v245 -v497 -v372 -v498 -v247 -v499 v767 -v901 -v375 -v501 -v125 -v637 -v252 -v378 -v504 -v906 one -v9 -v10 -v13 -v35 -v77 -v80 -v84 -v91 -v95 -v97 -v100 -v101 -v111 -v112 -v129 v135 -v139 -v140 -v144 -v161 -v167 -v199 -v203 -v209 -v210 -v221 -v223 -v230 -v232 -v237 -v239 -v244 -v248 -v249 -v250 -v251 -v253 v254 v255 -v262 -v263 v265 -v266 -v268 -v274 -v282 -v284 -v288 -v293 -v295 -v298 -v307 -v329 v332 v336 v343 -v356 -v358 v363 v364 -v371 v377 -v379 -v380 -v381 -v382 -v385 -v391 -v393 -v395 -v397 -v401 -v408 -v410 -v414 -v418 -v424 -v441 -v451 v455 -v458 -v462 -v469 -v470 v473 -v474 -v482 -v489 -v496 -v503 -v511 -v514 -v515 -v519 -v538 -v541 v586 -v593 -v601 -v605 -v607 -v610 -v611 -v621 -v622 -v629 -v639 v648 -v649 -v650 -v651 -v653 -v670 -v673 -v676 -v681 -v687 -v699 -v708 v712 -v720 -v723 -v725 -v734 -v735 v751 -v758 -v763 -v768 -v769 v773 v775 -v782 v783 v784 v785 v787 -v793 -v796 v804 v807 v810 v815 v821 v833 v842 -v848 -v854 v857 v859 -v860 v868 v869 -v875 -v882 -v885 v892 v897 v902 c objectif function=2642 #### 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.85 0.98 0.99 2/54 1685 Raw data (stat): 1685 (runsolver) R 1684 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419776041 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0002 s] Raw data (loadavg): 1.11 1.03 1.01 4/64 1695 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 13398 0 1 0 608 32 0 0 25 0 11 0 419776041 871034880 17697 4294967295 134512640 134569956 3221224416 3221214544 1130890616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212655 17697 13073 16 0 212639 0 vsize: 850620 [startup+20.0015 s] Raw data (loadavg): 1.24 1.06 1.02 2/64 1699 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18076 3 1 0 1305 43 0 0 25 0 11 0 419776041 868167680 23688 4294967295 134512640 134569956 3221224416 3221214744 1131289060 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 23688 13073 16 0 211939 0 vsize: 847820 [startup+30.0024 s] Raw data (loadavg): 1.28 1.08 1.02 2/64 1700 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18077 3 1 0 2230 43 0 0 25 0 11 0 419776041 868167680 24712 4294967295 134512640 134569956 3221224416 3221214712 1131430339 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 24712 13073 16 0 211939 0 vsize: 847820 [startup+40.0026 s] Raw data (loadavg): 1.24 1.07 1.02 2/64 1701 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18077 3 1 0 3137 44 0 0 25 0 11 0 419776041 868167680 25344 4294967295 134512640 134569956 3221224416 3221214664 1131235878 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 25344 13073 16 0 211939 0 vsize: 847820 [startup+50.0028 s] Raw data (loadavg): 1.20 1.07 1.02 2/64 1701 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18077 3 1 0 4053 44 0 0 25 0 11 0 419776041 868167680 26598 4294967295 134512640 134569956 3221224416 3221214800 1131250717 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211955 26598 13073 16 0 211939 0 vsize: 847820 [startup+60.0035 s] Raw data (loadavg): 1.17 1.07 1.02 2/64 1702 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18078 3 1 0 4980 44 0 0 25 0 11 0 419776041 868167680 26934 4294967295 134512640 134569956 3221224416 3221214720 1131310836 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211955 26934 13073 16 0 211939 0 vsize: 847820 [startup+70.0039 s] Raw data (loadavg): 1.22 1.08 1.02 2/64 1702 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 5876 44 0 0 25 0 11 0 419776041 868167680 27683 4294967295 134512640 134569956 3221224416 3221214652 1080203719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 27683 13073 16 0 211939 0 vsize: 847820 [startup+80.0052 s] Raw data (loadavg): 1.18 1.08 1.02 2/64 1702 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 6796 45 0 0 25 0 11 0 419776041 868167680 27745 4294967295 134512640 134569956 3221224416 3221214700 1080204343 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 27745 13073 16 0 211939 0 vsize: 847820 [startup+90.0059 s] Raw data (loadavg): 1.15 1.07 1.02 2/64 1702 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 7736 45 0 0 25 0 11 0 419776041 868167680 28226 4294967295 134512640 134569956 3221224416 3221214704 1131422105 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 28226 13073 16 0 211939 0 vsize: 847820 [startup+100.005 s] Raw data (loadavg): 1.13 1.07 1.02 2/64 1702 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 8667 45 0 0 25 0 11 0 419776041 868167680 29205 4294967295 134512640 134569956 3221224416 3221214268 1085616768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211955 29205 13073 16 0 211939 0 vsize: 847820 [startup+110.006 s] Raw data (loadavg): 1.11 1.07 1.02 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 9628 45 0 0 25 0 11 0 419776041 868167680 29205 4294967295 134512640 134569956 3221224416 3221214776 1131250710 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 29205 13073 16 0 211939 0 vsize: 847820 [startup+120.007 s] Raw data (loadavg): 1.09 1.07 1.02 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 10547 46 0 0 25 0 11 0 419776041 868167680 29866 4294967295 134512640 134569956 3221224416 3221214704 1131422049 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 29866 13073 16 0 211939 0 vsize: 847820 [startup+130.008 s] Raw data (loadavg): 1.08 1.06 1.02 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 11479 46 0 0 25 0 11 0 419776041 868167680 29866 4294967295 134512640 134569956 3221224416 3221214704 1131422022 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 29866 13073 16 0 211939 0 vsize: 847820 [startup+140.007 s] Raw data (loadavg): 1.07 1.06 1.01 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 12426 46 0 0 25 0 11 0 419776041 868167680 30619 4294967295 134512640 134569956 3221224416 3221214680 1131201892 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 30619 13073 16 0 211939 0 vsize: 847820 [startup+150.008 s] Raw data (loadavg): 1.06 1.06 1.01 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 13345 46 0 0 25 0 11 0 419776041 868167680 30619 4294967295 134512640 134569956 3221224416 3221214648 1131684695 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 30619 13073 16 0 211939 0 vsize: 847820 [startup+160.008 s] Raw data (loadavg): 1.05 1.06 1.01 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 14258 47 0 0 25 0 11 0 419776041 868167680 30619 4294967295 134512640 134569956 3221224416 3221214656 1131670792 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 30619 13073 16 0 211939 0 vsize: 847820 [startup+170.008 s] Raw data (loadavg): 1.04 1.05 1.01 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 15184 47 0 0 24 0 11 0 419776041 868167680 31312 4294967295 134512640 134569956 3221224416 3221214704 1131425573 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 31312 13073 16 0 211939 0 vsize: 847820 [startup+180.009 s] Raw data (loadavg): 1.03 1.05 1.01 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 16166 47 0 0 25 0 11 0 419776041 868167680 31327 4294967295 134512640 134569956 3221224416 3221214680 1131202094 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 31327 13073 16 0 211939 0 vsize: 847820 [startup+190.009 s] Raw data (loadavg): 1.03 1.05 1.01 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 17149 48 0 0 25 0 11 0 419776041 868167680 31364 4294967295 134512640 134569956 3221224416 3221214776 1131255600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 31364 13073 16 0 211939 0 vsize: 847820 [startup+200.009 s] Raw data (loadavg): 1.02 1.05 1.01 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 18128 48 0 0 25 0 11 0 419776041 868167680 31388 4294967295 134512640 134569956 3221224416 3221214680 1131202094 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 31388 13073 16 0 211939 0 vsize: 847820 [startup+210.009 s] Raw data (loadavg): 1.02 1.05 1.01 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 19109 49 0 0 25 0 11 0 419776041 868167680 31446 4294967295 134512640 134569956 3221224416 3221214680 1131202341 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 31446 13073 16 0 211939 0 vsize: 847820 [startup+220.01 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 20090 49 0 0 25 0 11 0 419776041 868167680 31491 4294967295 134512640 134569956 3221224416 3221214680 1131202149 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 31491 13073 16 0 211939 0 vsize: 847820 [startup+230.01 s] Raw data (loadavg): 1.01 1.04 1.01 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 21067 49 0 0 25 0 11 0 419776041 868167680 31559 4294967295 134512640 134569956 3221224416 3221214680 1131201796 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 31559 13073 16 0 211939 0 vsize: 847820 [startup+240.011 s] Raw data (loadavg): 1.01 1.04 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 22046 50 0 0 25 0 11 0 419776041 868167680 31607 4294967295 134512640 134569956 3221224416 3221214776 1131250811 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 31607 13073 16 0 211939 0 vsize: 847820 [startup+250.011 s] Raw data (loadavg): 1.01 1.04 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 23025 50 0 0 25 0 11 0 419776041 868167680 31689 4294967295 134512640 134569956 3221224416 3221214680 1131201765 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 31689 13073 16 0 211939 0 vsize: 847820 [startup+260.011 s] Raw data (loadavg): 1.01 1.04 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 24003 51 0 0 25 0 11 0 419776041 868167680 31745 4294967295 134512640 134569956 3221224416 3221214680 1131202800 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 31745 13073 16 0 211939 0 vsize: 847820 [startup+270.011 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 24980 52 0 0 25 0 11 0 419776041 868167680 31792 4294967295 134512640 134569956 3221224416 3221214680 1131202768 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 31792 13073 16 0 211939 0 vsize: 847820 [startup+280.012 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 25959 52 0 0 25 0 11 0 419776041 868167680 31839 4294967295 134512640 134569956 3221224416 3221214776 1131251788 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 31839 13073 16 0 211939 0 vsize: 847820 [startup+290.012 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 26938 52 0 0 25 0 11 0 419776041 868167680 31896 4294967295 134512640 134569956 3221224416 3221214680 1131201729 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 31896 13073 16 0 211939 0 vsize: 847820 [startup+300.012 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 27916 53 0 0 25 0 11 0 419776041 868167680 31919 4294967295 134512640 134569956 3221224416 3221214680 1131202149 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 31919 13073 16 0 211939 0 vsize: 847820 [startup+310.013 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 28889 53 0 0 25 0 11 0 419776041 868167680 31964 4294967295 134512640 134569956 3221224416 3221214776 1131251857 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 31964 13073 16 0 211939 0 vsize: 847820 [startup+320.012 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 29860 54 0 0 25 0 11 0 419776041 868167680 32010 4294967295 134512640 134569956 3221224416 3221214680 1131202740 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 32010 13073 16 0 211939 0 vsize: 847820 [startup+330.014 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 30829 54 0 0 24 0 11 0 419776041 868167680 32206 4294967295 134512640 134569956 3221224416 3221214776 1131250717 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 32206 13073 16 0 211939 0 vsize: 847820 [startup+340.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 31804 55 0 0 25 0 11 0 419776041 868167680 32288 4294967295 134512640 134569956 3221224416 3221214680 1131201762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 32288 13073 16 0 211939 0 vsize: 847820 [startup+350.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 32782 55 0 0 25 0 11 0 419776041 868167680 32323 4294967295 134512640 134569956 3221224416 3221214680 1131202291 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 32323 13073 16 0 211939 0 vsize: 847820 [startup+360.014 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 33756 55 0 0 25 0 11 0 419776041 868167680 32369 4294967295 134512640 134569956 3221224416 3221214680 1131202149 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 32369 13073 16 0 211939 0 vsize: 847820 [startup+370.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 34726 56 0 0 25 0 11 0 419776041 868167680 32427 4294967295 134512640 134569956 3221224416 3221214776 1131250721 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 32427 13073 16 0 211939 0 vsize: 847820 [startup+380.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 35694 56 0 0 25 0 11 0 419776041 868167680 32495 4294967295 134512640 134569956 3221224416 3221214776 1131252715 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 32495 13073 16 0 211939 0 vsize: 847820 [startup+390.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 36665 57 0 0 25 0 11 0 419776041 868167680 32573 4294967295 134512640 134569956 3221224416 3221214776 1131251818 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 32573 13073 16 0 211939 0 vsize: 847820 [startup+400.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 37638 57 0 0 25 0 11 0 419776041 868167680 32665 4294967295 134512640 134569956 3221224416 3221214680 1131202094 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 32665 13073 16 0 211939 0 vsize: 847820 [startup+410.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 38614 57 0 0 24 0 11 0 419776041 868167680 32702 4294967295 134512640 134569956 3221224416 3221214776 1131255600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 32702 13073 16 0 211939 0 vsize: 847820 [startup+420.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1703 Raw data (stat): 1685 (java) S 1684 32461 32460 0 -1 0 18079 3 1 0 39590 58 0 0 25 0 11 0 419776041 868167680 32715 4294967295 134512640 134569956 3221224416 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 32715 13073 16 0 211939 0 vsize: 847820 [startup+430.018 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 40561 58 0 0 25 0 11 0 419776041 868167680 32751 4294967295 134512640 134569956 3221224416 3221214776 1131250782 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 32751 13073 16 0 211939 0 vsize: 847820 [startup+440.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 41527 59 0 0 25 0 11 0 419776041 868167680 32807 4294967295 134512640 134569956 3221224416 3221214664 1131289094 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 32807 13073 16 0 211939 0 vsize: 847820 [startup+450.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 42488 59 0 0 25 0 11 0 419776041 868167680 32875 4294967295 134512640 134569956 3221224416 3221214456 1131684525 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 32875 13073 16 0 211939 0 vsize: 847820 [startup+460.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 43452 59 0 0 25 0 11 0 419776041 868167680 32960 4294967295 134512640 134569956 3221224416 3221214680 1131202840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 32960 13073 16 0 211939 0 vsize: 847820 [startup+470.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 44415 60 0 0 25 0 11 0 419776041 868167680 33049 4294967295 134512640 134569956 3221224416 3221214680 1131201729 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 33049 13073 16 0 211939 0 vsize: 847820 [startup+480.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 45384 60 0 0 25 0 11 0 419776041 868167680 33204 4294967295 134512640 134569956 3221224416 3221214680 1131201740 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 33204 13073 16 0 211939 0 vsize: 847820 [startup+490.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 46363 61 0 0 25 0 11 0 419776041 868167680 33268 4294967295 134512640 134569956 3221224416 3221214776 1131250511 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 33268 13073 16 0 211939 0 vsize: 847820 [startup+500.022 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1703 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 47333 61 0 0 25 0 11 0 419776041 868167680 33394 4294967295 134512640 134569956 3221224416 3221214680 1131201789 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 33394 13073 16 0 211939 0 vsize: 847820 [startup+510.022 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1704 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 48321 61 0 0 25 0 11 0 419776041 868167680 33428 4294967295 134512640 134569956 3221224416 3221214776 1131250717 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211955 33428 13073 16 0 211939 0 vsize: 847820 [startup+520.022 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1705 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 49303 62 0 0 25 0 11 0 419776041 868167680 33530 4294967295 134512640 134569956 3221224416 3221214944 1131727089 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 33530 13073 16 0 211939 0 vsize: 847820 [startup+530.023 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 1705 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 50247 62 0 0 25 0 11 0 419776041 868167680 34272 4294967295 134512640 134569956 3221224416 3221214944 1131727294 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 34272 13073 16 0 211939 0 vsize: 847820 [startup+540.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1705 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 51200 62 0 0 25 0 11 0 419776041 868167680 35164 4294967295 134512640 134569956 3221224416 3221214776 1131251693 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 35164 13073 16 0 211939 0 vsize: 847820 [startup+550.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1706 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 52160 63 0 0 25 0 11 0 419776041 868167680 35821 4294967295 134512640 134569956 3221224416 3221214368 1085679747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 35821 13073 16 0 211939 0 vsize: 847820 [startup+560.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1707 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 53116 63 0 0 25 0 11 0 419776041 868167680 35956 4294967295 134512640 134569956 3221224416 3221214680 1131202149 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 35956 13073 16 0 211939 0 vsize: 847820 [startup+570.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1708 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 54094 63 0 0 25 0 11 0 419776041 868167680 35980 4294967295 134512640 134569956 3221224416 3221214400 1131683991 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 35980 13073 16 0 211939 0 vsize: 847820 [startup+580.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1708 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 55011 63 0 0 25 0 11 0 419776041 868167680 37234 4294967295 134512640 134569956 3221224416 3221214704 1131425550 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 37234 13073 16 0 211939 0 vsize: 847820 [startup+590.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1708 Raw data (stat): 1685 (java) S 1684 32461 32460 0 -1 0 18079 3 1 0 55974 64 0 0 25 0 11 0 419776041 868167680 37234 4294967295 134512640 134569956 3221224416 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 37234 13073 16 0 211939 0 vsize: 847820 [startup+600.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1708 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 56882 64 0 0 25 0 11 0 419776041 868167680 37736 4294967295 134512640 134569956 3221224416 3221214672 1131658854 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 37736 13073 16 0 211939 0 vsize: 847820 [startup+610.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1708 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 57860 64 0 0 25 0 11 0 419776041 868167680 37736 4294967295 134512640 134569956 3221224416 3221214088 1085679358 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 37736 13073 16 0 211939 0 vsize: 847820 [startup+620.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1708 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 58816 64 0 0 25 0 11 0 419776041 868167680 37997 4294967295 134512640 134569956 3221224416 3221214368 1085679325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 37997 13073 16 0 211939 0 vsize: 847820 [startup+630.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1708 Raw data (stat): 1685 (java) S 1684 32461 32460 0 -1 0 18079 3 1 0 59795 65 0 0 25 0 11 0 419776041 868167680 37997 4294967295 134512640 134569956 3221224416 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 37997 13073 16 0 211939 0 vsize: 847820 [startup+640.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1708 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 60762 65 0 0 25 0 11 0 419776041 868167680 38057 4294967295 134512640 134569956 3221224416 3221214328 1085632310 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 38057 13073 16 0 211939 0 vsize: 847820 [startup+650.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1708 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 61739 65 0 0 25 0 11 0 419776041 868167680 38083 4294967295 134512640 134569956 3221224416 3221214680 1131201729 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 38083 13073 16 0 211939 0 vsize: 847820 [startup+660.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 1708 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 62691 66 0 0 25 0 11 0 419776041 868167680 38324 4294967295 134512640 134569956 3221224416 3221214260 1131684688 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 38324 13073 16 0 211939 0 vsize: 847820 [startup+663.13 s] Raw data (loadavg): 1.00 1.00 1.00 1/53 1709 Raw data (stat): 1685 (java) R 1684 32461 32460 0 -1 0 18079 3 1 0 62691 66 0 0 25 0 11 0 419776041 868167680 38324 4294967295 134512640 134569956 3221224416 3221214260 1131684688 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211955 38324 13073 16 0 211939 0 vsize: 0 Child status: 30 Real time (s): 663.13 CPU time (s): 682.044 CPU user time (s): 680.512 CPU system time (s): 1.53277 CPU usage (%): 102.852 Max. virtual memory (Kb): 850620 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 2642 #### END VERIFIER DATA ####