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

Namesubmitted/manquinho/ttp/normalized-data6_3.opb
MD5SUM3ce91e964f348d481da3f7741c5768eb
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25102
Optimality of the best value was proved NO
Number of terms in the objective function 180
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 116904
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 116904
Number of bits of the biggest sum of numbers17
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.02
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20

Trace number 7830

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        847756 kB
Buffers:         34468 kB
Cached:         122576 kB
SwapCached:        784 kB
Active:          81804 kB
Inactive:        77984 kB
HighTotal:      131008 kB
HighFree:        18648 kB
LowTotal:       903652 kB
LowFree:        829108 kB
SwapTotal:     2097892 kB
SwapFree:      2096640 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5792 kB
Slab:            21552 kB
Committed_AS:    64276 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 14:36:50 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 4949 0 1189.02 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: 540 - #constraints read: 4627
c total time              : 1189 s
s SATISFIABLE
v -v361 v362 v363 -v364 -v365 -v366 -v367 -v368 -v369 v370 -v371 v372 -v373 -v374 -v375 -v376 -v377 -v378 v379 -v380 v381 -v382 -v383 -v384 -v385 v386 -v387 -v388 -v389 -v390 v391 -v392 -v393 -v394 -v395 -v396 v397 v398 -v399 v400 -v401 v402 -v403 -v404 -v405 -v406 v407 -v408 -v409 -v410 v411 -v412 -v413 -v414 -v415 -v416 -v417 -v418 -v419 v420 -v421 -v422 -v423 -v424 v425 -v426 v427 -v428 -v429 -v430 v431 -v432 v433 v434 -v435 -v436 v437 -v438 -v439 -v440 -v441 -v442 v443 -v444 -v445 -v446 -v447 v448 -v449 -v450 -v451 -v452 v453 -v454 -v455 -v456 -v457 -v458 -v459 v460 -v461 v462 -v463 -v464 -v465 -v466 -v467 v468 v469 -v470 v471 -v472 -v473 -v474 -v475 -v476 -v477 -v478 v479 -v480 v481 -v482 -v483 -v484 -v485 -v486 -v487 -v488 v489 -v490 -v491 -v492 v493 -v494 -v495 -v496 -v497 -v498 -v499 v500 v501 -v502 v503 -v504 -v505 -v506 -v507 -v508 -v509 v510 -v511 -v512 -v513 v514 -v515 -v516 -v517 -v518 -v519 v520 -v521 -v522 -v523 -v524 v525 -v526 v527 -v528 -v529 -v530 -v531 -v532 v533 -v534 -v535 v536 -v537 -v538 v539 -v540 -v2 -v38 -v74 -v110 v146 -v182 -v218 -v254 -v290 -v326 -v3 -v39 -v75 v111 -v147 -v183 -v219 -v255 -v291 -v327 -v4 -v40 -v76 -v112 -v148 -v184 -v220 -v256 v292 -v328 -v5 -v41 -v77 -v113 -v149 -v185 -v221 -v257 -v293 v329 -v6 -v42 -v78 -v114 -v150 v186 -v222 -v258 -v294 -v330 -v7 -v43 v79 -v115 -v151 -v187 -v223 -v259 -v295 -v331 -v9 -v45 -v81 -v117 -v153 -v189 v225 -v261 -v297 -v333 -v10 -v46 -v82 -v118 -v154 -v190 -v226 -v262 -v298 v334 -v11 v47 -v83 -v119 -v155 -v191 -v227 -v263 -v299 -v335 v12 -v48 -v84 -v120 -v156 -v192 -v228 -v264 -v300 -v336 v13 -v49 -v85 -v121 -v157 -v193 -v229 -v265 -v301 -v337 -v14 -v50 -v86 -v122 -v158 -v194 -v230 -v266 v302 -v338 -v16 -v52 -v88 -v124 -v160 -v196 -v232 v268 -v304 -v340 -v17 -v53 -v89 -v125 -v161 v197 -v233 -v269 -v305 -v341 -v18 v54 -v90 -v126 -v162 -v198 -v234 -v270 -v306 -v342 -v19 v55 -v91 -v127 -v163 -v199 -v235 -v271 -v307 -v343 -v20 -v56 -v92 -v128 -v164 v200 -v236 -v272 -v308 -v344 -v21 -v57 -v93 -v129 v165 -v201 -v237 -v273 -v309 -v345 v23 -v59 -v95 -v131 -v167 -v203 -v239 -v275 -v311 -v347 -v24 -v60 -v96 -v132 -v168 -v204 v240 -v276 -v312 -v348 -v25 -v61 -v97 -v133 -v169 -v205 v241 -v277 -v313 -v349 -v26 -v62 -v98 -v134 -v170 -v206 -v242 v278 -v314 -v350 -v27 -v63 v99 -v135 -v171 -v207 -v243 -v279 -v315 -v351 -v28 -v64 -v100 v136 -v172 -v208 -v244 -v280 -v316 -v352 -v30 -v66 -v102 -v138 v174 -v210 -v246 -v282 -v318 -v354 -v31 -v67 -v103 -v139 -v175 -v211 -v247 v283 -v319 -v355 -v32 -v68 -v104 v140 -v176 -v212 -v248 -v284 -v320 -v356 -v33 -v69 -v105 -v141 -v177 -v213 -v249 -v285 -v321 v357 -v34 -v70 v106 -v142 -v178 -v214 -v250 -v286 -v322 -v358 -v35 -v71 -v107 -v143 -v179 -v215 -v251 -v287 v323 -v359 -v8 -v44 -v80 v116 v152 v188 -v224 v260 v296 -v332 -v15 -v51 v87 v123 v159 -v195 v231 -v267 -v303 v339 -v22 -v58 v94 v130 -v166 -v202 -v238 v274 v310 v346 v29 v65 -v101 -v137 -v173 v209 -v245 -v281 v317 v353 v36 v72 -v108 -v144 v180 v216 v252 -v288 -v324 -v360 v1 v37 v73 -v109 -v145 -v181 v217 v253 -v289 -v325

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/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859174637 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 41 3 40 18 0 23 0
[pid=8234] 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.0036 s]
Raw data (loadavg): 0.92 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 920 0 0 0 937 20 0 0 25 0 1 0 1859174637 5324800 886 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1300 886 566 18 0 1282 0
[pid=8234] vsize: 5200
Current children cumulated CPU time (s) 9.57
Current children cumulated vsize (Kb) 5200

[startup+20.0044 s]
Raw data (loadavg): 0.93 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 982 0 0 0 1876 42 0 0 25 0 1 0 1859174637 5586944 948 4294967295 134512640 134578447 3221224624 3221223124 1075288177 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1364 948 566 18 0 1346 0
[pid=8234] vsize: 5456
Current children cumulated CPU time (s) 19.18
Current children cumulated vsize (Kb) 5456

[startup+30.0052 s]
Raw data (loadavg): 0.94 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1037 0 0 0 2829 57 0 0 25 0 1 0 1859174637 5849088 1003 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1428 1003 566 18 0 1410 0
[pid=8234] vsize: 5712
Current children cumulated CPU time (s) 28.86
Current children cumulated vsize (Kb) 5712

[startup+40.005 s]
Raw data (loadavg): 0.95 0.98 0.91 1/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 1146 0 0 0 3780 74 0 0 25 0 1 0 1859174637 6242304 1112 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/8234/statm): 1524 1112 566 18 0 1506 0
[pid=8234] vsize: 6096
Current children cumulated CPU time (s) 38.54
Current children cumulated vsize (Kb) 6096

[startup+50.0058 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1196 0 0 0 4736 89 0 0 25 0 1 0 1859174637 6504448 1162 4294967295 134512640 134578447 3221224624 3221223504 134556450 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1588 1162 566 18 0 1570 0
[pid=8234] vsize: 6352
Current children cumulated CPU time (s) 48.25
Current children cumulated vsize (Kb) 6352

[startup+60.0065 s]
Raw data (loadavg): 0.96 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1196 0 0 0 5695 105 0 0 25 0 1 0 1859174637 6504448 1162 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1588 1162 566 18 0 1570 0
[pid=8234] vsize: 6352
Current children cumulated CPU time (s) 58
Current children cumulated vsize (Kb) 6352

[startup+70.0084 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1196 0 0 0 6654 120 0 0 17 0 1 0 1859174637 6500352 1162 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8234/statm): 1587 1162 566 18 0 1569 0
[pid=8234] vsize: 6348
Current children cumulated CPU time (s) 67.74
Current children cumulated vsize (Kb) 6348

[startup+80.0091 s]
Raw data (loadavg): 0.97 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1239 0 0 0 7614 136 0 0 25 0 1 0 1859174637 6631424 1205 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1619 1205 566 18 0 1601 0
[pid=8234] vsize: 6476
Current children cumulated CPU time (s) 77.5
Current children cumulated vsize (Kb) 6476

[startup+90.0089 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1333 0 0 0 8578 150 0 0 25 0 1 0 1859174637 7028736 1299 4294967295 134512640 134578447 3221224624 3221223500 134528134 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1716 1299 566 18 0 1698 0
[pid=8234] vsize: 6864
Current children cumulated CPU time (s) 87.28
Current children cumulated vsize (Kb) 6864

[startup+100.01 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1333 0 0 0 9545 163 0 0 25 0 1 0 1859174637 7028736 1299 4294967295 134512640 134578447 3221224624 3221223536 134556815 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1716 1299 566 18 0 1698 0
[pid=8234] vsize: 6864
Current children cumulated CPU time (s) 97.08
Current children cumulated vsize (Kb) 6864

[startup+110.011 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1370 0 0 0 10506 177 0 0 25 0 1 0 1859174637 7163904 1336 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1749 1336 566 18 0 1731 0
[pid=8234] vsize: 6996
Current children cumulated CPU time (s) 106.83
Current children cumulated vsize (Kb) 6996

[startup+120.011 s]
Raw data (loadavg): 0.98 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1415 0 0 0 11463 192 0 0 25 0 1 0 1859174637 7299072 1381 4294967295 134512640 134578447 3221224624 3221223520 134519738 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1782 1381 566 18 0 1764 0
[pid=8234] vsize: 7128
Current children cumulated CPU time (s) 116.55
Current children cumulated vsize (Kb) 7128

[startup+130.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1433 0 0 0 12417 208 0 0 25 0 1 0 1859174637 7434240 1399 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1815 1399 566 18 0 1797 0
[pid=8234] vsize: 7260
Current children cumulated CPU time (s) 126.25
Current children cumulated vsize (Kb) 7260

[startup+140.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1433 0 0 0 13373 223 0 0 25 0 1 0 1859174637 7434240 1399 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1815 1399 566 18 0 1797 0
[pid=8234] vsize: 7260
Current children cumulated CPU time (s) 135.96
Current children cumulated vsize (Kb) 7260

[startup+150.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1535 0 0 0 14327 240 0 0 25 0 1 0 1859174637 7831552 1501 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1912 1501 566 18 0 1894 0
[pid=8234] vsize: 7648
Current children cumulated CPU time (s) 145.67
Current children cumulated vsize (Kb) 7648

[startup+160.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1535 0 0 0 15287 253 0 0 25 0 1 0 1859174637 7831552 1501 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1912 1501 566 18 0 1894 0
[pid=8234] vsize: 7648
Current children cumulated CPU time (s) 155.4
Current children cumulated vsize (Kb) 7648

[startup+170.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1535 0 0 0 16250 268 0 0 25 0 1 0 1859174637 7831552 1501 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1912 1501 566 18 0 1894 0
[pid=8234] vsize: 7648
Current children cumulated CPU time (s) 165.18
Current children cumulated vsize (Kb) 7648

[startup+180.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1535 0 0 0 17217 281 0 0 25 0 1 0 1859174637 7831552 1501 4294967295 134512640 134578447 3221224624 3221223472 134558456 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1912 1501 566 18 0 1894 0
[pid=8234] vsize: 7648
Current children cumulated CPU time (s) 174.98
Current children cumulated vsize (Kb) 7648

[startup+190.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1553 0 0 0 18179 295 0 0 25 0 1 0 1859174637 7966720 1519 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1945 1519 566 18 0 1927 0
[pid=8234] vsize: 7780
Current children cumulated CPU time (s) 184.74
Current children cumulated vsize (Kb) 7780

[startup+200.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1553 0 0 0 19144 306 0 0 25 0 1 0 1859174637 7962624 1519 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1944 1519 566 18 0 1926 0
[pid=8234] vsize: 7776
Current children cumulated CPU time (s) 194.5
Current children cumulated vsize (Kb) 7776

[startup+210.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1553 0 0 0 20100 321 0 0 25 0 1 0 1859174637 7962624 1519 4294967295 134512640 134578447 3221224624 3221223504 134527689 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1944 1519 566 18 0 1926 0
[pid=8234] vsize: 7776
Current children cumulated CPU time (s) 204.21
Current children cumulated vsize (Kb) 7776

[startup+220.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1580 0 0 0 21062 334 0 0 25 0 1 0 1859174637 7962624 1546 4294967295 134512640 134578447 3221224624 3221223296 134523046 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1944 1546 566 18 0 1926 0
[pid=8234] vsize: 7776
Current children cumulated CPU time (s) 213.96
Current children cumulated vsize (Kb) 7776

[startup+230.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1580 0 0 0 22026 346 0 0 25 0 1 0 1859174637 7962624 1546 4294967295 134512640 134578447 3221224624 3221223552 134516637 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1944 1546 566 18 0 1926 0
[pid=8234] vsize: 7776
Current children cumulated CPU time (s) 223.72
Current children cumulated vsize (Kb) 7776

[startup+240.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1586 0 0 0 22989 359 0 0 25 0 1 0 1859174637 8093696 1552 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1976 1552 566 18 0 1958 0
[pid=8234] vsize: 7904
Current children cumulated CPU time (s) 233.48
Current children cumulated vsize (Kb) 7904

[startup+250.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1601 0 0 0 23955 371 0 0 25 0 1 0 1859174637 8093696 1567 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1976 1567 566 18 0 1958 0
[pid=8234] vsize: 7904
Current children cumulated CPU time (s) 243.26
Current children cumulated vsize (Kb) 7904

[startup+260.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1602 0 0 0 24915 385 0 0 25 0 1 0 1859174637 8093696 1568 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1976 1568 566 18 0 1958 0
[pid=8234] vsize: 7904
Current children cumulated CPU time (s) 253
Current children cumulated vsize (Kb) 7904

[startup+270.022 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 1602 0 0 0 25877 400 0 0 25 0 1 0 1859174637 8093696 1568 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1976 1568 566 18 0 1958 0
[pid=8234] vsize: 7904
Current children cumulated CPU time (s) 262.77
Current children cumulated vsize (Kb) 7904

[startup+280.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1602 0 0 0 26838 415 0 0 25 0 1 0 1859174637 8093696 1568 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1976 1568 566 18 0 1958 0
[pid=8234] vsize: 7904
Current children cumulated CPU time (s) 272.53
Current children cumulated vsize (Kb) 7904

[startup+290.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1602 0 0 0 27797 429 0 0 25 0 1 0 1859174637 8093696 1568 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 1976 1568 566 18 0 1958 0
[pid=8234] vsize: 7904
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (Kb) 7904

[startup+300.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1625 0 0 0 28760 441 0 0 25 0 1 0 1859174637 8224768 1591 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2008 1591 566 18 0 1990 0
[pid=8234] vsize: 8032
Current children cumulated CPU time (s) 292.01
Current children cumulated vsize (Kb) 8032

[startup+310.024 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 1667 0 0 0 29729 452 0 0 25 0 1 0 1859174637 8355840 1633 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2040 1633 566 18 0 2022 0
[pid=8234] vsize: 8160
Current children cumulated CPU time (s) 301.81
Current children cumulated vsize (Kb) 8160

[startup+320.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1694 0 0 0 30691 466 0 0 25 0 1 0 1859174637 8486912 1660 4294967295 134512640 134578447 3221224624 3221223520 134520053 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2072 1660 566 18 0 2054 0
[pid=8234] vsize: 8288
Current children cumulated CPU time (s) 311.57
Current children cumulated vsize (Kb) 8288

[startup+330.026 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 1781 0 0 0 31657 479 0 0 25 0 1 0 1859174637 8892416 1747 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/8234/statm): 2171 1747 566 18 0 2153 0
[pid=8234] vsize: 8684
Current children cumulated CPU time (s) 321.36
Current children cumulated vsize (Kb) 8684

[startup+340.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1858 0 0 0 32623 492 0 0 25 0 1 0 1859174637 9158656 1824 4294967295 134512640 134578447 3221224624 3221223472 134556089 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2236 1824 566 18 0 2218 0
[pid=8234] vsize: 8944
Current children cumulated CPU time (s) 331.15
Current children cumulated vsize (Kb) 8944

[startup+350.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1858 0 0 0 33586 506 0 0 25 0 1 0 1859174637 9158656 1824 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2236 1824 566 18 0 2218 0
[pid=8234] vsize: 8944
Current children cumulated CPU time (s) 340.92
Current children cumulated vsize (Kb) 8944

[startup+360.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1858 0 0 0 34555 517 0 0 25 0 1 0 1859174637 9158656 1824 4294967295 134512640 134578447 3221224624 3221223504 134527705 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2236 1824 566 18 0 2218 0
[pid=8234] vsize: 8944
Current children cumulated CPU time (s) 350.72
Current children cumulated vsize (Kb) 8944

[startup+370.029 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 1858 0 0 0 35521 528 0 0 25 0 1 0 1859174637 9158656 1824 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2236 1824 566 18 0 2218 0
[pid=8234] vsize: 8944
Current children cumulated CPU time (s) 360.49
Current children cumulated vsize (Kb) 8944

[startup+380.031 s]
Raw data (loadavg): 0.99 0.98 0.91 1/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 1890 0 0 0 36486 540 0 0 25 0 1 0 1859174637 9293824 1856 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2269 1856 566 18 0 2251 0
[pid=8234] vsize: 9076
Current children cumulated CPU time (s) 370.26
Current children cumulated vsize (Kb) 9076

[startup+390.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1890 0 0 0 37460 550 0 0 25 0 1 0 1859174637 9293824 1856 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2269 1856 566 18 0 2251 0
[pid=8234] vsize: 9076
Current children cumulated CPU time (s) 380.1
Current children cumulated vsize (Kb) 9076

[startup+400.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1892 0 0 0 38428 562 0 0 25 0 1 0 1859174637 9293824 1858 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2269 1858 566 18 0 2251 0
[pid=8234] vsize: 9076
Current children cumulated CPU time (s) 389.9
Current children cumulated vsize (Kb) 9076

[startup+410.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1892 0 0 0 39392 575 0 0 25 0 1 0 1859174637 9293824 1858 4294967295 134512640 134578447 3221224624 3221223340 1075285102 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2269 1858 566 18 0 2251 0
[pid=8234] vsize: 9076
Current children cumulated CPU time (s) 399.67
Current children cumulated vsize (Kb) 9076

[startup+420.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1892 0 0 0 40359 587 0 0 25 0 1 0 1859174637 9293824 1858 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2269 1858 566 18 0 2251 0
[pid=8234] vsize: 9076
Current children cumulated CPU time (s) 409.46
Current children cumulated vsize (Kb) 9076

[startup+430.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1947 0 0 0 41324 599 0 0 25 0 1 0 1859174637 9555968 1913 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2333 1913 566 18 0 2315 0
[pid=8234] vsize: 9332
Current children cumulated CPU time (s) 419.23
Current children cumulated vsize (Kb) 9332

[startup+440.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1947 0 0 0 42295 610 0 0 25 0 1 0 1859174637 9555968 1913 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2333 1913 566 18 0 2315 0
[pid=8234] vsize: 9332
Current children cumulated CPU time (s) 429.05
Current children cumulated vsize (Kb) 9332

[startup+450.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1947 0 0 0 43261 622 0 0 25 0 1 0 1859174637 9555968 1913 4294967295 134512640 134578447 3221224624 3221223584 134559082 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2333 1913 566 18 0 2315 0
[pid=8234] vsize: 9332
Current children cumulated CPU time (s) 438.83
Current children cumulated vsize (Kb) 9332

[startup+460.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1959 0 0 0 44231 633 0 0 25 0 1 0 1859174637 9555968 1925 4294967295 134512640 134578447 3221224624 3221223296 134523156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2333 1925 566 18 0 2315 0
[pid=8234] vsize: 9332
Current children cumulated CPU time (s) 448.64
Current children cumulated vsize (Kb) 9332

[startup+470.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 45194 648 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0
[pid=8234] vsize: 9332
Current children cumulated CPU time (s) 458.42
Current children cumulated vsize (Kb) 9332

[startup+480.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 46152 663 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221221296 134533073 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0
[pid=8234] vsize: 9332
Current children cumulated CPU time (s) 468.15
Current children cumulated vsize (Kb) 9332

[startup+490.039 s]
Raw data (loadavg): 1.07 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 47114 676 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223356 1075289689 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0
[pid=8234] vsize: 9332
Current children cumulated CPU time (s) 477.9
Current children cumulated vsize (Kb) 9332

[startup+500.039 s]
Raw data (loadavg): 1.06 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 48078 689 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0
[pid=8234] vsize: 9332
Current children cumulated CPU time (s) 487.67
Current children cumulated vsize (Kb) 9332

[startup+510.04 s]
Raw data (loadavg): 1.05 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 49044 702 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223504 1074910624 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0
[pid=8234] vsize: 9332
Current children cumulated CPU time (s) 497.46
Current children cumulated vsize (Kb) 9332

[startup+520.041 s]
Raw data (loadavg): 1.04 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 50009 713 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0
[pid=8234] vsize: 9332
Current children cumulated CPU time (s) 507.22
Current children cumulated vsize (Kb) 9332

[startup+530.042 s]
Raw data (loadavg): 1.03 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 50975 723 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0
[pid=8234] vsize: 9332
Current children cumulated CPU time (s) 516.98
Current children cumulated vsize (Kb) 9332

[startup+540.043 s]
Raw data (loadavg): 1.03 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 51936 739 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0
[pid=8234] vsize: 9332
Current children cumulated CPU time (s) 526.75
Current children cumulated vsize (Kb) 9332

[startup+550.043 s]
Raw data (loadavg): 1.02 1.00 0.91 1/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 1966 0 0 0 52897 753 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0
[pid=8234] vsize: 9332
Current children cumulated CPU time (s) 536.5
Current children cumulated vsize (Kb) 9332

[startup+560.044 s]
Raw data (loadavg): 1.02 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 53856 768 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0
[pid=8234] vsize: 9332
Current children cumulated CPU time (s) 546.24
Current children cumulated vsize (Kb) 9332

[startup+570.045 s]
Raw data (loadavg): 1.02 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 54821 780 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223376 134528863 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0
[pid=8234] vsize: 9332
Current children cumulated CPU time (s) 556.01
Current children cumulated vsize (Kb) 9332

[startup+580.046 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 55789 792 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223584 134559095 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0
[pid=8234] vsize: 9332
Current children cumulated CPU time (s) 565.81
Current children cumulated vsize (Kb) 9332

[startup+590.047 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 56753 806 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223280 1075288477 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0
[pid=8234] vsize: 9332
Current children cumulated CPU time (s) 575.59
Current children cumulated vsize (Kb) 9332

[startup+600.047 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 57723 817 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223476 134555819 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0
[pid=8234] vsize: 9332
Current children cumulated CPU time (s) 585.4
Current children cumulated vsize (Kb) 9332

[startup+610.047 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 58686 831 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0
[pid=8234] vsize: 9332
Current children cumulated CPU time (s) 595.17
Current children cumulated vsize (Kb) 9332

[startup+620.049 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 59654 843 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223584 134559020 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0
[pid=8234] vsize: 9276
Current children cumulated CPU time (s) 604.97
Current children cumulated vsize (Kb) 9276

[startup+630.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 60625 854 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0
[pid=8234] vsize: 9276
Current children cumulated CPU time (s) 614.79
Current children cumulated vsize (Kb) 9276

[startup+640.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 61594 866 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223456 134528563 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0
[pid=8234] vsize: 9276
Current children cumulated CPU time (s) 624.6
Current children cumulated vsize (Kb) 9276

[startup+650.05 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 1966 0 0 0 62560 879 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0
[pid=8234] vsize: 9276
Current children cumulated CPU time (s) 634.39
Current children cumulated vsize (Kb) 9276

[startup+660.051 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 63525 893 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0
[pid=8234] vsize: 9276
Current children cumulated CPU time (s) 644.18
Current children cumulated vsize (Kb) 9276

[startup+670.052 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 1966 0 0 0 64491 905 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0
[pid=8234] vsize: 9276
Current children cumulated CPU time (s) 653.96
Current children cumulated vsize (Kb) 9276

[startup+680.053 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 65460 916 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223208 1075289753 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0
[pid=8234] vsize: 9276
Current children cumulated CPU time (s) 663.76
Current children cumulated vsize (Kb) 9276

[startup+690.053 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 66428 927 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221221504 134532215 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0
[pid=8234] vsize: 9276
Current children cumulated CPU time (s) 673.55
Current children cumulated vsize (Kb) 9276

[startup+700.054 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 67400 935 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223520 134519957 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0
[pid=8234] vsize: 9276
Current children cumulated CPU time (s) 683.35
Current children cumulated vsize (Kb) 9276

[startup+710.055 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 68370 944 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223192 1075289104 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0
[pid=8234] vsize: 9276
Current children cumulated CPU time (s) 693.14
Current children cumulated vsize (Kb) 9276

[startup+720.057 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 69341 955 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0
[pid=8234] vsize: 9276
Current children cumulated CPU time (s) 702.96
Current children cumulated vsize (Kb) 9276

[startup+730.058 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 70309 966 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0
[pid=8234] vsize: 9276
Current children cumulated CPU time (s) 712.75
Current children cumulated vsize (Kb) 9276

[startup+740.058 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1983 0 0 0 71280 977 0 0 25 0 1 0 1859174637 9633792 1937 4294967295 134512640 134578447 3221224624 3221223296 134524060 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8234/statm): 2352 1937 566 18 0 2334 0
[pid=8234] vsize: 9408
Current children cumulated CPU time (s) 722.57
Current children cumulated vsize (Kb) 9408

[startup+750.059 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1988 0 0 0 72254 987 0 0 25 0 1 0 1859174637 9633792 1942 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8234/statm): 2352 1942 566 18 0 2334 0
[pid=8234] vsize: 9408
Current children cumulated CPU time (s) 732.41
Current children cumulated vsize (Kb) 9408

[startup+760.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2002 0 0 0 73227 996 0 0 25 0 1 0 1859174637 9768960 1956 4294967295 134512640 134578447 3221224624 3221223556 134527376 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2385 1956 566 18 0 2367 0
[pid=8234] vsize: 9540
Current children cumulated CPU time (s) 742.23
Current children cumulated vsize (Kb) 9540

[startup+770.061 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2004 0 0 0 74191 1011 0 0 25 0 1 0 1859174637 9768960 1958 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2385 1958 566 18 0 2367 0
[pid=8234] vsize: 9540
Current children cumulated CPU time (s) 752.02
Current children cumulated vsize (Kb) 9540

[startup+780.062 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2004 0 0 0 75164 1022 0 0 25 0 1 0 1859174637 9768960 1958 4294967295 134512640 134578447 3221224624 3221223536 134557000 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2385 1958 566 18 0 2367 0
[pid=8234] vsize: 9540
Current children cumulated CPU time (s) 761.86
Current children cumulated vsize (Kb) 9540

[startup+790.062 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2004 0 0 0 76135 1032 0 0 25 0 1 0 1859174637 9768960 1958 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2385 1958 566 18 0 2367 0
[pid=8234] vsize: 9540
Current children cumulated CPU time (s) 771.67
Current children cumulated vsize (Kb) 9540

[startup+800.063 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 2007 0 0 0 77107 1043 0 0 25 0 1 0 1859174637 9768960 1961 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2385 1961 566 18 0 2367 0
[pid=8234] vsize: 9540
Current children cumulated CPU time (s) 781.5
Current children cumulated vsize (Kb) 9540

[startup+810.064 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2007 0 0 0 78076 1055 0 0 25 0 1 0 1859174637 9768960 1961 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2385 1961 566 18 0 2367 0
[pid=8234] vsize: 9540
Current children cumulated CPU time (s) 791.31
Current children cumulated vsize (Kb) 9540

[startup+820.065 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2007 0 0 0 79046 1065 0 0 25 0 1 0 1859174637 9768960 1961 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2385 1961 566 18 0 2367 0
[pid=8234] vsize: 9540
Current children cumulated CPU time (s) 801.11
Current children cumulated vsize (Kb) 9540

[startup+830.066 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2018 0 0 0 80009 1078 0 0 25 0 1 0 1859174637 9768960 1972 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2385 1972 566 18 0 2367 0
[pid=8234] vsize: 9540
Current children cumulated CPU time (s) 810.87
Current children cumulated vsize (Kb) 9540

[startup+840.066 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2018 0 0 0 80976 1091 0 0 25 0 1 0 1859174637 9768960 1972 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2385 1972 566 18 0 2367 0
[pid=8234] vsize: 9540
Current children cumulated CPU time (s) 820.67
Current children cumulated vsize (Kb) 9540

[startup+850.067 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 2065 0 0 0 81942 1103 0 0 25 0 1 0 1859174637 10031104 2019 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2449 2019 566 18 0 2431 0
[pid=8234] vsize: 9796
Current children cumulated CPU time (s) 830.45
Current children cumulated vsize (Kb) 9796

[startup+860.068 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2105 0 0 0 82907 1114 0 0 25 0 1 0 1859174637 10166272 2059 4294967295 134512640 134578447 3221224624 3221223476 134555869 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2482 2059 566 18 0 2464 0
[pid=8234] vsize: 9928
Current children cumulated CPU time (s) 840.21
Current children cumulated vsize (Kb) 9928

[startup+870.069 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2154 0 0 0 83871 1129 0 0 25 0 1 0 1859174637 10301440 2108 4294967295 134512640 134578447 3221224624 3221223568 134558739 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2515 2108 566 18 0 2497 0
[pid=8234] vsize: 10060
Current children cumulated CPU time (s) 850
Current children cumulated vsize (Kb) 10060

[startup+880.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2154 0 0 0 84833 1143 0 0 25 0 1 0 1859174637 10301440 2108 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2515 2108 566 18 0 2497 0
[pid=8234] vsize: 10060
Current children cumulated CPU time (s) 859.76
Current children cumulated vsize (Kb) 10060

[startup+890.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2154 0 0 0 85799 1155 0 0 25 0 1 0 1859174637 10301440 2108 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2515 2108 566 18 0 2497 0
[pid=8234] vsize: 10060
Current children cumulated CPU time (s) 869.54
Current children cumulated vsize (Kb) 10060

[startup+900.071 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2154 0 0 0 86759 1172 0 0 25 0 1 0 1859174637 10301440 2108 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2515 2108 566 18 0 2497 0
[pid=8234] vsize: 10060
Current children cumulated CPU time (s) 879.31
Current children cumulated vsize (Kb) 10060

[startup+910.071 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2154 0 0 0 87723 1187 0 0 25 0 1 0 1859174637 10301440 2108 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2515 2108 566 18 0 2497 0
[pid=8234] vsize: 10060
Current children cumulated CPU time (s) 889.1
Current children cumulated vsize (Kb) 10060

[startup+920.073 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2154 0 0 0 88689 1199 0 0 25 0 1 0 1859174637 10301440 2108 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2515 2108 566 18 0 2497 0
[pid=8234] vsize: 10060
Current children cumulated CPU time (s) 898.88
Current children cumulated vsize (Kb) 10060

[startup+930.074 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 89661 1210 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223560 134527349 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0
[pid=8234] vsize: 10448
Current children cumulated CPU time (s) 908.71
Current children cumulated vsize (Kb) 10448

[startup+940.073 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 90627 1223 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0
[pid=8234] vsize: 10448
Current children cumulated CPU time (s) 918.5
Current children cumulated vsize (Kb) 10448

[startup+950.074 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 91591 1237 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0
[pid=8234] vsize: 10448
Current children cumulated CPU time (s) 928.28
Current children cumulated vsize (Kb) 10448

[startup+960.075 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 92553 1250 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0
[pid=8234] vsize: 10448
Current children cumulated CPU time (s) 938.03
Current children cumulated vsize (Kb) 10448

[startup+970.076 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 93518 1264 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0
[pid=8234] vsize: 10448
Current children cumulated CPU time (s) 947.82
Current children cumulated vsize (Kb) 10448

[startup+980.077 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 94489 1274 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223476 134555859 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0
[pid=8234] vsize: 10448
Current children cumulated CPU time (s) 957.63
Current children cumulated vsize (Kb) 10448

[startup+990.077 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 95454 1286 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0
[pid=8234] vsize: 10448
Current children cumulated CPU time (s) 967.4
Current children cumulated vsize (Kb) 10448

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 96414 1300 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0
[pid=8234] vsize: 10448
Current children cumulated CPU time (s) 977.14
Current children cumulated vsize (Kb) 10448

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 97376 1314 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0
[pid=8234] vsize: 10448
Current children cumulated CPU time (s) 986.9
Current children cumulated vsize (Kb) 10448

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 98338 1328 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0
[pid=8234] vsize: 10448
Current children cumulated CPU time (s) 996.66
Current children cumulated vsize (Kb) 10448

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 99300 1342 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0
[pid=8234] vsize: 10448
Current children cumulated CPU time (s) 1006.42
Current children cumulated vsize (Kb) 10448

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 100262 1358 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223456 134528533 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0
[pid=8234] vsize: 10448
Current children cumulated CPU time (s) 1016.2
Current children cumulated vsize (Kb) 10448

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 101225 1372 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223456 134558184 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0
[pid=8234] vsize: 10448
Current children cumulated CPU time (s) 1025.97
Current children cumulated vsize (Kb) 10448

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 102187 1386 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0
[pid=8234] vsize: 10448
Current children cumulated CPU time (s) 1035.73
Current children cumulated vsize (Kb) 10448

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 103155 1397 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0
[pid=8234] vsize: 10448
Current children cumulated CPU time (s) 1045.52
Current children cumulated vsize (Kb) 10448

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 104121 1409 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0
[pid=8234] vsize: 10448
Current children cumulated CPU time (s) 1055.3
Current children cumulated vsize (Kb) 10448

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 105086 1423 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0
[pid=8234] vsize: 10448
Current children cumulated CPU time (s) 1065.09
Current children cumulated vsize (Kb) 10448

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 106053 1435 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223520 134519815 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0
[pid=8234] vsize: 10448
Current children cumulated CPU time (s) 1074.88
Current children cumulated vsize (Kb) 10448

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2300 0 0 0 107024 1445 0 0 25 0 1 0 1859174637 10964992 2254 4294967295 134512640 134578447 3221224624 3221223584 134559057 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2677 2254 566 18 0 2659 0
[pid=8234] vsize: 10708
Current children cumulated CPU time (s) 1084.69
Current children cumulated vsize (Kb) 10708

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2300 0 0 0 107993 1455 0 0 25 0 1 0 1859174637 10964992 2254 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2677 2254 566 18 0 2659 0
[pid=8234] vsize: 10708
Current children cumulated CPU time (s) 1094.48
Current children cumulated vsize (Kb) 10708

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2300 0 0 0 108968 1466 0 0 25 0 1 0 1859174637 10964992 2254 4294967295 134512640 134578447 3221224624 3221223412 1075289714 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2677 2254 566 18 0 2659 0
[pid=8234] vsize: 10708
Current children cumulated CPU time (s) 1104.34
Current children cumulated vsize (Kb) 10708

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2300 0 0 0 109938 1476 0 0 25 0 1 0 1859174637 10964992 2254 4294967295 134512640 134578447 3221224624 3221223584 134559078 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2677 2254 566 18 0 2659 0
[pid=8234] vsize: 10708
Current children cumulated CPU time (s) 1114.14
Current children cumulated vsize (Kb) 10708

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2300 0 0 0 110908 1487 0 0 25 0 1 0 1859174637 10964992 2254 4294967295 134512640 134578447 3221224624 3221223504 134528071 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2677 2254 566 18 0 2659 0
[pid=8234] vsize: 10708
Current children cumulated CPU time (s) 1123.95
Current children cumulated vsize (Kb) 10708

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2300 0 0 0 111877 1501 0 0 25 0 1 0 1859174637 10964992 2254 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2677 2254 566 18 0 2659 0
[pid=8234] vsize: 10708
Current children cumulated CPU time (s) 1133.78
Current children cumulated vsize (Kb) 10708

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2304 0 0 0 112844 1514 0 0 25 0 1 0 1859174637 10964992 2258 4294967295 134512640 134578447 3221224624 3221223536 134516761 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2677 2258 566 18 0 2659 0
[pid=8234] vsize: 10708
Current children cumulated CPU time (s) 1143.58
Current children cumulated vsize (Kb) 10708

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2304 0 0 0 113817 1524 0 0 25 0 1 0 1859174637 10964992 2258 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2677 2258 566 18 0 2659 0
[pid=8234] vsize: 10708
Current children cumulated CPU time (s) 1153.41
Current children cumulated vsize (Kb) 10708

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2304 0 0 0 114779 1538 0 0 25 0 1 0 1859174637 10964992 2258 4294967295 134512640 134578447 3221224624 3221223368 1075285943 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2677 2258 566 18 0 2659 0
[pid=8234] vsize: 10708
Current children cumulated CPU time (s) 1163.17
Current children cumulated vsize (Kb) 10708

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2304 0 0 0 115741 1552 0 0 25 0 1 0 1859174637 10964992 2258 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8234/statm): 2677 2258 566 18 0 2659 0
[pid=8234] vsize: 10708
Current children cumulated CPU time (s) 1172.93
Current children cumulated vsize (Kb) 10708

[startup+1210.09 s]
Raw data (loadavg): 1.08 1.02 0.92 2/56 8234
Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2304 0 0 0 116708 1563 0 0 25 0 1 0 1859174637 10964992 2258 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8234/statm): 2677 2258 566 18 0 2659 0
[pid=8234] vsize: 10708
Current children cumulated CPU time (s) 1182.71
Current children cumulated vsize (Kb) 10708
One traced child (pid=8234) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1216.55
CPU time (s): 1189.02
CPU user time (s): 1173.3
CPU system time (s): 15.7246
CPU usage (%): 97.7371
Max. virtual memory (cumulated for all children) (Kb): 10708

Verifier Data

Verifier:	OK	25102