Name | 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 | YES |
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 | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 965.053 |
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 |
LAUNCH ON wulflinc15 THE 2005-09-20 15:15:02 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5072 boxname=wulflinc15 idbench=384 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 6049145b9f1adfd7114adf044503d587 /oldhome/oroussel/tmp/wulflinc15/normalized-ws97-5.opb REAL COMMAND: Pueblo IDLAUNCH: 5072 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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 : 450.999 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: 826616 kB Buffers: 31504 kB Cached: 146932 kB SwapCached: 744 kB Active: 67368 kB Inactive: 113752 kB HighTotal: 131008 kB HighFree: 3780 kB LowTotal: 903652 kB LowFree: 822836 kB SwapTotal: 2097136 kB SwapFree: 2095884 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5732 kB Slab: 21136 kB Committed_AS: 64172 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 15:35:31 (client local time) WITH STATUS 10 IN 1189.03 SECONDS stats: 5072 0 1189.03 10
c Pueblo version 1.3 (July 2005) c Developed @ University of Michigan, Ann Arbor, MI c by Hossein Sheini c starting to Solve c #variables read: 907 - #constraints read: 1570 c total time : 1189 s s SATISFIABLE 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
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1801300878 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 41 3 40 18 0 23 0 [pid=13879] vsize: 164 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libstdc++.so.5 open syscall for file tls/i686/libstdc++.so.5 open syscall for file tls/mmx/libstdc++.so.5 open syscall for file tls/libstdc++.so.5 open syscall for file i686/mmx/libstdc++.so.5 open syscall for file i686/libstdc++.so.5 open syscall for file mmx/libstdc++.so.5 open syscall for file libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/libstdc++.so.5 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++.so.5 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libgcc_s.so.1 open syscall for file tls/i686/libgcc_s.so.1 open syscall for file tls/mmx/libgcc_s.so.1 open syscall for file tls/libgcc_s.so.1 open syscall for file i686/mmx/libgcc_s.so.1 open syscall for file i686/libgcc_s.so.1 open syscall for file mmx/libgcc_s.so.1 open syscall for file libgcc_s.so.1 open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1 open syscall for file /lib/libgcc_s.so.1 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 [startup+10.0039 s] Raw data (loadavg): 0.93 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 1109 0 0 0 970 12 0 0 25 0 1 0 1801300878 6098944 1075 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/13879/statm): 1489 1075 566 18 0 1471 0 [pid=13879] vsize: 5956 Current children cumulated CPU time (s) 9.82 Current children cumulated vsize (Kb) 5956 [startup+20.0047 s] Raw data (loadavg): 0.94 0.97 0.91 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 1409 0 0 0 1931 28 0 0 25 0 1 0 1801300878 7278592 1375 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 1777 1375 566 18 0 1759 0 [pid=13879] vsize: 7108 Current children cumulated CPU time (s) 19.59 Current children cumulated vsize (Kb) 7108 [startup+30.0045 s] Raw data (loadavg): 0.95 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 1524 0 0 0 2887 46 0 0 25 0 1 0 1801300878 7802880 1490 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 1905 1490 566 18 0 1887 0 [pid=13879] vsize: 7620 Current children cumulated CPU time (s) 29.33 Current children cumulated vsize (Kb) 7620 [startup+40.0043 s] Raw data (loadavg): 0.96 0.97 0.91 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 1597 0 0 0 3835 66 0 0 25 0 1 0 1801300878 8065024 1563 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 1969 1563 566 18 0 1951 0 [pid=13879] vsize: 7876 Current children cumulated CPU time (s) 39.01 Current children cumulated vsize (Kb) 7876 [startup+50.0052 s] Raw data (loadavg): 0.96 0.97 0.91 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 1754 0 0 0 4804 77 0 0 25 0 1 0 1801300878 8720384 1720 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/13879/statm): 2129 1720 566 18 0 2111 0 [pid=13879] vsize: 8516 Current children cumulated CPU time (s) 48.81 Current children cumulated vsize (Kb) 8516 [startup+60.006 s] Raw data (loadavg): 0.97 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 1823 0 0 0 5764 91 0 0 25 0 1 0 1801300878 8982528 1789 4294967295 134512640 134578447 3221224624 3221223456 134528357 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 2193 1789 566 18 0 2175 0 [pid=13879] vsize: 8772 Current children cumulated CPU time (s) 58.55 Current children cumulated vsize (Kb) 8772 [startup+70.0068 s] Raw data (loadavg): 0.97 0.97 0.91 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 1917 0 0 0 6694 114 0 0 25 0 1 0 1801300878 9375744 1883 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/13879/statm): 2289 1883 566 18 0 2271 0 [pid=13879] vsize: 9156 Current children cumulated CPU time (s) 68.08 Current children cumulated vsize (Kb) 9156 [startup+80.0076 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2012 0 0 0 7643 132 0 0 25 0 1 0 1801300878 9768960 1978 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 2385 1978 566 18 0 2367 0 [pid=13879] vsize: 9540 Current children cumulated CPU time (s) 77.75 Current children cumulated vsize (Kb) 9540 [startup+90.0074 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2134 0 0 0 8584 153 0 0 25 0 1 0 1801300878 10293248 2100 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 2513 2100 566 18 0 2495 0 [pid=13879] vsize: 10052 Current children cumulated CPU time (s) 87.37 Current children cumulated vsize (Kb) 10052 [startup+100.007 s] Raw data (loadavg): 0.98 0.97 0.91 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2173 0 0 0 9526 172 0 0 25 0 1 0 1801300878 10424320 2139 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 2545 2139 566 18 0 2527 0 [pid=13879] vsize: 10180 Current children cumulated CPU time (s) 96.98 Current children cumulated vsize (Kb) 10180 [startup+110.008 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2190 0 0 0 10433 205 0 0 25 0 1 0 1801300878 10555392 2156 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 2577 2156 566 18 0 2559 0 [pid=13879] vsize: 10308 Current children cumulated CPU time (s) 106.38 Current children cumulated vsize (Kb) 10308 [startup+120.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2214 0 0 0 11374 226 0 0 25 0 1 0 1801300878 10506240 2172 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 2565 2172 566 18 0 2547 0 [pid=13879] vsize: 10260 Current children cumulated CPU time (s) 116 Current children cumulated vsize (Kb) 10260 [startup+130.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2363 0 0 0 12340 238 0 0 25 0 1 0 1801300878 11161600 2321 4294967295 134512640 134578447 3221224624 3221223184 1075290875 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 2725 2321 566 18 0 2707 0 [pid=13879] vsize: 10900 Current children cumulated CPU time (s) 125.78 Current children cumulated vsize (Kb) 10900 [startup+140.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2410 0 0 0 13302 252 0 0 25 0 1 0 1801300878 11296768 2348 4294967295 134512640 134578447 3221224624 3221223488 134517860 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 2758 2348 566 18 0 2740 0 [pid=13879] vsize: 11032 Current children cumulated CPU time (s) 135.54 Current children cumulated vsize (Kb) 11032 [startup+150.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2438 0 0 0 14254 271 0 0 25 0 1 0 1801300878 11390976 2376 4294967295 134512640 134578447 3221224624 3221223472 134520250 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 2781 2376 566 18 0 2763 0 [pid=13879] vsize: 11124 Current children cumulated CPU time (s) 145.25 Current children cumulated vsize (Kb) 11124 [startup+160.01 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2438 0 0 0 15197 292 0 0 25 0 1 0 1801300878 11390976 2376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 2781 2376 566 18 0 2763 0 [pid=13879] vsize: 11124 Current children cumulated CPU time (s) 154.89 Current children cumulated vsize (Kb) 11124 [startup+170.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2438 0 0 0 16138 315 0 0 25 0 1 0 1801300878 11354112 2376 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 2772 2376 566 18 0 2754 0 [pid=13879] vsize: 11088 Current children cumulated CPU time (s) 164.53 Current children cumulated vsize (Kb) 11088 [startup+180.011 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2438 0 0 0 17078 338 0 0 25 0 1 0 1801300878 11218944 2346 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 2739 2346 566 18 0 2721 0 [pid=13879] vsize: 10956 Current children cumulated CPU time (s) 174.16 Current children cumulated vsize (Kb) 10956 [startup+190.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2438 0 0 0 18021 357 0 0 25 0 1 0 1801300878 11218944 2346 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 2739 2346 566 18 0 2721 0 [pid=13879] vsize: 10956 Current children cumulated CPU time (s) 183.78 Current children cumulated vsize (Kb) 10956 [startup+200.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2438 0 0 0 18945 383 0 0 25 0 1 0 1801300878 11218944 2346 4294967295 134512640 134578447 3221224624 3221223536 134557425 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 2739 2346 566 18 0 2721 0 [pid=13879] vsize: 10956 Current children cumulated CPU time (s) 193.28 Current children cumulated vsize (Kb) 10956 [startup+210.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2438 0 0 0 19876 408 0 0 25 0 1 0 1801300878 11218944 2346 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 2739 2346 566 18 0 2721 0 [pid=13879] vsize: 10956 Current children cumulated CPU time (s) 202.84 Current children cumulated vsize (Kb) 10956 [startup+220.014 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2438 0 0 0 20806 432 0 0 25 0 1 0 1801300878 11218944 2346 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 2739 2346 566 18 0 2721 0 [pid=13879] vsize: 10956 Current children cumulated CPU time (s) 212.38 Current children cumulated vsize (Kb) 10956 [startup+230.014 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2460 0 0 0 21761 451 0 0 25 0 1 0 1801300878 11350016 2368 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 2771 2368 566 18 0 2753 0 [pid=13879] vsize: 11084 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (Kb) 11084 [startup+240.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2516 0 0 0 22712 468 0 0 25 0 1 0 1801300878 11612160 2424 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 2835 2424 566 18 0 2817 0 [pid=13879] vsize: 11340 Current children cumulated CPU time (s) 231.8 Current children cumulated vsize (Kb) 11340 [startup+250.015 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2558 0 0 0 23673 482 0 0 25 0 1 0 1801300878 11743232 2466 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 2867 2466 566 18 0 2849 0 [pid=13879] vsize: 11468 Current children cumulated CPU time (s) 241.55 Current children cumulated vsize (Kb) 11468 [startup+260.016 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2558 0 0 0 24630 498 0 0 25 0 1 0 1801300878 11726848 2466 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 2863 2466 566 18 0 2845 0 [pid=13879] vsize: 11452 Current children cumulated CPU time (s) 251.28 Current children cumulated vsize (Kb) 11452 [startup+270.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2565 0 0 0 25586 515 0 0 25 0 1 0 1801300878 11857920 2473 4294967295 134512640 134578447 3221224624 3221223456 134528360 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 2895 2473 566 18 0 2877 0 [pid=13879] vsize: 11580 Current children cumulated CPU time (s) 261.01 Current children cumulated vsize (Kb) 11580 [startup+280.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2565 0 0 0 26548 528 0 0 25 0 1 0 1801300878 11784192 2473 4294967295 134512640 134578447 3221224624 3221223488 134517848 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 2877 2473 566 18 0 2859 0 [pid=13879] vsize: 11508 Current children cumulated CPU time (s) 270.76 Current children cumulated vsize (Kb) 11508 [startup+290.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2595 0 0 0 27508 543 0 0 25 0 1 0 1801300878 11915264 2503 4294967295 134512640 134578447 3221224624 3221223536 134557432 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 2909 2503 566 18 0 2891 0 [pid=13879] vsize: 11636 Current children cumulated CPU time (s) 280.51 Current children cumulated vsize (Kb) 11636 [startup+300.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2615 0 0 0 28465 558 0 0 25 0 1 0 1801300878 12046336 2523 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 2941 2523 566 18 0 2923 0 [pid=13879] vsize: 11764 Current children cumulated CPU time (s) 290.23 Current children cumulated vsize (Kb) 11764 [startup+310.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2645 0 0 0 29431 571 0 0 25 0 1 0 1801300878 12148736 2553 4294967295 134512640 134578447 3221224624 3221223504 134528068 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 2966 2553 566 18 0 2948 0 [pid=13879] vsize: 11864 Current children cumulated CPU time (s) 300.02 Current children cumulated vsize (Kb) 11864 [startup+320.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2645 0 0 0 30396 583 0 0 25 0 1 0 1801300878 12132352 2553 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 2962 2553 566 18 0 2944 0 [pid=13879] vsize: 11848 Current children cumulated CPU time (s) 309.79 Current children cumulated vsize (Kb) 11848 [startup+330.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2693 0 0 0 31365 595 0 0 25 0 1 0 1801300878 12263424 2601 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 2994 2601 566 18 0 2976 0 [pid=13879] vsize: 11976 Current children cumulated CPU time (s) 319.6 Current children cumulated vsize (Kb) 11976 [startup+340.021 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2694 0 0 0 32334 605 0 0 25 0 1 0 1801300878 12394496 2602 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3026 2602 566 18 0 3008 0 [pid=13879] vsize: 12104 Current children cumulated CPU time (s) 329.39 Current children cumulated vsize (Kb) 12104 [startup+350.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2694 0 0 0 33299 618 0 0 25 0 1 0 1801300878 12382208 2602 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3023 2602 566 18 0 3005 0 [pid=13879] vsize: 12092 Current children cumulated CPU time (s) 339.17 Current children cumulated vsize (Kb) 12092 [startup+360.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2804 0 0 0 34258 632 0 0 25 0 1 0 1801300878 12754944 2712 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3114 2712 566 18 0 3096 0 [pid=13879] vsize: 12456 Current children cumulated CPU time (s) 348.9 Current children cumulated vsize (Kb) 12456 [startup+370.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2804 0 0 0 35191 657 0 0 25 0 1 0 1801300878 12754944 2712 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 3114 2712 566 18 0 3096 0 [pid=13879] vsize: 12456 Current children cumulated CPU time (s) 358.48 Current children cumulated vsize (Kb) 12456 [startup+380.023 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2834 0 0 0 36125 681 0 0 25 0 1 0 1801300878 12873728 2742 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3143 2742 566 18 0 3125 0 [pid=13879] vsize: 12572 Current children cumulated CPU time (s) 368.06 Current children cumulated vsize (Kb) 12572 [startup+390.024 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2839 0 0 0 37043 709 0 0 25 0 1 0 1801300878 12976128 2747 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3168 2747 566 18 0 3150 0 [pid=13879] vsize: 12672 Current children cumulated CPU time (s) 377.52 Current children cumulated vsize (Kb) 12672 [startup+400.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2899 0 0 0 37975 736 0 0 25 0 1 0 1801300878 13107200 2807 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 3200 2807 566 18 0 3182 0 [pid=13879] vsize: 12800 Current children cumulated CPU time (s) 387.11 Current children cumulated vsize (Kb) 12800 [startup+410.026 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2899 0 0 0 38910 760 0 0 25 0 1 0 1801300878 13107200 2807 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3200 2807 566 18 0 3182 0 [pid=13879] vsize: 12800 Current children cumulated CPU time (s) 396.7 Current children cumulated vsize (Kb) 12800 [startup+420.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2899 0 0 0 39843 783 0 0 25 0 1 0 1801300878 13107200 2807 4294967295 134512640 134578447 3221224624 3221223536 134556795 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 3200 2807 566 18 0 3182 0 [pid=13879] vsize: 12800 Current children cumulated CPU time (s) 406.26 Current children cumulated vsize (Kb) 12800 [startup+430.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2899 0 0 0 40777 808 0 0 25 0 1 0 1801300878 13066240 2797 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 3190 2797 566 18 0 3172 0 [pid=13879] vsize: 12760 Current children cumulated CPU time (s) 415.85 Current children cumulated vsize (Kb) 12760 [startup+440.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2910 0 0 0 41710 833 0 0 25 0 1 0 1801300878 13197312 2808 4294967295 134512640 134578447 3221224624 3221223456 134528488 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3222 2808 566 18 0 3204 0 [pid=13879] vsize: 12888 Current children cumulated CPU time (s) 425.43 Current children cumulated vsize (Kb) 12888 [startup+450.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2910 0 0 0 42649 852 0 0 25 0 1 0 1801300878 13197312 2808 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 3222 2808 566 18 0 3204 0 [pid=13879] vsize: 12888 Current children cumulated CPU time (s) 435.01 Current children cumulated vsize (Kb) 12888 [startup+460.028 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2922 0 0 0 43587 872 0 0 25 0 1 0 1801300878 13197312 2820 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3222 2820 566 18 0 3204 0 [pid=13879] vsize: 12888 Current children cumulated CPU time (s) 444.59 Current children cumulated vsize (Kb) 12888 [startup+470.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2922 0 0 0 44534 890 0 0 25 0 1 0 1801300878 13197312 2820 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3222 2820 566 18 0 3204 0 [pid=13879] vsize: 12888 Current children cumulated CPU time (s) 454.24 Current children cumulated vsize (Kb) 12888 [startup+480.028 s] Raw data (loadavg): 1.15 1.00 0.92 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2931 0 0 0 45471 911 0 0 25 0 1 0 1801300878 13197312 2829 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3222 2829 566 18 0 3204 0 [pid=13879] vsize: 12888 Current children cumulated CPU time (s) 463.82 Current children cumulated vsize (Kb) 12888 [startup+490.029 s] Raw data (loadavg): 1.12 1.00 0.92 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2953 0 0 0 46393 941 0 0 25 0 1 0 1801300878 13328384 2851 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3254 2851 566 18 0 3236 0 [pid=13879] vsize: 13016 Current children cumulated CPU time (s) 473.34 Current children cumulated vsize (Kb) 13016 [startup+500.03 s] Raw data (loadavg): 1.18 1.02 0.93 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3065 0 0 0 47354 954 0 0 25 0 1 0 1801300878 13852672 2963 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3382 2963 566 18 0 3364 0 [pid=13879] vsize: 13528 Current children cumulated CPU time (s) 483.08 Current children cumulated vsize (Kb) 13528 [startup+510.031 s] Raw data (loadavg): 1.15 1.02 0.93 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3091 0 0 0 48308 973 0 0 25 0 1 0 1801300878 13852672 2989 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3382 2989 566 18 0 3364 0 [pid=13879] vsize: 13528 Current children cumulated CPU time (s) 492.81 Current children cumulated vsize (Kb) 13528 [startup+520.031 s] Raw data (loadavg): 1.13 1.02 0.93 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3115 0 0 0 49267 988 0 0 25 0 1 0 1801300878 13983744 3013 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3414 3013 566 18 0 3396 0 [pid=13879] vsize: 13656 Current children cumulated CPU time (s) 502.55 Current children cumulated vsize (Kb) 13656 [startup+530.03 s] Raw data (loadavg): 1.18 1.03 0.93 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3163 0 0 0 50228 1003 0 0 25 0 1 0 1801300878 14245888 3061 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3478 3061 566 18 0 3460 0 [pid=13879] vsize: 13912 Current children cumulated CPU time (s) 512.31 Current children cumulated vsize (Kb) 13912 [startup+540.053 s] Raw data (loadavg): 1.15 1.03 0.93 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3163 0 0 0 51182 1018 0 0 25 0 1 0 1801300878 14118912 3054 4294967295 134512640 134578447 3221224624 3221223280 1075288456 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 3447 3054 566 18 0 3429 0 [pid=13879] vsize: 13788 Current children cumulated CPU time (s) 522 Current children cumulated vsize (Kb) 13788 [startup+550.053 s] Raw data (loadavg): 1.13 1.03 0.93 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3172 0 0 0 52139 1034 0 0 25 0 1 0 1801300878 14249984 3063 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3479 3063 566 18 0 3461 0 [pid=13879] vsize: 13916 Current children cumulated CPU time (s) 531.73 Current children cumulated vsize (Kb) 13916 [startup+560.054 s] Raw data (loadavg): 1.11 1.03 0.93 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3180 0 0 0 53105 1047 0 0 25 0 1 0 1801300878 14249984 3071 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3479 3071 566 18 0 3461 0 [pid=13879] vsize: 13916 Current children cumulated CPU time (s) 541.52 Current children cumulated vsize (Kb) 13916 [startup+570.055 s] Raw data (loadavg): 1.09 1.03 0.93 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3222 0 0 0 54068 1061 0 0 25 0 1 0 1801300878 14381056 3113 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3511 3113 566 18 0 3493 0 [pid=13879] vsize: 14044 Current children cumulated CPU time (s) 551.29 Current children cumulated vsize (Kb) 14044 [startup+580.055 s] Raw data (loadavg): 1.08 1.03 0.93 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3222 0 0 0 55036 1073 0 0 25 0 1 0 1801300878 14381056 3113 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3511 3113 566 18 0 3493 0 [pid=13879] vsize: 14044 Current children cumulated CPU time (s) 561.09 Current children cumulated vsize (Kb) 14044 [startup+590.055 s] Raw data (loadavg): 1.06 1.02 0.93 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3295 0 0 0 55992 1090 0 0 25 0 1 0 1801300878 14774272 3186 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3607 3186 566 18 0 3589 0 [pid=13879] vsize: 14428 Current children cumulated CPU time (s) 570.82 Current children cumulated vsize (Kb) 14428 [startup+600.055 s] Raw data (loadavg): 1.05 1.02 0.93 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3299 0 0 0 56960 1103 0 0 25 0 1 0 1801300878 14774272 3190 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3607 3190 566 18 0 3589 0 [pid=13879] vsize: 14428 Current children cumulated CPU time (s) 580.63 Current children cumulated vsize (Kb) 14428 [startup+610.056 s] Raw data (loadavg): 1.05 1.02 0.93 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3299 0 0 0 57917 1118 0 0 25 0 1 0 1801300878 14757888 3190 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 3603 3190 566 18 0 3585 0 [pid=13879] vsize: 14412 Current children cumulated CPU time (s) 590.35 Current children cumulated vsize (Kb) 14412 [startup+620.057 s] Raw data (loadavg): 1.04 1.02 0.93 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3299 0 0 0 58871 1135 0 0 25 0 1 0 1801300878 14753792 3190 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3602 3190 566 18 0 3584 0 [pid=13879] vsize: 14408 Current children cumulated CPU time (s) 600.06 Current children cumulated vsize (Kb) 14408 [startup+630.057 s] Raw data (loadavg): 1.03 1.02 0.93 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3299 0 0 0 59833 1150 0 0 25 0 1 0 1801300878 14753792 3190 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 3602 3190 566 18 0 3584 0 [pid=13879] vsize: 14408 Current children cumulated CPU time (s) 609.83 Current children cumulated vsize (Kb) 14408 [startup+640.057 s] Raw data (loadavg): 1.03 1.02 0.93 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3299 0 0 0 60788 1165 0 0 25 0 1 0 1801300878 14741504 3190 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3599 3190 566 18 0 3581 0 [pid=13879] vsize: 14396 Current children cumulated CPU time (s) 619.53 Current children cumulated vsize (Kb) 14396 [startup+650.057 s] Raw data (loadavg): 1.02 1.02 0.93 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3299 0 0 0 61758 1177 0 0 25 0 1 0 1801300878 14716928 3190 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3593 3190 566 18 0 3575 0 [pid=13879] vsize: 14372 Current children cumulated CPU time (s) 629.35 Current children cumulated vsize (Kb) 14372 [startup+660.058 s] Raw data (loadavg): 1.02 1.02 0.93 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3299 0 0 0 62721 1191 0 0 25 0 1 0 1801300878 14659584 3186 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3579 3186 566 18 0 3561 0 [pid=13879] vsize: 14316 Current children cumulated CPU time (s) 639.12 Current children cumulated vsize (Kb) 14316 [startup+670.059 s] Raw data (loadavg): 1.02 1.02 0.93 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3299 0 0 0 63685 1204 0 0 25 0 1 0 1801300878 14659584 3186 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3579 3186 566 18 0 3561 0 [pid=13879] vsize: 14316 Current children cumulated CPU time (s) 648.89 Current children cumulated vsize (Kb) 14316 [startup+680.059 s] Raw data (loadavg): 1.01 1.02 0.93 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3299 0 0 0 64647 1216 0 0 25 0 1 0 1801300878 14659584 3186 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3579 3186 566 18 0 3561 0 [pid=13879] vsize: 14316 Current children cumulated CPU time (s) 658.63 Current children cumulated vsize (Kb) 14316 [startup+690.059 s] Raw data (loadavg): 1.01 1.01 0.93 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3299 0 0 0 65608 1231 0 0 25 0 1 0 1801300878 14659584 3186 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3579 3186 566 18 0 3561 0 [pid=13879] vsize: 14316 Current children cumulated CPU time (s) 668.39 Current children cumulated vsize (Kb) 14316 [startup+700.058 s] Raw data (loadavg): 1.01 1.01 0.93 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3299 0 0 0 66576 1242 0 0 25 0 1 0 1801300878 14659584 3186 4294967295 134512640 134578447 3221224624 3221223456 134528426 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3579 3186 566 18 0 3561 0 [pid=13879] vsize: 14316 Current children cumulated CPU time (s) 678.18 Current children cumulated vsize (Kb) 14316 [startup+710.059 s] Raw data (loadavg): 1.01 1.01 0.93 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3299 0 0 0 67534 1257 0 0 25 0 1 0 1801300878 14659584 3186 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3579 3186 566 18 0 3561 0 [pid=13879] vsize: 14316 Current children cumulated CPU time (s) 687.91 Current children cumulated vsize (Kb) 14316 [startup+720.059 s] Raw data (loadavg): 1.00 1.01 0.93 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3319 0 0 0 68494 1274 0 0 25 0 1 0 1801300878 14790656 3206 4294967295 134512640 134578447 3221224624 3221223584 134558996 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3611 3206 566 18 0 3593 0 [pid=13879] vsize: 14444 Current children cumulated CPU time (s) 697.68 Current children cumulated vsize (Kb) 14444 [startup+730.059 s] Raw data (loadavg): 1.00 1.01 0.93 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3319 0 0 0 69470 1282 0 0 25 0 1 0 1801300878 14790656 3206 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3611 3206 566 18 0 3593 0 [pid=13879] vsize: 14444 Current children cumulated CPU time (s) 707.52 Current children cumulated vsize (Kb) 14444 [startup+740.06 s] Raw data (loadavg): 1.00 1.01 0.93 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3319 0 0 0 70443 1291 0 0 25 0 1 0 1801300878 14790656 3206 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3611 3206 566 18 0 3593 0 [pid=13879] vsize: 14444 Current children cumulated CPU time (s) 717.34 Current children cumulated vsize (Kb) 14444 [startup+750.059 s] Raw data (loadavg): 1.00 1.01 0.93 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3319 0 0 0 71415 1301 0 0 25 0 1 0 1801300878 14790656 3206 4294967295 134512640 134578447 3221224624 3221223536 134556806 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3611 3206 566 18 0 3593 0 [pid=13879] vsize: 14444 Current children cumulated CPU time (s) 727.16 Current children cumulated vsize (Kb) 14444 [startup+760.06 s] Raw data (loadavg): 1.00 1.01 0.93 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3319 0 0 0 72375 1315 0 0 25 0 1 0 1801300878 14790656 3206 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3611 3206 566 18 0 3593 0 [pid=13879] vsize: 14444 Current children cumulated CPU time (s) 736.9 Current children cumulated vsize (Kb) 14444 [startup+770.061 s] Raw data (loadavg): 1.00 1.01 0.93 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3319 0 0 0 73343 1327 0 0 25 0 1 0 1801300878 14700544 3196 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3589 3196 566 18 0 3571 0 [pid=13879] vsize: 14356 Current children cumulated CPU time (s) 746.7 Current children cumulated vsize (Kb) 14356 [startup+780.061 s] Raw data (loadavg): 1.00 1.01 0.93 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3319 0 0 0 74309 1340 0 0 25 0 1 0 1801300878 14700544 3196 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3589 3196 566 18 0 3571 0 [pid=13879] vsize: 14356 Current children cumulated CPU time (s) 756.49 Current children cumulated vsize (Kb) 14356 [startup+790.062 s] Raw data (loadavg): 1.08 1.02 0.94 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3319 0 0 0 75270 1354 0 0 25 0 1 0 1801300878 14700544 3196 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3589 3196 566 18 0 3571 0 [pid=13879] vsize: 14356 Current children cumulated CPU time (s) 766.24 Current children cumulated vsize (Kb) 14356 [startup+800.063 s] Raw data (loadavg): 1.14 1.04 0.94 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3319 0 0 0 76234 1368 0 0 25 0 1 0 1801300878 14700544 3196 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 3589 3196 566 18 0 3571 0 [pid=13879] vsize: 14356 Current children cumulated CPU time (s) 776.02 Current children cumulated vsize (Kb) 14356 [startup+810.063 s] Raw data (loadavg): 1.12 1.03 0.94 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3319 0 0 0 77207 1379 0 0 25 0 1 0 1801300878 14700544 3196 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3589 3196 566 18 0 3571 0 [pid=13879] vsize: 14356 Current children cumulated CPU time (s) 785.86 Current children cumulated vsize (Kb) 14356 [startup+820.063 s] Raw data (loadavg): 1.10 1.03 0.94 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3319 0 0 0 78152 1397 0 0 25 0 1 0 1801300878 14655488 3185 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3578 3185 566 18 0 3560 0 [pid=13879] vsize: 14312 Current children cumulated CPU time (s) 795.49 Current children cumulated vsize (Kb) 14312 [startup+830.063 s] Raw data (loadavg): 1.08 1.03 0.94 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3319 0 0 0 79078 1423 0 0 20 0 1 0 1801300878 14544896 3158 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 3551 3158 566 18 0 3533 0 [pid=13879] vsize: 14204 Current children cumulated CPU time (s) 805.01 Current children cumulated vsize (Kb) 14204 [startup+840.064 s] Raw data (loadavg): 1.07 1.03 0.94 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3426 0 0 0 80026 1440 0 0 25 0 1 0 1801300878 15069184 3261 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 3679 3261 566 18 0 3661 0 [pid=13879] vsize: 14716 Current children cumulated CPU time (s) 814.66 Current children cumulated vsize (Kb) 14716 [startup+850.065 s] Raw data (loadavg): 1.06 1.03 0.94 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3426 0 0 0 80949 1467 0 0 25 0 1 0 1801300878 15069184 3261 4294967295 134512640 134578447 3221224624 3221223488 134517857 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 3679 3261 566 18 0 3661 0 [pid=13879] vsize: 14716 Current children cumulated CPU time (s) 824.16 Current children cumulated vsize (Kb) 14716 [startup+860.067 s] Raw data (loadavg): 1.05 1.03 0.94 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3426 0 0 0 81869 1496 0 0 25 0 1 0 1801300878 15069184 3261 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3679 3261 566 18 0 3661 0 [pid=13879] vsize: 14716 Current children cumulated CPU time (s) 833.65 Current children cumulated vsize (Kb) 14716 [startup+870.066 s] Raw data (loadavg): 1.04 1.03 0.94 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3426 0 0 0 82795 1524 0 0 25 0 1 0 1801300878 15069184 3261 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3679 3261 566 18 0 3661 0 [pid=13879] vsize: 14716 Current children cumulated CPU time (s) 843.19 Current children cumulated vsize (Kb) 14716 [startup+880.066 s] Raw data (loadavg): 1.04 1.02 0.94 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3467 0 0 0 83725 1547 0 0 25 0 1 0 1801300878 15200256 3302 4294967295 134512640 134578447 3221224624 3221223552 134519840 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3711 3302 566 18 0 3693 0 [pid=13879] vsize: 14844 Current children cumulated CPU time (s) 852.72 Current children cumulated vsize (Kb) 14844 [startup+890.067 s] Raw data (loadavg): 1.03 1.02 0.94 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3537 0 0 0 84652 1574 0 0 25 0 1 0 1801300878 15462400 3372 4294967295 134512640 134578447 3221224624 3221223488 134517827 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3775 3372 566 18 0 3757 0 [pid=13879] vsize: 15100 Current children cumulated CPU time (s) 862.26 Current children cumulated vsize (Kb) 15100 [startup+900.067 s] Raw data (loadavg): 1.02 1.02 0.94 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3537 0 0 0 85574 1602 0 0 25 0 1 0 1801300878 15462400 3372 4294967295 134512640 134578447 3221224624 3221223488 134517766 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3775 3372 566 18 0 3757 0 [pid=13879] vsize: 15100 Current children cumulated CPU time (s) 871.76 Current children cumulated vsize (Kb) 15100 [startup+910.068 s] Raw data (loadavg): 1.02 1.02 0.94 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3537 0 0 0 86501 1629 0 0 25 0 1 0 1801300878 15462400 3372 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3775 3372 566 18 0 3757 0 [pid=13879] vsize: 15100 Current children cumulated CPU time (s) 881.3 Current children cumulated vsize (Kb) 15100 [startup+920.068 s] Raw data (loadavg): 1.02 1.02 0.94 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3537 0 0 0 87434 1653 0 0 25 0 1 0 1801300878 15454208 3372 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3773 3372 566 18 0 3755 0 [pid=13879] vsize: 15092 Current children cumulated CPU time (s) 890.87 Current children cumulated vsize (Kb) 15092 [startup+930.068 s] Raw data (loadavg): 1.01 1.02 0.94 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3562 0 0 0 88373 1674 0 0 25 0 1 0 1801300878 15585280 3397 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3805 3397 566 18 0 3787 0 [pid=13879] vsize: 15220 Current children cumulated CPU time (s) 900.47 Current children cumulated vsize (Kb) 15220 [startup+940.069 s] Raw data (loadavg): 1.01 1.02 0.94 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3562 0 0 0 89298 1699 0 0 25 0 1 0 1801300878 15585280 3397 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3805 3397 566 18 0 3787 0 [pid=13879] vsize: 15220 Current children cumulated CPU time (s) 909.97 Current children cumulated vsize (Kb) 15220 [startup+950.07 s] Raw data (loadavg): 1.01 1.02 0.94 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3562 0 0 0 90236 1722 0 0 25 0 1 0 1801300878 15585280 3397 4294967295 134512640 134578447 3221224624 3221223536 134557425 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3805 3397 566 18 0 3787 0 [pid=13879] vsize: 15220 Current children cumulated CPU time (s) 919.58 Current children cumulated vsize (Kb) 15220 [startup+960.071 s] Raw data (loadavg): 1.01 1.02 0.94 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3576 0 0 0 91208 1733 0 0 25 0 1 0 1801300878 15585280 3411 4294967295 134512640 134578447 3221224624 3221223552 134516683 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3805 3411 566 18 0 3787 0 [pid=13879] vsize: 15220 Current children cumulated CPU time (s) 929.41 Current children cumulated vsize (Kb) 15220 [startup+970.071 s] Raw data (loadavg): 1.01 1.02 0.94 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3582 0 0 0 92158 1751 0 0 25 0 1 0 1801300878 15716352 3417 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 3837 3417 566 18 0 3819 0 [pid=13879] vsize: 15348 Current children cumulated CPU time (s) 939.09 Current children cumulated vsize (Kb) 15348 [startup+980.071 s] Raw data (loadavg): 1.00 1.02 0.94 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3582 0 0 0 93071 1783 0 0 25 0 1 0 1801300878 15544320 3402 4294967295 134512640 134578447 3221224624 3221223488 134517745 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3795 3402 566 18 0 3777 0 [pid=13879] vsize: 15180 Current children cumulated CPU time (s) 948.54 Current children cumulated vsize (Kb) 15180 [startup+990.072 s] Raw data (loadavg): 1.00 1.01 0.94 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3582 0 0 0 93983 1814 0 0 25 0 1 0 1801300878 15544320 3402 4294967295 134512640 134578447 3221224624 3221223552 134516681 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3795 3402 566 18 0 3777 0 [pid=13879] vsize: 15180 Current children cumulated CPU time (s) 957.97 Current children cumulated vsize (Kb) 15180 [startup+1000.07 s] Raw data (loadavg): 1.00 1.01 0.94 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3582 0 0 0 94900 1842 0 0 25 0 1 0 1801300878 15544320 3402 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3795 3402 566 18 0 3777 0 [pid=13879] vsize: 15180 Current children cumulated CPU time (s) 967.42 Current children cumulated vsize (Kb) 15180 [startup+1010.07 s] Raw data (loadavg): 1.00 1.01 0.94 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3612 0 0 0 95839 1864 0 0 25 0 1 0 1801300878 15675392 3432 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3827 3432 566 18 0 3809 0 [pid=13879] vsize: 15308 Current children cumulated CPU time (s) 977.03 Current children cumulated vsize (Kb) 15308 [startup+1020.07 s] Raw data (loadavg): 1.00 1.01 0.94 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3624 0 0 0 96767 1888 0 0 25 0 1 0 1801300878 15806464 3444 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/13879/statm): 3859 3444 566 18 0 3841 0 [pid=13879] vsize: 15436 Current children cumulated CPU time (s) 986.55 Current children cumulated vsize (Kb) 15436 [startup+1030.07 s] Raw data (loadavg): 1.00 1.01 0.94 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3624 0 0 0 97692 1914 0 0 25 0 1 0 1801300878 15765504 3444 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3849 3444 566 18 0 3831 0 [pid=13879] vsize: 15396 Current children cumulated CPU time (s) 996.06 Current children cumulated vsize (Kb) 15396 [startup+1040.07 s] Raw data (loadavg): 1.00 1.01 0.94 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3624 0 0 0 98641 1932 0 0 25 0 1 0 1801300878 15765504 3444 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3849 3444 566 18 0 3831 0 [pid=13879] vsize: 15396 Current children cumulated CPU time (s) 1005.73 Current children cumulated vsize (Kb) 15396 [startup+1050.07 s] Raw data (loadavg): 1.00 1.01 0.94 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3624 0 0 0 99608 1945 0 0 25 0 1 0 1801300878 15765504 3444 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/13879/statm): 3849 3444 566 18 0 3831 0 [pid=13879] vsize: 15396 Current children cumulated CPU time (s) 1015.53 Current children cumulated vsize (Kb) 15396 [startup+1060.07 s] Raw data (loadavg): 1.00 1.01 0.94 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3624 0 0 0 100572 1959 0 0 25 0 1 0 1801300878 15757312 3444 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3847 3444 566 18 0 3829 0 [pid=13879] vsize: 15388 Current children cumulated CPU time (s) 1025.31 Current children cumulated vsize (Kb) 15388 [startup+1070.08 s] Raw data (loadavg): 1.00 1.01 0.94 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3624 0 0 0 101522 1976 0 0 25 0 1 0 1801300878 15626240 3422 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3815 3422 566 18 0 3797 0 [pid=13879] vsize: 15260 Current children cumulated CPU time (s) 1034.98 Current children cumulated vsize (Kb) 15260 [startup+1080.08 s] Raw data (loadavg): 1.08 1.02 0.95 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3624 0 0 0 102449 2004 0 0 25 0 1 0 1801300878 15622144 3421 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3814 3421 566 18 0 3796 0 [pid=13879] vsize: 15256 Current children cumulated CPU time (s) 1044.53 Current children cumulated vsize (Kb) 15256 [startup+1090.08 s] Raw data (loadavg): 1.07 1.02 0.95 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3624 0 0 0 103373 2033 0 0 25 0 1 0 1801300878 15441920 3377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3770 3377 566 18 0 3752 0 [pid=13879] vsize: 15080 Current children cumulated CPU time (s) 1054.06 Current children cumulated vsize (Kb) 15080 [startup+1100.08 s] Raw data (loadavg): 1.06 1.02 0.95 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3624 0 0 0 104287 2064 0 0 25 0 1 0 1801300878 15441920 3377 4294967295 134512640 134578447 3221224624 3221223536 134556860 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3770 3377 566 18 0 3752 0 [pid=13879] vsize: 15080 Current children cumulated CPU time (s) 1063.51 Current children cumulated vsize (Kb) 15080 [startup+1110.08 s] Raw data (loadavg): 1.05 1.02 0.95 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3624 0 0 0 105223 2085 0 0 25 0 1 0 1801300878 15441920 3377 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 3770 3377 566 18 0 3752 0 [pid=13879] vsize: 15080 Current children cumulated CPU time (s) 1073.08 Current children cumulated vsize (Kb) 15080 [startup+1120.08 s] Raw data (loadavg): 1.04 1.02 0.95 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3624 0 0 0 106191 2096 0 0 25 0 1 0 1801300878 15425536 3373 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 3766 3373 566 18 0 3748 0 [pid=13879] vsize: 15064 Current children cumulated CPU time (s) 1082.87 Current children cumulated vsize (Kb) 15064 [startup+1130.08 s] Raw data (loadavg): 1.03 1.02 0.95 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3624 0 0 0 107156 2108 0 0 25 0 1 0 1801300878 15425536 3373 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3766 3373 566 18 0 3748 0 [pid=13879] vsize: 15064 Current children cumulated CPU time (s) 1092.64 Current children cumulated vsize (Kb) 15064 [startup+1140.08 s] Raw data (loadavg): 1.03 1.02 0.95 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3624 0 0 0 108113 2121 0 0 25 0 1 0 1801300878 15425536 3373 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 3766 3373 566 18 0 3748 0 [pid=13879] vsize: 15064 Current children cumulated CPU time (s) 1102.34 Current children cumulated vsize (Kb) 15064 [startup+1150.08 s] Raw data (loadavg): 1.02 1.02 0.95 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3643 0 0 0 109087 2131 0 0 25 0 1 0 1801300878 15556608 3392 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3798 3392 566 18 0 3780 0 [pid=13879] vsize: 15192 Current children cumulated CPU time (s) 1112.18 Current children cumulated vsize (Kb) 15192 [startup+1160.08 s] Raw data (loadavg): 1.02 1.01 0.95 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3694 0 0 0 110060 2142 0 0 25 0 1 0 1801300878 15818752 3443 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3862 3443 566 18 0 3844 0 [pid=13879] vsize: 15448 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (Kb) 15448 [startup+1170.08 s] Raw data (loadavg): 1.02 1.01 0.95 1/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3694 0 0 0 111023 2156 0 0 25 0 1 0 1801300878 15818752 3443 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3862 3443 566 18 0 3844 0 [pid=13879] vsize: 15448 Current children cumulated CPU time (s) 1131.79 Current children cumulated vsize (Kb) 15448 [startup+1180.08 s] Raw data (loadavg): 1.01 1.01 0.95 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3694 0 0 0 111983 2172 0 0 25 0 1 0 1801300878 15818752 3443 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3862 3443 566 18 0 3844 0 [pid=13879] vsize: 15448 Current children cumulated CPU time (s) 1141.55 Current children cumulated vsize (Kb) 15448 [startup+1190.08 s] Raw data (loadavg): 1.01 1.01 0.95 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3694 0 0 0 112955 2182 0 0 25 0 1 0 1801300878 15818752 3443 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3862 3443 566 18 0 3844 0 [pid=13879] vsize: 15448 Current children cumulated CPU time (s) 1151.37 Current children cumulated vsize (Kb) 15448 [startup+1200.08 s] Raw data (loadavg): 1.01 1.01 0.95 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3694 0 0 0 113918 2196 0 0 25 0 1 0 1801300878 15818752 3443 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3862 3443 566 18 0 3844 0 [pid=13879] vsize: 15448 Current children cumulated CPU time (s) 1161.14 Current children cumulated vsize (Kb) 15448 [startup+1210.08 s] Raw data (loadavg): 1.01 1.01 0.95 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3694 0 0 0 114878 2210 0 0 25 0 1 0 1801300878 15818752 3443 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/13879/statm): 3862 3443 566 18 0 3844 0 [pid=13879] vsize: 15448 Current children cumulated CPU time (s) 1170.88 Current children cumulated vsize (Kb) 15448 [startup+1220.09 s] Raw data (loadavg): 1.00 1.01 0.95 2/56 13879 Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3694 0 0 0 115844 2222 0 0 25 0 1 0 1801300878 15818752 3443 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13879/statm): 3862 3443 566 18 0 3844 0 [pid=13879] vsize: 15448 Current children cumulated CPU time (s) 1180.66 Current children cumulated vsize (Kb) 15448 One traced child (pid=13879) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1228.61 CPU time (s): 1189.03 CPU user time (s): 1166.69 CPU system time (s): 22.3316 CPU usage (%): 96.7785 Max. virtual memory (cumulated for all children) (Kb): 15448
Verifier: OK 10859