Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a4.opb |
MD5SUM | 8a77190c2eeefb9e88447a9087adfd6f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 283 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 792 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 792 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 792 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02084 |
Number of variables | 792 |
Total number of constraints | 3194 |
Number of constraints which are clauses | 3194 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 8 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-02 08:24:36 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26436 boxname=wulflinc2 idbench=166 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: 8a77190c2eeefb9e88447a9087adfd6f /oldhome/oroussel/tmp/wulflinc2/normalized-ii8a4.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-ii8a4.opb IDLAUNCH: 26436 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 709280 kB Buffers: 33696 kB Cached: 269876 kB SwapCached: 1136 kB Active: 54012 kB Inactive: 252060 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 709028 kB SwapTotal: 2097136 kB SwapFree: 2095024 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5056 kB Slab: 13600 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-02 08:44:25 (client local time) WITH STATUS 10 IN 1189.02 SECONDS stats: 26436 0 1189.02 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/wulflinc2/normalized-ii8a4.opb c #variables read: 792 - #constraints read: 3195 s SATISFIABLE v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 -x11 x12 -x13 x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 -x33 x34 x35 -x36 -x37 x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 -x55 x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 -x73 -x74 x75 -x76 -x77 x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 -x91 x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 -x107 x108 -x109 x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 -x139 x140 -x141 x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 -x171 x172 -x173 x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 -x195 x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 x208 x209 -x210 -x211 x212 -x213 x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 x230 x231 -x232 -x233 x234 -x235 x236 -x237 x238 -x239 x240 -x241 -x242 -x243 x244 -x245 x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 x256 -x257 x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 x280 -x281 x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 x290 -x291 x292 x293 -x294 -x295 x296 -x297 x298 -x299 x300 -x301 x302 -x303 x304 x305 -x306 -x307 x308 -x309 x310 -x311 x312 -x313 -x314 -x315 x316 -x317 x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 x339 -x340 -x341 x342 -x343 x344 -x345 x346 -x347 x348 -x349 x350 -x351 x352 x353 -x354 -x355 x356 -x357 x358 -x359 x360 -x361 -x362 -x363 x364 -x365 x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 x376 -x377 x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 x388 -x389 x390 -x391 -x392 x393 -x394 -x395 -x396 x397 -x398 -x399 x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 x414 -x415 -x416 x417 -x418 -x419 -x420 x421 -x422 -x423 x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 x446 -x447 x448 x449 -x450 -x451 x452 -x453 x454 -x455 x456 -x457 x458 -x459 x460 x461 -x462 -x463 x464 -x465 x466 -x467 x468 -x469 -x470 -x471 x472 -x473 x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 x482 -x483 x484 x485 -x486 -x487 x488 -x489 x490 -x491 x492 -x493 x494 x495 -x496 -x497 x498 -x499 x500 -x501 x502 -x503 x504 -x505 -x506 -x507 x508 -x509 x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 x522 -x523 -x524 x525 -x526 -x527 -x528 x529 -x530 -x531 x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 x544 x545 -x546 -x547 x548 -x549 x550 -x551 x552 -x553 x554 -x555 x556 x557 -x558 -x559 x560 -x561 x562 -x563 x564 -x565 -x566 x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 x590 -x591 x592 x593 -x594 -x595 x596 -x597 x598 -x599 x600 -x601 -x602 -x603 x604 -x605 x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 x614 -x615 x616 x617 -x618 -x619 x620 -x621 x622 -x623 x624 -x625 x626 x627 -x628 -x629 x630 -x631 x632 -x633 x634 -x635 x636 -x637 -x638 -x639 x640 -x641 x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 x652 -x653 x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 x662 -x663 x664 x665 -x666 -x667 x668 -x669 x670 -x671 x672 -x673 x674 -x675 x676 x677 -x678 -x679 x680 -x681 x682 -x683 x684 -x685 -x686 -x687 x688 -x689 x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 x698 -x699 x700 x701 -x702 -x703 x704 -x705 x706 -x707 x708 -x709 -x710 -x711 x712 -x713 x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 x722 -x723 x724 x725 -x726 -x727 x728 -x729 x730 -x731 x732 x733 -x734 -x735 x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 x747 -x748 -x749 x750 -x751 x752 -x753 x754 -x755 x756 -x757 x758 -x759 x760 x761 -x762 -x763 x764 -x765 x766 -x767 x768 -x769 x770 -x771 x772 x773 -x774 -x775 x776 -x777 x778 -x779 x780 -x781 x782 x783 -x784 -x785 x786 -x787 x788 -x789 x790 -x791 x792 #### 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.91 0.97 0.91 2/54 20561 Raw data (stat): 20561 (runsolver) R 20560 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848328701 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0004 s] Raw data (loadavg): 0.93 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 1358 0 0 0 994 5 0 0 25 0 1 0 848328701 11177984 1332 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2729 1332 566 18 0 2711 0 vsize: 10916 [startup+20.0014 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 1642 0 0 0 1991 7 0 0 25 0 1 0 848328701 12357632 1616 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3017 1616 566 18 0 2999 0 vsize: 12068 [startup+30.0021 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 1785 0 0 0 2989 10 0 0 25 0 1 0 848328701 12881920 1759 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3145 1759 566 18 0 3127 0 vsize: 12580 [startup+40.0014 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 1937 0 0 0 3986 13 0 0 25 0 1 0 848328701 13541376 1911 4294967295 134512640 134581267 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3306 1911 566 18 0 3288 0 vsize: 13224 [startup+50.0024 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 1962 0 0 0 4983 16 0 0 25 0 1 0 848328701 13672448 1936 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3338 1936 566 18 0 3320 0 vsize: 13352 [startup+60.0022 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 2111 0 0 0 5981 18 0 0 25 0 1 0 848328701 14331904 2085 4294967295 134512640 134581267 3221224592 3221223500 134527740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3499 2085 566 18 0 3481 0 vsize: 13996 [startup+70.0025 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 2126 0 0 0 6980 20 0 0 25 0 1 0 848328701 14331904 2100 4294967295 134512640 134581267 3221224592 3221223456 134528235 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3499 2100 566 18 0 3481 0 vsize: 13996 [startup+80.0035 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 2277 0 0 0 7978 22 0 0 25 0 1 0 848328701 14987264 2251 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3659 2251 566 18 0 3641 0 vsize: 14636 [startup+90.0036 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 2283 0 0 0 8975 25 0 0 25 0 1 0 848328701 14987264 2257 4294967295 134512640 134581267 3221224592 3221223488 134517615 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3659 2257 566 18 0 3641 0 vsize: 14636 [startup+100.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 2314 0 0 0 9973 27 0 0 25 0 1 0 848328701 15118336 2288 4294967295 134512640 134581267 3221224592 3221223520 134519844 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3691 2288 566 18 0 3673 0 vsize: 14764 [startup+110.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 2335 0 0 0 10971 30 0 0 25 0 1 0 848328701 15249408 2309 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3723 2309 566 18 0 3705 0 vsize: 14892 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 2443 0 0 0 11968 33 0 0 25 0 1 0 848328701 15642624 2417 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3819 2417 566 18 0 3801 0 vsize: 15276 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 2494 0 0 0 12965 36 0 0 25 0 1 0 848328701 15904768 2468 4294967295 134512640 134581267 3221224592 3221223456 134528291 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3883 2468 566 18 0 3865 0 vsize: 15532 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 2575 0 0 0 13961 40 0 0 25 0 1 0 848328701 16166912 2549 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3947 2549 566 18 0 3929 0 vsize: 15788 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 2612 0 0 0 14958 44 0 0 25 0 1 0 848328701 16297984 2586 4294967295 134512640 134581267 3221224592 3221223456 134528284 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3979 2586 566 18 0 3961 0 vsize: 15916 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 2612 0 0 0 15955 46 0 0 25 0 1 0 848328701 16297984 2586 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3979 2586 566 18 0 3961 0 vsize: 15916 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 2798 0 0 0 16951 50 0 0 25 0 1 0 848328701 17084416 2772 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4171 2772 566 18 0 4153 0 vsize: 16684 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 2798 0 0 0 17949 52 0 0 25 0 1 0 848328701 17035264 2772 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4159 2772 566 18 0 4141 0 vsize: 16636 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 2827 0 0 0 18948 54 0 0 25 0 1 0 848328701 17166336 2801 4294967295 134512640 134581267 3221224592 3221223536 134559432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4191 2801 566 18 0 4173 0 vsize: 16764 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 2827 0 0 0 19946 56 0 0 25 0 1 0 848328701 17166336 2801 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4191 2801 566 18 0 4173 0 vsize: 16764 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 2834 0 0 0 20945 57 0 0 25 0 1 0 848328701 17297408 2808 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4223 2808 566 18 0 4205 0 vsize: 16892 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 2844 0 0 0 21944 59 0 0 25 0 1 0 848328701 17297408 2818 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4223 2818 566 18 0 4205 0 vsize: 16892 [startup+230.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 2851 0 0 0 22943 60 0 0 25 0 1 0 848328701 17297408 2825 4294967295 134512640 134581267 3221224592 3221223504 134527707 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4223 2825 566 18 0 4205 0 vsize: 16892 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 2886 0 0 0 23941 62 0 0 25 0 1 0 848328701 17428480 2860 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4255 2860 566 18 0 4237 0 vsize: 17020 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3059 0 0 0 24938 66 0 0 25 0 1 0 848328701 18214912 3033 4294967295 134512640 134581267 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4447 3033 566 18 0 4429 0 vsize: 17788 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3078 0 0 0 25935 69 0 0 25 0 1 0 848328701 18214912 3052 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4447 3052 566 18 0 4429 0 vsize: 17788 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3092 0 0 0 26933 71 0 0 25 0 1 0 848328701 18345984 3066 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4479 3066 566 18 0 4461 0 vsize: 17916 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3139 0 0 0 27930 74 0 0 25 0 1 0 848328701 18477056 3113 4294967295 134512640 134581267 3221224592 3221223472 134520271 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4511 3113 566 18 0 4493 0 vsize: 18044 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3142 0 0 0 28927 77 0 0 25 0 1 0 848328701 18477056 3116 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4511 3116 566 18 0 4493 0 vsize: 18044 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3148 0 0 0 29925 80 0 0 25 0 1 0 848328701 18477056 3122 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4511 3122 566 18 0 4493 0 vsize: 18044 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3151 0 0 0 30923 82 0 0 25 0 1 0 848328701 18477056 3125 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4511 3125 566 18 0 4493 0 vsize: 18044 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3156 0 0 0 31921 84 0 0 25 0 1 0 848328701 18608128 3130 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4543 3130 566 18 0 4525 0 vsize: 18172 [startup+330.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3163 0 0 0 32917 88 0 0 25 0 1 0 848328701 18608128 3137 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4543 3137 566 18 0 4525 0 vsize: 18172 [startup+340.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3167 0 0 0 33915 90 0 0 25 0 1 0 848328701 18608128 3141 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4543 3141 566 18 0 4525 0 vsize: 18172 [startup+350.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3176 0 0 0 34913 93 0 0 25 0 1 0 848328701 18608128 3150 4294967295 134512640 134581267 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4543 3150 566 18 0 4525 0 vsize: 18172 [startup+360.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3185 0 0 0 35911 95 0 0 25 0 1 0 848328701 18726912 3159 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4572 3159 566 18 0 4554 0 vsize: 18288 [startup+370.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3185 0 0 0 36909 97 0 0 25 0 1 0 848328701 18726912 3159 4294967295 134512640 134581267 3221224592 3221223456 134528304 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4572 3159 566 18 0 4554 0 vsize: 18288 [startup+380.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3393 0 0 0 37906 100 0 0 25 0 1 0 848328701 19509248 3367 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4763 3367 566 18 0 4745 0 vsize: 19052 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3393 0 0 0 38903 103 0 0 25 0 1 0 848328701 19509248 3367 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4763 3367 566 18 0 4745 0 vsize: 19052 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3399 0 0 0 39901 105 0 0 25 0 1 0 848328701 19509248 3373 4294967295 134512640 134581267 3221224592 3221223520 134519797 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4763 3373 566 18 0 4745 0 vsize: 19052 [startup+410.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3416 0 0 0 40899 108 0 0 25 0 1 0 848328701 19640320 3390 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4795 3390 566 18 0 4777 0 vsize: 19180 [startup+420.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3428 0 0 0 41895 112 0 0 25 0 1 0 848328701 19640320 3402 4294967295 134512640 134581267 3221224592 3221223504 134527774 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4795 3402 566 18 0 4777 0 vsize: 19180 [startup+430.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3444 0 0 0 42892 115 0 0 25 0 1 0 848328701 19771392 3418 4294967295 134512640 134581267 3221224592 3221223488 134517478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4827 3418 566 18 0 4809 0 vsize: 19308 [startup+440.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3451 0 0 0 43890 118 0 0 25 0 1 0 848328701 19771392 3425 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4827 3425 566 18 0 4809 0 vsize: 19308 [startup+450.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3464 0 0 0 44888 120 0 0 25 0 1 0 848328701 19771392 3438 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4827 3438 566 18 0 4809 0 vsize: 19308 [startup+460.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3464 0 0 0 45885 123 0 0 25 0 1 0 848328701 19771392 3438 4294967295 134512640 134581267 3221224592 3221223472 134520302 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4827 3438 566 18 0 4809 0 vsize: 19308 [startup+470.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3464 0 0 0 46882 126 0 0 25 0 1 0 848328701 19771392 3438 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4827 3438 566 18 0 4809 0 vsize: 19308 [startup+480.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3477 0 0 0 47879 129 0 0 25 0 1 0 848328701 19902464 3451 4294967295 134512640 134581267 3221224592 3221223456 134528257 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4859 3451 566 18 0 4841 0 vsize: 19436 [startup+490.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3492 0 0 0 48878 131 0 0 25 0 1 0 848328701 19902464 3466 4294967295 134512640 134581267 3221224592 3221223552 134554618 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4859 3466 566 18 0 4841 0 vsize: 19436 [startup+500.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3492 0 0 0 49876 133 0 0 25 0 1 0 848328701 19902464 3466 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4859 3466 566 18 0 4841 0 vsize: 19436 [startup+510.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3501 0 0 0 50872 137 0 0 25 0 1 0 848328701 19902464 3475 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4859 3475 566 18 0 4841 0 vsize: 19436 [startup+520.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3502 0 0 0 51869 140 0 0 25 0 1 0 848328701 20029440 3476 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4890 3476 566 18 0 4872 0 vsize: 19560 [startup+530.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3502 0 0 0 52867 143 0 0 25 0 1 0 848328701 19988480 3476 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4880 3476 566 18 0 4862 0 vsize: 19520 [startup+540.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3510 0 0 0 53862 147 0 0 25 0 1 0 848328701 19988480 3484 4294967295 134512640 134581267 3221224592 3221223456 134528287 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4880 3484 566 18 0 4862 0 vsize: 19520 [startup+550.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3523 0 0 0 54860 150 0 0 25 0 1 0 848328701 20119552 3497 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4912 3497 566 18 0 4894 0 vsize: 19648 [startup+560.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3532 0 0 0 55857 153 0 0 25 0 1 0 848328701 20119552 3506 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4912 3506 566 18 0 4894 0 vsize: 19648 [startup+570.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3707 0 0 0 56854 156 0 0 25 0 1 0 848328701 20774912 3681 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5072 3681 566 18 0 5054 0 vsize: 20288 [startup+580.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3716 0 0 0 57851 159 0 0 25 0 1 0 848328701 20905984 3690 4294967295 134512640 134581267 3221224592 3221223520 134519883 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5104 3690 566 18 0 5086 0 vsize: 20416 [startup+590.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3735 0 0 0 58848 163 0 0 25 0 1 0 848328701 20905984 3709 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5104 3709 566 18 0 5086 0 vsize: 20416 [startup+600.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3742 0 0 0 59846 165 0 0 25 0 1 0 848328701 20905984 3716 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5104 3716 566 18 0 5086 0 vsize: 20416 [startup+610.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3754 0 0 0 60842 168 0 0 25 0 1 0 848328701 21037056 3728 4294967295 134512640 134581267 3221224592 3221223584 134560816 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5136 3728 566 18 0 5118 0 vsize: 20544 [startup+620.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3754 0 0 0 61840 171 0 0 25 0 1 0 848328701 21037056 3728 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5136 3728 566 18 0 5118 0 vsize: 20544 [startup+630.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3767 0 0 0 62837 174 0 0 25 0 1 0 848328701 21037056 3741 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5136 3741 566 18 0 5118 0 vsize: 20544 [startup+640.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3789 0 0 0 63834 177 0 0 25 0 1 0 848328701 21168128 3763 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5168 3763 566 18 0 5150 0 vsize: 20672 [startup+650.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3789 0 0 0 64831 180 0 0 25 0 1 0 848328701 21168128 3763 4294967295 134512640 134581267 3221224592 3221223520 134519955 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5168 3763 566 18 0 5150 0 vsize: 20672 [startup+660.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3789 0 0 0 65828 183 0 0 25 0 1 0 848328701 21168128 3763 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5168 3763 566 18 0 5150 0 vsize: 20672 [startup+670.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3789 0 0 0 66825 187 0 0 25 0 1 0 848328701 21168128 3763 4294967295 134512640 134581267 3221224592 3221223488 134517743 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5168 3763 566 18 0 5150 0 vsize: 20672 [startup+680.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3789 0 0 0 67822 189 0 0 25 0 1 0 848328701 21168128 3763 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5168 3763 566 18 0 5150 0 vsize: 20672 [startup+690.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3825 0 0 0 68820 192 0 0 25 0 1 0 848328701 21299200 3799 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5200 3799 566 18 0 5182 0 vsize: 20800 [startup+700.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3836 0 0 0 69818 194 0 0 25 0 1 0 848328701 21299200 3810 4294967295 134512640 134581267 3221224592 3221223280 1075288535 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5200 3810 566 18 0 5182 0 vsize: 20800 [startup+710.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3836 0 0 0 70816 197 0 0 25 0 1 0 848328701 21299200 3810 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5200 3810 566 18 0 5182 0 vsize: 20800 [startup+720.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3836 0 0 0 71814 199 0 0 25 0 1 0 848328701 21299200 3810 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5200 3810 566 18 0 5182 0 vsize: 20800 [startup+730.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3836 0 0 0 72811 201 0 0 25 0 1 0 848328701 21299200 3810 4294967295 134512640 134581267 3221224592 3221223536 134558775 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5200 3810 566 18 0 5182 0 vsize: 20800 [startup+740.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3836 0 0 0 73809 204 0 0 25 0 1 0 848328701 21299200 3810 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5200 3810 566 18 0 5182 0 vsize: 20800 [startup+750.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3836 0 0 0 74808 206 0 0 25 0 1 0 848328701 21299200 3810 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5200 3810 566 18 0 5182 0 vsize: 20800 [startup+760.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3849 0 0 0 75806 208 0 0 25 0 1 0 848328701 21430272 3823 4294967295 134512640 134581267 3221224592 3221223504 134527678 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5232 3823 566 18 0 5214 0 vsize: 20928 [startup+770.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3875 0 0 0 76803 211 0 0 25 0 1 0 848328701 21561344 3849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5264 3849 566 18 0 5246 0 vsize: 21056 [startup+780.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3875 0 0 0 77801 213 0 0 25 0 1 0 848328701 21442560 3849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5235 3849 566 18 0 5217 0 vsize: 20940 [startup+790.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3875 0 0 0 78799 215 0 0 25 0 1 0 848328701 21442560 3849 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5235 3849 566 18 0 5217 0 vsize: 20940 [startup+800.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3875 0 0 0 79797 217 0 0 25 0 1 0 848328701 21442560 3849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5235 3849 566 18 0 5217 0 vsize: 20940 [startup+810.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3875 0 0 0 80795 219 0 0 25 0 1 0 848328701 21442560 3849 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5235 3849 566 18 0 5217 0 vsize: 20940 [startup+820.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3875 0 0 0 81793 221 0 0 25 0 1 0 848328701 21438464 3849 4294967295 134512640 134581267 3221224592 3221223448 1075285926 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5234 3849 566 18 0 5216 0 vsize: 20936 [startup+830.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3875 0 0 0 82791 224 0 0 25 0 1 0 848328701 21438464 3849 4294967295 134512640 134581267 3221224592 3221223456 134560354 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5234 3849 566 18 0 5216 0 vsize: 20936 [startup+840.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3875 0 0 0 83788 226 0 0 25 0 1 0 848328701 21438464 3849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5234 3849 566 18 0 5216 0 vsize: 20936 [startup+850.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3892 0 0 0 84787 228 0 0 25 0 1 0 848328701 21569536 3866 4294967295 134512640 134581267 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5266 3866 566 18 0 5248 0 vsize: 21064 [startup+860.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3892 0 0 0 85786 230 0 0 25 0 1 0 848328701 21569536 3866 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5266 3866 566 18 0 5248 0 vsize: 21064 [startup+870.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 3892 0 0 0 86783 232 0 0 25 0 1 0 848328701 21569536 3866 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5266 3866 566 18 0 5248 0 vsize: 21064 [startup+880.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4092 0 0 0 87780 235 0 0 25 0 1 0 848328701 22355968 4066 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5458 4066 566 18 0 5440 0 vsize: 21832 [startup+890.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4108 0 0 0 88778 238 0 0 25 0 1 0 848328701 22487040 4082 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5490 4082 566 18 0 5472 0 vsize: 21960 [startup+900.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4116 0 0 0 89777 239 0 0 25 0 1 0 848328701 22487040 4090 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5490 4090 566 18 0 5472 0 vsize: 21960 [startup+910.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4125 0 0 0 90775 242 0 0 25 0 1 0 848328701 22487040 4099 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5490 4099 566 18 0 5472 0 vsize: 21960 [startup+920.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4140 0 0 0 91771 245 0 0 25 0 1 0 848328701 22618112 4114 4294967295 134512640 134581267 3221224592 3221223504 134527701 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5522 4114 566 18 0 5504 0 vsize: 22088 [startup+930.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4141 0 0 0 92768 249 0 0 25 0 1 0 848328701 22618112 4115 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5522 4115 566 18 0 5504 0 vsize: 22088 [startup+940.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4149 0 0 0 93765 252 0 0 25 0 1 0 848328701 22618112 4123 4294967295 134512640 134581267 3221224592 3221223456 134528284 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5522 4123 566 18 0 5504 0 vsize: 22088 [startup+950.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4166 0 0 0 94761 256 0 0 25 0 1 0 848328701 22749184 4140 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5554 4140 566 18 0 5536 0 vsize: 22216 [startup+960.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4166 0 0 0 95758 259 0 0 25 0 1 0 848328701 22749184 4140 4294967295 134512640 134581267 3221224592 3221223504 134527683 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5554 4140 566 18 0 5536 0 vsize: 22216 [startup+970.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4166 0 0 0 96755 262 0 0 25 0 1 0 848328701 22749184 4140 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5554 4140 566 18 0 5536 0 vsize: 22216 [startup+980.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4168 0 0 0 97752 266 0 0 25 0 1 0 848328701 22749184 4142 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5554 4142 566 18 0 5536 0 vsize: 22216 [startup+990.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4168 0 0 0 98747 270 0 0 25 0 1 0 848328701 22749184 4142 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5554 4142 566 18 0 5536 0 vsize: 22216 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4193 0 0 0 99745 273 0 0 25 0 1 0 848328701 22900736 4167 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5591 4167 566 18 0 5573 0 vsize: 22364 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4206 0 0 0 100742 277 0 0 25 0 1 0 848328701 22900736 4180 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5591 4180 566 18 0 5573 0 vsize: 22364 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4206 0 0 0 101739 280 0 0 25 0 1 0 848328701 22900736 4180 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5591 4180 566 18 0 5573 0 vsize: 22364 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4216 0 0 0 102735 283 0 0 25 0 1 0 848328701 22900736 4190 4294967295 134512640 134581267 3221224592 3221223520 134519883 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5591 4190 566 18 0 5573 0 vsize: 22364 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4227 0 0 0 103732 287 0 0 25 0 1 0 848328701 23031808 4201 4294967295 134512640 134581267 3221224592 3221223536 134558830 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5623 4201 566 18 0 5605 0 vsize: 22492 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4227 0 0 0 104730 289 0 0 25 0 1 0 848328701 23007232 4201 4294967295 134512640 134581267 3221224592 3221223504 134527707 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5617 4201 566 18 0 5599 0 vsize: 22468 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4256 0 0 0 105726 293 0 0 25 0 1 0 848328701 23138304 4230 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5649 4230 566 18 0 5631 0 vsize: 22596 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4268 0 0 0 106722 297 0 0 25 0 1 0 848328701 23138304 4242 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5649 4242 566 18 0 5631 0 vsize: 22596 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4268 0 0 0 107720 300 0 0 25 0 1 0 848328701 23138304 4242 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5649 4242 566 18 0 5631 0 vsize: 22596 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4268 0 0 0 108716 304 0 0 25 0 1 0 848328701 23138304 4242 4294967295 134512640 134581267 3221224592 3221223536 134559043 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5649 4242 566 18 0 5631 0 vsize: 22596 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4301 0 0 0 109713 307 0 0 25 0 1 0 848328701 23269376 4275 4294967295 134512640 134581267 3221224592 3221223456 134528284 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5681 4275 566 18 0 5663 0 vsize: 22724 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4304 0 0 0 110711 309 0 0 25 0 1 0 848328701 23269376 4278 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5681 4278 566 18 0 5663 0 vsize: 22724 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4341 0 0 0 111708 312 0 0 25 0 1 0 848328701 23400448 4315 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5713 4315 566 18 0 5695 0 vsize: 22852 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4350 0 0 0 112706 315 0 0 25 0 1 0 848328701 23531520 4324 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5745 4324 566 18 0 5727 0 vsize: 22980 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4350 0 0 0 113703 317 0 0 25 0 1 0 848328701 23511040 4324 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5740 4324 566 18 0 5722 0 vsize: 22960 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4355 0 0 0 114700 321 0 0 25 0 1 0 848328701 23511040 4329 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5740 4329 566 18 0 5722 0 vsize: 22960 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4371 0 0 0 115697 324 0 0 25 0 1 0 848328701 23642112 4345 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5772 4345 566 18 0 5754 0 vsize: 23088 [startup+1170.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4390 0 0 0 116694 327 0 0 25 0 1 0 848328701 23642112 4364 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5772 4364 566 18 0 5754 0 vsize: 23088 [startup+1180.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4390 0 0 0 117692 329 0 0 25 0 1 0 848328701 23642112 4364 4294967295 134512640 134581267 3221224592 3221223344 1074910621 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5772 4364 566 18 0 5754 0 vsize: 23088 [startup+1188.82 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 20561 Raw data (stat): 20561 (Pueblo-v2) R 20560 31399 31398 0 -1 0 4390 0 0 0 117692 329 0 0 25 0 1 0 848328701 23642112 4364 4294967295 134512640 134581267 3221224592 3221223344 1074910621 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5772 4364 566 18 0 5754 0 vsize: 0 Child status: 10 Real time (s): 1188.82 CPU time (s): 1189.02 CPU user time (s): 1185.7 CPU system time (s): 3.3185 CPU usage (%): 100.017 Max. virtual memory (Kb): 23088 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 312 #### END VERIFIER DATA ####