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:100.opb
MD5SUMb2c6bc03457d15976fdaf81252d9cdae
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved NO
Number of terms in the objective function 435
Biggest coefficient in the objective function 282
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1168
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 282
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1168
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 benchmark1195.11
Number of variables435
Total number of constraints935
Number of constraints which are clauses403
Number of constraints which are cardinality constraints (but not clauses)532
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16

Trace number 8058

Launcher Data

LAUNCH ON wulflinc11 THE 2005-09-20 15:21:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5090 boxname=wulflinc11 idbench=402 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  b2c6bc03457d15976fdaf81252d9cdae  /oldhome/oroussel/tmp/wulflinc11/normalized-10:10:4.5:0.95:100.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5090
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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:        846764 kB
Buffers:         33760 kB
Cached:         127572 kB
SwapCached:        916 kB
Active:          73872 kB
Inactive:        90040 kB
HighTotal:      131008 kB
HighFree:         8288 kB
LowTotal:       903652 kB
LowFree:        838476 kB
SwapTotal:     2097136 kB
SwapFree:      2095640 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5684 kB
Slab:            18308 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 15:41:02 (client local time) WITH STATUS 10 IN 1189.06 SECONDS
stats: 5090 0 1189.06 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: 435 - #constraints read: 936
c total time              : 1189.04 s
s SATISFIABLE
v -v358 v234 v62 v5 v340 v235 -v399 -v362 v339 v239 v6 -v398 -v360 v238 v7 -v400 v341 -v236 v143 v10 -v433 -v361 v343 -v237 v142 v8 -v416 -v365 v144 -v9 -v420 v344 v434 -v357 -v233 v182 v61 v2 -v336 v232 -v186 v4 -v363 -v335 -v320 v243 v3 v11 -v366 v342 -v401 -v364 v345 -v415 v409 -v419 v405 v145 -v404 -v386 v153 v26 v149 -v30 -v355 -v316 -v251 -v246 v181 v63 -v359 -v255 -v247 v185 v1 -v356 -v319 -v242 v19 -v367 v337 v15 -v406 v338 -v240 -v160 -v67 v14 -v408 -v164 -v417 -v382 -v349 v150 v128 -v421 v152 -v402 -v385 -v301 v25 v148 v29 -v315 -v273 -v250 -v244 v183 v64 v16 -v354 -v277 -v254 v187 v18 -v375 -v321 -v83 v68 -v411 -v407 -v371 -v87 -v66 -v410 -v370 -v352 -v241 -v189 -v159 v124 v47 v12 -v353 -v190 -v163 -v151 -v418 -v381 -v348 -v324 -v297 v127 v13 -v422 -v423 -v403 -v387 -v346 -v300 v27 -v424 v146 v31 -v372 -v317 -v272 -v252 -v245 v184 v65 v17 -v374 -v276 -v256 v188 v69 -v351 -v322 -v192 -v82 -v43 -v350 -v191 v86 -v377 -v368 -v325 -v258 -v161 v123 v46 -v412 -v323 -v259 -v165 -v21 -v413 -v383 -v369 -v296 v129 v20 v414 -v428 -v388 -v347 -v302 v167 v28 -v168 v147 v32 -v373 -v313 -v274 v253 v180 v77 -v318 -v278 -v257 v179 -v155 v73 -v314 -v261 -v196 -v154 -v119 -v84 v72 v42 -v326 -v260 v88 -v292 -v280 -v220 -v162 v125 -v111 v48 -v376 -v281 -v224 -v166 -v431 -v378 -v298 v170 v130 -v90 -v432 -v384 v169 -v91 v22 -v427 v380 -v303 -v210 v131 -v51 v23 v389 v132 v24 -v275 -v249 -v199 v79 v76 v38 -v312 -v279 v248 -v200 -v334 -v283 -v265 -v195 -v107 v85 v70 v44 -v330 -v282 -v156 -v118 v89 -v430 -v329 -v219 -v193 -v157 -v120 -v110 v93 v71 v49 -v429 -v291 -v223 v158 v126 -v92 -v293 -v206 -v174 v122 v52 -v379 -v299 v133 -v50 -v425 -v397 v295 -v209 -v35 v393 v304 -v36 -v331 -v271 -v268 -v197 v74 -v333 -v270 -v269 v78 v37 -v287 -v264 -v106 v80 v39 v81 v45 -v327 -v262 -v221 -v194 -v177 v112 v97 v41 -v225 v178 v121 v53 -v394 -v328 v205 -v173 v141 -v34 -v396 v294 v137 -v33 -v426 -v311 -v227 v211 -v171 v136 v115 v392 v307 -v228 -v332 -v288 -v266 -v198 v104 -v75 -v290 -v215 -v286 -v214 -v176 v108 v100 -v175 v101 v40 -v284 -v263 -v222 -v203 -v138 v113 v96 v60 -v395 -v226 -v140 -v57 -v308 -v230 v207 v116 v94 -v56 -v310 -v229 v114 v212 -v172 v134 -v390 v305 -v289 -v267 v99 v103 v98 v102 v59 -v216 -v139 v109 v58 -v285 -v217 v105 -v309 v218 -v202 v117 v231 v201 -v95 -v54 v208 v204 v135 -v55 -v391 v306 v213 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/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1801343666 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6010/statm): 41 3 40 18 0 23 0
[pid=6010] 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.0043 s]
Raw data (loadavg): 0.94 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 628 0 0 0 988 4 0 0 25 0 1 0 1801343666 4132864 594 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1009 594 566 18 0 991 0
[pid=6010] vsize: 4036
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (Kb) 4036

[startup+20.0051 s]
Raw data (loadavg): 0.95 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 744 0 0 0 1981 7 0 0 25 0 1 0 1801343666 4542464 710 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1109 710 566 18 0 1091 0
[pid=6010] vsize: 4436
Current children cumulated CPU time (s) 19.88
Current children cumulated vsize (Kb) 4436

[startup+30.0049 s]
Raw data (loadavg): 0.95 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 781 0 0 0 2976 9 0 0 25 0 1 0 1801343666 4677632 747 4294967295 134512640 134578447 3221224624 3221223456 134528563 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1142 747 566 18 0 1124 0
[pid=6010] vsize: 4568
Current children cumulated CPU time (s) 29.85
Current children cumulated vsize (Kb) 4568

[startup+40.0056 s]
Raw data (loadavg): 0.96 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 816 0 0 0 3971 11 0 0 25 0 1 0 1801343666 4812800 782 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1175 782 566 18 0 1157 0
[pid=6010] vsize: 4700
Current children cumulated CPU time (s) 39.82
Current children cumulated vsize (Kb) 4700

[startup+50.0054 s]
Raw data (loadavg): 0.97 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 827 0 0 0 4966 13 0 0 25 0 1 0 1801343666 4952064 793 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1209 793 566 18 0 1191 0
[pid=6010] vsize: 4836
Current children cumulated CPU time (s) 49.79
Current children cumulated vsize (Kb) 4836

[startup+60.0062 s]
Raw data (loadavg): 0.97 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 829 0 0 0 5960 15 0 0 25 0 1 0 1801343666 4952064 795 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1209 795 566 18 0 1191 0
[pid=6010] vsize: 4836
Current children cumulated CPU time (s) 59.75
Current children cumulated vsize (Kb) 4836

[startup+70.006 s]
Raw data (loadavg): 0.97 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 855 0 0 0 6955 18 0 0 25 0 1 0 1801343666 5091328 821 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1243 821 566 18 0 1225 0
[pid=6010] vsize: 4972
Current children cumulated CPU time (s) 69.73
Current children cumulated vsize (Kb) 4972

[startup+80.0068 s]
Raw data (loadavg): 0.98 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 863 0 0 0 7948 20 0 0 25 0 1 0 1801343666 5091328 829 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1243 829 566 18 0 1225 0
[pid=6010] vsize: 4972
Current children cumulated CPU time (s) 79.68
Current children cumulated vsize (Kb) 4972

[startup+90.0066 s]
Raw data (loadavg): 0.98 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 863 0 0 0 8941 24 0 0 25 0 1 0 1801343666 5091328 829 4294967295 134512640 134578447 3221224624 3221221616 134533119 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1243 829 566 18 0 1225 0
[pid=6010] vsize: 4972
Current children cumulated CPU time (s) 89.65
Current children cumulated vsize (Kb) 4972

[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 864 0 0 0 9937 25 0 0 25 0 1 0 1801343666 5091328 830 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1243 830 566 18 0 1225 0
[pid=6010] vsize: 4972
Current children cumulated CPU time (s) 99.62
Current children cumulated vsize (Kb) 4972

[startup+110.007 s]
Raw data (loadavg): 0.99 0.97 0.95 1/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) T 6009 6010 9854 0 -1 0 874 0 0 0 10935 26 0 0 25 0 1 0 1801343666 5091328 840 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1243 840 566 18 0 1225 0
[pid=6010] vsize: 4972
Current children cumulated CPU time (s) 109.61
Current children cumulated vsize (Kb) 4972

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) T 6009 6010 9854 0 -1 0 898 0 0 0 11930 28 0 0 25 0 1 0 1801343666 5222400 864 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1275 864 566 18 0 1257 0
[pid=6010] vsize: 5100
Current children cumulated CPU time (s) 119.58
Current children cumulated vsize (Kb) 5100

[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 901 0 0 0 12925 30 0 0 25 0 1 0 1801343666 5222400 867 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1275 867 566 18 0 1257 0
[pid=6010] vsize: 5100
Current children cumulated CPU time (s) 129.55
Current children cumulated vsize (Kb) 5100

[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 901 0 0 0 13922 31 0 0 25 0 1 0 1801343666 5222400 867 4294967295 134512640 134578447 3221224624 3221223584 134558788 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1275 867 566 18 0 1257 0
[pid=6010] vsize: 5100
Current children cumulated CPU time (s) 139.53
Current children cumulated vsize (Kb) 5100

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 901 0 0 0 14917 33 0 0 25 0 1 0 1801343666 5222400 867 4294967295 134512640 134578447 3221224624 3221223456 134528399 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1275 867 566 18 0 1257 0
[pid=6010] vsize: 5100
Current children cumulated CPU time (s) 149.5
Current children cumulated vsize (Kb) 5100

[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 934 0 0 0 15914 33 0 0 25 0 1 0 1801343666 5361664 900 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1309 900 566 18 0 1291 0
[pid=6010] vsize: 5236
Current children cumulated CPU time (s) 159.47
Current children cumulated vsize (Kb) 5236

[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 966 0 0 0 16911 34 0 0 25 0 1 0 1801343666 5496832 932 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1342 932 566 18 0 1324 0
[pid=6010] vsize: 5368
Current children cumulated CPU time (s) 169.45
Current children cumulated vsize (Kb) 5368

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 973 0 0 0 17908 35 0 0 25 0 1 0 1801343666 5496832 939 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1342 939 566 18 0 1324 0
[pid=6010] vsize: 5368
Current children cumulated CPU time (s) 179.43
Current children cumulated vsize (Kb) 5368

[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 980 0 0 0 18905 37 0 0 25 0 1 0 1801343666 5496832 946 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1342 946 566 18 0 1324 0
[pid=6010] vsize: 5368
Current children cumulated CPU time (s) 189.42
Current children cumulated vsize (Kb) 5368

[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 980 0 0 0 19902 37 0 0 25 0 1 0 1801343666 5496832 946 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1342 946 566 18 0 1324 0
[pid=6010] vsize: 5368
Current children cumulated CPU time (s) 199.39
Current children cumulated vsize (Kb) 5368

[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 980 0 0 0 20900 38 0 0 25 0 1 0 1801343666 5496832 946 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1342 946 566 18 0 1324 0
[pid=6010] vsize: 5368
Current children cumulated CPU time (s) 209.38
Current children cumulated vsize (Kb) 5368

[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 980 0 0 0 21895 39 0 0 25 0 1 0 1801343666 5496832 946 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1342 946 566 18 0 1324 0
[pid=6010] vsize: 5368
Current children cumulated CPU time (s) 219.34
Current children cumulated vsize (Kb) 5368

[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 989 0 0 0 22891 41 0 0 25 0 1 0 1801343666 5632000 955 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1375 955 566 18 0 1357 0
[pid=6010] vsize: 5500
Current children cumulated CPU time (s) 229.32
Current children cumulated vsize (Kb) 5500

[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 989 0 0 0 23887 43 0 0 25 0 1 0 1801343666 5595136 955 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1366 955 566 18 0 1348 0
[pid=6010] vsize: 5464
Current children cumulated CPU time (s) 239.3
Current children cumulated vsize (Kb) 5464

[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 989 0 0 0 24883 44 0 0 25 0 1 0 1801343666 5595136 955 4294967295 134512640 134578447 3221224624 3221223488 134517615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1366 955 566 18 0 1348 0
[pid=6010] vsize: 5464
Current children cumulated CPU time (s) 249.27
Current children cumulated vsize (Kb) 5464

[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 989 0 0 0 25879 46 0 0 25 0 1 0 1801343666 5595136 955 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1366 955 566 18 0 1348 0
[pid=6010] vsize: 5464
Current children cumulated CPU time (s) 259.25
Current children cumulated vsize (Kb) 5464

[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 989 0 0 0 26875 47 0 0 25 0 1 0 1801343666 5591040 955 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1365 955 566 18 0 1347 0
[pid=6010] vsize: 5460
Current children cumulated CPU time (s) 269.22
Current children cumulated vsize (Kb) 5460

[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 989 0 0 0 27870 49 0 0 25 0 1 0 1801343666 5591040 955 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1365 955 566 18 0 1347 0
[pid=6010] vsize: 5460
Current children cumulated CPU time (s) 279.19
Current children cumulated vsize (Kb) 5460

[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 989 0 0 0 28866 51 0 0 25 0 1 0 1801343666 5586944 955 4294967295 134512640 134578447 3221224624 3221223536 134556815 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1364 955 566 18 0 1346 0
[pid=6010] vsize: 5456
Current children cumulated CPU time (s) 289.17
Current children cumulated vsize (Kb) 5456

[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 989 0 0 0 29863 52 0 0 25 0 1 0 1801343666 5586944 955 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1364 955 566 18 0 1346 0
[pid=6010] vsize: 5456
Current children cumulated CPU time (s) 299.15
Current children cumulated vsize (Kb) 5456

[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1008 0 0 0 30861 53 0 0 25 0 1 0 1801343666 5636096 974 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1376 974 566 18 0 1358 0
[pid=6010] vsize: 5504
Current children cumulated CPU time (s) 309.14
Current children cumulated vsize (Kb) 5504

[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1008 0 0 0 31858 55 0 0 25 0 1 0 1801343666 5636096 974 4294967295 134512640 134578447 3221224624 3221223528 134557594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1376 974 566 18 0 1358 0
[pid=6010] vsize: 5504
Current children cumulated CPU time (s) 319.13
Current children cumulated vsize (Kb) 5504

[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1025 0 0 0 32854 56 0 0 25 0 1 0 1801343666 5775360 991 4294967295 134512640 134578447 3221224624 3221223456 134527257 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1410 991 566 18 0 1392 0
[pid=6010] vsize: 5640
Current children cumulated CPU time (s) 329.1
Current children cumulated vsize (Kb) 5640

[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1025 0 0 0 33849 57 0 0 25 0 1 0 1801343666 5775360 991 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1410 991 566 18 0 1392 0
[pid=6010] vsize: 5640
Current children cumulated CPU time (s) 339.06
Current children cumulated vsize (Kb) 5640

[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1026 0 0 0 34844 59 0 0 25 0 1 0 1801343666 5775360 992 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1410 992 566 18 0 1392 0
[pid=6010] vsize: 5640
Current children cumulated CPU time (s) 349.03
Current children cumulated vsize (Kb) 5640

[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1026 0 0 0 35840 61 0 0 25 0 1 0 1801343666 5775360 992 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1410 992 566 18 0 1392 0
[pid=6010] vsize: 5640
Current children cumulated CPU time (s) 359.01
Current children cumulated vsize (Kb) 5640

[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1026 0 0 0 36834 63 0 0 25 0 1 0 1801343666 5775360 992 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1410 992 566 18 0 1392 0
[pid=6010] vsize: 5640
Current children cumulated CPU time (s) 368.97
Current children cumulated vsize (Kb) 5640

[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1026 0 0 0 37830 64 0 0 25 0 1 0 1801343666 5775360 992 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1410 992 566 18 0 1392 0
[pid=6010] vsize: 5640
Current children cumulated CPU time (s) 378.94
Current children cumulated vsize (Kb) 5640

[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1026 0 0 0 38826 66 0 0 25 0 1 0 1801343666 5775360 992 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1410 992 566 18 0 1392 0
[pid=6010] vsize: 5640
Current children cumulated CPU time (s) 388.92
Current children cumulated vsize (Kb) 5640

[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1026 0 0 0 39821 68 0 0 25 0 1 0 1801343666 5775360 992 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1410 992 566 18 0 1392 0
[pid=6010] vsize: 5640
Current children cumulated CPU time (s) 398.89
Current children cumulated vsize (Kb) 5640

[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1026 0 0 0 40816 70 0 0 25 0 1 0 1801343666 5775360 992 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1410 992 566 18 0 1392 0
[pid=6010] vsize: 5640
Current children cumulated CPU time (s) 408.86
Current children cumulated vsize (Kb) 5640

[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1035 0 0 0 41813 71 0 0 25 0 1 0 1801343666 5775360 1001 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1410 1001 566 18 0 1392 0
[pid=6010] vsize: 5640
Current children cumulated CPU time (s) 418.84
Current children cumulated vsize (Kb) 5640

[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1035 0 0 0 42806 74 0 0 25 0 1 0 1801343666 5775360 1001 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1410 1001 566 18 0 1392 0
[pid=6010] vsize: 5640
Current children cumulated CPU time (s) 428.8
Current children cumulated vsize (Kb) 5640

[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1044 0 0 0 43802 75 0 0 25 0 1 0 1801343666 5775360 1010 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1410 1010 566 18 0 1392 0
[pid=6010] vsize: 5640
Current children cumulated CPU time (s) 438.77
Current children cumulated vsize (Kb) 5640

[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1044 0 0 0 44799 76 0 0 25 0 1 0 1801343666 5775360 1010 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1410 1010 566 18 0 1392 0
[pid=6010] vsize: 5640
Current children cumulated CPU time (s) 448.75
Current children cumulated vsize (Kb) 5640

[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1061 0 0 0 45795 77 0 0 25 0 1 0 1801343666 5910528 1027 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1443 1027 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 458.72
Current children cumulated vsize (Kb) 5772

[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1072 0 0 0 46791 79 0 0 25 0 1 0 1801343666 5910528 1038 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6010/statm): 1443 1038 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 468.7
Current children cumulated vsize (Kb) 5772

[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1072 0 0 0 47788 80 0 0 25 0 1 0 1801343666 5910528 1038 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6010/statm): 1443 1038 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 478.68
Current children cumulated vsize (Kb) 5772

[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1072 0 0 0 48785 82 0 0 25 0 1 0 1801343666 5910528 1038 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6010/statm): 1443 1038 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 488.67
Current children cumulated vsize (Kb) 5772

[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1072 0 0 0 49781 83 0 0 25 0 1 0 1801343666 5910528 1038 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6010/statm): 1443 1038 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 498.64
Current children cumulated vsize (Kb) 5772

[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1082 0 0 0 50778 85 0 0 25 0 1 0 1801343666 5910528 1048 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6010/statm): 1443 1048 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 508.63
Current children cumulated vsize (Kb) 5772

[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1084 0 0 0 51774 87 0 0 25 0 1 0 1801343666 5910528 1050 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6010/statm): 1443 1050 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 518.61
Current children cumulated vsize (Kb) 5772

[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1084 0 0 0 52771 88 0 0 25 0 1 0 1801343666 5910528 1050 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6010/statm): 1443 1050 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 528.59
Current children cumulated vsize (Kb) 5772

[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1084 0 0 0 53768 89 0 0 25 0 1 0 1801343666 5910528 1050 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1443 1050 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 538.57
Current children cumulated vsize (Kb) 5772

[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1084 0 0 0 54765 91 0 0 25 0 1 0 1801343666 5910528 1050 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1443 1050 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 548.56
Current children cumulated vsize (Kb) 5772

[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1084 0 0 0 55760 92 0 0 25 0 1 0 1801343666 5910528 1050 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1443 1050 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 558.52
Current children cumulated vsize (Kb) 5772

[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1084 0 0 0 56758 93 0 0 25 0 1 0 1801343666 5910528 1050 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1443 1050 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 568.51
Current children cumulated vsize (Kb) 5772

[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1084 0 0 0 57755 94 0 0 25 0 1 0 1801343666 5910528 1050 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1443 1050 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 578.49
Current children cumulated vsize (Kb) 5772

[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1084 0 0 0 58751 96 0 0 25 0 1 0 1801343666 5910528 1050 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1443 1050 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 588.47
Current children cumulated vsize (Kb) 5772

[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1084 0 0 0 59746 98 0 0 25 0 1 0 1801343666 5910528 1050 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1443 1050 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 598.44
Current children cumulated vsize (Kb) 5772

[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.95 1/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) T 6009 6010 9854 0 -1 0 1084 0 0 0 60742 99 0 0 25 0 1 0 1801343666 5910528 1050 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1443 1050 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 608.41
Current children cumulated vsize (Kb) 5772

[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1084 0 0 0 61737 102 0 0 25 0 1 0 1801343666 5910528 1050 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1443 1050 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 618.39
Current children cumulated vsize (Kb) 5772

[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1084 0 0 0 62732 103 0 0 25 0 1 0 1801343666 5910528 1050 4294967295 134512640 134578447 3221224624 3221223572 134558732 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1443 1050 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 628.35
Current children cumulated vsize (Kb) 5772

[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1084 0 0 0 63727 105 0 0 25 0 1 0 1801343666 5910528 1050 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1443 1050 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 638.32
Current children cumulated vsize (Kb) 5772

[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1084 0 0 0 64723 107 0 0 25 0 1 0 1801343666 5910528 1050 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1443 1050 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 648.3
Current children cumulated vsize (Kb) 5772

[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1084 0 0 0 65718 108 0 0 25 0 1 0 1801343666 5910528 1050 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1443 1050 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 658.26
Current children cumulated vsize (Kb) 5772

[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.95 1/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) T 6009 6010 9854 0 -1 0 1084 0 0 0 66715 109 0 0 25 0 1 0 1801343666 5910528 1050 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1443 1050 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 668.24
Current children cumulated vsize (Kb) 5772

[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1084 0 0 0 67708 112 0 0 25 0 1 0 1801343666 5910528 1050 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1443 1050 566 18 0 1425 0
[pid=6010] vsize: 5772
Current children cumulated CPU time (s) 678.2
Current children cumulated vsize (Kb) 5772

[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1115 0 0 0 68703 114 0 0 25 0 1 0 1801343666 6045696 1081 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1476 1081 566 18 0 1458 0
[pid=6010] vsize: 5904
Current children cumulated CPU time (s) 688.17
Current children cumulated vsize (Kb) 5904

[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1170 0 0 0 69699 116 0 0 25 0 1 0 1801343666 6250496 1122 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1526 1122 566 18 0 1508 0
[pid=6010] vsize: 6104
Current children cumulated CPU time (s) 698.15
Current children cumulated vsize (Kb) 6104

[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1232 0 0 0 70695 117 0 0 25 0 1 0 1801343666 6258688 1124 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1528 1124 566 18 0 1510 0
[pid=6010] vsize: 6112
Current children cumulated CPU time (s) 708.12
Current children cumulated vsize (Kb) 6112

[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1232 0 0 0 71691 118 0 0 25 0 1 0 1801343666 6258688 1124 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1528 1124 566 18 0 1510 0
[pid=6010] vsize: 6112
Current children cumulated CPU time (s) 718.09
Current children cumulated vsize (Kb) 6112

[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1234 0 0 0 72687 119 0 0 25 0 1 0 1801343666 6258688 1126 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1528 1126 566 18 0 1510 0
[pid=6010] vsize: 6112
Current children cumulated CPU time (s) 728.06
Current children cumulated vsize (Kb) 6112

[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1234 0 0 0 73684 121 0 0 25 0 1 0 1801343666 6258688 1126 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1528 1126 566 18 0 1510 0
[pid=6010] vsize: 6112
Current children cumulated CPU time (s) 738.05
Current children cumulated vsize (Kb) 6112

[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1234 0 0 0 74680 122 0 0 25 0 1 0 1801343666 6258688 1126 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1528 1126 566 18 0 1510 0
[pid=6010] vsize: 6112
Current children cumulated CPU time (s) 748.02
Current children cumulated vsize (Kb) 6112

[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1234 0 0 0 75676 124 0 0 25 0 1 0 1801343666 6258688 1126 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1528 1126 566 18 0 1510 0
[pid=6010] vsize: 6112
Current children cumulated CPU time (s) 758
Current children cumulated vsize (Kb) 6112

[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1234 0 0 0 76672 125 0 0 25 0 1 0 1801343666 6258688 1126 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1528 1126 566 18 0 1510 0
[pid=6010] vsize: 6112
Current children cumulated CPU time (s) 767.97
Current children cumulated vsize (Kb) 6112

[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1245 0 0 0 77667 127 0 0 25 0 1 0 1801343666 6393856 1137 4294967295 134512640 134578447 3221224624 3221223248 134532012 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1137 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 777.94
Current children cumulated vsize (Kb) 6244

[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1245 0 0 0 78663 128 0 0 25 0 1 0 1801343666 6393856 1137 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1137 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 787.91
Current children cumulated vsize (Kb) 6244

[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1247 0 0 0 79659 129 0 0 25 0 1 0 1801343666 6393856 1139 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1139 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 797.88
Current children cumulated vsize (Kb) 6244

[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1257 0 0 0 80655 130 0 0 25 0 1 0 1801343666 6393856 1149 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1149 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 807.85
Current children cumulated vsize (Kb) 6244

[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1267 0 0 0 81650 132 0 0 25 0 1 0 1801343666 6393856 1159 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1159 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 817.82
Current children cumulated vsize (Kb) 6244

[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1267 0 0 0 82647 134 0 0 25 0 1 0 1801343666 6393856 1159 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1159 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 827.81
Current children cumulated vsize (Kb) 6244

[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1269 0 0 0 83643 136 0 0 25 0 1 0 1801343666 6393856 1161 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1161 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 837.79
Current children cumulated vsize (Kb) 6244

[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1269 0 0 0 84638 138 0 0 25 0 1 0 1801343666 6393856 1161 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1161 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 847.76
Current children cumulated vsize (Kb) 6244

[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1271 0 0 0 85632 140 0 0 25 0 1 0 1801343666 6393856 1163 4294967295 134512640 134578447 3221224624 3221223456 134528247 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1163 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 857.72
Current children cumulated vsize (Kb) 6244

[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1271 0 0 0 86627 142 0 0 25 0 1 0 1801343666 6393856 1163 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1163 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 867.69
Current children cumulated vsize (Kb) 6244

[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1271 0 0 0 87623 143 0 0 25 0 1 0 1801343666 6393856 1163 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1163 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 877.66
Current children cumulated vsize (Kb) 6244

[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.95 1/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) T 6009 6010 9854 0 -1 0 1271 0 0 0 88619 144 0 0 25 0 1 0 1801343666 6393856 1163 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1163 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 887.63
Current children cumulated vsize (Kb) 6244

[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.95 1/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) T 6009 6010 9854 0 -1 0 1271 0 0 0 89614 146 0 0 25 0 1 0 1801343666 6393856 1163 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1163 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 897.6
Current children cumulated vsize (Kb) 6244

[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1271 0 0 0 90609 148 0 0 25 0 1 0 1801343666 6393856 1163 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1163 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 907.57
Current children cumulated vsize (Kb) 6244

[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1271 0 0 0 91606 149 0 0 25 0 1 0 1801343666 6393856 1163 4294967295 134512640 134578447 3221224624 3221223536 134516768 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1163 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 917.55
Current children cumulated vsize (Kb) 6244

[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1271 0 0 0 92601 152 0 0 25 0 1 0 1801343666 6393856 1163 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1163 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 927.53
Current children cumulated vsize (Kb) 6244

[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1271 0 0 0 93596 153 0 0 25 0 1 0 1801343666 6393856 1163 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1163 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 937.49
Current children cumulated vsize (Kb) 6244

[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1271 0 0 0 94591 154 0 0 25 0 1 0 1801343666 6393856 1163 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1163 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 947.45
Current children cumulated vsize (Kb) 6244

[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1271 0 0 0 95586 157 0 0 25 0 1 0 1801343666 6393856 1163 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1163 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 957.43
Current children cumulated vsize (Kb) 6244

[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.95 1/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) T 6009 6010 9854 0 -1 0 1271 0 0 0 96580 159 0 0 25 0 1 0 1801343666 6393856 1163 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1163 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 967.39
Current children cumulated vsize (Kb) 6244

[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1271 0 0 0 97575 161 0 0 25 0 1 0 1801343666 6393856 1163 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1163 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 977.36
Current children cumulated vsize (Kb) 6244

[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1271 0 0 0 98571 163 0 0 25 0 1 0 1801343666 6393856 1163 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1163 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 987.34
Current children cumulated vsize (Kb) 6244

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1271 0 0 0 99564 166 0 0 25 0 1 0 1801343666 6393856 1163 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1163 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 997.3
Current children cumulated vsize (Kb) 6244

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1271 0 0 0 100560 167 0 0 25 0 1 0 1801343666 6393856 1163 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1163 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 1007.27
Current children cumulated vsize (Kb) 6244

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1271 0 0 0 101555 168 0 0 25 0 1 0 1801343666 6393856 1163 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1163 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 1017.23
Current children cumulated vsize (Kb) 6244

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1271 0 0 0 102552 170 0 0 25 0 1 0 1801343666 6393856 1163 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1561 1163 566 18 0 1543 0
[pid=6010] vsize: 6244
Current children cumulated CPU time (s) 1027.22
Current children cumulated vsize (Kb) 6244

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1313 0 0 0 103549 171 0 0 25 0 1 0 1801343666 6664192 1205 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1627 1205 566 18 0 1609 0
[pid=6010] vsize: 6508
Current children cumulated CPU time (s) 1037.2
Current children cumulated vsize (Kb) 6508

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.95 1/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) T 6009 6010 9854 0 -1 0 1313 0 0 0 104545 173 0 0 25 0 1 0 1801343666 6664192 1205 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1627 1205 566 18 0 1609 0
[pid=6010] vsize: 6508
Current children cumulated CPU time (s) 1047.18
Current children cumulated vsize (Kb) 6508

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1313 0 0 0 105543 173 0 0 25 0 1 0 1801343666 6664192 1205 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1627 1205 566 18 0 1609 0
[pid=6010] vsize: 6508
Current children cumulated CPU time (s) 1057.16
Current children cumulated vsize (Kb) 6508

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1313 0 0 0 106540 175 0 0 25 0 1 0 1801343666 6664192 1205 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1627 1205 566 18 0 1609 0
[pid=6010] vsize: 6508
Current children cumulated CPU time (s) 1067.15
Current children cumulated vsize (Kb) 6508

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1313 0 0 0 107537 176 0 0 25 0 1 0 1801343666 6664192 1205 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1627 1205 566 18 0 1609 0
[pid=6010] vsize: 6508
Current children cumulated CPU time (s) 1077.13
Current children cumulated vsize (Kb) 6508

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1314 0 0 0 108534 177 0 0 25 0 1 0 1801343666 6664192 1206 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1627 1206 566 18 0 1609 0
[pid=6010] vsize: 6508
Current children cumulated CPU time (s) 1087.11
Current children cumulated vsize (Kb) 6508

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1314 0 0 0 109531 178 0 0 25 0 1 0 1801343666 6664192 1206 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1627 1206 566 18 0 1609 0
[pid=6010] vsize: 6508
Current children cumulated CPU time (s) 1097.09
Current children cumulated vsize (Kb) 6508

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1314 0 0 0 110529 179 0 0 25 0 1 0 1801343666 6664192 1206 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1627 1206 566 18 0 1609 0
[pid=6010] vsize: 6508
Current children cumulated CPU time (s) 1107.08
Current children cumulated vsize (Kb) 6508

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1314 0 0 0 111527 180 0 0 25 0 1 0 1801343666 6664192 1206 4294967295 134512640 134578447 3221224624 3221223572 134558732 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1627 1206 566 18 0 1609 0
[pid=6010] vsize: 6508
Current children cumulated CPU time (s) 1117.07
Current children cumulated vsize (Kb) 6508

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1314 0 0 0 112524 181 0 0 25 0 1 0 1801343666 6664192 1206 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1627 1206 566 18 0 1609 0
[pid=6010] vsize: 6508
Current children cumulated CPU time (s) 1127.05
Current children cumulated vsize (Kb) 6508

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1339 0 0 0 113522 183 0 0 25 0 1 0 1801343666 6664192 1231 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1627 1231 566 18 0 1609 0
[pid=6010] vsize: 6508
Current children cumulated CPU time (s) 1137.05
Current children cumulated vsize (Kb) 6508

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1339 0 0 0 114519 184 0 0 25 0 1 0 1801343666 6664192 1231 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1627 1231 566 18 0 1609 0
[pid=6010] vsize: 6508
Current children cumulated CPU time (s) 1147.03
Current children cumulated vsize (Kb) 6508

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1339 0 0 0 115516 185 0 0 25 0 1 0 1801343666 6664192 1231 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1627 1231 566 18 0 1609 0
[pid=6010] vsize: 6508
Current children cumulated CPU time (s) 1157.01
Current children cumulated vsize (Kb) 6508

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1339 0 0 0 116513 186 0 0 25 0 1 0 1801343666 6664192 1231 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1627 1231 566 18 0 1609 0
[pid=6010] vsize: 6508
Current children cumulated CPU time (s) 1166.99
Current children cumulated vsize (Kb) 6508

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1339 0 0 0 117510 187 0 0 25 0 1 0 1801343666 6664192 1231 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1627 1231 566 18 0 1609 0
[pid=6010] vsize: 6508
Current children cumulated CPU time (s) 1176.97
Current children cumulated vsize (Kb) 6508

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 6010
Raw data (/proc/6010/stat): 6010 (Pueblo) R 6009 6010 9854 0 -1 0 1339 0 0 0 118508 188 0 0 25 0 1 0 1801343666 6664192 1231 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6010/statm): 1627 1231 566 18 0 1609 0
[pid=6010] vsize: 6508
Current children cumulated CPU time (s) 1186.96
Current children cumulated vsize (Kb) 6508
One traced child (pid=6010) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1192.14
CPU time (s): 1189.06
CPU user time (s): 1187.17
CPU system time (s): 1.88771
CPU usage (%): 99.7414
Max. virtual memory (cumulated for all children) (Kb): 6508

Verifier Data

Verifier:	OK	5