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-ss97-6.opb
MD5SUM5d90b7cbb5bac2aa14257b9c5448f25d
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 304
Optimality of the best value was proved YES
Number of terms in the objective function 173
Biggest coefficient in the objective function 100
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 8448
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 100
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 8448
Number of bits of the biggest sum of numbers14
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark1.87471
Number of variables257
Total number of constraints353
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)353
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44

Trace number 8033

Launcher Data

LAUNCH ON wulflinc22 THE 2005-09-20 15:15:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5073 boxname=wulflinc22 idbench=385 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  5d90b7cbb5bac2aa14257b9c5448f25d  /oldhome/oroussel/tmp/wulflinc22/normalized-ss97-6.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5073
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 3
cpu MHz		: 451.031
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:        822420 kB
Buffers:         32972 kB
Cached:         152252 kB
SwapCached:        552 kB
Active:          57104 kB
Inactive:       130744 kB
HighTotal:      131008 kB
HighFree:         2548 kB
LowTotal:       903652 kB
LowFree:        819872 kB
SwapTotal:     2097892 kB
SwapFree:      2096768 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5836 kB
Slab:            18728 kB
Committed_AS:    64304 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 15:37:56 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5073 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: 257 - #constraints read: 438
c total time              : 1189 s
s SATISFIABLE
v -v133 -v177 v217 -v3 v179 -v7 -v8 -v96 -v184 v224 -v185 v225 -v10 -v98 -v142 -v186 v226 -v99 -v12 -v13 -v14 -v58 -v103 -v60 -v104 -v148 -v229 -v61 -v19 -v107 -v108 -v152 -v21 -v109 v153 -v110 -v154 -v111 -v191 v231 -v26 -v70 -v236 -v117 -v197 v237 -v198 v238 -v118 -v199 v239 -v163 -v120 -v201 v241 -v202 v242 -v121 -v203 v243 -v123 v167 v205 -v245 v124 -v246 -v37 -v125 v169 -v207 v247 -v126 -v248 -v39 -v171 -v249 -v212 v252 -v129 -v213 v253 -v130 -v214 v254 -v131 -v215 v255 -v132 v256 -v1 -v45 v89 -v90 -v178 -v47 -v219 -v221 -v223 -v52 v140 -v11 -v55 v143 -v227 -v56 -v144 -v228 -v57 -v145 -v102 v146 -v15 -v147 -v17 -v149 v18 -v62 -v106 -v150 -v151 -v65 -v23 v67 -v155 v24 -v68 -v112 -v156 -v190 v230 -v158 -v232 -v233 -v234 -v235 -v29 v73 -v161 v30 -v74 -v162 -v75 -v119 -v240 -v32 v76 -v164 -v33 -v165 -v34 -v78 -v244 -v79 -v80 -v168 -v81 -v38 v82 -v170 -v83 v127 v41 -v85 -v173 v42 -v86 -v174 -v43 v87 -v175 -v176 -v216 one -v2 -v4 -v5 -v6 -v9 v16 -v20 v22 -v25 -v27 -v28 v31 -v35 -v36 -v40 -v44 v46 -v48 -v49 -v50 -v51 -v53 v54 v59 v63 v64 -v66 -v69 -v71 -v72 v77 -v84 v88 v91 v92 v93 v94 -v95 -v97 v100 v101 v105 -v113 v114 -v115 -v116 -v122 v128 -v134 -v135 -v136 -v137 -v138 v139 v141 v157 v159 v160 v166 -v172 -v180 v181 -v182 v183 v187 v188 v189 v192 v193 v194 v195 v196 v200 v204 v206 v208 v209 -v210 v211 v218 v220 v222 v250 -v251

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/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859543877 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 41 3 40 18 0 23 0
[pid=23316] 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.0035 s]
Raw data (loadavg): 0.87 0.97 0.99 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 370 0 0 0 823 58 0 0 23 0 1 0 1859543877 3043328 336 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 743 336 566 18 0 725 0
[pid=23316] vsize: 2972
Current children cumulated CPU time (s) 8.81
Current children cumulated vsize (Kb) 2972

[startup+20.0042 s]
Raw data (loadavg): 0.89 0.97 0.99 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 383 0 0 0 1655 120 0 0 25 0 1 0 1859543877 3043328 349 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 743 349 566 18 0 725 0
[pid=23316] vsize: 2972
Current children cumulated CPU time (s) 17.75
Current children cumulated vsize (Kb) 2972

[startup+30.0049 s]
Raw data (loadavg): 0.91 0.97 0.99 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 392 0 0 0 2487 178 0 0 23 0 1 0 1859543877 3170304 358 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 774 358 566 18 0 756 0
[pid=23316] vsize: 3096
Current children cumulated CPU time (s) 26.65
Current children cumulated vsize (Kb) 3096

[startup+40.0056 s]
Raw data (loadavg): 0.92 0.97 0.99 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 401 0 0 0 3311 243 0 0 24 0 1 0 1859543877 3170304 367 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 774 367 566 18 0 756 0
[pid=23316] vsize: 3096
Current children cumulated CPU time (s) 35.54
Current children cumulated vsize (Kb) 3096

[startup+50.0064 s]
Raw data (loadavg): 0.93 0.97 0.99 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 404 0 0 0 4151 297 0 0 25 0 1 0 1859543877 3170304 370 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 774 370 566 18 0 756 0
[pid=23316] vsize: 3096
Current children cumulated CPU time (s) 44.48
Current children cumulated vsize (Kb) 3096

[startup+60.0071 s]
Raw data (loadavg): 0.94 0.97 0.99 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 412 0 0 0 4986 355 0 0 24 0 1 0 1859543877 3170304 378 4294967295 134512640 134578447 3221224624 3221223348 1075288187 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 774 378 566 18 0 756 0
[pid=23316] vsize: 3096
Current children cumulated CPU time (s) 53.41
Current children cumulated vsize (Kb) 3096

[startup+70.0078 s]
Raw data (loadavg): 0.95 0.97 0.99 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 418 0 0 0 5827 409 0 0 25 0 1 0 1859543877 3301376 384 4294967295 134512640 134578447 3221224624 3221223584 134558777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 806 384 566 18 0 788 0
[pid=23316] vsize: 3224
Current children cumulated CPU time (s) 62.36
Current children cumulated vsize (Kb) 3224

[startup+80.0085 s]
Raw data (loadavg): 1.04 0.99 0.99 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 423 0 0 0 6668 459 0 0 24 0 1 0 1859543877 3301376 389 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 806 389 566 18 0 788 0
[pid=23316] vsize: 3224
Current children cumulated CPU time (s) 71.27
Current children cumulated vsize (Kb) 3224

[startup+90.0082 s]
Raw data (loadavg): 1.03 0.99 0.99 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 428 0 0 0 7504 513 0 0 24 0 1 0 1859543877 3301376 394 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 806 394 566 18 0 788 0
[pid=23316] vsize: 3224
Current children cumulated CPU time (s) 80.17
Current children cumulated vsize (Kb) 3224

[startup+100.009 s]
Raw data (loadavg): 1.03 0.99 0.99 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 435 0 0 0 8333 572 0 0 24 0 1 0 1859543877 3301376 401 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 806 401 566 18 0 788 0
[pid=23316] vsize: 3224
Current children cumulated CPU time (s) 89.05
Current children cumulated vsize (Kb) 3224

[startup+110.01 s]
Raw data (loadavg): 1.02 0.99 0.99 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 435 0 0 0 9151 634 0 0 23 0 1 0 1859543877 3301376 401 4294967295 134512640 134578447 3221224624 3221223552 134531684 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 806 401 566 18 0 788 0
[pid=23316] vsize: 3224
Current children cumulated CPU time (s) 97.85
Current children cumulated vsize (Kb) 3224

[startup+120.01 s]
Raw data (loadavg): 1.02 0.99 0.99 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 440 0 0 0 9987 692 0 0 25 0 1 0 1859543877 3301376 406 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 806 406 566 18 0 788 0
[pid=23316] vsize: 3224
Current children cumulated CPU time (s) 106.79
Current children cumulated vsize (Kb) 3224

[startup+130.011 s]
Raw data (loadavg): 1.02 0.99 0.99 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 440 0 0 0 10822 747 0 0 23 0 1 0 1859543877 3301376 406 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 806 406 566 18 0 788 0
[pid=23316] vsize: 3224
Current children cumulated CPU time (s) 115.69
Current children cumulated vsize (Kb) 3224

[startup+140.012 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 452 0 0 0 11652 806 0 0 25 0 1 0 1859543877 3428352 418 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 837 418 566 18 0 819 0
[pid=23316] vsize: 3348
Current children cumulated CPU time (s) 124.58
Current children cumulated vsize (Kb) 3348

[startup+150.012 s]
Raw data (loadavg): 1.01 0.99 0.99 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 452 0 0 0 12498 861 0 0 23 0 1 0 1859543877 3428352 418 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 837 418 566 18 0 819 0
[pid=23316] vsize: 3348
Current children cumulated CPU time (s) 133.59
Current children cumulated vsize (Kb) 3348

[startup+160.013 s]
Raw data (loadavg): 1.01 0.99 0.99 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 453 0 0 0 13337 918 0 0 24 0 1 0 1859543877 3428352 419 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 837 419 566 18 0 819 0
[pid=23316] vsize: 3348
Current children cumulated CPU time (s) 142.55
Current children cumulated vsize (Kb) 3348

[startup+170.013 s]
Raw data (loadavg): 1.01 0.99 0.99 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 453 0 0 0 14168 977 0 0 23 0 1 0 1859543877 3428352 419 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 837 419 566 18 0 819 0
[pid=23316] vsize: 3348
Current children cumulated CPU time (s) 151.45
Current children cumulated vsize (Kb) 3348

[startup+180.014 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 453 0 0 0 15016 1027 0 0 25 0 1 0 1859543877 3428352 419 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 837 419 566 18 0 819 0
[pid=23316] vsize: 3348
Current children cumulated CPU time (s) 160.43
Current children cumulated vsize (Kb) 3348

[startup+190.014 s]
Raw data (loadavg): 1.08 1.00 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 455 0 0 0 15864 1079 0 0 25 0 1 0 1859543877 3428352 421 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 837 421 566 18 0 819 0
[pid=23316] vsize: 3348
Current children cumulated CPU time (s) 169.43
Current children cumulated vsize (Kb) 3348

[startup+200.015 s]
Raw data (loadavg): 1.07 1.00 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 463 0 0 0 16684 1141 0 0 23 0 1 0 1859543877 3428352 429 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 837 429 566 18 0 819 0
[pid=23316] vsize: 3348
Current children cumulated CPU time (s) 178.25
Current children cumulated vsize (Kb) 3348

[startup+210.015 s]
Raw data (loadavg): 1.06 1.00 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 465 0 0 0 17507 1205 0 0 24 0 1 0 1859543877 3428352 431 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 837 431 566 18 0 819 0
[pid=23316] vsize: 3348
Current children cumulated CPU time (s) 187.12
Current children cumulated vsize (Kb) 3348

[startup+220.015 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 465 0 0 0 18338 1259 0 0 23 0 1 0 1859543877 3428352 431 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 837 431 566 18 0 819 0
[pid=23316] vsize: 3348
Current children cumulated CPU time (s) 195.97
Current children cumulated vsize (Kb) 3348

[startup+230.016 s]
Raw data (loadavg): 1.04 1.00 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 468 0 0 0 19179 1313 0 0 25 0 1 0 1859543877 3428352 434 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 837 434 566 18 0 819 0
[pid=23316] vsize: 3348
Current children cumulated CPU time (s) 204.92
Current children cumulated vsize (Kb) 3348

[startup+240.016 s]
Raw data (loadavg): 1.04 1.00 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 469 0 0 0 20034 1362 0 0 25 0 1 0 1859543877 3428352 435 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 837 435 566 18 0 819 0
[pid=23316] vsize: 3348
Current children cumulated CPU time (s) 213.96
Current children cumulated vsize (Kb) 3348

[startup+250.018 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 471 0 0 0 20877 1419 0 0 25 0 1 0 1859543877 3428352 437 4294967295 134512640 134578447 3221224624 3221223456 134528513 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 837 437 566 18 0 819 0
[pid=23316] vsize: 3348
Current children cumulated CPU time (s) 222.96
Current children cumulated vsize (Kb) 3348

[startup+260.018 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 471 0 0 0 21713 1477 0 0 24 0 1 0 1859543877 3428352 437 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 837 437 566 18 0 819 0
[pid=23316] vsize: 3348
Current children cumulated CPU time (s) 231.9
Current children cumulated vsize (Kb) 3348

[startup+270.018 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 473 0 0 0 22552 1534 0 0 25 0 1 0 1859543877 3428352 439 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 837 439 566 18 0 819 0
[pid=23316] vsize: 3348
Current children cumulated CPU time (s) 240.86
Current children cumulated vsize (Kb) 3348

[startup+280.019 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 473 0 0 0 23407 1587 0 0 25 0 1 0 1859543877 3428352 439 4294967295 134512640 134578447 3221224624 3221223476 134555800 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 837 439 566 18 0 819 0
[pid=23316] vsize: 3348
Current children cumulated CPU time (s) 249.94
Current children cumulated vsize (Kb) 3348

[startup+290.019 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 474 0 0 0 24251 1641 0 0 25 0 1 0 1859543877 3428352 440 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 837 440 566 18 0 819 0
[pid=23316] vsize: 3348
Current children cumulated CPU time (s) 258.92
Current children cumulated vsize (Kb) 3348

[startup+300.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 474 0 0 0 25093 1700 0 0 25 0 1 0 1859543877 3428352 440 4294967295 134512640 134578447 3221224624 3221223460 1075285540 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 837 440 566 18 0 819 0
[pid=23316] vsize: 3348
Current children cumulated CPU time (s) 267.93
Current children cumulated vsize (Kb) 3348

[startup+310.021 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 480 0 0 0 25934 1753 0 0 25 0 1 0 1859543877 3543040 446 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 865 446 566 18 0 847 0
[pid=23316] vsize: 3460
Current children cumulated CPU time (s) 276.87
Current children cumulated vsize (Kb) 3460

[startup+320.021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 480 0 0 0 26770 1808 0 0 25 0 1 0 1859543877 3538944 446 4294967295 134512640 134578447 3221224624 3221223536 134557000 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 864 446 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 285.78
Current children cumulated vsize (Kb) 3456

[startup+330.022 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 480 0 0 0 27614 1864 0 0 25 0 1 0 1859543877 3538944 446 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 864 446 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 294.78
Current children cumulated vsize (Kb) 3456

[startup+340.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 480 0 0 0 28454 1922 0 0 25 0 1 0 1859543877 3538944 446 4294967295 134512640 134578447 3221224624 3221223456 134558415 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 864 446 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 303.76
Current children cumulated vsize (Kb) 3456

[startup+350.024 s]
Raw data (loadavg): 1.08 1.02 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 480 0 0 0 29295 1977 0 0 25 0 1 0 1859543877 3538944 446 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 864 446 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 312.72
Current children cumulated vsize (Kb) 3456

[startup+360.024 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 480 0 0 0 30137 2032 0 0 25 0 1 0 1859543877 3538944 446 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 864 446 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 321.69
Current children cumulated vsize (Kb) 3456

[startup+370.024 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 481 0 0 0 30981 2084 0 0 25 0 1 0 1859543877 3538944 447 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 864 447 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 330.65
Current children cumulated vsize (Kb) 3456

[startup+380.025 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 494 0 0 0 31822 2138 0 0 24 0 1 0 1859543877 3538944 460 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 864 460 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 339.6
Current children cumulated vsize (Kb) 3456

[startup+390.025 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 495 0 0 0 32653 2196 0 0 24 0 1 0 1859543877 3538944 461 4294967295 134512640 134578447 3221224624 3221223376 134528938 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 864 461 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 348.49
Current children cumulated vsize (Kb) 3456

[startup+400.026 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 495 0 0 0 33493 2253 0 0 25 0 1 0 1859543877 3538944 461 4294967295 134512640 134578447 3221224624 3221223476 134555702 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 864 461 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 357.46
Current children cumulated vsize (Kb) 3456

[startup+410.027 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 496 0 0 0 34324 2315 0 0 24 0 1 0 1859543877 3538944 462 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 864 462 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 366.39
Current children cumulated vsize (Kb) 3456

[startup+420.027 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 498 0 0 0 35166 2368 0 0 25 0 1 0 1859543877 3538944 464 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 864 464 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 375.34
Current children cumulated vsize (Kb) 3456

[startup+430.027 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 498 0 0 0 35999 2425 0 0 24 0 1 0 1859543877 3538944 464 4294967295 134512640 134578447 3221224624 3221223228 1075288328 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 864 464 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 384.24
Current children cumulated vsize (Kb) 3456

[startup+440.028 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 499 0 0 0 36827 2487 0 0 24 0 1 0 1859543877 3538944 465 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 864 465 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 393.14
Current children cumulated vsize (Kb) 3456

[startup+450.029 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 499 0 0 0 37658 2545 0 0 22 0 1 0 1859543877 3538944 465 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 864 465 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (Kb) 3456

[startup+460.029 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 499 0 0 0 38491 2601 0 0 25 0 1 0 1859543877 3538944 465 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 864 465 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 410.92
Current children cumulated vsize (Kb) 3456

[startup+470.029 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 500 0 0 0 39330 2655 0 0 25 0 1 0 1859543877 3538944 466 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 864 466 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 419.85
Current children cumulated vsize (Kb) 3456

[startup+480.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 500 0 0 0 40184 2705 0 0 25 0 1 0 1859543877 3538944 466 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 864 466 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 428.89
Current children cumulated vsize (Kb) 3456

[startup+490.031 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 500 0 0 0 41033 2759 0 0 25 0 1 0 1859543877 3538944 466 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 864 466 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 437.92
Current children cumulated vsize (Kb) 3456

[startup+500.031 s]
Raw data (loadavg): 1.08 1.02 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 500 0 0 0 41882 2814 0 0 25 0 1 0 1859543877 3538944 466 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 864 466 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 446.96
Current children cumulated vsize (Kb) 3456

[startup+510.032 s]
Raw data (loadavg): 1.15 1.03 1.01 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 500 0 0 0 42726 2869 0 0 25 0 1 0 1859543877 3538944 466 4294967295 134512640 134578447 3221224624 3221223520 134519944 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 864 466 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 455.95
Current children cumulated vsize (Kb) 3456

[startup+520.032 s]
Raw data (loadavg): 1.12 1.03 1.01 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 500 0 0 0 43575 2921 0 0 25 0 1 0 1859543877 3538944 466 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 864 466 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 464.96
Current children cumulated vsize (Kb) 3456

[startup+530.037 s]
Raw data (loadavg): 1.10 1.03 1.01 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 500 0 0 0 44428 2973 0 0 25 0 1 0 1859543877 3538944 466 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 864 466 566 18 0 846 0
[pid=23316] vsize: 3456
Current children cumulated CPU time (s) 474.01
Current children cumulated vsize (Kb) 3456

[startup+540.038 s]
Raw data (loadavg): 1.09 1.03 1.01 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 511 0 0 0 45273 3028 0 0 25 0 1 0 1859543877 3670016 477 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 896 477 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 483.01
Current children cumulated vsize (Kb) 3584

[startup+550.039 s]
Raw data (loadavg): 1.07 1.03 1.01 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 512 0 0 0 46131 3075 0 0 25 0 1 0 1859543877 3670016 478 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 896 478 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 492.06
Current children cumulated vsize (Kb) 3584

[startup+560.039 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 513 0 0 0 46986 3125 0 0 25 0 1 0 1859543877 3670016 479 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 896 479 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 501.11
Current children cumulated vsize (Kb) 3584

[startup+570.039 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 513 0 0 0 47841 3175 0 0 25 0 1 0 1859543877 3670016 479 4294967295 134512640 134578447 3221224624 3221223504 134527782 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23316/statm): 896 479 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 510.16
Current children cumulated vsize (Kb) 3584

[startup+580.04 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 513 0 0 0 48699 3227 0 0 25 0 1 0 1859543877 3670016 479 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 896 479 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 519.26
Current children cumulated vsize (Kb) 3584

[startup+590.041 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 515 0 0 0 49543 3281 0 0 25 0 1 0 1859543877 3670016 481 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 896 481 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 528.24
Current children cumulated vsize (Kb) 3584

[startup+600.041 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 515 0 0 0 50384 3336 0 0 25 0 1 0 1859543877 3670016 481 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 896 481 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 537.2
Current children cumulated vsize (Kb) 3584

[startup+610.042 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 515 0 0 0 51236 3386 0 0 25 0 1 0 1859543877 3670016 481 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 896 481 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 546.22
Current children cumulated vsize (Kb) 3584

[startup+620.043 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 515 0 0 0 52088 3439 0 0 25 0 1 0 1859543877 3670016 481 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 896 481 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 555.27
Current children cumulated vsize (Kb) 3584

[startup+630.044 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 515 0 0 0 52933 3493 0 0 25 0 1 0 1859543877 3670016 481 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 896 481 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 564.26
Current children cumulated vsize (Kb) 3584

[startup+640.044 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 515 0 0 0 53772 3548 0 0 25 0 1 0 1859543877 3670016 481 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 896 481 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 573.2
Current children cumulated vsize (Kb) 3584

[startup+650.045 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 515 0 0 0 54621 3602 0 0 25 0 1 0 1859543877 3670016 481 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 896 481 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (Kb) 3584

[startup+660.047 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 515 0 0 0 55475 3654 0 0 25 0 1 0 1859543877 3670016 481 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 896 481 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 591.29
Current children cumulated vsize (Kb) 3584

[startup+670.046 s]
Raw data (loadavg): 1.08 1.03 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 515 0 0 0 56323 3706 0 0 25 0 1 0 1859543877 3670016 481 4294967295 134512640 134578447 3221224624 3221223488 134517566 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 896 481 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 600.29
Current children cumulated vsize (Kb) 3584

[startup+680.047 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 516 0 0 0 57168 3759 0 0 25 0 1 0 1859543877 3670016 482 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 896 482 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 609.27
Current children cumulated vsize (Kb) 3584

[startup+690.048 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 519 0 0 0 58014 3813 0 0 23 0 1 0 1859543877 3670016 485 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 896 485 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 618.27
Current children cumulated vsize (Kb) 3584

[startup+700.048 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 519 0 0 0 58860 3867 0 0 25 0 1 0 1859543877 3670016 485 4294967295 134512640 134578447 3221224624 3221223376 134528840 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 896 485 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 627.27
Current children cumulated vsize (Kb) 3584

[startup+710.049 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 521 0 0 0 59704 3921 0 0 25 0 1 0 1859543877 3670016 487 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 896 487 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 636.25
Current children cumulated vsize (Kb) 3584

[startup+720.05 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 521 0 0 0 60553 3974 0 0 25 0 1 0 1859543877 3670016 487 4294967295 134512640 134578447 3221224624 3221223464 1075285089 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 896 487 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 645.27
Current children cumulated vsize (Kb) 3584

[startup+730.051 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 521 0 0 0 61396 4028 0 0 25 0 1 0 1859543877 3670016 487 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 896 487 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 654.24
Current children cumulated vsize (Kb) 3584

[startup+740.051 s]
Raw data (loadavg): 1.10 1.04 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 521 0 0 0 62240 4081 0 0 25 0 1 0 1859543877 3670016 487 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 896 487 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 663.21
Current children cumulated vsize (Kb) 3584

[startup+750.052 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 521 0 0 0 63088 4136 0 0 21 0 1 0 1859543877 3670016 487 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 896 487 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 672.24
Current children cumulated vsize (Kb) 3584

[startup+760.052 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 521 0 0 0 63934 4191 0 0 25 0 1 0 1859543877 3670016 487 4294967295 134512640 134578447 3221224624 3221223456 134558328 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 896 487 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 681.25
Current children cumulated vsize (Kb) 3584

[startup+770.052 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 534 0 0 0 64781 4244 0 0 25 0 1 0 1859543877 3670016 500 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 896 500 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 690.25
Current children cumulated vsize (Kb) 3584

[startup+780.053 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 535 0 0 0 65644 4294 0 0 21 0 1 0 1859543877 3670016 501 4294967295 134512640 134578447 3221224624 3221223280 1075288422 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 896 501 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 699.38
Current children cumulated vsize (Kb) 3584

[startup+790.053 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 535 0 0 0 66493 4347 0 0 24 0 1 0 1859543877 3670016 501 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 896 501 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 708.4
Current children cumulated vsize (Kb) 3584

[startup+800.054 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 535 0 0 0 67328 4406 0 0 20 0 1 0 1859543877 3670016 501 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 896 501 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 717.34
Current children cumulated vsize (Kb) 3584

[startup+810.055 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 537 0 0 0 68189 4454 0 0 24 0 1 0 1859543877 3670016 503 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 896 503 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 726.43
Current children cumulated vsize (Kb) 3584

[startup+820.055 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 537 0 0 0 69039 4506 0 0 25 0 1 0 1859543877 3670016 503 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 896 503 566 18 0 878 0
[pid=23316] vsize: 3584
Current children cumulated CPU time (s) 735.45
Current children cumulated vsize (Kb) 3584

[startup+830.056 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 539 0 0 0 69890 4556 0 0 24 0 1 0 1859543877 3801088 505 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 505 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 744.46
Current children cumulated vsize (Kb) 3712

[startup+840.056 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 540 0 0 0 70732 4611 0 0 25 0 1 0 1859543877 3801088 506 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 928 506 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 753.43
Current children cumulated vsize (Kb) 3712

[startup+850.057 s]
Raw data (loadavg): 1.09 1.04 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 540 0 0 0 71587 4663 0 0 25 0 1 0 1859543877 3801088 506 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 506 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 762.5
Current children cumulated vsize (Kb) 3712

[startup+860.058 s]
Raw data (loadavg): 1.15 1.05 1.01 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 540 0 0 0 72434 4716 0 0 24 0 1 0 1859543877 3801088 506 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 928 506 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 771.5
Current children cumulated vsize (Kb) 3712

[startup+870.06 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 541 0 0 0 73277 4765 0 0 25 0 1 0 1859543877 3801088 507 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 507 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 780.42
Current children cumulated vsize (Kb) 3712

[startup+880.061 s]
Raw data (loadavg): 1.11 1.05 1.01 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 541 0 0 0 74122 4819 0 0 25 0 1 0 1859543877 3801088 507 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 928 507 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 789.41
Current children cumulated vsize (Kb) 3712

[startup+890.062 s]
Raw data (loadavg): 1.09 1.05 1.01 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 542 0 0 0 74966 4870 0 0 25 0 1 0 1859543877 3801088 508 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 928 508 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 798.36
Current children cumulated vsize (Kb) 3712

[startup+900.064 s]
Raw data (loadavg): 1.08 1.05 1.01 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 543 0 0 0 75813 4923 0 0 25 0 1 0 1859543877 3801088 509 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 509 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 807.36
Current children cumulated vsize (Kb) 3712

[startup+910.063 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 543 0 0 0 76660 4975 0 0 25 0 1 0 1859543877 3801088 509 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 509 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 816.35
Current children cumulated vsize (Kb) 3712

[startup+920.063 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 543 0 0 0 77506 5029 0 0 25 0 1 0 1859543877 3801088 509 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 509 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 825.35
Current children cumulated vsize (Kb) 3712

[startup+930.064 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 543 0 0 0 78355 5085 0 0 22 0 1 0 1859543877 3801088 509 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 509 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 834.4
Current children cumulated vsize (Kb) 3712

[startup+940.064 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 545 0 0 0 79198 5138 0 0 25 0 1 0 1859543877 3801088 511 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 511 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 843.36
Current children cumulated vsize (Kb) 3712

[startup+950.065 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 545 0 0 0 80040 5195 0 0 25 0 1 0 1859543877 3801088 511 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 928 511 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 852.35
Current children cumulated vsize (Kb) 3712

[startup+960.066 s]
Raw data (loadavg): 1.08 1.05 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 545 0 0 0 80880 5251 0 0 23 0 1 0 1859543877 3801088 511 4294967295 134512640 134578447 3221224624 3221223368 1075291632 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 928 511 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 861.31
Current children cumulated vsize (Kb) 3712

[startup+970.067 s]
Raw data (loadavg): 1.07 1.05 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 545 0 0 0 81730 5299 0 0 25 0 1 0 1859543877 3801088 511 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 928 511 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 870.29
Current children cumulated vsize (Kb) 3712

[startup+980.067 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 545 0 0 0 82565 5358 0 0 25 0 1 0 1859543877 3801088 511 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 511 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 879.23
Current children cumulated vsize (Kb) 3712

[startup+990.068 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 549 0 0 0 83402 5415 0 0 25 0 1 0 1859543877 3801088 515 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 515 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 888.17
Current children cumulated vsize (Kb) 3712

[startup+1000.07 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 549 0 0 0 84248 5470 0 0 19 0 1 0 1859543877 3801088 515 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 928 515 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 897.18
Current children cumulated vsize (Kb) 3712

[startup+1010.07 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 549 0 0 0 85106 5521 0 0 25 0 1 0 1859543877 3801088 515 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 515 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 906.27
Current children cumulated vsize (Kb) 3712

[startup+1020.07 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 549 0 0 0 85940 5579 0 0 24 0 1 0 1859543877 3801088 515 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 515 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 915.19
Current children cumulated vsize (Kb) 3712

[startup+1030.07 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 549 0 0 0 86791 5632 0 0 25 0 1 0 1859543877 3801088 515 4294967295 134512640 134578447 3221224624 3221223284 1074910624 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 928 515 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 924.23
Current children cumulated vsize (Kb) 3712

[startup+1040.07 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 549 0 0 0 87641 5688 0 0 23 0 1 0 1859543877 3801088 515 4294967295 134512640 134578447 3221224624 3221223476 134555904 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 928 515 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 933.29
Current children cumulated vsize (Kb) 3712

[startup+1050.07 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 550 0 0 0 88491 5742 0 0 24 0 1 0 1859543877 3801088 516 4294967295 134512640 134578447 3221224624 3221223488 134517876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 928 516 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (Kb) 3712

[startup+1060.07 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 550 0 0 0 89343 5794 0 0 25 0 1 0 1859543877 3801088 516 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 516 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 951.37
Current children cumulated vsize (Kb) 3712

[startup+1070.07 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 550 0 0 0 90180 5852 0 0 25 0 1 0 1859543877 3801088 516 4294967295 134512640 134578447 3221224624 3221223536 134556889 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 928 516 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 960.32
Current children cumulated vsize (Kb) 3712

[startup+1080.07 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 550 0 0 0 91033 5902 0 0 25 0 1 0 1859543877 3801088 516 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 928 516 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 969.35
Current children cumulated vsize (Kb) 3712

[startup+1090.08 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 550 0 0 0 91872 5960 0 0 25 0 1 0 1859543877 3801088 516 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 516 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 978.32
Current children cumulated vsize (Kb) 3712

[startup+1100.08 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 550 0 0 0 92728 6008 0 0 25 0 1 0 1859543877 3801088 516 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 516 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 987.36
Current children cumulated vsize (Kb) 3712

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 550 0 0 0 93584 6059 0 0 24 0 1 0 1859543877 3801088 516 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 516 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 996.43
Current children cumulated vsize (Kb) 3712

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 550 0 0 0 94438 6108 0 0 20 0 1 0 1859543877 3801088 516 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 516 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 1005.46
Current children cumulated vsize (Kb) 3712

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 563 0 0 0 95276 6165 0 0 24 0 1 0 1859543877 3801088 529 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 529 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 1014.41
Current children cumulated vsize (Kb) 3712

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 563 0 0 0 96118 6220 0 0 25 0 1 0 1859543877 3801088 529 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 928 529 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 1023.38
Current children cumulated vsize (Kb) 3712

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 567 0 0 0 96972 6271 0 0 20 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223584 134559008 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 928 533 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 1032.43
Current children cumulated vsize (Kb) 3712

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 567 0 0 0 97826 6323 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223520 134519738 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 928 533 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 1041.49
Current children cumulated vsize (Kb) 3712

[startup+1170.08 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 98672 6379 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 533 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 1050.51
Current children cumulated vsize (Kb) 3712

[startup+1180.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 99536 6430 0 0 18 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 533 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 1059.66
Current children cumulated vsize (Kb) 3712

[startup+1190.08 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 100392 6481 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 533 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 1068.73
Current children cumulated vsize (Kb) 3712

[startup+1200.08 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 101239 6535 0 0 24 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 533 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 1077.74
Current children cumulated vsize (Kb) 3712

[startup+1210.08 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 567 0 0 0 102089 6590 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223568 134559044 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 928 533 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 1086.79
Current children cumulated vsize (Kb) 3712

[startup+1220.08 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 102943 6639 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 533 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 1095.82
Current children cumulated vsize (Kb) 3712

[startup+1230.08 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 103796 6688 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 533 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 1104.84
Current children cumulated vsize (Kb) 3712

[startup+1240.08 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 567 0 0 0 104642 6742 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23316/statm): 928 533 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 1113.84
Current children cumulated vsize (Kb) 3712

[startup+1250.08 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 105497 6794 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 533 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 1122.91
Current children cumulated vsize (Kb) 3712

[startup+1260.08 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 106342 6848 0 0 24 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 928 533 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 1131.9
Current children cumulated vsize (Kb) 3712

[startup+1270.08 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 567 0 0 0 107196 6901 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223520 134519724 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 533 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 1140.97
Current children cumulated vsize (Kb) 3712

[startup+1280.09 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 108058 6951 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 533 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 1150.09
Current children cumulated vsize (Kb) 3712

[startup+1290.09 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 108913 7001 0 0 24 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 928 533 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 1159.14
Current children cumulated vsize (Kb) 3712

[startup+1300.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) R 23315 23316 21452 0 -1 0 567 0 0 0 109764 7056 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223552 134531685 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 533 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 1168.2
Current children cumulated vsize (Kb) 3712

[startup+1310.09 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 110616 7108 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/23316/statm): 928 533 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 1177.24
Current children cumulated vsize (Kb) 3712

[startup+1320.09 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 23316
Raw data (/proc/23316/stat): 23316 (Pueblo) T 23315 23316 21452 0 -1 0 567 0 0 0 111458 7165 0 0 25 0 1 0 1859543877 3801088 533 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/23316/statm): 928 533 566 18 0 910 0
[pid=23316] vsize: 3712
Current children cumulated CPU time (s) 1186.23
Current children cumulated vsize (Kb) 3712
One traced child (pid=23316) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1323.14
CPU time (s): 1189.01
CPU user time (s): 1117.19
CPU system time (s): 71.8201
CPU usage (%): 89.8629
Max. virtual memory (cumulated for all children) (Kb): 3712

Verifier Data

Verifier:	OK	1636