Name | normalized-opb/submitted/manquinho/ttp/normalized-circ6_3.opb |
MD5SUM | 509cfdb6810b13d9963718243e9046cd |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 66 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 3 |
Number of bits for the biggest coefficient in the objective function | 2 |
Sum of the numbers in the objective function | 324 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 16 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 324 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.98 |
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 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-02 10:35:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26528 boxname=wulflinc1 idbench=258 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: 509cfdb6810b13d9963718243e9046cd /oldhome/oroussel/tmp/wulflinc1/normalized-circ6_3.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-circ6_3.opb IDLAUNCH: 26528 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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: 670116 kB Buffers: 34292 kB Cached: 306224 kB SwapCached: 640 kB Active: 68132 kB Inactive: 274628 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 669864 kB SwapTotal: 2097136 kB SwapFree: 2095412 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5820 kB Slab: 16096 kB Committed_AS: 92716 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-02 10:55:44 (client local time) WITH STATUS 10 IN 1189.01 SECONDS stats: 26528 0 1189.01 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Pueblo version 1.2 (Sept 2004) c Developed @ University of Michigan, Ann Arbor, MI c by Hossein Sheini c Solving: /oldhome/oroussel/tmp/wulflinc1/normalized-circ6_3.opb c #variables read: 540 - #constraints read: 4627 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 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.77 0.92 0.89 1/55 2353 Raw data (stat): 2353 (runsolver) R 2352 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 792256515 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+9.99977 s] Raw data (loadavg): 0.81 0.92 0.89 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 902 0 0 0 991 7 0 0 25 0 1 0 792256515 9367552 876 4294967295 134512640 134581267 3221224592 3221223520 134520095 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2287 876 566 18 0 2269 0 vsize: 9148 [startup+20.0006 s] Raw data (loadavg): 0.84 0.93 0.90 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1069 0 0 0 1987 11 0 0 25 0 1 0 792256515 10027008 1043 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2448 1043 566 18 0 2430 0 vsize: 9792 [startup+30.0003 s] Raw data (loadavg): 0.86 0.93 0.90 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1127 0 0 0 2985 14 0 0 25 0 1 0 792256515 10289152 1101 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2512 1101 566 18 0 2494 0 vsize: 10048 [startup+40.0001 s] Raw data (loadavg): 0.88 0.93 0.90 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1171 0 0 0 3982 16 0 0 25 0 1 0 792256515 10420224 1145 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2544 1145 566 18 0 2526 0 vsize: 10176 [startup+50.0009 s] Raw data (loadavg): 0.90 0.93 0.90 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1255 0 0 0 4980 19 0 0 25 0 1 0 792256515 10813440 1229 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2640 1229 566 18 0 2622 0 vsize: 10560 [startup+60.0007 s] Raw data (loadavg): 0.91 0.93 0.90 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1263 0 0 0 5978 21 0 0 25 0 1 0 792256515 10813440 1237 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2640 1237 566 18 0 2622 0 vsize: 10560 [startup+70.0015 s] Raw data (loadavg): 0.93 0.94 0.90 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1269 0 0 0 6976 23 0 0 25 0 1 0 792256515 10813440 1243 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2640 1243 566 18 0 2622 0 vsize: 10560 [startup+80.0012 s] Raw data (loadavg): 0.94 0.94 0.90 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1370 0 0 0 7973 26 0 0 25 0 1 0 792256515 11206656 1344 4294967295 134512640 134581267 3221224592 3221223560 134527282 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2736 1344 566 18 0 2718 0 vsize: 10944 [startup+90.0014 s] Raw data (loadavg): 0.95 0.94 0.90 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1372 0 0 0 8972 28 0 0 25 0 1 0 792256515 11333632 1346 4294967295 134512640 134581267 3221224592 3221223520 134520095 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2767 1346 566 18 0 2749 0 vsize: 11068 [startup+100.001 s] Raw data (loadavg): 0.95 0.94 0.90 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1418 0 0 0 9969 31 0 0 25 0 1 0 792256515 11431936 1392 4294967295 134512640 134581267 3221224592 3221223488 134517912 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2791 1392 566 18 0 2773 0 vsize: 11164 [startup+110.001 s] Raw data (loadavg): 0.96 0.94 0.90 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1467 0 0 0 10967 33 0 0 25 0 1 0 792256515 11694080 1441 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2855 1441 566 18 0 2837 0 vsize: 11420 [startup+120.001 s] Raw data (loadavg): 0.97 0.94 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1467 0 0 0 11964 36 0 0 25 0 1 0 792256515 11694080 1441 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2855 1441 566 18 0 2837 0 vsize: 11420 [startup+130.001 s] Raw data (loadavg): 0.97 0.94 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1468 0 0 0 12963 37 0 0 25 0 1 0 792256515 11694080 1442 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2855 1442 566 18 0 2837 0 vsize: 11420 [startup+140.001 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1468 0 0 0 13961 39 0 0 25 0 1 0 792256515 11694080 1442 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2855 1442 566 18 0 2837 0 vsize: 11420 [startup+150.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1468 0 0 0 14959 42 0 0 25 0 1 0 792256515 11694080 1442 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2855 1442 566 18 0 2837 0 vsize: 11420 [startup+160.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1468 0 0 0 15956 45 0 0 25 0 1 0 792256515 11694080 1442 4294967295 134512640 134581267 3221224592 3221223520 134520092 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2855 1442 566 18 0 2837 0 vsize: 11420 [startup+170.001 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1468 0 0 0 16955 46 0 0 25 0 1 0 792256515 11694080 1442 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2855 1442 566 18 0 2837 0 vsize: 11420 [startup+180.001 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1468 0 0 0 17953 48 0 0 25 0 1 0 792256515 11694080 1442 4294967295 134512640 134581267 3221224592 3221223584 134561093 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2855 1442 566 18 0 2837 0 vsize: 11420 [startup+190.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1506 0 0 0 18950 51 0 0 25 0 1 0 792256515 11825152 1480 4294967295 134512640 134581267 3221224592 3221223368 1075285693 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2887 1480 566 18 0 2869 0 vsize: 11548 [startup+200.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1568 0 0 0 19948 53 0 0 25 0 1 0 792256515 12087296 1542 4294967295 134512640 134581267 3221224592 3221223536 134558921 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2951 1542 566 18 0 2933 0 vsize: 11804 [startup+210.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1603 0 0 0 20946 56 0 0 25 0 1 0 792256515 12222464 1577 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2984 1577 566 18 0 2966 0 vsize: 11936 [startup+220.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1603 0 0 0 21943 59 0 0 25 0 1 0 792256515 12222464 1577 4294967295 134512640 134581267 3221224592 3221223520 134520095 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2984 1577 566 18 0 2966 0 vsize: 11936 [startup+230.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1625 0 0 0 22941 61 0 0 25 0 1 0 792256515 12353536 1599 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3016 1599 566 18 0 2998 0 vsize: 12064 [startup+240.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1663 0 0 0 23938 64 0 0 25 0 1 0 792256515 12484608 1637 4294967295 134512640 134581267 3221224592 3221223520 134519797 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3048 1637 566 18 0 3030 0 vsize: 12192 [startup+250.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1733 0 0 0 24937 65 0 0 25 0 1 0 792256515 12746752 1707 4294967295 134512640 134581267 3221224592 3221223536 134559429 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3112 1707 566 18 0 3094 0 vsize: 12448 [startup+260.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1733 0 0 0 25934 68 0 0 25 0 1 0 792256515 12746752 1707 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3112 1707 566 18 0 3094 0 vsize: 12448 [startup+270.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1818 0 0 0 26932 70 0 0 25 0 1 0 792256515 13144064 1792 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3209 1792 566 18 0 3191 0 vsize: 12836 [startup+280.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1818 0 0 0 27931 72 0 0 25 0 1 0 792256515 13144064 1792 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3209 1792 566 18 0 3191 0 vsize: 12836 [startup+290.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1818 0 0 0 28930 73 0 0 25 0 1 0 792256515 13144064 1792 4294967295 134512640 134581267 3221224592 3221223568 134561057 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3209 1792 566 18 0 3191 0 vsize: 12836 [startup+300.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1818 0 0 0 29926 77 0 0 25 0 1 0 792256515 13144064 1792 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3209 1792 566 18 0 3191 0 vsize: 12836 [startup+310.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1824 0 0 0 30925 79 0 0 25 0 1 0 792256515 13144064 1798 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3209 1798 566 18 0 3191 0 vsize: 12836 [startup+320.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1859 0 0 0 31922 81 0 0 25 0 1 0 792256515 13275136 1833 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3241 1833 566 18 0 3223 0 vsize: 12964 [startup+330.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1877 0 0 0 32920 83 0 0 25 0 1 0 792256515 13406208 1851 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3273 1851 566 18 0 3255 0 vsize: 13092 [startup+340.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1877 0 0 0 33919 85 0 0 25 0 1 0 792256515 13402112 1851 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3272 1851 566 18 0 3254 0 vsize: 13088 [startup+350.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1908 0 0 0 34916 88 0 0 25 0 1 0 792256515 13529088 1882 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3303 1882 566 18 0 3285 0 vsize: 13212 [startup+360.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1982 0 0 0 35914 90 0 0 25 0 1 0 792256515 13791232 1956 4294967295 134512640 134581267 3221224592 3221223536 134559049 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3367 1956 566 18 0 3349 0 vsize: 13468 [startup+370.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1982 0 0 0 36911 93 0 0 25 0 1 0 792256515 13791232 1956 4294967295 134512640 134581267 3221224592 3221223472 134520222 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3367 1956 566 18 0 3349 0 vsize: 13468 [startup+380.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1982 0 0 0 37908 96 0 0 25 0 1 0 792256515 13733888 1956 4294967295 134512640 134581267 3221224592 3221223488 134517927 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3353 1956 566 18 0 3335 0 vsize: 13412 [startup+390.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1982 0 0 0 38906 99 0 0 25 0 1 0 792256515 13733888 1956 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3353 1956 566 18 0 3335 0 vsize: 13412 [startup+400.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1982 0 0 0 39904 101 0 0 25 0 1 0 792256515 13733888 1956 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3353 1956 566 18 0 3335 0 vsize: 13412 [startup+410.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1982 0 0 0 40902 103 0 0 25 0 1 0 792256515 13733888 1956 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3353 1956 566 18 0 3335 0 vsize: 13412 [startup+420.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1982 0 0 0 41899 106 0 0 25 0 1 0 792256515 13733888 1956 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3353 1956 566 18 0 3335 0 vsize: 13412 [startup+430.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1982 0 0 0 42897 108 0 0 25 0 1 0 792256515 13733888 1956 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3353 1956 566 18 0 3335 0 vsize: 13412 [startup+440.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1982 0 0 0 43895 111 0 0 25 0 1 0 792256515 13733888 1956 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3353 1956 566 18 0 3335 0 vsize: 13412 [startup+450.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1992 0 0 0 44892 114 0 0 25 0 1 0 792256515 13864960 1966 4294967295 134512640 134581267 3221224592 3221223456 134527039 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3385 1966 566 18 0 3367 0 vsize: 13540 [startup+460.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 1992 0 0 0 45890 116 0 0 25 0 1 0 792256515 13864960 1966 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3385 1966 566 18 0 3367 0 vsize: 13540 [startup+470.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2029 0 0 0 46887 119 0 0 25 0 1 0 792256515 14000128 2003 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3418 2003 566 18 0 3400 0 vsize: 13672 [startup+480.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2029 0 0 0 47885 121 0 0 25 0 1 0 792256515 14000128 2003 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3418 2003 566 18 0 3400 0 vsize: 13672 [startup+490.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2029 0 0 0 48883 124 0 0 25 0 1 0 792256515 14000128 2003 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3418 2003 566 18 0 3400 0 vsize: 13672 [startup+500.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2029 0 0 0 49881 126 0 0 25 0 1 0 792256515 14000128 2003 4294967295 134512640 134581267 3221224592 3221223584 134560935 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3418 2003 566 18 0 3400 0 vsize: 13672 [startup+510.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2034 0 0 0 50879 128 0 0 25 0 1 0 792256515 14000128 2008 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3418 2008 566 18 0 3400 0 vsize: 13672 [startup+520.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2079 0 0 0 51877 130 0 0 25 0 1 0 792256515 14131200 2053 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3450 2053 566 18 0 3432 0 vsize: 13800 [startup+530.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2079 0 0 0 52876 131 0 0 25 0 1 0 792256515 14131200 2053 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3450 2053 566 18 0 3432 0 vsize: 13800 [startup+540.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2079 0 0 0 53875 133 0 0 25 0 1 0 792256515 14131200 2053 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3450 2053 566 18 0 3432 0 vsize: 13800 [startup+550.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2079 0 0 0 54874 134 0 0 25 0 1 0 792256515 14131200 2053 4294967295 134512640 134581267 3221224592 3221223568 134560782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3450 2053 566 18 0 3432 0 vsize: 13800 [startup+560.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2079 0 0 0 55872 136 0 0 25 0 1 0 792256515 14131200 2053 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3450 2053 566 18 0 3432 0 vsize: 13800 [startup+570.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2079 0 0 0 56870 138 0 0 25 0 1 0 792256515 14131200 2053 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3450 2053 566 18 0 3432 0 vsize: 13800 [startup+580.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2080 0 0 0 57868 141 0 0 25 0 1 0 792256515 14131200 2054 4294967295 134512640 134581267 3221224592 3221223560 134527265 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3450 2054 566 18 0 3432 0 vsize: 13800 [startup+590.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2080 0 0 0 58866 143 0 0 25 0 1 0 792256515 14131200 2054 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3450 2054 566 18 0 3432 0 vsize: 13800 [startup+600.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2146 0 0 0 59863 145 0 0 25 0 1 0 792256515 14397440 2120 4294967295 134512640 134581267 3221224592 3221223456 134526949 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3515 2120 566 18 0 3497 0 vsize: 14060 [startup+610.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2146 0 0 0 60861 147 0 0 25 0 1 0 792256515 14397440 2120 4294967295 134512640 134581267 3221224592 3221223560 134527282 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3515 2120 566 18 0 3497 0 vsize: 14060 [startup+620.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2162 0 0 0 61860 149 0 0 25 0 1 0 792256515 14528512 2136 4294967295 134512640 134581267 3221224592 3221223468 134527050 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3547 2136 566 18 0 3529 0 vsize: 14188 [startup+630.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2164 0 0 0 62858 151 0 0 25 0 1 0 792256515 14528512 2138 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3547 2138 566 18 0 3529 0 vsize: 14188 [startup+640.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2164 0 0 0 63855 154 0 0 25 0 1 0 792256515 14528512 2138 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3547 2138 566 18 0 3529 0 vsize: 14188 [startup+650.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2164 0 0 0 64854 155 0 0 25 0 1 0 792256515 14528512 2138 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3547 2138 566 18 0 3529 0 vsize: 14188 [startup+660.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2164 0 0 0 65851 158 0 0 25 0 1 0 792256515 14528512 2138 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3547 2138 566 18 0 3529 0 vsize: 14188 [startup+670.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2164 0 0 0 66850 160 0 0 25 0 1 0 792256515 14528512 2138 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3547 2138 566 18 0 3529 0 vsize: 14188 [startup+680.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2164 0 0 0 67848 162 0 0 25 0 1 0 792256515 14528512 2138 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3547 2138 566 18 0 3529 0 vsize: 14188 [startup+690.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2164 0 0 0 68846 164 0 0 25 0 1 0 792256515 14528512 2138 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3547 2138 566 18 0 3529 0 vsize: 14188 [startup+700.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2194 0 0 0 69845 165 0 0 25 0 1 0 792256515 14659584 2168 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3579 2168 566 18 0 3561 0 vsize: 14316 [startup+710.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2194 0 0 0 70843 167 0 0 25 0 1 0 792256515 14659584 2168 4294967295 134512640 134581267 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3579 2168 566 18 0 3561 0 vsize: 14316 [startup+720.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2194 0 0 0 71841 170 0 0 25 0 1 0 792256515 14659584 2168 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3579 2168 566 18 0 3561 0 vsize: 14316 [startup+730.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2194 0 0 0 72839 172 0 0 25 0 1 0 792256515 14659584 2168 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3579 2168 566 18 0 3561 0 vsize: 14316 [startup+740.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2194 0 0 0 73838 173 0 0 25 0 1 0 792256515 14659584 2168 4294967295 134512640 134581267 3221224592 3221223520 134519844 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3579 2168 566 18 0 3561 0 vsize: 14316 [startup+750.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2194 0 0 0 74837 175 0 0 25 0 1 0 792256515 14659584 2168 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3579 2168 566 18 0 3561 0 vsize: 14316 [startup+760.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2194 0 0 0 75834 177 0 0 25 0 1 0 792256515 14659584 2168 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3579 2168 566 18 0 3561 0 vsize: 14316 [startup+770.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2194 0 0 0 76832 179 0 0 25 0 1 0 792256515 14659584 2168 4294967295 134512640 134581267 3221224592 3221223472 134520282 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3579 2168 566 18 0 3561 0 vsize: 14316 [startup+780.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2194 0 0 0 77831 181 0 0 25 0 1 0 792256515 14659584 2168 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3579 2168 566 18 0 3561 0 vsize: 14316 [startup+790.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2194 0 0 0 78829 183 0 0 25 0 1 0 792256515 14659584 2168 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3579 2168 566 18 0 3561 0 vsize: 14316 [startup+800.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2195 0 0 0 79828 184 0 0 25 0 1 0 792256515 14659584 2169 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3579 2169 566 18 0 3561 0 vsize: 14316 [startup+810.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2217 0 0 0 80827 185 0 0 25 0 1 0 792256515 14794752 2191 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3612 2191 566 18 0 3594 0 vsize: 14448 [startup+820.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2217 0 0 0 81825 188 0 0 25 0 1 0 792256515 14794752 2191 4294967295 134512640 134581267 3221224592 3221223584 134561067 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3612 2191 566 18 0 3594 0 vsize: 14448 [startup+830.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2217 0 0 0 82823 189 0 0 25 0 1 0 792256515 14794752 2191 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3612 2191 566 18 0 3594 0 vsize: 14448 [startup+840.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2217 0 0 0 83821 192 0 0 25 0 1 0 792256515 14794752 2191 4294967295 134512640 134581267 3221224592 3221223488 134528027 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3612 2191 566 18 0 3594 0 vsize: 14448 [startup+850.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2217 0 0 0 84820 194 0 0 25 0 1 0 792256515 14794752 2191 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3612 2191 566 18 0 3594 0 vsize: 14448 [startup+860.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2219 0 0 0 85817 196 0 0 25 0 1 0 792256515 14794752 2193 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3612 2193 566 18 0 3594 0 vsize: 14448 [startup+870.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2219 0 0 0 86816 198 0 0 25 0 1 0 792256515 14794752 2193 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3612 2193 566 18 0 3594 0 vsize: 14448 [startup+880.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2292 0 0 0 87814 200 0 0 25 0 1 0 792256515 15060992 2266 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3677 2266 566 18 0 3659 0 vsize: 14708 [startup+890.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2350 0 0 0 88812 202 0 0 25 0 1 0 792256515 15327232 2324 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3742 2324 566 18 0 3724 0 vsize: 14968 [startup+900.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2360 0 0 0 89809 205 0 0 25 0 1 0 792256515 15327232 2334 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3742 2334 566 18 0 3724 0 vsize: 14968 [startup+910.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2360 0 0 0 90808 206 0 0 25 0 1 0 792256515 15327232 2334 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3742 2334 566 18 0 3724 0 vsize: 14968 [startup+920.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2374 0 0 0 91806 209 0 0 25 0 1 0 792256515 15327232 2348 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3742 2348 566 18 0 3724 0 vsize: 14968 [startup+930.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2408 0 0 0 92804 210 0 0 25 0 1 0 792256515 15593472 2382 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3807 2382 566 18 0 3789 0 vsize: 15228 [startup+940.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2415 0 0 0 93803 212 0 0 25 0 1 0 792256515 15593472 2389 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3807 2389 566 18 0 3789 0 vsize: 15228 [startup+950.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2420 0 0 0 94801 214 0 0 25 0 1 0 792256515 15593472 2394 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3807 2394 566 18 0 3789 0 vsize: 15228 [startup+960.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2420 0 0 0 95800 216 0 0 25 0 1 0 792256515 15593472 2394 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3807 2394 566 18 0 3789 0 vsize: 15228 [startup+970.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2420 0 0 0 96798 218 0 0 25 0 1 0 792256515 15593472 2394 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3807 2394 566 18 0 3789 0 vsize: 15228 [startup+980.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2420 0 0 0 97796 220 0 0 25 0 1 0 792256515 15593472 2394 4294967295 134512640 134581267 3221224592 3221223520 134519939 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3807 2394 566 18 0 3789 0 vsize: 15228 [startup+990.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2420 0 0 0 98795 221 0 0 25 0 1 0 792256515 15593472 2394 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3807 2394 566 18 0 3789 0 vsize: 15228 [startup+1000.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2420 0 0 0 99794 223 0 0 25 0 1 0 792256515 15593472 2394 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3807 2394 566 18 0 3789 0 vsize: 15228 [startup+1010.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2426 0 0 0 100791 225 0 0 25 0 1 0 792256515 15593472 2400 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3807 2400 566 18 0 3789 0 vsize: 15228 [startup+1020.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2430 0 0 0 101790 227 0 0 25 0 1 0 792256515 15593472 2404 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3807 2404 566 18 0 3789 0 vsize: 15228 [startup+1030.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2445 0 0 0 102788 228 0 0 25 0 1 0 792256515 15728640 2419 4294967295 134512640 134581267 3221224592 3221223520 134519913 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3840 2419 566 18 0 3822 0 vsize: 15360 [startup+1040.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2463 0 0 0 103786 231 0 0 25 0 1 0 792256515 15728640 2437 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3840 2437 566 18 0 3822 0 vsize: 15360 [startup+1050.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2466 0 0 0 104785 232 0 0 25 0 1 0 792256515 15867904 2440 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3874 2440 566 18 0 3856 0 vsize: 15496 [startup+1060.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2466 0 0 0 105784 234 0 0 25 0 1 0 792256515 15867904 2440 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3874 2440 566 18 0 3856 0 vsize: 15496 [startup+1070.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2466 0 0 0 106782 235 0 0 25 0 1 0 792256515 15867904 2440 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3874 2440 566 18 0 3856 0 vsize: 15496 [startup+1080.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2467 0 0 0 107780 238 0 0 25 0 1 0 792256515 15867904 2441 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3874 2441 566 18 0 3856 0 vsize: 15496 [startup+1090.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2478 0 0 0 108778 240 0 0 25 0 1 0 792256515 15867904 2452 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3874 2452 566 18 0 3856 0 vsize: 15496 [startup+1100.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2478 0 0 0 109775 243 0 0 25 0 1 0 792256515 15867904 2452 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3874 2452 566 18 0 3856 0 vsize: 15496 [startup+1110.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2480 0 0 0 110774 244 0 0 25 0 1 0 792256515 15867904 2454 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3874 2454 566 18 0 3856 0 vsize: 15496 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2480 0 0 0 111773 246 0 0 25 0 1 0 792256515 15867904 2454 4294967295 134512640 134581267 3221224592 3221223520 134520024 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3874 2454 566 18 0 3856 0 vsize: 15496 [startup+1130.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2483 0 0 0 112771 247 0 0 25 0 1 0 792256515 15867904 2457 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3874 2457 566 18 0 3856 0 vsize: 15496 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2483 0 0 0 113770 249 0 0 25 0 1 0 792256515 15867904 2457 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3874 2457 566 18 0 3856 0 vsize: 15496 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2483 0 0 0 114767 252 0 0 25 0 1 0 792256515 15867904 2457 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3874 2457 566 18 0 3856 0 vsize: 15496 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2535 0 0 0 115766 253 0 0 25 0 1 0 792256515 16130048 2509 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3938 2509 566 18 0 3920 0 vsize: 15752 [startup+1170.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2535 0 0 0 116763 256 0 0 25 0 1 0 792256515 16130048 2509 4294967295 134512640 134581267 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3938 2509 566 18 0 3920 0 vsize: 15752 [startup+1180.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2535 0 0 0 117761 258 0 0 25 0 1 0 792256515 16130048 2509 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3938 2509 566 18 0 3920 0 vsize: 15752 [startup+1188.82 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 2353 Raw data (stat): 2353 (Pueblo-v2) R 2352 8378 8377 0 -1 0 2535 0 0 0 117761 258 0 0 25 0 1 0 792256515 16130048 2509 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3938 2509 566 18 0 3920 0 vsize: 0 Child status: 10 Real time (s): 1188.82 CPU time (s): 1189.01 CPU user time (s): 1186.4 CPU system time (s): 2.6086 CPU usage (%): 100.016 Max. virtual memory (Kb): 15752 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 70 #### END VERIFIER DATA ####