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-circ6_3.opb
MD5SUM509cfdb6810b13d9963718243e9046cd
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 68
Optimality of the best value was proved NO
Number of terms in the objective function 180
Biggest coefficient in the objective function 3
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 324
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 324
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.01
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 7833

Launcher Data

LAUNCH ON wulflinc26 THE 2005-09-20 14:16:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4951 boxname=wulflinc26 idbench=263 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  509cfdb6810b13d9963718243e9046cd  /oldhome/oroussel/tmp/wulflinc26/normalized-circ6_3.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4951
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        808648 kB
Buffers:         34240 kB
Cached:         163248 kB
SwapCached:        868 kB
Active:          81460 kB
Inactive:       118668 kB
HighTotal:      131008 kB
HighFree:         3472 kB
LowTotal:       903652 kB
LowFree:        805176 kB
SwapTotal:     2097892 kB
SwapFree:      2096540 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            20352 kB
Committed_AS:    64136 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 14:36:53 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 4951 0 1189.01 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/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859198743 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 41 3 40 18 0 23 0
[pid=28796] 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.0028 s]
Raw data (loadavg): 0.93 0.98 0.92 1/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 953 0 0 0 933 23 0 0 25 0 1 0 1859198743 5435392 919 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/28796/statm): 1327 919 566 18 0 1309 0
[pid=28796] vsize: 5308
Current children cumulated CPU time (s) 9.56
Current children cumulated vsize (Kb) 5308

[startup+20.0035 s]
Raw data (loadavg): 0.94 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1020 0 0 0 1877 44 0 0 25 0 1 0 1859198743 5705728 986 4294967295 134512640 134578447 3221224624 3221223520 134519825 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 1393 986 566 18 0 1375 0
[pid=28796] vsize: 5572
Current children cumulated CPU time (s) 19.21
Current children cumulated vsize (Kb) 5572

[startup+30.0042 s]
Raw data (loadavg): 0.95 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1102 0 0 0 2838 58 0 0 25 0 1 0 1859198743 6066176 1068 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 1481 1068 566 18 0 1463 0
[pid=28796] vsize: 5924
Current children cumulated CPU time (s) 28.96
Current children cumulated vsize (Kb) 5924

[startup+40.0048 s]
Raw data (loadavg): 0.96 0.98 0.92 1/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 1132 0 0 0 3800 72 0 0 25 0 1 0 1859198743 6201344 1098 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/28796/statm): 1514 1098 566 18 0 1496 0
[pid=28796] vsize: 6056
Current children cumulated CPU time (s) 38.72
Current children cumulated vsize (Kb) 6056

[startup+50.0055 s]
Raw data (loadavg): 0.96 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1201 0 0 0 4770 82 0 0 25 0 1 0 1859198743 6467584 1167 4294967295 134512640 134578447 3221224624 3221222096 134532402 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 1579 1167 566 18 0 1561 0
[pid=28796] vsize: 6316
Current children cumulated CPU time (s) 48.52
Current children cumulated vsize (Kb) 6316

[startup+60.0052 s]
Raw data (loadavg): 0.97 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1262 0 0 0 5739 94 0 0 25 0 1 0 1859198743 6733824 1228 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 1644 1228 566 18 0 1626 0
[pid=28796] vsize: 6576
Current children cumulated CPU time (s) 58.33
Current children cumulated vsize (Kb) 6576

[startup+70.0059 s]
Raw data (loadavg): 0.97 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1318 0 0 0 6700 107 0 0 25 0 1 0 1859198743 7004160 1284 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 1710 1284 566 18 0 1692 0
[pid=28796] vsize: 6840
Current children cumulated CPU time (s) 68.07
Current children cumulated vsize (Kb) 6840

[startup+80.0066 s]
Raw data (loadavg): 0.98 0.98 0.92 1/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 1318 0 0 0 7666 117 0 0 25 0 1 0 1859198743 6979584 1284 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/28796/statm): 1704 1284 566 18 0 1686 0
[pid=28796] vsize: 6816
Current children cumulated CPU time (s) 77.83
Current children cumulated vsize (Kb) 6816

[startup+90.0063 s]
Raw data (loadavg): 0.98 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1320 0 0 0 8632 129 0 0 25 0 1 0 1859198743 6979584 1286 4294967295 134512640 134578447 3221224624 3221223476 134555878 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 1704 1286 566 18 0 1686 0
[pid=28796] vsize: 6816
Current children cumulated CPU time (s) 87.61
Current children cumulated vsize (Kb) 6816

[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.92 1/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 1424 0 0 0 9597 142 0 0 25 0 1 0 1859198743 7380992 1390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/28796/statm): 1802 1390 566 18 0 1784 0
[pid=28796] vsize: 7208
Current children cumulated CPU time (s) 97.39
Current children cumulated vsize (Kb) 7208

[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1452 0 0 0 10563 155 0 0 25 0 1 0 1859198743 7516160 1418 4294967295 134512640 134578447 3221224624 3221221168 134532470 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 1835 1418 566 18 0 1817 0
[pid=28796] vsize: 7340
Current children cumulated CPU time (s) 107.18
Current children cumulated vsize (Kb) 7340

[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.92 1/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 1452 0 0 0 11530 167 0 0 25 0 1 0 1859198743 7516160 1418 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/28796/statm): 1835 1418 566 18 0 1817 0
[pid=28796] vsize: 7340
Current children cumulated CPU time (s) 116.97
Current children cumulated vsize (Kb) 7340

[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1473 0 0 0 12499 178 0 0 25 0 1 0 1859198743 7651328 1439 4294967295 134512640 134578447 3221224624 3221223504 134556178 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 1868 1439 566 18 0 1850 0
[pid=28796] vsize: 7472
Current children cumulated CPU time (s) 126.77
Current children cumulated vsize (Kb) 7472

[startup+140.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1473 0 0 0 13466 191 0 0 25 0 1 0 1859198743 7651328 1439 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 1868 1439 566 18 0 1850 0
[pid=28796] vsize: 7472
Current children cumulated CPU time (s) 136.57
Current children cumulated vsize (Kb) 7472

[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1510 0 0 0 14430 204 0 0 25 0 1 0 1859198743 7786496 1476 4294967295 134512640 134578447 3221224624 3221221312 134533110 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 1901 1476 566 18 0 1883 0
[pid=28796] vsize: 7604
Current children cumulated CPU time (s) 146.34
Current children cumulated vsize (Kb) 7604

[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1510 0 0 0 15394 217 0 0 25 0 1 0 1859198743 7786496 1476 4294967295 134512640 134578447 3221224624 3221223456 134526989 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 1901 1476 566 18 0 1883 0
[pid=28796] vsize: 7604
Current children cumulated CPU time (s) 156.11
Current children cumulated vsize (Kb) 7604

[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1510 0 0 0 16357 229 0 0 25 0 1 0 1859198743 7778304 1476 4294967295 134512640 134578447 3221224624 3221223488 134517464 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 1899 1476 566 18 0 1881 0
[pid=28796] vsize: 7596
Current children cumulated CPU time (s) 165.86
Current children cumulated vsize (Kb) 7596

[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1510 0 0 0 17326 240 0 0 25 0 1 0 1859198743 7778304 1476 4294967295 134512640 134578447 3221224624 3221222668 134532276 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 1899 1476 566 18 0 1881 0
[pid=28796] vsize: 7596
Current children cumulated CPU time (s) 175.66
Current children cumulated vsize (Kb) 7596

[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1510 0 0 0 18287 255 0 0 25 0 1 0 1859198743 7778304 1476 4294967295 134512640 134578447 3221224624 3221223584 134558919 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 1899 1476 566 18 0 1881 0
[pid=28796] vsize: 7596
Current children cumulated CPU time (s) 185.42
Current children cumulated vsize (Kb) 7596

[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1510 0 0 0 19250 268 0 0 25 0 1 0 1859198743 7778304 1476 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 1899 1476 566 18 0 1881 0
[pid=28796] vsize: 7596
Current children cumulated CPU time (s) 195.18
Current children cumulated vsize (Kb) 7596

[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1510 0 0 0 20216 279 0 0 25 0 1 0 1859198743 7778304 1476 4294967295 134512640 134578447 3221224624 3221223520 134519944 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 1899 1476 566 18 0 1881 0
[pid=28796] vsize: 7596
Current children cumulated CPU time (s) 204.95
Current children cumulated vsize (Kb) 7596

[startup+220.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1554 0 0 0 21186 291 0 0 25 0 1 0 1859198743 7913472 1520 4294967295 134512640 134578447 3221224624 3221223472 134520387 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 1932 1520 566 18 0 1914 0
[pid=28796] vsize: 7728
Current children cumulated CPU time (s) 214.77
Current children cumulated vsize (Kb) 7728

[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1567 0 0 0 22152 302 0 0 25 0 1 0 1859198743 7913472 1533 4294967295 134512640 134578447 3221224624 3221222064 134532426 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 1932 1533 566 18 0 1914 0
[pid=28796] vsize: 7728
Current children cumulated CPU time (s) 224.54
Current children cumulated vsize (Kb) 7728

[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1567 0 0 0 23123 311 0 0 25 0 1 0 1859198743 7913472 1533 4294967295 134512640 134578447 3221224624 3221223504 134518520 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 1932 1533 566 18 0 1914 0
[pid=28796] vsize: 7728
Current children cumulated CPU time (s) 234.34
Current children cumulated vsize (Kb) 7728

[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1623 0 0 0 24097 320 0 0 25 0 1 0 1859198743 8183808 1589 4294967295 134512640 134578447 3221224624 3221223472 134520167 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 1998 1589 566 18 0 1980 0
[pid=28796] vsize: 7992
Current children cumulated CPU time (s) 244.17
Current children cumulated vsize (Kb) 7992

[startup+260.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1659 0 0 0 25070 328 0 0 25 0 1 0 1859198743 8318976 1625 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 2031 1625 566 18 0 2013 0
[pid=28796] vsize: 8124
Current children cumulated CPU time (s) 253.98
Current children cumulated vsize (Kb) 8124

[startup+270.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1681 0 0 0 26044 337 0 0 25 0 1 0 1859198743 8454144 1647 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 2064 1647 566 18 0 2046 0
[pid=28796] vsize: 8256
Current children cumulated CPU time (s) 263.81
Current children cumulated vsize (Kb) 8256

[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1690 0 0 0 27014 348 0 0 25 0 1 0 1859198743 8454144 1656 4294967295 134512640 134578447 3221224624 3221223456 134526986 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2064 1656 566 18 0 2046 0
[pid=28796] vsize: 8256
Current children cumulated CPU time (s) 273.62
Current children cumulated vsize (Kb) 8256

[startup+290.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 1690 0 0 0 27984 359 0 0 25 0 1 0 1859198743 8454144 1656 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2064 1656 566 18 0 2046 0
[pid=28796] vsize: 8256
Current children cumulated CPU time (s) 283.43
Current children cumulated vsize (Kb) 8256

[startup+300.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1691 0 0 0 28953 369 0 0 25 0 1 0 1859198743 8454144 1657 4294967295 134512640 134578447 3221224624 3221223568 134559041 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2064 1657 566 18 0 2046 0
[pid=28796] vsize: 8256
Current children cumulated CPU time (s) 293.22
Current children cumulated vsize (Kb) 8256

[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1691 0 0 0 29920 379 0 0 25 0 1 0 1859198743 8454144 1657 4294967295 134512640 134578447 3221224624 3221223072 1075288800 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2064 1657 566 18 0 2046 0
[pid=28796] vsize: 8256
Current children cumulated CPU time (s) 302.99
Current children cumulated vsize (Kb) 8256

[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1723 0 0 0 30895 389 0 0 25 0 1 0 1859198743 8589312 1689 4294967295 134512640 134578447 3221224624 3221223476 134555800 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2097 1689 566 18 0 2079 0
[pid=28796] vsize: 8388
Current children cumulated CPU time (s) 312.84
Current children cumulated vsize (Kb) 8388

[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1783 0 0 0 31865 400 0 0 25 0 1 0 1859198743 8859648 1749 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 2163 1749 566 18 0 2145 0
[pid=28796] vsize: 8652
Current children cumulated CPU time (s) 322.65
Current children cumulated vsize (Kb) 8652

[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1783 0 0 0 32830 412 0 0 25 0 1 0 1859198743 8859648 1749 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2163 1749 566 18 0 2145 0
[pid=28796] vsize: 8652
Current children cumulated CPU time (s) 332.42
Current children cumulated vsize (Kb) 8652

[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1801 0 0 0 33802 420 0 0 25 0 1 0 1859198743 8994816 1767 4294967295 134512640 134578447 3221224624 3221223524 134557678 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2196 1767 566 18 0 2178 0
[pid=28796] vsize: 8784
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (Kb) 8784

[startup+360.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1801 0 0 0 34773 430 0 0 25 0 1 0 1859198743 8949760 1767 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2185 1767 566 18 0 2167 0
[pid=28796] vsize: 8740
Current children cumulated CPU time (s) 352.03
Current children cumulated vsize (Kb) 8740

[startup+370.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1853 0 0 0 35745 440 0 0 25 0 1 0 1859198743 9080832 1819 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2217 1819 566 18 0 2199 0
[pid=28796] vsize: 8868
Current children cumulated CPU time (s) 361.85
Current children cumulated vsize (Kb) 8868

[startup+380.018 s]
Raw data (loadavg): 0.99 0.98 0.92 1/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 1915 0 0 0 36717 450 0 0 25 0 1 0 1859198743 9351168 1881 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2283 1881 566 18 0 2265 0
[pid=28796] vsize: 9132
Current children cumulated CPU time (s) 371.67
Current children cumulated vsize (Kb) 9132

[startup+390.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1915 0 0 0 37691 460 0 0 25 0 1 0 1859198743 9351168 1881 4294967295 134512640 134578447 3221224624 3221223536 134556912 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2283 1881 566 18 0 2265 0
[pid=28796] vsize: 9132
Current children cumulated CPU time (s) 381.51
Current children cumulated vsize (Kb) 9132

[startup+400.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1915 0 0 0 38663 470 0 0 25 0 1 0 1859198743 9351168 1881 4294967295 134512640 134578447 3221224624 3221223584 134559080 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 2283 1881 566 18 0 2265 0
[pid=28796] vsize: 9132
Current children cumulated CPU time (s) 391.33
Current children cumulated vsize (Kb) 9132

[startup+410.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1947 0 0 0 39627 483 0 0 25 0 1 0 1859198743 9486336 1913 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2316 1913 566 18 0 2298 0
[pid=28796] vsize: 9264
Current children cumulated CPU time (s) 401.1
Current children cumulated vsize (Kb) 9264

[startup+420.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1947 0 0 0 40593 495 0 0 25 0 1 0 1859198743 9486336 1913 4294967295 134512640 134578447 3221224624 3221223584 134558587 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2316 1913 566 18 0 2298 0
[pid=28796] vsize: 9264
Current children cumulated CPU time (s) 410.88
Current children cumulated vsize (Kb) 9264

[startup+430.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1947 0 0 0 41565 504 0 0 25 0 1 0 1859198743 9486336 1913 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2316 1913 566 18 0 2298 0
[pid=28796] vsize: 9264
Current children cumulated CPU time (s) 420.69
Current children cumulated vsize (Kb) 9264

[startup+440.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1947 0 0 0 42538 513 0 0 25 0 1 0 1859198743 9486336 1913 4294967295 134512640 134578447 3221224624 3221223536 134516761 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2316 1913 566 18 0 2298 0
[pid=28796] vsize: 9264
Current children cumulated CPU time (s) 430.51
Current children cumulated vsize (Kb) 9264

[startup+450.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1947 0 0 0 43507 521 0 0 25 0 1 0 1859198743 9486336 1913 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2316 1913 566 18 0 2298 0
[pid=28796] vsize: 9264
Current children cumulated CPU time (s) 440.28
Current children cumulated vsize (Kb) 9264

[startup+460.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1947 0 0 0 44478 531 0 0 25 0 1 0 1859198743 9486336 1913 4294967295 134512640 134578447 3221224624 3221223520 134519969 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2316 1913 566 18 0 2298 0
[pid=28796] vsize: 9264
Current children cumulated CPU time (s) 450.09
Current children cumulated vsize (Kb) 9264

[startup+470.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1947 0 0 0 45447 541 0 0 25 0 1 0 1859198743 9486336 1913 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 2316 1913 566 18 0 2298 0
[pid=28796] vsize: 9264
Current children cumulated CPU time (s) 459.88
Current children cumulated vsize (Kb) 9264

[startup+480.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1947 0 0 0 46418 552 0 0 25 0 1 0 1859198743 9486336 1913 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2316 1913 566 18 0 2298 0
[pid=28796] vsize: 9264
Current children cumulated CPU time (s) 469.7
Current children cumulated vsize (Kb) 9264

[startup+490.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1947 0 0 0 47385 565 0 0 25 0 1 0 1859198743 9486336 1913 4294967295 134512640 134578447 3221224624 3221221328 134533073 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 2316 1913 566 18 0 2298 0
[pid=28796] vsize: 9264
Current children cumulated CPU time (s) 479.5
Current children cumulated vsize (Kb) 9264

[startup+500.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1947 0 0 0 48352 577 0 0 25 0 1 0 1859198743 9486336 1913 4294967295 134512640 134578447 3221224624 3221223584 134559071 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2316 1913 566 18 0 2298 0
[pid=28796] vsize: 9264
Current children cumulated CPU time (s) 489.29
Current children cumulated vsize (Kb) 9264

[startup+510.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1947 0 0 0 49321 589 0 0 25 0 1 0 1859198743 9486336 1913 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2316 1913 566 18 0 2298 0
[pid=28796] vsize: 9264
Current children cumulated CPU time (s) 499.1
Current children cumulated vsize (Kb) 9264

[startup+520.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1947 0 0 0 50290 602 0 0 25 0 1 0 1859198743 9486336 1913 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2316 1913 566 18 0 2298 0
[pid=28796] vsize: 9264
Current children cumulated CPU time (s) 508.92
Current children cumulated vsize (Kb) 9264

[startup+530.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1947 0 0 0 51256 615 0 0 25 0 1 0 1859198743 9486336 1913 4294967295 134512640 134578447 3221224624 3221223536 134557230 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2316 1913 566 18 0 2298 0
[pid=28796] vsize: 9264
Current children cumulated CPU time (s) 518.71
Current children cumulated vsize (Kb) 9264

[startup+540.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 1947 0 0 0 52226 625 0 0 25 0 1 0 1859198743 9486336 1913 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2316 1913 566 18 0 2298 0
[pid=28796] vsize: 9264
Current children cumulated CPU time (s) 528.51
Current children cumulated vsize (Kb) 9264

[startup+550.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1947 0 0 0 53196 635 0 0 25 0 1 0 1859198743 9486336 1913 4294967295 134512640 134578447 3221224624 3221223584 134559074 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2316 1913 566 18 0 2298 0
[pid=28796] vsize: 9264
Current children cumulated CPU time (s) 538.31
Current children cumulated vsize (Kb) 9264

[startup+560.024 s]
Raw data (loadavg): 0.99 0.98 0.92 1/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 1947 0 0 0 54164 645 0 0 25 0 1 0 1859198743 9486336 1913 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2316 1913 566 18 0 2298 0
[pid=28796] vsize: 9264
Current children cumulated CPU time (s) 548.09
Current children cumulated vsize (Kb) 9264

[startup+570.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1947 0 0 0 55134 657 0 0 25 0 1 0 1859198743 9486336 1913 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2316 1913 566 18 0 2298 0
[pid=28796] vsize: 9264
Current children cumulated CPU time (s) 557.91
Current children cumulated vsize (Kb) 9264

[startup+580.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1947 0 0 0 56101 669 0 0 25 0 1 0 1859198743 9486336 1913 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2316 1913 566 18 0 2298 0
[pid=28796] vsize: 9264
Current children cumulated CPU time (s) 567.7
Current children cumulated vsize (Kb) 9264

[startup+590.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1947 0 0 0 57072 678 0 0 25 0 1 0 1859198743 9486336 1913 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2316 1913 566 18 0 2298 0
[pid=28796] vsize: 9264
Current children cumulated CPU time (s) 577.5
Current children cumulated vsize (Kb) 9264

[startup+600.025 s]
Raw data (loadavg): 0.99 0.98 0.92 1/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 1951 0 0 0 58043 688 0 0 25 0 1 0 1859198743 9486336 1917 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2316 1917 566 18 0 2298 0
[pid=28796] vsize: 9264
Current children cumulated CPU time (s) 587.31
Current children cumulated vsize (Kb) 9264

[startup+610.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1978 0 0 0 59010 699 0 0 25 0 1 0 1859198743 9621504 1944 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2349 1944 566 18 0 2331 0
[pid=28796] vsize: 9396
Current children cumulated CPU time (s) 597.09
Current children cumulated vsize (Kb) 9396

[startup+620.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 1991 0 0 0 59980 710 0 0 25 0 1 0 1859198743 9756672 1957 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2382 1957 566 18 0 2364 0
[pid=28796] vsize: 9528
Current children cumulated CPU time (s) 606.9
Current children cumulated vsize (Kb) 9528

[startup+630.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 1994 0 0 0 60955 718 0 0 21 0 1 0 1859198743 9756672 1960 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2382 1960 566 18 0 2364 0
[pid=28796] vsize: 9528
Current children cumulated CPU time (s) 616.73
Current children cumulated vsize (Kb) 9528

[startup+640.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2003 0 0 0 61927 728 0 0 25 0 1 0 1859198743 9756672 1969 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2382 1969 566 18 0 2364 0
[pid=28796] vsize: 9528
Current children cumulated CPU time (s) 626.55
Current children cumulated vsize (Kb) 9528

[startup+650.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2053 0 0 0 62899 737 0 0 25 0 1 0 1859198743 10027008 2019 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2448 2019 566 18 0 2430 0
[pid=28796] vsize: 9792
Current children cumulated CPU time (s) 636.36
Current children cumulated vsize (Kb) 9792

[startup+660.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2053 0 0 0 63866 748 0 0 22 0 1 0 1859198743 10027008 2019 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 2448 2019 566 18 0 2430 0
[pid=28796] vsize: 9792
Current children cumulated CPU time (s) 646.14
Current children cumulated vsize (Kb) 9792

[startup+670.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2053 0 0 0 64839 757 0 0 25 0 1 0 1859198743 10027008 2019 4294967295 134512640 134578447 3221224624 3221223536 134516795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 2448 2019 566 18 0 2430 0
[pid=28796] vsize: 9792
Current children cumulated CPU time (s) 655.96
Current children cumulated vsize (Kb) 9792

[startup+680.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2064 0 0 0 65807 768 0 0 25 0 1 0 1859198743 10027008 2030 4294967295 134512640 134578447 3221224624 3221223244 1075288888 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2448 2030 566 18 0 2430 0
[pid=28796] vsize: 9792
Current children cumulated CPU time (s) 665.75
Current children cumulated vsize (Kb) 9792

[startup+690.029 s]
Raw data (loadavg): 0.99 0.98 0.92 1/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 2080 0 0 0 66779 777 0 0 25 0 1 0 1859198743 10153984 2046 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2479 2046 566 18 0 2461 0
[pid=28796] vsize: 9916
Current children cumulated CPU time (s) 675.56
Current children cumulated vsize (Kb) 9916

[startup+700.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2080 0 0 0 67748 788 0 0 25 0 1 0 1859198743 10153984 2046 4294967295 134512640 134578447 3221224624 3221223504 134527457 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 2479 2046 566 18 0 2461 0
[pid=28796] vsize: 9916
Current children cumulated CPU time (s) 685.36
Current children cumulated vsize (Kb) 9916

[startup+710.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2136 0 0 0 68719 799 0 0 25 0 1 0 1859198743 10285056 2102 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2511 2102 566 18 0 2493 0
[pid=28796] vsize: 10044
Current children cumulated CPU time (s) 695.18
Current children cumulated vsize (Kb) 10044

[startup+720.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2136 0 0 0 69686 813 0 0 25 0 1 0 1859198743 10285056 2102 4294967295 134512640 134578447 3221224624 3221223584 134559074 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2511 2102 566 18 0 2493 0
[pid=28796] vsize: 10044
Current children cumulated CPU time (s) 704.99
Current children cumulated vsize (Kb) 10044

[startup+730.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2136 0 0 0 70658 822 0 0 25 0 1 0 1859198743 10285056 2102 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2511 2102 566 18 0 2493 0
[pid=28796] vsize: 10044
Current children cumulated CPU time (s) 714.8
Current children cumulated vsize (Kb) 10044

[startup+740.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2136 0 0 0 71631 831 0 0 25 0 1 0 1859198743 10285056 2102 4294967295 134512640 134578447 3221224624 3221223552 134519840 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2511 2102 566 18 0 2493 0
[pid=28796] vsize: 10044
Current children cumulated CPU time (s) 724.62
Current children cumulated vsize (Kb) 10044

[startup+750.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2136 0 0 0 72604 840 0 0 25 0 1 0 1859198743 10285056 2102 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2511 2102 566 18 0 2493 0
[pid=28796] vsize: 10044
Current children cumulated CPU time (s) 734.44
Current children cumulated vsize (Kb) 10044

[startup+760.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2136 0 0 0 73575 851 0 0 25 0 1 0 1859198743 10285056 2102 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2511 2102 566 18 0 2493 0
[pid=28796] vsize: 10044
Current children cumulated CPU time (s) 744.26
Current children cumulated vsize (Kb) 10044

[startup+770.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2136 0 0 0 74549 861 0 0 25 0 1 0 1859198743 10285056 2102 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2511 2102 566 18 0 2493 0
[pid=28796] vsize: 10044
Current children cumulated CPU time (s) 754.1
Current children cumulated vsize (Kb) 10044

[startup+780.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2136 0 0 0 75521 872 0 0 25 0 1 0 1859198743 10285056 2102 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2511 2102 566 18 0 2493 0
[pid=28796] vsize: 10044
Current children cumulated CPU time (s) 763.93
Current children cumulated vsize (Kb) 10044

[startup+790.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2136 0 0 0 76492 882 0 0 25 0 1 0 1859198743 10285056 2102 4294967295 134512640 134578447 3221224624 3221223520 134519828 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2511 2102 566 18 0 2493 0
[pid=28796] vsize: 10044
Current children cumulated CPU time (s) 773.74
Current children cumulated vsize (Kb) 10044

[startup+800.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2136 0 0 0 77463 893 0 0 25 0 1 0 1859198743 10285056 2102 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2511 2102 566 18 0 2493 0
[pid=28796] vsize: 10044
Current children cumulated CPU time (s) 783.56
Current children cumulated vsize (Kb) 10044

[startup+810.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2136 0 0 0 78431 905 0 0 22 0 1 0 1859198743 10285056 2102 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 2511 2102 566 18 0 2493 0
[pid=28796] vsize: 10044
Current children cumulated CPU time (s) 793.36
Current children cumulated vsize (Kb) 10044

[startup+820.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2136 0 0 0 79404 914 0 0 25 0 1 0 1859198743 10285056 2102 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 2511 2102 566 18 0 2493 0
[pid=28796] vsize: 10044
Current children cumulated CPU time (s) 803.18
Current children cumulated vsize (Kb) 10044

[startup+830.032 s]
Raw data (loadavg): 0.99 0.98 0.92 1/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 2136 0 0 0 80371 925 0 0 25 0 1 0 1859198743 10285056 2102 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2511 2102 566 18 0 2493 0
[pid=28796] vsize: 10044
Current children cumulated CPU time (s) 812.96
Current children cumulated vsize (Kb) 10044

[startup+840.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2136 0 0 0 81338 938 0 0 25 0 1 0 1859198743 10285056 2102 4294967295 134512640 134578447 3221224624 3221223556 134527376 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2511 2102 566 18 0 2493 0
[pid=28796] vsize: 10044
Current children cumulated CPU time (s) 822.76
Current children cumulated vsize (Kb) 10044

[startup+850.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2167 0 0 0 82309 947 0 0 25 0 1 0 1859198743 10424320 2133 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 2545 2133 566 18 0 2527 0
[pid=28796] vsize: 10180
Current children cumulated CPU time (s) 832.56
Current children cumulated vsize (Kb) 10180

[startup+860.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2180 0 0 0 83274 959 0 0 25 0 1 0 1859198743 10555392 2146 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2577 2146 566 18 0 2559 0
[pid=28796] vsize: 10308
Current children cumulated CPU time (s) 842.33
Current children cumulated vsize (Kb) 10308

[startup+870.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 2180 0 0 0 84239 971 0 0 23 0 1 0 1859198743 10555392 2146 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2577 2146 566 18 0 2559 0
[pid=28796] vsize: 10308
Current children cumulated CPU time (s) 852.1
Current children cumulated vsize (Kb) 10308

[startup+880.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2186 0 0 0 85204 983 0 0 25 0 1 0 1859198743 10555392 2152 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 2577 2152 566 18 0 2559 0
[pid=28796] vsize: 10308
Current children cumulated CPU time (s) 861.87
Current children cumulated vsize (Kb) 10308

[startup+890.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2186 0 0 0 86168 995 0 0 25 0 1 0 1859198743 10555392 2152 4294967295 134512640 134578447 3221224624 3221223476 134555775 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 2577 2152 566 18 0 2559 0
[pid=28796] vsize: 10308
Current children cumulated CPU time (s) 871.63
Current children cumulated vsize (Kb) 10308

[startup+900.035 s]
Raw data (loadavg): 1.07 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2212 0 0 0 87131 1009 0 0 25 0 1 0 1859198743 10690560 2178 4294967295 134512640 134578447 3221224624 3221223520 134519957 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2610 2178 566 18 0 2592 0
[pid=28796] vsize: 10440
Current children cumulated CPU time (s) 881.4
Current children cumulated vsize (Kb) 10440

[startup+910.034 s]
Raw data (loadavg): 1.06 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2212 0 0 0 88100 1020 0 0 25 0 1 0 1859198743 10690560 2178 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2610 2178 566 18 0 2592 0
[pid=28796] vsize: 10440
Current children cumulated CPU time (s) 891.2
Current children cumulated vsize (Kb) 10440

[startup+920.035 s]
Raw data (loadavg): 1.05 1.00 0.93 1/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 2212 0 0 0 89064 1034 0 0 25 0 1 0 1859198743 10690560 2178 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2610 2178 566 18 0 2592 0
[pid=28796] vsize: 10440
Current children cumulated CPU time (s) 900.98
Current children cumulated vsize (Kb) 10440

[startup+930.036 s]
Raw data (loadavg): 1.04 1.00 0.93 1/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 2212 0 0 0 90034 1044 0 0 25 0 1 0 1859198743 10690560 2178 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2610 2178 566 18 0 2592 0
[pid=28796] vsize: 10440
Current children cumulated CPU time (s) 910.78
Current children cumulated vsize (Kb) 10440

[startup+940.036 s]
Raw data (loadavg): 1.04 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2233 0 0 0 91007 1054 0 0 25 0 1 0 1859198743 10690560 2199 4294967295 134512640 134578447 3221224624 3221223472 134558386 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 2610 2199 566 18 0 2592 0
[pid=28796] vsize: 10440
Current children cumulated CPU time (s) 920.61
Current children cumulated vsize (Kb) 10440

[startup+950.037 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2233 0 0 0 91973 1066 0 0 25 0 1 0 1859198743 10690560 2199 4294967295 134512640 134578447 3221224624 3221223552 134552650 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2610 2199 566 18 0 2592 0
[pid=28796] vsize: 10440
Current children cumulated CPU time (s) 930.39
Current children cumulated vsize (Kb) 10440

[startup+960.037 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2233 0 0 0 92940 1076 0 0 25 0 1 0 1859198743 10690560 2199 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 2610 2199 566 18 0 2592 0
[pid=28796] vsize: 10440
Current children cumulated CPU time (s) 940.16
Current children cumulated vsize (Kb) 10440

[startup+970.037 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2233 0 0 0 93912 1085 0 0 25 0 1 0 1859198743 10690560 2199 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2610 2199 566 18 0 2592 0
[pid=28796] vsize: 10440
Current children cumulated CPU time (s) 949.97
Current children cumulated vsize (Kb) 10440

[startup+980.038 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2233 0 0 0 94876 1097 0 0 25 0 1 0 1859198743 10690560 2199 4294967295 134512640 134578447 3221224624 3221223500 134528134 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 2610 2199 566 18 0 2592 0
[pid=28796] vsize: 10440
Current children cumulated CPU time (s) 959.73
Current children cumulated vsize (Kb) 10440

[startup+990.038 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2233 0 0 0 95843 1109 0 0 25 0 1 0 1859198743 10690560 2199 4294967295 134512640 134578447 3221224624 3221223584 134559077 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 2610 2199 566 18 0 2592 0
[pid=28796] vsize: 10440
Current children cumulated CPU time (s) 969.52
Current children cumulated vsize (Kb) 10440

[startup+1000.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2240 0 0 0 96813 1120 0 0 25 0 1 0 1859198743 10821632 2206 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 2642 2206 566 18 0 2624 0
[pid=28796] vsize: 10568
Current children cumulated CPU time (s) 979.33
Current children cumulated vsize (Kb) 10568

[startup+1010.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2247 0 0 0 97784 1131 0 0 25 0 1 0 1859198743 10821632 2213 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2642 2213 566 18 0 2624 0
[pid=28796] vsize: 10568
Current children cumulated CPU time (s) 989.15
Current children cumulated vsize (Kb) 10568

[startup+1020.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2252 0 0 0 98755 1141 0 0 25 0 1 0 1859198743 10821632 2218 4294967295 134512640 134578447 3221224624 3221223504 134527773 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2642 2218 566 18 0 2624 0
[pid=28796] vsize: 10568
Current children cumulated CPU time (s) 998.96
Current children cumulated vsize (Kb) 10568

[startup+1030.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2252 0 0 0 99721 1154 0 0 25 0 1 0 1859198743 10821632 2218 4294967295 134512640 134578447 3221224624 3221223520 134519997 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 2642 2218 566 18 0 2624 0
[pid=28796] vsize: 10568
Current children cumulated CPU time (s) 1008.75
Current children cumulated vsize (Kb) 10568

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2252 0 0 0 100690 1164 0 0 25 0 1 0 1859198743 10821632 2218 4294967295 134512640 134578447 3221224624 3221223472 134556004 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2642 2218 566 18 0 2624 0
[pid=28796] vsize: 10568
Current children cumulated CPU time (s) 1018.54
Current children cumulated vsize (Kb) 10568

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2252 0 0 0 101664 1173 0 0 25 0 1 0 1859198743 10821632 2218 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2642 2218 566 18 0 2624 0
[pid=28796] vsize: 10568
Current children cumulated CPU time (s) 1028.37
Current children cumulated vsize (Kb) 10568

[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 2252 0 0 0 102632 1184 0 0 25 0 1 0 1859198743 10821632 2218 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2642 2218 566 18 0 2624 0
[pid=28796] vsize: 10568
Current children cumulated CPU time (s) 1038.16
Current children cumulated vsize (Kb) 10568

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2261 0 0 0 103607 1194 0 0 25 0 1 0 1859198743 10821632 2227 4294967295 134512640 134578447 3221224624 3221223476 134555786 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2642 2227 566 18 0 2624 0
[pid=28796] vsize: 10568
Current children cumulated CPU time (s) 1048.01
Current children cumulated vsize (Kb) 10568

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2284 0 0 0 104579 1203 0 0 25 0 1 0 1859198743 10956800 2250 4294967295 134512640 134578447 3221224624 3221223472 134556010 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2675 2250 566 18 0 2657 0
[pid=28796] vsize: 10700
Current children cumulated CPU time (s) 1057.82
Current children cumulated vsize (Kb) 10700

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2294 0 0 0 105550 1212 0 0 25 0 1 0 1859198743 10956800 2260 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2675 2260 566 18 0 2657 0
[pid=28796] vsize: 10700
Current children cumulated CPU time (s) 1067.62
Current children cumulated vsize (Kb) 10700

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 2294 0 0 0 106525 1220 0 0 25 0 1 0 1859198743 10956800 2260 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2675 2260 566 18 0 2657 0
[pid=28796] vsize: 10700
Current children cumulated CPU time (s) 1077.45
Current children cumulated vsize (Kb) 10700

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2294 0 0 0 107498 1230 0 0 25 0 1 0 1859198743 10956800 2260 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2675 2260 566 18 0 2657 0
[pid=28796] vsize: 10700
Current children cumulated CPU time (s) 1087.28
Current children cumulated vsize (Kb) 10700

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2294 0 0 0 108470 1239 0 0 25 0 1 0 1859198743 10956800 2260 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2675 2260 566 18 0 2657 0
[pid=28796] vsize: 10700
Current children cumulated CPU time (s) 1097.09
Current children cumulated vsize (Kb) 10700

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2294 0 0 0 109438 1250 0 0 25 0 1 0 1859198743 10956800 2260 4294967295 134512640 134578447 3221224624 3221223472 134520257 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2675 2260 566 18 0 2657 0
[pid=28796] vsize: 10700
Current children cumulated CPU time (s) 1106.88
Current children cumulated vsize (Kb) 10700

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 2294 0 0 0 110408 1261 0 0 25 0 1 0 1859198743 10956800 2260 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2675 2260 566 18 0 2657 0
[pid=28796] vsize: 10700
Current children cumulated CPU time (s) 1116.69
Current children cumulated vsize (Kb) 10700

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 2294 0 0 0 111382 1269 0 0 25 0 1 0 1859198743 10956800 2260 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2675 2260 566 18 0 2657 0
[pid=28796] vsize: 10700
Current children cumulated CPU time (s) 1126.51
Current children cumulated vsize (Kb) 10700

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 2294 0 0 0 112355 1279 0 0 25 0 1 0 1859198743 10956800 2260 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2675 2260 566 18 0 2657 0
[pid=28796] vsize: 10700
Current children cumulated CPU time (s) 1136.34
Current children cumulated vsize (Kb) 10700

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) T 28795 28796 16528 0 -1 0 2294 0 0 0 113324 1290 0 0 25 0 1 0 1859198743 10956800 2260 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2675 2260 566 18 0 2657 0
[pid=28796] vsize: 10700
Current children cumulated CPU time (s) 1146.14
Current children cumulated vsize (Kb) 10700

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2294 0 0 0 114288 1302 0 0 25 0 1 0 1859198743 10956800 2260 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28796/statm): 2675 2260 566 18 0 2657 0
[pid=28796] vsize: 10700
Current children cumulated CPU time (s) 1155.9
Current children cumulated vsize (Kb) 10700

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2295 0 0 0 115255 1312 0 0 25 0 1 0 1859198743 10956800 2261 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2675 2261 566 18 0 2657 0
[pid=28796] vsize: 10700
Current children cumulated CPU time (s) 1165.67
Current children cumulated vsize (Kb) 10700

[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2295 0 0 0 116228 1323 0 0 25 0 1 0 1859198743 10956800 2261 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2675 2261 566 18 0 2657 0
[pid=28796] vsize: 10700
Current children cumulated CPU time (s) 1175.51
Current children cumulated vsize (Kb) 10700

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 28796
Raw data (/proc/28796/stat): 28796 (Pueblo) R 28795 28796 16528 0 -1 0 2417 0 0 0 117204 1331 0 0 25 0 1 0 1859198743 11493376 2383 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28796/statm): 2806 2383 566 18 0 2788 0
[pid=28796] vsize: 11224
Current children cumulated CPU time (s) 1185.35
Current children cumulated vsize (Kb) 11224
One traced child (pid=28796) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1213.75
CPU time (s): 1189.01
CPU user time (s): 1175.66
CPU system time (s): 13.349
CPU usage (%): 97.9614
Max. virtual memory (cumulated for all children) (Kb): 11224

Verifier Data

Verifier:	OK	68