Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-2-c.opb |
MD5SUM | e4299a962dbf619cce8fa1cb0ec0a149 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 349 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 698 |
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 | 698 |
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 | 698 |
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 | 3.33749 |
Number of variables | 698 |
Total number of constraints | 1741 |
Number of constraints which are clauses | 1741 |
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 | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc21 THE 2005-05-28 10:54:39 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24121 boxname=wulflinc21 idbench=195 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: e4299a962dbf619cce8fa1cb0ec0a149 /oldhome/oroussel/tmp/wulflinc21/normalized-par16-2-c.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc21/normalized-par16-2-c.opb IDLAUNCH: 24121 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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: 866888 kB Buffers: 32324 kB Cached: 112240 kB SwapCached: 956 kB Active: 49684 kB Inactive: 97028 kB HighTotal: 131008 kB HighFree: 15988 kB LowTotal: 903652 kB LowFree: 850900 kB SwapTotal: 2097892 kB SwapFree: 2096012 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5136 kB Slab: 15228 kB Committed_AS: 63880 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 11:11:04 (client local time) WITH STATUS 30 IN 984.377 SECONDS stats: 24121 0 984.377 30 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c [startup+477.491 s] setting bit 9 to 0 Decision: 33635/245361 Time: 285.826/86400c got solution with objective value: 349 c [startup+772.897 s] setting bit 8 to 1 c [startup+970.479 s] setting bit 7 to 0 c got solution with objective value: 349 c [startup+972.513 s] setting bit 6 to 1 c [startup+974.517 s] setting bit 5 to 0 c got solution with objective value: 349 c [startup+976.22 s] setting bit 4 to 1 c got solution with objective value: 349 c [startup+977.873 s] setting bit 3 to 1 c got solution with objective value: 349 c [startup+979.522 s] setting bit 2 to 1 c [startup+981.514 s] setting bit 1 to 0 c got solution with objective value: 349 c [startup+983.217 s] setting bit 0 to 1 s OPTIMUM FOUND v x1 -x10 x100 x101 -x102 -x103 x104 x105 -x106 -x107 x108 x109 -x11 -x110 -x111 x112 x113 -x114 -x115 x116 x117 -x118 -x119 x12 x120 -x121 x122 x123 -x124 x125 -x126 -x127 x128 -x129 x13 x130 -x131 x132 x133 -x134 -x135 x136 -x137 x138 -x139 -x14 x140 x141 -x142 -x143 x144 -x145 x146 -x147 x148 x149 -x15 -x150 -x151 x152 -x153 x154 -x155 x156 x157 -x158 -x159 x16 x160 -x161 x162 -x163 x164 -x165 x166 x167 -x168 x169 x17 -x170 x171 -x172 -x173 x174 -x175 x176 x177 -x178 -x179 -x18 x180 -x181 x182 -x183 x184 x185 -x186 -x187 x188 -x189 -x19 x190 -x191 x192 x193 -x194 -x195 x196 -x197 x198 -x199 -x2 x20 x200 x201 -x202 -x203 x204 -x205 x206 -x207 x208 x209 x21 -x210 -x211 x212 -x213 x214 -x215 x216 x217 -x218 -x219 -x22 x220 -x221 x222 -x223 x224 x225 -x226 -x227 x228 -x229 -x23 x230 -x231 x232 -x233 x234 x235 -x236 -x237 x238 -x239 x24 x240 -x241 x242 -x243 x244 -x245 x246 -x247 x248 x249 x25 -x250 x251 -x252 -x253 x254 x255 -x256 -x257 x258 -x259 -x26 x260 x261 -x262 x263 -x264 -x265 x266 x267 -x268 x269 -x27 -x270 x271 -x272 -x273 x274 x275 -x276 -x277 x278 -x279 x28 x280 x281 -x282 x283 -x284 -x285 x286 x287 -x288 x289 x29 -x290 x291 -x292 -x293 x294 x295 -x296 x297 -x298 -x299 x3 -x30 x300 x301 -x302 -x303 x304 x305 -x306 x307 -x308 -x309 -x31 x310 x311 -x312 -x313 x314 x315 -x316 x317 -x318 x319 x32 -x320 -x321 x322 x323 -x324 -x325 x326 x327 -x328 x329 x33 -x330 x331 -x332 -x333 x334 x335 -x336 -x337 x338 x339 -x34 -x340 -x341 x342 x343 -x344 x345 -x346 -x347 x348 x349 -x35 -x350 x351 -x352 x353 -x354 -x355 x356 x357 -x358 -x359 x36 x360 x361 -x362 x363 -x364 x365 -x366 -x367 x368 x369 x37 -x370 -x371 x372 x373 -x374 -x375 x376 x377 -x378 -x379 -x38 x380 x381 -x382 -x383 x384 x385 -x386 -x387 x388 -x389 -x39 x390 -x391 x392 x393 -x394 -x395 x396 -x397 x398 x399 -x4 x40 -x400 -x401 x402 x403 -x404 -x405 x406 x407 -x408 x409 x41 -x410 -x411 x412 x413 -x414 x415 -x416 x417 -x418 -x419 -x42 x420 x421 -x422 -x423 x424 x425 -x426 -x427 x428 x429 -x43 -x430 -x431 x432 x433 -x434 x435 -x436 x437 -x438 -x439 x44 x440 x441 -x442 -x443 x444 x445 -x446 -x447 x448 -x449 x45 x450 -x451 x452 x453 -x454 -x455 x456 x457 -x458 -x459 -x46 x460 -x461 x462 -x463 x464 x465 -x466 -x467 x468 x469 -x47 -x470 -x471 x472 x473 -x474 x475 -x476 x477 -x478 x479 x48 -x480 -x481 x482 -x483 x484 x485 -x486 -x487 x488 x489 x49 -x490 x491 -x492 x493 -x494 -x495 x496 -x497 x498 x499 -x5 -x50 -x500 x501 -x502 -x503 x504 x505 -x506 -x507 x508 x509 -x51 -x510 -x511 x512 x513 -x514 x515 -x516 -x517 x518 x519 x52 -x520 -x521 x522 x523 -x524 -x525 x526 x527 -x528 -x529 x53 x530 -x531 x532 x533 -x534 x535 -x536 -x537 x538 -x539 -x54 x540 x541 -x542 x543 -x544 x545 -x546 -x547 x548 x549 -x55 -x550 -x551 x552 -x553 x554 x555 -x556 x557 -x558 -x559 x56 x560 x561 -x562 -x563 x564 x565 -x566 x567 -x568 -x569 x57 x570 x571 -x572 x573 -x574 x575 -x576 -x577 x578 x579 -x58 -x580 -x581 x582 -x583 x584 x585 -x586 -x587 x588 -x589 -x59 x590 x591 -x592 -x593 x594 -x595 x596 x597 -x598 x599 x6 x60 -x600 -x601 x602 -x603 x604 -x605 x606 x607 -x608 x609 x61 -x610 -x611 x612 -x613 x614 x615 -x616 -x617 x618 -x619 -x62 x620 -x621 x622 x623 -x624 -x625 x626 x627 -x628 -x629 -x63 x630 x631 -x632 x633 -x634 -x635 x636 x637 -x638 -x639 x64 x640 x641 -x642 -x643 x644 x645 -x646 -x647 x648 x649 x65 -x650 -x651 x652 x653 -x654 -x655 x656 x657 -x658 -x659 -x66 x660 -x661 x662 -x663 x664 x665 -x666 -x667 x668 x669 -x67 -x670 -x671 x672 -x673 x674 x675 -x676 -x677 x678 x679 x68 -x680 x681 -x682 x683 -x684 -x685 x686 x687 -x688 x689 x69 -x690 x691 -x692 -x693 x694 x695 -x696 -x697 x698 x7 -x70 -x71 x72 x73 -x74 -x75 x76 x77 -x78 -x79 -x8 x80 x81 -x82 -x83 x84 x85 -x86 -x87 x88 x89 x9 -x90 -x91 x92 x93 -x94 -x95 x96 x97 -x98 -x99 #### 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 Raw data (loadavg): 0.85 0.94 0.88 2/55 12710 Raw data (stat): 12710 (runsolver) R 12709 32363 32362 0 -1 64 0 0 0 0 0 0 0 0 20 0 1 0 741506607 884736 93 4294967295 134512640 135332820 3221224464 3221219872 134515228 0 0 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 93 205 205 0 11 0 vsize: 864 Current StackSize limit: 67108864 bytes [startup+10.0005 s] Raw data (loadavg): 0.87 0.94 0.88 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 29957 0 0 0 930 69 0 0 25 0 1 0 741506607 89518080 19044 4294967295 134512640 135726644 3221224592 3221211016 134782714 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21855 19044 300 300 0 21555 0 vsize: 87420 [startup+20.0011 s] Raw data (loadavg): 0.89 0.94 0.89 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 34612 0 0 0 1919 80 0 0 25 0 1 0 741506607 100757504 22676 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24599 22676 300 300 0 24299 0 vsize: 98396 [startup+30.0008 s] Raw data (loadavg): 0.91 0.94 0.89 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 35307 0 0 0 2917 82 0 0 25 0 1 0 741506607 102993920 23076 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 25145 23076 300 300 0 24845 0 vsize: 100580 [startup+40.0019 s] Raw data (loadavg): 0.92 0.94 0.89 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 35897 0 0 0 3916 83 0 0 25 0 1 0 741506607 105013248 23486 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 25638 23486 300 300 0 25338 0 vsize: 102552 [startup+50.0022 s] Raw data (loadavg): 0.93 0.94 0.89 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 36579 0 0 0 4914 85 0 0 25 0 1 0 741506607 107524096 23875 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26251 23875 300 300 0 25951 0 vsize: 105004 [startup+60.0019 s] Raw data (loadavg): 0.94 0.95 0.89 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 36697 0 0 0 5914 86 0 0 25 0 1 0 741506607 107786240 23928 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26315 23928 300 300 0 26015 0 vsize: 105260 [startup+70.0025 s] Raw data (loadavg): 0.95 0.95 0.89 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 36703 0 0 0 6914 86 0 0 25 0 1 0 741506607 107786240 23934 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26315 23934 300 300 0 26015 0 vsize: 105260 [startup+80.0022 s] Raw data (loadavg): 0.96 0.95 0.89 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 36946 0 0 0 7913 86 0 0 25 0 1 0 741506607 108580864 24079 4294967295 134512640 135726644 3221224592 3221223088 134744009 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26509 24079 300 300 0 26209 0 vsize: 106036 [startup+90.0029 s] Raw data (loadavg): 0.96 0.95 0.89 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 37223 0 0 0 8913 87 0 0 25 0 1 0 741506607 109850624 24323 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26819 24323 300 300 0 26519 0 vsize: 107276 [startup+100.003 s] Raw data (loadavg): 0.97 0.95 0.89 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 37507 0 0 0 9911 89 0 0 25 0 1 0 741506607 110637056 24412 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27011 24412 300 300 0 26711 0 vsize: 108044 [startup+110.003 s] Raw data (loadavg): 0.97 0.95 0.89 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 37516 0 0 0 10911 89 0 0 25 0 1 0 741506607 110637056 24421 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27011 24421 300 300 0 26711 0 vsize: 108044 [startup+120.004 s] Raw data (loadavg): 0.98 0.95 0.89 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 37594 0 0 0 11910 90 0 0 25 0 1 0 741506607 110899200 24434 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27075 24434 300 300 0 26775 0 vsize: 108300 [startup+130.004 s] Raw data (loadavg): 0.98 0.95 0.90 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 37762 0 0 0 12910 91 0 0 25 0 1 0 741506607 111427584 24537 4294967295 134512640 135726644 3221224592 3221223184 134760017 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27204 24537 300 300 0 26904 0 vsize: 108816 [startup+140.004 s] Raw data (loadavg): 0.98 0.95 0.90 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 37777 0 0 0 13910 91 0 0 25 0 1 0 741506607 111427584 24552 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27204 24552 300 300 0 26904 0 vsize: 108816 [startup+150.005 s] Raw data (loadavg): 0.98 0.95 0.90 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 37790 0 0 0 14909 92 0 0 25 0 1 0 741506607 111427584 24565 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27204 24565 300 300 0 26904 0 vsize: 108816 [startup+160.005 s] Raw data (loadavg): 0.99 0.96 0.90 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 37807 0 0 0 15909 92 0 0 25 0 1 0 741506607 111427584 24582 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27204 24582 300 300 0 26904 0 vsize: 108816 [startup+170.005 s] Raw data (loadavg): 0.99 0.96 0.90 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 37823 0 0 0 16908 92 0 0 25 0 1 0 741506607 111427584 24598 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27204 24598 300 300 0 26904 0 vsize: 108816 [startup+180.005 s] Raw data (loadavg): 0.99 0.96 0.90 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 37920 0 0 0 17908 93 0 0 25 0 1 0 741506607 111689728 24630 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27268 24630 300 300 0 26968 0 vsize: 109072 [startup+190.006 s] Raw data (loadavg): 0.99 0.96 0.90 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 37928 0 0 0 18908 93 0 0 25 0 1 0 741506607 111689728 24638 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27268 24638 300 300 0 26968 0 vsize: 109072 [startup+200.005 s] Raw data (loadavg): 0.99 0.96 0.90 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 37938 0 0 0 19908 93 0 0 25 0 1 0 741506607 111689728 24648 4294967295 134512640 135726644 3221224592 3221223216 134744591 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27268 24648 300 300 0 26968 0 vsize: 109072 [startup+210.005 s] Raw data (loadavg): 0.99 0.96 0.90 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 37947 0 0 0 20908 94 0 0 25 0 1 0 741506607 111689728 24657 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27268 24657 300 300 0 26968 0 vsize: 109072 [startup+220.006 s] Raw data (loadavg): 0.99 0.96 0.90 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 37963 0 0 0 21907 94 0 0 25 0 1 0 741506607 111689728 24673 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27268 24673 300 300 0 26968 0 vsize: 109072 [startup+230.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 37973 0 0 0 22907 94 0 0 25 0 1 0 741506607 111689728 24683 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27268 24683 300 300 0 26968 0 vsize: 109072 [startup+240.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 37984 0 0 0 23906 95 0 0 25 0 1 0 741506607 111689728 24694 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27268 24694 300 300 0 26968 0 vsize: 109072 [startup+250.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 37995 0 0 0 24906 96 0 0 25 0 1 0 741506607 111689728 24705 4294967295 134512640 135726644 3221224592 3221223088 134744266 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27268 24705 300 300 0 26968 0 vsize: 109072 [startup+260.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 38007 0 0 0 25905 96 0 0 25 0 1 0 741506607 111689728 24717 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27268 24717 300 300 0 26968 0 vsize: 109072 [startup+270.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 38018 0 0 0 26905 97 0 0 25 0 1 0 741506607 111689728 24728 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27268 24728 300 300 0 26968 0 vsize: 109072 [startup+280.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 38125 0 0 0 27905 97 0 0 25 0 1 0 741506607 111955968 24802 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27333 24802 300 300 0 27033 0 vsize: 109332 [startup+290.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 38207 0 0 0 28904 98 0 0 25 0 1 0 741506607 112222208 24851 4294967295 134512640 135726644 3221224592 3221223280 134744832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27398 24851 300 300 0 27098 0 vsize: 109592 [startup+300.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 38423 0 0 0 29903 99 0 0 25 0 1 0 741506607 112881664 24937 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27559 24937 300 300 0 27259 0 vsize: 110236 [startup+310.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 38443 0 0 0 30903 99 0 0 25 0 1 0 741506607 112881664 24957 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27559 24957 300 300 0 27259 0 vsize: 110236 [startup+320.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12710 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 38452 0 0 0 31903 99 0 0 25 0 1 0 741506607 112881664 24966 4294967295 134512640 135726644 3221224592 3221223248 134745073 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27559 24966 300 300 0 27259 0 vsize: 110236 [startup+330.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12763 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 38532 0 0 0 32902 100 0 0 25 0 1 0 741506607 113012736 25013 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27591 25013 300 300 0 27291 0 vsize: 110364 [startup+340.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12763 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 38670 0 0 0 33902 100 0 0 25 0 1 0 741506607 113410048 25086 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27688 25086 300 300 0 27388 0 vsize: 110752 [startup+350.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12763 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 38721 0 0 0 34902 100 0 0 25 0 1 0 741506607 113541120 25104 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27720 25104 300 300 0 27420 0 vsize: 110880 [startup+360.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12763 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 38844 0 0 0 35901 101 0 0 25 0 1 0 741506607 113803264 25162 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27784 25162 300 300 0 27484 0 vsize: 111136 [startup+370.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12763 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 38851 0 0 0 36902 101 0 0 25 0 1 0 741506607 113803264 25169 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27784 25169 300 300 0 27484 0 vsize: 111136 [startup+380.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12763 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 38858 0 0 0 37902 101 0 0 25 0 1 0 741506607 113803264 25176 4294967295 134512640 135726644 3221224592 3221223088 134744323 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27784 25176 300 300 0 27484 0 vsize: 111136 [startup+390.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 38871 0 0 0 38902 101 0 0 25 0 1 0 741506607 113803264 25189 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27784 25189 300 300 0 27484 0 vsize: 111136 [startup+400.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39068 0 0 0 39901 102 0 0 25 0 1 0 741506607 114331648 25288 4294967295 134512640 135726644 3221224592 3221223088 134744009 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27913 25288 300 300 0 27613 0 vsize: 111652 [startup+410.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39073 0 0 0 40901 102 0 0 25 0 1 0 741506607 114331648 25293 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27913 25293 300 300 0 27613 0 vsize: 111652 [startup+420.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39170 0 0 0 41901 102 0 0 25 0 1 0 741506607 114597888 25357 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27978 25357 300 300 0 27678 0 vsize: 111912 [startup+430.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39279 0 0 0 42901 103 0 0 25 0 1 0 741506607 114860032 25401 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28042 25401 300 300 0 27742 0 vsize: 112168 [startup+440.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39286 0 0 0 43901 103 0 0 25 0 1 0 741506607 114860032 25408 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28042 25408 300 300 0 27742 0 vsize: 112168 [startup+450.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39299 0 0 0 44901 103 0 0 25 0 1 0 741506607 114860032 25421 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28042 25421 300 300 0 27742 0 vsize: 112168 [startup+460.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39317 0 0 0 45901 103 0 0 25 0 1 0 741506607 114860032 25439 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28042 25439 300 300 0 27742 0 vsize: 112168 [startup+470.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39323 0 0 0 46901 103 0 0 25 0 1 0 741506607 114860032 25445 4294967295 134512640 135726644 3221224592 3221222928 134735631 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28042 25445 300 300 0 27742 0 vsize: 112168 [startup+480.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39913 0 0 0 47900 105 0 0 25 0 1 0 741506607 114860032 25555 4294967295 134512640 135726644 3221224592 3221223184 134760422 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28042 25555 300 300 0 27742 0 vsize: 112168 [startup+490.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39919 0 0 0 48899 105 0 0 25 0 1 0 741506607 114860032 25561 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28042 25561 300 300 0 27742 0 vsize: 112168 [startup+500.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39924 0 0 0 49899 105 0 0 25 0 1 0 741506607 114860032 25566 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28042 25566 300 300 0 27742 0 vsize: 112168 [startup+510.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39928 0 0 0 50899 105 0 0 25 0 1 0 741506607 114860032 25570 4294967295 134512640 135726644 3221224592 3221223088 134744043 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28042 25570 300 300 0 27742 0 vsize: 112168 [startup+520.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39932 0 0 0 51900 105 0 0 25 0 1 0 741506607 114860032 25574 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28042 25574 300 300 0 27742 0 vsize: 112168 [startup+530.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39941 0 0 0 52899 105 0 0 25 0 1 0 741506607 114860032 25583 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28042 25583 300 300 0 27742 0 vsize: 112168 [startup+540.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39947 0 0 0 53900 105 0 0 25 0 1 0 741506607 114860032 25589 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28042 25589 300 300 0 27742 0 vsize: 112168 [startup+550.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39951 0 0 0 54900 105 0 0 25 0 1 0 741506607 114860032 25593 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28042 25593 300 300 0 27742 0 vsize: 112168 [startup+560.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39955 0 0 0 55900 106 0 0 25 0 1 0 741506607 114860032 25597 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28042 25597 300 300 0 27742 0 vsize: 112168 [startup+570.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39960 0 0 0 56900 106 0 0 25 0 1 0 741506607 114860032 25602 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28042 25602 300 300 0 27742 0 vsize: 112168 [startup+580.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39967 0 0 0 57900 106 0 0 25 0 1 0 741506607 114860032 25609 4294967295 134512640 135726644 3221224592 3221223088 134744041 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28042 25609 300 300 0 27742 0 vsize: 112168 [startup+590.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39971 0 0 0 58900 106 0 0 25 0 1 0 741506607 114860032 25613 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28042 25613 300 300 0 27742 0 vsize: 112168 [startup+600.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39976 0 0 0 59900 106 0 0 25 0 1 0 741506607 114860032 25618 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28042 25618 300 300 0 27742 0 vsize: 112168 [startup+610.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 39981 0 0 0 60900 106 0 0 25 0 1 0 741506607 114860032 25623 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28042 25623 300 300 0 27742 0 vsize: 112168 [startup+620.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 40011 0 0 0 61900 106 0 0 25 0 1 0 741506607 115007488 25653 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25653 300 300 0 27778 0 vsize: 112312 [startup+630.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12767 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 40016 0 0 0 62901 106 0 0 25 0 1 0 741506607 115007488 25658 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25658 300 300 0 27778 0 vsize: 112312 [startup+640.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 40021 0 0 0 63901 106 0 0 25 0 1 0 741506607 115007488 25663 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25663 300 300 0 27778 0 vsize: 112312 [startup+650.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 40025 0 0 0 64901 106 0 0 25 0 1 0 741506607 115007488 25667 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25667 300 300 0 27778 0 vsize: 112312 [startup+660.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 40029 0 0 0 65901 106 0 0 25 0 1 0 741506607 115007488 25671 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25671 300 300 0 27778 0 vsize: 112312 [startup+670.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 40033 0 0 0 66901 106 0 0 25 0 1 0 741506607 115007488 25675 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25675 300 300 0 27778 0 vsize: 112312 [startup+680.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 40039 0 0 0 67901 106 0 0 25 0 1 0 741506607 115007488 25681 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25681 300 300 0 27778 0 vsize: 112312 [startup+690.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 40064 0 0 0 68901 106 0 0 25 0 1 0 741506607 115007488 25706 4294967295 134512640 135726644 3221224592 3221223088 134744311 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25706 300 300 0 27778 0 vsize: 112312 [startup+700.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 40068 0 0 0 69902 106 0 0 25 0 1 0 741506607 115007488 25710 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25710 300 300 0 27778 0 vsize: 112312 [startup+710.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 40076 0 0 0 70902 106 0 0 25 0 1 0 741506607 115007488 25718 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25718 300 300 0 27778 0 vsize: 112312 [startup+720.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 40081 0 0 0 71902 106 0 0 25 0 1 0 741506607 115007488 25723 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25723 300 300 0 27778 0 vsize: 112312 [startup+730.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 40091 0 0 0 72902 107 0 0 25 0 1 0 741506607 115007488 25733 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25733 300 300 0 27778 0 vsize: 112312 [startup+740.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 40101 0 0 0 73902 107 0 0 25 0 1 0 741506607 115007488 25743 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25743 300 300 0 27778 0 vsize: 112312 [startup+750.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 40110 0 0 0 74902 107 0 0 25 0 1 0 741506607 115007488 25752 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25752 300 300 0 27778 0 vsize: 112312 [startup+760.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 40114 0 0 0 75902 107 0 0 25 0 1 0 741506607 115007488 25756 4294967295 134512640 135726644 3221224592 3221223280 134744982 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25756 300 300 0 27778 0 vsize: 112312 [startup+770.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 40596 0 0 0 76901 108 0 0 25 0 1 0 741506607 115007488 25758 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25758 300 300 0 27778 0 vsize: 112312 [startup+780.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 41084 0 0 0 77900 110 0 0 25 0 1 0 741506607 115007488 25766 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25766 300 300 0 27778 0 vsize: 112312 [startup+790.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 41085 0 0 0 78900 110 0 0 25 0 1 0 741506607 115007488 25767 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25767 300 300 0 27778 0 vsize: 112312 [startup+800.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 41086 0 0 0 79900 110 0 0 25 0 1 0 741506607 115007488 25768 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25768 300 300 0 27778 0 vsize: 112312 [startup+810.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 41087 0 0 0 80900 110 0 0 25 0 1 0 741506607 115007488 25769 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25769 300 300 0 27778 0 vsize: 112312 [startup+820.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 41088 0 0 0 81900 110 0 0 25 0 1 0 741506607 115007488 25770 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25770 300 300 0 27778 0 vsize: 112312 [startup+830.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 41089 0 0 0 82900 110 0 0 25 0 1 0 741506607 115007488 25771 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25771 300 300 0 27778 0 vsize: 112312 [startup+840.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 41090 0 0 0 83901 110 0 0 25 0 1 0 741506607 115007488 25772 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25772 300 300 0 27778 0 vsize: 112312 [startup+850.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 41091 0 0 0 84901 110 0 0 25 0 1 0 741506607 115007488 25773 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25773 300 300 0 27778 0 vsize: 112312 [startup+860.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 41104 0 0 0 85901 110 0 0 25 0 1 0 741506607 115007488 25786 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25786 300 300 0 27778 0 vsize: 112312 [startup+870.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 41105 0 0 0 86901 110 0 0 25 0 1 0 741506607 115007488 25787 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25787 300 300 0 27778 0 vsize: 112312 [startup+880.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 41106 0 0 0 87901 110 0 0 25 0 1 0 741506607 115007488 25788 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25788 300 300 0 27778 0 vsize: 112312 [startup+890.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 41107 0 0 0 88901 110 0 0 25 0 1 0 741506607 115007488 25789 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25789 300 300 0 27778 0 vsize: 112312 [startup+900.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 41108 0 0 0 89901 110 0 0 25 0 1 0 741506607 115007488 25790 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25790 300 300 0 27778 0 vsize: 112312 [startup+910.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 41109 0 0 0 90901 110 0 0 25 0 1 0 741506607 115007488 25791 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25791 300 300 0 27778 0 vsize: 112312 [startup+920.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 41114 0 0 0 91902 110 0 0 25 0 1 0 741506607 115007488 25796 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25796 300 300 0 27778 0 vsize: 112312 [startup+930.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 41114 0 0 0 92902 110 0 0 25 0 1 0 741506607 115007488 25796 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25796 300 300 0 27778 0 vsize: 112312 [startup+940.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 41115 0 0 0 93902 110 0 0 25 0 1 0 741506607 115007488 25797 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25797 300 300 0 27778 0 vsize: 112312 [startup+950.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 41116 0 0 0 94902 110 0 0 25 0 1 0 741506607 115007488 25798 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25798 300 300 0 27778 0 vsize: 112312 [startup+960.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 41117 0 0 0 95902 110 0 0 25 0 1 0 741506607 115007488 25799 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25799 300 300 0 27778 0 vsize: 112312 [startup+970.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 41118 0 0 0 96902 111 0 0 25 0 1 0 741506607 115007488 25800 4294967295 134512640 135726644 3221224592 3221222912 134728868 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28078 25800 300 300 0 27778 0 vsize: 112312 [startup+980.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 44015 0 0 0 97895 117 0 0 25 0 1 0 741506607 116973568 26297 4294967295 134512640 135726644 3221224592 3221222888 134761841 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28558 26297 300 300 0 28258 0 vsize: 114232 [startup+984.256 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 12769 Raw data (stat): 12710 (pb2sat) R 12709 32363 32362 0 -1 0 44015 0 0 0 97895 117 0 0 25 0 1 0 741506607 116973568 26297 4294967295 134512640 135726644 3221224592 3221222888 134761841 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28558 26297 300 300 0 28258 0 vsize: 0 Child status: 30 Real time (s): 984.256 CPU time (s): 984.377 CPU user time (s): 983.137 CPU system time (s): 1.24081 CPU usage (%): 100.012 Max. virtual memory (Kb): 114232 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 349 #### END VERIFIER DATA ####