Name | submitted/manquinho/logic-synthesis/normalized-alu4.b.opb |
MD5SUM | db06e7fbd4f70a4af68f8f196fdb3636 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 50 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 808 |
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 | 808 |
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 | 808 |
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 | 1195.2 |
Number of variables | 807 |
Total number of constraints | 1838 |
Number of constraints which are clauses | 1823 |
Number of constraints which are cardinality constraints (but not clauses) | 15 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 98 |
LAUNCH ON wulflinc31 THE 2005-09-23 14:21:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8276 boxname=wulflinc31 idbench=72 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: db06e7fbd4f70a4af68f8f196fdb3636 /oldhome/oroussel/tmp/wulflinc31/normalized-alu4.b.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc31/normalized-alu4.b.opb IDLAUNCH: 8276 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.047 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 : 3 cpu MHz : 451.047 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: 927956 kB Buffers: 18204 kB Cached: 69788 kB SwapCached: 0 kB Active: 41520 kB Inactive: 49396 kB HighTotal: 131008 kB HighFree: 57344 kB LowTotal: 903652 kB LowFree: 870612 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 10368 kB Committed_AS: 63624 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 14:42:05 (client local time) WITH STATUS 10 IN 1205.58 SECONDS stats: 8276 0 1205.58 10
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 780 c big objective detected c trying from 0 to 511 c got solution with objective value: 511 c starting final optimization c CONFLICT during preprocess c [startup+19.3804 s] setting bit 9 to 0 c got solution with objective value: 255 c [startup+30.7418 s] setting bit 8 to 1 c got solution with objective value: 127 c [startup+42.5228 s] setting bit 7 to 1 c Decision: 249814/284210 Time: 33.9698/86400 c got solution with objective value: 63 c [startup+99.953 s] setting bit 6 to 1 c Decision: 276650/284210 Time: 58.6781/86400 c Decision: 276650/284210 Time: 90.1733/86400 c Decision: 276650/284210 Time: 129.949/86400 c [startup+290.993 s] setting bit 5 to 0 c Decision: 263230/284210 Time: 202.937/86400 c Decision: 263230/284210 Time: 228.977/86400 c Decision: 263230/284210 Time: 256.843/86400 c Decision: 263230/284210 Time: 279.477/86400 c Decision: 263230/284210 Time: 304.353/86400 c Decision: 263230/284210 Time: 325.585/86400 c Decision: 263230/284210 Time: 353.507/86400 c Decision: 263230/284210 Time: 372.18/86400 c Decision: 263230/284210 Time: 395.986/86400 c Decision: 263230/284210 Time: 420.849/86400 c Decision: 263230/284210 Time: 443.836/86400 c Decision: 263230/284210 Time: 467.437/86400 c Decision: 263230/284210 Time: 492.718/86400 c Decision: 263230/284210 Time: 511.791/86400 c Decision: 263230/284210 Time: 534.245/86400 c Decision: 263230/284210 Time: 562.088/86400 c Decision: 263230/284210 Time: 588.149/86400 c Decision: 263230/284210 Time: 613.531/86400 c Decision: 263230/284210 Time: 639.806/86400 c Decision: 263230/284210 Time: 664.88/86400 c Decision: 263230/284210 Time: 693.149/86400 c Decision: 263230/284210 Time: 715.819/86400 c Decision: 263230/284210 Time: 742.637/86400 c Decision: 263230/284210 Time: 770.543/86400 c Decision: 263230/284210 Time: 796.951/86400 c Decision: 263230/284210 Time: 826.778/86400 c Decision: 263230/284210 Time: 852.177/86400 c Decision: 263230/284210 Time: 877.067/86400 c Decision: 263230/284210 Time: 904.87/86400s SATISFIABLE 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 -x699 -x7 -x70 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 x734 x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 x766 x767 x768 x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 x783 -x784 x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 x793 x794 x795 x796 x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 -x808 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x9 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 20828288 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 373 2 364 364 0 9 0 [pid=6899] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc31/normalized-alu4.b.opb [startup+10.0023 s] Raw data (loadavg): 0.93 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 29260 0 0 0 930 65 0 0 25 0 1 0 20828288 94961664 18151 4294967295 134512640 135987407 3221224576 3221039808 134537491 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 23184 18151 364 364 0 22820 0 [pid=6899] vsize: 92736 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 92736 [startup+20.0032 s] Raw data (loadavg): 0.94 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 54811 0 0 0 1870 120 0 0 25 0 1 0 20828288 171008000 31481 4294967295 134512640 135987407 3221224576 3221222904 134827493 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 41750 31481 364 364 0 41386 0 [pid=6899] vsize: 167000 Current children cumulated CPU time (s) 19.9 Current children cumulated vsize (Kb) 167000 [startup+30.0041 s] Raw data (loadavg): 0.95 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 55784 0 0 0 2850 130 0 0 25 0 1 0 20828288 171872256 31607 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 41961 31607 364 364 0 41597 0 [pid=6899] vsize: 167844 Current children cumulated CPU time (s) 29.8 Current children cumulated vsize (Kb) 167844 [startup+40.0041 s] Raw data (loadavg): 0.96 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 56734 0 0 0 3836 136 0 0 25 0 1 0 20828288 173318144 31872 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 42314 31872 364 364 0 41950 0 [pid=6899] vsize: 169256 Current children cumulated CPU time (s) 39.72 Current children cumulated vsize (Kb) 169256 [startup+50.004 s] Raw data (loadavg): 0.96 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 57574 0 0 0 4827 141 0 0 25 0 1 0 20828288 174399488 32156 4294967295 134512640 135987407 3221224576 3221223056 134812000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 42578 32156 364 364 0 42214 0 [pid=6899] vsize: 170312 Current children cumulated CPU time (s) 49.68 Current children cumulated vsize (Kb) 170312 [startup+60.005 s] Raw data (loadavg): 0.97 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 57685 0 0 0 5819 144 0 0 25 0 1 0 20828288 174874624 32267 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 42694 32267 364 364 0 42330 0 [pid=6899] vsize: 170776 Current children cumulated CPU time (s) 59.63 Current children cumulated vsize (Kb) 170776 [startup+70.0059 s] Raw data (loadavg): 0.97 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 57783 0 0 0 6811 147 0 0 25 0 1 0 20828288 175333376 32365 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 42806 32365 364 364 0 42442 0 [pid=6899] vsize: 171224 Current children cumulated CPU time (s) 69.58 Current children cumulated vsize (Kb) 171224 [startup+80.0068 s] Raw data (loadavg): 0.98 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 58427 0 0 0 7804 149 0 0 25 0 1 0 20828288 175644672 32453 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 42882 32453 364 364 0 42518 0 [pid=6899] vsize: 171528 Current children cumulated CPU time (s) 79.53 Current children cumulated vsize (Kb) 171528 [startup+90.0078 s] Raw data (loadavg): 0.98 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 58526 0 0 0 8791 154 0 0 25 0 1 0 20828288 176136192 32552 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 43002 32552 364 364 0 42638 0 [pid=6899] vsize: 172008 Current children cumulated CPU time (s) 89.45 Current children cumulated vsize (Kb) 172008 [startup+100.008 s] Raw data (loadavg): 0.98 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 58586 0 0 0 9779 157 0 0 25 0 1 0 20828288 176283648 32612 4294967295 134512640 135987407 3221224576 3221223264 134800229 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 43038 32612 364 364 0 42674 0 [pid=6899] vsize: 172152 Current children cumulated CPU time (s) 99.36 Current children cumulated vsize (Kb) 172152 [startup+110.009 s] Raw data (loadavg): 0.98 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 59442 0 0 0 10772 161 0 0 25 0 1 0 20828288 177479680 32655 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 43330 32655 364 364 0 42966 0 [pid=6899] vsize: 173320 Current children cumulated CPU time (s) 109.33 Current children cumulated vsize (Kb) 173320 [startup+120.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 59454 0 0 0 11768 163 0 0 25 0 1 0 20828288 177479680 32667 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 43330 32667 364 364 0 42966 0 [pid=6899] vsize: 173320 Current children cumulated CPU time (s) 119.31 Current children cumulated vsize (Kb) 173320 [startup+130.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 59472 0 0 0 12764 164 0 0 25 0 1 0 20828288 177479680 32685 4294967295 134512640 135987407 3221224576 3221223056 134811800 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 43330 32685 364 364 0 42966 0 [pid=6899] vsize: 173320 Current children cumulated CPU time (s) 129.28 Current children cumulated vsize (Kb) 173320 [startup+140.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 59495 0 0 0 13759 166 0 0 25 0 1 0 20828288 177479680 32708 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 43330 32708 364 364 0 42966 0 [pid=6899] vsize: 173320 Current children cumulated CPU time (s) 139.25 Current children cumulated vsize (Kb) 173320 [startup+150.011 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 59514 0 0 0 14755 167 0 0 25 0 1 0 20828288 177479680 32727 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 43330 32727 364 364 0 42966 0 [pid=6899] vsize: 173320 Current children cumulated CPU time (s) 149.22 Current children cumulated vsize (Kb) 173320 [startup+160.012 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 60085 0 0 0 15752 169 0 0 25 0 1 0 20828288 177479680 32742 4294967295 134512640 135987407 3221224576 3221223056 134811959 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 43330 32742 364 364 0 42966 0 [pid=6899] vsize: 173320 Current children cumulated CPU time (s) 159.21 Current children cumulated vsize (Kb) 173320 [startup+170.012 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 60087 0 0 0 16748 170 0 0 25 0 1 0 20828288 177479680 32744 4294967295 134512640 135987407 3221224576 3221223056 134811956 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 43330 32744 364 364 0 42966 0 [pid=6899] vsize: 173320 Current children cumulated CPU time (s) 169.18 Current children cumulated vsize (Kb) 173320 [startup+180.013 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 60094 0 0 0 17745 171 0 0 25 0 1 0 20828288 177479680 32751 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 43330 32751 364 364 0 42966 0 [pid=6899] vsize: 173320 Current children cumulated CPU time (s) 179.16 Current children cumulated vsize (Kb) 173320 [startup+190.014 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 60665 0 0 0 18739 174 0 0 25 0 1 0 20828288 179757056 33322 4294967295 134512640 135987407 3221224576 3221222728 134827493 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 43886 33322 364 364 0 43522 0 [pid=6899] vsize: 175544 Current children cumulated CPU time (s) 189.13 Current children cumulated vsize (Kb) 175544 [startup+200.014 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 60682 0 0 0 19738 174 0 0 25 0 1 0 20828288 177479680 32783 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 43330 32783 364 364 0 42966 0 [pid=6899] vsize: 173320 Current children cumulated CPU time (s) 199.12 Current children cumulated vsize (Kb) 173320 [startup+210.015 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 60704 0 0 0 20736 175 0 0 25 0 1 0 20828288 177479680 32805 4294967295 134512640 135987407 3221224576 3221223056 134811778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 43330 32805 364 364 0 42966 0 [pid=6899] vsize: 173320 Current children cumulated CPU time (s) 209.11 Current children cumulated vsize (Kb) 173320 [startup+220.016 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 60722 0 0 0 21731 177 0 0 25 0 1 0 20828288 194256896 32823 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47426 32823 364 364 0 47062 0 [pid=6899] vsize: 189704 Current children cumulated CPU time (s) 219.08 Current children cumulated vsize (Kb) 189704 [startup+230.017 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 61305 0 0 0 22725 180 0 0 25 0 1 0 20828288 196534272 33406 4294967295 134512640 135987407 3221224576 3221222728 134827499 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47982 33406 364 364 0 47618 0 [pid=6899] vsize: 191928 Current children cumulated CPU time (s) 229.05 Current children cumulated vsize (Kb) 191928 [startup+240.018 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 61333 0 0 0 23723 181 0 0 25 0 1 0 20828288 194256896 32878 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47426 32878 364 364 0 47062 0 [pid=6899] vsize: 189704 Current children cumulated CPU time (s) 239.04 Current children cumulated vsize (Kb) 189704 [startup+250.018 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 61380 0 0 0 24719 182 0 0 25 0 1 0 20828288 194256896 32925 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47426 32925 364 364 0 47062 0 [pid=6899] vsize: 189704 Current children cumulated CPU time (s) 249.01 Current children cumulated vsize (Kb) 189704 [startup+260.019 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 61420 0 0 0 25716 183 0 0 25 0 1 0 20828288 194256896 32965 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47426 32965 364 364 0 47062 0 [pid=6899] vsize: 189704 Current children cumulated CPU time (s) 258.99 Current children cumulated vsize (Kb) 189704 [startup+270.02 s] Raw data (loadavg): 1.07 1.01 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 61462 0 0 0 26714 184 0 0 25 0 1 0 20828288 194420736 33007 4294967295 134512640 135987407 3221224576 3221223056 134811842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47466 33007 364 364 0 47102 0 [pid=6899] vsize: 189864 Current children cumulated CPU time (s) 268.98 Current children cumulated vsize (Kb) 189864 [startup+280.021 s] Raw data (loadavg): 1.06 1.01 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 61516 0 0 0 27713 184 0 0 25 0 1 0 20828288 194420736 33061 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47466 33061 364 364 0 47102 0 [pid=6899] vsize: 189864 Current children cumulated CPU time (s) 278.97 Current children cumulated vsize (Kb) 189864 [startup+290.021 s] Raw data (loadavg): 1.05 1.01 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 61569 0 0 0 28711 184 0 0 25 0 1 0 20828288 194420736 33114 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47466 33114 364 364 0 47102 0 [pid=6899] vsize: 189864 Current children cumulated CPU time (s) 288.95 Current children cumulated vsize (Kb) 189864 [startup+300.021 s] Raw data (loadavg): 1.04 1.01 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 62141 0 0 0 29704 187 0 0 25 0 1 0 20828288 194420736 33130 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47466 33130 364 364 0 47102 0 [pid=6899] vsize: 189864 Current children cumulated CPU time (s) 298.91 Current children cumulated vsize (Kb) 189864 [startup+310.022 s] Raw data (loadavg): 1.03 1.01 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 62173 0 0 0 30697 190 0 0 25 0 1 0 20828288 194420736 33162 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47466 33162 364 364 0 47102 0 [pid=6899] vsize: 189864 Current children cumulated CPU time (s) 308.87 Current children cumulated vsize (Kb) 189864 [startup+320.022 s] Raw data (loadavg): 1.03 1.01 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 62200 0 0 0 31692 192 0 0 25 0 1 0 20828288 194584576 33189 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47506 33189 364 364 0 47142 0 [pid=6899] vsize: 190024 Current children cumulated CPU time (s) 318.84 Current children cumulated vsize (Kb) 190024 [startup+330.024 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 62216 0 0 0 32690 193 0 0 25 0 1 0 20828288 194584576 33205 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47506 33205 364 364 0 47142 0 [pid=6899] vsize: 190024 Current children cumulated CPU time (s) 328.83 Current children cumulated vsize (Kb) 190024 [startup+340.024 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 62229 0 0 0 33688 194 0 0 25 0 1 0 20828288 194584576 33218 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47506 33218 364 364 0 47142 0 [pid=6899] vsize: 190024 Current children cumulated CPU time (s) 338.82 Current children cumulated vsize (Kb) 190024 [startup+350.024 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 62304 0 0 0 34683 196 0 0 25 0 1 0 20828288 194748416 33293 4294967295 134512640 135987407 3221224576 3221223056 134811972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47546 33293 364 364 0 47182 0 [pid=6899] vsize: 190184 Current children cumulated CPU time (s) 348.79 Current children cumulated vsize (Kb) 190184 [startup+360.025 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 62321 0 0 0 35678 198 0 0 25 0 1 0 20828288 194912256 33310 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47586 33310 364 364 0 47222 0 [pid=6899] vsize: 190344 Current children cumulated CPU time (s) 358.76 Current children cumulated vsize (Kb) 190344 [startup+370.025 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 62335 0 0 0 36673 200 0 0 25 0 1 0 20828288 194912256 33324 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6899/statm): 47586 33324 364 364 0 47222 0 [pid=6899] vsize: 190344 Current children cumulated CPU time (s) 368.73 Current children cumulated vsize (Kb) 190344 [startup+380.026 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 62350 0 0 0 37669 202 0 0 25 0 1 0 20828288 194912256 33339 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6899/statm): 47586 33339 364 364 0 47222 0 [pid=6899] vsize: 190344 Current children cumulated CPU time (s) 378.71 Current children cumulated vsize (Kb) 190344 [startup+390.027 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 62363 0 0 0 38664 204 0 0 25 0 1 0 20828288 194912256 33352 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6899/statm): 47586 33352 364 364 0 47222 0 [pid=6899] vsize: 190344 Current children cumulated CPU time (s) 388.68 Current children cumulated vsize (Kb) 190344 [startup+400.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 62405 0 0 0 39658 206 0 0 25 0 1 0 20828288 194912256 33394 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47586 33394 364 364 0 47222 0 [pid=6899] vsize: 190344 Current children cumulated CPU time (s) 398.64 Current children cumulated vsize (Kb) 190344 [startup+410.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 62446 0 0 0 40651 208 0 0 25 0 1 0 20828288 195059712 33435 4294967295 134512640 135987407 3221224576 3221223056 134811835 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47622 33435 364 364 0 47258 0 [pid=6899] vsize: 190488 Current children cumulated CPU time (s) 408.59 Current children cumulated vsize (Kb) 190488 [startup+420.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 62473 0 0 0 41646 210 0 0 25 0 1 0 20828288 195059712 33462 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47622 33462 364 364 0 47258 0 [pid=6899] vsize: 190488 Current children cumulated CPU time (s) 418.56 Current children cumulated vsize (Kb) 190488 [startup+430.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 62488 0 0 0 42641 211 0 0 25 0 1 0 20828288 195059712 33477 4294967295 134512640 135987407 3221224576 3221223056 134812194 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47622 33477 364 364 0 47258 0 [pid=6899] vsize: 190488 Current children cumulated CPU time (s) 428.52 Current children cumulated vsize (Kb) 190488 [startup+440.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 62505 0 0 0 43636 214 0 0 25 0 1 0 20828288 195059712 33494 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47622 33494 364 364 0 47258 0 [pid=6899] vsize: 190488 Current children cumulated CPU time (s) 438.5 Current children cumulated vsize (Kb) 190488 [startup+450.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 62525 0 0 0 44630 216 0 0 25 0 1 0 20828288 195059712 33514 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47622 33514 364 364 0 47258 0 [pid=6899] vsize: 190488 Current children cumulated CPU time (s) 448.46 Current children cumulated vsize (Kb) 190488 [startup+460.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 62575 0 0 0 45621 219 0 0 25 0 1 0 20828288 195207168 33564 4294967295 134512640 135987407 3221224576 3221223056 134812013 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47658 33564 364 364 0 47294 0 [pid=6899] vsize: 190632 Current children cumulated CPU time (s) 458.4 Current children cumulated vsize (Kb) 190632 [startup+470.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 62611 0 0 0 46615 220 0 0 25 0 1 0 20828288 195207168 33600 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47658 33600 364 364 0 47294 0 [pid=6899] vsize: 190632 Current children cumulated CPU time (s) 468.35 Current children cumulated vsize (Kb) 190632 [startup+480.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 62644 0 0 0 47609 223 0 0 25 0 1 0 20828288 195371008 33633 4294967295 134512640 135987407 3221224576 3221223056 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47698 33633 364 364 0 47334 0 [pid=6899] vsize: 190792 Current children cumulated CPU time (s) 478.32 Current children cumulated vsize (Kb) 190792 [startup+490.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 62668 0 0 0 48604 225 0 0 25 0 1 0 20828288 195371008 33657 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47698 33657 364 364 0 47334 0 [pid=6899] vsize: 190792 Current children cumulated CPU time (s) 488.29 Current children cumulated vsize (Kb) 190792 [startup+500.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 63231 0 0 0 49600 227 0 0 25 0 1 0 20828288 195371008 33664 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47698 33664 364 364 0 47334 0 [pid=6899] vsize: 190792 Current children cumulated CPU time (s) 498.27 Current children cumulated vsize (Kb) 190792 [startup+510.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 63234 0 0 0 50596 229 0 0 25 0 1 0 20828288 195371008 33667 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47698 33667 364 364 0 47334 0 [pid=6899] vsize: 190792 Current children cumulated CPU time (s) 508.25 Current children cumulated vsize (Kb) 190792 [startup+520.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 63241 0 0 0 51590 232 0 0 25 0 1 0 20828288 195371008 33674 4294967295 134512640 135987407 3221224576 3221223088 134814271 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47698 33674 364 364 0 47334 0 [pid=6899] vsize: 190792 Current children cumulated CPU time (s) 518.22 Current children cumulated vsize (Kb) 190792 [startup+530.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 63800 0 0 0 52586 234 0 0 25 0 1 0 20828288 195371008 33677 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47698 33677 364 364 0 47334 0 [pid=6899] vsize: 190792 Current children cumulated CPU time (s) 528.2 Current children cumulated vsize (Kb) 190792 [startup+540.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 63813 0 0 0 53582 236 0 0 25 0 1 0 20828288 195506176 33690 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47731 33690 364 364 0 47367 0 [pid=6899] vsize: 190924 Current children cumulated CPU time (s) 538.18 Current children cumulated vsize (Kb) 190924 [startup+550.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 64374 0 0 0 54575 239 0 0 25 0 1 0 20828288 195506176 33695 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47731 33695 364 364 0 47367 0 [pid=6899] vsize: 190924 Current children cumulated CPU time (s) 548.14 Current children cumulated vsize (Kb) 190924 [startup+560.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 64383 0 0 0 55570 241 0 0 25 0 1 0 20828288 195506176 33704 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47731 33704 364 364 0 47367 0 [pid=6899] vsize: 190924 Current children cumulated CPU time (s) 558.11 Current children cumulated vsize (Kb) 190924 [startup+570.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 64401 0 0 0 56563 244 0 0 25 0 1 0 20828288 195506176 33722 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47731 33722 364 364 0 47367 0 [pid=6899] vsize: 190924 Current children cumulated CPU time (s) 568.07 Current children cumulated vsize (Kb) 190924 [startup+580.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 64970 0 0 0 57558 246 0 0 25 0 1 0 20828288 195506176 33735 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47731 33735 364 364 0 47367 0 [pid=6899] vsize: 190924 Current children cumulated CPU time (s) 578.04 Current children cumulated vsize (Kb) 190924 [startup+590.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 64993 0 0 0 58553 249 0 0 25 0 1 0 20828288 195506176 33758 4294967295 134512640 135987407 3221224576 3221223056 134811797 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47731 33758 364 364 0 47367 0 [pid=6899] vsize: 190924 Current children cumulated CPU time (s) 588.02 Current children cumulated vsize (Kb) 190924 [startup+600.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 65565 0 0 0 59545 252 0 0 25 0 1 0 20828288 195506176 33774 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47731 33774 364 364 0 47367 0 [pid=6899] vsize: 190924 Current children cumulated CPU time (s) 597.97 Current children cumulated vsize (Kb) 190924 [startup+610.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 65589 0 0 0 60536 255 0 0 25 0 1 0 20828288 195649536 33798 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6899/statm): 47766 33798 364 364 0 47402 0 [pid=6899] vsize: 191064 Current children cumulated CPU time (s) 607.91 Current children cumulated vsize (Kb) 191064 [startup+620.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 66163 0 0 0 61529 258 0 0 25 0 1 0 20828288 195649536 33816 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47766 33816 364 364 0 47402 0 [pid=6899] vsize: 191064 Current children cumulated CPU time (s) 617.87 Current children cumulated vsize (Kb) 191064 [startup+630.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 66167 0 0 0 62522 261 0 0 25 0 1 0 20828288 195649536 33820 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47766 33820 364 364 0 47402 0 [pid=6899] vsize: 191064 Current children cumulated CPU time (s) 627.83 Current children cumulated vsize (Kb) 191064 [startup+640.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 66171 0 0 0 63519 262 0 0 25 0 1 0 20828288 195649536 33824 4294967295 134512640 135987407 3221224576 3221223216 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47766 33824 364 364 0 47402 0 [pid=6899] vsize: 191064 Current children cumulated CPU time (s) 637.81 Current children cumulated vsize (Kb) 191064 [startup+650.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 66745 0 0 0 64512 265 0 0 25 0 1 0 20828288 195649536 33842 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47766 33842 364 364 0 47402 0 [pid=6899] vsize: 191064 Current children cumulated CPU time (s) 647.77 Current children cumulated vsize (Kb) 191064 [startup+660.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 66748 0 0 0 65507 266 0 0 25 0 1 0 20828288 195649536 33845 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47766 33845 364 364 0 47402 0 [pid=6899] vsize: 191064 Current children cumulated CPU time (s) 657.73 Current children cumulated vsize (Kb) 191064 [startup+670.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 67320 0 0 0 66496 270 0 0 25 0 1 0 20828288 195801088 33861 4294967295 134512640 135987407 3221224576 3221223216 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47803 33861 364 364 0 47439 0 [pid=6899] vsize: 191212 Current children cumulated CPU time (s) 667.66 Current children cumulated vsize (Kb) 191212 [startup+680.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 67322 0 0 0 67490 272 0 0 25 0 1 0 20828288 195801088 33863 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47803 33863 364 364 0 47439 0 [pid=6899] vsize: 191212 Current children cumulated CPU time (s) 677.62 Current children cumulated vsize (Kb) 191212 [startup+690.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 67880 0 0 0 68482 276 0 0 25 0 1 0 20828288 195801088 33865 4294967295 134512640 135987407 3221224576 3221223120 134801142 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47803 33865 364 364 0 47439 0 [pid=6899] vsize: 191212 Current children cumulated CPU time (s) 687.58 Current children cumulated vsize (Kb) 191212 [startup+700.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 67883 0 0 0 69476 278 0 0 25 0 1 0 20828288 195801088 33868 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47803 33868 364 364 0 47439 0 [pid=6899] vsize: 191212 Current children cumulated CPU time (s) 697.54 Current children cumulated vsize (Kb) 191212 [startup+710.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 67899 0 0 0 70468 280 0 0 25 0 1 0 20828288 195801088 33884 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47803 33884 364 364 0 47439 0 [pid=6899] vsize: 191212 Current children cumulated CPU time (s) 707.48 Current children cumulated vsize (Kb) 191212 [startup+720.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 68462 0 0 0 71460 284 0 0 25 0 1 0 20828288 195952640 33891 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47840 33891 364 364 0 47476 0 [pid=6899] vsize: 191360 Current children cumulated CPU time (s) 717.44 Current children cumulated vsize (Kb) 191360 [startup+730.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 68465 0 0 0 72452 287 0 0 25 0 1 0 20828288 195952640 33894 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47840 33894 364 364 0 47476 0 [pid=6899] vsize: 191360 Current children cumulated CPU time (s) 727.39 Current children cumulated vsize (Kb) 191360 [startup+740.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 69033 0 0 0 73445 291 0 0 25 0 1 0 20828288 195952640 33906 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47840 33906 364 364 0 47476 0 [pid=6899] vsize: 191360 Current children cumulated CPU time (s) 737.36 Current children cumulated vsize (Kb) 191360 [startup+750.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 69047 0 0 0 74436 294 0 0 25 0 1 0 20828288 195952640 33920 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47840 33920 364 364 0 47476 0 [pid=6899] vsize: 191360 Current children cumulated CPU time (s) 747.3 Current children cumulated vsize (Kb) 191360 [startup+760.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 69611 0 0 0 75429 297 0 0 25 0 1 0 20828288 198230016 34484 4294967295 134512640 135987407 3221224576 3221222752 134828922 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48396 34484 364 364 0 48032 0 [pid=6899] vsize: 193584 Current children cumulated CPU time (s) 757.26 Current children cumulated vsize (Kb) 193584 [startup+770.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 69612 0 0 0 76423 299 0 0 25 0 1 0 20828288 195952640 33929 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47840 33929 364 364 0 47476 0 [pid=6899] vsize: 191360 Current children cumulated CPU time (s) 767.22 Current children cumulated vsize (Kb) 191360 [startup+780.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 69621 0 0 0 77415 302 0 0 25 0 1 0 20828288 195952640 33938 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47840 33938 364 364 0 47476 0 [pid=6899] vsize: 191360 Current children cumulated CPU time (s) 777.17 Current children cumulated vsize (Kb) 191360 [startup+790.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 70195 0 0 0 78406 306 0 0 25 0 1 0 20828288 196100096 33956 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47876 33956 364 364 0 47512 0 [pid=6899] vsize: 191504 Current children cumulated CPU time (s) 787.12 Current children cumulated vsize (Kb) 191504 [startup+800.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 70209 0 0 0 79399 308 0 0 25 0 1 0 20828288 196100096 33970 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47876 33970 364 364 0 47512 0 [pid=6899] vsize: 191504 Current children cumulated CPU time (s) 797.07 Current children cumulated vsize (Kb) 191504 [startup+810.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 70767 0 0 0 80392 311 0 0 25 0 1 0 20828288 196100096 33972 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47876 33972 364 364 0 47512 0 [pid=6899] vsize: 191504 Current children cumulated CPU time (s) 807.03 Current children cumulated vsize (Kb) 191504 [startup+820.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 70772 0 0 0 81385 314 0 0 25 0 1 0 20828288 196100096 33977 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47876 33977 364 364 0 47512 0 [pid=6899] vsize: 191504 Current children cumulated CPU time (s) 816.99 Current children cumulated vsize (Kb) 191504 [startup+830.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 71330 0 0 0 82379 317 0 0 25 0 1 0 20828288 196100096 33979 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47876 33979 364 364 0 47512 0 [pid=6899] vsize: 191504 Current children cumulated CPU time (s) 826.96 Current children cumulated vsize (Kb) 191504 [startup+840.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 71331 0 0 0 83372 319 0 0 25 0 1 0 20828288 196100096 33980 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47876 33980 364 364 0 47512 0 [pid=6899] vsize: 191504 Current children cumulated CPU time (s) 836.91 Current children cumulated vsize (Kb) 191504 [startup+850.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 71336 0 0 0 84364 321 0 0 25 0 1 0 20828288 196235264 33985 4294967295 134512640 135987407 3221224576 3221223056 134811816 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47909 33985 364 364 0 47545 0 [pid=6899] vsize: 191636 Current children cumulated CPU time (s) 846.85 Current children cumulated vsize (Kb) 191636 [startup+860.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 71894 0 0 0 85357 325 0 0 25 0 1 0 20828288 196235264 33987 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47909 33987 364 364 0 47545 0 [pid=6899] vsize: 191636 Current children cumulated CPU time (s) 856.82 Current children cumulated vsize (Kb) 191636 [startup+870.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 71906 0 0 0 86348 328 0 0 25 0 1 0 20828288 196235264 33999 4294967295 134512640 135987407 3221224576 3221223056 134811972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47909 33999 364 364 0 47545 0 [pid=6899] vsize: 191636 Current children cumulated CPU time (s) 866.76 Current children cumulated vsize (Kb) 191636 [startup+880.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 71917 0 0 0 87337 332 0 0 25 0 1 0 20828288 196235264 34010 4294967295 134512640 135987407 3221224576 3221223056 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47909 34010 364 364 0 47545 0 [pid=6899] vsize: 191636 Current children cumulated CPU time (s) 876.69 Current children cumulated vsize (Kb) 191636 [startup+890.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 72474 0 0 0 88330 335 0 0 25 0 1 0 20828288 196235264 34011 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47909 34011 364 364 0 47545 0 [pid=6899] vsize: 191636 Current children cumulated CPU time (s) 886.65 Current children cumulated vsize (Kb) 191636 [startup+900.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 72487 0 0 0 89322 338 0 0 25 0 1 0 20828288 196423680 34024 4294967295 134512640 135987407 3221224576 3221223056 134811842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47955 34024 364 364 0 47591 0 [pid=6899] vsize: 191820 Current children cumulated CPU time (s) 896.6 Current children cumulated vsize (Kb) 191820 [startup+910.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 73045 0 0 0 90314 342 0 0 25 0 1 0 20828288 196423680 34026 4294967295 134512640 135987407 3221224576 3221223056 134811816 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47955 34026 364 364 0 47591 0 [pid=6899] vsize: 191820 Current children cumulated CPU time (s) 906.56 Current children cumulated vsize (Kb) 191820 [startup+920.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 73048 0 0 0 91305 344 0 0 25 0 1 0 20828288 196423680 34029 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6899/statm): 47955 34029 364 364 0 47591 0 [pid=6899] vsize: 191820 Current children cumulated CPU time (s) 916.49 Current children cumulated vsize (Kb) 191820 [startup+930.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 73058 0 0 0 92297 346 0 0 25 0 1 0 20828288 196423680 34039 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47955 34039 364 364 0 47591 0 [pid=6899] vsize: 191820 Current children cumulated CPU time (s) 926.43 Current children cumulated vsize (Kb) 191820 [startup+940.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 73627 0 0 0 93286 351 0 0 25 0 1 0 20828288 196423680 34052 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47955 34052 364 364 0 47591 0 [pid=6899] vsize: 191820 Current children cumulated CPU time (s) 936.37 Current children cumulated vsize (Kb) 191820 [startup+950.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 73630 0 0 0 94278 355 0 0 25 0 1 0 20828288 196423680 34055 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47955 34055 364 364 0 47591 0 [pid=6899] vsize: 191820 Current children cumulated CPU time (s) 946.33 Current children cumulated vsize (Kb) 191820 [startup+960.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 74207 0 0 0 95268 359 0 0 25 0 1 0 20828288 196587520 34076 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47995 34076 364 364 0 47631 0 [pid=6899] vsize: 191980 Current children cumulated CPU time (s) 956.27 Current children cumulated vsize (Kb) 191980 [startup+970.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 74210 0 0 0 96263 361 0 0 25 0 1 0 20828288 196587520 34079 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47995 34079 364 364 0 47631 0 [pid=6899] vsize: 191980 Current children cumulated CPU time (s) 966.24 Current children cumulated vsize (Kb) 191980 [startup+980.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 74214 0 0 0 97255 364 0 0 25 0 1 0 20828288 196587520 34083 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47995 34083 364 364 0 47631 0 [pid=6899] vsize: 191980 Current children cumulated CPU time (s) 976.19 Current children cumulated vsize (Kb) 191980 [startup+990.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 74776 0 0 0 98247 367 0 0 25 0 1 0 20828288 196587520 34089 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47995 34089 364 364 0 47631 0 [pid=6899] vsize: 191980 Current children cumulated CPU time (s) 986.14 Current children cumulated vsize (Kb) 191980 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 74782 0 0 0 99239 370 0 0 25 0 1 0 20828288 196587520 34095 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 47995 34095 364 364 0 47631 0 [pid=6899] vsize: 191980 Current children cumulated CPU time (s) 996.09 Current children cumulated vsize (Kb) 191980 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 75351 0 0 0 100232 374 0 0 25 0 1 0 20828288 196739072 34108 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48032 34108 364 364 0 47668 0 [pid=6899] vsize: 192128 Current children cumulated CPU time (s) 1006.06 Current children cumulated vsize (Kb) 192128 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 75353 0 0 0 101225 376 0 0 25 0 1 0 20828288 196739072 34110 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48032 34110 364 364 0 47668 0 [pid=6899] vsize: 192128 Current children cumulated CPU time (s) 1016.01 Current children cumulated vsize (Kb) 192128 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 75356 0 0 0 102216 380 0 0 25 0 1 0 20828288 196739072 34113 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48032 34113 364 364 0 47668 0 [pid=6899] vsize: 192128 Current children cumulated CPU time (s) 1025.96 Current children cumulated vsize (Kb) 192128 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 75924 0 0 0 103210 382 0 0 25 0 1 0 20828288 196739072 34125 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48032 34125 364 364 0 47668 0 [pid=6899] vsize: 192128 Current children cumulated CPU time (s) 1035.92 Current children cumulated vsize (Kb) 192128 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 75926 0 0 0 104205 385 0 0 25 0 1 0 20828288 196739072 34127 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48032 34127 364 364 0 47668 0 [pid=6899] vsize: 192128 Current children cumulated CPU time (s) 1045.9 Current children cumulated vsize (Kb) 192128 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 75940 0 0 0 105194 388 0 0 25 0 1 0 20828288 196739072 34141 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48032 34141 364 364 0 47668 0 [pid=6899] vsize: 192128 Current children cumulated CPU time (s) 1055.82 Current children cumulated vsize (Kb) 192128 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 75942 0 0 0 106185 391 0 0 25 0 1 0 20828288 196739072 34143 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48032 34143 364 364 0 47668 0 [pid=6899] vsize: 192128 Current children cumulated CPU time (s) 1065.76 Current children cumulated vsize (Kb) 192128 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 75947 0 0 0 107176 394 0 0 25 0 1 0 20828288 196886528 34148 4294967295 134512640 135987407 3221224576 3221223056 134811835 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48068 34148 364 364 0 47704 0 [pid=6899] vsize: 192272 Current children cumulated CPU time (s) 1075.7 Current children cumulated vsize (Kb) 192272 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 75949 0 0 0 108165 398 0 0 25 0 1 0 20828288 196886528 34150 4294967295 134512640 135987407 3221224576 3221223056 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48068 34150 364 364 0 47704 0 [pid=6899] vsize: 192272 Current children cumulated CPU time (s) 1085.63 Current children cumulated vsize (Kb) 192272 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 76510 0 0 0 109155 402 0 0 25 0 1 0 20828288 196886528 34155 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48068 34155 364 364 0 47704 0 [pid=6899] vsize: 192272 Current children cumulated CPU time (s) 1095.57 Current children cumulated vsize (Kb) 192272 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 76514 0 0 0 110151 403 0 0 25 0 1 0 20828288 196886528 34159 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48068 34159 364 364 0 47704 0 [pid=6899] vsize: 192272 Current children cumulated CPU time (s) 1105.54 Current children cumulated vsize (Kb) 192272 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 77080 0 0 0 111141 407 0 0 25 0 1 0 20828288 199163904 34725 4294967295 134512640 135987407 3221224576 3221222728 134827499 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48624 34725 364 364 0 48260 0 [pid=6899] vsize: 194496 Current children cumulated CPU time (s) 1115.48 Current children cumulated vsize (Kb) 194496 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 77082 0 0 0 112137 409 0 0 25 0 1 0 20828288 196886528 34171 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48068 34171 364 364 0 47704 0 [pid=6899] vsize: 192272 Current children cumulated CPU time (s) 1125.46 Current children cumulated vsize (Kb) 192272 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 77085 0 0 0 113129 412 0 0 25 0 1 0 20828288 196886528 34174 4294967295 134512640 135987407 3221224576 3221223056 134811956 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48068 34174 364 364 0 47704 0 [pid=6899] vsize: 192272 Current children cumulated CPU time (s) 1135.41 Current children cumulated vsize (Kb) 192272 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 77652 0 0 0 114121 415 0 0 25 0 1 0 20828288 196886528 34185 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48068 34185 364 364 0 47704 0 [pid=6899] vsize: 192272 Current children cumulated CPU time (s) 1145.36 Current children cumulated vsize (Kb) 192272 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 77656 0 0 0 115114 418 0 0 25 0 1 0 20828288 196886528 34189 4294967295 134512640 135987407 3221224576 3221223056 134811959 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48068 34189 364 364 0 47704 0 [pid=6899] vsize: 192272 Current children cumulated CPU time (s) 1155.32 Current children cumulated vsize (Kb) 192272 [startup+1170.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 77661 0 0 0 116105 422 0 0 25 0 1 0 20828288 197021696 34194 4294967295 134512640 135987407 3221224576 3221223216 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48101 34194 364 364 0 47737 0 [pid=6899] vsize: 192404 Current children cumulated CPU time (s) 1165.27 Current children cumulated vsize (Kb) 192404 [startup+1180.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 78220 0 0 0 117099 424 0 0 25 0 1 0 20828288 197021696 34197 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48101 34197 364 364 0 47737 0 [pid=6899] vsize: 192404 Current children cumulated CPU time (s) 1175.23 Current children cumulated vsize (Kb) 192404 [startup+1190.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 78226 0 0 0 118090 427 0 0 25 0 1 0 20828288 197021696 34203 4294967295 134512640 135987407 3221224576 3221223056 134812025 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48101 34203 364 364 0 47737 0 [pid=6899] vsize: 192404 Current children cumulated CPU time (s) 1185.17 Current children cumulated vsize (Kb) 192404 [startup+1200.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 78787 0 0 0 119079 432 0 0 25 0 1 0 20828288 197021696 34208 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48101 34208 364 364 0 47737 0 [pid=6899] vsize: 192404 Current children cumulated CPU time (s) 1195.11 Current children cumulated vsize (Kb) 192404 [startup+1210.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 78793 0 0 0 120070 435 0 0 25 0 1 0 20828288 197021696 34214 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48101 34214 364 364 0 47737 0 [pid=6899] vsize: 192404 Current children cumulated CPU time (s) 1205.05 Current children cumulated vsize (Kb) 192404 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6899 Raw data (/proc/6899/stat): 6899 (pb2sat) R 6898 6899 4005 0 -1 0 78793 0 0 0 120070 435 0 0 25 0 1 0 20828288 197021696 34214 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6899/statm): 48101 34214 364 364 0 47737 0 [pid=6899] vsize: 192404 Current children cumulated CPU time (s) 1205.05 Current children cumulated vsize (Kb) 192404 Sending SIGTERM to -6899 Sleeping 2 seconds One traced child (pid=6899) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1210.6 CPU time (s): 1205.58 CPU user time (s): 1201.15 CPU system time (s): 4.42733 CPU usage (%): 99.585 Max. virtual memory (cumulated for all children) (Kb): 194496
Verifier: OK 63