Name | web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.opb |
MD5SUM | dd81121db7c1c4b8597dd9571c707a87 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 372 |
Biggest coefficient in the objective function | 220 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 983 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 220 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 983 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 19.3841 |
Number of variables | 372 |
Total number of constraints | 792 |
Number of constraints which are clauses | 345 |
Number of constraints which are cardinality constraints (but not clauses) | 447 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 18 |
LAUNCH ON wulflinc18 THE 2005-09-20 15:17:01 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5080 boxname=wulflinc18 idbench=392 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: dd81121db7c1c4b8597dd9571c707a87 /oldhome/oroussel/tmp/wulflinc18/normalized-10:10:4.5:0.5:100.opb REAL COMMAND: Pueblo IDLAUNCH: 5080 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 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.177 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: 867748 kB Buffers: 30492 kB Cached: 107880 kB SwapCached: 756 kB Active: 58840 kB Inactive: 82068 kB HighTotal: 131008 kB HighFree: 26740 kB LowTotal: 903652 kB LowFree: 841008 kB SwapTotal: 2097892 kB SwapFree: 2096536 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5780 kB Slab: 20412 kB Committed_AS: 64188 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 15:36:57 (client local time) WITH STATUS 10 IN 1189.01 SECONDS stats: 5080 0 1189.01 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: 372 - #constraints read: 793 c total time : 1189 s s SATISFIABLE v -v287 -v229 v148 -v112 v97 -v75 v45 -v23 -v285 -v270 -v233 v147 -v128 -v113 v44 -v28 -v269 -v232 -v196 v149 -v127 -v117 v98 -v79 v46 -v27 -v2 -v286 -v271 -v253 -v234 v195 -v166 -v152 v133 -v115 -v99 -v77 v47 -v7 -v291 -v272 -v252 -v238 v197 -v165 v151 v132 -v116 -v102 -v54 -v30 -v6 -v343 -v273 -v237 -v200 -v171 v156 v134 -v100 -v78 v48 -v31 -v342 -v280 -v254 -v235 v199 -v170 -v155 v138 -v101 -v82 -v49 -v34 v9 -v344 -v274 -v256 -v236 -v203 v172 -v153 v137 -v50 -v32 v10 -v345 -v275 -v201 v173 -v154 v135 -v33 v11 -v346 -v276 -v257 -v202 v174 v136 v12 -v305 -v288 v114 -v94 -v74 -v309 -v228 -v118 v96 -v22 -v292 -v230 v95 -v80 v57 -v24 -v290 -v248 -v231 v150 -v129 -v103 v58 -v29 -v1 -v283 -v247 -v242 v164 -v130 -v83 -v53 -v26 v3 -v284 v198 -v167 v160 v131 -v81 -v35 -v8 -v279 -v255 -v221 -v211 -v168 v159 v142 -v51 v5 -v258 -v207 v169 v13 -v349 -v277 -v259 -v206 -v188 v178 -v350 -v260 -v192 -v304 v289 v126 -v72 -v56 -v308 v293 v122 -v93 -v76 -v55 -v282 -v245 -v161 v121 v111 v73 -v281 -v246 -v163 v107 -v84 -v25 v360 -v241 -v217 -v208 -v145 v106 -v43 -v249 -v210 v146 -v39 v4 -v348 -v250 -v239 v220 -v181 v157 v141 -v52 -v38 -v21 -v347 -v251 -v182 v17 -v278 -v264 -v204 -v187 v177 -v158 v139 v16 -v191 v306 -v301 -v244 v125 v108 -v310 v297 -v243 -v162 v110 -v71 -v356 v296 -v144 v119 -v92 -v40 -v209 -v143 v88 -v42 v359 -v312 -v216 -v180 -v120 v104 v87 -v64 -v18 -v313 -v179 -v20 -v267 -v240 v222 -v105 -v36 -v268 -v336 -v263 -v205 -v189 v175 -v140 -v37 v14 v340 -v193 v307 -v300 v123 v109 -v89 -v311 -v91 -v41 -v355 -v315 v294 v213 -v60 -v314 -v19 v361 v295 -v266 -v218 v85 -v63 -v265 v184 v223 v183 v86 v364 -v335 -v261 -v190 v176 -v15 v339 -v194 v352 v303 -v298 v124 -v90 v302 -v357 v319 -v59 v212 v362 -v328 v214 -v65 -v219 v365 v363 v185 -v337 -v262 v186 -v68 v341 v322 -v299 v351 v323 v353 -v325 v318 -v61 -v358 -v327 v316 -v66 v366 -v332 v215 -v331 v227 -v69 -v67 -v338 v320 -v324 v354 -v62 -v329 v317 v224 v370 v226 -v70 v369 -v333 -v334 -v321 -v326 v225 -v330 -v367 -v368 -v371 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/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859516079 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1994/statm): 41 3 40 18 0 23 0 [pid=1994] 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.87 0.94 0.93 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 600 0 0 0 987 4 0 0 25 0 1 0 1859516079 3989504 566 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 974 566 566 18 0 956 0 [pid=1994] vsize: 3896 Current children cumulated CPU time (s) 9.91 Current children cumulated vsize (Kb) 3896 [startup+20.0044 s] Raw data (loadavg): 0.89 0.94 0.93 1/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) T 1993 1994 31027 0 -1 0 631 0 0 0 1977 9 0 0 25 0 1 0 1859516079 4091904 597 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/1994/statm): 999 597 566 18 0 981 0 [pid=1994] vsize: 3996 Current children cumulated CPU time (s) 19.86 Current children cumulated vsize (Kb) 3996 [startup+30.0053 s] Raw data (loadavg): 0.90 0.94 0.93 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 637 0 0 0 2967 12 0 0 25 0 1 0 1859516079 4091904 603 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 999 603 566 18 0 981 0 [pid=1994] vsize: 3996 Current children cumulated CPU time (s) 29.79 Current children cumulated vsize (Kb) 3996 [startup+40.0062 s] Raw data (loadavg): 0.92 0.95 0.93 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 662 0 0 0 3957 17 0 0 25 0 1 0 1859516079 4227072 628 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1032 628 566 18 0 1014 0 [pid=1994] vsize: 4128 Current children cumulated CPU time (s) 39.74 Current children cumulated vsize (Kb) 4128 [startup+50.0072 s] Raw data (loadavg): 0.93 0.95 0.93 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 689 0 0 0 4949 20 0 0 25 0 1 0 1859516079 4337664 655 4294967295 134512640 134578447 3221224624 3221223476 134555907 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1994/statm): 1059 655 566 18 0 1041 0 [pid=1994] vsize: 4236 Current children cumulated CPU time (s) 49.69 Current children cumulated vsize (Kb) 4236 [startup+60.0071 s] Raw data (loadavg): 0.94 0.95 0.93 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 695 0 0 0 5940 23 0 0 25 0 1 0 1859516079 4337664 661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1059 661 566 18 0 1041 0 [pid=1994] vsize: 4236 Current children cumulated CPU time (s) 59.63 Current children cumulated vsize (Kb) 4236 [startup+70.008 s] Raw data (loadavg): 1.02 0.96 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 752 0 0 0 6931 28 0 0 25 0 1 0 1859516079 4616192 718 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1127 718 566 18 0 1109 0 [pid=1994] vsize: 4508 Current children cumulated CPU time (s) 69.59 Current children cumulated vsize (Kb) 4508 [startup+80.0089 s] Raw data (loadavg): 1.02 0.97 0.94 1/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) T 1993 1994 31027 0 -1 0 759 0 0 0 7918 32 0 0 25 0 1 0 1859516079 4616192 725 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1127 725 566 18 0 1109 0 [pid=1994] vsize: 4508 Current children cumulated CPU time (s) 79.5 Current children cumulated vsize (Kb) 4508 [startup+90.0098 s] Raw data (loadavg): 1.02 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 779 0 0 0 8908 36 0 0 25 0 1 0 1859516079 4751360 745 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1160 745 566 18 0 1142 0 [pid=1994] vsize: 4640 Current children cumulated CPU time (s) 89.44 Current children cumulated vsize (Kb) 4640 [startup+100.01 s] Raw data (loadavg): 1.01 0.97 0.94 1/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) T 1993 1994 31027 0 -1 0 784 0 0 0 9899 40 0 0 25 0 1 0 1859516079 4751360 750 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1160 750 566 18 0 1142 0 [pid=1994] vsize: 4640 Current children cumulated CPU time (s) 99.39 Current children cumulated vsize (Kb) 4640 [startup+110.01 s] Raw data (loadavg): 1.01 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 784 0 0 0 10890 43 0 0 25 0 1 0 1859516079 4751360 750 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1160 750 566 18 0 1142 0 [pid=1994] vsize: 4640 Current children cumulated CPU time (s) 109.33 Current children cumulated vsize (Kb) 4640 [startup+120.011 s] Raw data (loadavg): 1.01 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 784 0 0 0 11883 45 0 0 25 0 1 0 1859516079 4751360 750 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1994/statm): 1160 750 566 18 0 1142 0 [pid=1994] vsize: 4640 Current children cumulated CPU time (s) 119.28 Current children cumulated vsize (Kb) 4640 [startup+130.011 s] Raw data (loadavg): 1.01 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 784 0 0 0 12875 48 0 0 25 0 1 0 1859516079 4751360 750 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1160 750 566 18 0 1142 0 [pid=1994] vsize: 4640 Current children cumulated CPU time (s) 129.23 Current children cumulated vsize (Kb) 4640 [startup+140.011 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 784 0 0 0 13866 51 0 0 25 0 1 0 1859516079 4751360 750 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1160 750 566 18 0 1142 0 [pid=1994] vsize: 4640 Current children cumulated CPU time (s) 139.17 Current children cumulated vsize (Kb) 4640 [startup+150.011 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 784 0 0 0 14857 55 0 0 25 0 1 0 1859516079 4751360 750 4294967295 134512640 134578447 3221224624 3221223476 134555907 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1160 750 566 18 0 1142 0 [pid=1994] vsize: 4640 Current children cumulated CPU time (s) 149.12 Current children cumulated vsize (Kb) 4640 [startup+160.011 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 813 0 0 0 15849 57 0 0 25 0 1 0 1859516079 4890624 779 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1194 779 566 18 0 1176 0 [pid=1994] vsize: 4776 Current children cumulated CPU time (s) 159.06 Current children cumulated vsize (Kb) 4776 [startup+170.012 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 824 0 0 0 16841 60 0 0 25 0 1 0 1859516079 4890624 790 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1194 790 566 18 0 1176 0 [pid=1994] vsize: 4776 Current children cumulated CPU time (s) 169.01 Current children cumulated vsize (Kb) 4776 [startup+180.013 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 858 0 0 0 17834 63 0 0 25 0 1 0 1859516079 4882432 799 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1192 799 566 18 0 1174 0 [pid=1994] vsize: 4768 Current children cumulated CPU time (s) 178.97 Current children cumulated vsize (Kb) 4768 [startup+190.014 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 891 0 0 0 18823 67 0 0 25 0 1 0 1859516079 5038080 810 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1230 810 566 18 0 1212 0 [pid=1994] vsize: 4920 Current children cumulated CPU time (s) 188.9 Current children cumulated vsize (Kb) 4920 [startup+200.014 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 891 0 0 0 19814 70 0 0 25 0 1 0 1859516079 4976640 810 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1215 810 566 18 0 1197 0 [pid=1994] vsize: 4860 Current children cumulated CPU time (s) 198.84 Current children cumulated vsize (Kb) 4860 [startup+210.014 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 905 0 0 0 20804 75 0 0 25 0 1 0 1859516079 5111808 824 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1248 824 566 18 0 1230 0 [pid=1994] vsize: 4992 Current children cumulated CPU time (s) 208.79 Current children cumulated vsize (Kb) 4992 [startup+220.015 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 905 0 0 0 21793 78 0 0 25 0 1 0 1859516079 5111808 824 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1248 824 566 18 0 1230 0 [pid=1994] vsize: 4992 Current children cumulated CPU time (s) 218.71 Current children cumulated vsize (Kb) 4992 [startup+230.015 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 905 0 0 0 22784 82 0 0 25 0 1 0 1859516079 5111808 824 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1248 824 566 18 0 1230 0 [pid=1994] vsize: 4992 Current children cumulated CPU time (s) 228.66 Current children cumulated vsize (Kb) 4992 [startup+240.016 s] Raw data (loadavg): 1.00 0.97 0.94 1/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) T 1993 1994 31027 0 -1 0 910 0 0 0 23776 86 0 0 25 0 1 0 1859516079 5111808 829 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1248 829 566 18 0 1230 0 [pid=1994] vsize: 4992 Current children cumulated CPU time (s) 238.62 Current children cumulated vsize (Kb) 4992 [startup+250.017 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 910 0 0 0 24769 88 0 0 25 0 1 0 1859516079 5111808 829 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1248 829 566 18 0 1230 0 [pid=1994] vsize: 4992 Current children cumulated CPU time (s) 248.57 Current children cumulated vsize (Kb) 4992 [startup+260.017 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 910 0 0 0 25762 91 0 0 25 0 1 0 1859516079 5111808 829 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1248 829 566 18 0 1230 0 [pid=1994] vsize: 4992 Current children cumulated CPU time (s) 258.53 Current children cumulated vsize (Kb) 4992 [startup+270.017 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 910 0 0 0 26756 93 0 0 25 0 1 0 1859516079 5111808 829 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1248 829 566 18 0 1230 0 [pid=1994] vsize: 4992 Current children cumulated CPU time (s) 268.49 Current children cumulated vsize (Kb) 4992 [startup+280.018 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 27746 96 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 278.42 Current children cumulated vsize (Kb) 4996 [startup+290.019 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 28739 99 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134518966 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 288.38 Current children cumulated vsize (Kb) 4996 [startup+300.019 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) T 1993 1994 31027 0 -1 0 938 0 0 0 29728 103 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 298.31 Current children cumulated vsize (Kb) 4996 [startup+310.019 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 30715 107 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 308.22 Current children cumulated vsize (Kb) 4996 [startup+320.02 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 31704 111 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 318.15 Current children cumulated vsize (Kb) 4996 [startup+330.02 s] Raw data (loadavg): 1.00 0.97 0.94 1/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) T 1993 1994 31027 0 -1 0 938 0 0 0 32695 115 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 328.1 Current children cumulated vsize (Kb) 4996 [startup+340.021 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 33685 119 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 338.04 Current children cumulated vsize (Kb) 4996 [startup+350.022 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 34677 122 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 347.99 Current children cumulated vsize (Kb) 4996 [startup+360.022 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 35667 126 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 357.93 Current children cumulated vsize (Kb) 4996 [startup+370.023 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 36661 127 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 367.88 Current children cumulated vsize (Kb) 4996 [startup+380.024 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 37656 129 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 377.85 Current children cumulated vsize (Kb) 4996 [startup+390.025 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 38651 131 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223584 134526683 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 387.82 Current children cumulated vsize (Kb) 4996 [startup+400.026 s] Raw data (loadavg): 1.00 0.97 0.94 1/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) T 1993 1994 31027 0 -1 0 938 0 0 0 39646 133 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 397.79 Current children cumulated vsize (Kb) 4996 [startup+410.025 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 40639 135 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 407.74 Current children cumulated vsize (Kb) 4996 [startup+420.027 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 41634 138 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 417.72 Current children cumulated vsize (Kb) 4996 [startup+430.027 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 42627 140 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 427.67 Current children cumulated vsize (Kb) 4996 [startup+440.028 s] Raw data (loadavg): 1.00 0.97 0.94 1/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) T 1993 1994 31027 0 -1 0 938 0 0 0 43618 144 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 437.62 Current children cumulated vsize (Kb) 4996 [startup+450.029 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 44611 147 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 447.58 Current children cumulated vsize (Kb) 4996 [startup+460.029 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 45602 150 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 457.52 Current children cumulated vsize (Kb) 4996 [startup+470.03 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 46593 154 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 467.47 Current children cumulated vsize (Kb) 4996 [startup+480.03 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 47586 157 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 477.43 Current children cumulated vsize (Kb) 4996 [startup+490.031 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 48580 159 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223536 134516820 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 487.39 Current children cumulated vsize (Kb) 4996 [startup+500.032 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 49572 161 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 497.33 Current children cumulated vsize (Kb) 4996 [startup+510.032 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 50565 165 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 507.3 Current children cumulated vsize (Kb) 4996 [startup+520.038 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 51558 168 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 517.26 Current children cumulated vsize (Kb) 4996 [startup+530.038 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 52552 171 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 527.23 Current children cumulated vsize (Kb) 4996 [startup+540.038 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 53545 174 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 537.19 Current children cumulated vsize (Kb) 4996 [startup+550.038 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 54538 177 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 547.15 Current children cumulated vsize (Kb) 4996 [startup+560.038 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 55528 181 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 557.09 Current children cumulated vsize (Kb) 4996 [startup+570.039 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 56523 183 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 567.06 Current children cumulated vsize (Kb) 4996 [startup+580.04 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 57512 186 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223692 134561235 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 576.98 Current children cumulated vsize (Kb) 4996 [startup+590.041 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 58503 189 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 586.92 Current children cumulated vsize (Kb) 4996 [startup+600.042 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 59487 195 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 596.82 Current children cumulated vsize (Kb) 4996 [startup+610.042 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 60475 200 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 606.75 Current children cumulated vsize (Kb) 4996 [startup+620.043 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 61465 203 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223368 1075285892 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 616.68 Current children cumulated vsize (Kb) 4996 [startup+630.044 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 62454 207 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 626.61 Current children cumulated vsize (Kb) 4996 [startup+640.045 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 63444 212 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527591 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 636.56 Current children cumulated vsize (Kb) 4996 [startup+650.045 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 938 0 0 0 64435 216 0 0 25 0 1 0 1859516079 5115904 856 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1249 856 566 18 0 1231 0 [pid=1994] vsize: 4996 Current children cumulated CPU time (s) 646.51 Current children cumulated vsize (Kb) 4996 [startup+660.045 s] Raw data (loadavg): 1.00 0.97 0.94 1/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) T 1993 1994 31027 0 -1 0 939 0 0 0 65421 221 0 0 25 0 1 0 1859516079 5238784 857 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1279 857 566 18 0 1261 0 [pid=1994] vsize: 5116 Current children cumulated CPU time (s) 656.42 Current children cumulated vsize (Kb) 5116 [startup+670.045 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 939 0 0 0 66411 225 0 0 25 0 1 0 1859516079 5238784 857 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1279 857 566 18 0 1261 0 [pid=1994] vsize: 5116 Current children cumulated CPU time (s) 666.36 Current children cumulated vsize (Kb) 5116 [startup+680.045 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 941 0 0 0 67401 229 0 0 25 0 1 0 1859516079 5238784 859 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1279 859 566 18 0 1261 0 [pid=1994] vsize: 5116 Current children cumulated CPU time (s) 676.3 Current children cumulated vsize (Kb) 5116 [startup+690.046 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 941 0 0 0 68389 233 0 0 25 0 1 0 1859516079 5238784 859 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1279 859 566 18 0 1261 0 [pid=1994] vsize: 5116 Current children cumulated CPU time (s) 686.22 Current children cumulated vsize (Kb) 5116 [startup+700.047 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 953 0 0 0 69380 236 0 0 25 0 1 0 1859516079 5238784 871 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1279 871 566 18 0 1261 0 [pid=1994] vsize: 5116 Current children cumulated CPU time (s) 696.16 Current children cumulated vsize (Kb) 5116 [startup+710.047 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 953 0 0 0 70368 242 0 0 25 0 1 0 1859516079 5238784 871 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1279 871 566 18 0 1261 0 [pid=1994] vsize: 5116 Current children cumulated CPU time (s) 706.1 Current children cumulated vsize (Kb) 5116 [startup+720.048 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 953 0 0 0 71358 246 0 0 25 0 1 0 1859516079 5238784 871 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1279 871 566 18 0 1261 0 [pid=1994] vsize: 5116 Current children cumulated CPU time (s) 716.04 Current children cumulated vsize (Kb) 5116 [startup+730.049 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 958 0 0 0 72347 250 0 0 25 0 1 0 1859516079 5238784 876 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1279 876 566 18 0 1261 0 [pid=1994] vsize: 5116 Current children cumulated CPU time (s) 725.97 Current children cumulated vsize (Kb) 5116 [startup+740.05 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 958 0 0 0 73334 254 0 0 25 0 1 0 1859516079 5238784 876 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1279 876 566 18 0 1261 0 [pid=1994] vsize: 5116 Current children cumulated CPU time (s) 735.88 Current children cumulated vsize (Kb) 5116 [startup+750.051 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 977 0 0 0 74325 257 0 0 25 0 1 0 1859516079 5373952 895 4294967295 134512640 134578447 3221224624 3221223504 134528161 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1312 895 566 18 0 1294 0 [pid=1994] vsize: 5248 Current children cumulated CPU time (s) 745.82 Current children cumulated vsize (Kb) 5248 [startup+760.051 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 977 0 0 0 75320 259 0 0 25 0 1 0 1859516079 5373952 895 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1312 895 566 18 0 1294 0 [pid=1994] vsize: 5248 Current children cumulated CPU time (s) 755.79 Current children cumulated vsize (Kb) 5248 [startup+770.052 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 999 0 0 0 76315 262 0 0 25 0 1 0 1859516079 5373952 917 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1312 917 566 18 0 1294 0 [pid=1994] vsize: 5248 Current children cumulated CPU time (s) 765.77 Current children cumulated vsize (Kb) 5248 [startup+780.052 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 999 0 0 0 77311 264 0 0 25 0 1 0 1859516079 5373952 917 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1312 917 566 18 0 1294 0 [pid=1994] vsize: 5248 Current children cumulated CPU time (s) 775.75 Current children cumulated vsize (Kb) 5248 [startup+790.053 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 78306 266 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 785.72 Current children cumulated vsize (Kb) 5372 [startup+800.053 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 79301 267 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 795.68 Current children cumulated vsize (Kb) 5372 [startup+810.053 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 80296 270 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 805.66 Current children cumulated vsize (Kb) 5372 [startup+820.054 s] Raw data (loadavg): 1.00 0.97 0.94 1/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) T 1993 1994 31027 0 -1 0 1004 0 0 0 81290 272 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 815.62 Current children cumulated vsize (Kb) 5372 [startup+830.054 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 82284 274 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 825.58 Current children cumulated vsize (Kb) 5372 [startup+840.055 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 83279 276 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 835.55 Current children cumulated vsize (Kb) 5372 [startup+850.055 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 84272 279 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 845.51 Current children cumulated vsize (Kb) 5372 [startup+860.055 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 85265 282 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 855.47 Current children cumulated vsize (Kb) 5372 [startup+870.056 s] Raw data (loadavg): 1.00 0.97 0.94 1/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) T 1993 1994 31027 0 -1 0 1004 0 0 0 86260 284 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 865.44 Current children cumulated vsize (Kb) 5372 [startup+880.057 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 87250 287 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 875.37 Current children cumulated vsize (Kb) 5372 [startup+890.058 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) T 1993 1994 31027 0 -1 0 1004 0 0 0 88243 290 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 885.33 Current children cumulated vsize (Kb) 5372 [startup+900.059 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 89239 292 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 895.31 Current children cumulated vsize (Kb) 5372 [startup+910.059 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 90232 295 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 905.27 Current children cumulated vsize (Kb) 5372 [startup+920.06 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) T 1993 1994 31027 0 -1 0 1004 0 0 0 91225 297 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 915.22 Current children cumulated vsize (Kb) 5372 [startup+930.059 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 92216 301 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 925.17 Current children cumulated vsize (Kb) 5372 [startup+940.06 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 93207 304 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527739 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 935.11 Current children cumulated vsize (Kb) 5372 [startup+950.061 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 94201 307 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 945.08 Current children cumulated vsize (Kb) 5372 [startup+960.061 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 95195 309 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 955.04 Current children cumulated vsize (Kb) 5372 [startup+970.062 s] Raw data (loadavg): 1.00 0.97 0.94 1/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) T 1993 1994 31027 0 -1 0 1004 0 0 0 96186 312 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 964.98 Current children cumulated vsize (Kb) 5372 [startup+980.063 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 97180 316 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 974.96 Current children cumulated vsize (Kb) 5372 [startup+990.064 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 98173 318 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 984.91 Current children cumulated vsize (Kb) 5372 [startup+1000.07 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 99168 321 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 994.89 Current children cumulated vsize (Kb) 5372 [startup+1010.06 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 100162 322 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 1004.84 Current children cumulated vsize (Kb) 5372 [startup+1020.06 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 101153 326 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 1014.79 Current children cumulated vsize (Kb) 5372 [startup+1030.06 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 102144 330 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 1024.74 Current children cumulated vsize (Kb) 5372 [startup+1040.07 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 103137 332 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 1034.69 Current children cumulated vsize (Kb) 5372 [startup+1050.07 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 104132 335 0 0 25 0 1 0 1859516079 5500928 922 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1994/statm): 1343 922 566 18 0 1325 0 [pid=1994] vsize: 5372 Current children cumulated CPU time (s) 1044.67 Current children cumulated vsize (Kb) 5372 [startup+1060.07 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 105123 338 0 0 25 0 1 0 1859516079 5496832 922 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1342 922 566 18 0 1324 0 [pid=1994] vsize: 5368 Current children cumulated CPU time (s) 1054.61 Current children cumulated vsize (Kb) 5368 [startup+1070.07 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 106117 341 0 0 25 0 1 0 1859516079 5496832 922 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1342 922 566 18 0 1324 0 [pid=1994] vsize: 5368 Current children cumulated CPU time (s) 1064.58 Current children cumulated vsize (Kb) 5368 [startup+1080.07 s] Raw data (loadavg): 1.00 0.97 0.94 1/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) T 1993 1994 31027 0 -1 0 1004 0 0 0 107109 343 0 0 25 0 1 0 1859516079 5496832 922 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1342 922 566 18 0 1324 0 [pid=1994] vsize: 5368 Current children cumulated CPU time (s) 1074.52 Current children cumulated vsize (Kb) 5368 [startup+1090.07 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) T 1993 1994 31027 0 -1 0 1004 0 0 0 108102 346 0 0 25 0 1 0 1859516079 5496832 922 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1342 922 566 18 0 1324 0 [pid=1994] vsize: 5368 Current children cumulated CPU time (s) 1084.48 Current children cumulated vsize (Kb) 5368 [startup+1100.07 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 109096 348 0 0 25 0 1 0 1859516079 5496832 922 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1342 922 566 18 0 1324 0 [pid=1994] vsize: 5368 Current children cumulated CPU time (s) 1094.44 Current children cumulated vsize (Kb) 5368 [startup+1110.07 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 110087 351 0 0 25 0 1 0 1859516079 5496832 922 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1342 922 566 18 0 1324 0 [pid=1994] vsize: 5368 Current children cumulated CPU time (s) 1104.38 Current children cumulated vsize (Kb) 5368 [startup+1120.07 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 111078 354 0 0 25 0 1 0 1859516079 5496832 922 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434789 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1342 922 566 18 0 1324 0 [pid=1994] vsize: 5368 Current children cumulated CPU time (s) 1114.32 Current children cumulated vsize (Kb) 5368 [startup+1130.07 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 112069 357 0 0 25 0 1 0 1859516079 5496832 922 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1342 922 566 18 0 1324 0 [pid=1994] vsize: 5368 Current children cumulated CPU time (s) 1124.26 Current children cumulated vsize (Kb) 5368 [startup+1140.07 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 113064 359 0 0 25 0 1 0 1859516079 5496832 922 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1342 922 566 18 0 1324 0 [pid=1994] vsize: 5368 Current children cumulated CPU time (s) 1134.23 Current children cumulated vsize (Kb) 5368 [startup+1150.07 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 114058 362 0 0 25 0 1 0 1859516079 5496832 922 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1342 922 566 18 0 1324 0 [pid=1994] vsize: 5368 Current children cumulated CPU time (s) 1144.2 Current children cumulated vsize (Kb) 5368 [startup+1160.07 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 115051 364 0 0 25 0 1 0 1859516079 5496832 922 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1342 922 566 18 0 1324 0 [pid=1994] vsize: 5368 Current children cumulated CPU time (s) 1154.15 Current children cumulated vsize (Kb) 5368 [startup+1170.07 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 116045 367 0 0 25 0 1 0 1859516079 5496832 922 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1342 922 566 18 0 1324 0 [pid=1994] vsize: 5368 Current children cumulated CPU time (s) 1164.12 Current children cumulated vsize (Kb) 5368 [startup+1180.07 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 117037 370 0 0 25 0 1 0 1859516079 5496832 922 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1342 922 566 18 0 1324 0 [pid=1994] vsize: 5368 Current children cumulated CPU time (s) 1174.07 Current children cumulated vsize (Kb) 5368 [startup+1190.07 s] Raw data (loadavg): 1.00 0.97 0.94 2/56 1994 Raw data (/proc/1994/stat): 1994 (Pueblo) R 1993 1994 31027 0 -1 0 1004 0 0 0 118030 373 0 0 25 0 1 0 1859516079 5496832 922 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1994/statm): 1342 922 566 18 0 1324 0 [pid=1994] vsize: 5368 Current children cumulated CPU time (s) 1184.03 Current children cumulated vsize (Kb) 5368 One traced child (pid=1994) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1195.07 CPU time (s): 1189.01 CPU user time (s): 1185.25 CPU system time (s): 3.75843 CPU usage (%): 99.4925 Max. virtual memory (cumulated for all children) (Kb): 5372
Verifier: OK 9