Name | 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 | 11 |
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 | 1226.18 |
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 |
LAUNCH ON wulflinc29 THE 2005-09-20 15:21:27 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5091 boxname=wulflinc29 idbench=403 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: f82b685b64af240616b701a750c82883 /oldhome/oroussel/tmp/wulflinc29/normalized-10:20:4.5:0.95:100.opb REAL COMMAND: Pueblo IDLAUNCH: 5091 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 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: 641392 kB Buffers: 40876 kB Cached: 320864 kB SwapCached: 768 kB Active: 232564 kB Inactive: 131784 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 641140 kB SwapTotal: 2097892 kB SwapFree: 2096528 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5688 kB Slab: 23332 kB Committed_AS: 64136 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 15:41:55 (client local time) WITH STATUS 10 IN 1189.02 SECONDS stats: 5091 0 1189.02 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: 934 - #constraints read: 1997 c total time : 1189 s s SATISFIABLE v -v853 -v782 -v197 v102 v21 v2 -v855 v103 v1 -v785 -v384 -v272 -v196 v20 v3 -v856 -v786 -v76 v55 v23 v4 -v383 -v275 -v202 -v75 v54 v11 -v763 -v387 -v276 -v200 v56 v24 v5 -v762 -v247 -v150 -v77 v57 v26 v6 -v764 -v613 -v388 -v201 -v79 v58 -v39 v27 v7 -v765 -v612 -v513 -v250 -v205 v149 v65 v38 -v766 -v618 -v251 -v80 v59 v40 -v773 -v617 -v512 -v326 -v155 -v125 v82 v60 v41 -v767 -v619 -v153 v83 v61 v42 -v768 -v623 -v593 -v573 v518 v128 v49 -v769 -v622 -v577 v516 -v154 v129 v43 -v729 -v620 -v596 v576 -v158 v44 -v621 -v597 v517 v45 -v881 v728 v521 -v852 -v781 -v192 v104 v17 -v857 -v787 -v537 -v468 -v271 -v198 v22 v14 -v541 -v71 v25 v15 -v859 -v385 -v277 -v203 -v108 -v70 v29 v10 -v860 -v389 v28 -v790 -v246 -v206 -v145 -v78 v68 v8 -v204 -v81 v69 -v811 -v776 -v638 -v508 -v391 -v322 -v280 -v252 v151 v85 -v64 -v777 -v642 -v614 -v392 v84 -v772 -v615 -v514 -v325 -v156 v124 -v62 v52 -v616 v53 -v770 -v627 -v592 v519 -v255 -v159 v130 v48 -v572 -v157 -v877 -v598 -v574 v522 -v46 v578 v520 -v880 v730 -v133 -v601 -v854 -v783 -v464 -v267 v105 v13 -v858 -v379 -v191 v16 v12 -v862 -v788 -v536 -v488 -v467 -v378 -v273 -v193 v109 v18 -v861 -v540 -v492 -v199 -v107 v19 -v791 -v386 -v278 -v242 -v195 v67 v33 -v789 -v390 -v207 -v72 v66 -v807 -v775 -v394 -v301 -v281 -v248 -v73 v9 -v774 -v393 -v279 -v144 v74 -v810 -v637 -v321 -v253 -v146 v120 v89 v51 -v641 -v507 v152 v50 -v630 -v588 -v509 -v327 -v256 v148 v126 -v63 -v631 -v515 -v254 -v160 -v771 -v626 v594 v511 v131 -v725 v523 -v876 -v724 -v709 -v624 -v599 v330 v134 -v47 -v575 -v132 -v882 v731 -v602 -v586 -v600 v582 -v900 v732 v581 -v904 v733 -v851 -v779 -v463 v422 v106 -v850 -v784 -v426 -v266 v110 -v866 -v780 -v662 -v538 -v487 -v469 -v268 -v177 v36 -v792 -v666 -v542 -v491 -v380 v274 -v194 v37 -v381 -v297 v270 -v222 -v215 v32 -v382 -v282 -v241 -v226 -v211 -v806 -v544 -v472 -v398 -v317 -v300 -v243 -v210 v92 v30 -v545 -v249 v93 -v812 -v639 -v629 -v323 v245 v88 -v643 -v628 -v257 -v147 v119 -v913 -v836 -v328 -v168 v121 v86 -v917 -v587 -v510 -v164 v127 -v872 -v815 -v705 -v645 -v589 -v531 v347 v331 -v163 v123 -v646 v595 -v527 -v351 v329 v135 -v878 -v708 -v625 v591 -v583 -v526 -v726 v603 -v585 v95 -v883 v727 v94 -v899 -v884 v737 v579 -v903 -v885 -v869 -v533 -v465 v421 -v173 v118 v35 -v870 -v778 v425 v114 v34 -v865 -v800 -v661 -v539 -v489 -v470 -v212 v176 -v113 -v796 -v665 -v543 -v493 v269 -v214 -v863 -v802 -v795 -v547 -v473 -v450 -v401 -v296 -v290 v221 v91 -v633 -v546 -v471 -v402 v286 -v225 v90 -v808 -v632 -v495 -v397 -v302 v285 -v208 v31 -v496 -v316 -v244 -v832 -v813 -v752 -v640 -v395 -v318 v265 -v209 -v165 -v644 -v324 v261 -v167 -v912 -v835 -v816 -v648 -v528 v320 -v305 -v260 -v87 -v916 -v814 -v647 -v530 v332 v122 -v704 v346 -v161 v143 -v871 -v590 -v584 v350 v139 -v873 -v710 -v611 -v524 -v162 v138 v879 v607 v875 -v740 -v606 v561 -v525 -v886 -v741 v565 v96 -v901 -v736 -v713 v580 v97 v905 -v867 -v797 -v484 -v461 v423 v172 v117 -v799 -v532 -v466 v427 -v213 -v663 -v534 -v490 -v462 -v446 -v400 -v292 -v287 v178 -v111 -v667 -v535 -v494 -v474 -v399 -v289 -v864 -v793 -v551 -v498 -v449 -v429 -v298 v223 -v112 -v801 -v497 -v430 -v227 -v803 -v794 -v748 -v687 -v669 -v303 -v283 v262 v181 -v809 -v691 -v670 v634 v264 -v166 -v831 -v805 -v751 v635 -v396 -v306 -v284 -v229 -v817 v636 -v529 -v319 -v304 -v230 -v914 -v837 -v700 -v652 v340 -v258 v140 -v918 v336 v142 -v706 -v608 v348 v335 -v259 -v610 v352 -v920 -v840 -v739 -v711 -v412 -v371 -v136 -v921 -v896 -v874 -v738 -v375 -v895 -v894 -v714 -v604 v560 v354 -v137 -v890 -v712 v564 -v355 v902 -v889 -v734 -v605 v100 v906 v101 -v868 -v798 -v658 v424 v174 v115 -v483 -v460 v428 -v288 v217 -v664 -v554 -v485 -v482 -v445 v432 v216 v179 -v668 -v555 -v486 -v478 -v431 -v291 -v672 -v550 -v502 -v477 -v451 v293 v224 v182 -v671 v299 v263 -v228 v180 -v827 -v747 -v686 -v548 v295 -v232 -v908 -v804 -v690 -v307 -v231 -v907 -v833 -v825 -v753 -v655 v454 v337 -v821 -v656 v342 v339 v141 -v915 -v838 -v820 -v651 v341 -v919 -v699 -v609 -v923 -v841 -v756 -v701 -v649 -v408 v349 v333 -v922 -v839 -v707 v353 -v891 -v703 -v411 -v370 v357 v334 -v893 -v715 -v374 v356 v562 v99 v897 v566 v98 v898 -v887 -v735 -v553 -v479 v441 -v420 v170 v116 -v657 -v552 -v481 v419 v175 -v659 -v505 v447 -v436 v171 -v660 -v506 v218 v183 -v743 -v676 -v501 -v475 -v452 v219 v294 v220 -v822 -v749 -v688 -v654 -v549 -v499 -v476 v455 -v315 v236 -v826 -v824 -v692 -v653 v453 -v338 v311 -v828 -v754 v310 -v909 v834 -v910 v830 -v818 -v757 -v694 -v911 -v842 -v755 -v695 v343 -v927 -v819 -v650 -v407 v344 -v892 -v702 v557 v345 -v723 v556 -v413 v372 v361 -v719 v376 -v718 v563 v567 -v888 -v568 -v416 -v569 -v504 -v480 v437 -v503 v440 v439 v169 -v679 v442 -v435 v190 -v682 -v680 v448 v187 -v681 -v675 v444 -v433 -v312 v239 v186 -v823 -v742 v456 -v314 v240 -v744 -v689 -v673 -v500 v235 -v750 -v693 -v746 -v697 v308 v233 v829 -v758 -v696 -v930 v849 v405 -v309 -v931 v846 -v367 -v926 v845 -v720 -v409 v366 v364 -v722 v365 -v924 -v414 v373 v360 v558 v377 v932 -v716 v559 v417 -v358 -v415 -v717 -v678 v438 v189 -v677 v188 v238 v443 -v313 v237 v459 -v434 v184 -v683 v457 -v684 -v674 v458 v185 -v745 -v685 -v929 v848 -v761 -v698 v234 -v928 v847 -v759 -v760 v363 -v721 v404 v362 -v843 v403 -v410 v368 -v925 -v844 v406 v369 v418 v571 v933 -v359 v570 one
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/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859566104 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 41 3 40 18 0 23 0 [pid=11869] 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.0034 s] Raw data (loadavg): 0.93 0.98 0.93 1/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) T 11868 11869 19818 0 -1 0 1222 0 0 0 939 22 0 0 25 0 1 0 1859566104 6574080 1188 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/11869/statm): 1605 1188 566 18 0 1587 0 [pid=11869] vsize: 6420 Current children cumulated CPU time (s) 9.61 Current children cumulated vsize (Kb) 6420 [startup+20.0042 s] Raw data (loadavg): 0.94 0.98 0.93 1/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) T 11868 11869 19818 0 -1 0 1568 0 0 0 1880 44 0 0 25 0 1 0 1859566104 8015872 1534 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/11869/statm): 1957 1534 566 18 0 1939 0 [pid=11869] vsize: 7828 Current children cumulated CPU time (s) 19.24 Current children cumulated vsize (Kb) 7828 [startup+30.007 s] Raw data (loadavg): 0.95 0.98 0.93 1/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) T 11868 11869 19818 0 -1 0 1675 0 0 0 2824 64 0 0 25 0 1 0 1859566104 8409088 1641 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/11869/statm): 2053 1641 566 18 0 2035 0 [pid=11869] vsize: 8212 Current children cumulated CPU time (s) 28.88 Current children cumulated vsize (Kb) 8212 [startup+40.0077 s] Raw data (loadavg): 0.96 0.98 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 1820 0 0 0 3759 85 0 0 25 0 1 0 1859566104 8933376 1786 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 2181 1786 566 18 0 2163 0 [pid=11869] vsize: 8724 Current children cumulated CPU time (s) 38.44 Current children cumulated vsize (Kb) 8724 [startup+50.0085 s] Raw data (loadavg): 0.96 0.98 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 1820 0 0 0 4700 105 0 0 25 0 1 0 1859566104 8933376 1786 4294967295 134512640 134578447 3221224624 3221223536 134556775 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 2181 1786 566 18 0 2163 0 [pid=11869] vsize: 8724 Current children cumulated CPU time (s) 48.05 Current children cumulated vsize (Kb) 8724 [startup+60.0093 s] Raw data (loadavg): 0.97 0.98 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 1995 0 0 0 5639 124 0 0 25 0 1 0 1859566104 9715712 1961 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 2372 1961 566 18 0 2354 0 [pid=11869] vsize: 9488 Current children cumulated CPU time (s) 57.63 Current children cumulated vsize (Kb) 9488 [startup+70.0101 s] Raw data (loadavg): 0.97 0.98 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 1996 0 0 0 6587 142 0 0 25 0 1 0 1859566104 9715712 1962 4294967295 134512640 134578447 3221224624 3221223536 134556815 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 2372 1962 566 18 0 2354 0 [pid=11869] vsize: 9488 Current children cumulated CPU time (s) 67.29 Current children cumulated vsize (Kb) 9488 [startup+80.0109 s] Raw data (loadavg): 0.98 0.98 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2075 0 0 0 7524 165 0 0 24 0 1 0 1859566104 9977856 2041 4294967295 134512640 134578447 3221224624 3221223536 134557632 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 2436 2041 566 18 0 2418 0 [pid=11869] vsize: 9744 Current children cumulated CPU time (s) 76.89 Current children cumulated vsize (Kb) 9744 [startup+90.0106 s] Raw data (loadavg): 0.98 0.98 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2075 0 0 0 8458 188 0 0 25 0 1 0 1859566104 9977856 2041 4294967295 134512640 134578447 3221224624 3221223536 134557415 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 2436 2041 566 18 0 2418 0 [pid=11869] vsize: 9744 Current children cumulated CPU time (s) 86.46 Current children cumulated vsize (Kb) 9744 [startup+100.011 s] Raw data (loadavg): 0.98 0.98 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2102 0 0 0 9392 209 0 0 25 0 1 0 1859566104 10108928 2068 4294967295 134512640 134578447 3221224624 3221223480 134558151 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 2468 2068 566 18 0 2450 0 [pid=11869] vsize: 9872 Current children cumulated CPU time (s) 96.01 Current children cumulated vsize (Kb) 9872 [startup+110.012 s] Raw data (loadavg): 1.06 1.00 0.93 1/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) T 11868 11869 19818 0 -1 0 2155 0 0 0 10330 230 0 0 25 0 1 0 1859566104 10371072 2121 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/11869/statm): 2532 2121 566 18 0 2514 0 [pid=11869] vsize: 10128 Current children cumulated CPU time (s) 105.6 Current children cumulated vsize (Kb) 10128 [startup+120.013 s] Raw data (loadavg): 1.05 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2256 0 0 0 11276 248 0 0 25 0 1 0 1859566104 10764288 2222 4294967295 134512640 134578447 3221224624 3221223504 134527790 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 2628 2222 566 18 0 2610 0 [pid=11869] vsize: 10512 Current children cumulated CPU time (s) 115.24 Current children cumulated vsize (Kb) 10512 [startup+130.014 s] Raw data (loadavg): 1.04 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2317 0 0 0 12223 268 0 0 25 0 1 0 1859566104 11030528 2283 4294967295 134512640 134578447 3221224624 3221223408 134528974 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 2693 2283 566 18 0 2675 0 [pid=11869] vsize: 10772 Current children cumulated CPU time (s) 124.91 Current children cumulated vsize (Kb) 10772 [startup+140.015 s] Raw data (loadavg): 1.03 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2368 0 0 0 13175 283 0 0 25 0 1 0 1859566104 11292672 2334 4294967295 134512640 134578447 3221224624 3221223376 134528843 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 2757 2334 566 18 0 2739 0 [pid=11869] vsize: 11028 Current children cumulated CPU time (s) 134.58 Current children cumulated vsize (Kb) 11028 [startup+150.014 s] Raw data (loadavg): 1.03 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2377 0 0 0 14126 300 0 0 25 0 1 0 1859566104 11292672 2343 4294967295 134512640 134578447 3221224624 3221223488 134517715 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 2757 2343 566 18 0 2739 0 [pid=11869] vsize: 11028 Current children cumulated CPU time (s) 144.26 Current children cumulated vsize (Kb) 11028 [startup+160.015 s] Raw data (loadavg): 1.02 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2377 0 0 0 15080 315 0 0 25 0 1 0 1859566104 11292672 2343 4294967295 134512640 134578447 3221224624 3221223536 134557425 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 2757 2343 566 18 0 2739 0 [pid=11869] vsize: 11028 Current children cumulated CPU time (s) 153.95 Current children cumulated vsize (Kb) 11028 [startup+170.016 s] Raw data (loadavg): 1.02 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2377 0 0 0 16032 331 0 0 25 0 1 0 1859566104 11292672 2343 4294967295 134512640 134578447 3221224624 3221223456 134528608 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 2757 2343 566 18 0 2739 0 [pid=11869] vsize: 11028 Current children cumulated CPU time (s) 163.63 Current children cumulated vsize (Kb) 11028 [startup+180.017 s] Raw data (loadavg): 1.02 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2483 0 0 0 16982 347 0 0 25 0 1 0 1859566104 11698176 2449 4294967295 134512640 134578447 3221224624 3221223476 134555970 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 2856 2449 566 18 0 2838 0 [pid=11869] vsize: 11424 Current children cumulated CPU time (s) 173.29 Current children cumulated vsize (Kb) 11424 [startup+190.017 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2483 0 0 0 17939 361 0 0 25 0 1 0 1859566104 11698176 2449 4294967295 134512640 134578447 3221224624 3221223456 134528578 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 2856 2449 566 18 0 2838 0 [pid=11869] vsize: 11424 Current children cumulated CPU time (s) 183 Current children cumulated vsize (Kb) 11424 [startup+200.017 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2516 0 0 0 18899 375 0 0 25 0 1 0 1859566104 11829248 2482 4294967295 134512640 134578447 3221224624 3221222976 134532475 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 2888 2482 566 18 0 2870 0 [pid=11869] vsize: 11552 Current children cumulated CPU time (s) 192.74 Current children cumulated vsize (Kb) 11552 [startup+210.018 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2604 0 0 0 19854 390 0 0 25 0 1 0 1859566104 12222464 2570 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 2984 2570 566 18 0 2966 0 [pid=11869] vsize: 11936 Current children cumulated CPU time (s) 202.44 Current children cumulated vsize (Kb) 11936 [startup+220.019 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2604 0 0 0 20812 404 0 0 25 0 1 0 1859566104 12222464 2570 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 2984 2570 566 18 0 2966 0 [pid=11869] vsize: 11936 Current children cumulated CPU time (s) 212.16 Current children cumulated vsize (Kb) 11936 [startup+230.02 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2625 0 0 0 21769 419 0 0 25 0 1 0 1859566104 12222464 2591 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 2984 2591 566 18 0 2966 0 [pid=11869] vsize: 11936 Current children cumulated CPU time (s) 221.88 Current children cumulated vsize (Kb) 11936 [startup+240.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2625 0 0 0 22731 432 0 0 25 0 1 0 1859566104 12222464 2591 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 2984 2591 566 18 0 2966 0 [pid=11869] vsize: 11936 Current children cumulated CPU time (s) 231.63 Current children cumulated vsize (Kb) 11936 [startup+250.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2625 0 0 0 23686 448 0 0 25 0 1 0 1859566104 12222464 2591 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 2984 2591 566 18 0 2966 0 [pid=11869] vsize: 11936 Current children cumulated CPU time (s) 241.34 Current children cumulated vsize (Kb) 11936 [startup+260.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2625 0 0 0 24641 462 0 0 25 0 1 0 1859566104 12222464 2591 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 2984 2591 566 18 0 2966 0 [pid=11869] vsize: 11936 Current children cumulated CPU time (s) 251.03 Current children cumulated vsize (Kb) 11936 [startup+270.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2646 0 0 0 25598 478 0 0 25 0 1 0 1859566104 12353536 2612 4294967295 134512640 134578447 3221224624 3221223520 134519904 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3016 2612 566 18 0 2998 0 [pid=11869] vsize: 12064 Current children cumulated CPU time (s) 260.76 Current children cumulated vsize (Kb) 12064 [startup+280.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2646 0 0 0 26557 493 0 0 25 0 1 0 1859566104 12353536 2612 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3016 2612 566 18 0 2998 0 [pid=11869] vsize: 12064 Current children cumulated CPU time (s) 270.5 Current children cumulated vsize (Kb) 12064 [startup+290.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2765 0 0 0 27499 514 0 0 25 0 1 0 1859566104 12894208 2731 4294967295 134512640 134578447 3221224624 3221223376 134528917 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3148 2731 566 18 0 3130 0 [pid=11869] vsize: 12592 Current children cumulated CPU time (s) 280.13 Current children cumulated vsize (Kb) 12592 [startup+300.022 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) T 11868 11869 19818 0 -1 0 2765 0 0 0 28438 533 0 0 25 0 1 0 1859566104 12894208 2731 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3148 2731 566 18 0 3130 0 [pid=11869] vsize: 12592 Current children cumulated CPU time (s) 289.71 Current children cumulated vsize (Kb) 12592 [startup+310.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2765 0 0 0 29382 552 0 0 25 0 1 0 1859566104 12894208 2731 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3148 2731 566 18 0 3130 0 [pid=11869] vsize: 12592 Current children cumulated CPU time (s) 299.34 Current children cumulated vsize (Kb) 12592 [startup+320.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2779 0 0 0 30332 569 0 0 25 0 1 0 1859566104 12894208 2745 4294967295 134512640 134578447 3221224624 3221223488 134517766 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3148 2745 566 18 0 3130 0 [pid=11869] vsize: 12592 Current children cumulated CPU time (s) 309.01 Current children cumulated vsize (Kb) 12592 [startup+330.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2779 0 0 0 31277 588 0 0 25 0 1 0 1859566104 12894208 2745 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3148 2745 566 18 0 3130 0 [pid=11869] vsize: 12592 Current children cumulated CPU time (s) 318.65 Current children cumulated vsize (Kb) 12592 [startup+340.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2779 0 0 0 32226 606 0 0 25 0 1 0 1859566104 12894208 2745 4294967295 134512640 134578447 3221224624 3221223536 134556815 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3148 2745 566 18 0 3130 0 [pid=11869] vsize: 12592 Current children cumulated CPU time (s) 328.32 Current children cumulated vsize (Kb) 12592 [startup+350.026 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) T 11868 11869 19818 0 -1 0 2784 0 0 0 33182 621 0 0 25 0 1 0 1859566104 12894208 2750 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3148 2750 566 18 0 3130 0 [pid=11869] vsize: 12592 Current children cumulated CPU time (s) 338.03 Current children cumulated vsize (Kb) 12592 [startup+360.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2827 0 0 0 34130 639 0 0 25 0 1 0 1859566104 13156352 2793 4294967295 134512640 134578447 3221224624 3221223504 134528048 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3212 2793 566 18 0 3194 0 [pid=11869] vsize: 12848 Current children cumulated CPU time (s) 347.69 Current children cumulated vsize (Kb) 12848 [startup+370.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2827 0 0 0 35079 656 0 0 25 0 1 0 1859566104 13156352 2793 4294967295 134512640 134578447 3221224624 3221223556 134527376 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3212 2793 566 18 0 3194 0 [pid=11869] vsize: 12848 Current children cumulated CPU time (s) 357.35 Current children cumulated vsize (Kb) 12848 [startup+380.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) T 11868 11869 19818 0 -1 0 2827 0 0 0 36026 675 0 0 25 0 1 0 1859566104 13156352 2793 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3212 2793 566 18 0 3194 0 [pid=11869] vsize: 12848 Current children cumulated CPU time (s) 367.01 Current children cumulated vsize (Kb) 12848 [startup+390.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2827 0 0 0 36974 693 0 0 25 0 1 0 1859566104 13127680 2793 4294967295 134512640 134578447 3221224624 3221223456 134528533 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3205 2793 566 18 0 3187 0 [pid=11869] vsize: 12820 Current children cumulated CPU time (s) 376.67 Current children cumulated vsize (Kb) 12820 [startup+400.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2827 0 0 0 37925 710 0 0 25 0 1 0 1859566104 13107200 2793 4294967295 134512640 134578447 3221224624 3221223376 134528869 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3200 2793 566 18 0 3182 0 [pid=11869] vsize: 12800 Current children cumulated CPU time (s) 386.35 Current children cumulated vsize (Kb) 12800 [startup+410.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2827 0 0 0 38867 730 0 0 25 0 1 0 1859566104 13107200 2793 4294967295 134512640 134578447 3221224624 3221223456 134528522 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3200 2793 566 18 0 3182 0 [pid=11869] vsize: 12800 Current children cumulated CPU time (s) 395.97 Current children cumulated vsize (Kb) 12800 [startup+420.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2887 0 0 0 39807 752 0 0 25 0 1 0 1859566104 13377536 2853 4294967295 134512640 134578447 3221224624 3221223376 134528938 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3266 2853 566 18 0 3248 0 [pid=11869] vsize: 13064 Current children cumulated CPU time (s) 405.59 Current children cumulated vsize (Kb) 13064 [startup+430.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2900 0 0 0 40752 772 0 0 25 0 1 0 1859566104 13377536 2866 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3266 2866 566 18 0 3248 0 [pid=11869] vsize: 13064 Current children cumulated CPU time (s) 415.24 Current children cumulated vsize (Kb) 13064 [startup+440.033 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2926 0 0 0 41700 789 0 0 25 0 1 0 1859566104 13508608 2892 4294967295 134512640 134578447 3221224624 3221223296 134523410 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3298 2892 566 18 0 3280 0 [pid=11869] vsize: 13192 Current children cumulated CPU time (s) 424.89 Current children cumulated vsize (Kb) 13192 [startup+450.033 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2971 0 0 0 42646 809 0 0 25 0 1 0 1859566104 13766656 2937 4294967295 134512640 134578447 3221224624 3221223488 134517860 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3361 2937 566 18 0 3343 0 [pid=11869] vsize: 13444 Current children cumulated CPU time (s) 434.55 Current children cumulated vsize (Kb) 13444 [startup+460.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 2971 0 0 0 43596 827 0 0 25 0 1 0 1859566104 13721600 2937 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3350 2937 566 18 0 3332 0 [pid=11869] vsize: 13400 Current children cumulated CPU time (s) 444.23 Current children cumulated vsize (Kb) 13400 [startup+470.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3029 0 0 0 44549 842 0 0 25 0 1 0 1859566104 13975552 2995 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3412 2995 566 18 0 3394 0 [pid=11869] vsize: 13648 Current children cumulated CPU time (s) 453.91 Current children cumulated vsize (Kb) 13648 [startup+480.036 s] Raw data (loadavg): 1.00 1.00 0.93 3/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3040 0 0 0 45504 857 0 0 25 0 1 0 1859566104 13975552 3006 4294967295 134512640 134578447 3221224624 3221223376 134528924 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3412 3006 566 18 0 3394 0 [pid=11869] vsize: 13648 Current children cumulated CPU time (s) 463.61 Current children cumulated vsize (Kb) 13648 [startup+490.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3040 0 0 0 46458 872 0 0 25 0 1 0 1859566104 13975552 3006 4294967295 134512640 134578447 3221224624 3221223456 134527302 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3412 3006 566 18 0 3394 0 [pid=11869] vsize: 13648 Current children cumulated CPU time (s) 473.3 Current children cumulated vsize (Kb) 13648 [startup+500.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3040 0 0 0 47404 890 0 0 25 0 1 0 1859566104 13975552 3006 4294967295 134512640 134578447 3221224624 3221223520 134519893 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3412 3006 566 18 0 3394 0 [pid=11869] vsize: 13648 Current children cumulated CPU time (s) 482.94 Current children cumulated vsize (Kb) 13648 [startup+510.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3040 0 0 0 48355 907 0 0 25 0 1 0 1859566104 13959168 3006 4294967295 134512640 134578447 3221224624 3221223228 1075288830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3408 3006 566 18 0 3390 0 [pid=11869] vsize: 13632 Current children cumulated CPU time (s) 492.62 Current children cumulated vsize (Kb) 13632 [startup+520.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3040 0 0 0 49310 923 0 0 25 0 1 0 1859566104 13955072 3006 4294967295 134512640 134578447 3221224624 3221223472 134520245 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3407 3006 566 18 0 3389 0 [pid=11869] vsize: 13628 Current children cumulated CPU time (s) 502.33 Current children cumulated vsize (Kb) 13628 [startup+530.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3040 0 0 0 50264 939 0 0 25 0 1 0 1859566104 13955072 3006 4294967295 134512640 134578447 3221224624 3221223456 134528576 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3407 3006 566 18 0 3389 0 [pid=11869] vsize: 13628 Current children cumulated CPU time (s) 512.03 Current children cumulated vsize (Kb) 13628 [startup+540.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3040 0 0 0 51217 956 0 0 25 0 1 0 1859566104 13955072 3006 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3407 3006 566 18 0 3389 0 [pid=11869] vsize: 13628 Current children cumulated CPU time (s) 521.73 Current children cumulated vsize (Kb) 13628 [startup+550.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3043 0 0 0 52170 975 0 0 25 0 1 0 1859566104 13955072 3009 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3407 3009 566 18 0 3389 0 [pid=11869] vsize: 13628 Current children cumulated CPU time (s) 531.45 Current children cumulated vsize (Kb) 13628 [startup+560.039 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) T 11868 11869 19818 0 -1 0 3059 0 0 0 53122 991 0 0 25 0 1 0 1859566104 14086144 3025 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3439 3025 566 18 0 3421 0 [pid=11869] vsize: 13756 Current children cumulated CPU time (s) 541.13 Current children cumulated vsize (Kb) 13756 [startup+570.039 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) T 11868 11869 19818 0 -1 0 3059 0 0 0 54076 1007 0 0 25 0 1 0 1859566104 14086144 3025 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3439 3025 566 18 0 3421 0 [pid=11869] vsize: 13756 Current children cumulated CPU time (s) 550.83 Current children cumulated vsize (Kb) 13756 [startup+580.04 s] Raw data (loadavg): 1.08 1.02 0.94 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3059 0 0 0 55031 1023 0 0 25 0 1 0 1859566104 14086144 3025 4294967295 134512640 134578447 3221224624 3221223536 134556858 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3439 3025 566 18 0 3421 0 [pid=11869] vsize: 13756 Current children cumulated CPU time (s) 560.54 Current children cumulated vsize (Kb) 13756 [startup+590.041 s] Raw data (loadavg): 1.07 1.02 0.94 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3059 0 0 0 55992 1037 0 0 25 0 1 0 1859566104 14086144 3025 4294967295 134512640 134578447 3221224624 3221223456 134558386 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3439 3025 566 18 0 3421 0 [pid=11869] vsize: 13756 Current children cumulated CPU time (s) 570.29 Current children cumulated vsize (Kb) 13756 [startup+600.04 s] Raw data (loadavg): 1.06 1.01 0.94 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3059 0 0 0 56944 1053 0 0 25 0 1 0 1859566104 14086144 3025 4294967295 134512640 134578447 3221224624 3221223488 134527833 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3439 3025 566 18 0 3421 0 [pid=11869] vsize: 13756 Current children cumulated CPU time (s) 579.97 Current children cumulated vsize (Kb) 13756 [startup+610.041 s] Raw data (loadavg): 1.05 1.01 0.94 1/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) T 11868 11869 19818 0 -1 0 3059 0 0 0 57901 1066 0 0 25 0 1 0 1859566104 14086144 3025 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3439 3025 566 18 0 3421 0 [pid=11869] vsize: 13756 Current children cumulated CPU time (s) 589.67 Current children cumulated vsize (Kb) 13756 [startup+620.042 s] Raw data (loadavg): 1.04 1.01 0.94 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3072 0 0 0 58856 1083 0 0 25 0 1 0 1859566104 14086144 3038 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3439 3038 566 18 0 3421 0 [pid=11869] vsize: 13756 Current children cumulated CPU time (s) 599.39 Current children cumulated vsize (Kb) 13756 [startup+630.045 s] Raw data (loadavg): 1.03 1.01 0.94 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) T 11868 11869 19818 0 -1 0 3072 0 0 0 59814 1099 0 0 25 0 1 0 1859566104 14086144 3038 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434789 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3439 3038 566 18 0 3421 0 [pid=11869] vsize: 13756 Current children cumulated CPU time (s) 609.13 Current children cumulated vsize (Kb) 13756 [startup+640.045 s] Raw data (loadavg): 1.03 1.01 0.94 1/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) T 11868 11869 19818 0 -1 0 3169 0 0 0 60757 1119 0 0 25 0 1 0 1859566104 14479360 3135 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3535 3135 566 18 0 3517 0 [pid=11869] vsize: 14140 Current children cumulated CPU time (s) 618.76 Current children cumulated vsize (Kb) 14140 [startup+650.045 s] Raw data (loadavg): 1.10 1.03 0.94 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3271 0 0 0 61710 1134 0 0 25 0 1 0 1859566104 14876672 3237 4294967295 134512640 134578447 3221224624 3221223376 134528897 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3632 3237 566 18 0 3614 0 [pid=11869] vsize: 14528 Current children cumulated CPU time (s) 628.44 Current children cumulated vsize (Kb) 14528 [startup+660.046 s] Raw data (loadavg): 1.08 1.03 0.94 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3354 0 0 0 62663 1153 0 0 25 0 1 0 1859566104 15265792 3320 4294967295 134512640 134578447 3221224624 3221223504 134527768 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3727 3320 566 18 0 3709 0 [pid=11869] vsize: 14908 Current children cumulated CPU time (s) 638.16 Current children cumulated vsize (Kb) 14908 [startup+670.046 s] Raw data (loadavg): 1.07 1.02 0.94 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3413 0 0 0 63620 1169 0 0 25 0 1 0 1859566104 15527936 3379 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3791 3379 566 18 0 3773 0 [pid=11869] vsize: 15164 Current children cumulated CPU time (s) 647.89 Current children cumulated vsize (Kb) 15164 [startup+680.047 s] Raw data (loadavg): 1.13 1.04 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3413 0 0 0 64574 1184 0 0 25 0 1 0 1859566104 15527936 3379 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3791 3379 566 18 0 3773 0 [pid=11869] vsize: 15164 Current children cumulated CPU time (s) 657.58 Current children cumulated vsize (Kb) 15164 [startup+690.046 s] Raw data (loadavg): 1.11 1.04 0.95 1/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) T 11868 11869 19818 0 -1 0 3413 0 0 0 65524 1200 0 0 25 0 1 0 1859566104 15527936 3379 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3791 3379 566 18 0 3773 0 [pid=11869] vsize: 15164 Current children cumulated CPU time (s) 667.24 Current children cumulated vsize (Kb) 15164 [startup+700.046 s] Raw data (loadavg): 1.09 1.04 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3413 0 0 0 66479 1215 0 0 25 0 1 0 1859566104 15527936 3379 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3791 3379 566 18 0 3773 0 [pid=11869] vsize: 15164 Current children cumulated CPU time (s) 676.94 Current children cumulated vsize (Kb) 15164 [startup+710.047 s] Raw data (loadavg): 1.15 1.05 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3413 0 0 0 67429 1234 0 0 25 0 1 0 1859566104 15527936 3379 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3791 3379 566 18 0 3773 0 [pid=11869] vsize: 15164 Current children cumulated CPU time (s) 686.63 Current children cumulated vsize (Kb) 15164 [startup+720.047 s] Raw data (loadavg): 1.13 1.05 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3413 0 0 0 68386 1249 0 0 25 0 1 0 1859566104 15527936 3379 4294967295 134512640 134578447 3221224624 3221223688 1075422321 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3791 3379 566 18 0 3773 0 [pid=11869] vsize: 15164 Current children cumulated CPU time (s) 696.35 Current children cumulated vsize (Kb) 15164 [startup+730.048 s] Raw data (loadavg): 1.11 1.05 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 69343 1264 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 706.07 Current children cumulated vsize (Kb) 15292 [startup+740.048 s] Raw data (loadavg): 1.09 1.04 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 70299 1280 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 715.79 Current children cumulated vsize (Kb) 15292 [startup+750.048 s] Raw data (loadavg): 1.08 1.04 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 71253 1297 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 725.5 Current children cumulated vsize (Kb) 15292 [startup+760.049 s] Raw data (loadavg): 1.06 1.04 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 72211 1312 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 735.23 Current children cumulated vsize (Kb) 15292 [startup+770.05 s] Raw data (loadavg): 1.05 1.04 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 73166 1327 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223504 134518709 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 744.93 Current children cumulated vsize (Kb) 15292 [startup+780.05 s] Raw data (loadavg): 1.05 1.04 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 74118 1344 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 754.62 Current children cumulated vsize (Kb) 15292 [startup+790.05 s] Raw data (loadavg): 1.04 1.03 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 75075 1360 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 764.35 Current children cumulated vsize (Kb) 15292 [startup+800.051 s] Raw data (loadavg): 1.03 1.03 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 76031 1375 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223456 134528399 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 774.06 Current children cumulated vsize (Kb) 15292 [startup+810.052 s] Raw data (loadavg): 1.03 1.03 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 76979 1396 0 0 18 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 783.75 Current children cumulated vsize (Kb) 15292 [startup+820.053 s] Raw data (loadavg): 1.02 1.03 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 77938 1409 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 793.47 Current children cumulated vsize (Kb) 15292 [startup+830.053 s] Raw data (loadavg): 1.02 1.03 0.95 1/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) T 11868 11869 19818 0 -1 0 3461 0 0 0 78897 1425 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 803.22 Current children cumulated vsize (Kb) 15292 [startup+840.054 s] Raw data (loadavg): 1.02 1.03 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 79856 1438 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223488 134517848 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 812.94 Current children cumulated vsize (Kb) 15292 [startup+850.054 s] Raw data (loadavg): 1.01 1.03 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 80810 1454 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223428 134528630 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 822.64 Current children cumulated vsize (Kb) 15292 [startup+860.055 s] Raw data (loadavg): 1.01 1.02 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 81761 1472 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 832.33 Current children cumulated vsize (Kb) 15292 [startup+870.055 s] Raw data (loadavg): 1.01 1.02 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 82718 1487 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223476 134555845 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 842.05 Current children cumulated vsize (Kb) 15292 [startup+880.056 s] Raw data (loadavg): 1.01 1.02 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 83667 1503 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 851.7 Current children cumulated vsize (Kb) 15292 [startup+890.056 s] Raw data (loadavg): 1.00 1.02 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 84620 1519 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 861.39 Current children cumulated vsize (Kb) 15292 [startup+900.056 s] Raw data (loadavg): 1.00 1.02 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 85570 1536 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223664 134531684 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 871.06 Current children cumulated vsize (Kb) 15292 [startup+910.057 s] Raw data (loadavg): 1.00 1.02 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 86533 1547 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 880.8 Current children cumulated vsize (Kb) 15292 [startup+920.056 s] Raw data (loadavg): 1.00 1.02 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 87488 1561 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 890.49 Current children cumulated vsize (Kb) 15292 [startup+930.057 s] Raw data (loadavg): 1.00 1.02 0.95 1/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) T 11868 11869 19818 0 -1 0 3461 0 0 0 88442 1578 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 900.2 Current children cumulated vsize (Kb) 15292 [startup+940.058 s] Raw data (loadavg): 1.00 1.02 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 89390 1595 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 909.85 Current children cumulated vsize (Kb) 15292 [startup+950.058 s] Raw data (loadavg): 1.00 1.02 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 90343 1611 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 919.54 Current children cumulated vsize (Kb) 15292 [startup+960.058 s] Raw data (loadavg): 1.00 1.02 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 91292 1630 0 0 19 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 929.22 Current children cumulated vsize (Kb) 15292 [startup+970.058 s] Raw data (loadavg): 1.00 1.01 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3461 0 0 0 92242 1648 0 0 25 0 1 0 1859566104 15659008 3427 4294967295 134512640 134578447 3221224624 3221223488 134517700 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3823 3427 566 18 0 3805 0 [pid=11869] vsize: 15292 Current children cumulated CPU time (s) 938.9 Current children cumulated vsize (Kb) 15292 [startup+980.059 s] Raw data (loadavg): 1.00 1.01 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3509 0 0 0 93196 1664 0 0 25 0 1 0 1859566104 15921152 3475 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3887 3475 566 18 0 3869 0 [pid=11869] vsize: 15548 Current children cumulated CPU time (s) 948.6 Current children cumulated vsize (Kb) 15548 [startup+990.06 s] Raw data (loadavg): 1.00 1.01 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3595 0 0 0 94145 1682 0 0 25 0 1 0 1859566104 16310272 3561 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3982 3561 566 18 0 3964 0 [pid=11869] vsize: 15928 Current children cumulated CPU time (s) 958.27 Current children cumulated vsize (Kb) 15928 [startup+1000.06 s] Raw data (loadavg): 1.00 1.01 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3595 0 0 0 95094 1700 0 0 25 0 1 0 1859566104 16306176 3561 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3981 3561 566 18 0 3963 0 [pid=11869] vsize: 15924 Current children cumulated CPU time (s) 967.94 Current children cumulated vsize (Kb) 15924 [startup+1010.06 s] Raw data (loadavg): 1.00 1.01 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3595 0 0 0 96049 1716 0 0 25 0 1 0 1859566104 16048128 3523 4294967295 134512640 134578447 3221224624 3221223504 134531685 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3918 3523 566 18 0 3900 0 [pid=11869] vsize: 15672 Current children cumulated CPU time (s) 977.65 Current children cumulated vsize (Kb) 15672 [startup+1020.06 s] Raw data (loadavg): 1.00 1.01 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3626 0 0 0 96999 1733 0 0 25 0 1 0 1859566104 16179200 3554 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3950 3554 566 18 0 3932 0 [pid=11869] vsize: 15800 Current children cumulated CPU time (s) 987.32 Current children cumulated vsize (Kb) 15800 [startup+1030.06 s] Raw data (loadavg): 1.00 1.01 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3626 0 0 0 97946 1753 0 0 25 0 1 0 1859566104 16179200 3554 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3950 3554 566 18 0 3932 0 [pid=11869] vsize: 15800 Current children cumulated CPU time (s) 996.99 Current children cumulated vsize (Kb) 15800 [startup+1040.06 s] Raw data (loadavg): 1.00 1.01 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3626 0 0 0 98901 1769 0 0 25 0 1 0 1859566104 16179200 3554 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3950 3554 566 18 0 3932 0 [pid=11869] vsize: 15800 Current children cumulated CPU time (s) 1006.7 Current children cumulated vsize (Kb) 15800 [startup+1050.06 s] Raw data (loadavg): 1.00 1.01 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3626 0 0 0 99853 1786 0 0 25 0 1 0 1859566104 16179200 3554 4294967295 134512640 134578447 3221224624 3221223456 134528576 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3950 3554 566 18 0 3932 0 [pid=11869] vsize: 15800 Current children cumulated CPU time (s) 1016.39 Current children cumulated vsize (Kb) 15800 [startup+1060.06 s] Raw data (loadavg): 1.00 1.01 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3626 0 0 0 100804 1803 0 0 25 0 1 0 1859566104 16179200 3554 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3950 3554 566 18 0 3932 0 [pid=11869] vsize: 15800 Current children cumulated CPU time (s) 1026.07 Current children cumulated vsize (Kb) 15800 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3626 0 0 0 101759 1820 0 0 25 0 1 0 1859566104 16179200 3554 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 3950 3554 566 18 0 3932 0 [pid=11869] vsize: 15800 Current children cumulated CPU time (s) 1035.79 Current children cumulated vsize (Kb) 15800 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3626 0 0 0 102716 1836 0 0 19 0 1 0 1859566104 16179200 3554 4294967295 134512640 134578447 3221224624 3221223276 1075289689 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 3950 3554 566 18 0 3932 0 [pid=11869] vsize: 15800 Current children cumulated CPU time (s) 1045.52 Current children cumulated vsize (Kb) 15800 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3678 0 0 0 103673 1852 0 0 25 0 1 0 1859566104 16441344 3606 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 4014 3606 566 18 0 3996 0 [pid=11869] vsize: 16056 Current children cumulated CPU time (s) 1055.25 Current children cumulated vsize (Kb) 16056 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3678 0 0 0 104633 1866 0 0 25 0 1 0 1859566104 16441344 3606 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 4014 3606 566 18 0 3996 0 [pid=11869] vsize: 16056 Current children cumulated CPU time (s) 1064.99 Current children cumulated vsize (Kb) 16056 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3732 0 0 0 105590 1880 0 0 25 0 1 0 1859566104 16703488 3660 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 4078 3660 566 18 0 4060 0 [pid=11869] vsize: 16312 Current children cumulated CPU time (s) 1074.7 Current children cumulated vsize (Kb) 16312 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3732 0 0 0 106543 1897 0 0 25 0 1 0 1859566104 16703488 3660 4294967295 134512640 134578447 3221224624 3221223280 1075288520 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 4078 3660 566 18 0 4060 0 [pid=11869] vsize: 16312 Current children cumulated CPU time (s) 1084.4 Current children cumulated vsize (Kb) 16312 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3732 0 0 0 107500 1915 0 0 25 0 1 0 1859566104 16695296 3660 4294967295 134512640 134578447 3221224624 3221223376 134528924 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 4076 3660 566 18 0 4058 0 [pid=11869] vsize: 16304 Current children cumulated CPU time (s) 1094.15 Current children cumulated vsize (Kb) 16304 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) T 11868 11869 19818 0 -1 0 3732 0 0 0 108453 1931 0 0 25 0 1 0 1859566104 16695296 3660 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/11869/statm): 4076 3660 566 18 0 4058 0 [pid=11869] vsize: 16304 Current children cumulated CPU time (s) 1103.84 Current children cumulated vsize (Kb) 16304 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3732 0 0 0 109410 1946 0 0 25 0 1 0 1859566104 16695296 3660 4294967295 134512640 134578447 3221224624 3221223404 134528802 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 4076 3660 566 18 0 4058 0 [pid=11869] vsize: 16304 Current children cumulated CPU time (s) 1113.56 Current children cumulated vsize (Kb) 16304 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 0.95 1/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) T 11868 11869 19818 0 -1 0 3732 0 0 0 110370 1961 0 0 25 0 1 0 1859566104 16695296 3660 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/11869/statm): 4076 3660 566 18 0 4058 0 [pid=11869] vsize: 16304 Current children cumulated CPU time (s) 1123.31 Current children cumulated vsize (Kb) 16304 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3732 0 0 0 111328 1976 0 0 25 0 1 0 1859566104 16695296 3660 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 4076 3660 566 18 0 4058 0 [pid=11869] vsize: 16304 Current children cumulated CPU time (s) 1133.04 Current children cumulated vsize (Kb) 16304 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3732 0 0 0 112293 1988 0 0 25 0 1 0 1859566104 16695296 3660 4294967295 134512640 134578447 3221224624 3221223536 134557429 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 4076 3660 566 18 0 4058 0 [pid=11869] vsize: 16304 Current children cumulated CPU time (s) 1142.81 Current children cumulated vsize (Kb) 16304 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3732 0 0 0 113243 2004 0 0 25 0 1 0 1859566104 16695296 3660 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 4076 3660 566 18 0 4058 0 [pid=11869] vsize: 16304 Current children cumulated CPU time (s) 1152.47 Current children cumulated vsize (Kb) 16304 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3732 0 0 0 114201 2019 0 0 25 0 1 0 1859566104 16695296 3660 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11869/statm): 4076 3660 566 18 0 4058 0 [pid=11869] vsize: 16304 Current children cumulated CPU time (s) 1162.2 Current children cumulated vsize (Kb) 16304 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3732 0 0 0 115162 2032 0 0 25 0 1 0 1859566104 16695296 3660 4294967295 134512640 134578447 3221224624 3221223520 134519898 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 4076 3660 566 18 0 4058 0 [pid=11869] vsize: 16304 Current children cumulated CPU time (s) 1171.94 Current children cumulated vsize (Kb) 16304 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/56 11869 Raw data (/proc/11869/stat): 11869 (Pueblo) R 11868 11869 19818 0 -1 0 3732 0 0 0 116123 2045 0 0 25 0 1 0 1859566104 16695296 3660 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/11869/statm): 4076 3660 566 18 0 4058 0 [pid=11869] vsize: 16304 Current children cumulated CPU time (s) 1181.68 Current children cumulated vsize (Kb) 16304 One traced child (pid=11869) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1227.64 CPU time (s): 1189.02 CPU user time (s): 1168.47 CPU system time (s): 20.5469 CPU usage (%): 96.8544 Max. virtual memory (cumulated for all children) (Kb): 16312
Verifier: OK 16