Name | web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb |
MD5SUM | 5d90b7cbb5bac2aa14257b9c5448f25d |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 304 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 173 |
Biggest coefficient in the objective function | 100 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 8448 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 100 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 8448 |
Number of bits of the biggest sum of numbers | 14 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 1.87471 |
Number of variables | 257 |
Total number of constraints | 353 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 353 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 44 |
LAUNCH ON wulflinc22 THE 2005-09-20 15:15:53 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5073 boxname=wulflinc22 idbench=385 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 5d90b7cbb5bac2aa14257b9c5448f25d /oldhome/oroussel/tmp/wulflinc22/normalized-ss97-6.opb REAL COMMAND: Pueblo IDLAUNCH: 5073 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 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: 822420 kB Buffers: 32972 kB Cached: 152252 kB SwapCached: 552 kB Active: 57104 kB Inactive: 130744 kB HighTotal: 131008 kB HighFree: 2548 kB LowTotal: 903652 kB LowFree: 819872 kB SwapTotal: 2097892 kB SwapFree: 2096768 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5836 kB Slab: 18728 kB Committed_AS: 64304 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 15:37:56 (client local time) WITH STATUS 10 IN 1189.01 SECONDS stats: 5073 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: 257 - #constraints read: 438 c total time : 1189 s s SATISFIABLE v -v133 -v177 v217 -v3 v179 -v7 -v8 -v96 -v184 v224 -v185 v225 -v10 -v98 -v142 -v186 v226 -v99 -v12 -v13 -v14 -v58 -v103 -v60 -v104 -v148 -v229 -v61 -v19 -v107 -v108 -v152 -v21 -v109 v153 -v110 -v154 -v111 -v191 v231 -v26 -v70 -v236 -v117 -v197 v237 -v198 v238 -v118 -v199 v239 -v163 -v120 -v201 v241 -v202 v242 -v121 -v203 v243 -v123 v167 v205 -v245 v124 -v246 -v37 -v125 v169 -v207 v247 -v126 -v248 -v39 -v171 -v249 -v212 v252 -v129 -v213 v253 -v130 -v214 v254 -v131 -v215 v255 -v132 v256 -v1 -v45 v89 -v90 -v178 -v47 -v219 -v221 -v223 -v52 v140 -v11 -v55 v143 -v227 -v56 -v144 -v228 -v57 -v145 -v102 v146 -v15 -v147 -v17 -v149 v18 -v62 -v106 -v150 -v151 -v65 -v23 v67 -v155 v24 -v68 -v112 -v156 -v190 v230 -v158 -v232 -v233 -v234 -v235 -v29 v73 -v161 v30 -v74 -v162 -v75 -v119 -v240 -v32 v76 -v164 -v33 -v165 -v34 -v78 -v244 -v79 -v80 -v168 -v81 -v38 v82 -v170 -v83 v127 v41 -v85 -v173 v42 -v86 -v174 -v43 v87 -v175 -v176 -v216 one -v2 -v4 -v5 -v6 -v9 v16 -v20 v22 -v25 -v27 -v28 v31 -v35 -v36 -v40 -v44 v46 -v48 -v49 -v50 -v51 -v53 v54 v59 v63 v64 -v66 -v69 -v71 -v72 v77 -v84 v88 v91 v92 v93 v94 -v95 -v97 v100 v101 v105 -v113 v114 -v115 -v116 -v122 v128 -v134 -v135 -v136 -v137 -v138 v139 v141 v157 v159 v160 v166 -v172 -v180 v181 -v182 v183 v187 v188 v189 v192 v193 v194 v195 v196 v200 v204 v206 v208 v209 -v210 v211 v218 v220 v222 v250 -v251
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/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859543877 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 41 3 40 18 0 23 0 [pid=23316] 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.0035 s] Raw data (loadavg): 0.87 0.97 0.99 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 370 0 0 0 823 58 0 0 23 0 1 0 1859543877 3043328 336 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 743 336 566 18 0 725 0 [pid=23316] vsize: 2972 Current children cumulated CPU time (s) 8.81 Current children cumulated vsize (Kb) 2972 [startup+20.0042 s] Raw data (loadavg): 0.89 0.97 0.99 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 383 0 0 0 1655 120 0 0 25 0 1 0 1859543877 3043328 349 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 743 349 566 18 0 725 0 [pid=23316] vsize: 2972 Current children cumulated CPU time (s) 17.75 Current children cumulated vsize (Kb) 2972 [startup+30.0049 s] Raw data (loadavg): 0.91 0.97 0.99 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 392 0 0 0 2487 178 0 0 23 0 1 0 1859543877 3170304 358 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 774 358 566 18 0 756 0 [pid=23316] vsize: 3096 Current children cumulated CPU time (s) 26.65 Current children cumulated vsize (Kb) 3096 [startup+40.0056 s] Raw data (loadavg): 0.92 0.97 0.99 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 401 0 0 0 3311 243 0 0 24 0 1 0 1859543877 3170304 367 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 774 367 566 18 0 756 0 [pid=23316] vsize: 3096 Current children cumulated CPU time (s) 35.54 Current children cumulated vsize (Kb) 3096 [startup+50.0064 s] Raw data (loadavg): 0.93 0.97 0.99 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 404 0 0 0 4151 297 0 0 25 0 1 0 1859543877 3170304 370 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 774 370 566 18 0 756 0 [pid=23316] vsize: 3096 Current children cumulated CPU time (s) 44.48 Current children cumulated vsize (Kb) 3096 [startup+60.0071 s] Raw data (loadavg): 0.94 0.97 0.99 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 412 0 0 0 4986 355 0 0 24 0 1 0 1859543877 3170304 378 4294967295 134512640 134578447 3221224624 3221223348 1075288187 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 774 378 566 18 0 756 0 [pid=23316] vsize: 3096 Current children cumulated CPU time (s) 53.41 Current children cumulated vsize (Kb) 3096 [startup+70.0078 s] Raw data (loadavg): 0.95 0.97 0.99 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 418 0 0 0 5827 409 0 0 25 0 1 0 1859543877 3301376 384 4294967295 134512640 134578447 3221224624 3221223584 134558777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 806 384 566 18 0 788 0 [pid=23316] vsize: 3224 Current children cumulated CPU time (s) 62.36 Current children cumulated vsize (Kb) 3224 [startup+80.0085 s] Raw data (loadavg): 1.04 0.99 0.99 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 423 0 0 0 6668 459 0 0 24 0 1 0 1859543877 3301376 389 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 806 389 566 18 0 788 0 [pid=23316] vsize: 3224 Current children cumulated CPU time (s) 71.27 Current children cumulated vsize (Kb) 3224 [startup+90.0082 s] Raw data (loadavg): 1.03 0.99 0.99 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 428 0 0 0 7504 513 0 0 24 0 1 0 1859543877 3301376 394 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 806 394 566 18 0 788 0 [pid=23316] vsize: 3224 Current children cumulated CPU time (s) 80.17 Current children cumulated vsize (Kb) 3224 [startup+100.009 s] Raw data (loadavg): 1.03 0.99 0.99 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 435 0 0 0 8333 572 0 0 24 0 1 0 1859543877 3301376 401 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 806 401 566 18 0 788 0 [pid=23316] vsize: 3224 Current children cumulated CPU time (s) 89.05 Current children cumulated vsize (Kb) 3224 [startup+110.01 s] Raw data (loadavg): 1.02 0.99 0.99 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 435 0 0 0 9151 634 0 0 23 0 1 0 1859543877 3301376 401 4294967295 134512640 134578447 3221224624 3221223552 134531684 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 806 401 566 18 0 788 0 [pid=23316] vsize: 3224 Current children cumulated CPU time (s) 97.85 Current children cumulated vsize (Kb) 3224 [startup+120.01 s] Raw data (loadavg): 1.02 0.99 0.99 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 440 0 0 0 9987 692 0 0 25 0 1 0 1859543877 3301376 406 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 806 406 566 18 0 788 0 [pid=23316] vsize: 3224 Current children cumulated CPU time (s) 106.79 Current children cumulated vsize (Kb) 3224 [startup+130.011 s] Raw data (loadavg): 1.02 0.99 0.99 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 440 0 0 0 10822 747 0 0 23 0 1 0 1859543877 3301376 406 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 806 406 566 18 0 788 0 [pid=23316] vsize: 3224 Current children cumulated CPU time (s) 115.69 Current children cumulated vsize (Kb) 3224 [startup+140.012 s] Raw data (loadavg): 1.01 0.99 0.99 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 452 0 0 0 11652 806 0 0 25 0 1 0 1859543877 3428352 418 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 837 418 566 18 0 819 0 [pid=23316] vsize: 3348 Current children cumulated CPU time (s) 124.58 Current children cumulated vsize (Kb) 3348 [startup+150.012 s] Raw data (loadavg): 1.01 0.99 0.99 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 452 0 0 0 12498 861 0 0 23 0 1 0 1859543877 3428352 418 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 837 418 566 18 0 819 0 [pid=23316] vsize: 3348 Current children cumulated CPU time (s) 133.59 Current children cumulated vsize (Kb) 3348 [startup+160.013 s] Raw data (loadavg): 1.01 0.99 0.99 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 453 0 0 0 13337 918 0 0 24 0 1 0 1859543877 3428352 419 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 837 419 566 18 0 819 0 [pid=23316] vsize: 3348 Current children cumulated CPU time (s) 142.55 Current children cumulated vsize (Kb) 3348 [startup+170.013 s] Raw data (loadavg): 1.01 0.99 0.99 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 453 0 0 0 14168 977 0 0 23 0 1 0 1859543877 3428352 419 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 837 419 566 18 0 819 0 [pid=23316] vsize: 3348 Current children cumulated CPU time (s) 151.45 Current children cumulated vsize (Kb) 3348 [startup+180.014 s] Raw data (loadavg): 1.00 0.99 0.99 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 453 0 0 0 15016 1027 0 0 25 0 1 0 1859543877 3428352 419 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 837 419 566 18 0 819 0 [pid=23316] vsize: 3348 Current children cumulated CPU time (s) 160.43 Current children cumulated vsize (Kb) 3348 [startup+190.014 s] Raw data (loadavg): 1.08 1.00 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 455 0 0 0 15864 1079 0 0 25 0 1 0 1859543877 3428352 421 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 837 421 566 18 0 819 0 [pid=23316] vsize: 3348 Current children cumulated CPU time (s) 169.43 Current children cumulated vsize (Kb) 3348 [startup+200.015 s] Raw data (loadavg): 1.07 1.00 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 463 0 0 0 16684 1141 0 0 23 0 1 0 1859543877 3428352 429 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 837 429 566 18 0 819 0 [pid=23316] vsize: 3348 Current children cumulated CPU time (s) 178.25 Current children cumulated vsize (Kb) 3348 [startup+210.015 s] Raw data (loadavg): 1.06 1.00 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 465 0 0 0 17507 1205 0 0 24 0 1 0 1859543877 3428352 431 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 837 431 566 18 0 819 0 [pid=23316] vsize: 3348 Current children cumulated CPU time (s) 187.12 Current children cumulated vsize (Kb) 3348 [startup+220.015 s] Raw data (loadavg): 1.05 1.00 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 465 0 0 0 18338 1259 0 0 23 0 1 0 1859543877 3428352 431 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 837 431 566 18 0 819 0 [pid=23316] vsize: 3348 Current children cumulated CPU time (s) 195.97 Current children cumulated vsize (Kb) 3348 [startup+230.016 s] Raw data (loadavg): 1.04 1.00 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 468 0 0 0 19179 1313 0 0 25 0 1 0 1859543877 3428352 434 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 837 434 566 18 0 819 0 [pid=23316] vsize: 3348 Current children cumulated CPU time (s) 204.92 Current children cumulated vsize (Kb) 3348 [startup+240.016 s] Raw data (loadavg): 1.04 1.00 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 469 0 0 0 20034 1362 0 0 25 0 1 0 1859543877 3428352 435 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 837 435 566 18 0 819 0 [pid=23316] vsize: 3348 Current children cumulated CPU time (s) 213.96 Current children cumulated vsize (Kb) 3348 [startup+250.018 s] Raw data (loadavg): 1.03 1.00 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 471 0 0 0 20877 1419 0 0 25 0 1 0 1859543877 3428352 437 4294967295 134512640 134578447 3221224624 3221223456 134528513 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 837 437 566 18 0 819 0 [pid=23316] vsize: 3348 Current children cumulated CPU time (s) 222.96 Current children cumulated vsize (Kb) 3348 [startup+260.018 s] Raw data (loadavg): 1.02 1.00 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 471 0 0 0 21713 1477 0 0 24 0 1 0 1859543877 3428352 437 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 837 437 566 18 0 819 0 [pid=23316] vsize: 3348 Current children cumulated CPU time (s) 231.9 Current children cumulated vsize (Kb) 3348 [startup+270.018 s] Raw data (loadavg): 1.02 1.00 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 473 0 0 0 22552 1534 0 0 25 0 1 0 1859543877 3428352 439 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 837 439 566 18 0 819 0 [pid=23316] vsize: 3348 Current children cumulated CPU time (s) 240.86 Current children cumulated vsize (Kb) 3348 [startup+280.019 s] Raw data (loadavg): 1.02 1.00 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 473 0 0 0 23407 1587 0 0 25 0 1 0 1859543877 3428352 439 4294967295 134512640 134578447 3221224624 3221223476 134555800 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 837 439 566 18 0 819 0 [pid=23316] vsize: 3348 Current children cumulated CPU time (s) 249.94 Current children cumulated vsize (Kb) 3348 [startup+290.019 s] Raw data (loadavg): 1.01 1.00 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 474 0 0 0 24251 1641 0 0 25 0 1 0 1859543877 3428352 440 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 837 440 566 18 0 819 0 [pid=23316] vsize: 3348 Current children cumulated CPU time (s) 258.92 Current children cumulated vsize (Kb) 3348 [startup+300.02 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 474 0 0 0 25093 1700 0 0 25 0 1 0 1859543877 3428352 440 4294967295 134512640 134578447 3221224624 3221223460 1075285540 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 837 440 566 18 0 819 0 [pid=23316] vsize: 3348 Current children cumulated CPU time (s) 267.93 Current children cumulated vsize (Kb) 3348 [startup+310.021 s] Raw data (loadavg): 1.01 1.00 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 480 0 0 0 25934 1753 0 0 25 0 1 0 1859543877 3543040 446 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 865 446 566 18 0 847 0 [pid=23316] vsize: 3460 Current children cumulated CPU time (s) 276.87 Current children cumulated vsize (Kb) 3460 [startup+320.021 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 480 0 0 0 26770 1808 0 0 25 0 1 0 1859543877 3538944 446 4294967295 134512640 134578447 3221224624 3221223536 134557000 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 864 446 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 285.78 Current children cumulated vsize (Kb) 3456 [startup+330.022 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 480 0 0 0 27614 1864 0 0 25 0 1 0 1859543877 3538944 446 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 864 446 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 294.78 Current children cumulated vsize (Kb) 3456 [startup+340.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 480 0 0 0 28454 1922 0 0 25 0 1 0 1859543877 3538944 446 4294967295 134512640 134578447 3221224624 3221223456 134558415 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 864 446 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 303.76 Current children cumulated vsize (Kb) 3456 [startup+350.024 s] Raw data (loadavg): 1.08 1.02 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 480 0 0 0 29295 1977 0 0 25 0 1 0 1859543877 3538944 446 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 864 446 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 312.72 Current children cumulated vsize (Kb) 3456 [startup+360.024 s] Raw data (loadavg): 1.06 1.02 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 480 0 0 0 30137 2032 0 0 25 0 1 0 1859543877 3538944 446 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 864 446 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 321.69 Current children cumulated vsize (Kb) 3456 [startup+370.024 s] Raw data (loadavg): 1.05 1.01 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 481 0 0 0 30981 2084 0 0 25 0 1 0 1859543877 3538944 447 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 864 447 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 330.65 Current children cumulated vsize (Kb) 3456 [startup+380.025 s] Raw data (loadavg): 1.05 1.01 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 494 0 0 0 31822 2138 0 0 24 0 1 0 1859543877 3538944 460 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 864 460 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 339.6 Current children cumulated vsize (Kb) 3456 [startup+390.025 s] Raw data (loadavg): 1.04 1.01 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 495 0 0 0 32653 2196 0 0 24 0 1 0 1859543877 3538944 461 4294967295 134512640 134578447 3221224624 3221223376 134528938 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 864 461 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 348.49 Current children cumulated vsize (Kb) 3456 [startup+400.026 s] Raw data (loadavg): 1.03 1.01 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 495 0 0 0 33493 2253 0 0 25 0 1 0 1859543877 3538944 461 4294967295 134512640 134578447 3221224624 3221223476 134555702 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 864 461 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 357.46 Current children cumulated vsize (Kb) 3456 [startup+410.027 s] Raw data (loadavg): 1.03 1.01 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 496 0 0 0 34324 2315 0 0 24 0 1 0 1859543877 3538944 462 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 864 462 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 366.39 Current children cumulated vsize (Kb) 3456 [startup+420.027 s] Raw data (loadavg): 1.02 1.01 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 498 0 0 0 35166 2368 0 0 25 0 1 0 1859543877 3538944 464 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 864 464 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 375.34 Current children cumulated vsize (Kb) 3456 [startup+430.027 s] Raw data (loadavg): 1.02 1.01 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 498 0 0 0 35999 2425 0 0 24 0 1 0 1859543877 3538944 464 4294967295 134512640 134578447 3221224624 3221223228 1075288328 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 864 464 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 384.24 Current children cumulated vsize (Kb) 3456 [startup+440.028 s] Raw data (loadavg): 1.02 1.01 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 499 0 0 0 36827 2487 0 0 24 0 1 0 1859543877 3538944 465 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 864 465 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 393.14 Current children cumulated vsize (Kb) 3456 [startup+450.029 s] Raw data (loadavg): 1.01 1.01 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 499 0 0 0 37658 2545 0 0 22 0 1 0 1859543877 3538944 465 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 864 465 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 402.03 Current children cumulated vsize (Kb) 3456 [startup+460.029 s] Raw data (loadavg): 1.01 1.01 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 499 0 0 0 38491 2601 0 0 25 0 1 0 1859543877 3538944 465 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 864 465 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 410.92 Current children cumulated vsize (Kb) 3456 [startup+470.029 s] Raw data (loadavg): 1.01 1.00 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 500 0 0 0 39330 2655 0 0 25 0 1 0 1859543877 3538944 466 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 864 466 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 419.85 Current children cumulated vsize (Kb) 3456 [startup+480.03 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 500 0 0 0 40184 2705 0 0 25 0 1 0 1859543877 3538944 466 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 864 466 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 428.89 Current children cumulated vsize (Kb) 3456 [startup+490.031 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 500 0 0 0 41033 2759 0 0 25 0 1 0 1859543877 3538944 466 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 864 466 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 437.92 Current children cumulated vsize (Kb) 3456 [startup+500.031 s] Raw data (loadavg): 1.08 1.02 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 500 0 0 0 41882 2814 0 0 25 0 1 0 1859543877 3538944 466 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 864 466 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 446.96 Current children cumulated vsize (Kb) 3456 [startup+510.032 s] Raw data (loadavg): 1.15 1.03 1.01 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 500 0 0 0 42726 2869 0 0 25 0 1 0 1859543877 3538944 466 4294967295 134512640 134578447 3221224624 3221223520 134519944 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 864 466 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 455.95 Current children cumulated vsize (Kb) 3456 [startup+520.032 s] Raw data (loadavg): 1.12 1.03 1.01 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 500 0 0 0 43575 2921 0 0 25 0 1 0 1859543877 3538944 466 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 864 466 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 464.96 Current children cumulated vsize (Kb) 3456 [startup+530.037 s] Raw data (loadavg): 1.10 1.03 1.01 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 500 0 0 0 44428 2973 0 0 25 0 1 0 1859543877 3538944 466 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 864 466 566 18 0 846 0 [pid=23316] vsize: 3456 Current children cumulated CPU time (s) 474.01 Current children cumulated vsize (Kb) 3456 [startup+540.038 s] Raw data (loadavg): 1.09 1.03 1.01 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 511 0 0 0 45273 3028 0 0 25 0 1 0 1859543877 3670016 477 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 896 477 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 483.01 Current children cumulated vsize (Kb) 3584 [startup+550.039 s] Raw data (loadavg): 1.07 1.03 1.01 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 512 0 0 0 46131 3075 0 0 25 0 1 0 1859543877 3670016 478 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 896 478 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 492.06 Current children cumulated vsize (Kb) 3584 [startup+560.039 s] Raw data (loadavg): 1.06 1.03 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 513 0 0 0 46986 3125 0 0 25 0 1 0 1859543877 3670016 479 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 896 479 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 501.11 Current children cumulated vsize (Kb) 3584 [startup+570.039 s] Raw data (loadavg): 1.05 1.03 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 513 0 0 0 47841 3175 0 0 25 0 1 0 1859543877 3670016 479 4294967295 134512640 134578447 3221224624 3221223504 134527782 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23316/statm): 896 479 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 510.16 Current children cumulated vsize (Kb) 3584 [startup+580.04 s] Raw data (loadavg): 1.04 1.02 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 513 0 0 0 48699 3227 0 0 25 0 1 0 1859543877 3670016 479 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 896 479 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 519.26 Current children cumulated vsize (Kb) 3584 [startup+590.041 s] Raw data (loadavg): 1.04 1.02 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 515 0 0 0 49543 3281 0 0 25 0 1 0 1859543877 3670016 481 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 896 481 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 528.24 Current children cumulated vsize (Kb) 3584 [startup+600.041 s] Raw data (loadavg): 1.03 1.02 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 515 0 0 0 50384 3336 0 0 25 0 1 0 1859543877 3670016 481 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 896 481 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 537.2 Current children cumulated vsize (Kb) 3584 [startup+610.042 s] Raw data (loadavg): 1.02 1.02 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 515 0 0 0 51236 3386 0 0 25 0 1 0 1859543877 3670016 481 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 896 481 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 546.22 Current children cumulated vsize (Kb) 3584 [startup+620.043 s] Raw data (loadavg): 1.02 1.02 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 515 0 0 0 52088 3439 0 0 25 0 1 0 1859543877 3670016 481 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 896 481 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 555.27 Current children cumulated vsize (Kb) 3584 [startup+630.044 s] Raw data (loadavg): 1.02 1.02 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 515 0 0 0 52933 3493 0 0 25 0 1 0 1859543877 3670016 481 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 896 481 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 564.26 Current children cumulated vsize (Kb) 3584 [startup+640.044 s] Raw data (loadavg): 1.01 1.02 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 515 0 0 0 53772 3548 0 0 25 0 1 0 1859543877 3670016 481 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 896 481 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 573.2 Current children cumulated vsize (Kb) 3584 [startup+650.045 s] Raw data (loadavg): 1.01 1.02 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 515 0 0 0 54621 3602 0 0 25 0 1 0 1859543877 3670016 481 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 896 481 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 582.23 Current children cumulated vsize (Kb) 3584 [startup+660.047 s] Raw data (loadavg): 1.01 1.02 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 515 0 0 0 55475 3654 0 0 25 0 1 0 1859543877 3670016 481 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 896 481 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 591.29 Current children cumulated vsize (Kb) 3584 [startup+670.046 s] Raw data (loadavg): 1.08 1.03 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 515 0 0 0 56323 3706 0 0 25 0 1 0 1859543877 3670016 481 4294967295 134512640 134578447 3221224624 3221223488 134517566 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 896 481 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 600.29 Current children cumulated vsize (Kb) 3584 [startup+680.047 s] Raw data (loadavg): 1.07 1.03 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 516 0 0 0 57168 3759 0 0 25 0 1 0 1859543877 3670016 482 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 896 482 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 609.27 Current children cumulated vsize (Kb) 3584 [startup+690.048 s] Raw data (loadavg): 1.06 1.03 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 519 0 0 0 58014 3813 0 0 23 0 1 0 1859543877 3670016 485 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 896 485 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 618.27 Current children cumulated vsize (Kb) 3584 [startup+700.048 s] Raw data (loadavg): 1.05 1.03 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 519 0 0 0 58860 3867 0 0 25 0 1 0 1859543877 3670016 485 4294967295 134512640 134578447 3221224624 3221223376 134528840 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 896 485 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 627.27 Current children cumulated vsize (Kb) 3584 [startup+710.049 s] Raw data (loadavg): 1.04 1.03 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 521 0 0 0 59704 3921 0 0 25 0 1 0 1859543877 3670016 487 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 896 487 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 636.25 Current children cumulated vsize (Kb) 3584 [startup+720.05 s] Raw data (loadavg): 1.03 1.03 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 521 0 0 0 60553 3974 0 0 25 0 1 0 1859543877 3670016 487 4294967295 134512640 134578447 3221224624 3221223464 1075285089 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 896 487 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 645.27 Current children cumulated vsize (Kb) 3584 [startup+730.051 s] Raw data (loadavg): 1.03 1.02 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 521 0 0 0 61396 4028 0 0 25 0 1 0 1859543877 3670016 487 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 896 487 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 654.24 Current children cumulated vsize (Kb) 3584 [startup+740.051 s] Raw data (loadavg): 1.10 1.04 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 521 0 0 0 62240 4081 0 0 25 0 1 0 1859543877 3670016 487 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 896 487 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 663.21 Current children cumulated vsize (Kb) 3584 [startup+750.052 s] Raw data (loadavg): 1.08 1.04 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 521 0 0 0 63088 4136 0 0 21 0 1 0 1859543877 3670016 487 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 896 487 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 672.24 Current children cumulated vsize (Kb) 3584 [startup+760.052 s] Raw data (loadavg): 1.07 1.04 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 521 0 0 0 63934 4191 0 0 25 0 1 0 1859543877 3670016 487 4294967295 134512640 134578447 3221224624 3221223456 134558328 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 896 487 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 681.25 Current children cumulated vsize (Kb) 3584 [startup+770.052 s] Raw data (loadavg): 1.06 1.03 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 534 0 0 0 64781 4244 0 0 25 0 1 0 1859543877 3670016 500 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 896 500 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 690.25 Current children cumulated vsize (Kb) 3584 [startup+780.053 s] Raw data (loadavg): 1.05 1.03 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 535 0 0 0 65644 4294 0 0 21 0 1 0 1859543877 3670016 501 4294967295 134512640 134578447 3221224624 3221223280 1075288422 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 896 501 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 699.38 Current children cumulated vsize (Kb) 3584 [startup+790.053 s] Raw data (loadavg): 1.04 1.03 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 535 0 0 0 66493 4347 0 0 24 0 1 0 1859543877 3670016 501 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 896 501 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 708.4 Current children cumulated vsize (Kb) 3584 [startup+800.054 s] Raw data (loadavg): 1.03 1.03 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 535 0 0 0 67328 4406 0 0 20 0 1 0 1859543877 3670016 501 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 896 501 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 717.34 Current children cumulated vsize (Kb) 3584 [startup+810.055 s] Raw data (loadavg): 1.03 1.03 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 537 0 0 0 68189 4454 0 0 24 0 1 0 1859543877 3670016 503 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 896 503 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 726.43 Current children cumulated vsize (Kb) 3584 [startup+820.055 s] Raw data (loadavg): 1.02 1.03 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 537 0 0 0 69039 4506 0 0 25 0 1 0 1859543877 3670016 503 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 896 503 566 18 0 878 0 [pid=23316] vsize: 3584 Current children cumulated CPU time (s) 735.45 Current children cumulated vsize (Kb) 3584 [startup+830.056 s] Raw data (loadavg): 1.02 1.03 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 539 0 0 0 69890 4556 0 0 24 0 1 0 1859543877 3801088 505 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 505 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 744.46 Current children cumulated vsize (Kb) 3712 [startup+840.056 s] Raw data (loadavg): 1.02 1.02 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 540 0 0 0 70732 4611 0 0 25 0 1 0 1859543877 3801088 506 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 928 506 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 753.43 Current children cumulated vsize (Kb) 3712 [startup+850.057 s] Raw data (loadavg): 1.09 1.04 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 540 0 0 0 71587 4663 0 0 25 0 1 0 1859543877 3801088 506 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 506 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 762.5 Current children cumulated vsize (Kb) 3712 [startup+860.058 s] Raw data (loadavg): 1.15 1.05 1.01 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 540 0 0 0 72434 4716 0 0 24 0 1 0 1859543877 3801088 506 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 928 506 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 771.5 Current children cumulated vsize (Kb) 3712 [startup+870.06 s] Raw data (loadavg): 1.13 1.05 1.01 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 541 0 0 0 73277 4765 0 0 25 0 1 0 1859543877 3801088 507 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 507 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 780.42 Current children cumulated vsize (Kb) 3712 [startup+880.061 s] Raw data (loadavg): 1.11 1.05 1.01 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 541 0 0 0 74122 4819 0 0 25 0 1 0 1859543877 3801088 507 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 928 507 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 789.41 Current children cumulated vsize (Kb) 3712 [startup+890.062 s] Raw data (loadavg): 1.09 1.05 1.01 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 542 0 0 0 74966 4870 0 0 25 0 1 0 1859543877 3801088 508 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 928 508 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 798.36 Current children cumulated vsize (Kb) 3712 [startup+900.064 s] Raw data (loadavg): 1.08 1.05 1.01 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 543 0 0 0 75813 4923 0 0 25 0 1 0 1859543877 3801088 509 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 509 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 807.36 Current children cumulated vsize (Kb) 3712 [startup+910.063 s] Raw data (loadavg): 1.06 1.04 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 543 0 0 0 76660 4975 0 0 25 0 1 0 1859543877 3801088 509 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 509 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 816.35 Current children cumulated vsize (Kb) 3712 [startup+920.063 s] Raw data (loadavg): 1.05 1.04 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 543 0 0 0 77506 5029 0 0 25 0 1 0 1859543877 3801088 509 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 509 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 825.35 Current children cumulated vsize (Kb) 3712 [startup+930.064 s] Raw data (loadavg): 1.05 1.04 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 543 0 0 0 78355 5085 0 0 22 0 1 0 1859543877 3801088 509 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 509 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 834.4 Current children cumulated vsize (Kb) 3712 [startup+940.064 s] Raw data (loadavg): 1.12 1.06 1.01 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 545 0 0 0 79198 5138 0 0 25 0 1 0 1859543877 3801088 511 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 511 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 843.36 Current children cumulated vsize (Kb) 3712 [startup+950.065 s] Raw data (loadavg): 1.10 1.05 1.01 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 545 0 0 0 80040 5195 0 0 25 0 1 0 1859543877 3801088 511 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 928 511 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 852.35 Current children cumulated vsize (Kb) 3712 [startup+960.066 s] Raw data (loadavg): 1.08 1.05 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 545 0 0 0 80880 5251 0 0 23 0 1 0 1859543877 3801088 511 4294967295 134512640 134578447 3221224624 3221223368 1075291632 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 928 511 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 861.31 Current children cumulated vsize (Kb) 3712 [startup+970.067 s] Raw data (loadavg): 1.07 1.05 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 545 0 0 0 81730 5299 0 0 25 0 1 0 1859543877 3801088 511 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 928 511 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 870.29 Current children cumulated vsize (Kb) 3712 [startup+980.067 s] Raw data (loadavg): 1.06 1.05 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 545 0 0 0 82565 5358 0 0 25 0 1 0 1859543877 3801088 511 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 511 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 879.23 Current children cumulated vsize (Kb) 3712 [startup+990.068 s] Raw data (loadavg): 1.05 1.05 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 549 0 0 0 83402 5415 0 0 25 0 1 0 1859543877 3801088 515 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 515 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 888.17 Current children cumulated vsize (Kb) 3712 [startup+1000.07 s] Raw data (loadavg): 1.04 1.04 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 549 0 0 0 84248 5470 0 0 19 0 1 0 1859543877 3801088 515 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 928 515 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 897.18 Current children cumulated vsize (Kb) 3712 [startup+1010.07 s] Raw data (loadavg): 1.04 1.04 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 549 0 0 0 85106 5521 0 0 25 0 1 0 1859543877 3801088 515 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 515 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 906.27 Current children cumulated vsize (Kb) 3712 [startup+1020.07 s] Raw data (loadavg): 1.03 1.04 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 549 0 0 0 85940 5579 0 0 24 0 1 0 1859543877 3801088 515 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 515 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 915.19 Current children cumulated vsize (Kb) 3712 [startup+1030.07 s] Raw data (loadavg): 1.02 1.04 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 549 0 0 0 86791 5632 0 0 25 0 1 0 1859543877 3801088 515 4294967295 134512640 134578447 3221224624 3221223284 1074910624 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 928 515 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 924.23 Current children cumulated vsize (Kb) 3712 [startup+1040.07 s] Raw data (loadavg): 1.02 1.04 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 549 0 0 0 87641 5688 0 0 23 0 1 0 1859543877 3801088 515 4294967295 134512640 134578447 3221224624 3221223476 134555904 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 928 515 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 933.29 Current children cumulated vsize (Kb) 3712 [startup+1050.07 s] Raw data (loadavg): 1.02 1.03 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 550 0 0 0 88491 5742 0 0 24 0 1 0 1859543877 3801088 516 4294967295 134512640 134578447 3221224624 3221223488 134517876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 928 516 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (Kb) 3712 [startup+1060.07 s] Raw data (loadavg): 1.01 1.03 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 550 0 0 0 89343 5794 0 0 25 0 1 0 1859543877 3801088 516 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 516 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 951.37 Current children cumulated vsize (Kb) 3712 [startup+1070.07 s] Raw data (loadavg): 1.01 1.03 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 550 0 0 0 90180 5852 0 0 25 0 1 0 1859543877 3801088 516 4294967295 134512640 134578447 3221224624 3221223536 134556889 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 928 516 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 960.32 Current children cumulated vsize (Kb) 3712 [startup+1080.07 s] Raw data (loadavg): 1.01 1.03 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 550 0 0 0 91033 5902 0 0 25 0 1 0 1859543877 3801088 516 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 928 516 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 969.35 Current children cumulated vsize (Kb) 3712 [startup+1090.08 s] Raw data (loadavg): 1.01 1.03 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 550 0 0 0 91872 5960 0 0 25 0 1 0 1859543877 3801088 516 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 516 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 978.32 Current children cumulated vsize (Kb) 3712 [startup+1100.08 s] Raw data (loadavg): 1.01 1.03 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 550 0 0 0 92728 6008 0 0 25 0 1 0 1859543877 3801088 516 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 516 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 987.36 Current children cumulated vsize (Kb) 3712 [startup+1110.08 s] Raw data (loadavg): 1.00 1.03 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 550 0 0 0 93584 6059 0 0 24 0 1 0 1859543877 3801088 516 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 516 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 996.43 Current children cumulated vsize (Kb) 3712 [startup+1120.08 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 550 0 0 0 94438 6108 0 0 20 0 1 0 1859543877 3801088 516 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 516 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 1005.46 Current children cumulated vsize (Kb) 3712 [startup+1130.08 s] Raw data (loadavg): 1.00 1.02 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 563 0 0 0 95276 6165 0 0 24 0 1 0 1859543877 3801088 529 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 529 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 1014.41 Current children cumulated vsize (Kb) 3712 [startup+1140.08 s] Raw data (loadavg): 1.00 1.02 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 563 0 0 0 96118 6220 0 0 25 0 1 0 1859543877 3801088 529 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 928 529 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 1023.38 Current children cumulated vsize (Kb) 3712 [startup+1150.08 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 567 0 0 0 96972 6271 0 0 20 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223584 134559008 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 928 533 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 1032.43 Current children cumulated vsize (Kb) 3712 [startup+1160.08 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 567 0 0 0 97826 6323 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223520 134519738 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 928 533 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 1041.49 Current children cumulated vsize (Kb) 3712 [startup+1170.08 s] Raw data (loadavg): 1.00 1.02 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 98672 6379 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 533 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 1050.51 Current children cumulated vsize (Kb) 3712 [startup+1180.08 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 99536 6430 0 0 18 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 533 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 1059.66 Current children cumulated vsize (Kb) 3712 [startup+1190.08 s] Raw data (loadavg): 1.00 1.02 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 100392 6481 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 533 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 1068.73 Current children cumulated vsize (Kb) 3712 [startup+1200.08 s] Raw data (loadavg): 1.00 1.02 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 101239 6535 0 0 24 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 533 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 1077.74 Current children cumulated vsize (Kb) 3712 [startup+1210.08 s] Raw data (loadavg): 1.07 1.03 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 567 0 0 0 102089 6590 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 928 533 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 1086.79 Current children cumulated vsize (Kb) 3712 [startup+1220.08 s] Raw data (loadavg): 1.06 1.03 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 102943 6639 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 533 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 1095.82 Current children cumulated vsize (Kb) 3712 [startup+1230.08 s] Raw data (loadavg): 1.05 1.03 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 103796 6688 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 533 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 1104.84 Current children cumulated vsize (Kb) 3712 [startup+1240.08 s] Raw data (loadavg): 1.04 1.03 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 567 0 0 0 104642 6742 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23316/statm): 928 533 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 1113.84 Current children cumulated vsize (Kb) 3712 [startup+1250.08 s] Raw data (loadavg): 1.04 1.03 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 105497 6794 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 533 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 1122.91 Current children cumulated vsize (Kb) 3712 [startup+1260.08 s] Raw data (loadavg): 1.03 1.03 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 106342 6848 0 0 24 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 928 533 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 1131.9 Current children cumulated vsize (Kb) 3712 [startup+1270.08 s] Raw data (loadavg): 1.02 1.02 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 567 0 0 0 107196 6901 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223520 134519724 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 533 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 1140.97 Current children cumulated vsize (Kb) 3712 [startup+1280.09 s] Raw data (loadavg): 1.02 1.02 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 108058 6951 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 533 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 1150.09 Current children cumulated vsize (Kb) 3712 [startup+1290.09 s] Raw data (loadavg): 1.02 1.02 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 108913 7001 0 0 24 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 928 533 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 1159.14 Current children cumulated vsize (Kb) 3712 [startup+1300.09 s] Raw data (loadavg): 1.01 1.02 1.00 2/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 567 0 0 0 109764 7056 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223552 134531685 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 533 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 1168.2 Current children cumulated vsize (Kb) 3712 [startup+1310.09 s] Raw data (loadavg): 1.01 1.02 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 110616 7108 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23316/statm): 928 533 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 1177.24 Current children cumulated vsize (Kb) 3712 [startup+1320.09 s] Raw data (loadavg): 1.01 1.02 1.00 1/56 23316 Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 111458 7165 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/23316/statm): 928 533 566 18 0 910 0 [pid=23316] vsize: 3712 Current children cumulated CPU time (s) 1186.23 Current children cumulated vsize (Kb) 3712 One traced child (pid=23316) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1323.14 CPU time (s): 1189.01 CPU user time (s): 1117.19 CPU system time (s): 71.8201 CPU usage (%): 89.8629 Max. virtual memory (cumulated for all children) (Kb): 3712
Verifier: OK 1636