Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb |
MD5SUM | f82b685b64af240616b701a750c82883 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 934 |
Biggest coefficient in the objective function | 546 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 2594 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 546 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2594 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.03784 |
Number of variables | 934 |
Total number of constraints | 1996 |
Number of constraints which are clauses | 879 |
Number of constraints which are cardinality constraints (but not clauses) | 1117 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 20 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-16 04:23:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25465 boxname=wulflinc4 idbench=367 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: f82b685b64af240616b701a750c82883 /oldhome/oroussel/tmp/wulflinc4/normalized-10:20:4.5:0.95:100.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-10:20:4.5:0.95:100.opb IDLAUNCH: 25465 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 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: 736976 kB Buffers: 34016 kB Cached: 241596 kB SwapCached: 944 kB Active: 29820 kB Inactive: 247900 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 736724 kB SwapTotal: 2097136 kB SwapFree: 2095208 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4996 kB Slab: 14192 kB Committed_AS: 71908 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 04:43:52 (client local time) WITH STATUS 10 IN 1201.95 SECONDS stats: 25465 0 1201.95 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 1198 c big objective detected c trying from 0 to 511 c Decision: 1076/363576 Time: 431.736/86400 c Decision: 1076/363576 Time: 496.02/86400 c Decision: 1076/363576 Time: 569.365/86400 c Decision: 1076/363576 Time: 639.179/86400 c Decision: 1076/363576 Time: 714.176/86400 c Decision: 1076/363576 Time: 812.73/86400 c Decision: 1076/363576 Time: 896.713/86400 c Decision: 1076/363576 Time: 980.634/86400 c Decision: 1076/363576 Time: 1064.49/86400 c Decision: 1076/363576 Time: 1139.14/86400s SATISFIABLE v one 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 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.98 0.94 2/54 20734 Raw data (stat): 20734 (runsolver) R 20733 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 967846320 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+9.99997 s] Raw data (loadavg): 0.93 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 27880 0 0 0 940 59 0 0 25 0 1 0 967846320 86585344 16991 4294967295 134512640 135730672 3221224576 3221156700 135301642 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21139 16993 301 301 0 20838 0 vsize: 84556 [startup+20.0008 s] Raw data (loadavg): 0.94 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 54148 0 0 0 1884 115 0 0 25 0 1 0 967846320 170217472 31634 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41557 31634 301 301 0 41256 0 vsize: 166228 [startup+30.002 s] Raw data (loadavg): 0.95 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 57451 0 0 0 2878 121 0 0 25 0 1 0 967846320 184397824 34609 4294967295 134512640 135730672 3221224576 3221222800 134747808 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45019 34609 301 301 0 44718 0 vsize: 180076 [startup+40.0015 s] Raw data (loadavg): 0.96 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 58387 0 0 0 3877 123 0 0 25 0 1 0 967846320 187711488 35300 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45828 35300 301 301 0 45527 0 vsize: 183312 [startup+50.0024 s] Raw data (loadavg): 0.96 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 59489 0 0 0 4875 125 0 0 25 0 1 0 967846320 191344640 35881 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46715 35881 301 301 0 46414 0 vsize: 186860 [startup+60.0026 s] Raw data (loadavg): 0.97 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 60444 0 0 0 5873 126 0 0 25 0 1 0 967846320 194949120 36526 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 47595 36526 301 301 0 47294 0 vsize: 190380 [startup+70.0031 s] Raw data (loadavg): 0.97 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 61389 0 0 0 6872 128 0 0 25 0 1 0 967846320 197709824 36952 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 48269 36952 301 301 0 47968 0 vsize: 193076 [startup+80.0041 s] Raw data (loadavg): 0.98 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 62336 0 0 0 7870 130 0 0 25 0 1 0 967846320 201228288 37556 4294967295 134512640 135730672 3221224576 3221222924 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49128 37556 301 301 0 48827 0 vsize: 196512 [startup+90.0042 s] Raw data (loadavg): 0.98 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 63170 0 0 0 8868 132 0 0 25 0 1 0 967846320 203730944 37937 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49739 37937 301 301 0 49438 0 vsize: 198956 [startup+100.005 s] Raw data (loadavg): 0.98 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 63775 0 0 0 9867 134 0 0 25 0 1 0 967846320 205852672 38346 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50257 38346 301 301 0 49956 0 vsize: 201028 [startup+110.005 s] Raw data (loadavg): 0.98 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 64613 0 0 0 10865 135 0 0 25 0 1 0 967846320 208359424 38697 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50869 38697 301 301 0 50568 0 vsize: 203476 [startup+120.006 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 64910 0 0 0 11865 136 0 0 25 0 1 0 967846320 209563648 38928 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 51163 38928 301 301 0 50862 0 vsize: 204652 [startup+130.005 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 65345 0 0 0 12864 137 0 0 25 0 1 0 967846320 210890752 39167 4294967295 134512640 135730672 3221224576 3221222784 134732736 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 51487 39167 301 301 0 51186 0 vsize: 205948 [startup+140.005 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 65672 0 0 0 13863 138 0 0 25 0 1 0 967846320 211820544 39363 4294967295 134512640 135730672 3221224576 3221222800 134747874 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 51714 39363 301 301 0 51413 0 vsize: 206856 [startup+150.006 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 65996 0 0 0 14862 139 0 0 25 0 1 0 967846320 213299200 39621 4294967295 134512640 135730672 3221224576 3221222992 134748464 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 52075 39621 301 301 0 51774 0 vsize: 208300 [startup+160.006 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 66617 0 0 0 15861 141 0 0 25 0 1 0 967846320 215166976 40045 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 52531 40045 301 301 0 52230 0 vsize: 210124 [startup+170.007 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 67218 0 0 0 16861 141 0 0 25 0 1 0 967846320 217022464 40417 4294967295 134512640 135730672 3221224576 3221222800 134747705 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 52984 40417 301 301 0 52683 0 vsize: 211936 [startup+180.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 67894 0 0 0 17859 143 0 0 25 0 1 0 967846320 219275264 40799 4294967295 134512640 135730672 3221224576 3221222960 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 53534 40799 301 301 0 53233 0 vsize: 214136 [startup+190.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 68188 0 0 0 18858 144 0 0 25 0 1 0 967846320 220209152 41027 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 53762 41027 301 301 0 53461 0 vsize: 215048 [startup+200.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 68474 0 0 0 19858 145 0 0 25 0 1 0 967846320 221396992 41215 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 54052 41215 301 301 0 53751 0 vsize: 216208 [startup+210.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 68694 0 0 0 20857 146 0 0 25 0 1 0 967846320 222318592 41402 4294967295 134512640 135730672 3221224576 3221222800 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 54277 41403 301 301 0 53976 0 vsize: 217108 [startup+220.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 69197 0 0 0 21856 147 0 0 25 0 1 0 967846320 224292864 41742 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 54759 41742 301 301 0 54458 0 vsize: 219036 [startup+230.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 69387 0 0 0 22855 148 0 0 25 0 1 0 967846320 224686080 41834 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 54855 41834 301 301 0 54554 0 vsize: 219420 [startup+240.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 69540 0 0 0 23855 148 0 0 25 0 1 0 967846320 224948224 41922 4294967295 134512640 135730672 3221224576 3221222960 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 54919 41922 301 301 0 54618 0 vsize: 219676 [startup+250.012 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 69921 0 0 0 24855 149 0 0 25 0 1 0 967846320 225738752 42173 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55112 42173 301 301 0 54811 0 vsize: 220448 [startup+260.012 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 70084 0 0 0 25854 149 0 0 25 0 1 0 967846320 226267136 42271 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55241 42271 301 301 0 54940 0 vsize: 220964 [startup+270.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 70110 0 0 0 26854 150 0 0 25 0 1 0 967846320 226267136 42297 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55241 42297 301 301 0 54940 0 vsize: 220964 [startup+280.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 70293 0 0 0 27853 151 0 0 25 0 1 0 967846320 226795520 42415 4294967295 134512640 135730672 3221224576 3221222784 134732772 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55370 42415 301 301 0 55069 0 vsize: 221480 [startup+290.012 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 70483 0 0 0 28852 152 0 0 25 0 1 0 967846320 227188736 42507 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55466 42507 301 301 0 55165 0 vsize: 221864 [startup+300.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 70628 0 0 0 29852 152 0 0 25 0 1 0 967846320 227450880 42587 4294967295 134512640 135730672 3221224576 3221222992 134748503 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55530 42587 301 301 0 55229 0 vsize: 222120 [startup+310.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 70920 0 0 0 30852 153 0 0 25 0 1 0 967846320 228241408 42748 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55723 42748 301 301 0 55422 0 vsize: 222892 [startup+320.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 70941 0 0 0 31852 153 0 0 25 0 1 0 967846320 228241408 42769 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55723 42769 301 301 0 55422 0 vsize: 222892 [startup+330.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 71162 0 0 0 32851 154 0 0 25 0 1 0 967846320 228769792 42925 4294967295 134512640 135730672 3221224576 3221222800 134747616 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55852 42925 301 301 0 55551 0 vsize: 223408 [startup+340.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 71313 0 0 0 33851 154 0 0 25 0 1 0 967846320 229031936 43011 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55916 43011 301 301 0 55615 0 vsize: 223664 [startup+350.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 71440 0 0 0 34850 155 0 0 25 0 1 0 967846320 229429248 43105 4294967295 134512640 135730672 3221224576 3221222904 134747441 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56013 43105 301 301 0 55712 0 vsize: 224052 [startup+360.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 71699 0 0 0 35850 156 0 0 25 0 1 0 967846320 230219776 43234 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56206 43234 301 301 0 55905 0 vsize: 224824 [startup+370.016 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 71879 0 0 0 36849 156 0 0 25 0 1 0 967846320 230748160 43349 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56335 43349 301 301 0 56034 0 vsize: 225340 [startup+380.016 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 71967 0 0 0 37849 157 0 0 25 0 1 0 967846320 231010304 43372 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56399 43372 301 301 0 56098 0 vsize: 225596 [startup+390.016 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 72335 0 0 0 38848 158 0 0 25 0 1 0 967846320 232198144 43577 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56689 43577 301 301 0 56388 0 vsize: 226756 [startup+400.017 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 72517 0 0 0 39848 159 0 0 25 0 1 0 967846320 232726528 43694 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56818 43694 301 301 0 56517 0 vsize: 227272 [startup+410.017 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 72626 0 0 0 40847 159 0 0 25 0 1 0 967846320 233123840 43770 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56915 43770 301 301 0 56614 0 vsize: 227660 [startup+420.018 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 72732 0 0 0 41847 159 0 0 25 0 1 0 967846320 233521152 43843 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57012 43843 301 301 0 56711 0 vsize: 228048 [startup+430.019 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 72874 0 0 0 42847 160 0 0 25 0 1 0 967846320 233783296 43919 4294967295 134512640 135730672 3221224576 3221222800 134747657 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57076 43919 301 301 0 56775 0 vsize: 228304 [startup+440.018 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 73103 0 0 0 43846 161 0 0 25 0 1 0 967846320 234840064 44148 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57334 44148 301 301 0 57033 0 vsize: 229336 [startup+450.019 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 73832 0 0 0 44844 163 0 0 25 0 1 0 967846320 234840064 44166 4294967295 134512640 135730672 3221224576 3221222928 134783353 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57334 44166 301 301 0 57033 0 vsize: 229336 [startup+460.019 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 74230 0 0 0 45843 164 0 0 25 0 1 0 967846320 236154880 44369 4294967295 134512640 135730672 3221224576 3221222928 134748166 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57655 44369 301 301 0 57354 0 vsize: 230620 [startup+470.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 74320 0 0 0 46843 165 0 0 25 0 1 0 967846320 236548096 44426 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57751 44426 301 301 0 57450 0 vsize: 231004 [startup+480.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 74475 0 0 0 47842 166 0 0 25 0 1 0 967846320 236675072 44483 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57782 44483 301 301 0 57481 0 vsize: 231128 [startup+490.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 74479 0 0 0 48842 166 0 0 25 0 1 0 967846320 236675072 44487 4294967295 134512640 135730672 3221224576 3221222992 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57782 44487 301 301 0 57481 0 vsize: 231128 [startup+500.021 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 74507 0 0 0 49841 167 0 0 25 0 1 0 967846320 236675072 44515 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57782 44515 301 301 0 57481 0 vsize: 231128 [startup+510.021 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 74542 0 0 0 50841 167 0 0 25 0 1 0 967846320 236675072 44550 4294967295 134512640 135730672 3221224576 3221222800 134747610 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57782 44550 301 301 0 57481 0 vsize: 231128 [startup+520.021 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 75269 0 0 0 51839 169 0 0 25 0 1 0 967846320 236675072 44566 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57782 44566 301 301 0 57481 0 vsize: 231128 [startup+530.022 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 75499 0 0 0 52837 171 0 0 25 0 1 0 967846320 237469696 44731 4294967295 134512640 135730672 3221224576 3221222992 134748480 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57976 44731 301 301 0 57675 0 vsize: 231904 [startup+540.023 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 75500 0 0 0 53837 171 0 0 25 0 1 0 967846320 237469696 44732 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57976 44732 301 301 0 57675 0 vsize: 231904 [startup+550.023 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 75768 0 0 0 54837 172 0 0 25 0 1 0 967846320 238260224 44870 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58169 44870 301 301 0 57868 0 vsize: 232676 [startup+560.023 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 75807 0 0 0 55836 172 0 0 25 0 1 0 967846320 238260224 44909 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58169 44909 301 301 0 57868 0 vsize: 232676 [startup+570.024 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 75810 0 0 0 56836 173 0 0 25 0 1 0 967846320 238260224 44912 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58169 44912 301 301 0 57868 0 vsize: 232676 [startup+580.024 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 75814 0 0 0 57836 173 0 0 25 0 1 0 967846320 238260224 44916 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58169 44916 301 301 0 57868 0 vsize: 232676 [startup+590.024 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 76535 0 0 0 58834 175 0 0 25 0 1 0 967846320 238194688 44910 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 58153 44910 301 301 0 57852 0 vsize: 232612 [startup+600.025 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 76554 0 0 0 59834 175 0 0 25 0 1 0 967846320 238059520 44896 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58120 44896 301 301 0 57819 0 vsize: 232480 [startup+610.025 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 76721 0 0 0 60833 176 0 0 25 0 1 0 967846320 238587904 44998 4294967295 134512640 135730672 3221224576 3221222992 134748549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58249 44998 301 301 0 57948 0 vsize: 232996 [startup+620.025 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 77018 0 0 0 61832 177 0 0 25 0 1 0 967846320 239247360 45133 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58410 45133 301 301 0 58109 0 vsize: 233640 [startup+630.025 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 77181 0 0 0 62832 178 0 0 25 0 1 0 967846320 240037888 45231 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58603 45231 301 301 0 58302 0 vsize: 234412 [startup+640.025 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 77277 0 0 0 63831 178 0 0 25 0 1 0 967846320 240300032 45262 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58667 45262 301 301 0 58366 0 vsize: 234668 [startup+650.025 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 77361 0 0 0 64831 178 0 0 25 0 1 0 967846320 240562176 45281 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58731 45281 301 301 0 58430 0 vsize: 234924 [startup+660.025 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78074 0 0 0 65830 180 0 0 25 0 1 0 967846320 240562176 45283 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58731 45283 301 301 0 58430 0 vsize: 234924 [startup+670.026 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78087 0 0 0 66830 181 0 0 25 0 1 0 967846320 240562176 45296 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58731 45296 301 301 0 58430 0 vsize: 234924 [startup+680.026 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78141 0 0 0 67830 181 0 0 25 0 1 0 967846320 240693248 45317 4294967295 134512640 135730672 3221224576 3221222924 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58763 45317 301 301 0 58462 0 vsize: 235052 [startup+690.027 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78143 0 0 0 68829 181 0 0 25 0 1 0 967846320 240693248 45319 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58763 45319 301 301 0 58462 0 vsize: 235052 [startup+700.027 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78145 0 0 0 69829 181 0 0 25 0 1 0 967846320 240693248 45321 4294967295 134512640 135730672 3221224576 3221222992 134748503 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58763 45321 301 301 0 58462 0 vsize: 235052 [startup+710.027 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78148 0 0 0 70829 182 0 0 25 0 1 0 967846320 240693248 45324 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58763 45324 301 301 0 58462 0 vsize: 235052 [startup+720.028 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78262 0 0 0 71829 182 0 0 25 0 1 0 967846320 241221632 45438 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58892 45438 301 301 0 58591 0 vsize: 235568 [startup+730.029 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78263 0 0 0 72829 183 0 0 25 0 1 0 967846320 241221632 45439 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58892 45439 301 301 0 58591 0 vsize: 235568 [startup+740.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78976 0 0 0 73827 185 0 0 25 0 1 0 967846320 241221632 45441 4294967295 134512640 135730672 3221224576 3221222800 134747711 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58892 45441 301 301 0 58591 0 vsize: 235568 [startup+750.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78977 0 0 0 74827 185 0 0 25 0 1 0 967846320 241221632 45442 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58892 45442 301 301 0 58591 0 vsize: 235568 [startup+760.029 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78985 0 0 0 75827 185 0 0 25 0 1 0 967846320 241221632 45450 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58892 45450 301 301 0 58591 0 vsize: 235568 [startup+770.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78985 0 0 0 76827 186 0 0 25 0 1 0 967846320 241221632 45450 4294967295 134512640 135730672 3221224576 3221222992 134748499 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58892 45450 301 301 0 58591 0 vsize: 235568 [startup+780.034 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78986 0 0 0 77827 186 0 0 25 0 1 0 967846320 241221632 45451 4294967295 134512640 135730672 3221224576 3221222800 134747463 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58892 45451 301 301 0 58591 0 vsize: 235568 [startup+790.033 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78989 0 0 0 78827 186 0 0 25 0 1 0 967846320 241221632 45454 4294967295 134512640 135730672 3221224576 3221222800 134747549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58892 45454 301 301 0 58591 0 vsize: 235568 [startup+800.034 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78990 0 0 0 79827 186 0 0 25 0 1 0 967846320 241221632 45455 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58892 45455 301 301 0 58591 0 vsize: 235568 [startup+810.035 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78992 0 0 0 80827 187 0 0 25 0 1 0 967846320 241221632 45457 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58892 45457 301 301 0 58591 0 vsize: 235568 [startup+820.036 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 78993 0 0 0 81827 187 0 0 25 0 1 0 967846320 241221632 45458 4294967295 134512640 135730672 3221224576 3221222640 134739213 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58892 45458 301 301 0 58591 0 vsize: 235568 [startup+830.036 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 79707 0 0 0 82825 189 0 0 25 0 1 0 967846320 241221632 45461 4294967295 134512640 135730672 3221224576 3221222928 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58892 45461 301 301 0 58591 0 vsize: 235568 [startup+840.036 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 79749 0 0 0 83825 189 0 0 25 0 1 0 967846320 241352704 45470 4294967295 134512640 135730672 3221224576 3221222624 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58924 45470 301 301 0 58623 0 vsize: 235696 [startup+850.037 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 79812 0 0 0 84825 189 0 0 25 0 1 0 967846320 241483776 45500 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58956 45500 301 301 0 58655 0 vsize: 235824 [startup+860.036 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 79854 0 0 0 85825 189 0 0 25 0 1 0 967846320 241614848 45509 4294967295 134512640 135730672 3221224576 3221222928 134748255 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58988 45509 301 301 0 58687 0 vsize: 235952 [startup+870.037 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 79854 0 0 0 86824 190 0 0 25 0 1 0 967846320 241614848 45509 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58988 45509 301 301 0 58687 0 vsize: 235952 [startup+880.038 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 79855 0 0 0 87824 190 0 0 25 0 1 0 967846320 241614848 45510 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58988 45510 301 301 0 58687 0 vsize: 235952 [startup+890.038 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 79855 0 0 0 88824 191 0 0 25 0 1 0 967846320 241614848 45510 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58988 45510 301 301 0 58687 0 vsize: 235952 [startup+900.038 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 79856 0 0 0 89824 191 0 0 25 0 1 0 967846320 241614848 45511 4294967295 134512640 135730672 3221224576 3221222800 134747563 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58988 45511 301 301 0 58687 0 vsize: 235952 [startup+910.039 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 79857 0 0 0 90823 192 0 0 25 0 1 0 967846320 241614848 45512 4294967295 134512640 135730672 3221224576 3221222624 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58988 45512 301 301 0 58687 0 vsize: 235952 [startup+920.039 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 80569 0 0 0 91822 193 0 0 25 0 1 0 967846320 241614848 45513 4294967295 134512640 135730672 3221224576 3221222800 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58988 45513 301 301 0 58687 0 vsize: 235952 [startup+930.04 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 80569 0 0 0 92822 194 0 0 25 0 1 0 967846320 241614848 45513 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58988 45513 301 301 0 58687 0 vsize: 235952 [startup+940.039 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 80626 0 0 0 93822 194 0 0 25 0 1 0 967846320 241881088 45570 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59053 45570 301 301 0 58752 0 vsize: 236212 [startup+950.04 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 80629 0 0 0 94822 194 0 0 25 0 1 0 967846320 241881088 45573 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59053 45573 301 301 0 58752 0 vsize: 236212 [startup+960.04 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 80638 0 0 0 95822 194 0 0 25 0 1 0 967846320 241881088 45582 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59053 45582 301 301 0 58752 0 vsize: 236212 [startup+970.041 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 80638 0 0 0 96822 194 0 0 25 0 1 0 967846320 241881088 45582 4294967295 134512640 135730672 3221224576 3221222800 134747549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59053 45582 301 301 0 58752 0 vsize: 236212 [startup+980.042 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 80650 0 0 0 97822 195 0 0 25 0 1 0 967846320 241881088 45594 4294967295 134512640 135730672 3221224576 3221222900 134747725 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59053 45594 301 301 0 58752 0 vsize: 236212 [startup+990.042 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 80650 0 0 0 98821 195 0 0 25 0 1 0 967846320 241881088 45594 4294967295 134512640 135730672 3221224576 3221222960 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59053 45594 301 301 0 58752 0 vsize: 236212 [startup+1000.04 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 81362 0 0 0 99820 197 0 0 25 0 1 0 967846320 241881088 45595 4294967295 134512640 135730672 3221224576 3221222800 134747610 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59053 45595 301 301 0 58752 0 vsize: 236212 [startup+1010.04 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 81362 0 0 0 100820 197 0 0 25 0 1 0 967846320 241881088 45595 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59053 45595 301 301 0 58752 0 vsize: 236212 [startup+1020.04 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 81363 0 0 0 101820 197 0 0 25 0 1 0 967846320 241881088 45596 4294967295 134512640 135730672 3221224576 3221222800 134747657 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59053 45596 301 301 0 58752 0 vsize: 236212 [startup+1030.04 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 81365 0 0 0 102820 197 0 0 25 0 1 0 967846320 241881088 45598 4294967295 134512640 135730672 3221224576 3221222896 134747445 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59053 45598 301 301 0 58752 0 vsize: 236212 [startup+1040.04 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 81366 0 0 0 103820 198 0 0 25 0 1 0 967846320 241881088 45599 4294967295 134512640 135730672 3221224576 3221222632 134739222 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59053 45599 301 301 0 58752 0 vsize: 236212 [startup+1050.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 81366 0 0 0 104820 198 0 0 25 0 1 0 967846320 241881088 45599 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59053 45599 301 301 0 58752 0 vsize: 236212 [startup+1060.04 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 81367 0 0 0 105820 198 0 0 25 0 1 0 967846320 241881088 45600 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59053 45600 301 301 0 58752 0 vsize: 236212 [startup+1070.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 81367 0 0 0 106820 198 0 0 25 0 1 0 967846320 241881088 45600 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59053 45600 301 301 0 58752 0 vsize: 236212 [startup+1080.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 81368 0 0 0 107820 199 0 0 25 0 1 0 967846320 241881088 45601 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59053 45601 301 301 0 58752 0 vsize: 236212 [startup+1090.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82079 0 0 0 108818 200 0 0 25 0 1 0 967846320 241881088 45601 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59053 45601 301 301 0 58752 0 vsize: 236212 [startup+1100.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82080 0 0 0 109818 201 0 0 25 0 1 0 967846320 241881088 45602 4294967295 134512640 135730672 3221224576 3221222800 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59053 45602 301 301 0 58752 0 vsize: 236212 [startup+1110.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82080 0 0 0 110818 201 0 0 25 0 1 0 967846320 241881088 45602 4294967295 134512640 135730672 3221224576 3221222800 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59053 45602 301 301 0 58752 0 vsize: 236212 [startup+1120.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82081 0 0 0 111818 201 0 0 25 0 1 0 967846320 241881088 45603 4294967295 134512640 135730672 3221224576 3221222800 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59053 45603 301 301 0 58752 0 vsize: 236212 [startup+1130.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82081 0 0 0 112818 201 0 0 25 0 1 0 967846320 241881088 45603 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59053 45603 301 301 0 58752 0 vsize: 236212 [startup+1140.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82158 0 0 0 113818 202 0 0 25 0 1 0 967846320 242143232 45615 4294967295 134512640 135730672 3221224576 3221222800 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59117 45615 301 301 0 58816 0 vsize: 236468 [startup+1150.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82159 0 0 0 114818 202 0 0 25 0 1 0 967846320 242143232 45616 4294967295 134512640 135730672 3221224576 3221222960 134734849 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59117 45616 301 301 0 58816 0 vsize: 236468 [startup+1160.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82870 0 0 0 115816 204 0 0 25 0 1 0 967846320 242143232 45616 4294967295 134512640 135730672 3221224576 3221222800 134747536 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59117 45616 301 301 0 58816 0 vsize: 236468 [startup+1170.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82967 0 0 0 116816 204 0 0 25 0 1 0 967846320 242536448 45680 4294967295 134512640 135730672 3221224576 3221222908 134747440 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59213 45680 301 301 0 58912 0 vsize: 236852 [startup+1180.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82967 0 0 0 117816 205 0 0 25 0 1 0 967846320 242405376 45648 4294967295 134512640 135730672 3221224576 3221222640 134739213 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59181 45648 301 301 0 58880 0 vsize: 236724 [startup+1190.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 82968 0 0 0 118816 205 0 0 25 0 1 0 967846320 242405376 45649 4294967295 134512640 135730672 3221224576 3221222800 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59181 45649 301 301 0 58880 0 vsize: 236724 [startup+1200.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 20734 Raw data (stat): 20734 (pb2sat-v2) R 20733 21152 21151 0 -1 0 83055 0 0 0 119816 205 0 0 25 0 1 0 967846320 242667520 45671 4294967295 134512640 135730672 3221224576 3221222800 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 59245 45671 301 301 0 58944 0 vsize: 236980 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.78 s] Raw data (loadavg): 0.99 0.98 0.94 1/54 20734 Raw data (stat): 20734 (pb2sat-v2) Z 20733 21152 21151 0 -1 12 83057 0 0 0 119979 214 0 0 25 0 1 0 967846320 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 10 Real time (s): 1201.78 CPU time (s): 1201.95 CPU user time (s): 1199.8 CPU system time (s): 2.14967 CPU usage (%): 100.014 Max. virtual memory (Kb): 236980 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 652 #### END VERIFIER DATA ####