Name | submitted/manquinho/ttp/normalized-data6_3.opb |
MD5SUM | 3ce91e964f348d481da3f7741c5768eb |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25102 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 116904 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 116904 |
Number of bits of the biggest sum of numbers | 17 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.02 |
Number of variables | 540 |
Total number of constraints | 4476 |
Number of constraints which are clauses | 2532 |
Number of constraints which are cardinality constraints (but not clauses) | 264 |
Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
LAUNCH ON wulflinc30 THE 2005-09-20 14:16:33 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4949 boxname=wulflinc30 idbench=261 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 3ce91e964f348d481da3f7741c5768eb /oldhome/oroussel/tmp/wulflinc30/normalized-data6_3.opb REAL COMMAND: Pueblo IDLAUNCH: 4949 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 847756 kB Buffers: 34468 kB Cached: 122576 kB SwapCached: 784 kB Active: 81804 kB Inactive: 77984 kB HighTotal: 131008 kB HighFree: 18648 kB LowTotal: 903652 kB LowFree: 829108 kB SwapTotal: 2097892 kB SwapFree: 2096640 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5792 kB Slab: 21552 kB Committed_AS: 64276 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 14:36:50 (client local time) WITH STATUS 10 IN 1189.02 SECONDS stats: 4949 0 1189.02 10
c Pueblo version 1.3 (July 2005) c Developed @ University of Michigan, Ann Arbor, MI c by Hossein Sheini c starting to Solve c #variables read: 540 - #constraints read: 4627 c total time : 1189 s s SATISFIABLE v -v361 v362 v363 -v364 -v365 -v366 -v367 -v368 -v369 v370 -v371 v372 -v373 -v374 -v375 -v376 -v377 -v378 v379 -v380 v381 -v382 -v383 -v384 -v385 v386 -v387 -v388 -v389 -v390 v391 -v392 -v393 -v394 -v395 -v396 v397 v398 -v399 v400 -v401 v402 -v403 -v404 -v405 -v406 v407 -v408 -v409 -v410 v411 -v412 -v413 -v414 -v415 -v416 -v417 -v418 -v419 v420 -v421 -v422 -v423 -v424 v425 -v426 v427 -v428 -v429 -v430 v431 -v432 v433 v434 -v435 -v436 v437 -v438 -v439 -v440 -v441 -v442 v443 -v444 -v445 -v446 -v447 v448 -v449 -v450 -v451 -v452 v453 -v454 -v455 -v456 -v457 -v458 -v459 v460 -v461 v462 -v463 -v464 -v465 -v466 -v467 v468 v469 -v470 v471 -v472 -v473 -v474 -v475 -v476 -v477 -v478 v479 -v480 v481 -v482 -v483 -v484 -v485 -v486 -v487 -v488 v489 -v490 -v491 -v492 v493 -v494 -v495 -v496 -v497 -v498 -v499 v500 v501 -v502 v503 -v504 -v505 -v506 -v507 -v508 -v509 v510 -v511 -v512 -v513 v514 -v515 -v516 -v517 -v518 -v519 v520 -v521 -v522 -v523 -v524 v525 -v526 v527 -v528 -v529 -v530 -v531 -v532 v533 -v534 -v535 v536 -v537 -v538 v539 -v540 -v2 -v38 -v74 -v110 v146 -v182 -v218 -v254 -v290 -v326 -v3 -v39 -v75 v111 -v147 -v183 -v219 -v255 -v291 -v327 -v4 -v40 -v76 -v112 -v148 -v184 -v220 -v256 v292 -v328 -v5 -v41 -v77 -v113 -v149 -v185 -v221 -v257 -v293 v329 -v6 -v42 -v78 -v114 -v150 v186 -v222 -v258 -v294 -v330 -v7 -v43 v79 -v115 -v151 -v187 -v223 -v259 -v295 -v331 -v9 -v45 -v81 -v117 -v153 -v189 v225 -v261 -v297 -v333 -v10 -v46 -v82 -v118 -v154 -v190 -v226 -v262 -v298 v334 -v11 v47 -v83 -v119 -v155 -v191 -v227 -v263 -v299 -v335 v12 -v48 -v84 -v120 -v156 -v192 -v228 -v264 -v300 -v336 v13 -v49 -v85 -v121 -v157 -v193 -v229 -v265 -v301 -v337 -v14 -v50 -v86 -v122 -v158 -v194 -v230 -v266 v302 -v338 -v16 -v52 -v88 -v124 -v160 -v196 -v232 v268 -v304 -v340 -v17 -v53 -v89 -v125 -v161 v197 -v233 -v269 -v305 -v341 -v18 v54 -v90 -v126 -v162 -v198 -v234 -v270 -v306 -v342 -v19 v55 -v91 -v127 -v163 -v199 -v235 -v271 -v307 -v343 -v20 -v56 -v92 -v128 -v164 v200 -v236 -v272 -v308 -v344 -v21 -v57 -v93 -v129 v165 -v201 -v237 -v273 -v309 -v345 v23 -v59 -v95 -v131 -v167 -v203 -v239 -v275 -v311 -v347 -v24 -v60 -v96 -v132 -v168 -v204 v240 -v276 -v312 -v348 -v25 -v61 -v97 -v133 -v169 -v205 v241 -v277 -v313 -v349 -v26 -v62 -v98 -v134 -v170 -v206 -v242 v278 -v314 -v350 -v27 -v63 v99 -v135 -v171 -v207 -v243 -v279 -v315 -v351 -v28 -v64 -v100 v136 -v172 -v208 -v244 -v280 -v316 -v352 -v30 -v66 -v102 -v138 v174 -v210 -v246 -v282 -v318 -v354 -v31 -v67 -v103 -v139 -v175 -v211 -v247 v283 -v319 -v355 -v32 -v68 -v104 v140 -v176 -v212 -v248 -v284 -v320 -v356 -v33 -v69 -v105 -v141 -v177 -v213 -v249 -v285 -v321 v357 -v34 -v70 v106 -v142 -v178 -v214 -v250 -v286 -v322 -v358 -v35 -v71 -v107 -v143 -v179 -v215 -v251 -v287 v323 -v359 -v8 -v44 -v80 v116 v152 v188 -v224 v260 v296 -v332 -v15 -v51 v87 v123 v159 -v195 v231 -v267 -v303 v339 -v22 -v58 v94 v130 -v166 -v202 -v238 v274 v310 v346 v29 v65 -v101 -v137 -v173 v209 -v245 -v281 v317 v353 v36 v72 -v108 -v144 v180 v216 v252 -v288 -v324 -v360 v1 v37 v73 -v109 -v145 -v181 v217 v253 -v289 -v325
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/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859174637 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 41 3 40 18 0 23 0 [pid=8234] 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.0036 s] Raw data (loadavg): 0.92 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 920 0 0 0 937 20 0 0 25 0 1 0 1859174637 5324800 886 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1300 886 566 18 0 1282 0 [pid=8234] vsize: 5200 Current children cumulated CPU time (s) 9.57 Current children cumulated vsize (Kb) 5200 [startup+20.0044 s] Raw data (loadavg): 0.93 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 982 0 0 0 1876 42 0 0 25 0 1 0 1859174637 5586944 948 4294967295 134512640 134578447 3221224624 3221223124 1075288177 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1364 948 566 18 0 1346 0 [pid=8234] vsize: 5456 Current children cumulated CPU time (s) 19.18 Current children cumulated vsize (Kb) 5456 [startup+30.0052 s] Raw data (loadavg): 0.94 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1037 0 0 0 2829 57 0 0 25 0 1 0 1859174637 5849088 1003 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1428 1003 566 18 0 1410 0 [pid=8234] vsize: 5712 Current children cumulated CPU time (s) 28.86 Current children cumulated vsize (Kb) 5712 [startup+40.005 s] Raw data (loadavg): 0.95 0.98 0.91 1/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 1146 0 0 0 3780 74 0 0 25 0 1 0 1859174637 6242304 1112 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8234/statm): 1524 1112 566 18 0 1506 0 [pid=8234] vsize: 6096 Current children cumulated CPU time (s) 38.54 Current children cumulated vsize (Kb) 6096 [startup+50.0058 s] Raw data (loadavg): 0.96 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1196 0 0 0 4736 89 0 0 25 0 1 0 1859174637 6504448 1162 4294967295 134512640 134578447 3221224624 3221223504 134556450 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1588 1162 566 18 0 1570 0 [pid=8234] vsize: 6352 Current children cumulated CPU time (s) 48.25 Current children cumulated vsize (Kb) 6352 [startup+60.0065 s] Raw data (loadavg): 0.96 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1196 0 0 0 5695 105 0 0 25 0 1 0 1859174637 6504448 1162 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1588 1162 566 18 0 1570 0 [pid=8234] vsize: 6352 Current children cumulated CPU time (s) 58 Current children cumulated vsize (Kb) 6352 [startup+70.0084 s] Raw data (loadavg): 0.97 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1196 0 0 0 6654 120 0 0 17 0 1 0 1859174637 6500352 1162 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8234/statm): 1587 1162 566 18 0 1569 0 [pid=8234] vsize: 6348 Current children cumulated CPU time (s) 67.74 Current children cumulated vsize (Kb) 6348 [startup+80.0091 s] Raw data (loadavg): 0.97 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1239 0 0 0 7614 136 0 0 25 0 1 0 1859174637 6631424 1205 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1619 1205 566 18 0 1601 0 [pid=8234] vsize: 6476 Current children cumulated CPU time (s) 77.5 Current children cumulated vsize (Kb) 6476 [startup+90.0089 s] Raw data (loadavg): 0.98 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1333 0 0 0 8578 150 0 0 25 0 1 0 1859174637 7028736 1299 4294967295 134512640 134578447 3221224624 3221223500 134528134 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1716 1299 566 18 0 1698 0 [pid=8234] vsize: 6864 Current children cumulated CPU time (s) 87.28 Current children cumulated vsize (Kb) 6864 [startup+100.01 s] Raw data (loadavg): 0.98 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1333 0 0 0 9545 163 0 0 25 0 1 0 1859174637 7028736 1299 4294967295 134512640 134578447 3221224624 3221223536 134556815 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1716 1299 566 18 0 1698 0 [pid=8234] vsize: 6864 Current children cumulated CPU time (s) 97.08 Current children cumulated vsize (Kb) 6864 [startup+110.011 s] Raw data (loadavg): 0.98 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1370 0 0 0 10506 177 0 0 25 0 1 0 1859174637 7163904 1336 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1749 1336 566 18 0 1731 0 [pid=8234] vsize: 6996 Current children cumulated CPU time (s) 106.83 Current children cumulated vsize (Kb) 6996 [startup+120.011 s] Raw data (loadavg): 0.98 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1415 0 0 0 11463 192 0 0 25 0 1 0 1859174637 7299072 1381 4294967295 134512640 134578447 3221224624 3221223520 134519738 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1782 1381 566 18 0 1764 0 [pid=8234] vsize: 7128 Current children cumulated CPU time (s) 116.55 Current children cumulated vsize (Kb) 7128 [startup+130.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1433 0 0 0 12417 208 0 0 25 0 1 0 1859174637 7434240 1399 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1815 1399 566 18 0 1797 0 [pid=8234] vsize: 7260 Current children cumulated CPU time (s) 126.25 Current children cumulated vsize (Kb) 7260 [startup+140.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1433 0 0 0 13373 223 0 0 25 0 1 0 1859174637 7434240 1399 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1815 1399 566 18 0 1797 0 [pid=8234] vsize: 7260 Current children cumulated CPU time (s) 135.96 Current children cumulated vsize (Kb) 7260 [startup+150.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1535 0 0 0 14327 240 0 0 25 0 1 0 1859174637 7831552 1501 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1912 1501 566 18 0 1894 0 [pid=8234] vsize: 7648 Current children cumulated CPU time (s) 145.67 Current children cumulated vsize (Kb) 7648 [startup+160.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1535 0 0 0 15287 253 0 0 25 0 1 0 1859174637 7831552 1501 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1912 1501 566 18 0 1894 0 [pid=8234] vsize: 7648 Current children cumulated CPU time (s) 155.4 Current children cumulated vsize (Kb) 7648 [startup+170.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1535 0 0 0 16250 268 0 0 25 0 1 0 1859174637 7831552 1501 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1912 1501 566 18 0 1894 0 [pid=8234] vsize: 7648 Current children cumulated CPU time (s) 165.18 Current children cumulated vsize (Kb) 7648 [startup+180.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1535 0 0 0 17217 281 0 0 25 0 1 0 1859174637 7831552 1501 4294967295 134512640 134578447 3221224624 3221223472 134558456 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1912 1501 566 18 0 1894 0 [pid=8234] vsize: 7648 Current children cumulated CPU time (s) 174.98 Current children cumulated vsize (Kb) 7648 [startup+190.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1553 0 0 0 18179 295 0 0 25 0 1 0 1859174637 7966720 1519 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1945 1519 566 18 0 1927 0 [pid=8234] vsize: 7780 Current children cumulated CPU time (s) 184.74 Current children cumulated vsize (Kb) 7780 [startup+200.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1553 0 0 0 19144 306 0 0 25 0 1 0 1859174637 7962624 1519 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1944 1519 566 18 0 1926 0 [pid=8234] vsize: 7776 Current children cumulated CPU time (s) 194.5 Current children cumulated vsize (Kb) 7776 [startup+210.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1553 0 0 0 20100 321 0 0 25 0 1 0 1859174637 7962624 1519 4294967295 134512640 134578447 3221224624 3221223504 134527689 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1944 1519 566 18 0 1926 0 [pid=8234] vsize: 7776 Current children cumulated CPU time (s) 204.21 Current children cumulated vsize (Kb) 7776 [startup+220.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1580 0 0 0 21062 334 0 0 25 0 1 0 1859174637 7962624 1546 4294967295 134512640 134578447 3221224624 3221223296 134523046 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1944 1546 566 18 0 1926 0 [pid=8234] vsize: 7776 Current children cumulated CPU time (s) 213.96 Current children cumulated vsize (Kb) 7776 [startup+230.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1580 0 0 0 22026 346 0 0 25 0 1 0 1859174637 7962624 1546 4294967295 134512640 134578447 3221224624 3221223552 134516637 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1944 1546 566 18 0 1926 0 [pid=8234] vsize: 7776 Current children cumulated CPU time (s) 223.72 Current children cumulated vsize (Kb) 7776 [startup+240.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1586 0 0 0 22989 359 0 0 25 0 1 0 1859174637 8093696 1552 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1976 1552 566 18 0 1958 0 [pid=8234] vsize: 7904 Current children cumulated CPU time (s) 233.48 Current children cumulated vsize (Kb) 7904 [startup+250.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1601 0 0 0 23955 371 0 0 25 0 1 0 1859174637 8093696 1567 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1976 1567 566 18 0 1958 0 [pid=8234] vsize: 7904 Current children cumulated CPU time (s) 243.26 Current children cumulated vsize (Kb) 7904 [startup+260.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1602 0 0 0 24915 385 0 0 25 0 1 0 1859174637 8093696 1568 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1976 1568 566 18 0 1958 0 [pid=8234] vsize: 7904 Current children cumulated CPU time (s) 253 Current children cumulated vsize (Kb) 7904 [startup+270.022 s] Raw data (loadavg): 0.99 0.98 0.91 1/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 1602 0 0 0 25877 400 0 0 25 0 1 0 1859174637 8093696 1568 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1976 1568 566 18 0 1958 0 [pid=8234] vsize: 7904 Current children cumulated CPU time (s) 262.77 Current children cumulated vsize (Kb) 7904 [startup+280.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1602 0 0 0 26838 415 0 0 25 0 1 0 1859174637 8093696 1568 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1976 1568 566 18 0 1958 0 [pid=8234] vsize: 7904 Current children cumulated CPU time (s) 272.53 Current children cumulated vsize (Kb) 7904 [startup+290.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1602 0 0 0 27797 429 0 0 25 0 1 0 1859174637 8093696 1568 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 1976 1568 566 18 0 1958 0 [pid=8234] vsize: 7904 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (Kb) 7904 [startup+300.024 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1625 0 0 0 28760 441 0 0 25 0 1 0 1859174637 8224768 1591 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2008 1591 566 18 0 1990 0 [pid=8234] vsize: 8032 Current children cumulated CPU time (s) 292.01 Current children cumulated vsize (Kb) 8032 [startup+310.024 s] Raw data (loadavg): 0.99 0.98 0.91 1/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 1667 0 0 0 29729 452 0 0 25 0 1 0 1859174637 8355840 1633 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2040 1633 566 18 0 2022 0 [pid=8234] vsize: 8160 Current children cumulated CPU time (s) 301.81 Current children cumulated vsize (Kb) 8160 [startup+320.025 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1694 0 0 0 30691 466 0 0 25 0 1 0 1859174637 8486912 1660 4294967295 134512640 134578447 3221224624 3221223520 134520053 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2072 1660 566 18 0 2054 0 [pid=8234] vsize: 8288 Current children cumulated CPU time (s) 311.57 Current children cumulated vsize (Kb) 8288 [startup+330.026 s] Raw data (loadavg): 0.99 0.98 0.91 1/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 1781 0 0 0 31657 479 0 0 25 0 1 0 1859174637 8892416 1747 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/8234/statm): 2171 1747 566 18 0 2153 0 [pid=8234] vsize: 8684 Current children cumulated CPU time (s) 321.36 Current children cumulated vsize (Kb) 8684 [startup+340.026 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1858 0 0 0 32623 492 0 0 25 0 1 0 1859174637 9158656 1824 4294967295 134512640 134578447 3221224624 3221223472 134556089 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2236 1824 566 18 0 2218 0 [pid=8234] vsize: 8944 Current children cumulated CPU time (s) 331.15 Current children cumulated vsize (Kb) 8944 [startup+350.028 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1858 0 0 0 33586 506 0 0 25 0 1 0 1859174637 9158656 1824 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2236 1824 566 18 0 2218 0 [pid=8234] vsize: 8944 Current children cumulated CPU time (s) 340.92 Current children cumulated vsize (Kb) 8944 [startup+360.028 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1858 0 0 0 34555 517 0 0 25 0 1 0 1859174637 9158656 1824 4294967295 134512640 134578447 3221224624 3221223504 134527705 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2236 1824 566 18 0 2218 0 [pid=8234] vsize: 8944 Current children cumulated CPU time (s) 350.72 Current children cumulated vsize (Kb) 8944 [startup+370.029 s] Raw data (loadavg): 0.99 0.98 0.91 1/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 1858 0 0 0 35521 528 0 0 25 0 1 0 1859174637 9158656 1824 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2236 1824 566 18 0 2218 0 [pid=8234] vsize: 8944 Current children cumulated CPU time (s) 360.49 Current children cumulated vsize (Kb) 8944 [startup+380.031 s] Raw data (loadavg): 0.99 0.98 0.91 1/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 1890 0 0 0 36486 540 0 0 25 0 1 0 1859174637 9293824 1856 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2269 1856 566 18 0 2251 0 [pid=8234] vsize: 9076 Current children cumulated CPU time (s) 370.26 Current children cumulated vsize (Kb) 9076 [startup+390.032 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1890 0 0 0 37460 550 0 0 25 0 1 0 1859174637 9293824 1856 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2269 1856 566 18 0 2251 0 [pid=8234] vsize: 9076 Current children cumulated CPU time (s) 380.1 Current children cumulated vsize (Kb) 9076 [startup+400.033 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1892 0 0 0 38428 562 0 0 25 0 1 0 1859174637 9293824 1858 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2269 1858 566 18 0 2251 0 [pid=8234] vsize: 9076 Current children cumulated CPU time (s) 389.9 Current children cumulated vsize (Kb) 9076 [startup+410.033 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1892 0 0 0 39392 575 0 0 25 0 1 0 1859174637 9293824 1858 4294967295 134512640 134578447 3221224624 3221223340 1075285102 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2269 1858 566 18 0 2251 0 [pid=8234] vsize: 9076 Current children cumulated CPU time (s) 399.67 Current children cumulated vsize (Kb) 9076 [startup+420.034 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1892 0 0 0 40359 587 0 0 25 0 1 0 1859174637 9293824 1858 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2269 1858 566 18 0 2251 0 [pid=8234] vsize: 9076 Current children cumulated CPU time (s) 409.46 Current children cumulated vsize (Kb) 9076 [startup+430.035 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1947 0 0 0 41324 599 0 0 25 0 1 0 1859174637 9555968 1913 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2333 1913 566 18 0 2315 0 [pid=8234] vsize: 9332 Current children cumulated CPU time (s) 419.23 Current children cumulated vsize (Kb) 9332 [startup+440.036 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1947 0 0 0 42295 610 0 0 25 0 1 0 1859174637 9555968 1913 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2333 1913 566 18 0 2315 0 [pid=8234] vsize: 9332 Current children cumulated CPU time (s) 429.05 Current children cumulated vsize (Kb) 9332 [startup+450.037 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1947 0 0 0 43261 622 0 0 25 0 1 0 1859174637 9555968 1913 4294967295 134512640 134578447 3221224624 3221223584 134559082 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2333 1913 566 18 0 2315 0 [pid=8234] vsize: 9332 Current children cumulated CPU time (s) 438.83 Current children cumulated vsize (Kb) 9332 [startup+460.037 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1959 0 0 0 44231 633 0 0 25 0 1 0 1859174637 9555968 1925 4294967295 134512640 134578447 3221224624 3221223296 134523156 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2333 1925 566 18 0 2315 0 [pid=8234] vsize: 9332 Current children cumulated CPU time (s) 448.64 Current children cumulated vsize (Kb) 9332 [startup+470.038 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 45194 648 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0 [pid=8234] vsize: 9332 Current children cumulated CPU time (s) 458.42 Current children cumulated vsize (Kb) 9332 [startup+480.039 s] Raw data (loadavg): 0.99 0.98 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 46152 663 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221221296 134533073 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0 [pid=8234] vsize: 9332 Current children cumulated CPU time (s) 468.15 Current children cumulated vsize (Kb) 9332 [startup+490.039 s] Raw data (loadavg): 1.07 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 47114 676 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223356 1075289689 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0 [pid=8234] vsize: 9332 Current children cumulated CPU time (s) 477.9 Current children cumulated vsize (Kb) 9332 [startup+500.039 s] Raw data (loadavg): 1.06 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 48078 689 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0 [pid=8234] vsize: 9332 Current children cumulated CPU time (s) 487.67 Current children cumulated vsize (Kb) 9332 [startup+510.04 s] Raw data (loadavg): 1.05 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 49044 702 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223504 1074910624 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0 [pid=8234] vsize: 9332 Current children cumulated CPU time (s) 497.46 Current children cumulated vsize (Kb) 9332 [startup+520.041 s] Raw data (loadavg): 1.04 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 50009 713 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0 [pid=8234] vsize: 9332 Current children cumulated CPU time (s) 507.22 Current children cumulated vsize (Kb) 9332 [startup+530.042 s] Raw data (loadavg): 1.03 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 50975 723 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0 [pid=8234] vsize: 9332 Current children cumulated CPU time (s) 516.98 Current children cumulated vsize (Kb) 9332 [startup+540.043 s] Raw data (loadavg): 1.03 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 51936 739 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0 [pid=8234] vsize: 9332 Current children cumulated CPU time (s) 526.75 Current children cumulated vsize (Kb) 9332 [startup+550.043 s] Raw data (loadavg): 1.02 1.00 0.91 1/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 1966 0 0 0 52897 753 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0 [pid=8234] vsize: 9332 Current children cumulated CPU time (s) 536.5 Current children cumulated vsize (Kb) 9332 [startup+560.044 s] Raw data (loadavg): 1.02 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 53856 768 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0 [pid=8234] vsize: 9332 Current children cumulated CPU time (s) 546.24 Current children cumulated vsize (Kb) 9332 [startup+570.045 s] Raw data (loadavg): 1.02 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 54821 780 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223376 134528863 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0 [pid=8234] vsize: 9332 Current children cumulated CPU time (s) 556.01 Current children cumulated vsize (Kb) 9332 [startup+580.046 s] Raw data (loadavg): 1.01 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 55789 792 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223584 134559095 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0 [pid=8234] vsize: 9332 Current children cumulated CPU time (s) 565.81 Current children cumulated vsize (Kb) 9332 [startup+590.047 s] Raw data (loadavg): 1.01 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 56753 806 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223280 1075288477 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0 [pid=8234] vsize: 9332 Current children cumulated CPU time (s) 575.59 Current children cumulated vsize (Kb) 9332 [startup+600.047 s] Raw data (loadavg): 1.01 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 57723 817 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223476 134555819 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0 [pid=8234] vsize: 9332 Current children cumulated CPU time (s) 585.4 Current children cumulated vsize (Kb) 9332 [startup+610.047 s] Raw data (loadavg): 1.01 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 58686 831 0 0 25 0 1 0 1859174637 9555968 1932 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2333 1932 566 18 0 2315 0 [pid=8234] vsize: 9332 Current children cumulated CPU time (s) 595.17 Current children cumulated vsize (Kb) 9332 [startup+620.049 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 59654 843 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223584 134559020 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0 [pid=8234] vsize: 9276 Current children cumulated CPU time (s) 604.97 Current children cumulated vsize (Kb) 9276 [startup+630.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 60625 854 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0 [pid=8234] vsize: 9276 Current children cumulated CPU time (s) 614.79 Current children cumulated vsize (Kb) 9276 [startup+640.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 61594 866 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223456 134528563 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0 [pid=8234] vsize: 9276 Current children cumulated CPU time (s) 624.6 Current children cumulated vsize (Kb) 9276 [startup+650.05 s] Raw data (loadavg): 1.00 1.00 0.91 1/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 1966 0 0 0 62560 879 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0 [pid=8234] vsize: 9276 Current children cumulated CPU time (s) 634.39 Current children cumulated vsize (Kb) 9276 [startup+660.051 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 63525 893 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0 [pid=8234] vsize: 9276 Current children cumulated CPU time (s) 644.18 Current children cumulated vsize (Kb) 9276 [startup+670.052 s] Raw data (loadavg): 1.00 1.00 0.91 1/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 1966 0 0 0 64491 905 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0 [pid=8234] vsize: 9276 Current children cumulated CPU time (s) 653.96 Current children cumulated vsize (Kb) 9276 [startup+680.053 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 65460 916 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223208 1075289753 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0 [pid=8234] vsize: 9276 Current children cumulated CPU time (s) 663.76 Current children cumulated vsize (Kb) 9276 [startup+690.053 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 66428 927 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221221504 134532215 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0 [pid=8234] vsize: 9276 Current children cumulated CPU time (s) 673.55 Current children cumulated vsize (Kb) 9276 [startup+700.054 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 67400 935 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223520 134519957 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0 [pid=8234] vsize: 9276 Current children cumulated CPU time (s) 683.35 Current children cumulated vsize (Kb) 9276 [startup+710.055 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 68370 944 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223192 1075289104 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0 [pid=8234] vsize: 9276 Current children cumulated CPU time (s) 693.14 Current children cumulated vsize (Kb) 9276 [startup+720.057 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 69341 955 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0 [pid=8234] vsize: 9276 Current children cumulated CPU time (s) 702.96 Current children cumulated vsize (Kb) 9276 [startup+730.058 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1966 0 0 0 70309 966 0 0 25 0 1 0 1859174637 9498624 1920 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2319 1920 566 18 0 2301 0 [pid=8234] vsize: 9276 Current children cumulated CPU time (s) 712.75 Current children cumulated vsize (Kb) 9276 [startup+740.058 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1983 0 0 0 71280 977 0 0 25 0 1 0 1859174637 9633792 1937 4294967295 134512640 134578447 3221224624 3221223296 134524060 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8234/statm): 2352 1937 566 18 0 2334 0 [pid=8234] vsize: 9408 Current children cumulated CPU time (s) 722.57 Current children cumulated vsize (Kb) 9408 [startup+750.059 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 1988 0 0 0 72254 987 0 0 25 0 1 0 1859174637 9633792 1942 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8234/statm): 2352 1942 566 18 0 2334 0 [pid=8234] vsize: 9408 Current children cumulated CPU time (s) 732.41 Current children cumulated vsize (Kb) 9408 [startup+760.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2002 0 0 0 73227 996 0 0 25 0 1 0 1859174637 9768960 1956 4294967295 134512640 134578447 3221224624 3221223556 134527376 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2385 1956 566 18 0 2367 0 [pid=8234] vsize: 9540 Current children cumulated CPU time (s) 742.23 Current children cumulated vsize (Kb) 9540 [startup+770.061 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2004 0 0 0 74191 1011 0 0 25 0 1 0 1859174637 9768960 1958 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2385 1958 566 18 0 2367 0 [pid=8234] vsize: 9540 Current children cumulated CPU time (s) 752.02 Current children cumulated vsize (Kb) 9540 [startup+780.062 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2004 0 0 0 75164 1022 0 0 25 0 1 0 1859174637 9768960 1958 4294967295 134512640 134578447 3221224624 3221223536 134557000 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2385 1958 566 18 0 2367 0 [pid=8234] vsize: 9540 Current children cumulated CPU time (s) 761.86 Current children cumulated vsize (Kb) 9540 [startup+790.062 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2004 0 0 0 76135 1032 0 0 25 0 1 0 1859174637 9768960 1958 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2385 1958 566 18 0 2367 0 [pid=8234] vsize: 9540 Current children cumulated CPU time (s) 771.67 Current children cumulated vsize (Kb) 9540 [startup+800.063 s] Raw data (loadavg): 1.00 1.00 0.91 1/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 2007 0 0 0 77107 1043 0 0 25 0 1 0 1859174637 9768960 1961 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2385 1961 566 18 0 2367 0 [pid=8234] vsize: 9540 Current children cumulated CPU time (s) 781.5 Current children cumulated vsize (Kb) 9540 [startup+810.064 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2007 0 0 0 78076 1055 0 0 25 0 1 0 1859174637 9768960 1961 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2385 1961 566 18 0 2367 0 [pid=8234] vsize: 9540 Current children cumulated CPU time (s) 791.31 Current children cumulated vsize (Kb) 9540 [startup+820.065 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2007 0 0 0 79046 1065 0 0 25 0 1 0 1859174637 9768960 1961 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2385 1961 566 18 0 2367 0 [pid=8234] vsize: 9540 Current children cumulated CPU time (s) 801.11 Current children cumulated vsize (Kb) 9540 [startup+830.066 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2018 0 0 0 80009 1078 0 0 25 0 1 0 1859174637 9768960 1972 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2385 1972 566 18 0 2367 0 [pid=8234] vsize: 9540 Current children cumulated CPU time (s) 810.87 Current children cumulated vsize (Kb) 9540 [startup+840.066 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2018 0 0 0 80976 1091 0 0 25 0 1 0 1859174637 9768960 1972 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2385 1972 566 18 0 2367 0 [pid=8234] vsize: 9540 Current children cumulated CPU time (s) 820.67 Current children cumulated vsize (Kb) 9540 [startup+850.067 s] Raw data (loadavg): 1.00 1.00 0.91 1/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) T 8233 8234 5245 0 -1 0 2065 0 0 0 81942 1103 0 0 25 0 1 0 1859174637 10031104 2019 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2449 2019 566 18 0 2431 0 [pid=8234] vsize: 9796 Current children cumulated CPU time (s) 830.45 Current children cumulated vsize (Kb) 9796 [startup+860.068 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2105 0 0 0 82907 1114 0 0 25 0 1 0 1859174637 10166272 2059 4294967295 134512640 134578447 3221224624 3221223476 134555869 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2482 2059 566 18 0 2464 0 [pid=8234] vsize: 9928 Current children cumulated CPU time (s) 840.21 Current children cumulated vsize (Kb) 9928 [startup+870.069 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2154 0 0 0 83871 1129 0 0 25 0 1 0 1859174637 10301440 2108 4294967295 134512640 134578447 3221224624 3221223568 134558739 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2515 2108 566 18 0 2497 0 [pid=8234] vsize: 10060 Current children cumulated CPU time (s) 850 Current children cumulated vsize (Kb) 10060 [startup+880.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2154 0 0 0 84833 1143 0 0 25 0 1 0 1859174637 10301440 2108 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2515 2108 566 18 0 2497 0 [pid=8234] vsize: 10060 Current children cumulated CPU time (s) 859.76 Current children cumulated vsize (Kb) 10060 [startup+890.07 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2154 0 0 0 85799 1155 0 0 25 0 1 0 1859174637 10301440 2108 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2515 2108 566 18 0 2497 0 [pid=8234] vsize: 10060 Current children cumulated CPU time (s) 869.54 Current children cumulated vsize (Kb) 10060 [startup+900.071 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2154 0 0 0 86759 1172 0 0 25 0 1 0 1859174637 10301440 2108 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2515 2108 566 18 0 2497 0 [pid=8234] vsize: 10060 Current children cumulated CPU time (s) 879.31 Current children cumulated vsize (Kb) 10060 [startup+910.071 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2154 0 0 0 87723 1187 0 0 25 0 1 0 1859174637 10301440 2108 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2515 2108 566 18 0 2497 0 [pid=8234] vsize: 10060 Current children cumulated CPU time (s) 889.1 Current children cumulated vsize (Kb) 10060 [startup+920.073 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2154 0 0 0 88689 1199 0 0 25 0 1 0 1859174637 10301440 2108 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2515 2108 566 18 0 2497 0 [pid=8234] vsize: 10060 Current children cumulated CPU time (s) 898.88 Current children cumulated vsize (Kb) 10060 [startup+930.074 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 89661 1210 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223560 134527349 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0 [pid=8234] vsize: 10448 Current children cumulated CPU time (s) 908.71 Current children cumulated vsize (Kb) 10448 [startup+940.073 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 90627 1223 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0 [pid=8234] vsize: 10448 Current children cumulated CPU time (s) 918.5 Current children cumulated vsize (Kb) 10448 [startup+950.074 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 91591 1237 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0 [pid=8234] vsize: 10448 Current children cumulated CPU time (s) 928.28 Current children cumulated vsize (Kb) 10448 [startup+960.075 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 92553 1250 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0 [pid=8234] vsize: 10448 Current children cumulated CPU time (s) 938.03 Current children cumulated vsize (Kb) 10448 [startup+970.076 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 93518 1264 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0 [pid=8234] vsize: 10448 Current children cumulated CPU time (s) 947.82 Current children cumulated vsize (Kb) 10448 [startup+980.077 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 94489 1274 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223476 134555859 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0 [pid=8234] vsize: 10448 Current children cumulated CPU time (s) 957.63 Current children cumulated vsize (Kb) 10448 [startup+990.077 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 95454 1286 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0 [pid=8234] vsize: 10448 Current children cumulated CPU time (s) 967.4 Current children cumulated vsize (Kb) 10448 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 96414 1300 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0 [pid=8234] vsize: 10448 Current children cumulated CPU time (s) 977.14 Current children cumulated vsize (Kb) 10448 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 97376 1314 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0 [pid=8234] vsize: 10448 Current children cumulated CPU time (s) 986.9 Current children cumulated vsize (Kb) 10448 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 98338 1328 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0 [pid=8234] vsize: 10448 Current children cumulated CPU time (s) 996.66 Current children cumulated vsize (Kb) 10448 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 99300 1342 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0 [pid=8234] vsize: 10448 Current children cumulated CPU time (s) 1006.42 Current children cumulated vsize (Kb) 10448 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 100262 1358 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223456 134528533 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0 [pid=8234] vsize: 10448 Current children cumulated CPU time (s) 1016.2 Current children cumulated vsize (Kb) 10448 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 101225 1372 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223456 134558184 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0 [pid=8234] vsize: 10448 Current children cumulated CPU time (s) 1025.97 Current children cumulated vsize (Kb) 10448 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 102187 1386 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0 [pid=8234] vsize: 10448 Current children cumulated CPU time (s) 1035.73 Current children cumulated vsize (Kb) 10448 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 103155 1397 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0 [pid=8234] vsize: 10448 Current children cumulated CPU time (s) 1045.52 Current children cumulated vsize (Kb) 10448 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 104121 1409 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0 [pid=8234] vsize: 10448 Current children cumulated CPU time (s) 1055.3 Current children cumulated vsize (Kb) 10448 [startup+1090.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 105086 1423 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0 [pid=8234] vsize: 10448 Current children cumulated CPU time (s) 1065.09 Current children cumulated vsize (Kb) 10448 [startup+1100.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2251 0 0 0 106053 1435 0 0 25 0 1 0 1859174637 10698752 2205 4294967295 134512640 134578447 3221224624 3221223520 134519815 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2612 2205 566 18 0 2594 0 [pid=8234] vsize: 10448 Current children cumulated CPU time (s) 1074.88 Current children cumulated vsize (Kb) 10448 [startup+1110.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2300 0 0 0 107024 1445 0 0 25 0 1 0 1859174637 10964992 2254 4294967295 134512640 134578447 3221224624 3221223584 134559057 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2677 2254 566 18 0 2659 0 [pid=8234] vsize: 10708 Current children cumulated CPU time (s) 1084.69 Current children cumulated vsize (Kb) 10708 [startup+1120.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2300 0 0 0 107993 1455 0 0 25 0 1 0 1859174637 10964992 2254 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2677 2254 566 18 0 2659 0 [pid=8234] vsize: 10708 Current children cumulated CPU time (s) 1094.48 Current children cumulated vsize (Kb) 10708 [startup+1130.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2300 0 0 0 108968 1466 0 0 25 0 1 0 1859174637 10964992 2254 4294967295 134512640 134578447 3221224624 3221223412 1075289714 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2677 2254 566 18 0 2659 0 [pid=8234] vsize: 10708 Current children cumulated CPU time (s) 1104.34 Current children cumulated vsize (Kb) 10708 [startup+1140.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2300 0 0 0 109938 1476 0 0 25 0 1 0 1859174637 10964992 2254 4294967295 134512640 134578447 3221224624 3221223584 134559078 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2677 2254 566 18 0 2659 0 [pid=8234] vsize: 10708 Current children cumulated CPU time (s) 1114.14 Current children cumulated vsize (Kb) 10708 [startup+1150.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2300 0 0 0 110908 1487 0 0 25 0 1 0 1859174637 10964992 2254 4294967295 134512640 134578447 3221224624 3221223504 134528071 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2677 2254 566 18 0 2659 0 [pid=8234] vsize: 10708 Current children cumulated CPU time (s) 1123.95 Current children cumulated vsize (Kb) 10708 [startup+1160.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2300 0 0 0 111877 1501 0 0 25 0 1 0 1859174637 10964992 2254 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2677 2254 566 18 0 2659 0 [pid=8234] vsize: 10708 Current children cumulated CPU time (s) 1133.78 Current children cumulated vsize (Kb) 10708 [startup+1170.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2304 0 0 0 112844 1514 0 0 25 0 1 0 1859174637 10964992 2258 4294967295 134512640 134578447 3221224624 3221223536 134516761 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2677 2258 566 18 0 2659 0 [pid=8234] vsize: 10708 Current children cumulated CPU time (s) 1143.58 Current children cumulated vsize (Kb) 10708 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2304 0 0 0 113817 1524 0 0 25 0 1 0 1859174637 10964992 2258 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2677 2258 566 18 0 2659 0 [pid=8234] vsize: 10708 Current children cumulated CPU time (s) 1153.41 Current children cumulated vsize (Kb) 10708 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2304 0 0 0 114779 1538 0 0 25 0 1 0 1859174637 10964992 2258 4294967295 134512640 134578447 3221224624 3221223368 1075285943 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2677 2258 566 18 0 2659 0 [pid=8234] vsize: 10708 Current children cumulated CPU time (s) 1163.17 Current children cumulated vsize (Kb) 10708 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2304 0 0 0 115741 1552 0 0 25 0 1 0 1859174637 10964992 2258 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8234/statm): 2677 2258 566 18 0 2659 0 [pid=8234] vsize: 10708 Current children cumulated CPU time (s) 1172.93 Current children cumulated vsize (Kb) 10708 [startup+1210.09 s] Raw data (loadavg): 1.08 1.02 0.92 2/56 8234 Raw data (/proc/8234/stat): 8234 (Pueblo) R 8233 8234 5245 0 -1 0 2304 0 0 0 116708 1563 0 0 25 0 1 0 1859174637 10964992 2258 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8234/statm): 2677 2258 566 18 0 2659 0 [pid=8234] vsize: 10708 Current children cumulated CPU time (s) 1182.71 Current children cumulated vsize (Kb) 10708 One traced child (pid=8234) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1216.55 CPU time (s): 1189.02 CPU user time (s): 1173.3 CPU system time (s): 15.7246 CPU usage (%): 97.7371 Max. virtual memory (cumulated for all children) (Kb): 10708
Verifier: OK 25102