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.95:98.opb
MD5SUMa89f4ed95903fddf213992506514bcf0
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15
Optimality of the best value was proved NO
Number of terms in the objective function 906
Biggest coefficient in the objective function 553
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 2526
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 553
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2526
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 benchmark1223.74
Number of variables906
Total number of constraints1944
Number of constraints which are clauses852
Number of constraints which are cardinality constraints (but not clauses)1092
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint18

Trace number 8042

Launcher Data

LAUNCH ON wulflinc12 THE 2005-09-20 15:18:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5084 boxname=wulflinc12 idbench=396 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  a89f4ed95903fddf213992506514bcf0  /oldhome/oroussel/tmp/wulflinc12/normalized-10:20:4.5:0.95:98.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5084
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        890128 kB
Buffers:         34100 kB
Cached:          79716 kB
SwapCached:        492 kB
Active:          69088 kB
Inactive:        47264 kB
HighTotal:      131008 kB
HighFree:        49084 kB
LowTotal:       903652 kB
LowFree:        841044 kB
SwapTotal:     2097136 kB
SwapFree:      2096072 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5904 kB
Slab:            22408 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 15:39:08 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5084 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: 906 - #constraints read: 1945
c total time              : 1189 s
s SATISFIABLE
v -v785 v740 v420 v82 -v860 v744 v418 -v859 -v784 -v501 -v307 v85 -v788 v419 v86 v63 -v861 -v504 -v424 -v354 v306 v62 -v863 -v789 v573 -v505 v64 v572 -v478 -v441 -v353 -v312 v65 v27 -v864 v574 -v477 -v310 -v102 v66 -v866 -v810 v575 -v479 -v440 -v359 -v262 -v185 -v101 v73 v26 -v867 -v814 v576 -v482 -v357 -v311 -v190 -v107 v67 v30 -v697 -v583 -v481 -v446 -v399 -v315 -v265 -v216 -v189 -v143 v106 v68 -v701 -v577 -v486 -v444 -v358 -v266 -v142 -v108 v69 v31 v2 -v578 -v485 -v398 -v362 -v192 -v166 -v144 v112 v1 -v660 -v579 -v483 -v445 -v193 v147 v111 v7 -v659 -v594 -v558 -v484 -v449 -v404 -v196 -v165 v146 v109 v6 -v661 -v598 -v557 -v402 -v194 v151 v110 v8 -v662 -v559 -v332 -v195 v171 v150 v12 -v663 -v562 -v403 v169 v148 v11 -v668 -v561 -v407 v335 -v149 v9 -v664 -v563 v336 v170 v10 v739 v421 v81 -v855 v743 -v854 -v786 -v500 -v425 v302 v87 -v790 -v423 -v862 -v506 -v349 v308 -v865 -v869 -v835 -v792 -v436 -v355 -v313 -v90 v76 -v868 -v839 -v793 v77 -v809 -v586 -v509 -v442 -v360 -v316 -v261 v212 v72 v28 -v813 -v587 -v480 -v314 -v184 -v103 v32 -v696 -v582 -v494 -v447 -v394 -v363 -v267 -v215 -v186 v104 v70 -v700 -v490 -v361 -v191 v105 -v580 -v489 -v450 -v400 -v188 -v161 v116 v34 -v448 -v197 -v145 v35 v3 -v593 -v542 -v405 -v270 -v167 v159 v4 -v597 v155 v5 -v671 -v408 -v331 v172 v154 v16 -v672 -v560 -v406 -v667 -v571 -v466 v337 v173 -v567 -v470 v174 -v781 v741 -v496 v422 v83 v745 v426 -v787 -v502 v88 -v856 -v791 v301 -v857 -v795 -v747 -v507 v303 v91 v75 -v858 -v794 -v748 -v348 v309 -v89 v74 -v22 -v873 -v834 -v761 -v585 -v510 -v350 v305 -v257 -v21 -v838 -v765 -v584 -v508 -v435 -v356 -v317 -v811 -v491 -v437 -v352 -v263 v211 v29 -v815 -v493 -v443 -v364 v33 -v698 -v439 -v268 -v217 v119 v71 v37 -v702 -v451 -v393 -v187 v120 v36 -v817 -v581 -v538 -v487 -v395 -v271 -v205 -v156 v115 -v818 -v401 -v269 -v201 -v160 -v158 -v704 -v670 -v595 -v541 -v488 -v397 -v327 -v220 -v200 v162 v113 v19 -v705 -v669 -v599 -v409 -v168 v20 -v722 -v568 -v333 v164 v152 v15 -v726 -v570 v175 -v665 -v601 -v465 v338 -v153 -v131 v13 -v602 -v566 -v469 v742 v434 v79 -v780 v746 -v495 v430 v84 -v782 -v750 -v497 v429 v80 -v783 -v749 v503 v92 -v876 -v799 v499 -v877 -v805 v511 v304 -v872 -v836 -v804 v760 v325 -v207 -v840 -v764 -v692 -v492 -v351 -v321 -v256 v23 -v884 -v870 -v812 -v691 -v372 -v320 -v258 v213 -v118 v24 -v888 -v816 -v438 -v368 -v264 -v117 v25 -v842 -v820 -v699 -v459 -v367 v260 v218 -v202 v41 -v843 -v819 -v703 -v589 -v455 -v272 -v204 -v157 -v707 -v588 -v537 -v454 -v221 v18 -v706 -v396 -v219 v17 -v596 -v543 -v417 -v198 -v114 -v600 -v569 -v413 -v326 v163 -v721 -v604 -v412 -v328 -v199 v183 v127 -v725 -v603 -v334 v179 -v666 -v546 -v467 v330 -v178 v130 v14 -v564 -v471 v339 v903 v433 v78 -v875 -v802 -v754 v427 v100 -v874 -v830 -v803 -v498 v96 -v829 -v798 -v519 v428 -v322 v95 v515 v324 v837 -v796 v762 -v514 -v369 -v841 -v806 -v766 -v371 v206 -v883 -v871 -v845 -v807 -v456 -v318 v291 v208 v44 -v887 -v844 -v808 -v693 -v458 v259 v214 -v203 v45 -v824 -v768 -v694 -v533 -v383 -v365 -v319 v280 v210 v40 -v769 -v695 v276 v222 -v711 -v619 v539 -v452 -v414 -v366 v275 v38 -v623 -v590 -v416 -v591 -v544 -v453 v180 -v592 -v461 v182 -v723 -v608 -v547 -v460 -v410 v126 -v727 -v545 v329 v468 -v411 v347 -v176 v132 -v565 v472 v343 -v801 v431 v97 -v800 v99 -v753 v654 -v516 v756 -v518 -v323 v755 -v751 v521 v93 -v831 v525 -v370 -v832 -v797 v763 -v512 -v287 -v249 -v94 v43 v833 -v767 -v457 v42 -v885 -v849 -v827 -v771 -v513 -v379 v290 -v277 -v889 -v828 -v770 -v279 v209 -v823 -v714 -v382 v230 -v715 -v532 -v415 v226 -v891 -v821 -v710 -v641 -v618 -v534 v273 v225 v39 -v892 -v717 -v645 -v622 v540 -v181 -v716 -v708 -v679 -v611 v536 v274 -v122 v55 -v683 -v612 -v548 -v724 -v607 v344 v128 -v728 v462 v346 -v729 -v605 v463 -v240 -v177 v133 -v730 v464 v342 -v904 v432 v98 -v517 v653 -v752 v520 -v245 v879 v757 v524 v878 -v852 -v826 v758 -v286 -v248 -v853 -v825 v759 -v278 -v886 -v848 -v775 -v713 -v378 v292 -v227 -v890 -v712 v229 -v894 -v846 -v384 -v893 -v822 -v640 -v620 -v610 -v295 v223 v51 -v644 -v624 -v609 -v535 -v709 -v678 -v556 v387 v224 v54 -v718 -v682 v552 -v345 v121 -v719 -v626 -v551 v236 v123 -v720 -v627 v129 -v734 -v606 -v475 v239 v125 v476 v340 v134 v655 -v851 v522 -v282 -v244 -v850 v526 -v778 -v657 -v374 -v288 -v250 v880 v779 -v228 v881 -v774 -v528 v380 v293 v882 -v614 -v529 -v898 -v847 -v772 -v613 -v385 v296 v253 -v294 -v642 -v621 -v553 v388 v50 -v646 -v625 -v555 v386 -v680 -v629 v56 -v684 -v628 -v737 -v648 -v549 -v474 v235 -v738 -v649 -v473 v124 -v733 v686 -v550 v241 -v141 v59 v687 -v341 v137 -v777 v658 v523 v246 -v776 -v656 v527 -v281 -v531 -v283 -v251 -v530 v373 v289 v901 v375 v285 v254 v902 -v636 v381 v297 v252 -v897 -v773 -v635 v377 -v48 -v674 -v615 -v554 v389 -v895 -v673 -v643 v616 v52 -v647 v617 -v736 -v681 -v651 -v632 v233 v57 -v735 -v685 -v650 v689 v237 -v138 v60 v688 -v140 v58 -v731 v242 v135 v247 v900 v905 v899 -v284 v255 -v300 v376 v298 v392 v299 v637 v390 v47 -v896 v638 -v634 v391 v46 -v675 v639 -v633 v53 -v676 -v652 -v630 v49 v677 v232 -v139 v61 v690 -v631 v231 v238 -v732 v234 v243 v136 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/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1801320498 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20475/statm): 41 3 40 18 0 23 0
[pid=20475] 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.0027 s]
Raw data (loadavg): 0.93 0.98 0.92 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 1220 0 0 0 952 16 0 0 25 0 1 0 1801320498 6590464 1186 4294967295 134512640 134578447 3221224624 3221223520 134519801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 1609 1186 566 18 0 1591 0
[pid=20475] vsize: 6436
Current children cumulated CPU time (s) 9.68
Current children cumulated vsize (Kb) 6436

[startup+20.0035 s]
Raw data (loadavg): 0.94 0.98 0.92 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 1525 0 0 0 1908 31 0 0 25 0 1 0 1801320498 7770112 1491 4294967295 134512640 134578447 3221224624 3221223456 134528576 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 1897 1491 566 18 0 1879 0
[pid=20475] vsize: 7588
Current children cumulated CPU time (s) 19.39
Current children cumulated vsize (Kb) 7588

[startup+30.0034 s]
Raw data (loadavg): 0.95 0.98 0.92 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 1599 0 0 0 2860 47 0 0 25 0 1 0 1801320498 8028160 1565 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 1960 1565 566 18 0 1942 0
[pid=20475] vsize: 7840
Current children cumulated CPU time (s) 29.07
Current children cumulated vsize (Kb) 7840

[startup+40.0042 s]
Raw data (loadavg): 0.96 0.98 0.92 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 1759 0 0 0 3810 64 0 0 25 0 1 0 1801320498 8691712 1725 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2122 1725 566 18 0 2104 0
[pid=20475] vsize: 8488
Current children cumulated CPU time (s) 38.74
Current children cumulated vsize (Kb) 8488

[startup+50.005 s]
Raw data (loadavg): 0.96 0.98 0.92 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 1865 0 0 0 4766 79 0 0 25 0 1 0 1801320498 9220096 1831 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2251 1831 566 18 0 2233 0
[pid=20475] vsize: 9004
Current children cumulated CPU time (s) 48.45
Current children cumulated vsize (Kb) 9004

[startup+60.0049 s]
Raw data (loadavg): 0.97 0.98 0.92 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 1865 0 0 0 5725 94 0 0 25 0 1 0 1801320498 9220096 1831 4294967295 134512640 134578447 3221224624 3221223476 134555886 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2251 1831 566 18 0 2233 0
[pid=20475] vsize: 9004
Current children cumulated CPU time (s) 58.19
Current children cumulated vsize (Kb) 9004

[startup+70.0057 s]
Raw data (loadavg): 0.97 0.98 0.92 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 1931 0 0 0 6676 110 0 0 25 0 1 0 1801320498 9482240 1897 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2315 1897 566 18 0 2297 0
[pid=20475] vsize: 9260
Current children cumulated CPU time (s) 67.86
Current children cumulated vsize (Kb) 9260

[startup+80.0055 s]
Raw data (loadavg): 0.98 0.98 0.92 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 1959 0 0 0 7625 129 0 0 25 0 1 0 1801320498 9560064 1925 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2334 1925 566 18 0 2316 0
[pid=20475] vsize: 9336
Current children cumulated CPU time (s) 77.54
Current children cumulated vsize (Kb) 9336

[startup+90.0064 s]
Raw data (loadavg): 0.98 0.98 0.92 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 1966 0 0 0 8576 146 0 0 25 0 1 0 1801320498 9560064 1932 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2334 1932 566 18 0 2316 0
[pid=20475] vsize: 9336
Current children cumulated CPU time (s) 87.22
Current children cumulated vsize (Kb) 9336

[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.92 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2126 0 0 0 9530 162 0 0 25 0 1 0 1801320498 10215424 2092 4294967295 134512640 134578447 3221224624 3221223296 134523112 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2494 2092 566 18 0 2476 0
[pid=20475] vsize: 9976
Current children cumulated CPU time (s) 96.92
Current children cumulated vsize (Kb) 9976

[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.92 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2169 0 0 0 10486 177 0 0 25 0 1 0 1801320498 10473472 2135 4294967295 134512640 134578447 3221224624 3221223456 134528580 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2557 2135 566 18 0 2539 0
[pid=20475] vsize: 10228
Current children cumulated CPU time (s) 106.63
Current children cumulated vsize (Kb) 10228

[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.92 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 2169 0 0 0 11432 193 0 0 25 0 1 0 1801320498 10412032 2135 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2542 2135 566 18 0 2524 0
[pid=20475] vsize: 10168
Current children cumulated CPU time (s) 116.25
Current children cumulated vsize (Kb) 10168

[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2169 0 0 0 12380 212 0 0 25 0 1 0 1801320498 10403840 2135 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20475/statm): 2540 2135 566 18 0 2522 0
[pid=20475] vsize: 10160
Current children cumulated CPU time (s) 125.92
Current children cumulated vsize (Kb) 10160

[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2169 0 0 0 13325 232 0 0 25 0 1 0 1801320498 10403840 2135 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2540 2135 566 18 0 2522 0
[pid=20475] vsize: 10160
Current children cumulated CPU time (s) 135.57
Current children cumulated vsize (Kb) 10160

[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2295 0 0 0 14279 249 0 0 25 0 1 0 1801320498 10928128 2261 4294967295 134512640 134578447 3221224624 3221223504 134527768 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2668 2261 566 18 0 2650 0
[pid=20475] vsize: 10672
Current children cumulated CPU time (s) 145.28
Current children cumulated vsize (Kb) 10672

[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2354 0 0 0 15236 264 0 0 25 0 1 0 1801320498 11190272 2320 4294967295 134512640 134578447 3221224624 3221223440 134528623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20475/statm): 2732 2320 566 18 0 2714 0
[pid=20475] vsize: 10928
Current children cumulated CPU time (s) 155
Current children cumulated vsize (Kb) 10928

[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2354 0 0 0 16185 283 0 0 25 0 1 0 1801320498 11190272 2320 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2732 2320 566 18 0 2714 0
[pid=20475] vsize: 10928
Current children cumulated CPU time (s) 164.68
Current children cumulated vsize (Kb) 10928

[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2373 0 0 0 17138 300 0 0 25 0 1 0 1801320498 11190272 2339 4294967295 134512640 134578447 3221224624 3221223476 134555881 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2732 2339 566 18 0 2714 0
[pid=20475] vsize: 10928
Current children cumulated CPU time (s) 174.38
Current children cumulated vsize (Kb) 10928

[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.92 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 2373 0 0 0 18089 316 0 0 25 0 1 0 1801320498 11190272 2339 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2732 2339 566 18 0 2714 0
[pid=20475] vsize: 10928
Current children cumulated CPU time (s) 184.05
Current children cumulated vsize (Kb) 10928

[startup+200.011 s]
Raw data (loadavg): 1.07 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2399 0 0 0 19039 332 0 0 25 0 1 0 1801320498 11321344 2365 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2764 2365 566 18 0 2746 0
[pid=20475] vsize: 11056
Current children cumulated CPU time (s) 193.71
Current children cumulated vsize (Kb) 11056

[startup+210.01 s]
Raw data (loadavg): 1.06 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 2399 0 0 0 19992 348 0 0 25 0 1 0 1801320498 11321344 2365 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2764 2365 566 18 0 2746 0
[pid=20475] vsize: 11056
Current children cumulated CPU time (s) 203.4
Current children cumulated vsize (Kb) 11056

[startup+220.011 s]
Raw data (loadavg): 1.05 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2400 0 0 0 20952 362 0 0 18 0 1 0 1801320498 11321344 2366 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20475/statm): 2764 2366 566 18 0 2746 0
[pid=20475] vsize: 11056
Current children cumulated CPU time (s) 213.14
Current children cumulated vsize (Kb) 11056

[startup+230.011 s]
Raw data (loadavg): 1.04 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2469 0 0 0 21912 376 0 0 25 0 1 0 1801320498 11583488 2435 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2828 2435 566 18 0 2810 0
[pid=20475] vsize: 11312
Current children cumulated CPU time (s) 222.88
Current children cumulated vsize (Kb) 11312

[startup+240.012 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2571 0 0 0 22878 388 0 0 25 0 1 0 1801320498 12111872 2537 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2957 2537 566 18 0 2939 0
[pid=20475] vsize: 11828
Current children cumulated CPU time (s) 232.66
Current children cumulated vsize (Kb) 11828

[startup+250.013 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2571 0 0 0 23837 402 0 0 25 0 1 0 1801320498 12103680 2537 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2955 2537 566 18 0 2937 0
[pid=20475] vsize: 11820
Current children cumulated CPU time (s) 242.39
Current children cumulated vsize (Kb) 11820

[startup+260.012 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2571 0 0 0 24799 416 0 0 25 0 1 0 1801320498 12103680 2537 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2955 2537 566 18 0 2937 0
[pid=20475] vsize: 11820
Current children cumulated CPU time (s) 252.15
Current children cumulated vsize (Kb) 11820

[startup+270.013 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 2571 0 0 0 25760 431 0 0 25 0 1 0 1801320498 12103680 2537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2955 2537 566 18 0 2937 0
[pid=20475] vsize: 11820
Current children cumulated CPU time (s) 261.91
Current children cumulated vsize (Kb) 11820

[startup+280.013 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2571 0 0 0 26718 445 0 0 25 0 1 0 1801320498 12103680 2537 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2955 2537 566 18 0 2937 0
[pid=20475] vsize: 11820
Current children cumulated CPU time (s) 271.63
Current children cumulated vsize (Kb) 11820

[startup+290.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2571 0 0 0 27678 460 0 0 25 0 1 0 1801320498 12042240 2537 4294967295 134512640 134578447 3221224624 3221223376 134528885 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2940 2537 566 18 0 2922 0
[pid=20475] vsize: 11760
Current children cumulated CPU time (s) 281.38
Current children cumulated vsize (Kb) 11760

[startup+300.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2571 0 0 0 28637 474 0 0 25 0 1 0 1801320498 12042240 2537 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20475/statm): 2940 2537 566 18 0 2922 0
[pid=20475] vsize: 11760
Current children cumulated CPU time (s) 291.11
Current children cumulated vsize (Kb) 11760

[startup+310.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2571 0 0 0 29594 491 0 0 25 0 1 0 1801320498 12042240 2537 4294967295 134512640 134578447 3221224624 3221223552 134516687 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2940 2537 566 18 0 2922 0
[pid=20475] vsize: 11760
Current children cumulated CPU time (s) 300.85
Current children cumulated vsize (Kb) 11760

[startup+320.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2596 0 0 0 30542 511 0 0 25 0 1 0 1801320498 12181504 2562 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 2974 2562 566 18 0 2956 0
[pid=20475] vsize: 11896
Current children cumulated CPU time (s) 310.53
Current children cumulated vsize (Kb) 11896

[startup+330.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2639 0 0 0 31491 527 0 0 25 0 1 0 1801320498 12312576 2605 4294967295 134512640 134578447 3221224624 3221223476 134555811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3006 2605 566 18 0 2988 0
[pid=20475] vsize: 12024
Current children cumulated CPU time (s) 320.18
Current children cumulated vsize (Kb) 12024

[startup+340.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2766 0 0 0 32441 545 0 0 25 0 1 0 1801320498 12832768 2732 4294967295 134512640 134578447 3221224624 3221223280 1075289350 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3133 2732 566 18 0 3115 0
[pid=20475] vsize: 12532
Current children cumulated CPU time (s) 329.86
Current children cumulated vsize (Kb) 12532

[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2766 0 0 0 33397 560 0 0 25 0 1 0 1801320498 12832768 2732 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3133 2732 566 18 0 3115 0
[pid=20475] vsize: 12532
Current children cumulated CPU time (s) 339.57
Current children cumulated vsize (Kb) 12532

[startup+360.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2766 0 0 0 34345 578 0 0 25 0 1 0 1801320498 12820480 2732 4294967295 134512640 134578447 3221224624 3221223536 134556881 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3130 2732 566 18 0 3112 0
[pid=20475] vsize: 12520
Current children cumulated CPU time (s) 349.23
Current children cumulated vsize (Kb) 12520

[startup+370.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2779 0 0 0 35303 593 0 0 18 0 1 0 1801320498 12951552 2745 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20475/statm): 3162 2745 566 18 0 3144 0
[pid=20475] vsize: 12648
Current children cumulated CPU time (s) 358.96
Current children cumulated vsize (Kb) 12648

[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 2779 0 0 0 36262 608 0 0 25 0 1 0 1801320498 12943360 2745 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3160 2745 566 18 0 3142 0
[pid=20475] vsize: 12640
Current children cumulated CPU time (s) 368.7
Current children cumulated vsize (Kb) 12640

[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2779 0 0 0 37214 624 0 0 25 0 1 0 1801320498 12939264 2745 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20475/statm): 3159 2745 566 18 0 3141 0
[pid=20475] vsize: 12636
Current children cumulated CPU time (s) 378.38
Current children cumulated vsize (Kb) 12636

[startup+400.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2779 0 0 0 38162 643 0 0 25 0 1 0 1801320498 12939264 2745 4294967295 134512640 134578447 3221224624 3221223456 134528451 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20475/statm): 3159 2745 566 18 0 3141 0
[pid=20475] vsize: 12636
Current children cumulated CPU time (s) 388.05
Current children cumulated vsize (Kb) 12636

[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2779 0 0 0 39110 663 0 0 25 0 1 0 1801320498 12939264 2745 4294967295 134512640 134578447 3221224624 3221223552 134516687 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3159 2745 566 18 0 3141 0
[pid=20475] vsize: 12636
Current children cumulated CPU time (s) 397.73
Current children cumulated vsize (Kb) 12636

[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2838 0 0 0 40067 679 0 0 25 0 1 0 1801320498 13201408 2804 4294967295 134512640 134578447 3221224624 3221223456 134528513 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3223 2804 566 18 0 3205 0
[pid=20475] vsize: 12892
Current children cumulated CPU time (s) 407.46
Current children cumulated vsize (Kb) 12892

[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 2838 0 0 0 41022 694 0 0 25 0 1 0 1801320498 13172736 2804 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3216 2804 566 18 0 3198 0
[pid=20475] vsize: 12864
Current children cumulated CPU time (s) 417.16
Current children cumulated vsize (Kb) 12864

[startup+440.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2838 0 0 0 41978 709 0 0 25 0 1 0 1801320498 13148160 2804 4294967295 134512640 134578447 3221224624 3221223476 134555838 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20475/statm): 3210 2804 566 18 0 3192 0
[pid=20475] vsize: 12840
Current children cumulated CPU time (s) 426.87
Current children cumulated vsize (Kb) 12840

[startup+450.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2838 0 0 0 42936 724 0 0 25 0 1 0 1801320498 13144064 2804 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20475/statm): 3209 2804 566 18 0 3191 0
[pid=20475] vsize: 12836
Current children cumulated CPU time (s) 436.6
Current children cumulated vsize (Kb) 12836

[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 2838 0 0 0 43891 739 0 0 25 0 1 0 1801320498 13135872 2804 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3207 2804 566 18 0 3189 0
[pid=20475] vsize: 12828
Current children cumulated CPU time (s) 446.3
Current children cumulated vsize (Kb) 12828

[startup+470.023 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 2838 0 0 0 44851 753 0 0 25 0 1 0 1801320498 13107200 2804 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3200 2804 566 18 0 3182 0
[pid=20475] vsize: 12800
Current children cumulated CPU time (s) 456.04
Current children cumulated vsize (Kb) 12800

[startup+480.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2838 0 0 0 45798 770 0 0 17 0 1 0 1801320498 13107200 2804 4294967295 134512640 134578447 3221224624 3221223476 134555723 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20475/statm): 3200 2804 566 18 0 3182 0
[pid=20475] vsize: 12800
Current children cumulated CPU time (s) 465.68
Current children cumulated vsize (Kb) 12800

[startup+490.025 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 2838 0 0 0 46742 788 0 0 25 0 1 0 1801320498 13107200 2804 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3200 2804 566 18 0 3182 0
[pid=20475] vsize: 12800
Current children cumulated CPU time (s) 475.3
Current children cumulated vsize (Kb) 12800

[startup+500.025 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 2838 0 0 0 47680 809 0 0 25 0 1 0 1801320498 13107200 2804 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3200 2804 566 18 0 3182 0
[pid=20475] vsize: 12800
Current children cumulated CPU time (s) 484.89
Current children cumulated vsize (Kb) 12800

[startup+510.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2838 0 0 0 48617 829 0 0 25 0 1 0 1801320498 13107200 2804 4294967295 134512640 134578447 3221224624 3221223476 134555838 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3200 2804 566 18 0 3182 0
[pid=20475] vsize: 12800
Current children cumulated CPU time (s) 494.46
Current children cumulated vsize (Kb) 12800

[startup+520.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2891 0 0 0 49559 850 0 0 25 0 1 0 1801320498 13365248 2857 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3263 2857 566 18 0 3245 0
[pid=20475] vsize: 13052
Current children cumulated CPU time (s) 504.09
Current children cumulated vsize (Kb) 13052

[startup+530.027 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 2891 0 0 0 50509 866 0 0 25 0 1 0 1801320498 13365248 2857 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3263 2857 566 18 0 3245 0
[pid=20475] vsize: 13052
Current children cumulated CPU time (s) 513.75
Current children cumulated vsize (Kb) 13052

[startup+540.028 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 2891 0 0 0 51455 885 0 0 25 0 1 0 1801320498 13365248 2857 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3263 2857 566 18 0 3245 0
[pid=20475] vsize: 13052
Current children cumulated CPU time (s) 523.4
Current children cumulated vsize (Kb) 13052

[startup+550.029 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 2891 0 0 0 52397 905 0 0 18 0 1 0 1801320498 13365248 2857 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3263 2857 566 18 0 3245 0
[pid=20475] vsize: 13052
Current children cumulated CPU time (s) 533.02
Current children cumulated vsize (Kb) 13052

[startup+560.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2891 0 0 0 53338 927 0 0 25 0 1 0 1801320498 13365248 2857 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3263 2857 566 18 0 3245 0
[pid=20475] vsize: 13052
Current children cumulated CPU time (s) 542.65
Current children cumulated vsize (Kb) 13052

[startup+570.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2910 0 0 0 54291 945 0 0 25 0 1 0 1801320498 13496320 2876 4294967295 134512640 134578447 3221224624 3221223376 134528970 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3295 2876 566 18 0 3277 0
[pid=20475] vsize: 13180
Current children cumulated CPU time (s) 552.36
Current children cumulated vsize (Kb) 13180

[startup+580.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2910 0 0 0 55246 961 0 0 25 0 1 0 1801320498 13496320 2876 4294967295 134512640 134578447 3221224624 3221223376 134528904 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3295 2876 566 18 0 3277 0
[pid=20475] vsize: 13180
Current children cumulated CPU time (s) 562.07
Current children cumulated vsize (Kb) 13180

[startup+590.03 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 2919 0 0 0 56195 980 0 0 25 0 1 0 1801320498 13496320 2885 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3295 2885 566 18 0 3277 0
[pid=20475] vsize: 13180
Current children cumulated CPU time (s) 571.75
Current children cumulated vsize (Kb) 13180

[startup+600.031 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 2919 0 0 0 57136 1001 0 0 25 0 1 0 1801320498 13496320 2885 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3295 2885 566 18 0 3277 0
[pid=20475] vsize: 13180
Current children cumulated CPU time (s) 581.37
Current children cumulated vsize (Kb) 13180

[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2919 0 0 0 58078 1020 0 0 25 0 1 0 1801320498 13496320 2885 4294967295 134512640 134578447 3221224624 3221223456 134528563 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3295 2885 566 18 0 3277 0
[pid=20475] vsize: 13180
Current children cumulated CPU time (s) 590.98
Current children cumulated vsize (Kb) 13180

[startup+620.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2935 0 0 0 59025 1039 0 0 25 0 1 0 1801320498 13627392 2901 4294967295 134512640 134578447 3221224624 3221223376 134528832 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3327 2901 566 18 0 3309 0
[pid=20475] vsize: 13308
Current children cumulated CPU time (s) 600.64
Current children cumulated vsize (Kb) 13308

[startup+630.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2935 0 0 0 59976 1056 0 0 25 0 1 0 1801320498 13623296 2901 4294967295 134512640 134578447 3221224624 3221223476 134555838 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3326 2901 566 18 0 3308 0
[pid=20475] vsize: 13304
Current children cumulated CPU time (s) 610.32
Current children cumulated vsize (Kb) 13304

[startup+640.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2935 0 0 0 60924 1073 0 0 25 0 1 0 1801320498 13615104 2901 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3324 2901 566 18 0 3306 0
[pid=20475] vsize: 13296
Current children cumulated CPU time (s) 619.97
Current children cumulated vsize (Kb) 13296

[startup+650.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2935 0 0 0 61871 1089 0 0 25 0 1 0 1801320498 13606912 2901 4294967295 134512640 134578447 3221224624 3221223376 134528904 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3322 2901 566 18 0 3304 0
[pid=20475] vsize: 13288
Current children cumulated CPU time (s) 629.6
Current children cumulated vsize (Kb) 13288

[startup+660.033 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 2935 0 0 0 62826 1105 0 0 25 0 1 0 1801320498 13590528 2901 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3318 2901 566 18 0 3300 0
[pid=20475] vsize: 13272
Current children cumulated CPU time (s) 639.31
Current children cumulated vsize (Kb) 13272

[startup+670.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2935 0 0 0 63766 1127 0 0 25 0 1 0 1801320498 13578240 2901 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3315 2901 566 18 0 3297 0
[pid=20475] vsize: 13260
Current children cumulated CPU time (s) 648.93
Current children cumulated vsize (Kb) 13260

[startup+680.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2935 0 0 0 64711 1147 0 0 25 0 1 0 1801320498 13565952 2901 4294967295 134512640 134578447 3221224624 3221223456 134558294 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3312 2901 566 18 0 3294 0
[pid=20475] vsize: 13248
Current children cumulated CPU time (s) 658.58
Current children cumulated vsize (Kb) 13248

[startup+690.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2935 0 0 0 65646 1168 0 0 25 0 1 0 1801320498 13557760 2901 4294967295 134512640 134578447 3221224624 3221223456 134528423 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3310 2901 566 18 0 3292 0
[pid=20475] vsize: 13240
Current children cumulated CPU time (s) 668.14
Current children cumulated vsize (Kb) 13240

[startup+700.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 2935 0 0 0 66589 1187 0 0 25 0 1 0 1801320498 13533184 2901 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3304 2901 566 18 0 3286 0
[pid=20475] vsize: 13216
Current children cumulated CPU time (s) 677.76
Current children cumulated vsize (Kb) 13216

[startup+710.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3123 0 0 0 67535 1204 0 0 25 0 1 0 1801320498 14315520 3089 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3495 3089 566 18 0 3477 0
[pid=20475] vsize: 13980
Current children cumulated CPU time (s) 687.39
Current children cumulated vsize (Kb) 13980

[startup+720.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3196 0 0 0 68484 1223 0 0 25 0 1 0 1801320498 14577664 3162 4294967295 134512640 134578447 3221224624 3221223244 1075289088 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20475/statm): 3559 3162 566 18 0 3541 0
[pid=20475] vsize: 14236
Current children cumulated CPU time (s) 697.07
Current children cumulated vsize (Kb) 14236

[startup+730.037 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 3196 0 0 0 69431 1242 0 0 18 0 1 0 1801320498 14577664 3162 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3559 3162 566 18 0 3541 0
[pid=20475] vsize: 14236
Current children cumulated CPU time (s) 706.73
Current children cumulated vsize (Kb) 14236

[startup+740.037 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 3196 0 0 0 70383 1262 0 0 25 0 1 0 1801320498 14577664 3162 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/20475/statm): 3559 3162 566 18 0 3541 0
[pid=20475] vsize: 14236
Current children cumulated CPU time (s) 716.45
Current children cumulated vsize (Kb) 14236

[startup+750.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3196 0 0 0 71326 1282 0 0 25 0 1 0 1801320498 14577664 3162 4294967295 134512640 134578447 3221224624 3221223228 1075288356 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3559 3162 566 18 0 3541 0
[pid=20475] vsize: 14236
Current children cumulated CPU time (s) 726.08
Current children cumulated vsize (Kb) 14236

[startup+760.038 s]
Raw data (loadavg): 1.07 1.02 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3196 0 0 0 72277 1297 0 0 25 0 1 0 1801320498 14577664 3162 4294967295 134512640 134578447 3221224624 3221223572 134559040 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3559 3162 566 18 0 3541 0
[pid=20475] vsize: 14236
Current children cumulated CPU time (s) 735.74
Current children cumulated vsize (Kb) 14236

[startup+770.038 s]
Raw data (loadavg): 1.06 1.02 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 3196 0 0 0 73232 1313 0 0 25 0 1 0 1801320498 14577664 3162 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3559 3162 566 18 0 3541 0
[pid=20475] vsize: 14236
Current children cumulated CPU time (s) 745.45
Current children cumulated vsize (Kb) 14236

[startup+780.039 s]
Raw data (loadavg): 1.05 1.01 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 3196 0 0 0 74183 1328 0 0 25 0 1 0 1801320498 14577664 3162 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3559 3162 566 18 0 3541 0
[pid=20475] vsize: 14236
Current children cumulated CPU time (s) 755.11
Current children cumulated vsize (Kb) 14236

[startup+790.04 s]
Raw data (loadavg): 1.04 1.01 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3196 0 0 0 75133 1346 0 0 25 0 1 0 1801320498 14577664 3162 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3559 3162 566 18 0 3541 0
[pid=20475] vsize: 14236
Current children cumulated CPU time (s) 764.79
Current children cumulated vsize (Kb) 14236

[startup+800.039 s]
Raw data (loadavg): 1.04 1.01 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3196 0 0 0 76085 1364 0 0 25 0 1 0 1801320498 14577664 3162 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3559 3162 566 18 0 3541 0
[pid=20475] vsize: 14236
Current children cumulated CPU time (s) 774.49
Current children cumulated vsize (Kb) 14236

[startup+810.039 s]
Raw data (loadavg): 1.03 1.01 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 3196 0 0 0 77038 1380 0 0 25 0 1 0 1801320498 14577664 3162 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3559 3162 566 18 0 3541 0
[pid=20475] vsize: 14236
Current children cumulated CPU time (s) 784.18
Current children cumulated vsize (Kb) 14236

[startup+820.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3196 0 0 0 77994 1395 0 0 25 0 1 0 1801320498 14577664 3162 4294967295 134512640 134578447 3221224624 3221223520 134519792 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3559 3162 566 18 0 3541 0
[pid=20475] vsize: 14236
Current children cumulated CPU time (s) 793.89
Current children cumulated vsize (Kb) 14236

[startup+830.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3196 0 0 0 78950 1411 0 0 25 0 1 0 1801320498 14577664 3162 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3559 3162 566 18 0 3541 0
[pid=20475] vsize: 14236
Current children cumulated CPU time (s) 803.61
Current children cumulated vsize (Kb) 14236

[startup+840.041 s]
Raw data (loadavg): 1.02 1.01 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 3222 0 0 0 79906 1427 0 0 25 0 1 0 1801320498 14708736 3188 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3591 3188 566 18 0 3573 0
[pid=20475] vsize: 14364
Current children cumulated CPU time (s) 813.33
Current children cumulated vsize (Kb) 14364

[startup+850.042 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3251 0 0 0 80868 1440 0 0 25 0 1 0 1801320498 14835712 3217 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3622 3217 566 18 0 3604 0
[pid=20475] vsize: 14488
Current children cumulated CPU time (s) 823.08
Current children cumulated vsize (Kb) 14488

[startup+860.041 s]
Raw data (loadavg): 1.01 1.01 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 3251 0 0 0 81817 1458 0 0 25 0 1 0 1801320498 14835712 3217 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3622 3217 566 18 0 3604 0
[pid=20475] vsize: 14488
Current children cumulated CPU time (s) 832.75
Current children cumulated vsize (Kb) 14488

[startup+870.042 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3251 0 0 0 82768 1473 0 0 25 0 1 0 1801320498 14835712 3217 4294967295 134512640 134578447 3221224624 3221223472 134556366 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3622 3217 566 18 0 3604 0
[pid=20475] vsize: 14488
Current children cumulated CPU time (s) 842.41
Current children cumulated vsize (Kb) 14488

[startup+880.042 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3278 0 0 0 83726 1490 0 0 25 0 1 0 1801320498 14966784 3244 4294967295 134512640 134578447 3221224624 3221223336 1074910624 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20475/statm): 3654 3244 566 18 0 3636 0
[pid=20475] vsize: 14616
Current children cumulated CPU time (s) 852.16
Current children cumulated vsize (Kb) 14616

[startup+890.043 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3278 0 0 0 84681 1505 0 0 25 0 1 0 1801320498 14966784 3244 4294967295 134512640 134578447 3221224624 3221223552 134516683 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3654 3244 566 18 0 3636 0
[pid=20475] vsize: 14616
Current children cumulated CPU time (s) 861.86
Current children cumulated vsize (Kb) 14616

[startup+900.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3278 0 0 0 85631 1524 0 0 25 0 1 0 1801320498 14966784 3244 4294967295 134512640 134578447 3221224624 3221223376 134528863 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3654 3244 566 18 0 3636 0
[pid=20475] vsize: 14616
Current children cumulated CPU time (s) 871.55
Current children cumulated vsize (Kb) 14616

[startup+910.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3278 0 0 0 86590 1540 0 0 25 0 1 0 1801320498 14966784 3244 4294967295 134512640 134578447 3221224624 3221223520 134519885 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3654 3244 566 18 0 3636 0
[pid=20475] vsize: 14616
Current children cumulated CPU time (s) 881.3
Current children cumulated vsize (Kb) 14616

[startup+920.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3278 0 0 0 87545 1554 0 0 25 0 1 0 1801320498 14966784 3244 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3654 3244 566 18 0 3636 0
[pid=20475] vsize: 14616
Current children cumulated CPU time (s) 890.99
Current children cumulated vsize (Kb) 14616

[startup+930.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3278 0 0 0 88510 1566 0 0 25 0 1 0 1801320498 14966784 3244 4294967295 134512640 134578447 3221224624 3221223456 134528454 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3654 3244 566 18 0 3636 0
[pid=20475] vsize: 14616
Current children cumulated CPU time (s) 900.76
Current children cumulated vsize (Kb) 14616

[startup+940.046 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 3278 0 0 0 89463 1582 0 0 25 0 1 0 1801320498 14966784 3244 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3654 3244 566 18 0 3636 0
[pid=20475] vsize: 14616
Current children cumulated CPU time (s) 910.45
Current children cumulated vsize (Kb) 14616

[startup+950.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3278 0 0 0 90424 1596 0 0 25 0 1 0 1801320498 14966784 3244 4294967295 134512640 134578447 3221224624 3221223476 134555845 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3654 3244 566 18 0 3636 0
[pid=20475] vsize: 14616
Current children cumulated CPU time (s) 920.2
Current children cumulated vsize (Kb) 14616

[startup+960.047 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 3278 0 0 0 91379 1613 0 0 25 0 1 0 1801320498 14966784 3244 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3654 3244 566 18 0 3636 0
[pid=20475] vsize: 14616
Current children cumulated CPU time (s) 929.92
Current children cumulated vsize (Kb) 14616

[startup+970.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 3278 0 0 0 92328 1632 0 0 25 0 1 0 1801320498 14966784 3244 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3654 3244 566 18 0 3636 0
[pid=20475] vsize: 14616
Current children cumulated CPU time (s) 939.6
Current children cumulated vsize (Kb) 14616

[startup+980.047 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 3318 0 0 0 93290 1643 0 0 25 0 1 0 1801320498 15097856 3284 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3686 3284 566 18 0 3668 0
[pid=20475] vsize: 14744
Current children cumulated CPU time (s) 949.33
Current children cumulated vsize (Kb) 14744

[startup+990.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3318 0 0 0 94249 1657 0 0 25 0 1 0 1801320498 15097856 3284 4294967295 134512640 134578447 3221224624 3221223456 134528399 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3686 3284 566 18 0 3668 0
[pid=20475] vsize: 14744
Current children cumulated CPU time (s) 959.06
Current children cumulated vsize (Kb) 14744

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3318 0 0 0 95208 1671 0 0 25 0 1 0 1801320498 15097856 3284 4294967295 134512640 134578447 3221224624 3221223476 134555740 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3686 3284 566 18 0 3668 0
[pid=20475] vsize: 14744
Current children cumulated CPU time (s) 968.79
Current children cumulated vsize (Kb) 14744

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3318 0 0 0 96171 1683 0 0 25 0 1 0 1801320498 15097856 3284 4294967295 134512640 134578447 3221224624 3221223476 134555737 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3686 3284 566 18 0 3668 0
[pid=20475] vsize: 14744
Current children cumulated CPU time (s) 978.54
Current children cumulated vsize (Kb) 14744

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3318 0 0 0 97129 1699 0 0 25 0 1 0 1801320498 15097856 3284 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20475/statm): 3686 3284 566 18 0 3668 0
[pid=20475] vsize: 14744
Current children cumulated CPU time (s) 988.28
Current children cumulated vsize (Kb) 14744

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3318 0 0 0 98079 1715 0 0 25 0 1 0 1801320498 15081472 3284 4294967295 134512640 134578447 3221224624 3221223476 134555970 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3682 3284 566 18 0 3664 0
[pid=20475] vsize: 14728
Current children cumulated CPU time (s) 997.94
Current children cumulated vsize (Kb) 14728

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 3318 0 0 0 99034 1730 0 0 25 0 1 0 1801320498 15081472 3284 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3682 3284 566 18 0 3664 0
[pid=20475] vsize: 14728
Current children cumulated CPU time (s) 1007.64
Current children cumulated vsize (Kb) 14728

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 3318 0 0 0 99992 1743 0 0 25 0 1 0 1801320498 15081472 3284 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3682 3284 566 18 0 3664 0
[pid=20475] vsize: 14728
Current children cumulated CPU time (s) 1017.35
Current children cumulated vsize (Kb) 14728

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 3318 0 0 0 100942 1760 0 0 25 0 1 0 1801320498 15081472 3284 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3682 3284 566 18 0 3664 0
[pid=20475] vsize: 14728
Current children cumulated CPU time (s) 1027.02
Current children cumulated vsize (Kb) 14728

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3318 0 0 0 101900 1773 0 0 25 0 1 0 1801320498 15081472 3284 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3682 3284 566 18 0 3664 0
[pid=20475] vsize: 14728
Current children cumulated CPU time (s) 1036.73
Current children cumulated vsize (Kb) 14728

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3379 0 0 0 102860 1785 0 0 25 0 1 0 1801320498 15343616 3345 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3746 3345 566 18 0 3728 0
[pid=20475] vsize: 14984
Current children cumulated CPU time (s) 1046.45
Current children cumulated vsize (Kb) 14984

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3379 0 0 0 103827 1796 0 0 25 0 1 0 1801320498 15343616 3345 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20475/statm): 3746 3345 566 18 0 3728 0
[pid=20475] vsize: 14984
Current children cumulated CPU time (s) 1056.23
Current children cumulated vsize (Kb) 14984

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3389 0 0 0 104789 1808 0 0 25 0 1 0 1801320498 15474688 3355 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3778 3355 566 18 0 3760 0
[pid=20475] vsize: 15112
Current children cumulated CPU time (s) 1065.97
Current children cumulated vsize (Kb) 15112

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 3389 0 0 0 105746 1822 0 0 25 0 1 0 1801320498 15474688 3355 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3778 3355 566 18 0 3760 0
[pid=20475] vsize: 15112
Current children cumulated CPU time (s) 1075.68
Current children cumulated vsize (Kb) 15112

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 3389 0 0 0 106706 1835 0 0 25 0 1 0 1801320498 15466496 3355 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3776 3355 566 18 0 3758 0
[pid=20475] vsize: 15104
Current children cumulated CPU time (s) 1085.41
Current children cumulated vsize (Kb) 15104

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3389 0 0 0 107664 1851 0 0 25 0 1 0 1801320498 15462400 3355 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3775 3355 566 18 0 3757 0
[pid=20475] vsize: 15100
Current children cumulated CPU time (s) 1095.15
Current children cumulated vsize (Kb) 15100

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 3389 0 0 0 108625 1867 0 0 25 0 1 0 1801320498 15450112 3355 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3772 3355 566 18 0 3754 0
[pid=20475] vsize: 15088
Current children cumulated CPU time (s) 1104.92
Current children cumulated vsize (Kb) 15088

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3437 0 0 0 109592 1878 0 0 25 0 1 0 1801320498 15581184 3403 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3804 3403 566 18 0 3786 0
[pid=20475] vsize: 15216
Current children cumulated CPU time (s) 1114.7
Current children cumulated vsize (Kb) 15216

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3439 0 0 0 110553 1893 0 0 25 0 1 0 1801320498 15581184 3405 4294967295 134512640 134578447 3221224624 3221223376 134528849 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3804 3405 566 18 0 3786 0
[pid=20475] vsize: 15216
Current children cumulated CPU time (s) 1124.46
Current children cumulated vsize (Kb) 15216

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3442 0 0 0 111515 1907 0 0 25 0 1 0 1801320498 15581184 3408 4294967295 134512640 134578447 3221224624 3221223456 134528399 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3804 3408 566 18 0 3786 0
[pid=20475] vsize: 15216
Current children cumulated CPU time (s) 1134.22
Current children cumulated vsize (Kb) 15216

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 3442 0 0 0 112472 1924 0 0 25 0 1 0 1801320498 15581184 3408 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3804 3408 566 18 0 3786 0
[pid=20475] vsize: 15216
Current children cumulated CPU time (s) 1143.96
Current children cumulated vsize (Kb) 15216

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3442 0 0 0 113428 1939 0 0 25 0 1 0 1801320498 15581184 3408 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3804 3408 566 18 0 3786 0
[pid=20475] vsize: 15216
Current children cumulated CPU time (s) 1153.67
Current children cumulated vsize (Kb) 15216

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) T 20474 20475 8263 0 -1 0 3458 0 0 0 114387 1953 0 0 25 0 1 0 1801320498 15712256 3424 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3836 3424 566 18 0 3818 0
[pid=20475] vsize: 15344
Current children cumulated CPU time (s) 1163.4
Current children cumulated vsize (Kb) 15344

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3469 0 0 0 115350 1965 0 0 25 0 1 0 1801320498 15712256 3435 4294967295 134512640 134578447 3221224624 3221223376 134528942 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3836 3435 566 18 0 3818 0
[pid=20475] vsize: 15344
Current children cumulated CPU time (s) 1173.15
Current children cumulated vsize (Kb) 15344

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20475
Raw data (/proc/20475/stat): 20475 (Pueblo) R 20474 20475 8263 0 -1 0 3469 0 0 0 116312 1979 0 0 25 0 1 0 1801320498 15712256 3435 4294967295 134512640 134578447 3221224624 3221223488 134517833 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20475/statm): 3836 3435 566 18 0 3818 0
[pid=20475] vsize: 15344
Current children cumulated CPU time (s) 1182.91
Current children cumulated vsize (Kb) 15344
One traced child (pid=20475) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1226.35
CPU time (s): 1189.01
CPU user time (s): 1169.11
CPU system time (s): 19.899
CPU usage (%): 96.9549
Max. virtual memory (cumulated for all children) (Kb): 15344

Verifier Data

Verifier:	OK	25