Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e2.opb |
MD5SUM | 4e882bbd92f288daf6e68ac3de757136 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 235 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 534 |
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 | 534 |
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 | 534 |
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.03084 |
Number of variables | 534 |
Total number of constraints | 3013 |
Number of constraints which are clauses | 3013 |
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 | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-02 08:05:52 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26429 boxname=wulflinc5 idbench=159 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: 4e882bbd92f288daf6e68ac3de757136 /oldhome/oroussel/tmp/wulflinc5/normalized-ii32e2.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-ii32e2.opb IDLAUNCH: 26429 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 677180 kB Buffers: 34600 kB Cached: 299868 kB SwapCached: 568 kB Active: 53564 kB Inactive: 282948 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 676928 kB SwapTotal: 2097136 kB SwapFree: 2095632 kB Dirty: 32 kB Writeback: 0 kB Mapped: 5140 kB Slab: 15388 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-02 08:25:41 (client local time) WITH STATUS 10 IN 1189.01 SECONDS stats: 26429 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/wulflinc5/normalized-ii32e2.opb c #variables read: 534 - #constraints read: 3014 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 #### 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.92 0.98 0.93 1/54 1951 Raw data (stat): 1951 (runsolver) R 1950 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848212751 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+10.0005 s] Raw data (loadavg): 0.93 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 1269 0 0 0 994 5 0 0 25 0 1 0 848212751 10842112 1243 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2647 1243 566 18 0 2629 0 vsize: 10588 [startup+20.0012 s] Raw data (loadavg): 0.94 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 1454 0 0 0 1991 8 0 0 25 0 1 0 848212751 11632640 1428 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2840 1428 566 18 0 2822 0 vsize: 11360 [startup+30.0016 s] Raw data (loadavg): 0.95 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 1556 0 0 0 2988 11 0 0 25 0 1 0 848212751 12025856 1530 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2936 1530 566 18 0 2918 0 vsize: 11744 [startup+40.0017 s] Raw data (loadavg): 0.96 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 1669 0 0 0 3984 15 0 0 25 0 1 0 848212751 12419072 1643 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3032 1643 566 18 0 3014 0 vsize: 12128 [startup+50.0014 s] Raw data (loadavg): 0.96 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 1794 0 0 0 4982 17 0 0 25 0 1 0 848212751 13078528 1768 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3193 1768 566 18 0 3175 0 vsize: 12772 [startup+60.0018 s] Raw data (loadavg): 0.97 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 1796 0 0 0 5980 19 0 0 25 0 1 0 848212751 13078528 1770 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3193 1770 566 18 0 3175 0 vsize: 12772 [startup+70.0019 s] Raw data (loadavg): 0.97 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 1916 0 0 0 6978 22 0 0 25 0 1 0 848212751 13471744 1890 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3289 1890 566 18 0 3271 0 vsize: 13156 [startup+80.0026 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 1938 0 0 0 7974 25 0 0 25 0 1 0 848212751 13602816 1912 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3321 1912 566 18 0 3303 0 vsize: 13284 [startup+90.0021 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 1938 0 0 0 8971 29 0 0 25 0 1 0 848212751 13602816 1912 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3321 1912 566 18 0 3303 0 vsize: 13284 [startup+100.002 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2071 0 0 0 9968 31 0 0 25 0 1 0 848212751 14127104 2045 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3449 2045 566 18 0 3431 0 vsize: 13796 [startup+110.003 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2076 0 0 0 10967 33 0 0 25 0 1 0 848212751 14127104 2050 4294967295 134512640 134581267 3221224592 3221223456 134528343 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3449 2050 566 18 0 3431 0 vsize: 13796 [startup+120.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2103 0 0 0 11964 36 0 0 25 0 1 0 848212751 14262272 2077 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3482 2077 566 18 0 3464 0 vsize: 13928 [startup+130.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2105 0 0 0 12961 39 0 0 25 0 1 0 848212751 14262272 2079 4294967295 134512640 134581267 3221224592 3221223536 134558887 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3482 2079 566 18 0 3464 0 vsize: 13928 [startup+140.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2105 0 0 0 13959 42 0 0 25 0 1 0 848212751 14262272 2079 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3482 2079 566 18 0 3464 0 vsize: 13928 [startup+150.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2243 0 0 0 14956 45 0 0 25 0 1 0 848212751 14786560 2217 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3610 2217 566 18 0 3592 0 vsize: 14440 [startup+160.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2263 0 0 0 15954 47 0 0 25 0 1 0 848212751 14917632 2237 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3642 2237 566 18 0 3624 0 vsize: 14568 [startup+170.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2263 0 0 0 16951 51 0 0 25 0 1 0 848212751 14917632 2237 4294967295 134512640 134581267 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3642 2237 566 18 0 3624 0 vsize: 14568 [startup+180.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2263 0 0 0 17947 55 0 0 25 0 1 0 848212751 14917632 2237 4294967295 134512640 134581267 3221224592 3221223520 134519809 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3642 2237 566 18 0 3624 0 vsize: 14568 [startup+190.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2264 0 0 0 18944 57 0 0 25 0 1 0 848212751 14917632 2238 4294967295 134512640 134581267 3221224592 3221223456 134528216 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3642 2238 566 18 0 3624 0 vsize: 14568 [startup+200.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2271 0 0 0 19940 61 0 0 25 0 1 0 848212751 14917632 2245 4294967295 134512640 134581267 3221224592 3221223456 134528304 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3642 2245 566 18 0 3624 0 vsize: 14568 [startup+210.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2271 0 0 0 20938 64 0 0 25 0 1 0 848212751 14917632 2245 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3642 2245 566 18 0 3624 0 vsize: 14568 [startup+220.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2424 0 0 0 21934 68 0 0 25 0 1 0 848212751 15577088 2398 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3803 2398 566 18 0 3785 0 vsize: 15212 [startup+230.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2425 0 0 0 22931 71 0 0 25 0 1 0 848212751 15577088 2399 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3803 2399 566 18 0 3785 0 vsize: 15212 [startup+240.004 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2445 0 0 0 23928 75 0 0 25 0 1 0 848212751 15708160 2419 4294967295 134512640 134581267 3221224592 3221223456 134528240 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3835 2419 566 18 0 3817 0 vsize: 15340 [startup+250.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2445 0 0 0 24925 78 0 0 25 0 1 0 848212751 15695872 2419 4294967295 134512640 134581267 3221224592 3221223536 134558791 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3832 2419 566 18 0 3814 0 vsize: 15328 [startup+260.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2445 0 0 0 25923 80 0 0 25 0 1 0 848212751 15683584 2419 4294967295 134512640 134581267 3221224592 3221223456 134528346 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3829 2419 566 18 0 3811 0 vsize: 15316 [startup+270.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2445 0 0 0 26920 84 0 0 25 0 1 0 848212751 15675392 2419 4294967295 134512640 134581267 3221224592 3221223536 134558895 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3827 2419 566 18 0 3809 0 vsize: 15308 [startup+280.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2445 0 0 0 27917 87 0 0 25 0 1 0 848212751 15646720 2419 4294967295 134512640 134581267 3221224592 3221223520 134519883 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3820 2419 566 18 0 3802 0 vsize: 15280 [startup+290.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2445 0 0 0 28913 90 0 0 25 0 1 0 848212751 15626240 2419 4294967295 134512640 134581267 3221224592 3221223536 134558784 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3815 2419 566 18 0 3797 0 vsize: 15260 [startup+300.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2445 0 0 0 29911 93 0 0 25 0 1 0 848212751 15626240 2419 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3815 2419 566 18 0 3797 0 vsize: 15260 [startup+310.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2445 0 0 0 30908 96 0 0 25 0 1 0 848212751 15626240 2419 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3815 2419 566 18 0 3797 0 vsize: 15260 [startup+320.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2445 0 0 0 31905 99 0 0 25 0 1 0 848212751 15609856 2419 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3811 2419 566 18 0 3793 0 vsize: 15244 [startup+330.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2445 0 0 0 32902 102 0 0 25 0 1 0 848212751 15609856 2419 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3811 2419 566 18 0 3793 0 vsize: 15244 [startup+340.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2679 0 0 0 33899 105 0 0 25 0 1 0 848212751 16666624 2653 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4069 2653 566 18 0 4051 0 vsize: 16276 [startup+350.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2679 0 0 0 34896 108 0 0 25 0 1 0 848212751 16666624 2653 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4069 2653 566 18 0 4051 0 vsize: 16276 [startup+360.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2679 0 0 0 35894 111 0 0 25 0 1 0 848212751 16642048 2653 4294967295 134512640 134581267 3221224592 3221223536 134558791 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4063 2653 566 18 0 4045 0 vsize: 16252 [startup+370.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2693 0 0 0 36891 114 0 0 25 0 1 0 848212751 16642048 2667 4294967295 134512640 134581267 3221224592 3221222864 134566215 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4063 2667 566 18 0 4045 0 vsize: 16252 [startup+380.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2693 0 0 0 37888 117 0 0 25 0 1 0 848212751 16642048 2667 4294967295 134512640 134581267 3221224592 3221223456 134528216 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4063 2667 566 18 0 4045 0 vsize: 16252 [startup+390.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2693 0 0 0 38885 120 0 0 25 0 1 0 848212751 16642048 2667 4294967295 134512640 134581267 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4063 2667 566 18 0 4045 0 vsize: 16252 [startup+400.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2693 0 0 0 39882 124 0 0 25 0 1 0 848212751 16642048 2667 4294967295 134512640 134581267 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4063 2667 566 18 0 4045 0 vsize: 16252 [startup+410.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2693 0 0 0 40882 126 0 0 25 0 1 0 848212751 16642048 2667 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4063 2667 566 18 0 4045 0 vsize: 16252 [startup+420.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2693 0 0 0 41879 129 0 0 25 0 1 0 848212751 16642048 2667 4294967295 134512640 134581267 3221224592 3221223456 134528299 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4063 2667 566 18 0 4045 0 vsize: 16252 [startup+430.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2693 0 0 0 42876 132 0 0 25 0 1 0 848212751 16642048 2667 4294967295 134512640 134581267 3221224592 3221223456 134528216 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4063 2667 566 18 0 4045 0 vsize: 16252 [startup+440.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2712 0 0 0 43873 136 0 0 25 0 1 0 848212751 16773120 2686 4294967295 134512640 134581267 3221224592 3221223472 134520222 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4095 2686 566 18 0 4077 0 vsize: 16380 [startup+450.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2712 0 0 0 44871 138 0 0 25 0 1 0 848212751 16773120 2686 4294967295 134512640 134581267 3221224592 3221223536 134558775 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4095 2686 566 18 0 4077 0 vsize: 16380 [startup+460.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2712 0 0 0 45869 140 0 0 25 0 1 0 848212751 16773120 2686 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4095 2686 566 18 0 4077 0 vsize: 16380 [startup+470.03 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2712 0 0 0 46866 143 0 0 25 0 1 0 848212751 16764928 2686 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4093 2686 566 18 0 4075 0 vsize: 16372 [startup+480.03 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2712 0 0 0 47864 146 0 0 25 0 1 0 848212751 16756736 2686 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4091 2686 566 18 0 4073 0 vsize: 16364 [startup+490.031 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2712 0 0 0 48861 148 0 0 25 0 1 0 848212751 16740352 2686 4294967295 134512640 134581267 3221224592 3221223456 134528238 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4087 2686 566 18 0 4069 0 vsize: 16348 [startup+500.03 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2712 0 0 0 49858 151 0 0 25 0 1 0 848212751 16728064 2686 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4084 2686 566 18 0 4066 0 vsize: 16336 [startup+510.03 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2774 0 0 0 50856 154 0 0 25 0 1 0 848212751 16986112 2748 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4147 2748 566 18 0 4129 0 vsize: 16588 [startup+520.03 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2857 0 0 0 51853 157 0 0 25 0 1 0 848212751 17379328 2831 4294967295 134512640 134581267 3221224592 3221223584 134560928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4243 2831 566 18 0 4225 0 vsize: 16972 [startup+530.031 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2875 0 0 0 52850 161 0 0 25 0 1 0 848212751 17379328 2849 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4243 2849 566 18 0 4225 0 vsize: 16972 [startup+540.032 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2884 0 0 0 53848 163 0 0 25 0 1 0 848212751 17510400 2858 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4275 2858 566 18 0 4257 0 vsize: 17100 [startup+550.032 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2889 0 0 0 54845 165 0 0 25 0 1 0 848212751 17510400 2863 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4275 2863 566 18 0 4257 0 vsize: 17100 [startup+560.032 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2895 0 0 0 55843 168 0 0 25 0 1 0 848212751 17510400 2869 4294967295 134512640 134581267 3221224592 3221223244 1075289104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4275 2869 566 18 0 4257 0 vsize: 17100 [startup+570.032 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2895 0 0 0 56841 170 0 0 25 0 1 0 848212751 17510400 2869 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4275 2869 566 18 0 4257 0 vsize: 17100 [startup+580.033 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2896 0 0 0 57839 172 0 0 25 0 1 0 848212751 17510400 2870 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4275 2870 566 18 0 4257 0 vsize: 17100 [startup+590.033 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2925 0 0 0 58836 175 0 0 25 0 1 0 848212751 17641472 2899 4294967295 134512640 134581267 3221224592 3221223536 134558795 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4307 2899 566 18 0 4289 0 vsize: 17228 [startup+600.032 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2925 0 0 0 59833 179 0 0 25 0 1 0 848212751 17641472 2899 4294967295 134512640 134581267 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4307 2899 566 18 0 4289 0 vsize: 17228 [startup+610.033 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2925 0 0 0 60831 181 0 0 25 0 1 0 848212751 17641472 2899 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4307 2899 566 18 0 4289 0 vsize: 17228 [startup+620.033 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2925 0 0 0 61829 183 0 0 25 0 1 0 848212751 17629184 2899 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4304 2899 566 18 0 4286 0 vsize: 17216 [startup+630.033 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2925 0 0 0 62826 186 0 0 25 0 1 0 848212751 17604608 2899 4294967295 134512640 134581267 3221224592 3221223584 134561090 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4298 2899 566 18 0 4280 0 vsize: 17192 [startup+640.034 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 63823 190 0 0 25 0 1 0 848212751 17604608 2903 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4298 2903 566 18 0 4280 0 vsize: 17192 [startup+650.034 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 64820 192 0 0 25 0 1 0 848212751 17604608 2903 4294967295 134512640 134581267 3221224592 3221223404 1075285664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4298 2903 566 18 0 4280 0 vsize: 17192 [startup+660.035 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 65817 196 0 0 25 0 1 0 848212751 17604608 2903 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4298 2903 566 18 0 4280 0 vsize: 17192 [startup+670.035 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 66814 199 0 0 25 0 1 0 848212751 17604608 2903 4294967295 134512640 134581267 3221224592 3221223504 134527645 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4298 2903 566 18 0 4280 0 vsize: 17192 [startup+680.035 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 67812 201 0 0 25 0 1 0 848212751 17604608 2903 4294967295 134512640 134581267 3221224592 3221223472 134520432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4298 2903 566 18 0 4280 0 vsize: 17192 [startup+690.035 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 68809 204 0 0 25 0 1 0 848212751 17604608 2903 4294967295 134512640 134581267 3221224592 3221223520 134519788 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4298 2903 566 18 0 4280 0 vsize: 17192 [startup+700.035 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 69807 207 0 0 25 0 1 0 848212751 17604608 2903 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4298 2903 566 18 0 4280 0 vsize: 17192 [startup+710.035 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 70804 210 0 0 25 0 1 0 848212751 17604608 2903 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4298 2903 566 18 0 4280 0 vsize: 17192 [startup+720.035 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 71801 213 0 0 25 0 1 0 848212751 17592320 2903 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4295 2903 566 18 0 4277 0 vsize: 17180 [startup+730.035 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 72798 216 0 0 25 0 1 0 848212751 17588224 2903 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4294 2903 566 18 0 4276 0 vsize: 17176 [startup+740.035 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 73796 219 0 0 25 0 1 0 848212751 17588224 2903 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4294 2903 566 18 0 4276 0 vsize: 17176 [startup+750.035 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 74793 221 0 0 25 0 1 0 848212751 17571840 2900 4294967295 134512640 134581267 3221224592 3221223504 134527729 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4290 2900 566 18 0 4272 0 vsize: 17160 [startup+760.036 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 2929 0 0 0 75790 224 0 0 25 0 1 0 848212751 17551360 2895 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4285 2895 566 18 0 4267 0 vsize: 17140 [startup+770.035 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3098 0 0 0 76788 226 0 0 25 0 1 0 848212751 18333696 3061 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4476 3061 566 18 0 4458 0 vsize: 17904 [startup+780.035 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3148 0 0 0 77785 230 0 0 25 0 1 0 848212751 18468864 3111 4294967295 134512640 134581267 3221224592 3221223204 1074910621 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4509 3111 566 18 0 4491 0 vsize: 18036 [startup+790.036 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3148 0 0 0 78781 234 0 0 25 0 1 0 848212751 18468864 3111 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4509 3111 566 18 0 4491 0 vsize: 18036 [startup+800.035 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3148 0 0 0 79779 237 0 0 25 0 1 0 848212751 18468864 3111 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4509 3111 566 18 0 4491 0 vsize: 18036 [startup+810.036 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3148 0 0 0 80776 240 0 0 25 0 1 0 848212751 18468864 3111 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4509 3111 566 18 0 4491 0 vsize: 18036 [startup+820.036 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3154 0 0 0 81773 243 0 0 25 0 1 0 848212751 18468864 3117 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4509 3117 566 18 0 4491 0 vsize: 18036 [startup+830.037 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3190 0 0 0 82771 245 0 0 25 0 1 0 848212751 18620416 3153 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4546 3153 566 18 0 4528 0 vsize: 18184 [startup+840.037 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3190 0 0 0 83767 249 0 0 25 0 1 0 848212751 18620416 3153 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4546 3153 566 18 0 4528 0 vsize: 18184 [startup+850.037 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3190 0 0 0 84765 252 0 0 25 0 1 0 848212751 18620416 3153 4294967295 134512640 134581267 3221224592 3221223504 134527768 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4546 3153 566 18 0 4528 0 vsize: 18184 [startup+860.037 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 85762 255 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+870.037 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 86760 257 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+880.038 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 87757 260 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+890.039 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 88754 263 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223488 134517958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+900.038 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 89752 266 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223584 134561067 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+910.039 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 90749 269 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+920.039 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 91745 272 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+930.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 92743 276 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+940.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 93740 278 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+950.039 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 94736 282 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+960.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 95733 285 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+970.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 96731 288 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223456 134528352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+980.041 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 97729 290 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+990.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 98727 292 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+1000.04 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 99724 295 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+1010.04 s] Raw data (loadavg): 1.07 1.00 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 100721 298 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+1020.04 s] Raw data (loadavg): 1.06 1.00 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 101718 301 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223456 134528249 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+1030.04 s] Raw data (loadavg): 1.05 1.00 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 102716 304 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223536 134558887 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+1040.04 s] Raw data (loadavg): 1.04 1.00 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 103714 306 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+1050.04 s] Raw data (loadavg): 1.04 1.00 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 104712 309 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223456 134528315 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+1060.04 s] Raw data (loadavg): 1.03 1.00 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 105709 311 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223536 134558908 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+1070.04 s] Raw data (loadavg): 1.03 1.00 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 106708 313 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223456 134528340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+1080.04 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 107705 316 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+1090.04 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 108703 318 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+1100.04 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 109700 321 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+1110.04 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 110698 324 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223456 134528315 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+1120.04 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 111695 326 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+1130.04 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 112693 329 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223488 134517924 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+1140.04 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 113690 332 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 114688 334 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223456 134528222 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 115685 337 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3191 0 0 0 116683 340 0 0 25 0 1 0 848212751 18755584 3154 4294967295 134512640 134581267 3221224592 3221223520 134519853 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4579 3154 566 18 0 4561 0 vsize: 18316 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3355 0 0 0 117681 342 0 0 25 0 1 0 848212751 19410944 3318 4294967295 134512640 134581267 3221224592 3221223584 134561024 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4739 3318 566 18 0 4721 0 vsize: 18956 [startup+1188.82 s] Raw data (loadavg): 1.00 1.00 0.93 1/53 1951 Raw data (stat): 1951 (Pueblo-v2) R 1950 7266 7265 0 -1 0 3355 0 0 0 117681 342 0 0 25 0 1 0 848212751 19410944 3318 4294967295 134512640 134581267 3221224592 3221223584 134561024 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4739 3318 566 18 0 4721 0 vsize: 0 Child status: 10 Real time (s): 1188.82 CPU time (s): 1189.01 CPU user time (s): 1185.56 CPU system time (s): 3.44948 CPU usage (%): 100.016 Max. virtual memory (Kb): 18956 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 236 #### END VERIFIER DATA ####