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/course-ass/normalized-ws97-5.opb
MD5SUM6049145b9f1adfd7114adf044503d587
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2642
Optimality of the best value was proved YES
Number of terms in the objective function 748
Biggest coefficient in the objective function 240
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 33855
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 240
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 33855
Number of bits of the biggest sum of numbers16
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark965.053
Number of variables907
Total number of constraints1309
Number of constraints which are clauses126
Number of constraints which are cardinality constraints (but not clauses)1183
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint134

Trace number 8025

Launcher Data

LAUNCH ON wulflinc15 THE 2005-09-20 15:15:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5072 boxname=wulflinc15 idbench=384 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  6049145b9f1adfd7114adf044503d587  /oldhome/oroussel/tmp/wulflinc15/normalized-ws97-5.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5072
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

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

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/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1801300878 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 41 3 40 18 0 23 0
[pid=13879] 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.0039 s]
Raw data (loadavg): 0.93 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 1109 0 0 0 970 12 0 0 25 0 1 0 1801300878 6098944 1075 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13879/statm): 1489 1075 566 18 0 1471 0
[pid=13879] vsize: 5956
Current children cumulated CPU time (s) 9.82
Current children cumulated vsize (Kb) 5956

[startup+20.0047 s]
Raw data (loadavg): 0.94 0.97 0.91 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 1409 0 0 0 1931 28 0 0 25 0 1 0 1801300878 7278592 1375 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 1777 1375 566 18 0 1759 0
[pid=13879] vsize: 7108
Current children cumulated CPU time (s) 19.59
Current children cumulated vsize (Kb) 7108

[startup+30.0045 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 1524 0 0 0 2887 46 0 0 25 0 1 0 1801300878 7802880 1490 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 1905 1490 566 18 0 1887 0
[pid=13879] vsize: 7620
Current children cumulated CPU time (s) 29.33
Current children cumulated vsize (Kb) 7620

[startup+40.0043 s]
Raw data (loadavg): 0.96 0.97 0.91 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 1597 0 0 0 3835 66 0 0 25 0 1 0 1801300878 8065024 1563 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 1969 1563 566 18 0 1951 0
[pid=13879] vsize: 7876
Current children cumulated CPU time (s) 39.01
Current children cumulated vsize (Kb) 7876

[startup+50.0052 s]
Raw data (loadavg): 0.96 0.97 0.91 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 1754 0 0 0 4804 77 0 0 25 0 1 0 1801300878 8720384 1720 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13879/statm): 2129 1720 566 18 0 2111 0
[pid=13879] vsize: 8516
Current children cumulated CPU time (s) 48.81
Current children cumulated vsize (Kb) 8516

[startup+60.006 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 1823 0 0 0 5764 91 0 0 25 0 1 0 1801300878 8982528 1789 4294967295 134512640 134578447 3221224624 3221223456 134528357 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 2193 1789 566 18 0 2175 0
[pid=13879] vsize: 8772
Current children cumulated CPU time (s) 58.55
Current children cumulated vsize (Kb) 8772

[startup+70.0068 s]
Raw data (loadavg): 0.97 0.97 0.91 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 1917 0 0 0 6694 114 0 0 25 0 1 0 1801300878 9375744 1883 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13879/statm): 2289 1883 566 18 0 2271 0
[pid=13879] vsize: 9156
Current children cumulated CPU time (s) 68.08
Current children cumulated vsize (Kb) 9156

[startup+80.0076 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2012 0 0 0 7643 132 0 0 25 0 1 0 1801300878 9768960 1978 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 2385 1978 566 18 0 2367 0
[pid=13879] vsize: 9540
Current children cumulated CPU time (s) 77.75
Current children cumulated vsize (Kb) 9540

[startup+90.0074 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2134 0 0 0 8584 153 0 0 25 0 1 0 1801300878 10293248 2100 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 2513 2100 566 18 0 2495 0
[pid=13879] vsize: 10052
Current children cumulated CPU time (s) 87.37
Current children cumulated vsize (Kb) 10052

[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.91 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2173 0 0 0 9526 172 0 0 25 0 1 0 1801300878 10424320 2139 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 2545 2139 566 18 0 2527 0
[pid=13879] vsize: 10180
Current children cumulated CPU time (s) 96.98
Current children cumulated vsize (Kb) 10180

[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2190 0 0 0 10433 205 0 0 25 0 1 0 1801300878 10555392 2156 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 2577 2156 566 18 0 2559 0
[pid=13879] vsize: 10308
Current children cumulated CPU time (s) 106.38
Current children cumulated vsize (Kb) 10308

[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2214 0 0 0 11374 226 0 0 25 0 1 0 1801300878 10506240 2172 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 2565 2172 566 18 0 2547 0
[pid=13879] vsize: 10260
Current children cumulated CPU time (s) 116
Current children cumulated vsize (Kb) 10260

[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2363 0 0 0 12340 238 0 0 25 0 1 0 1801300878 11161600 2321 4294967295 134512640 134578447 3221224624 3221223184 1075290875 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 2725 2321 566 18 0 2707 0
[pid=13879] vsize: 10900
Current children cumulated CPU time (s) 125.78
Current children cumulated vsize (Kb) 10900

[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2410 0 0 0 13302 252 0 0 25 0 1 0 1801300878 11296768 2348 4294967295 134512640 134578447 3221224624 3221223488 134517860 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 2758 2348 566 18 0 2740 0
[pid=13879] vsize: 11032
Current children cumulated CPU time (s) 135.54
Current children cumulated vsize (Kb) 11032

[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2438 0 0 0 14254 271 0 0 25 0 1 0 1801300878 11390976 2376 4294967295 134512640 134578447 3221224624 3221223472 134520250 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 2781 2376 566 18 0 2763 0
[pid=13879] vsize: 11124
Current children cumulated CPU time (s) 145.25
Current children cumulated vsize (Kb) 11124

[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2438 0 0 0 15197 292 0 0 25 0 1 0 1801300878 11390976 2376 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 2781 2376 566 18 0 2763 0
[pid=13879] vsize: 11124
Current children cumulated CPU time (s) 154.89
Current children cumulated vsize (Kb) 11124

[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2438 0 0 0 16138 315 0 0 25 0 1 0 1801300878 11354112 2376 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 2772 2376 566 18 0 2754 0
[pid=13879] vsize: 11088
Current children cumulated CPU time (s) 164.53
Current children cumulated vsize (Kb) 11088

[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2438 0 0 0 17078 338 0 0 25 0 1 0 1801300878 11218944 2346 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 2739 2346 566 18 0 2721 0
[pid=13879] vsize: 10956
Current children cumulated CPU time (s) 174.16
Current children cumulated vsize (Kb) 10956

[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2438 0 0 0 18021 357 0 0 25 0 1 0 1801300878 11218944 2346 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 2739 2346 566 18 0 2721 0
[pid=13879] vsize: 10956
Current children cumulated CPU time (s) 183.78
Current children cumulated vsize (Kb) 10956

[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2438 0 0 0 18945 383 0 0 25 0 1 0 1801300878 11218944 2346 4294967295 134512640 134578447 3221224624 3221223536 134557425 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 2739 2346 566 18 0 2721 0
[pid=13879] vsize: 10956
Current children cumulated CPU time (s) 193.28
Current children cumulated vsize (Kb) 10956

[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2438 0 0 0 19876 408 0 0 25 0 1 0 1801300878 11218944 2346 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 2739 2346 566 18 0 2721 0
[pid=13879] vsize: 10956
Current children cumulated CPU time (s) 202.84
Current children cumulated vsize (Kb) 10956

[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2438 0 0 0 20806 432 0 0 25 0 1 0 1801300878 11218944 2346 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 2739 2346 566 18 0 2721 0
[pid=13879] vsize: 10956
Current children cumulated CPU time (s) 212.38
Current children cumulated vsize (Kb) 10956

[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2460 0 0 0 21761 451 0 0 25 0 1 0 1801300878 11350016 2368 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 2771 2368 566 18 0 2753 0
[pid=13879] vsize: 11084
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (Kb) 11084

[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2516 0 0 0 22712 468 0 0 25 0 1 0 1801300878 11612160 2424 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 2835 2424 566 18 0 2817 0
[pid=13879] vsize: 11340
Current children cumulated CPU time (s) 231.8
Current children cumulated vsize (Kb) 11340

[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2558 0 0 0 23673 482 0 0 25 0 1 0 1801300878 11743232 2466 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 2867 2466 566 18 0 2849 0
[pid=13879] vsize: 11468
Current children cumulated CPU time (s) 241.55
Current children cumulated vsize (Kb) 11468

[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2558 0 0 0 24630 498 0 0 25 0 1 0 1801300878 11726848 2466 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 2863 2466 566 18 0 2845 0
[pid=13879] vsize: 11452
Current children cumulated CPU time (s) 251.28
Current children cumulated vsize (Kb) 11452

[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2565 0 0 0 25586 515 0 0 25 0 1 0 1801300878 11857920 2473 4294967295 134512640 134578447 3221224624 3221223456 134528360 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 2895 2473 566 18 0 2877 0
[pid=13879] vsize: 11580
Current children cumulated CPU time (s) 261.01
Current children cumulated vsize (Kb) 11580

[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2565 0 0 0 26548 528 0 0 25 0 1 0 1801300878 11784192 2473 4294967295 134512640 134578447 3221224624 3221223488 134517848 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 2877 2473 566 18 0 2859 0
[pid=13879] vsize: 11508
Current children cumulated CPU time (s) 270.76
Current children cumulated vsize (Kb) 11508

[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2595 0 0 0 27508 543 0 0 25 0 1 0 1801300878 11915264 2503 4294967295 134512640 134578447 3221224624 3221223536 134557432 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 2909 2503 566 18 0 2891 0
[pid=13879] vsize: 11636
Current children cumulated CPU time (s) 280.51
Current children cumulated vsize (Kb) 11636

[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2615 0 0 0 28465 558 0 0 25 0 1 0 1801300878 12046336 2523 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 2941 2523 566 18 0 2923 0
[pid=13879] vsize: 11764
Current children cumulated CPU time (s) 290.23
Current children cumulated vsize (Kb) 11764

[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2645 0 0 0 29431 571 0 0 25 0 1 0 1801300878 12148736 2553 4294967295 134512640 134578447 3221224624 3221223504 134528068 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 2966 2553 566 18 0 2948 0
[pid=13879] vsize: 11864
Current children cumulated CPU time (s) 300.02
Current children cumulated vsize (Kb) 11864

[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2645 0 0 0 30396 583 0 0 25 0 1 0 1801300878 12132352 2553 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 2962 2553 566 18 0 2944 0
[pid=13879] vsize: 11848
Current children cumulated CPU time (s) 309.79
Current children cumulated vsize (Kb) 11848

[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2693 0 0 0 31365 595 0 0 25 0 1 0 1801300878 12263424 2601 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 2994 2601 566 18 0 2976 0
[pid=13879] vsize: 11976
Current children cumulated CPU time (s) 319.6
Current children cumulated vsize (Kb) 11976

[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2694 0 0 0 32334 605 0 0 25 0 1 0 1801300878 12394496 2602 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3026 2602 566 18 0 3008 0
[pid=13879] vsize: 12104
Current children cumulated CPU time (s) 329.39
Current children cumulated vsize (Kb) 12104

[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2694 0 0 0 33299 618 0 0 25 0 1 0 1801300878 12382208 2602 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3023 2602 566 18 0 3005 0
[pid=13879] vsize: 12092
Current children cumulated CPU time (s) 339.17
Current children cumulated vsize (Kb) 12092

[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2804 0 0 0 34258 632 0 0 25 0 1 0 1801300878 12754944 2712 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3114 2712 566 18 0 3096 0
[pid=13879] vsize: 12456
Current children cumulated CPU time (s) 348.9
Current children cumulated vsize (Kb) 12456

[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2804 0 0 0 35191 657 0 0 25 0 1 0 1801300878 12754944 2712 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 3114 2712 566 18 0 3096 0
[pid=13879] vsize: 12456
Current children cumulated CPU time (s) 358.48
Current children cumulated vsize (Kb) 12456

[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2834 0 0 0 36125 681 0 0 25 0 1 0 1801300878 12873728 2742 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3143 2742 566 18 0 3125 0
[pid=13879] vsize: 12572
Current children cumulated CPU time (s) 368.06
Current children cumulated vsize (Kb) 12572

[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2839 0 0 0 37043 709 0 0 25 0 1 0 1801300878 12976128 2747 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3168 2747 566 18 0 3150 0
[pid=13879] vsize: 12672
Current children cumulated CPU time (s) 377.52
Current children cumulated vsize (Kb) 12672

[startup+400.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2899 0 0 0 37975 736 0 0 25 0 1 0 1801300878 13107200 2807 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 3200 2807 566 18 0 3182 0
[pid=13879] vsize: 12800
Current children cumulated CPU time (s) 387.11
Current children cumulated vsize (Kb) 12800

[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2899 0 0 0 38910 760 0 0 25 0 1 0 1801300878 13107200 2807 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3200 2807 566 18 0 3182 0
[pid=13879] vsize: 12800
Current children cumulated CPU time (s) 396.7
Current children cumulated vsize (Kb) 12800

[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2899 0 0 0 39843 783 0 0 25 0 1 0 1801300878 13107200 2807 4294967295 134512640 134578447 3221224624 3221223536 134556795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 3200 2807 566 18 0 3182 0
[pid=13879] vsize: 12800
Current children cumulated CPU time (s) 406.26
Current children cumulated vsize (Kb) 12800

[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2899 0 0 0 40777 808 0 0 25 0 1 0 1801300878 13066240 2797 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 3190 2797 566 18 0 3172 0
[pid=13879] vsize: 12760
Current children cumulated CPU time (s) 415.85
Current children cumulated vsize (Kb) 12760

[startup+440.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2910 0 0 0 41710 833 0 0 25 0 1 0 1801300878 13197312 2808 4294967295 134512640 134578447 3221224624 3221223456 134528488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3222 2808 566 18 0 3204 0
[pid=13879] vsize: 12888
Current children cumulated CPU time (s) 425.43
Current children cumulated vsize (Kb) 12888

[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2910 0 0 0 42649 852 0 0 25 0 1 0 1801300878 13197312 2808 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 3222 2808 566 18 0 3204 0
[pid=13879] vsize: 12888
Current children cumulated CPU time (s) 435.01
Current children cumulated vsize (Kb) 12888

[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 2922 0 0 0 43587 872 0 0 25 0 1 0 1801300878 13197312 2820 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3222 2820 566 18 0 3204 0
[pid=13879] vsize: 12888
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (Kb) 12888

[startup+470.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2922 0 0 0 44534 890 0 0 25 0 1 0 1801300878 13197312 2820 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3222 2820 566 18 0 3204 0
[pid=13879] vsize: 12888
Current children cumulated CPU time (s) 454.24
Current children cumulated vsize (Kb) 12888

[startup+480.028 s]
Raw data (loadavg): 1.15 1.00 0.92 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2931 0 0 0 45471 911 0 0 25 0 1 0 1801300878 13197312 2829 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3222 2829 566 18 0 3204 0
[pid=13879] vsize: 12888
Current children cumulated CPU time (s) 463.82
Current children cumulated vsize (Kb) 12888

[startup+490.029 s]
Raw data (loadavg): 1.12 1.00 0.92 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 2953 0 0 0 46393 941 0 0 25 0 1 0 1801300878 13328384 2851 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3254 2851 566 18 0 3236 0
[pid=13879] vsize: 13016
Current children cumulated CPU time (s) 473.34
Current children cumulated vsize (Kb) 13016

[startup+500.03 s]
Raw data (loadavg): 1.18 1.02 0.93 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3065 0 0 0 47354 954 0 0 25 0 1 0 1801300878 13852672 2963 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3382 2963 566 18 0 3364 0
[pid=13879] vsize: 13528
Current children cumulated CPU time (s) 483.08
Current children cumulated vsize (Kb) 13528

[startup+510.031 s]
Raw data (loadavg): 1.15 1.02 0.93 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3091 0 0 0 48308 973 0 0 25 0 1 0 1801300878 13852672 2989 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3382 2989 566 18 0 3364 0
[pid=13879] vsize: 13528
Current children cumulated CPU time (s) 492.81
Current children cumulated vsize (Kb) 13528

[startup+520.031 s]
Raw data (loadavg): 1.13 1.02 0.93 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3115 0 0 0 49267 988 0 0 25 0 1 0 1801300878 13983744 3013 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3414 3013 566 18 0 3396 0
[pid=13879] vsize: 13656
Current children cumulated CPU time (s) 502.55
Current children cumulated vsize (Kb) 13656

[startup+530.03 s]
Raw data (loadavg): 1.18 1.03 0.93 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3163 0 0 0 50228 1003 0 0 25 0 1 0 1801300878 14245888 3061 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3478 3061 566 18 0 3460 0
[pid=13879] vsize: 13912
Current children cumulated CPU time (s) 512.31
Current children cumulated vsize (Kb) 13912

[startup+540.053 s]
Raw data (loadavg): 1.15 1.03 0.93 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3163 0 0 0 51182 1018 0 0 25 0 1 0 1801300878 14118912 3054 4294967295 134512640 134578447 3221224624 3221223280 1075288456 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 3447 3054 566 18 0 3429 0
[pid=13879] vsize: 13788
Current children cumulated CPU time (s) 522
Current children cumulated vsize (Kb) 13788

[startup+550.053 s]
Raw data (loadavg): 1.13 1.03 0.93 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3172 0 0 0 52139 1034 0 0 25 0 1 0 1801300878 14249984 3063 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3479 3063 566 18 0 3461 0
[pid=13879] vsize: 13916
Current children cumulated CPU time (s) 531.73
Current children cumulated vsize (Kb) 13916

[startup+560.054 s]
Raw data (loadavg): 1.11 1.03 0.93 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3180 0 0 0 53105 1047 0 0 25 0 1 0 1801300878 14249984 3071 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3479 3071 566 18 0 3461 0
[pid=13879] vsize: 13916
Current children cumulated CPU time (s) 541.52
Current children cumulated vsize (Kb) 13916

[startup+570.055 s]
Raw data (loadavg): 1.09 1.03 0.93 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3222 0 0 0 54068 1061 0 0 25 0 1 0 1801300878 14381056 3113 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3511 3113 566 18 0 3493 0
[pid=13879] vsize: 14044
Current children cumulated CPU time (s) 551.29
Current children cumulated vsize (Kb) 14044

[startup+580.055 s]
Raw data (loadavg): 1.08 1.03 0.93 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3222 0 0 0 55036 1073 0 0 25 0 1 0 1801300878 14381056 3113 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3511 3113 566 18 0 3493 0
[pid=13879] vsize: 14044
Current children cumulated CPU time (s) 561.09
Current children cumulated vsize (Kb) 14044

[startup+590.055 s]
Raw data (loadavg): 1.06 1.02 0.93 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3295 0 0 0 55992 1090 0 0 25 0 1 0 1801300878 14774272 3186 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3607 3186 566 18 0 3589 0
[pid=13879] vsize: 14428
Current children cumulated CPU time (s) 570.82
Current children cumulated vsize (Kb) 14428

[startup+600.055 s]
Raw data (loadavg): 1.05 1.02 0.93 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3299 0 0 0 56960 1103 0 0 25 0 1 0 1801300878 14774272 3190 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3607 3190 566 18 0 3589 0
[pid=13879] vsize: 14428
Current children cumulated CPU time (s) 580.63
Current children cumulated vsize (Kb) 14428

[startup+610.056 s]
Raw data (loadavg): 1.05 1.02 0.93 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3299 0 0 0 57917 1118 0 0 25 0 1 0 1801300878 14757888 3190 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 3603 3190 566 18 0 3585 0
[pid=13879] vsize: 14412
Current children cumulated CPU time (s) 590.35
Current children cumulated vsize (Kb) 14412

[startup+620.057 s]
Raw data (loadavg): 1.04 1.02 0.93 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3299 0 0 0 58871 1135 0 0 25 0 1 0 1801300878 14753792 3190 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3602 3190 566 18 0 3584 0
[pid=13879] vsize: 14408
Current children cumulated CPU time (s) 600.06
Current children cumulated vsize (Kb) 14408

[startup+630.057 s]
Raw data (loadavg): 1.03 1.02 0.93 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3299 0 0 0 59833 1150 0 0 25 0 1 0 1801300878 14753792 3190 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 3602 3190 566 18 0 3584 0
[pid=13879] vsize: 14408
Current children cumulated CPU time (s) 609.83
Current children cumulated vsize (Kb) 14408

[startup+640.057 s]
Raw data (loadavg): 1.03 1.02 0.93 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3299 0 0 0 60788 1165 0 0 25 0 1 0 1801300878 14741504 3190 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3599 3190 566 18 0 3581 0
[pid=13879] vsize: 14396
Current children cumulated CPU time (s) 619.53
Current children cumulated vsize (Kb) 14396

[startup+650.057 s]
Raw data (loadavg): 1.02 1.02 0.93 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3299 0 0 0 61758 1177 0 0 25 0 1 0 1801300878 14716928 3190 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3593 3190 566 18 0 3575 0
[pid=13879] vsize: 14372
Current children cumulated CPU time (s) 629.35
Current children cumulated vsize (Kb) 14372

[startup+660.058 s]
Raw data (loadavg): 1.02 1.02 0.93 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3299 0 0 0 62721 1191 0 0 25 0 1 0 1801300878 14659584 3186 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3579 3186 566 18 0 3561 0
[pid=13879] vsize: 14316
Current children cumulated CPU time (s) 639.12
Current children cumulated vsize (Kb) 14316

[startup+670.059 s]
Raw data (loadavg): 1.02 1.02 0.93 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3299 0 0 0 63685 1204 0 0 25 0 1 0 1801300878 14659584 3186 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3579 3186 566 18 0 3561 0
[pid=13879] vsize: 14316
Current children cumulated CPU time (s) 648.89
Current children cumulated vsize (Kb) 14316

[startup+680.059 s]
Raw data (loadavg): 1.01 1.02 0.93 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3299 0 0 0 64647 1216 0 0 25 0 1 0 1801300878 14659584 3186 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3579 3186 566 18 0 3561 0
[pid=13879] vsize: 14316
Current children cumulated CPU time (s) 658.63
Current children cumulated vsize (Kb) 14316

[startup+690.059 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3299 0 0 0 65608 1231 0 0 25 0 1 0 1801300878 14659584 3186 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3579 3186 566 18 0 3561 0
[pid=13879] vsize: 14316
Current children cumulated CPU time (s) 668.39
Current children cumulated vsize (Kb) 14316

[startup+700.058 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3299 0 0 0 66576 1242 0 0 25 0 1 0 1801300878 14659584 3186 4294967295 134512640 134578447 3221224624 3221223456 134528426 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3579 3186 566 18 0 3561 0
[pid=13879] vsize: 14316
Current children cumulated CPU time (s) 678.18
Current children cumulated vsize (Kb) 14316

[startup+710.059 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3299 0 0 0 67534 1257 0 0 25 0 1 0 1801300878 14659584 3186 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3579 3186 566 18 0 3561 0
[pid=13879] vsize: 14316
Current children cumulated CPU time (s) 687.91
Current children cumulated vsize (Kb) 14316

[startup+720.059 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3319 0 0 0 68494 1274 0 0 25 0 1 0 1801300878 14790656 3206 4294967295 134512640 134578447 3221224624 3221223584 134558996 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3611 3206 566 18 0 3593 0
[pid=13879] vsize: 14444
Current children cumulated CPU time (s) 697.68
Current children cumulated vsize (Kb) 14444

[startup+730.059 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3319 0 0 0 69470 1282 0 0 25 0 1 0 1801300878 14790656 3206 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3611 3206 566 18 0 3593 0
[pid=13879] vsize: 14444
Current children cumulated CPU time (s) 707.52
Current children cumulated vsize (Kb) 14444

[startup+740.06 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3319 0 0 0 70443 1291 0 0 25 0 1 0 1801300878 14790656 3206 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3611 3206 566 18 0 3593 0
[pid=13879] vsize: 14444
Current children cumulated CPU time (s) 717.34
Current children cumulated vsize (Kb) 14444

[startup+750.059 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3319 0 0 0 71415 1301 0 0 25 0 1 0 1801300878 14790656 3206 4294967295 134512640 134578447 3221224624 3221223536 134556806 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3611 3206 566 18 0 3593 0
[pid=13879] vsize: 14444
Current children cumulated CPU time (s) 727.16
Current children cumulated vsize (Kb) 14444

[startup+760.06 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3319 0 0 0 72375 1315 0 0 25 0 1 0 1801300878 14790656 3206 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3611 3206 566 18 0 3593 0
[pid=13879] vsize: 14444
Current children cumulated CPU time (s) 736.9
Current children cumulated vsize (Kb) 14444

[startup+770.061 s]
Raw data (loadavg): 1.00 1.01 0.93 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3319 0 0 0 73343 1327 0 0 25 0 1 0 1801300878 14700544 3196 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3589 3196 566 18 0 3571 0
[pid=13879] vsize: 14356
Current children cumulated CPU time (s) 746.7
Current children cumulated vsize (Kb) 14356

[startup+780.061 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3319 0 0 0 74309 1340 0 0 25 0 1 0 1801300878 14700544 3196 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3589 3196 566 18 0 3571 0
[pid=13879] vsize: 14356
Current children cumulated CPU time (s) 756.49
Current children cumulated vsize (Kb) 14356

[startup+790.062 s]
Raw data (loadavg): 1.08 1.02 0.94 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3319 0 0 0 75270 1354 0 0 25 0 1 0 1801300878 14700544 3196 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3589 3196 566 18 0 3571 0
[pid=13879] vsize: 14356
Current children cumulated CPU time (s) 766.24
Current children cumulated vsize (Kb) 14356

[startup+800.063 s]
Raw data (loadavg): 1.14 1.04 0.94 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3319 0 0 0 76234 1368 0 0 25 0 1 0 1801300878 14700544 3196 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 3589 3196 566 18 0 3571 0
[pid=13879] vsize: 14356
Current children cumulated CPU time (s) 776.02
Current children cumulated vsize (Kb) 14356

[startup+810.063 s]
Raw data (loadavg): 1.12 1.03 0.94 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3319 0 0 0 77207 1379 0 0 25 0 1 0 1801300878 14700544 3196 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3589 3196 566 18 0 3571 0
[pid=13879] vsize: 14356
Current children cumulated CPU time (s) 785.86
Current children cumulated vsize (Kb) 14356

[startup+820.063 s]
Raw data (loadavg): 1.10 1.03 0.94 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3319 0 0 0 78152 1397 0 0 25 0 1 0 1801300878 14655488 3185 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3578 3185 566 18 0 3560 0
[pid=13879] vsize: 14312
Current children cumulated CPU time (s) 795.49
Current children cumulated vsize (Kb) 14312

[startup+830.063 s]
Raw data (loadavg): 1.08 1.03 0.94 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3319 0 0 0 79078 1423 0 0 20 0 1 0 1801300878 14544896 3158 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 3551 3158 566 18 0 3533 0
[pid=13879] vsize: 14204
Current children cumulated CPU time (s) 805.01
Current children cumulated vsize (Kb) 14204

[startup+840.064 s]
Raw data (loadavg): 1.07 1.03 0.94 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3426 0 0 0 80026 1440 0 0 25 0 1 0 1801300878 15069184 3261 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 3679 3261 566 18 0 3661 0
[pid=13879] vsize: 14716
Current children cumulated CPU time (s) 814.66
Current children cumulated vsize (Kb) 14716

[startup+850.065 s]
Raw data (loadavg): 1.06 1.03 0.94 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3426 0 0 0 80949 1467 0 0 25 0 1 0 1801300878 15069184 3261 4294967295 134512640 134578447 3221224624 3221223488 134517857 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 3679 3261 566 18 0 3661 0
[pid=13879] vsize: 14716
Current children cumulated CPU time (s) 824.16
Current children cumulated vsize (Kb) 14716

[startup+860.067 s]
Raw data (loadavg): 1.05 1.03 0.94 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3426 0 0 0 81869 1496 0 0 25 0 1 0 1801300878 15069184 3261 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3679 3261 566 18 0 3661 0
[pid=13879] vsize: 14716
Current children cumulated CPU time (s) 833.65
Current children cumulated vsize (Kb) 14716

[startup+870.066 s]
Raw data (loadavg): 1.04 1.03 0.94 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3426 0 0 0 82795 1524 0 0 25 0 1 0 1801300878 15069184 3261 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3679 3261 566 18 0 3661 0
[pid=13879] vsize: 14716
Current children cumulated CPU time (s) 843.19
Current children cumulated vsize (Kb) 14716

[startup+880.066 s]
Raw data (loadavg): 1.04 1.02 0.94 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3467 0 0 0 83725 1547 0 0 25 0 1 0 1801300878 15200256 3302 4294967295 134512640 134578447 3221224624 3221223552 134519840 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3711 3302 566 18 0 3693 0
[pid=13879] vsize: 14844
Current children cumulated CPU time (s) 852.72
Current children cumulated vsize (Kb) 14844

[startup+890.067 s]
Raw data (loadavg): 1.03 1.02 0.94 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3537 0 0 0 84652 1574 0 0 25 0 1 0 1801300878 15462400 3372 4294967295 134512640 134578447 3221224624 3221223488 134517827 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3775 3372 566 18 0 3757 0
[pid=13879] vsize: 15100
Current children cumulated CPU time (s) 862.26
Current children cumulated vsize (Kb) 15100

[startup+900.067 s]
Raw data (loadavg): 1.02 1.02 0.94 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3537 0 0 0 85574 1602 0 0 25 0 1 0 1801300878 15462400 3372 4294967295 134512640 134578447 3221224624 3221223488 134517766 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3775 3372 566 18 0 3757 0
[pid=13879] vsize: 15100
Current children cumulated CPU time (s) 871.76
Current children cumulated vsize (Kb) 15100

[startup+910.068 s]
Raw data (loadavg): 1.02 1.02 0.94 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3537 0 0 0 86501 1629 0 0 25 0 1 0 1801300878 15462400 3372 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3775 3372 566 18 0 3757 0
[pid=13879] vsize: 15100
Current children cumulated CPU time (s) 881.3
Current children cumulated vsize (Kb) 15100

[startup+920.068 s]
Raw data (loadavg): 1.02 1.02 0.94 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3537 0 0 0 87434 1653 0 0 25 0 1 0 1801300878 15454208 3372 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3773 3372 566 18 0 3755 0
[pid=13879] vsize: 15092
Current children cumulated CPU time (s) 890.87
Current children cumulated vsize (Kb) 15092

[startup+930.068 s]
Raw data (loadavg): 1.01 1.02 0.94 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3562 0 0 0 88373 1674 0 0 25 0 1 0 1801300878 15585280 3397 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3805 3397 566 18 0 3787 0
[pid=13879] vsize: 15220
Current children cumulated CPU time (s) 900.47
Current children cumulated vsize (Kb) 15220

[startup+940.069 s]
Raw data (loadavg): 1.01 1.02 0.94 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3562 0 0 0 89298 1699 0 0 25 0 1 0 1801300878 15585280 3397 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3805 3397 566 18 0 3787 0
[pid=13879] vsize: 15220
Current children cumulated CPU time (s) 909.97
Current children cumulated vsize (Kb) 15220

[startup+950.07 s]
Raw data (loadavg): 1.01 1.02 0.94 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3562 0 0 0 90236 1722 0 0 25 0 1 0 1801300878 15585280 3397 4294967295 134512640 134578447 3221224624 3221223536 134557425 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3805 3397 566 18 0 3787 0
[pid=13879] vsize: 15220
Current children cumulated CPU time (s) 919.58
Current children cumulated vsize (Kb) 15220

[startup+960.071 s]
Raw data (loadavg): 1.01 1.02 0.94 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3576 0 0 0 91208 1733 0 0 25 0 1 0 1801300878 15585280 3411 4294967295 134512640 134578447 3221224624 3221223552 134516683 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3805 3411 566 18 0 3787 0
[pid=13879] vsize: 15220
Current children cumulated CPU time (s) 929.41
Current children cumulated vsize (Kb) 15220

[startup+970.071 s]
Raw data (loadavg): 1.01 1.02 0.94 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3582 0 0 0 92158 1751 0 0 25 0 1 0 1801300878 15716352 3417 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 3837 3417 566 18 0 3819 0
[pid=13879] vsize: 15348
Current children cumulated CPU time (s) 939.09
Current children cumulated vsize (Kb) 15348

[startup+980.071 s]
Raw data (loadavg): 1.00 1.02 0.94 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3582 0 0 0 93071 1783 0 0 25 0 1 0 1801300878 15544320 3402 4294967295 134512640 134578447 3221224624 3221223488 134517745 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3795 3402 566 18 0 3777 0
[pid=13879] vsize: 15180
Current children cumulated CPU time (s) 948.54
Current children cumulated vsize (Kb) 15180

[startup+990.072 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3582 0 0 0 93983 1814 0 0 25 0 1 0 1801300878 15544320 3402 4294967295 134512640 134578447 3221224624 3221223552 134516681 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3795 3402 566 18 0 3777 0
[pid=13879] vsize: 15180
Current children cumulated CPU time (s) 957.97
Current children cumulated vsize (Kb) 15180

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3582 0 0 0 94900 1842 0 0 25 0 1 0 1801300878 15544320 3402 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3795 3402 566 18 0 3777 0
[pid=13879] vsize: 15180
Current children cumulated CPU time (s) 967.42
Current children cumulated vsize (Kb) 15180

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3612 0 0 0 95839 1864 0 0 25 0 1 0 1801300878 15675392 3432 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3827 3432 566 18 0 3809 0
[pid=13879] vsize: 15308
Current children cumulated CPU time (s) 977.03
Current children cumulated vsize (Kb) 15308

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3624 0 0 0 96767 1888 0 0 25 0 1 0 1801300878 15806464 3444 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13879/statm): 3859 3444 566 18 0 3841 0
[pid=13879] vsize: 15436
Current children cumulated CPU time (s) 986.55
Current children cumulated vsize (Kb) 15436

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3624 0 0 0 97692 1914 0 0 25 0 1 0 1801300878 15765504 3444 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3849 3444 566 18 0 3831 0
[pid=13879] vsize: 15396
Current children cumulated CPU time (s) 996.06
Current children cumulated vsize (Kb) 15396

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3624 0 0 0 98641 1932 0 0 25 0 1 0 1801300878 15765504 3444 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3849 3444 566 18 0 3831 0
[pid=13879] vsize: 15396
Current children cumulated CPU time (s) 1005.73
Current children cumulated vsize (Kb) 15396

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3624 0 0 0 99608 1945 0 0 25 0 1 0 1801300878 15765504 3444 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/13879/statm): 3849 3444 566 18 0 3831 0
[pid=13879] vsize: 15396
Current children cumulated CPU time (s) 1015.53
Current children cumulated vsize (Kb) 15396

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3624 0 0 0 100572 1959 0 0 25 0 1 0 1801300878 15757312 3444 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3847 3444 566 18 0 3829 0
[pid=13879] vsize: 15388
Current children cumulated CPU time (s) 1025.31
Current children cumulated vsize (Kb) 15388

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3624 0 0 0 101522 1976 0 0 25 0 1 0 1801300878 15626240 3422 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3815 3422 566 18 0 3797 0
[pid=13879] vsize: 15260
Current children cumulated CPU time (s) 1034.98
Current children cumulated vsize (Kb) 15260

[startup+1080.08 s]
Raw data (loadavg): 1.08 1.02 0.95 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3624 0 0 0 102449 2004 0 0 25 0 1 0 1801300878 15622144 3421 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3814 3421 566 18 0 3796 0
[pid=13879] vsize: 15256
Current children cumulated CPU time (s) 1044.53
Current children cumulated vsize (Kb) 15256

[startup+1090.08 s]
Raw data (loadavg): 1.07 1.02 0.95 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3624 0 0 0 103373 2033 0 0 25 0 1 0 1801300878 15441920 3377 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3770 3377 566 18 0 3752 0
[pid=13879] vsize: 15080
Current children cumulated CPU time (s) 1054.06
Current children cumulated vsize (Kb) 15080

[startup+1100.08 s]
Raw data (loadavg): 1.06 1.02 0.95 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3624 0 0 0 104287 2064 0 0 25 0 1 0 1801300878 15441920 3377 4294967295 134512640 134578447 3221224624 3221223536 134556860 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3770 3377 566 18 0 3752 0
[pid=13879] vsize: 15080
Current children cumulated CPU time (s) 1063.51
Current children cumulated vsize (Kb) 15080

[startup+1110.08 s]
Raw data (loadavg): 1.05 1.02 0.95 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3624 0 0 0 105223 2085 0 0 25 0 1 0 1801300878 15441920 3377 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 3770 3377 566 18 0 3752 0
[pid=13879] vsize: 15080
Current children cumulated CPU time (s) 1073.08
Current children cumulated vsize (Kb) 15080

[startup+1120.08 s]
Raw data (loadavg): 1.04 1.02 0.95 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3624 0 0 0 106191 2096 0 0 25 0 1 0 1801300878 15425536 3373 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 3766 3373 566 18 0 3748 0
[pid=13879] vsize: 15064
Current children cumulated CPU time (s) 1082.87
Current children cumulated vsize (Kb) 15064

[startup+1130.08 s]
Raw data (loadavg): 1.03 1.02 0.95 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3624 0 0 0 107156 2108 0 0 25 0 1 0 1801300878 15425536 3373 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3766 3373 566 18 0 3748 0
[pid=13879] vsize: 15064
Current children cumulated CPU time (s) 1092.64
Current children cumulated vsize (Kb) 15064

[startup+1140.08 s]
Raw data (loadavg): 1.03 1.02 0.95 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3624 0 0 0 108113 2121 0 0 25 0 1 0 1801300878 15425536 3373 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 3766 3373 566 18 0 3748 0
[pid=13879] vsize: 15064
Current children cumulated CPU time (s) 1102.34
Current children cumulated vsize (Kb) 15064

[startup+1150.08 s]
Raw data (loadavg): 1.02 1.02 0.95 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3643 0 0 0 109087 2131 0 0 25 0 1 0 1801300878 15556608 3392 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3798 3392 566 18 0 3780 0
[pid=13879] vsize: 15192
Current children cumulated CPU time (s) 1112.18
Current children cumulated vsize (Kb) 15192

[startup+1160.08 s]
Raw data (loadavg): 1.02 1.01 0.95 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3694 0 0 0 110060 2142 0 0 25 0 1 0 1801300878 15818752 3443 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3862 3443 566 18 0 3844 0
[pid=13879] vsize: 15448
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (Kb) 15448

[startup+1170.08 s]
Raw data (loadavg): 1.02 1.01 0.95 1/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3694 0 0 0 111023 2156 0 0 25 0 1 0 1801300878 15818752 3443 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3862 3443 566 18 0 3844 0
[pid=13879] vsize: 15448
Current children cumulated CPU time (s) 1131.79
Current children cumulated vsize (Kb) 15448

[startup+1180.08 s]
Raw data (loadavg): 1.01 1.01 0.95 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) T 13878 13879 31778 0 -1 0 3694 0 0 0 111983 2172 0 0 25 0 1 0 1801300878 15818752 3443 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3862 3443 566 18 0 3844 0
[pid=13879] vsize: 15448
Current children cumulated CPU time (s) 1141.55
Current children cumulated vsize (Kb) 15448

[startup+1190.08 s]
Raw data (loadavg): 1.01 1.01 0.95 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3694 0 0 0 112955 2182 0 0 25 0 1 0 1801300878 15818752 3443 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3862 3443 566 18 0 3844 0
[pid=13879] vsize: 15448
Current children cumulated CPU time (s) 1151.37
Current children cumulated vsize (Kb) 15448

[startup+1200.08 s]
Raw data (loadavg): 1.01 1.01 0.95 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3694 0 0 0 113918 2196 0 0 25 0 1 0 1801300878 15818752 3443 4294967295 134512640 134578447 3221224624 3221223548 134519718 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3862 3443 566 18 0 3844 0
[pid=13879] vsize: 15448
Current children cumulated CPU time (s) 1161.14
Current children cumulated vsize (Kb) 15448

[startup+1210.08 s]
Raw data (loadavg): 1.01 1.01 0.95 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3694 0 0 0 114878 2210 0 0 25 0 1 0 1801300878 15818752 3443 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13879/statm): 3862 3443 566 18 0 3844 0
[pid=13879] vsize: 15448
Current children cumulated CPU time (s) 1170.88
Current children cumulated vsize (Kb) 15448

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.01 0.95 2/56 13879
Raw data (/proc/13879/stat): 13879 (Pueblo) R 13878 13879 31778 0 -1 0 3694 0 0 0 115844 2222 0 0 25 0 1 0 1801300878 15818752 3443 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/13879/statm): 3862 3443 566 18 0 3844 0
[pid=13879] vsize: 15448
Current children cumulated CPU time (s) 1180.66
Current children cumulated vsize (Kb) 15448
One traced child (pid=13879) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1228.61
CPU time (s): 1189.03
CPU user time (s): 1166.69
CPU system time (s): 22.3316
CPU usage (%): 96.7785
Max. virtual memory (cumulated for all children) (Kb): 15448

Verifier Data

Verifier:	OK	10859