Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Nameweb/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
MD5SUMac510382bae6003fe0373ad32fd0064f
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of terms in the objective function 411
Biggest coefficient in the objective function 268
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1129
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1129
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1205.78
Number of variables411
Total number of constraints887
Number of constraints which are clauses387
Number of constraints which are cardinality constraints (but not clauses)500
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16

Trace number 8031

Launcher Data

LAUNCH ON wulflinc23 THE 2005-09-20 15:17:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5081 boxname=wulflinc23 idbench=393 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  ac510382bae6003fe0373ad32fd0064f  /oldhome/oroussel/tmp/wulflinc23/normalized-10:10:4.5:0.95:98.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5081
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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.037
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:        866132 kB
Buffers:         32464 kB
Cached:         108480 kB
SwapCached:        836 kB
Active:          65276 kB
Inactive:        78360 kB
HighTotal:      131008 kB
HighFree:        21784 kB
LowTotal:       903652 kB
LowFree:        844348 kB
SwapTotal:     2097136 kB
SwapFree:      2095792 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            19276 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 15:37:04 (client local time) WITH STATUS 10 IN 1189.03 SECONDS
stats: 5081 0 1189.03 10

Solver Data

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: 411 - #constraints read: 888
c total time              : 1189.02 s
s SATISFIABLE
v v294 -v230 v205 v190 -v138 v293 v210 v191 -v142 -v358 v301 -v278 -v234 v209 v195 v295 -v232 v194 -v357 -v296 v212 v192 v118 v361 -v297 -v233 v213 -v193 -v179 -v82 -v237 v216 -v178 -v163 v117 -v81 v362 v214 v121 -v83 v215 -v180 -v162 -v84 v183 v167 v122 -v85 -v304 v274 -v229 v189 -v137 -v305 v204 v188 -v141 -v384 v300 v277 -v235 v206 -v199 v211 -v359 -v312 v298 -v238 v208 -v36 v363 v316 -v236 v217 -v174 -v173 v119 v123 -v365 -v181 -v164 -v88 -v366 v182 v166 -v89 -v380 -v302 v273 -v227 v202 -v139 -v353 -v231 v203 -v143 -v383 -v352 v279 -v228 -v198 -v32 -v239 v207 -v113 -v360 -v311 v299 -v225 -v196 -v145 v112 -v35 v364 v315 v221 -v158 -v146 -v368 -v282 v220 -v157 v120 -v87 -v367 -v175 v124 -v86 v341 -v176 -v165 -v125 -v70 v177 v168 -v126 v74 -v379 -v303 v275 v200 -v140 -v226 -v144 -v396 v385 v280 -v247 -v222 -v148 -v31 -v400 v354 -v243 -v224 -v147 v355 v313 -v283 -v242 -v197 -v37 -v7 v356 v317 -v281 v114 -v11 -v388 -v372 -v337 v218 v115 -v100 -v159 v116 v340 -v319 v219 -v186 -v160 -v130 v69 -v40 -v320 -v187 v161 v73 v381 v271 -v244 v201 -v136 -v27 -v307 v276 -v246 -v223 -v135 -v395 v386 v306 v272 -v152 -v33 -v399 -v284 v389 -v375 v314 -v240 -v96 -v38 -v6 -v387 -v376 v318 -v10 -v371 -v336 -v322 -v241 -v185 v133 -v99 -v41 -v321 -v184 v134 -v39 -v369 v342 v254 -v171 -v129 v71 v258 -v172 v75 v378 v264 -v245 -v155 v382 v270 -v156 -v26 -v397 -v374 v292 -v151 -v28 v401 v390 -v373 v308 -v288 -v34 -v332 v309 -v287 -v149 -v132 -v95 -v30 -v8 v310 v131 -v65 -v42 -v12 v403 -v338 -v326 -v170 -v101 -v64 v404 -v169 -v370 v343 v253 -v127 v72 -v60 -v14 v257 v76 -v15 -v289 v263 -v153 v377 v291 -v2 -v398 -v91 -v1 v402 v394 -v29 v406 v393 v329 -v285 -v150 -v97 -v50 -v9 v405 -v331 v330 -v46 -v13 -v333 -v325 -v286 -v102 -v56 -v45 -v17 -v339 -v66 -v16 v335 -v323 v255 -v128 -v103 v67 -v59 v344 v259 -v104 v68 -v290 v265 -v154 -v328 -v47 -v327 -v90 -v49 -v3 v410 v391 v267 -v92 -v4 -v249 -v98 -v5 v392 -v248 -v94 v55 -v43 -v21 -v334 -v105 v351 -v324 v256 -v79 v61 -v44 v347 v260 v80 -v48 v268 v266 v409 v53 -v24 -v93 -v25 v407 v348 -v111 -v78 v57 -v20 v350 -v250 -v108 -v77 v251 -v106 v62 -v18 v345 v252 v269 -v23 -v22 -v110 v349 -v109 v52 v408 v51 v58 v262 -v107 v54 -v19 v346 v261 v63 one

Watcher Data

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/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859561871 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 41 3 40 18 0 23 0
[pid=471] 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.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 622 0 0 0 988 5 0 0 25 0 1 0 1859561871 4132864 588 4294967295 134512640 134578447 3221224624 3221223504 134518956 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1009 588 566 18 0 991 0
[pid=471] vsize: 4036
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (Kb) 4036

[startup+20.0041 s]
Raw data (loadavg): 0.89 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 680 0 0 0 1978 9 0 0 25 0 1 0 1859561871 4268032 646 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1042 646 566 18 0 1024 0
[pid=471] vsize: 4168
Current children cumulated CPU time (s) 19.87
Current children cumulated vsize (Kb) 4168

[startup+30.0048 s]
Raw data (loadavg): 0.91 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 726 0 0 0 2970 12 0 0 25 0 1 0 1859561871 4509696 692 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1101 692 566 18 0 1083 0
[pid=471] vsize: 4404
Current children cumulated CPU time (s) 29.82
Current children cumulated vsize (Kb) 4404

[startup+40.0044 s]
Raw data (loadavg): 0.92 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 750 0 0 0 3963 15 0 0 25 0 1 0 1859561871 4644864 716 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1134 716 566 18 0 1116 0
[pid=471] vsize: 4536
Current children cumulated CPU time (s) 39.78
Current children cumulated vsize (Kb) 4536

[startup+50.005 s]
Raw data (loadavg): 0.93 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 772 0 0 0 4957 17 0 0 25 0 1 0 1859561871 4644864 738 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1134 738 566 18 0 1116 0
[pid=471] vsize: 4536
Current children cumulated CPU time (s) 49.74
Current children cumulated vsize (Kb) 4536

[startup+60.0047 s]
Raw data (loadavg): 0.94 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 778 0 0 0 5951 21 0 0 25 0 1 0 1859561871 4784128 744 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1168 744 566 18 0 1150 0
[pid=471] vsize: 4672
Current children cumulated CPU time (s) 59.72
Current children cumulated vsize (Kb) 4672

[startup+70.0073 s]
Raw data (loadavg): 0.95 0.97 0.92 1/56 471
Raw data (/proc/471/stat): 471 (Pueblo) T 470 471 5299 0 -1 0 830 0 0 0 6944 24 0 0 25 0 1 0 1859561871 4898816 796 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/471/statm): 1196 796 566 18 0 1178 0
[pid=471] vsize: 4784
Current children cumulated CPU time (s) 69.68
Current children cumulated vsize (Kb) 4784

[startup+80.0079 s]
Raw data (loadavg): 0.96 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 834 0 0 0 7936 26 0 0 25 0 1 0 1859561871 4898816 800 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1196 800 566 18 0 1178 0
[pid=471] vsize: 4784
Current children cumulated CPU time (s) 79.62
Current children cumulated vsize (Kb) 4784

[startup+90.0076 s]
Raw data (loadavg): 0.96 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 843 0 0 0 8930 28 0 0 25 0 1 0 1859561871 5038080 809 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1230 809 566 18 0 1212 0
[pid=471] vsize: 4920
Current children cumulated CPU time (s) 89.58
Current children cumulated vsize (Kb) 4920

[startup+100.008 s]
Raw data (loadavg): 0.97 0.97 0.92 1/56 471
Raw data (/proc/471/stat): 471 (Pueblo) T 470 471 5299 0 -1 0 878 0 0 0 9924 30 0 0 25 0 1 0 1859561871 5177344 844 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/471/statm): 1264 844 566 18 0 1246 0
[pid=471] vsize: 5056
Current children cumulated CPU time (s) 99.54
Current children cumulated vsize (Kb) 5056

[startup+110.009 s]
Raw data (loadavg): 0.97 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 882 0 0 0 10919 32 0 0 25 0 1 0 1859561871 5177344 848 4294967295 134512640 134578447 3221224624 3221223520 134519887 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1264 848 566 18 0 1246 0
[pid=471] vsize: 5056
Current children cumulated CPU time (s) 109.51
Current children cumulated vsize (Kb) 5056

[startup+120.01 s]
Raw data (loadavg): 0.98 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 882 0 0 0 11914 34 0 0 25 0 1 0 1859561871 5177344 848 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1264 848 566 18 0 1246 0
[pid=471] vsize: 5056
Current children cumulated CPU time (s) 119.48
Current children cumulated vsize (Kb) 5056

[startup+130.01 s]
Raw data (loadavg): 0.98 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 895 0 0 0 12907 37 0 0 25 0 1 0 1859561871 5177344 861 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1264 861 566 18 0 1246 0
[pid=471] vsize: 5056
Current children cumulated CPU time (s) 129.44
Current children cumulated vsize (Kb) 5056

[startup+140.01 s]
Raw data (loadavg): 0.98 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 895 0 0 0 13902 39 0 0 25 0 1 0 1859561871 5177344 861 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1264 861 566 18 0 1246 0
[pid=471] vsize: 5056
Current children cumulated CPU time (s) 139.41
Current children cumulated vsize (Kb) 5056

[startup+150.01 s]
Raw data (loadavg): 0.98 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 895 0 0 0 14896 41 0 0 25 0 1 0 1859561871 5177344 861 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1264 861 566 18 0 1246 0
[pid=471] vsize: 5056
Current children cumulated CPU time (s) 149.37
Current children cumulated vsize (Kb) 5056

[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 895 0 0 0 15887 45 0 0 25 0 1 0 1859561871 5177344 861 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1264 861 566 18 0 1246 0
[pid=471] vsize: 5056
Current children cumulated CPU time (s) 159.32
Current children cumulated vsize (Kb) 5056

[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 934 0 0 0 16881 48 0 0 25 0 1 0 1859561871 5308416 900 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1296 900 566 18 0 1278 0
[pid=471] vsize: 5184
Current children cumulated CPU time (s) 169.29
Current children cumulated vsize (Kb) 5184

[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 934 0 0 0 17875 50 0 0 25 0 1 0 1859561871 5308416 900 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1296 900 566 18 0 1278 0
[pid=471] vsize: 5184
Current children cumulated CPU time (s) 179.25
Current children cumulated vsize (Kb) 5184

[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 939 0 0 0 18870 52 0 0 25 0 1 0 1859561871 5423104 905 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1324 905 566 18 0 1306 0
[pid=471] vsize: 5296
Current children cumulated CPU time (s) 189.22
Current children cumulated vsize (Kb) 5296

[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 941 0 0 0 19865 54 0 0 25 0 1 0 1859561871 5423104 907 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1324 907 566 18 0 1306 0
[pid=471] vsize: 5296
Current children cumulated CPU time (s) 199.19
Current children cumulated vsize (Kb) 5296

[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) T 470 471 5299 0 -1 0 943 0 0 0 20859 56 0 0 25 0 1 0 1859561871 5423104 909 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/471/statm): 1324 909 566 18 0 1306 0
[pid=471] vsize: 5296
Current children cumulated CPU time (s) 209.15
Current children cumulated vsize (Kb) 5296

[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 943 0 0 0 21852 59 0 0 25 0 1 0 1859561871 5423104 909 4294967295 134512640 134578447 3221224624 3221223692 134561235 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1324 909 566 18 0 1306 0
[pid=471] vsize: 5296
Current children cumulated CPU time (s) 219.11
Current children cumulated vsize (Kb) 5296

[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 958 0 0 0 22848 60 0 0 25 0 1 0 1859561871 5419008 924 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1323 924 566 18 0 1305 0
[pid=471] vsize: 5292
Current children cumulated CPU time (s) 229.08
Current children cumulated vsize (Kb) 5292

[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 974 0 0 0 23845 61 0 0 25 0 1 0 1859561871 5558272 940 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1357 940 566 18 0 1339 0
[pid=471] vsize: 5428
Current children cumulated CPU time (s) 239.06
Current children cumulated vsize (Kb) 5428

[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 974 0 0 0 24841 62 0 0 25 0 1 0 1859561871 5558272 940 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1357 940 566 18 0 1339 0
[pid=471] vsize: 5428
Current children cumulated CPU time (s) 249.03
Current children cumulated vsize (Kb) 5428

[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 974 0 0 0 25837 64 0 0 25 0 1 0 1859561871 5558272 940 4294967295 134512640 134578447 3221224624 3221223228 1075288544 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1357 940 566 18 0 1339 0
[pid=471] vsize: 5428
Current children cumulated CPU time (s) 259.01
Current children cumulated vsize (Kb) 5428

[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 974 0 0 0 26833 65 0 0 25 0 1 0 1859561871 5558272 940 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1357 940 566 18 0 1339 0
[pid=471] vsize: 5428
Current children cumulated CPU time (s) 268.98
Current children cumulated vsize (Kb) 5428

[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 974 0 0 0 27830 66 0 0 25 0 1 0 1859561871 5558272 940 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1357 940 566 18 0 1339 0
[pid=471] vsize: 5428
Current children cumulated CPU time (s) 278.96
Current children cumulated vsize (Kb) 5428

[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 974 0 0 0 28825 68 0 0 25 0 1 0 1859561871 5558272 940 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1357 940 566 18 0 1339 0
[pid=471] vsize: 5428
Current children cumulated CPU time (s) 288.93
Current children cumulated vsize (Kb) 5428

[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 974 0 0 0 29819 70 0 0 25 0 1 0 1859561871 5558272 940 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1357 940 566 18 0 1339 0
[pid=471] vsize: 5428
Current children cumulated CPU time (s) 298.89
Current children cumulated vsize (Kb) 5428

[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 974 0 0 0 30814 72 0 0 25 0 1 0 1859561871 5558272 940 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1357 940 566 18 0 1339 0
[pid=471] vsize: 5428
Current children cumulated CPU time (s) 308.86
Current children cumulated vsize (Kb) 5428

[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 974 0 0 0 31807 74 0 0 25 0 1 0 1859561871 5558272 940 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1357 940 566 18 0 1339 0
[pid=471] vsize: 5428
Current children cumulated CPU time (s) 318.81
Current children cumulated vsize (Kb) 5428

[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 974 0 0 0 32800 77 0 0 25 0 1 0 1859561871 5558272 940 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1357 940 566 18 0 1339 0
[pid=471] vsize: 5428
Current children cumulated CPU time (s) 328.77
Current children cumulated vsize (Kb) 5428

[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 981 0 0 0 33794 79 0 0 25 0 1 0 1859561871 5558272 947 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1357 947 566 18 0 1339 0
[pid=471] vsize: 5428
Current children cumulated CPU time (s) 338.73
Current children cumulated vsize (Kb) 5428

[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 981 0 0 0 34789 81 0 0 25 0 1 0 1859561871 5558272 947 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1357 947 566 18 0 1339 0
[pid=471] vsize: 5428
Current children cumulated CPU time (s) 348.7
Current children cumulated vsize (Kb) 5428

[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 981 0 0 0 35782 83 0 0 25 0 1 0 1859561871 5558272 947 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1357 947 566 18 0 1339 0
[pid=471] vsize: 5428
Current children cumulated CPU time (s) 358.65
Current children cumulated vsize (Kb) 5428

[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 981 0 0 0 36775 86 0 0 25 0 1 0 1859561871 5558272 947 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1357 947 566 18 0 1339 0
[pid=471] vsize: 5428
Current children cumulated CPU time (s) 368.61
Current children cumulated vsize (Kb) 5428

[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1011 0 0 0 37770 87 0 0 25 0 1 0 1859561871 5693440 977 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1390 977 566 18 0 1372 0
[pid=471] vsize: 5560
Current children cumulated CPU time (s) 378.57
Current children cumulated vsize (Kb) 5560

[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1028 0 0 0 38767 89 0 0 25 0 1 0 1859561871 5693440 994 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1390 994 566 18 0 1372 0
[pid=471] vsize: 5560
Current children cumulated CPU time (s) 388.56
Current children cumulated vsize (Kb) 5560

[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1028 0 0 0 39764 90 0 0 25 0 1 0 1859561871 5693440 994 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1390 994 566 18 0 1372 0
[pid=471] vsize: 5560
Current children cumulated CPU time (s) 398.54
Current children cumulated vsize (Kb) 5560

[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1028 0 0 0 40758 92 0 0 25 0 1 0 1859561871 5693440 994 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1390 994 566 18 0 1372 0
[pid=471] vsize: 5560
Current children cumulated CPU time (s) 408.5
Current children cumulated vsize (Kb) 5560

[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1028 0 0 0 41754 93 0 0 25 0 1 0 1859561871 5693440 994 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1390 994 566 18 0 1372 0
[pid=471] vsize: 5560
Current children cumulated CPU time (s) 418.47
Current children cumulated vsize (Kb) 5560

[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1028 0 0 0 42750 95 0 0 25 0 1 0 1859561871 5693440 994 4294967295 134512640 134578447 3221224624 3221223456 134528617 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1390 994 566 18 0 1372 0
[pid=471] vsize: 5560
Current children cumulated CPU time (s) 428.45
Current children cumulated vsize (Kb) 5560

[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1028 0 0 0 43747 96 0 0 25 0 1 0 1859561871 5693440 994 4294967295 134512640 134578447 3221224624 3221223504 134528082 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1390 994 566 18 0 1372 0
[pid=471] vsize: 5560
Current children cumulated CPU time (s) 438.43
Current children cumulated vsize (Kb) 5560

[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1028 0 0 0 44743 97 0 0 25 0 1 0 1859561871 5693440 994 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1390 994 566 18 0 1372 0
[pid=471] vsize: 5560
Current children cumulated CPU time (s) 448.4
Current children cumulated vsize (Kb) 5560

[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1028 0 0 0 45738 99 0 0 25 0 1 0 1859561871 5693440 994 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1390 994 566 18 0 1372 0
[pid=471] vsize: 5560
Current children cumulated CPU time (s) 458.37
Current children cumulated vsize (Kb) 5560

[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1028 0 0 0 46733 101 0 0 25 0 1 0 1859561871 5693440 994 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1390 994 566 18 0 1372 0
[pid=471] vsize: 5560
Current children cumulated CPU time (s) 468.34
Current children cumulated vsize (Kb) 5560

[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1035 0 0 0 47728 103 0 0 25 0 1 0 1859561871 5828608 1001 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/471/statm): 1423 1001 566 18 0 1405 0
[pid=471] vsize: 5692
Current children cumulated CPU time (s) 478.31
Current children cumulated vsize (Kb) 5692

[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1035 0 0 0 48722 105 0 0 25 0 1 0 1859561871 5828608 1001 4294967295 134512640 134578447 3221224624 3221223376 134528821 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1423 1001 566 18 0 1405 0
[pid=471] vsize: 5692
Current children cumulated CPU time (s) 488.27
Current children cumulated vsize (Kb) 5692

[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1035 0 0 0 49717 107 0 0 25 0 1 0 1859561871 5828608 1001 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1423 1001 566 18 0 1405 0
[pid=471] vsize: 5692
Current children cumulated CPU time (s) 498.24
Current children cumulated vsize (Kb) 5692

[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1035 0 0 0 50710 109 0 0 25 0 1 0 1859561871 5828608 1001 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1423 1001 566 18 0 1405 0
[pid=471] vsize: 5692
Current children cumulated CPU time (s) 508.19
Current children cumulated vsize (Kb) 5692

[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1035 0 0 0 51704 111 0 0 25 0 1 0 1859561871 5828608 1001 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1423 1001 566 18 0 1405 0
[pid=471] vsize: 5692
Current children cumulated CPU time (s) 518.15
Current children cumulated vsize (Kb) 5692

[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1037 0 0 0 52697 114 0 0 25 0 1 0 1859561871 5812224 1003 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1419 1003 566 18 0 1401 0
[pid=471] vsize: 5676
Current children cumulated CPU time (s) 528.11
Current children cumulated vsize (Kb) 5676

[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1037 0 0 0 53692 116 0 0 25 0 1 0 1859561871 5812224 1003 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1419 1003 566 18 0 1401 0
[pid=471] vsize: 5676
Current children cumulated CPU time (s) 538.08
Current children cumulated vsize (Kb) 5676

[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1042 0 0 0 54686 119 0 0 25 0 1 0 1859561871 5812224 1008 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1419 1008 566 18 0 1401 0
[pid=471] vsize: 5676
Current children cumulated CPU time (s) 548.05
Current children cumulated vsize (Kb) 5676

[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1042 0 0 0 55679 122 0 0 25 0 1 0 1859561871 5812224 1008 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1419 1008 566 18 0 1401 0
[pid=471] vsize: 5676
Current children cumulated CPU time (s) 558.01
Current children cumulated vsize (Kb) 5676

[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1042 0 0 0 56675 124 0 0 25 0 1 0 1859561871 5812224 1008 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1419 1008 566 18 0 1401 0
[pid=471] vsize: 5676
Current children cumulated CPU time (s) 567.99
Current children cumulated vsize (Kb) 5676

[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1042 0 0 0 57667 127 0 0 25 0 1 0 1859561871 5812224 1008 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1419 1008 566 18 0 1401 0
[pid=471] vsize: 5676
Current children cumulated CPU time (s) 577.94
Current children cumulated vsize (Kb) 5676

[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1067 0 0 0 58663 128 0 0 25 0 1 0 1859561871 5947392 1033 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1452 1033 566 18 0 1434 0
[pid=471] vsize: 5808
Current children cumulated CPU time (s) 587.91
Current children cumulated vsize (Kb) 5808

[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1081 0 0 0 59659 130 0 0 25 0 1 0 1859561871 5947392 1047 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1452 1047 566 18 0 1434 0
[pid=471] vsize: 5808
Current children cumulated CPU time (s) 597.89
Current children cumulated vsize (Kb) 5808

[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1110 0 0 0 60654 131 0 0 25 0 1 0 1859561871 6086656 1076 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1076 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 607.85
Current children cumulated vsize (Kb) 5944

[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1115 0 0 0 61648 134 0 0 25 0 1 0 1859561871 6086656 1081 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1081 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 617.82
Current children cumulated vsize (Kb) 5944

[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 62642 137 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 627.79
Current children cumulated vsize (Kb) 5944

[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 63638 138 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 637.76
Current children cumulated vsize (Kb) 5944

[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 64633 140 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 647.73
Current children cumulated vsize (Kb) 5944

[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 65628 143 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 657.71
Current children cumulated vsize (Kb) 5944

[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 66623 145 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 667.68
Current children cumulated vsize (Kb) 5944

[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 67617 147 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 677.64
Current children cumulated vsize (Kb) 5944

[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.92 1/56 471
Raw data (/proc/471/stat): 471 (Pueblo) T 470 471 5299 0 -1 0 1118 0 0 0 68611 149 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 687.6
Current children cumulated vsize (Kb) 5944

[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 69605 151 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 697.56
Current children cumulated vsize (Kb) 5944

[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 70601 153 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 707.54
Current children cumulated vsize (Kb) 5944

[startup+720.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 71595 156 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 717.51
Current children cumulated vsize (Kb) 5944

[startup+730.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 72589 158 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 727.47
Current children cumulated vsize (Kb) 5944

[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 73584 160 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223280 1075288811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 737.44
Current children cumulated vsize (Kb) 5944

[startup+750.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 74579 162 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 747.41
Current children cumulated vsize (Kb) 5944

[startup+760.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 75574 163 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 757.37
Current children cumulated vsize (Kb) 5944

[startup+770.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 76568 166 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 767.34
Current children cumulated vsize (Kb) 5944

[startup+780.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 77562 168 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 777.3
Current children cumulated vsize (Kb) 5944

[startup+790.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 78558 169 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 787.27
Current children cumulated vsize (Kb) 5944

[startup+800.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 79550 173 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 797.23
Current children cumulated vsize (Kb) 5944

[startup+810.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 80543 175 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 807.18
Current children cumulated vsize (Kb) 5944

[startup+820.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 81537 176 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 817.13
Current children cumulated vsize (Kb) 5944

[startup+830.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 82531 180 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 827.11
Current children cumulated vsize (Kb) 5944

[startup+840.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 83527 181 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 837.08
Current children cumulated vsize (Kb) 5944

[startup+850.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 84522 184 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 847.06
Current children cumulated vsize (Kb) 5944

[startup+860.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1118 0 0 0 85514 186 0 0 25 0 1 0 1859561871 6086656 1084 4294967295 134512640 134578447 3221224624 3221223536 134557422 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1084 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 857
Current children cumulated vsize (Kb) 5944

[startup+870.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1120 0 0 0 86509 189 0 0 25 0 1 0 1859561871 6086656 1086 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1086 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 866.98
Current children cumulated vsize (Kb) 5944

[startup+880.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1120 0 0 0 87504 190 0 0 25 0 1 0 1859561871 6086656 1086 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1086 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 876.94
Current children cumulated vsize (Kb) 5944

[startup+890.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1120 0 0 0 88498 193 0 0 25 0 1 0 1859561871 6086656 1086 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1086 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 886.91
Current children cumulated vsize (Kb) 5944

[startup+900.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1124 0 0 0 89491 195 0 0 25 0 1 0 1859561871 6086656 1090 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1486 1090 566 18 0 1468 0
[pid=471] vsize: 5944
Current children cumulated CPU time (s) 896.86
Current children cumulated vsize (Kb) 5944

[startup+910.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1137 0 0 0 90488 196 0 0 25 0 1 0 1859561871 6225920 1103 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1520 1103 566 18 0 1502 0
[pid=471] vsize: 6080
Current children cumulated CPU time (s) 906.84
Current children cumulated vsize (Kb) 6080

[startup+920.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1137 0 0 0 91483 198 0 0 25 0 1 0 1859561871 6225920 1103 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1520 1103 566 18 0 1502 0
[pid=471] vsize: 6080
Current children cumulated CPU time (s) 916.81
Current children cumulated vsize (Kb) 6080

[startup+930.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1141 0 0 0 92479 199 0 0 25 0 1 0 1859561871 6225920 1107 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1520 1107 566 18 0 1502 0
[pid=471] vsize: 6080
Current children cumulated CPU time (s) 926.78
Current children cumulated vsize (Kb) 6080

[startup+940.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1157 0 0 0 93474 202 0 0 25 0 1 0 1859561871 6225920 1123 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1520 1123 566 18 0 1502 0
[pid=471] vsize: 6080
Current children cumulated CPU time (s) 936.76
Current children cumulated vsize (Kb) 6080

[startup+950.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1157 0 0 0 94470 204 0 0 25 0 1 0 1859561871 6225920 1123 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1520 1123 566 18 0 1502 0
[pid=471] vsize: 6080
Current children cumulated CPU time (s) 946.74
Current children cumulated vsize (Kb) 6080

[startup+960.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1157 0 0 0 95466 206 0 0 25 0 1 0 1859561871 6225920 1123 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1520 1123 566 18 0 1502 0
[pid=471] vsize: 6080
Current children cumulated CPU time (s) 956.72
Current children cumulated vsize (Kb) 6080

[startup+970.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1157 0 0 0 96461 207 0 0 25 0 1 0 1859561871 6225920 1123 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1520 1123 566 18 0 1502 0
[pid=471] vsize: 6080
Current children cumulated CPU time (s) 966.68
Current children cumulated vsize (Kb) 6080

[startup+980.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1157 0 0 0 97458 209 0 0 25 0 1 0 1859561871 6225920 1123 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1520 1123 566 18 0 1502 0
[pid=471] vsize: 6080
Current children cumulated CPU time (s) 976.67
Current children cumulated vsize (Kb) 6080

[startup+990.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1162 0 0 0 98453 210 0 0 25 0 1 0 1859561871 6328320 1128 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1545 1128 566 18 0 1527 0
[pid=471] vsize: 6180
Current children cumulated CPU time (s) 986.63
Current children cumulated vsize (Kb) 6180

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1162 0 0 0 99448 213 0 0 25 0 1 0 1859561871 6328320 1128 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1545 1128 566 18 0 1527 0
[pid=471] vsize: 6180
Current children cumulated CPU time (s) 996.61
Current children cumulated vsize (Kb) 6180

[startup+1010.05 s]
Raw data (loadavg): 1.07 0.99 0.93 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1162 0 0 0 100445 215 0 0 25 0 1 0 1859561871 6324224 1128 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1544 1128 566 18 0 1526 0
[pid=471] vsize: 6176
Current children cumulated CPU time (s) 1006.6
Current children cumulated vsize (Kb) 6176

[startup+1020.05 s]
Raw data (loadavg): 1.06 0.99 0.93 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1162 0 0 0 101440 216 0 0 25 0 1 0 1859561871 6324224 1128 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1544 1128 566 18 0 1526 0
[pid=471] vsize: 6176
Current children cumulated CPU time (s) 1016.56
Current children cumulated vsize (Kb) 6176

[startup+1030.05 s]
Raw data (loadavg): 1.05 0.99 0.93 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1162 0 0 0 102435 219 0 0 25 0 1 0 1859561871 6324224 1128 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1544 1128 566 18 0 1526 0
[pid=471] vsize: 6176
Current children cumulated CPU time (s) 1026.54
Current children cumulated vsize (Kb) 6176

[startup+1040.05 s]
Raw data (loadavg): 1.04 0.99 0.93 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1162 0 0 0 103431 220 0 0 25 0 1 0 1859561871 6324224 1128 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1544 1128 566 18 0 1526 0
[pid=471] vsize: 6176
Current children cumulated CPU time (s) 1036.51
Current children cumulated vsize (Kb) 6176

[startup+1050.05 s]
Raw data (loadavg): 1.04 0.99 0.93 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1162 0 0 0 104428 221 0 0 25 0 1 0 1859561871 6324224 1128 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1544 1128 566 18 0 1526 0
[pid=471] vsize: 6176
Current children cumulated CPU time (s) 1046.49
Current children cumulated vsize (Kb) 6176

[startup+1060.05 s]
Raw data (loadavg): 1.03 0.99 0.93 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1162 0 0 0 105422 224 0 0 25 0 1 0 1859561871 6324224 1128 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1544 1128 566 18 0 1526 0
[pid=471] vsize: 6176
Current children cumulated CPU time (s) 1056.46
Current children cumulated vsize (Kb) 6176

[startup+1070.05 s]
Raw data (loadavg): 1.03 0.99 0.93 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1162 0 0 0 106416 227 0 0 25 0 1 0 1859561871 6320128 1128 4294967295 134512640 134578447 3221224624 3221223476 134555667 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1543 1128 566 18 0 1525 0
[pid=471] vsize: 6172
Current children cumulated CPU time (s) 1066.43
Current children cumulated vsize (Kb) 6172

[startup+1080.05 s]
Raw data (loadavg): 1.02 0.99 0.93 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1162 0 0 0 107410 229 0 0 25 0 1 0 1859561871 6320128 1128 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1543 1128 566 18 0 1525 0
[pid=471] vsize: 6172
Current children cumulated CPU time (s) 1076.39
Current children cumulated vsize (Kb) 6172

[startup+1090.05 s]
Raw data (loadavg): 1.02 0.99 0.93 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1162 0 0 0 108406 230 0 0 25 0 1 0 1859561871 6320128 1128 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1543 1128 566 18 0 1525 0
[pid=471] vsize: 6172
Current children cumulated CPU time (s) 1086.36
Current children cumulated vsize (Kb) 6172

[startup+1100.05 s]
Raw data (loadavg): 1.01 0.99 0.93 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1162 0 0 0 109403 231 0 0 25 0 1 0 1859561871 6320128 1128 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1543 1128 566 18 0 1525 0
[pid=471] vsize: 6172
Current children cumulated CPU time (s) 1096.34
Current children cumulated vsize (Kb) 6172

[startup+1110.05 s]
Raw data (loadavg): 1.01 0.99 0.93 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1162 0 0 0 110397 234 0 0 25 0 1 0 1859561871 6320128 1128 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1543 1128 566 18 0 1525 0
[pid=471] vsize: 6172
Current children cumulated CPU time (s) 1106.31
Current children cumulated vsize (Kb) 6172

[startup+1120.05 s]
Raw data (loadavg): 1.01 0.99 0.93 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1162 0 0 0 111392 236 0 0 25 0 1 0 1859561871 6320128 1128 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1543 1128 566 18 0 1525 0
[pid=471] vsize: 6172
Current children cumulated CPU time (s) 1116.28
Current children cumulated vsize (Kb) 6172

[startup+1130.05 s]
Raw data (loadavg): 1.01 0.99 0.93 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1162 0 0 0 112389 237 0 0 25 0 1 0 1859561871 6320128 1128 4294967295 134512640 134578447 3221224624 3221223456 134527207 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1543 1128 566 18 0 1525 0
[pid=471] vsize: 6172
Current children cumulated CPU time (s) 1126.26
Current children cumulated vsize (Kb) 6172

[startup+1140.05 s]
Raw data (loadavg): 1.01 0.99 0.93 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1162 0 0 0 113384 239 0 0 25 0 1 0 1859561871 6320128 1128 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1543 1128 566 18 0 1525 0
[pid=471] vsize: 6172
Current children cumulated CPU time (s) 1136.23
Current children cumulated vsize (Kb) 6172

[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1162 0 0 0 114380 240 0 0 25 0 1 0 1859561871 6320128 1128 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1543 1128 566 18 0 1525 0
[pid=471] vsize: 6172
Current children cumulated CPU time (s) 1146.2
Current children cumulated vsize (Kb) 6172

[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1162 0 0 0 115373 242 0 0 25 0 1 0 1859561871 6320128 1128 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1543 1128 566 18 0 1525 0
[pid=471] vsize: 6172
Current children cumulated CPU time (s) 1156.15
Current children cumulated vsize (Kb) 6172

[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1162 0 0 0 116368 244 0 0 25 0 1 0 1859561871 6320128 1128 4294967295 134512640 134578447 3221224624 3221223476 134555800 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1543 1128 566 18 0 1525 0
[pid=471] vsize: 6172
Current children cumulated CPU time (s) 1166.12
Current children cumulated vsize (Kb) 6172

[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1162 0 0 0 117361 246 0 0 25 0 1 0 1859561871 6320128 1128 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1543 1128 566 18 0 1525 0
[pid=471] vsize: 6172
Current children cumulated CPU time (s) 1176.07
Current children cumulated vsize (Kb) 6172

[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/56 471
Raw data (/proc/471/stat): 471 (Pueblo) R 470 471 5299 0 -1 0 1162 0 0 0 118356 248 0 0 25 0 1 0 1859561871 6320128 1128 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/471/statm): 1543 1128 566 18 0 1525 0
[pid=471] vsize: 6172
Current children cumulated CPU time (s) 1186.04
Current children cumulated vsize (Kb) 6172
One traced child (pid=471) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1193.05
CPU time (s): 1189.03
CPU user time (s): 1186.53
CPU system time (s): 2.49462
CPU usage (%): 99.663
Max. virtual memory (cumulated for all children) (Kb): 6180

Verifier Data

Verifier:	OK	14