Name | normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb |
MD5SUM | fe8f615a95a6852516985b8e3e78bd85 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4561 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 577 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 24510 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 24510 |
Number of bits of the biggest sum of numbers | 15 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02584 |
Number of variables | 577 |
Total number of constraints | 1322 |
Number of constraints which are clauses | 1306 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 16 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 17 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-02 10:34:40 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26525 boxname=wulflinc5 idbench=255 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: fe8f615a95a6852516985b8e3e78bd85 /oldhome/oroussel/tmp/wulflinc5/normalized-my_adder.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-my_adder.opb IDLAUNCH: 26525 /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: 676020 kB Buffers: 34812 kB Cached: 300812 kB SwapCached: 568 kB Active: 53884 kB Inactive: 283752 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 675768 kB SwapTotal: 2097136 kB SwapFree: 2095632 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5140 kB Slab: 15384 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-02 10:54:29 (client local time) WITH STATUS 10 IN 1189.02 SECONDS stats: 26525 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/wulflinc5/normalized-my_adder.opb c #variables read: 577 - #constraints read: 1323 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 #### 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.95 0.90 1/54 3551 Raw data (stat): 3551 (runsolver) R 3550 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849105679 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.0006 s] Raw data (loadavg): 0.93 0.95 0.90 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 599 0 0 0 992 7 0 0 25 0 1 0 849105679 8142848 573 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1988 573 566 18 0 1970 0 vsize: 7952 [startup+20.0013 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 672 0 0 0 1984 14 0 0 25 0 1 0 849105679 8400896 646 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2051 646 566 18 0 2033 0 vsize: 8204 [startup+30.0018 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 720 0 0 0 2979 19 0 0 25 0 1 0 849105679 8531968 694 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2083 694 566 18 0 2065 0 vsize: 8332 [startup+40.0028 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 769 0 0 0 3975 24 0 0 25 0 1 0 849105679 8794112 743 4294967295 134512640 134581267 3221224592 3221223456 134560386 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2147 743 566 18 0 2129 0 vsize: 8588 [startup+50.0036 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 782 0 0 0 4970 29 0 0 25 0 1 0 849105679 8794112 756 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2147 756 566 18 0 2129 0 vsize: 8588 [startup+60.003 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 831 0 0 0 5963 36 0 0 25 0 1 0 849105679 9060352 805 4294967295 134512640 134581267 3221224592 3221223520 134519899 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2212 805 566 18 0 2194 0 vsize: 8848 [startup+70.0041 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 857 0 0 0 6958 42 0 0 25 0 1 0 849105679 9191424 831 4294967295 134512640 134581267 3221224592 3221223456 134560328 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2244 831 566 18 0 2226 0 vsize: 8976 [startup+80.0048 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 878 0 0 0 7953 47 0 0 25 0 1 0 849105679 9191424 852 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2244 852 566 18 0 2226 0 vsize: 8976 [startup+90.0052 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 887 0 0 0 8950 50 0 0 25 0 1 0 849105679 9314304 861 4294967295 134512640 134581267 3221224592 3221223504 134527692 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2274 861 566 18 0 2256 0 vsize: 9096 [startup+100.005 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 912 0 0 0 9945 55 0 0 25 0 1 0 849105679 9314304 886 4294967295 134512640 134581267 3221224592 3221223520 134519869 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2274 886 566 18 0 2256 0 vsize: 9096 [startup+110.006 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 914 0 0 0 10941 59 0 0 25 0 1 0 849105679 9449472 888 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2307 888 566 18 0 2289 0 vsize: 9228 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 918 0 0 0 11937 64 0 0 25 0 1 0 849105679 9449472 892 4294967295 134512640 134581267 3221224592 3221223504 134527737 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2307 892 566 18 0 2289 0 vsize: 9228 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 975 0 0 0 12929 72 0 0 25 0 1 0 849105679 9580544 949 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2339 949 566 18 0 2321 0 vsize: 9356 [startup+140.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 990 0 0 0 13923 79 0 0 25 0 1 0 849105679 9711616 964 4294967295 134512640 134581267 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2371 964 566 18 0 2353 0 vsize: 9484 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 994 0 0 0 14918 84 0 0 25 0 1 0 849105679 9711616 968 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2371 968 566 18 0 2353 0 vsize: 9484 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1011 0 0 0 15912 89 0 0 25 0 1 0 849105679 9846784 985 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2404 985 566 18 0 2386 0 vsize: 9616 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1014 0 0 0 16907 95 0 0 25 0 1 0 849105679 9846784 988 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2404 988 566 18 0 2386 0 vsize: 9616 [startup+180.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1056 0 0 0 17901 101 0 0 25 0 1 0 849105679 9977856 1030 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2436 1030 566 18 0 2418 0 vsize: 9744 [startup+190.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1086 0 0 0 18898 105 0 0 25 0 1 0 849105679 10108928 1060 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2468 1060 566 18 0 2450 0 vsize: 9872 [startup+200.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1095 0 0 0 19892 110 0 0 25 0 1 0 849105679 10108928 1069 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2468 1069 566 18 0 2450 0 vsize: 9872 [startup+210.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1095 0 0 0 20888 114 0 0 25 0 1 0 849105679 10108928 1069 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2468 1069 566 18 0 2450 0 vsize: 9872 [startup+220.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1098 0 0 0 21884 119 0 0 25 0 1 0 849105679 10108928 1072 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2468 1072 566 18 0 2450 0 vsize: 9872 [startup+230.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1105 0 0 0 22879 124 0 0 25 0 1 0 849105679 10108928 1079 4294967295 134512640 134581267 3221224592 3221223504 134527707 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2468 1079 566 18 0 2450 0 vsize: 9872 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1110 0 0 0 23874 129 0 0 25 0 1 0 849105679 10211328 1084 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2493 1084 566 18 0 2475 0 vsize: 9972 [startup+250.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1133 0 0 0 24870 133 0 0 25 0 1 0 849105679 10301440 1107 4294967295 134512640 134581267 3221224592 3221223456 134528222 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2515 1107 566 18 0 2497 0 vsize: 10060 [startup+260.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1133 0 0 0 25867 137 0 0 25 0 1 0 849105679 10301440 1107 4294967295 134512640 134581267 3221224592 3221223456 134528304 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2515 1107 566 18 0 2497 0 vsize: 10060 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1134 0 0 0 26863 141 0 0 25 0 1 0 849105679 10301440 1108 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2515 1108 566 18 0 2497 0 vsize: 10060 [startup+280.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1186 0 0 0 27857 147 0 0 25 0 1 0 849105679 10563584 1160 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2579 1160 566 18 0 2561 0 vsize: 10316 [startup+290.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1199 0 0 0 28852 153 0 0 25 0 1 0 849105679 10563584 1173 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2579 1173 566 18 0 2561 0 vsize: 10316 [startup+300.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1199 0 0 0 29844 160 0 0 25 0 1 0 849105679 10563584 1173 4294967295 134512640 134581267 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2579 1173 566 18 0 2561 0 vsize: 10316 [startup+310.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1203 0 0 0 30838 166 0 0 25 0 1 0 849105679 10563584 1177 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2579 1177 566 18 0 2561 0 vsize: 10316 [startup+320.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1214 0 0 0 31830 175 0 0 25 0 1 0 849105679 10698752 1188 4294967295 134512640 134581267 3221224592 3221223488 134527747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2612 1188 566 18 0 2594 0 vsize: 10448 [startup+330.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1214 0 0 0 32822 183 0 0 25 0 1 0 849105679 10698752 1188 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2612 1188 566 18 0 2594 0 vsize: 10448 [startup+340.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1215 0 0 0 33814 191 0 0 25 0 1 0 849105679 10698752 1189 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2612 1189 566 18 0 2594 0 vsize: 10448 [startup+350.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1215 0 0 0 34808 197 0 0 25 0 1 0 849105679 10698752 1189 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2612 1189 566 18 0 2594 0 vsize: 10448 [startup+360.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1215 0 0 0 35801 204 0 0 25 0 1 0 849105679 10698752 1189 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2612 1189 566 18 0 2594 0 vsize: 10448 [startup+370.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1216 0 0 0 36795 211 0 0 25 0 1 0 849105679 10698752 1190 4294967295 134512640 134581267 3221224592 3221223344 134566357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2612 1190 566 18 0 2594 0 vsize: 10448 [startup+380.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1216 0 0 0 37788 218 0 0 25 0 1 0 849105679 10698752 1190 4294967295 134512640 134581267 3221224592 3221223456 134560200 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2612 1190 566 18 0 2594 0 vsize: 10448 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1224 0 0 0 38780 226 0 0 25 0 1 0 849105679 10698752 1198 4294967295 134512640 134581267 3221224592 3221223648 134555766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2612 1198 566 18 0 2594 0 vsize: 10448 [startup+400.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1224 0 0 0 39773 234 0 0 25 0 1 0 849105679 10698752 1198 4294967295 134512640 134581267 3221224592 3221223456 134528238 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2612 1198 566 18 0 2594 0 vsize: 10448 [startup+410.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1224 0 0 0 40766 240 0 0 25 0 1 0 849105679 10698752 1198 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2612 1198 566 18 0 2594 0 vsize: 10448 [startup+420.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1255 0 0 0 41761 246 0 0 25 0 1 0 849105679 10829824 1229 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2644 1229 566 18 0 2626 0 vsize: 10576 [startup+430.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1259 0 0 0 42756 251 0 0 25 0 1 0 849105679 10829824 1233 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2644 1233 566 18 0 2626 0 vsize: 10576 [startup+440.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1269 0 0 0 43751 256 0 0 25 0 1 0 849105679 10829824 1243 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2644 1243 566 18 0 2626 0 vsize: 10576 [startup+450.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1273 0 0 0 44746 261 0 0 25 0 1 0 849105679 10829824 1247 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2644 1247 566 18 0 2626 0 vsize: 10576 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1277 0 0 0 45740 267 0 0 25 0 1 0 849105679 10829824 1251 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2644 1251 566 18 0 2626 0 vsize: 10576 [startup+470.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1277 0 0 0 46734 274 0 0 25 0 1 0 849105679 10829824 1251 4294967295 134512640 134581267 3221224592 3221223504 134527645 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2644 1251 566 18 0 2626 0 vsize: 10576 [startup+480.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1284 0 0 0 47728 280 0 0 25 0 1 0 849105679 10960896 1258 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2676 1258 566 18 0 2658 0 vsize: 10704 [startup+490.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1284 0 0 0 48721 286 0 0 25 0 1 0 849105679 10960896 1258 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2676 1258 566 18 0 2658 0 vsize: 10704 [startup+500.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1285 0 0 0 49718 290 0 0 25 0 1 0 849105679 10960896 1259 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2676 1259 566 18 0 2658 0 vsize: 10704 [startup+510.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1287 0 0 0 50714 294 0 0 25 0 1 0 849105679 10960896 1261 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2676 1261 566 18 0 2658 0 vsize: 10704 [startup+520.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1287 0 0 0 51709 300 0 0 25 0 1 0 849105679 10960896 1261 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2676 1261 566 18 0 2658 0 vsize: 10704 [startup+530.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1292 0 0 0 52705 304 0 0 25 0 1 0 849105679 10960896 1266 4294967295 134512640 134581267 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2676 1266 566 18 0 2658 0 vsize: 10704 [startup+540.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1295 0 0 0 53700 309 0 0 25 0 1 0 849105679 10960896 1269 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2676 1269 566 18 0 2658 0 vsize: 10704 [startup+550.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1295 0 0 0 54695 313 0 0 25 0 1 0 849105679 10960896 1269 4294967295 134512640 134581267 3221224592 3221223476 134560257 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2676 1269 566 18 0 2658 0 vsize: 10704 [startup+560.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1295 0 0 0 55691 318 0 0 25 0 1 0 849105679 10960896 1269 4294967295 134512640 134581267 3221224592 3221223576 134561049 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2676 1269 566 18 0 2658 0 vsize: 10704 [startup+570.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1295 0 0 0 56687 322 0 0 25 0 1 0 849105679 10960896 1269 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2676 1269 566 18 0 2658 0 vsize: 10704 [startup+580.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1295 0 0 0 57682 328 0 0 25 0 1 0 849105679 10960896 1269 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2676 1269 566 18 0 2658 0 vsize: 10704 [startup+590.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1299 0 0 0 58677 332 0 0 25 0 1 0 849105679 10960896 1273 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2676 1273 566 18 0 2658 0 vsize: 10704 [startup+600.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1319 0 0 0 59672 338 0 0 25 0 1 0 849105679 11091968 1293 4294967295 134512640 134581267 3221224592 3221223504 134527707 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2708 1293 566 18 0 2690 0 vsize: 10832 [startup+610.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1319 0 0 0 60667 343 0 0 25 0 1 0 849105679 11067392 1293 4294967295 134512640 134581267 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2702 1293 566 18 0 2684 0 vsize: 10808 [startup+620.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1319 0 0 0 61663 347 0 0 25 0 1 0 849105679 11063296 1293 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2701 1293 566 18 0 2683 0 vsize: 10804 [startup+630.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1319 0 0 0 62660 350 0 0 25 0 1 0 849105679 11063296 1293 4294967295 134512640 134581267 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2701 1293 566 18 0 2683 0 vsize: 10804 [startup+640.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1343 0 0 0 63654 357 0 0 25 0 1 0 849105679 11194368 1317 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2733 1317 566 18 0 2715 0 vsize: 10932 [startup+650.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1355 0 0 0 64650 361 0 0 25 0 1 0 849105679 11194368 1329 4294967295 134512640 134581267 3221224592 3221223500 134527740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2733 1329 566 18 0 2715 0 vsize: 10932 [startup+660.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1364 0 0 0 65644 367 0 0 25 0 1 0 849105679 11194368 1338 4294967295 134512640 134581267 3221224592 3221223536 134559333 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2733 1338 566 18 0 2715 0 vsize: 10932 [startup+670.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1415 0 0 0 66640 371 0 0 25 0 1 0 849105679 11460608 1389 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2798 1389 566 18 0 2780 0 vsize: 11192 [startup+680.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1415 0 0 0 67636 375 0 0 25 0 1 0 849105679 11460608 1389 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2798 1389 566 18 0 2780 0 vsize: 11192 [startup+690.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1415 0 0 0 68632 379 0 0 25 0 1 0 849105679 11460608 1389 4294967295 134512640 134581267 3221224592 3221223584 134561098 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2798 1389 566 18 0 2780 0 vsize: 11192 [startup+700.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1415 0 0 0 69627 384 0 0 25 0 1 0 849105679 11460608 1389 4294967295 134512640 134581267 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2798 1389 566 18 0 2780 0 vsize: 11192 [startup+710.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1417 0 0 0 70622 390 0 0 25 0 1 0 849105679 11460608 1391 4294967295 134512640 134581267 3221224592 3221223504 134527636 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2798 1391 566 18 0 2780 0 vsize: 11192 [startup+720.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1426 0 0 0 71617 395 0 0 25 0 1 0 849105679 11460608 1400 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2798 1400 566 18 0 2780 0 vsize: 11192 [startup+730.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1436 0 0 0 72611 401 0 0 25 0 1 0 849105679 11550720 1410 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2820 1410 566 18 0 2802 0 vsize: 11280 [startup+740.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1438 0 0 0 73605 407 0 0 25 0 1 0 849105679 11550720 1412 4294967295 134512640 134581267 3221224592 3221223456 134560389 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2820 1412 566 18 0 2802 0 vsize: 11280 [startup+750.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1438 0 0 0 74599 414 0 0 25 0 1 0 849105679 11550720 1412 4294967295 134512640 134581267 3221224592 3221223504 134527768 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2820 1412 566 18 0 2802 0 vsize: 11280 [startup+760.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1438 0 0 0 75591 422 0 0 25 0 1 0 849105679 11550720 1412 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2820 1412 566 18 0 2802 0 vsize: 11280 [startup+770.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1438 0 0 0 76585 428 0 0 25 0 1 0 849105679 11550720 1412 4294967295 134512640 134581267 3221224592 3221223456 134528336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2820 1412 566 18 0 2802 0 vsize: 11280 [startup+780.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1438 0 0 0 77579 434 0 0 25 0 1 0 849105679 11550720 1412 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2820 1412 566 18 0 2802 0 vsize: 11280 [startup+790.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1438 0 0 0 78574 440 0 0 25 0 1 0 849105679 11550720 1412 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2820 1412 566 18 0 2802 0 vsize: 11280 [startup+800.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1438 0 0 0 79568 445 0 0 25 0 1 0 849105679 11550720 1412 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2820 1412 566 18 0 2802 0 vsize: 11280 [startup+810.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1438 0 0 0 80563 450 0 0 25 0 1 0 849105679 11550720 1412 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2820 1412 566 18 0 2802 0 vsize: 11280 [startup+820.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1441 0 0 0 81559 455 0 0 25 0 1 0 849105679 11550720 1415 4294967295 134512640 134581267 3221224592 3221223456 134560328 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2820 1415 566 18 0 2802 0 vsize: 11280 [startup+830.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1441 0 0 0 82554 460 0 0 25 0 1 0 849105679 11550720 1415 4294967295 134512640 134581267 3221224592 3221223456 134560340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2820 1415 566 18 0 2802 0 vsize: 11280 [startup+840.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1441 0 0 0 83547 467 0 0 25 0 1 0 849105679 11550720 1415 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2820 1415 566 18 0 2802 0 vsize: 11280 [startup+850.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1441 0 0 0 84542 472 0 0 25 0 1 0 849105679 11550720 1415 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2820 1415 566 18 0 2802 0 vsize: 11280 [startup+860.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1441 0 0 0 85536 478 0 0 25 0 1 0 849105679 11550720 1415 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2820 1415 566 18 0 2802 0 vsize: 11280 [startup+870.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1441 0 0 0 86530 484 0 0 25 0 1 0 849105679 11550720 1415 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2820 1415 566 18 0 2802 0 vsize: 11280 [startup+880.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1441 0 0 0 87525 490 0 0 25 0 1 0 849105679 11550720 1415 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2820 1415 566 18 0 2802 0 vsize: 11280 [startup+890.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1441 0 0 0 88520 495 0 0 25 0 1 0 849105679 11550720 1415 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2820 1415 566 18 0 2802 0 vsize: 11280 [startup+900.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1452 0 0 0 89515 500 0 0 25 0 1 0 849105679 11550720 1426 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2820 1426 566 18 0 2802 0 vsize: 11280 [startup+910.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1458 0 0 0 90511 504 0 0 25 0 1 0 849105679 11673600 1432 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2850 1432 566 18 0 2832 0 vsize: 11400 [startup+920.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1458 0 0 0 91505 511 0 0 25 0 1 0 849105679 11665408 1432 4294967295 134512640 134581267 3221224592 3221223484 134560148 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2848 1432 566 18 0 2830 0 vsize: 11392 [startup+930.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1463 0 0 0 92500 516 0 0 25 0 1 0 849105679 11665408 1437 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2848 1437 566 18 0 2830 0 vsize: 11392 [startup+940.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1463 0 0 0 93493 523 0 0 25 0 1 0 849105679 11661312 1437 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2847 1437 566 18 0 2829 0 vsize: 11388 [startup+950.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1463 0 0 0 94487 529 0 0 25 0 1 0 849105679 11661312 1437 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2847 1437 566 18 0 2829 0 vsize: 11388 [startup+960.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1491 0 0 0 95481 535 0 0 25 0 1 0 849105679 11792384 1465 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2879 1465 566 18 0 2861 0 vsize: 11516 [startup+970.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1514 0 0 0 96477 539 0 0 25 0 1 0 849105679 11931648 1488 4294967295 134512640 134581267 3221224592 3221223456 134560306 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2913 1488 566 18 0 2895 0 vsize: 11652 [startup+980.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1537 0 0 0 97473 543 0 0 25 0 1 0 849105679 11931648 1511 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2913 1511 566 18 0 2895 0 vsize: 11652 [startup+990.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1549 0 0 0 98470 547 0 0 25 0 1 0 849105679 12062720 1523 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2945 1523 566 18 0 2927 0 vsize: 11780 [startup+1000.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1565 0 0 0 99465 551 0 0 25 0 1 0 849105679 12062720 1539 4294967295 134512640 134581267 3221224592 3221222608 134566794 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2945 1539 566 18 0 2927 0 vsize: 11780 [startup+1010.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1569 0 0 0 100462 555 0 0 25 0 1 0 849105679 12062720 1543 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2945 1543 566 18 0 2927 0 vsize: 11780 [startup+1020.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1590 0 0 0 101456 561 0 0 25 0 1 0 849105679 12193792 1564 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2977 1564 566 18 0 2959 0 vsize: 11908 [startup+1030.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1590 0 0 0 102452 565 0 0 25 0 1 0 849105679 12193792 1564 4294967295 134512640 134581267 3221224592 3221223488 134517525 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2977 1564 566 18 0 2959 0 vsize: 11908 [startup+1040.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1593 0 0 0 103448 570 0 0 25 0 1 0 849105679 12193792 1567 4294967295 134512640 134581267 3221224592 3221223488 134527747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2977 1567 566 18 0 2959 0 vsize: 11908 [startup+1050.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1602 0 0 0 104444 574 0 0 25 0 1 0 849105679 12193792 1576 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2977 1576 566 18 0 2959 0 vsize: 11908 [startup+1060.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1612 0 0 0 105440 578 0 0 25 0 1 0 849105679 12308480 1586 4294967295 134512640 134581267 3221224592 3221223656 134558489 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3005 1586 566 18 0 2987 0 vsize: 12020 [startup+1070.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1615 0 0 0 106437 581 0 0 25 0 1 0 849105679 12308480 1589 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3005 1589 566 18 0 2987 0 vsize: 12020 [startup+1080.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1623 0 0 0 107434 584 0 0 25 0 1 0 849105679 12308480 1597 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3005 1597 566 18 0 2987 0 vsize: 12020 [startup+1090.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1635 0 0 0 108430 588 0 0 25 0 1 0 849105679 12308480 1609 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3005 1609 566 18 0 2987 0 vsize: 12020 [startup+1100.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1635 0 0 0 109426 593 0 0 25 0 1 0 849105679 12308480 1609 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3005 1609 566 18 0 2987 0 vsize: 12020 [startup+1110.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1635 0 0 0 110423 596 0 0 25 0 1 0 849105679 12308480 1609 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3005 1609 566 18 0 2987 0 vsize: 12020 [startup+1120.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1637 0 0 0 111419 599 0 0 25 0 1 0 849105679 12427264 1611 4294967295 134512640 134581267 3221224592 3221223504 134527707 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3034 1611 566 18 0 3016 0 vsize: 12136 [startup+1130.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1640 0 0 0 112415 604 0 0 25 0 1 0 849105679 12427264 1614 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3034 1614 566 18 0 3016 0 vsize: 12136 [startup+1140.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1640 0 0 0 113412 607 0 0 25 0 1 0 849105679 12427264 1614 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3034 1614 566 18 0 3016 0 vsize: 12136 [startup+1150.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1640 0 0 0 114409 611 0 0 25 0 1 0 849105679 12427264 1614 4294967295 134512640 134581267 3221224592 3221223456 134528284 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3034 1614 566 18 0 3016 0 vsize: 12136 [startup+1160.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1644 0 0 0 115404 615 0 0 25 0 1 0 849105679 12427264 1618 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3034 1618 566 18 0 3016 0 vsize: 12136 [startup+1170.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1644 0 0 0 116401 618 0 0 25 0 1 0 849105679 12427264 1618 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3034 1618 566 18 0 3016 0 vsize: 12136 [startup+1180.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1648 0 0 0 117397 623 0 0 25 0 1 0 849105679 12427264 1622 4294967295 134512640 134581267 3221224592 3221223520 134519857 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3034 1622 566 18 0 3016 0 vsize: 12136 [startup+1188.82 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 3551 Raw data (stat): 3551 (Pueblo-v2) R 3550 7266 7265 0 -1 0 1648 0 0 0 117397 623 0 0 25 0 1 0 849105679 12427264 1622 4294967295 134512640 134581267 3221224592 3221223520 134519857 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3034 1622 566 18 0 3016 0 vsize: 0 Child status: 10 Real time (s): 1188.82 CPU time (s): 1189.02 CPU user time (s): 1182.74 CPU system time (s): 6.27405 CPU usage (%): 100.016 Max. virtual memory (Kb): 12136 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 5060 #### END VERIFIER DATA ####