Some explanations

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

General information on the benchmark

Nameweb/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
MD5SUMfeaa96df552ef9989407735877840272
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of terms in the objective function 776
Biggest coefficient in the objective function 474
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 2127
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 474
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2127
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1213.45
Number of variables776
Total number of constraints1642
Number of constraints which are clauses701
Number of constraints which are cardinality constraints (but not clauses)941
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20

Trace number 8032

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        830712 kB
Buffers:         37892 kB
Cached:         136640 kB
SwapCached:       1044 kB
Active:          67460 kB
Inactive:       109832 kB
HighTotal:      131008 kB
HighFree:        10360 kB
LowTotal:       903652 kB
LowFree:        820352 kB
SwapTotal:     2097136 kB
SwapFree:      2095568 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            21052 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 15:37:53 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 5082 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: 776 - #constraints read: 1643
c total time              : 1189 s
s SATISFIABLE
v -v756 -v693 -v588 -v262 v241 v56 v38 -v692 -v590 -v486 -v263 v246 v55 v37 -v757 -v700 -v589 -v485 -v439 -v266 v245 v54 v39 -v758 -v694 -v594 -v487 -v444 -v264 v52 v40 -v761 -v695 -v612 -v593 -v488 -v443 -v265 v248 v53 v47 -v759 -v696 -v611 -v591 -v489 -v401 v249 v41 v2 -v760 -v613 -v592 -v496 -v446 -v421 -v400 -v252 -v198 v171 v42 v1 -v734 -v616 -v490 -v447 -v420 -v406 -v385 -v250 v176 v43 v3 -v733 -v615 -v491 -v450 -v422 -v405 -v384 -v273 -v251 -v197 v175 v137 v4 -v620 -v492 -v448 -v425 -v407 -v386 -v366 -v278 -v201 -v155 v136 -v18 v5 -v735 -v619 -v559 -v510 -v449 -v424 -v411 -v387 -v365 -v277 -v178 -v154 v138 -v87 v17 v12 -v737 -v650 -v617 -v515 -v429 -v410 -v388 -v202 -v179 -v156 -v141 v86 v23 v6 -v649 -v618 -v558 -v514 -v466 -v428 -v408 -v395 -v367 -v280 -v182 -v157 v140 v88 -v66 v22 -v7 -v738 -v562 -v426 -v409 -v389 -v369 -v281 -v180 -v158 -v145 v91 v71 v24 -v8 -v740 -v651 -v517 -v469 -v427 -v390 -v318 -v284 -v223 -v181 -v165 -v144 -v121 v90 v70 v28 -v741 -v653 -v635 -v563 -v518 -v470 -v391 -v370 -v317 -v282 -v159 -v142 v95 v27 -v634 -v521 -v372 -v347 -v319 -v283 -v222 -v160 -v143 -v120 v94 v73 v25 -v654 -v519 -v373 -v351 -v322 -v226 -v161 v92 v74 v26 -v656 -v636 -v520 -v321 v124 v93 v75 -v657 v639 -v323 -v227 v125 v76 -v753 -v703 -v64 -v755 -v704 -v587 -v267 v240 v60 -v754 -v699 -v602 v242 v59 v50 -v762 -v598 -v438 v247 v51 -v710 -v697 -v597 -v499 -v440 v244 v46 -v714 -v500 -v445 v253 -v495 -v442 v44 -v729 -v614 -v451 -v402 v170 -v728 -v628 -v493 -v403 -v199 v172 v15 -v624 -v423 -v404 -v361 -v272 -v203 v177 v16 -v736 -v623 -v437 -v415 -v398 -v360 -v274 v174 -v11 -v739 -v645 -v509 -v433 -v399 -v279 -v183 v139 v19 -v743 -v644 -v560 -v511 -v465 -v432 -v394 -v368 -v276 -v205 -v168 v153 v20 -v9 -v742 -v564 -v516 -v371 -v285 -v206 -v169 -v149 v89 v65 v21 -v652 -v513 -v471 -v392 -v375 -v164 -v148 -v116 v103 v67 v32 -v655 -v630 -v522 -v374 v99 v72 -v659 -v629 -v566 -v346 -v224 -v162 -v122 v98 v69 -v658 -v567 -v350 -v320 -v228 v77 -v637 -v474 -v331 v126 v638 -v327 -v701 -v599 -v105 -v63 v49 -v752 -v601 -v271 v48 -v770 -v498 -v270 v57 -v766 -v497 v243 -v765 -v709 -v698 -v595 v261 v58 -v713 -v441 -v257 v193 -v625 -v596 -v459 -v302 -v256 v192 v45 v14 -v627 -v455 v13 -v494 -v454 -v434 -v418 -v397 -v200 -v730 -v554 -v436 -v419 -v396 -v204 v173 -v731 -v621 -v553 -v461 -v414 -v208 v191 -v167 v150 -v732 -v362 -v275 -v207 -v187 -v166 v152 -v747 -v622 -v561 -v467 -v430 -v412 -v363 -v293 -v186 v100 v35 -v10 -v646 -v565 -v512 -v364 -v289 -v218 v102 v36 -v685 -v647 -v569 -v530 -v472 -v431 -v393 -v379 -v288 -v217 -v146 v31 -v648 -v568 -v526 -v115 v68 -v663 -v525 -v475 -v348 -v328 -v225 -v163 -v147 -v117 v96 v85 v29 -v631 -v473 -v352 -v330 -v229 -v123 v81 -v632 -v230 v119 v97 v80 v633 -v326 -v231 v127 -v767 -v702 -v600 -v333 v104 -v61 -v769 -v268 v258 v260 -v763 -v711 -v456 v299 -v269 -v715 -v626 -v458 -v764 -v417 v301 -v254 -v435 -v416 v194 -v717 -v452 -v255 v195 v188 -v718 v196 v190 -v151 -v750 -v453 -v290 v212 v34 -v751 -v555 -v460 -v292 v101 v33 -v746 v681 -v556 -v527 -v462 -v413 -v382 -v184 -v557 -v529 -v468 -v383 -v343 -v744 -v684 -v666 -v573 -v464 -v378 -v342 -v286 -v185 v82 -v667 -v476 -v329 -v219 v84 -v662 -v534 -v523 -v376 -v349 -v287 -v220 v30 -v538 -v353 v221 -v118 -v660 -v642 -v604 -v524 -v354 v235 v135 v78 -v643 v608 -v355 -v324 v131 -v768 v332 v106 -v62 v706 -v259 v705 -v457 -v712 v298 v108 v716 v720 v303 v719 v189 -v749 v215 -v748 -v291 v216 v677 -v381 -v306 v211 -v528 -v380 v680 -v665 -v576 v209 -v664 -v577 -v463 -v83 -v745 v686 -v572 -v484 -v480 -v344 -v641 -v570 v533 -v479 -v377 -v345 v238 -v132 -v640 -v537 v239 -v134 -v689 -v661 -v603 v234 v79 v607 -v325 -v130 -v502 -v295 v109 v707 v107 v708 -v546 -v335 v300 -v771 v724 v304 v214 v213 v673 v307 -v305 v772 v676 v773 -v575 -v574 v682 -v481 v210 -v483 v687 v237 v236 -v133 -v690 -v571 v535 -v477 v358 -v688 -v539 v359 v605 -v478 v232 v609 -v128 v110 -v501 v336 -v334 v294 v727 -v545 v296 -v723 v308 -v721 v672 v582 -v482 v683 v532 -v679 v531 v357 -v691 v356 v536 -v540 v606 -v233 v610 -v129 v337 -v114 v726 v503 -v113 v725 -v547 v297 -v669 -v506 v316 -v312 -v722 v674 v581 v549 -v311 v550 -v678 v586 v542 v341 v541 v504 v340 -v111 -v548 v507 v313 -v112 -v505 v315 v580 v552 v668 v551 v670 v583 -v309 v675 -v310 v585 v338 v543 v508 -v314 v544 v339 v774 v579 v578 v671 v584 v775 one

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1801324633 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8931/statm): 41 3 40 18 0 23 0
[pid=8931] 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.003 s]
Raw data (loadavg): 0.97 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 1057 0 0 0 943 19 0 0 25 0 1 0 1801324633 5804032 1023 4294967295 134512640 134578447 3221224624 3221223476 134555886 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 1417 1023 566 18 0 1399 0
[pid=8931] vsize: 5668
Current children cumulated CPU time (s) 9.62
Current children cumulated vsize (Kb) 5668

[startup+20.0028 s]
Raw data (loadavg): 0.97 0.98 0.94 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 1252 0 0 0 1889 38 0 0 25 0 1 0 1801324633 6717440 1218 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 1640 1218 566 18 0 1622 0
[pid=8931] vsize: 6560
Current children cumulated CPU time (s) 19.27
Current children cumulated vsize (Kb) 6560

[startup+30.0035 s]
Raw data (loadavg): 0.98 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 1376 0 0 0 2842 57 0 0 20 0 1 0 1801324633 7110656 1342 4294967295 134512640 134578447 3221224624 3221223376 134528904 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8931/statm): 1736 1342 566 18 0 1718 0
[pid=8931] vsize: 6944
Current children cumulated CPU time (s) 28.99
Current children cumulated vsize (Kb) 6944

[startup+40.0043 s]
Raw data (loadavg): 0.98 0.98 0.94 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 1438 0 0 0 3787 77 0 0 25 0 1 0 1801324633 7372800 1404 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 1800 1404 566 18 0 1782 0
[pid=8931] vsize: 7200
Current children cumulated CPU time (s) 38.64
Current children cumulated vsize (Kb) 7200

[startup+50.0051 s]
Raw data (loadavg): 0.98 0.98 0.94 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 1531 0 0 0 4734 94 0 0 25 0 1 0 1801324633 7770112 1497 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 1897 1497 566 18 0 1879 0
[pid=8931] vsize: 7588
Current children cumulated CPU time (s) 48.28
Current children cumulated vsize (Kb) 7588

[startup+60.0058 s]
Raw data (loadavg): 0.98 0.98 0.94 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 1625 0 0 0 5687 111 0 0 25 0 1 0 1801324633 8163328 1591 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 1993 1591 566 18 0 1975 0
[pid=8931] vsize: 7972
Current children cumulated CPU time (s) 57.98
Current children cumulated vsize (Kb) 7972

[startup+70.0056 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 1660 0 0 0 6639 128 0 0 25 0 1 0 1801324633 8290304 1626 4294967295 134512640 134578447 3221224624 3221223536 134557425 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8931/statm): 2024 1626 566 18 0 2006 0
[pid=8931] vsize: 8096
Current children cumulated CPU time (s) 67.67
Current children cumulated vsize (Kb) 8096

[startup+80.0063 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 1660 0 0 0 7583 144 0 0 25 0 1 0 1801324633 8290304 1626 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8931/statm): 2024 1626 566 18 0 2006 0
[pid=8931] vsize: 8096
Current children cumulated CPU time (s) 77.27
Current children cumulated vsize (Kb) 8096

[startup+90.0071 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 1721 0 0 0 8529 163 0 0 25 0 1 0 1801324633 8548352 1687 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2087 1687 566 18 0 2069 0
[pid=8931] vsize: 8348
Current children cumulated CPU time (s) 86.92
Current children cumulated vsize (Kb) 8348

[startup+100.008 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 1778 0 0 0 9478 180 0 0 25 0 1 0 1801324633 8806400 1744 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2150 1744 566 18 0 2132 0
[pid=8931] vsize: 8600
Current children cumulated CPU time (s) 96.58
Current children cumulated vsize (Kb) 8600

[startup+110.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 1778 0 0 0 10425 202 0 0 25 0 1 0 1801324633 8806400 1744 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8931/statm): 2150 1744 566 18 0 2132 0
[pid=8931] vsize: 8600
Current children cumulated CPU time (s) 106.27
Current children cumulated vsize (Kb) 8600

[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 1806 0 0 0 11364 222 0 0 19 0 1 0 1801324633 8937472 1772 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2182 1772 566 18 0 2164 0
[pid=8931] vsize: 8728
Current children cumulated CPU time (s) 115.86
Current children cumulated vsize (Kb) 8728

[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 1853 0 0 0 12304 244 0 0 25 0 1 0 1801324633 9068544 1819 4294967295 134512640 134578447 3221224624 3221222768 134564370 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2214 1819 566 18 0 2196 0
[pid=8931] vsize: 8856
Current children cumulated CPU time (s) 125.48
Current children cumulated vsize (Kb) 8856

[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 1934 0 0 0 13251 261 0 0 25 0 1 0 1801324633 9461760 1900 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2310 1900 566 18 0 2292 0
[pid=8931] vsize: 9240
Current children cumulated CPU time (s) 135.12
Current children cumulated vsize (Kb) 9240

[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 1934 0 0 0 14194 281 0 0 25 0 1 0 1801324633 9461760 1900 4294967295 134512640 134578447 3221224624 3221223376 134528924 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2310 1900 566 18 0 2292 0
[pid=8931] vsize: 9240
Current children cumulated CPU time (s) 144.75
Current children cumulated vsize (Kb) 9240

[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 1965 0 0 0 15135 300 0 0 25 0 1 0 1801324633 9592832 1931 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2342 1931 566 18 0 2324 0
[pid=8931] vsize: 9368
Current children cumulated CPU time (s) 154.35
Current children cumulated vsize (Kb) 9368

[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 1965 0 0 0 16081 318 0 0 25 0 1 0 1801324633 9584640 1931 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2340 1931 566 18 0 2322 0
[pid=8931] vsize: 9360
Current children cumulated CPU time (s) 163.99
Current children cumulated vsize (Kb) 9360

[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 1965 0 0 0 17021 340 0 0 25 0 1 0 1801324633 9580544 1931 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2339 1931 566 18 0 2321 0
[pid=8931] vsize: 9356
Current children cumulated CPU time (s) 173.61
Current children cumulated vsize (Kb) 9356

[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 1965 0 0 0 17954 360 0 0 25 0 1 0 1801324633 9572352 1931 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2337 1931 566 18 0 2319 0
[pid=8931] vsize: 9348
Current children cumulated CPU time (s) 183.14
Current children cumulated vsize (Kb) 9348

[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2001 0 0 0 18889 381 0 0 25 0 1 0 1801324633 9703424 1967 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2369 1967 566 18 0 2351 0
[pid=8931] vsize: 9476
Current children cumulated CPU time (s) 192.7
Current children cumulated vsize (Kb) 9476

[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2030 0 0 0 19821 402 0 0 25 0 1 0 1801324633 9834496 1996 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2401 1996 566 18 0 2383 0
[pid=8931] vsize: 9604
Current children cumulated CPU time (s) 202.23
Current children cumulated vsize (Kb) 9604

[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2030 0 0 0 20761 420 0 0 25 0 1 0 1801324633 9834496 1996 4294967295 134512640 134578447 3221224624 3221223472 134520270 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2401 1996 566 18 0 2383 0
[pid=8931] vsize: 9604
Current children cumulated CPU time (s) 211.81
Current children cumulated vsize (Kb) 9604

[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2030 0 0 0 21709 437 0 0 25 0 1 0 1801324633 9834496 1996 4294967295 134512640 134578447 3221224624 3221223476 134555765 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2401 1996 566 18 0 2383 0
[pid=8931] vsize: 9604
Current children cumulated CPU time (s) 221.46
Current children cumulated vsize (Kb) 9604

[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2038 0 0 0 22650 458 0 0 25 0 1 0 1801324633 9834496 2004 4294967295 134512640 134578447 3221224624 3221223488 134517715 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8931/statm): 2401 2004 566 18 0 2383 0
[pid=8931] vsize: 9604
Current children cumulated CPU time (s) 231.08
Current children cumulated vsize (Kb) 9604

[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2038 0 0 0 23585 482 0 0 25 0 1 0 1801324633 9834496 2004 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2401 2004 566 18 0 2383 0
[pid=8931] vsize: 9604
Current children cumulated CPU time (s) 240.67
Current children cumulated vsize (Kb) 9604

[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2047 0 0 0 24522 503 0 0 25 0 1 0 1801324633 9965568 2013 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2433 2013 566 18 0 2415 0
[pid=8931] vsize: 9732
Current children cumulated CPU time (s) 250.25
Current children cumulated vsize (Kb) 9732

[startup+270.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2109 0 0 0 25468 522 0 0 25 0 1 0 1801324633 10223616 2075 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2496 2075 566 18 0 2478 0
[pid=8931] vsize: 9984
Current children cumulated CPU time (s) 259.9
Current children cumulated vsize (Kb) 9984

[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2117 0 0 0 26421 536 0 0 25 0 1 0 1801324633 10223616 2083 4294967295 134512640 134578447 3221224624 3221223384 1075289347 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2496 2083 566 18 0 2478 0
[pid=8931] vsize: 9984
Current children cumulated CPU time (s) 269.57
Current children cumulated vsize (Kb) 9984

[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2131 0 0 0 27360 556 0 0 25 0 1 0 1801324633 10223616 2097 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2496 2097 566 18 0 2478 0
[pid=8931] vsize: 9984
Current children cumulated CPU time (s) 279.16
Current children cumulated vsize (Kb) 9984

[startup+300.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2168 0 0 0 28303 576 0 0 25 0 1 0 1801324633 10354688 2134 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8931/statm): 2528 2134 566 18 0 2510 0
[pid=8931] vsize: 10112
Current children cumulated CPU time (s) 288.79
Current children cumulated vsize (Kb) 10112

[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2196 0 0 0 29243 597 0 0 25 0 1 0 1801324633 10485760 2162 4294967295 134512640 134578447 3221224624 3221223436 134528626 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2560 2162 566 18 0 2542 0
[pid=8931] vsize: 10240
Current children cumulated CPU time (s) 298.4
Current children cumulated vsize (Kb) 10240

[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2236 0 0 0 30185 619 0 0 25 0 1 0 1801324633 10747904 2202 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2624 2202 566 18 0 2606 0
[pid=8931] vsize: 10496
Current children cumulated CPU time (s) 308.04
Current children cumulated vsize (Kb) 10496

[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2236 0 0 0 31117 642 0 0 25 0 1 0 1801324633 10657792 2202 4294967295 134512640 134578447 3221224624 3221223376 134528924 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2602 2202 566 18 0 2584 0
[pid=8931] vsize: 10408
Current children cumulated CPU time (s) 317.59
Current children cumulated vsize (Kb) 10408

[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2236 0 0 0 32055 665 0 0 25 0 1 0 1801324633 10616832 2198 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2592 2198 566 18 0 2574 0
[pid=8931] vsize: 10368
Current children cumulated CPU time (s) 327.2
Current children cumulated vsize (Kb) 10368

[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2270 0 0 0 33007 682 0 0 25 0 1 0 1801324633 10874880 2232 4294967295 134512640 134578447 3221224624 3221223456 134528357 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2655 2232 566 18 0 2637 0
[pid=8931] vsize: 10620
Current children cumulated CPU time (s) 336.89
Current children cumulated vsize (Kb) 10620

[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2290 0 0 0 33958 700 0 0 25 0 1 0 1801324633 10874880 2252 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8931/statm): 2655 2252 566 18 0 2637 0
[pid=8931] vsize: 10620
Current children cumulated CPU time (s) 346.58
Current children cumulated vsize (Kb) 10620

[startup+370.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2290 0 0 0 34905 718 0 0 25 0 1 0 1801324633 10874880 2252 4294967295 134512640 134578447 3221224624 3221223552 134519717 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2655 2252 566 18 0 2637 0
[pid=8931] vsize: 10620
Current children cumulated CPU time (s) 356.23
Current children cumulated vsize (Kb) 10620

[startup+380.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2290 0 0 0 35853 737 0 0 25 0 1 0 1801324633 10829824 2250 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8931/statm): 2644 2250 566 18 0 2626 0
[pid=8931] vsize: 10576
Current children cumulated CPU time (s) 365.9
Current children cumulated vsize (Kb) 10576

[startup+390.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2397 0 0 0 36797 757 0 0 25 0 1 0 1801324633 11350016 2357 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2771 2357 566 18 0 2753 0
[pid=8931] vsize: 11084
Current children cumulated CPU time (s) 375.54
Current children cumulated vsize (Kb) 11084

[startup+400.015 s]
Raw data (loadavg): 1.07 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2431 0 0 0 37741 775 0 0 25 0 1 0 1801324633 11481088 2391 4294967295 134512640 134578447 3221224624 3221223456 134528774 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2803 2391 566 18 0 2785 0
[pid=8931] vsize: 11212
Current children cumulated CPU time (s) 385.16
Current children cumulated vsize (Kb) 11212

[startup+410.015 s]
Raw data (loadavg): 1.06 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2431 0 0 0 38690 792 0 0 25 0 1 0 1801324633 11481088 2391 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2803 2391 566 18 0 2785 0
[pid=8931] vsize: 11212
Current children cumulated CPU time (s) 394.82
Current children cumulated vsize (Kb) 11212

[startup+420.015 s]
Raw data (loadavg): 1.05 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2431 0 0 0 39641 808 0 0 25 0 1 0 1801324633 11481088 2391 4294967295 134512640 134578447 3221224624 3221223504 134527768 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2803 2391 566 18 0 2785 0
[pid=8931] vsize: 11212
Current children cumulated CPU time (s) 404.49
Current children cumulated vsize (Kb) 11212

[startup+430.015 s]
Raw data (loadavg): 1.04 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2448 0 0 0 40591 825 0 0 25 0 1 0 1801324633 11481088 2408 4294967295 134512640 134578447 3221224624 3221223488 134517715 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2803 2408 566 18 0 2785 0
[pid=8931] vsize: 11212
Current children cumulated CPU time (s) 414.16
Current children cumulated vsize (Kb) 11212

[startup+440.015 s]
Raw data (loadavg): 1.03 1.00 0.94 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2467 0 0 0 41541 841 0 0 25 0 1 0 1801324633 11608064 2427 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2834 2427 566 18 0 2816 0
[pid=8931] vsize: 11336
Current children cumulated CPU time (s) 423.82
Current children cumulated vsize (Kb) 11336

[startup+450.015 s]
Raw data (loadavg): 1.03 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2467 0 0 0 42494 857 0 0 25 0 1 0 1801324633 11608064 2427 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8931/statm): 2834 2427 566 18 0 2816 0
[pid=8931] vsize: 11336
Current children cumulated CPU time (s) 433.51
Current children cumulated vsize (Kb) 11336

[startup+460.016 s]
Raw data (loadavg): 1.02 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2467 0 0 0 43447 874 0 0 25 0 1 0 1801324633 11608064 2427 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2834 2427 566 18 0 2816 0
[pid=8931] vsize: 11336
Current children cumulated CPU time (s) 443.21
Current children cumulated vsize (Kb) 11336

[startup+470.016 s]
Raw data (loadavg): 1.02 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2467 0 0 0 44396 891 0 0 25 0 1 0 1801324633 11608064 2427 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2834 2427 566 18 0 2816 0
[pid=8931] vsize: 11336
Current children cumulated CPU time (s) 452.87
Current children cumulated vsize (Kb) 11336

[startup+480.017 s]
Raw data (loadavg): 1.02 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2467 0 0 0 45346 908 0 0 25 0 1 0 1801324633 11608064 2427 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2834 2427 566 18 0 2816 0
[pid=8931] vsize: 11336
Current children cumulated CPU time (s) 462.54
Current children cumulated vsize (Kb) 11336

[startup+490.017 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2467 0 0 0 46296 926 0 0 25 0 1 0 1801324633 11608064 2427 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2834 2427 566 18 0 2816 0
[pid=8931] vsize: 11336
Current children cumulated CPU time (s) 472.22
Current children cumulated vsize (Kb) 11336

[startup+500.017 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2467 0 0 0 47247 944 0 0 25 0 1 0 1801324633 11608064 2427 4294967295 134512640 134578447 3221224624 3221223536 134556815 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2834 2427 566 18 0 2816 0
[pid=8931] vsize: 11336
Current children cumulated CPU time (s) 481.91
Current children cumulated vsize (Kb) 11336

[startup+510.018 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2508 0 0 0 48200 961 0 0 25 0 1 0 1801324633 11743232 2468 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2867 2468 566 18 0 2849 0
[pid=8931] vsize: 11468
Current children cumulated CPU time (s) 491.61
Current children cumulated vsize (Kb) 11468

[startup+520.018 s]
Raw data (loadavg): 1.01 1.00 0.94 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2508 0 0 0 49149 979 0 0 25 0 1 0 1801324633 11743232 2468 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2867 2468 566 18 0 2849 0
[pid=8931] vsize: 11468
Current children cumulated CPU time (s) 501.28
Current children cumulated vsize (Kb) 11468

[startup+530.019 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2508 0 0 0 50099 997 0 0 25 0 1 0 1801324633 11743232 2468 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2867 2468 566 18 0 2849 0
[pid=8931] vsize: 11468
Current children cumulated CPU time (s) 510.96
Current children cumulated vsize (Kb) 11468

[startup+540.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2508 0 0 0 51047 1015 0 0 25 0 1 0 1801324633 11743232 2468 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2867 2468 566 18 0 2849 0
[pid=8931] vsize: 11468
Current children cumulated CPU time (s) 520.62
Current children cumulated vsize (Kb) 11468

[startup+550.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2508 0 0 0 51996 1032 0 0 25 0 1 0 1801324633 11743232 2468 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2867 2468 566 18 0 2849 0
[pid=8931] vsize: 11468
Current children cumulated CPU time (s) 530.28
Current children cumulated vsize (Kb) 11468

[startup+560.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2508 0 0 0 52943 1051 0 0 25 0 1 0 1801324633 11735040 2468 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2865 2468 566 18 0 2847 0
[pid=8931] vsize: 11460
Current children cumulated CPU time (s) 539.94
Current children cumulated vsize (Kb) 11460

[startup+570.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2519 0 0 0 53886 1072 0 0 25 0 1 0 1801324633 11780096 2461 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2876 2461 566 18 0 2858 0
[pid=8931] vsize: 11504
Current children cumulated CPU time (s) 549.58
Current children cumulated vsize (Kb) 11504

[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2592 0 0 0 54833 1092 0 0 25 0 1 0 1801324633 12042240 2534 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2940 2534 566 18 0 2922 0
[pid=8931] vsize: 11760
Current children cumulated CPU time (s) 559.25
Current children cumulated vsize (Kb) 11760

[startup+590.019 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2622 0 0 0 55786 1108 0 0 25 0 1 0 1801324633 12173312 2564 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2972 2564 566 18 0 2954 0
[pid=8931] vsize: 11888
Current children cumulated CPU time (s) 568.94
Current children cumulated vsize (Kb) 11888

[startup+600.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2622 0 0 0 56736 1125 0 0 25 0 1 0 1801324633 12173312 2564 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 2972 2564 566 18 0 2954 0
[pid=8931] vsize: 11888
Current children cumulated CPU time (s) 578.61
Current children cumulated vsize (Kb) 11888

[startup+610.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2677 0 0 0 57677 1146 0 0 25 0 1 0 1801324633 12435456 2619 4294967295 134512640 134578447 3221224624 3221223504 134527788 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8931/statm): 3036 2619 566 18 0 3018 0
[pid=8931] vsize: 12144
Current children cumulated CPU time (s) 588.23
Current children cumulated vsize (Kb) 12144

[startup+620.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2677 0 0 0 58626 1164 0 0 25 0 1 0 1801324633 12435456 2619 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3036 2619 566 18 0 3018 0
[pid=8931] vsize: 12144
Current children cumulated CPU time (s) 597.9
Current children cumulated vsize (Kb) 12144

[startup+630.02 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2684 0 0 0 59576 1182 0 0 25 0 1 0 1801324633 12435456 2626 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3036 2626 566 18 0 3018 0
[pid=8931] vsize: 12144
Current children cumulated CPU time (s) 607.58
Current children cumulated vsize (Kb) 12144

[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2691 0 0 0 60531 1198 0 0 25 0 1 0 1801324633 12435456 2633 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3036 2633 566 18 0 3018 0
[pid=8931] vsize: 12144
Current children cumulated CPU time (s) 617.29
Current children cumulated vsize (Kb) 12144

[startup+650.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2691 0 0 0 61480 1218 0 0 25 0 1 0 1801324633 12435456 2633 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8931/statm): 3036 2633 566 18 0 3018 0
[pid=8931] vsize: 12144
Current children cumulated CPU time (s) 626.98
Current children cumulated vsize (Kb) 12144

[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2752 0 0 0 62430 1236 0 0 25 0 1 0 1801324633 12701696 2694 4294967295 134512640 134578447 3221224624 3221223572 134558732 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8931/statm): 3101 2694 566 18 0 3083 0
[pid=8931] vsize: 12404
Current children cumulated CPU time (s) 636.66
Current children cumulated vsize (Kb) 12404

[startup+670.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2752 0 0 0 63380 1254 0 0 25 0 1 0 1801324633 12701696 2694 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3101 2694 566 18 0 3083 0
[pid=8931] vsize: 12404
Current children cumulated CPU time (s) 646.34
Current children cumulated vsize (Kb) 12404

[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2752 0 0 0 64334 1272 0 0 25 0 1 0 1801324633 12701696 2694 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3101 2694 566 18 0 3083 0
[pid=8931] vsize: 12404
Current children cumulated CPU time (s) 656.06
Current children cumulated vsize (Kb) 12404

[startup+690.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2754 0 0 0 65281 1289 0 0 25 0 1 0 1801324633 12701696 2696 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3101 2696 566 18 0 3083 0
[pid=8931] vsize: 12404
Current children cumulated CPU time (s) 665.7
Current children cumulated vsize (Kb) 12404

[startup+700.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2754 0 0 0 66234 1303 0 0 25 0 1 0 1801324633 12701696 2696 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3101 2696 566 18 0 3083 0
[pid=8931] vsize: 12404
Current children cumulated CPU time (s) 675.37
Current children cumulated vsize (Kb) 12404

[startup+710.022 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2754 0 0 0 67177 1321 0 0 25 0 1 0 1801324633 12701696 2696 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3101 2696 566 18 0 3083 0
[pid=8931] vsize: 12404
Current children cumulated CPU time (s) 684.98
Current children cumulated vsize (Kb) 12404

[startup+720.022 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2754 0 0 0 68115 1341 0 0 25 0 1 0 1801324633 12701696 2696 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3101 2696 566 18 0 3083 0
[pid=8931] vsize: 12404
Current children cumulated CPU time (s) 694.56
Current children cumulated vsize (Kb) 12404

[startup+730.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2754 0 0 0 69062 1360 0 0 25 0 1 0 1801324633 12701696 2696 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3101 2696 566 18 0 3083 0
[pid=8931] vsize: 12404
Current children cumulated CPU time (s) 704.22
Current children cumulated vsize (Kb) 12404

[startup+740.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2754 0 0 0 70018 1374 0 0 25 0 1 0 1801324633 12701696 2696 4294967295 134512640 134578447 3221224624 3221223376 134528858 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3101 2696 566 18 0 3083 0
[pid=8931] vsize: 12404
Current children cumulated CPU time (s) 713.92
Current children cumulated vsize (Kb) 12404

[startup+750.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2788 0 0 0 70971 1391 0 0 25 0 1 0 1801324633 12828672 2730 4294967295 134512640 134578447 3221224624 3221223536 134556806 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3132 2730 566 18 0 3114 0
[pid=8931] vsize: 12528
Current children cumulated CPU time (s) 723.62
Current children cumulated vsize (Kb) 12528

[startup+760.024 s]
Raw data (loadavg): 1.07 1.02 0.95 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2788 0 0 0 71921 1408 0 0 25 0 1 0 1801324633 12828672 2730 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3132 2730 566 18 0 3114 0
[pid=8931] vsize: 12528
Current children cumulated CPU time (s) 733.29
Current children cumulated vsize (Kb) 12528

[startup+770.024 s]
Raw data (loadavg): 1.06 1.01 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2788 0 0 0 72868 1426 0 0 25 0 1 0 1801324633 12828672 2730 4294967295 134512640 134578447 3221224624 3221223536 134556800 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3132 2730 566 18 0 3114 0
[pid=8931] vsize: 12528
Current children cumulated CPU time (s) 742.94
Current children cumulated vsize (Kb) 12528

[startup+780.025 s]
Raw data (loadavg): 1.05 1.01 0.95 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2788 0 0 0 73811 1445 0 0 25 0 1 0 1801324633 12816384 2730 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3129 2730 566 18 0 3111 0
[pid=8931] vsize: 12516
Current children cumulated CPU time (s) 752.56
Current children cumulated vsize (Kb) 12516

[startup+790.024 s]
Raw data (loadavg): 1.04 1.01 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2788 0 0 0 74757 1464 0 0 25 0 1 0 1801324633 12800000 2730 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3125 2730 566 18 0 3107 0
[pid=8931] vsize: 12500
Current children cumulated CPU time (s) 762.21
Current children cumulated vsize (Kb) 12500

[startup+800.025 s]
Raw data (loadavg): 1.03 1.01 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2788 0 0 0 75709 1483 0 0 25 0 1 0 1801324633 12787712 2728 4294967295 134512640 134578447 3221224624 3221223476 134555832 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3122 2728 566 18 0 3104 0
[pid=8931] vsize: 12488
Current children cumulated CPU time (s) 771.92
Current children cumulated vsize (Kb) 12488

[startup+810.026 s]
Raw data (loadavg): 1.03 1.01 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2788 0 0 0 76655 1501 0 0 25 0 1 0 1801324633 12779520 2726 4294967295 134512640 134578447 3221224624 3221223456 134528594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3120 2726 566 18 0 3102 0
[pid=8931] vsize: 12480
Current children cumulated CPU time (s) 781.56
Current children cumulated vsize (Kb) 12480

[startup+820.026 s]
Raw data (loadavg): 1.02 1.01 0.95 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2788 0 0 0 77600 1520 0 0 25 0 1 0 1801324633 12763136 2722 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/8931/statm): 3116 2722 566 18 0 3098 0
[pid=8931] vsize: 12464
Current children cumulated CPU time (s) 791.2
Current children cumulated vsize (Kb) 12464

[startup+830.026 s]
Raw data (loadavg): 1.02 1.01 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2788 0 0 0 78555 1536 0 0 25 0 1 0 1801324633 12718080 2711 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3105 2711 566 18 0 3087 0
[pid=8931] vsize: 12420
Current children cumulated CPU time (s) 800.91
Current children cumulated vsize (Kb) 12420

[startup+840.026 s]
Raw data (loadavg): 1.02 1.01 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2788 0 0 0 79511 1551 0 0 25 0 1 0 1801324633 12718080 2711 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3105 2711 566 18 0 3087 0
[pid=8931] vsize: 12420
Current children cumulated CPU time (s) 810.62
Current children cumulated vsize (Kb) 12420

[startup+850.027 s]
Raw data (loadavg): 1.01 1.01 0.95 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2788 0 0 0 80454 1571 0 0 25 0 1 0 1801324633 12718080 2711 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3105 2711 566 18 0 3087 0
[pid=8931] vsize: 12420
Current children cumulated CPU time (s) 820.25
Current children cumulated vsize (Kb) 12420

[startup+860.028 s]
Raw data (loadavg): 1.01 1.01 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2788 0 0 0 81392 1592 0 0 25 0 1 0 1801324633 12718080 2711 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3105 2711 566 18 0 3087 0
[pid=8931] vsize: 12420
Current children cumulated CPU time (s) 829.84
Current children cumulated vsize (Kb) 12420

[startup+870.027 s]
Raw data (loadavg): 1.01 1.00 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2788 0 0 0 82336 1611 0 0 25 0 1 0 1801324633 12718080 2711 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3105 2711 566 18 0 3087 0
[pid=8931] vsize: 12420
Current children cumulated CPU time (s) 839.47
Current children cumulated vsize (Kb) 12420

[startup+880.027 s]
Raw data (loadavg): 1.01 1.00 0.95 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2901 0 0 0 83285 1628 0 0 25 0 1 0 1801324633 13234176 2824 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3231 2824 566 18 0 3213 0
[pid=8931] vsize: 12924
Current children cumulated CPU time (s) 849.13
Current children cumulated vsize (Kb) 12924

[startup+890.027 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2901 0 0 0 84230 1647 0 0 25 0 1 0 1801324633 13234176 2824 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3231 2824 566 18 0 3213 0
[pid=8931] vsize: 12924
Current children cumulated CPU time (s) 858.77
Current children cumulated vsize (Kb) 12924

[startup+900.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2901 0 0 0 85177 1666 0 0 25 0 1 0 1801324633 13234176 2824 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3231 2824 566 18 0 3213 0
[pid=8931] vsize: 12924
Current children cumulated CPU time (s) 868.43
Current children cumulated vsize (Kb) 12924

[startup+910.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2908 0 0 0 86128 1685 0 0 25 0 1 0 1801324633 13234176 2831 4294967295 134512640 134578447 3221224624 3221223520 134519904 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3231 2831 566 18 0 3213 0
[pid=8931] vsize: 12924
Current children cumulated CPU time (s) 878.13
Current children cumulated vsize (Kb) 12924

[startup+920.027 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2908 0 0 0 87074 1701 0 0 25 0 1 0 1801324633 13234176 2831 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3231 2831 566 18 0 3213 0
[pid=8931] vsize: 12924
Current children cumulated CPU time (s) 887.75
Current children cumulated vsize (Kb) 12924

[startup+930.028 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2908 0 0 0 88022 1719 0 0 25 0 1 0 1801324633 13234176 2831 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3231 2831 566 18 0 3213 0
[pid=8931] vsize: 12924
Current children cumulated CPU time (s) 897.41
Current children cumulated vsize (Kb) 12924

[startup+940.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2927 0 0 0 88978 1735 0 0 25 0 1 0 1801324633 13365248 2850 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3263 2850 566 18 0 3245 0
[pid=8931] vsize: 13052
Current children cumulated CPU time (s) 907.13
Current children cumulated vsize (Kb) 13052

[startup+950.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2927 0 0 0 89930 1751 0 0 25 0 1 0 1801324633 13365248 2850 4294967295 134512640 134578447 3221224624 3221223472 134556168 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8931/statm): 3263 2850 566 18 0 3245 0
[pid=8931] vsize: 13052
Current children cumulated CPU time (s) 916.81
Current children cumulated vsize (Kb) 13052

[startup+960.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2927 0 0 0 90887 1766 0 0 25 0 1 0 1801324633 13365248 2850 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3263 2850 566 18 0 3245 0
[pid=8931] vsize: 13052
Current children cumulated CPU time (s) 926.53
Current children cumulated vsize (Kb) 13052

[startup+970.029 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2933 0 0 0 91840 1784 0 0 25 0 1 0 1801324633 13365248 2856 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3263 2856 566 18 0 3245 0
[pid=8931] vsize: 13052
Current children cumulated CPU time (s) 936.24
Current children cumulated vsize (Kb) 13052

[startup+980.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2933 0 0 0 92788 1801 0 0 25 0 1 0 1801324633 13365248 2856 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3263 2856 566 18 0 3245 0
[pid=8931] vsize: 13052
Current children cumulated CPU time (s) 945.89
Current children cumulated vsize (Kb) 13052

[startup+990.031 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2933 0 0 0 93741 1817 0 0 25 0 1 0 1801324633 13365248 2856 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3263 2856 566 18 0 3245 0
[pid=8931] vsize: 13052
Current children cumulated CPU time (s) 955.58
Current children cumulated vsize (Kb) 13052

[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2933 0 0 0 94690 1836 0 0 25 0 1 0 1801324633 13365248 2856 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3263 2856 566 18 0 3245 0
[pid=8931] vsize: 13052
Current children cumulated CPU time (s) 965.26
Current children cumulated vsize (Kb) 13052

[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2933 0 0 0 95645 1852 0 0 25 0 1 0 1801324633 13365248 2856 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3263 2856 566 18 0 3245 0
[pid=8931] vsize: 13052
Current children cumulated CPU time (s) 974.97
Current children cumulated vsize (Kb) 13052

[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2949 0 0 0 96597 1868 0 0 25 0 1 0 1801324633 13496320 2872 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3295 2872 566 18 0 3277 0
[pid=8931] vsize: 13180
Current children cumulated CPU time (s) 984.65
Current children cumulated vsize (Kb) 13180

[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2949 0 0 0 97547 1884 0 0 25 0 1 0 1801324633 13484032 2872 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3292 2872 566 18 0 3274 0
[pid=8931] vsize: 13168
Current children cumulated CPU time (s) 994.31
Current children cumulated vsize (Kb) 13168

[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2949 0 0 0 98498 1900 0 0 25 0 1 0 1801324633 13467648 2872 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3288 2872 566 18 0 3270 0
[pid=8931] vsize: 13152
Current children cumulated CPU time (s) 1003.98
Current children cumulated vsize (Kb) 13152

[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2949 0 0 0 99452 1916 0 0 25 0 1 0 1801324633 13467648 2872 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8931/statm): 3288 2872 566 18 0 3270 0
[pid=8931] vsize: 13152
Current children cumulated CPU time (s) 1013.68
Current children cumulated vsize (Kb) 13152

[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2949 0 0 0 100402 1935 0 0 25 0 1 0 1801324633 13467648 2872 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3288 2872 566 18 0 3270 0
[pid=8931] vsize: 13152
Current children cumulated CPU time (s) 1023.37
Current children cumulated vsize (Kb) 13152

[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2949 0 0 0 101359 1948 0 0 25 0 1 0 1801324633 13434880 2872 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3280 2872 566 18 0 3262 0
[pid=8931] vsize: 13120
Current children cumulated CPU time (s) 1033.07
Current children cumulated vsize (Kb) 13120

[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2949 0 0 0 102310 1965 0 0 25 0 1 0 1801324633 13426688 2872 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3278 2872 566 18 0 3260 0
[pid=8931] vsize: 13112
Current children cumulated CPU time (s) 1042.75
Current children cumulated vsize (Kb) 13112

[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2949 0 0 0 103257 1984 0 0 25 0 1 0 1801324633 13426688 2872 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8931/statm): 3278 2872 566 18 0 3260 0
[pid=8931] vsize: 13112
Current children cumulated CPU time (s) 1052.41
Current children cumulated vsize (Kb) 13112

[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2949 0 0 0 104210 2000 0 0 25 0 1 0 1801324633 13426688 2872 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3278 2872 566 18 0 3260 0
[pid=8931] vsize: 13112
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (Kb) 13112

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2949 0 0 0 105165 2015 0 0 25 0 1 0 1801324633 13426688 2872 4294967295 134512640 134578447 3221224624 3221223476 134555904 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3278 2872 566 18 0 3260 0
[pid=8931] vsize: 13112
Current children cumulated CPU time (s) 1071.8
Current children cumulated vsize (Kb) 13112

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2949 0 0 0 106117 2032 0 0 25 0 1 0 1801324633 13426688 2872 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3278 2872 566 18 0 3260 0
[pid=8931] vsize: 13112
Current children cumulated CPU time (s) 1081.49
Current children cumulated vsize (Kb) 13112

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2949 0 0 0 107071 2048 0 0 25 0 1 0 1801324633 13426688 2872 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3278 2872 566 18 0 3260 0
[pid=8931] vsize: 13112
Current children cumulated CPU time (s) 1091.19
Current children cumulated vsize (Kb) 13112

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2949 0 0 0 108016 2067 0 0 25 0 1 0 1801324633 13426688 2872 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3278 2872 566 18 0 3260 0
[pid=8931] vsize: 13112
Current children cumulated CPU time (s) 1100.83
Current children cumulated vsize (Kb) 13112

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2949 0 0 0 108967 2085 0 0 25 0 1 0 1801324633 13426688 2872 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3278 2872 566 18 0 3260 0
[pid=8931] vsize: 13112
Current children cumulated CPU time (s) 1110.52
Current children cumulated vsize (Kb) 13112

[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2949 0 0 0 109915 2101 0 0 25 0 1 0 1801324633 13426688 2872 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3278 2872 566 18 0 3260 0
[pid=8931] vsize: 13112
Current children cumulated CPU time (s) 1120.16
Current children cumulated vsize (Kb) 13112

[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2949 0 0 0 110867 2119 0 0 25 0 1 0 1801324633 13426688 2872 4294967295 134512640 134578447 3221224624 3221223520 134519898 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3278 2872 566 18 0 3260 0
[pid=8931] vsize: 13112
Current children cumulated CPU time (s) 1129.86
Current children cumulated vsize (Kb) 13112

[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2949 0 0 0 111816 2135 0 0 25 0 1 0 1801324633 13426688 2872 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3278 2872 566 18 0 3260 0
[pid=8931] vsize: 13112
Current children cumulated CPU time (s) 1139.51
Current children cumulated vsize (Kb) 13112

[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) T 8930 8931 30740 0 -1 0 2949 0 0 0 112773 2150 0 0 25 0 1 0 1801324633 13426688 2872 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3278 2872 566 18 0 3260 0
[pid=8931] vsize: 13112
Current children cumulated CPU time (s) 1149.23
Current children cumulated vsize (Kb) 13112

[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2949 0 0 0 113733 2164 0 0 25 0 1 0 1801324633 13426688 2872 4294967295 134512640 134578447 3221224624 3221223264 134564313 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3278 2872 566 18 0 3260 0
[pid=8931] vsize: 13112
Current children cumulated CPU time (s) 1158.97
Current children cumulated vsize (Kb) 13112

[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2949 0 0 0 114697 2178 0 0 25 0 1 0 1801324633 13426688 2872 4294967295 134512640 134578447 3221224624 3221223488 134517448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8931/statm): 3278 2872 566 18 0 3260 0
[pid=8931] vsize: 13112
Current children cumulated CPU time (s) 1168.75
Current children cumulated vsize (Kb) 13112

[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2949 0 0 0 115652 2194 0 0 25 0 1 0 1801324633 13426688 2872 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8931/statm): 3278 2872 566 18 0 3260 0
[pid=8931] vsize: 13112
Current children cumulated CPU time (s) 1178.46
Current children cumulated vsize (Kb) 13112

[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 8931
Raw data (/proc/8931/stat): 8931 (Pueblo) R 8930 8931 30740 0 -1 0 2949 0 0 0 116605 2210 0 0 25 0 1 0 1801324633 13426688 2872 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8931/statm): 3278 2872 566 18 0 3260 0
[pid=8931] vsize: 13112
Current children cumulated CPU time (s) 1188.15
Current children cumulated vsize (Kb) 13112
One traced child (pid=8931) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1230.93
CPU time (s): 1189.02
CPU user time (s): 1166.89
CPU system time (s): 22.1226
CPU usage (%): 96.5952
Max. virtual memory (cumulated for all children) (Kb): 13180

Verifier Data

Verifier:	OK	19