Name | submitted/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb |
MD5SUM | a483fc3761bb4050329265bf3a3a7ca5 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 372 |
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 | 1.09383 |
Number of variables | 808 |
Total number of constraints | 5557 |
Number of constraints which are clauses | 5557 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
LAUNCH ON wulflinc19 THE 2005-09-23 14:39:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8352 boxname=wulflinc19 idbench=148 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: a483fc3761bb4050329265bf3a3a7ca5 /oldhome/oroussel/tmp/wulflinc19/normalized-ii32d2.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc19/normalized-ii32d2.opb IDLAUNCH: 8352 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.169 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.169 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: 930188 kB Buffers: 14692 kB Cached: 70376 kB SwapCached: 0 kB Active: 45652 kB Inactive: 42352 kB HighTotal: 131008 kB HighFree: 57064 kB LowTotal: 903652 kB LowFree: 873124 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6972 kB Slab: 11036 kB Committed_AS: 63656 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 14:59:37 (client local time) WITH STATUS 10 IN 1209.54 SECONDS stats: 8352 0 1209.54 10
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 404 c small objective detected c CONFLICT during preprocess c [startup+13.6448 s] setting bit 9 to 0 c Decision: 138588/246252 Time: 63.8743/86400 c Decision: 138588/246252 Time: 111.269/86400 c Decision: 139148/246252 Time: 164.053/86400 c Decision: 139148/246252 Time: 202.479/86400 c Decision: 139148/246252 Time: 254.09/86400 c Decision: 139264/246252 Time: 318.174/86400 c Decision: 139264/246252 Time: 365.863/86400 c Decision: 139943/246252 Time: 500.455/86400 c Decision: 139951/246252 Time: 593.692/86400 c Decision: 139951/246252 Time: 621.726/86400 c Decision: 141052/246252 Time: 695.565/86400 c Decision: 141052/246252 Time: 748.716/86400 c Decision: 141076/246252 Time: 808.591/86400 c Decision: 141443/246252 Time: 864.628/86400 c Decision: 141443/246252 Time: 916.219/86400 c Decision: 141443/246252 Time: 970.347/86400 c Decision: 142200/246252 Time: 1070.94/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/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 20974353 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 373 2 364 364 0 9 0 [pid=6445] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc19/normalized-ii32d2.opb [startup+10.0017 s] Raw data (loadavg): 0.93 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 30031 0 0 0 932 64 0 0 25 0 1 0 20974353 95916032 18914 4294967295 134512640 135987407 3221224576 3221205392 134537391 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 23417 18914 364 364 0 23053 0 [pid=6445] vsize: 93668 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 93668 [startup+20.0035 s] Raw data (loadavg): 0.94 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 37473 0 0 0 1910 84 0 0 25 0 1 0 20974353 110411776 25115 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 26956 25115 364 364 0 26592 0 [pid=6445] vsize: 107824 Current children cumulated CPU time (s) 19.94 Current children cumulated vsize (Kb) 107824 [startup+30.0043 s] Raw data (loadavg): 0.95 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 37940 0 0 0 2906 86 0 0 25 0 1 0 20974353 112603136 25516 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 27491 25516 364 364 0 27127 0 [pid=6445] vsize: 109964 Current children cumulated CPU time (s) 29.92 Current children cumulated vsize (Kb) 109964 [startup+40.0041 s] Raw data (loadavg): 0.96 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 38165 0 0 0 3905 87 0 0 25 0 1 0 20974353 113266688 25642 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 27653 25642 364 364 0 27289 0 [pid=6445] vsize: 110612 Current children cumulated CPU time (s) 39.92 Current children cumulated vsize (Kb) 110612 [startup+50.0049 s] Raw data (loadavg): 0.96 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 38203 0 0 0 4904 87 0 0 25 0 1 0 20974353 113401856 25680 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 27686 25680 364 364 0 27322 0 [pid=6445] vsize: 110744 Current children cumulated CPU time (s) 49.91 Current children cumulated vsize (Kb) 110744 [startup+60.0058 s] Raw data (loadavg): 0.97 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 38228 0 0 0 5903 88 0 0 25 0 1 0 20974353 113401856 25705 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 27686 25705 364 364 0 27322 0 [pid=6445] vsize: 110744 Current children cumulated CPU time (s) 59.91 Current children cumulated vsize (Kb) 110744 [startup+70.0066 s] Raw data (loadavg): 0.97 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 38296 0 0 0 6902 89 0 0 25 0 1 0 20974353 113532928 25740 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 27718 25740 364 364 0 27354 0 [pid=6445] vsize: 110872 Current children cumulated CPU time (s) 69.91 Current children cumulated vsize (Kb) 110872 [startup+80.0074 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 39006 0 0 0 7899 91 0 0 25 0 1 0 20974353 114331648 25871 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 27913 25871 364 364 0 27549 0 [pid=6445] vsize: 111652 Current children cumulated CPU time (s) 79.9 Current children cumulated vsize (Kb) 111652 [startup+90.0073 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 39066 0 0 0 8897 92 0 0 25 0 1 0 20974353 114462720 25898 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 27945 25898 364 364 0 27581 0 [pid=6445] vsize: 111780 Current children cumulated CPU time (s) 89.89 Current children cumulated vsize (Kb) 111780 [startup+100.008 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 39066 0 0 0 9896 93 0 0 25 0 1 0 20974353 114462720 25898 4294967295 134512640 135987407 3221224576 3221223184 134801140 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 27945 25898 364 364 0 27581 0 [pid=6445] vsize: 111780 Current children cumulated CPU time (s) 99.89 Current children cumulated vsize (Kb) 111780 [startup+110.009 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 39069 0 0 0 10895 93 0 0 25 0 1 0 20974353 114462720 25901 4294967295 134512640 135987407 3221224576 3221223004 134801599 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 27945 25901 364 364 0 27581 0 [pid=6445] vsize: 111780 Current children cumulated CPU time (s) 109.88 Current children cumulated vsize (Kb) 111780 [startup+120.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 39070 0 0 0 11893 93 0 0 25 0 1 0 20974353 114462720 25902 4294967295 134512640 135987407 3221224576 3221223120 134811704 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 27945 25902 364 364 0 27581 0 [pid=6445] vsize: 111780 Current children cumulated CPU time (s) 119.86 Current children cumulated vsize (Kb) 111780 [startup+130.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 39563 0 0 0 12891 95 0 0 25 0 1 0 20974353 114462720 25914 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 27945 25914 364 364 0 27581 0 [pid=6445] vsize: 111780 Current children cumulated CPU time (s) 129.86 Current children cumulated vsize (Kb) 111780 [startup+140.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 39572 0 0 0 13890 96 0 0 25 0 1 0 20974353 114462720 25923 4294967295 134512640 135987407 3221224576 3221223120 134811873 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 27945 25923 364 364 0 27581 0 [pid=6445] vsize: 111780 Current children cumulated CPU time (s) 139.86 Current children cumulated vsize (Kb) 111780 [startup+150.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 39585 0 0 0 14888 96 0 0 25 0 1 0 20974353 114462720 25936 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 27945 25936 364 364 0 27581 0 [pid=6445] vsize: 111780 Current children cumulated CPU time (s) 149.84 Current children cumulated vsize (Kb) 111780 [startup+160.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 39598 0 0 0 15887 97 0 0 25 0 1 0 20974353 114462720 25949 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 27945 25949 364 364 0 27581 0 [pid=6445] vsize: 111780 Current children cumulated CPU time (s) 159.84 Current children cumulated vsize (Kb) 111780 [startup+170.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 39680 0 0 0 16886 98 0 0 25 0 1 0 20974353 114724864 25966 4294967295 134512640 135987407 3221224576 3221223184 134801142 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 28009 25966 364 364 0 27645 0 [pid=6445] vsize: 112036 Current children cumulated CPU time (s) 169.84 Current children cumulated vsize (Kb) 112036 [startup+180.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 40211 0 0 0 17883 100 0 0 25 0 1 0 20974353 114855936 25983 4294967295 134512640 135987407 3221224576 3221223248 134824727 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28041 25983 364 364 0 27677 0 [pid=6445] vsize: 112164 Current children cumulated CPU time (s) 179.83 Current children cumulated vsize (Kb) 112164 [startup+190.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 40224 0 0 0 18882 100 0 0 25 0 1 0 20974353 114855936 25996 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28041 25996 364 364 0 27677 0 [pid=6445] vsize: 112164 Current children cumulated CPU time (s) 189.82 Current children cumulated vsize (Kb) 112164 [startup+200.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 40236 0 0 0 19881 100 0 0 25 0 1 0 20974353 114855936 26008 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28041 26008 364 364 0 27677 0 [pid=6445] vsize: 112164 Current children cumulated CPU time (s) 199.81 Current children cumulated vsize (Kb) 112164 [startup+210.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 40266 0 0 0 20880 101 0 0 25 0 1 0 20974353 114855936 26038 4294967295 134512640 135987407 3221224576 3221223120 134812025 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28041 26038 364 364 0 27677 0 [pid=6445] vsize: 112164 Current children cumulated CPU time (s) 209.81 Current children cumulated vsize (Kb) 112164 [startup+220.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 40761 0 0 0 21877 103 0 0 25 0 1 0 20974353 114991104 26052 4294967295 134512640 135987407 3221224576 3221222992 134788457 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28074 26052 364 364 0 27710 0 [pid=6445] vsize: 112296 Current children cumulated CPU time (s) 219.8 Current children cumulated vsize (Kb) 112296 [startup+230.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 40773 0 0 0 22876 103 0 0 25 0 1 0 20974353 114991104 26064 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28074 26064 364 364 0 27710 0 [pid=6445] vsize: 112296 Current children cumulated CPU time (s) 229.79 Current children cumulated vsize (Kb) 112296 [startup+240.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 40787 0 0 0 23876 103 0 0 25 0 1 0 20974353 114991104 26078 4294967295 134512640 135987407 3221224576 3221223232 134824317 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28074 26078 364 364 0 27710 0 [pid=6445] vsize: 112296 Current children cumulated CPU time (s) 239.79 Current children cumulated vsize (Kb) 112296 [startup+250.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 40801 0 0 0 24875 103 0 0 25 0 1 0 20974353 114991104 26092 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28074 26092 364 364 0 27710 0 [pid=6445] vsize: 112296 Current children cumulated CPU time (s) 249.78 Current children cumulated vsize (Kb) 112296 [startup+260.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 40812 0 0 0 25874 104 0 0 25 0 1 0 20974353 114991104 26103 4294967295 134512640 135987407 3221224576 3221223264 134812778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28074 26103 364 364 0 27710 0 [pid=6445] vsize: 112296 Current children cumulated CPU time (s) 259.78 Current children cumulated vsize (Kb) 112296 [startup+270.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 41309 0 0 0 26871 106 0 0 25 0 1 0 20974353 114991104 26119 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28074 26119 364 364 0 27710 0 [pid=6445] vsize: 112296 Current children cumulated CPU time (s) 269.77 Current children cumulated vsize (Kb) 112296 [startup+280.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 41326 0 0 0 27869 106 0 0 25 0 1 0 20974353 114991104 26136 4294967295 134512640 135987407 3221224576 3221223120 134812126 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28074 26136 364 364 0 27710 0 [pid=6445] vsize: 112296 Current children cumulated CPU time (s) 279.75 Current children cumulated vsize (Kb) 112296 [startup+290.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 41338 0 0 0 28868 107 0 0 25 0 1 0 20974353 114991104 26148 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28074 26148 364 364 0 27710 0 [pid=6445] vsize: 112296 Current children cumulated CPU time (s) 289.75 Current children cumulated vsize (Kb) 112296 [startup+300.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 41355 0 0 0 29867 107 0 0 25 0 1 0 20974353 114991104 26165 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28074 26165 364 364 0 27710 0 [pid=6445] vsize: 112296 Current children cumulated CPU time (s) 299.74 Current children cumulated vsize (Kb) 112296 [startup+310.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 41366 0 0 0 30866 107 0 0 25 0 1 0 20974353 115126272 26176 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28107 26176 364 364 0 27743 0 [pid=6445] vsize: 112428 Current children cumulated CPU time (s) 309.73 Current children cumulated vsize (Kb) 112428 [startup+320.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 41381 0 0 0 31864 109 0 0 25 0 1 0 20974353 115126272 26191 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28107 26191 364 364 0 27743 0 [pid=6445] vsize: 112428 Current children cumulated CPU time (s) 319.73 Current children cumulated vsize (Kb) 112428 [startup+330.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 41400 0 0 0 32862 109 0 0 25 0 1 0 20974353 115126272 26210 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28107 26210 364 364 0 27743 0 [pid=6445] vsize: 112428 Current children cumulated CPU time (s) 329.71 Current children cumulated vsize (Kb) 112428 [startup+340.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 42292 0 0 0 33857 111 0 0 25 0 1 0 20974353 117030912 26555 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28572 26555 364 364 0 28208 0 [pid=6445] vsize: 114288 Current children cumulated CPU time (s) 339.68 Current children cumulated vsize (Kb) 114288 [startup+350.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 42357 0 0 0 34855 113 0 0 25 0 1 0 20974353 117436416 26620 4294967295 134512640 135987407 3221224576 3221223248 134824256 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28671 26620 364 364 0 28307 0 [pid=6445] vsize: 114684 Current children cumulated CPU time (s) 349.68 Current children cumulated vsize (Kb) 114684 [startup+360.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 42358 0 0 0 35854 113 0 0 25 0 1 0 20974353 117436416 26621 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28671 26621 364 364 0 28307 0 [pid=6445] vsize: 114684 Current children cumulated CPU time (s) 359.67 Current children cumulated vsize (Kb) 114684 [startup+370.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 42359 0 0 0 36852 114 0 0 25 0 1 0 20974353 117436416 26622 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28671 26622 364 364 0 28307 0 [pid=6445] vsize: 114684 Current children cumulated CPU time (s) 369.66 Current children cumulated vsize (Kb) 114684 [startup+380.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 42841 0 0 0 37850 115 0 0 25 0 1 0 20974353 117436416 26623 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28671 26623 364 364 0 28307 0 [pid=6445] vsize: 114684 Current children cumulated CPU time (s) 379.65 Current children cumulated vsize (Kb) 114684 [startup+390.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 42841 0 0 0 38849 116 0 0 25 0 1 0 20974353 117436416 26623 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28671 26623 364 364 0 28307 0 [pid=6445] vsize: 114684 Current children cumulated CPU time (s) 389.65 Current children cumulated vsize (Kb) 114684 [startup+400.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 42842 0 0 0 39847 116 0 0 25 0 1 0 20974353 117436416 26624 4294967295 134512640 135987407 3221224576 3221223184 134801166 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28671 26624 364 364 0 28307 0 [pid=6445] vsize: 114684 Current children cumulated CPU time (s) 399.63 Current children cumulated vsize (Kb) 114684 [startup+410.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 42843 0 0 0 40846 117 0 0 25 0 1 0 20974353 117436416 26625 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28671 26625 364 364 0 28307 0 [pid=6445] vsize: 114684 Current children cumulated CPU time (s) 409.63 Current children cumulated vsize (Kb) 114684 [startup+420.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 42844 0 0 0 41844 117 0 0 25 0 1 0 20974353 117436416 26626 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28671 26626 364 364 0 28307 0 [pid=6445] vsize: 114684 Current children cumulated CPU time (s) 419.61 Current children cumulated vsize (Kb) 114684 [startup+430.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 42845 0 0 0 42843 118 0 0 25 0 1 0 20974353 117436416 26627 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 28671 26627 364 364 0 28307 0 [pid=6445] vsize: 114684 Current children cumulated CPU time (s) 429.61 Current children cumulated vsize (Kb) 114684 [startup+440.025 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 42845 0 0 0 43842 119 0 0 25 0 1 0 20974353 117436416 26627 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 28671 26627 364 364 0 28307 0 [pid=6445] vsize: 114684 Current children cumulated CPU time (s) 439.61 Current children cumulated vsize (Kb) 114684 [startup+450.026 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 43536 0 0 0 44837 121 0 0 25 0 1 0 20974353 120680448 27219 4294967295 134512640 135987407 3221224576 3221223184 134801142 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29463 27219 364 364 0 29099 0 [pid=6445] vsize: 117852 Current children cumulated CPU time (s) 449.58 Current children cumulated vsize (Kb) 117852 [startup+460.026 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 44022 0 0 0 45835 122 0 0 25 0 1 0 20974353 122269696 27507 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29851 27507 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 459.57 Current children cumulated vsize (Kb) 119404 [startup+470.025 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 44024 0 0 0 46833 123 0 0 25 0 1 0 20974353 122269696 27509 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29851 27509 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 469.56 Current children cumulated vsize (Kb) 119404 [startup+480.026 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 44024 0 0 0 47833 124 0 0 25 0 1 0 20974353 122269696 27509 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29851 27509 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 479.57 Current children cumulated vsize (Kb) 119404 [startup+490.026 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 44025 0 0 0 48831 125 0 0 25 0 1 0 20974353 122269696 27510 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29851 27510 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 489.56 Current children cumulated vsize (Kb) 119404 [startup+500.027 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 44026 0 0 0 49830 125 0 0 25 0 1 0 20974353 122269696 27511 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29851 27511 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 499.55 Current children cumulated vsize (Kb) 119404 [startup+510.027 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 44027 0 0 0 50830 125 0 0 25 0 1 0 20974353 122269696 27512 4294967295 134512640 135987407 3221224576 3221223248 134824240 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29851 27512 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 509.55 Current children cumulated vsize (Kb) 119404 [startup+520.027 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 44510 0 0 0 51828 127 0 0 25 0 1 0 20974353 122269696 27514 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 29851 27514 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 519.55 Current children cumulated vsize (Kb) 119404 [startup+530.027 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 44524 0 0 0 52827 128 0 0 25 0 1 0 20974353 122269696 27528 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 29851 27528 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 529.55 Current children cumulated vsize (Kb) 119404 [startup+540.028 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 44538 0 0 0 53826 128 0 0 25 0 1 0 20974353 122269696 27542 4294967295 134512640 135987407 3221224576 3221223120 134812038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 29851 27542 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 539.54 Current children cumulated vsize (Kb) 119404 [startup+550.029 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 44551 0 0 0 54824 129 0 0 25 0 1 0 20974353 122269696 27555 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 29851 27555 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 549.53 Current children cumulated vsize (Kb) 119404 [startup+560.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 44562 0 0 0 55823 129 0 0 25 0 1 0 20974353 122269696 27566 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 29851 27566 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 559.52 Current children cumulated vsize (Kb) 119404 [startup+570.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 44576 0 0 0 56822 130 0 0 25 0 1 0 20974353 122269696 27580 4294967295 134512640 135987407 3221224576 3221223072 134821348 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 29851 27580 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 569.52 Current children cumulated vsize (Kb) 119404 [startup+580.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 44590 0 0 0 57820 131 0 0 25 0 1 0 20974353 122269696 27594 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 29851 27594 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 579.51 Current children cumulated vsize (Kb) 119404 [startup+590.031 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 44603 0 0 0 58818 132 0 0 25 0 1 0 20974353 122269696 27607 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 29851 27607 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 589.5 Current children cumulated vsize (Kb) 119404 [startup+600.032 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 44614 0 0 0 59817 132 0 0 25 0 1 0 20974353 122269696 27618 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 29851 27618 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 599.49 Current children cumulated vsize (Kb) 119404 [startup+610.032 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 45104 0 0 0 60815 134 0 0 25 0 1 0 20974353 122269696 27627 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 29851 27627 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 609.49 Current children cumulated vsize (Kb) 119404 [startup+620.032 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 45116 0 0 0 61812 135 0 0 25 0 1 0 20974353 122269696 27639 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 29851 27639 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 619.47 Current children cumulated vsize (Kb) 119404 [startup+630.033 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 45135 0 0 0 62810 136 0 0 25 0 1 0 20974353 122269696 27658 4294967295 134512640 135987407 3221224576 3221223120 134812005 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 29851 27658 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 629.46 Current children cumulated vsize (Kb) 119404 [startup+640.032 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 45629 0 0 0 63807 138 0 0 25 0 1 0 20974353 122269696 27671 4294967295 134512640 135987407 3221224576 3221223120 134811813 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 29851 27671 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 639.45 Current children cumulated vsize (Kb) 119404 [startup+650.033 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 45641 0 0 0 64805 138 0 0 25 0 1 0 20974353 122269696 27683 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 29851 27683 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 649.43 Current children cumulated vsize (Kb) 119404 [startup+660.034 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 45652 0 0 0 65804 139 0 0 25 0 1 0 20974353 122269696 27694 4294967295 134512640 135987407 3221224576 3221223120 134812194 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 29851 27694 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 659.43 Current children cumulated vsize (Kb) 119404 [startup+670.034 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 45665 0 0 0 66802 140 0 0 25 0 1 0 20974353 122269696 27707 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29851 27707 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 669.42 Current children cumulated vsize (Kb) 119404 [startup+680.035 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 45674 0 0 0 67802 140 0 0 25 0 1 0 20974353 122269696 27716 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29851 27716 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 679.42 Current children cumulated vsize (Kb) 119404 [startup+690.034 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 45687 0 0 0 68801 140 0 0 25 0 1 0 20974353 122269696 27729 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29851 27729 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 689.41 Current children cumulated vsize (Kb) 119404 [startup+700.035 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 45699 0 0 0 69800 141 0 0 25 0 1 0 20974353 122269696 27741 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29851 27741 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 699.41 Current children cumulated vsize (Kb) 119404 [startup+710.035 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 46191 0 0 0 70798 143 0 0 25 0 1 0 20974353 122269696 27752 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29851 27752 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 709.41 Current children cumulated vsize (Kb) 119404 [startup+720.035 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 46192 0 0 0 71797 143 0 0 25 0 1 0 20974353 122269696 27753 4294967295 134512640 135987407 3221224576 3221223120 134811800 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29851 27753 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 719.4 Current children cumulated vsize (Kb) 119404 [startup+730.035 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 46193 0 0 0 72796 143 0 0 25 0 1 0 20974353 122269696 27754 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29851 27754 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 729.39 Current children cumulated vsize (Kb) 119404 [startup+740.034 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 46194 0 0 0 73795 144 0 0 25 0 1 0 20974353 122269696 27755 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29851 27755 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 739.39 Current children cumulated vsize (Kb) 119404 [startup+750.035 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 46195 0 0 0 74794 144 0 0 25 0 1 0 20974353 122269696 27756 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29851 27756 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 749.38 Current children cumulated vsize (Kb) 119404 [startup+760.035 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 46195 0 0 0 75794 144 0 0 25 0 1 0 20974353 122269696 27756 4294967295 134512640 135987407 3221224576 3221223008 134801596 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29851 27756 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 759.38 Current children cumulated vsize (Kb) 119404 [startup+770.035 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 46677 0 0 0 76791 146 0 0 25 0 1 0 20974353 122269696 27757 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29851 27757 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 769.37 Current children cumulated vsize (Kb) 119404 [startup+780.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 46678 0 0 0 77791 147 0 0 25 0 1 0 20974353 122269696 27758 4294967295 134512640 135987407 3221224576 3221223120 134811741 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29851 27758 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 779.38 Current children cumulated vsize (Kb) 119404 [startup+790.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 46686 0 0 0 78789 147 0 0 25 0 1 0 20974353 122269696 27766 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29851 27766 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 789.36 Current children cumulated vsize (Kb) 119404 [startup+800.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 46687 0 0 0 79787 148 0 0 25 0 1 0 20974353 122269696 27767 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29851 27767 364 364 0 29487 0 [pid=6445] vsize: 119404 Current children cumulated CPU time (s) 799.35 Current children cumulated vsize (Kb) 119404 [startup+810.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 46732 0 0 0 80785 150 0 0 25 0 1 0 20974353 122400768 27779 4294967295 134512640 135987407 3221224576 3221223120 134811704 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29883 27779 364 364 0 29519 0 [pid=6445] vsize: 119532 Current children cumulated CPU time (s) 809.35 Current children cumulated vsize (Kb) 119532 [startup+820.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 46734 0 0 0 81784 150 0 0 25 0 1 0 20974353 122400768 27781 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29883 27781 364 364 0 29519 0 [pid=6445] vsize: 119532 Current children cumulated CPU time (s) 819.34 Current children cumulated vsize (Kb) 119532 [startup+830.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 47216 0 0 0 82782 151 0 0 25 0 1 0 20974353 122400768 27782 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29883 27782 364 364 0 29519 0 [pid=6445] vsize: 119532 Current children cumulated CPU time (s) 829.33 Current children cumulated vsize (Kb) 119532 [startup+840.037 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 47217 0 0 0 83781 151 0 0 25 0 1 0 20974353 122400768 27783 4294967295 134512640 135987407 3221224576 3221223120 134812018 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29883 27783 364 364 0 29519 0 [pid=6445] vsize: 119532 Current children cumulated CPU time (s) 839.32 Current children cumulated vsize (Kb) 119532 [startup+850.038 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 47218 0 0 0 84780 152 0 0 25 0 1 0 20974353 122400768 27784 4294967295 134512640 135987407 3221224576 3221223184 134801142 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29883 27784 364 364 0 29519 0 [pid=6445] vsize: 119532 Current children cumulated CPU time (s) 849.32 Current children cumulated vsize (Kb) 119532 [startup+860.037 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 47249 0 0 0 85779 153 0 0 25 0 1 0 20974353 122535936 27815 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29916 27815 364 364 0 29552 0 [pid=6445] vsize: 119664 Current children cumulated CPU time (s) 859.32 Current children cumulated vsize (Kb) 119664 [startup+870.037 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 47251 0 0 0 86777 153 0 0 25 0 1 0 20974353 122535936 27817 4294967295 134512640 135987407 3221224576 3221223296 134812632 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29916 27817 364 364 0 29552 0 [pid=6445] vsize: 119664 Current children cumulated CPU time (s) 869.3 Current children cumulated vsize (Kb) 119664 [startup+880.037 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 47742 0 0 0 87774 155 0 0 25 0 1 0 20974353 122535936 27827 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29916 27827 364 364 0 29552 0 [pid=6445] vsize: 119664 Current children cumulated CPU time (s) 879.29 Current children cumulated vsize (Kb) 119664 [startup+890.037 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 47743 0 0 0 88774 155 0 0 25 0 1 0 20974353 122535936 27828 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29916 27828 364 364 0 29552 0 [pid=6445] vsize: 119664 Current children cumulated CPU time (s) 889.29 Current children cumulated vsize (Kb) 119664 [startup+900.038 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 47744 0 0 0 89772 156 0 0 25 0 1 0 20974353 122535936 27829 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29916 27829 364 364 0 29552 0 [pid=6445] vsize: 119664 Current children cumulated CPU time (s) 899.28 Current children cumulated vsize (Kb) 119664 [startup+910.037 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 47745 0 0 0 90771 157 0 0 25 0 1 0 20974353 122535936 27830 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29916 27830 364 364 0 29552 0 [pid=6445] vsize: 119664 Current children cumulated CPU time (s) 909.28 Current children cumulated vsize (Kb) 119664 [startup+920.037 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 47745 0 0 0 91770 157 0 0 25 0 1 0 20974353 122535936 27830 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29916 27830 364 364 0 29552 0 [pid=6445] vsize: 119664 Current children cumulated CPU time (s) 919.27 Current children cumulated vsize (Kb) 119664 [startup+930.037 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 47746 0 0 0 92769 158 0 0 25 0 1 0 20974353 122535936 27831 4294967295 134512640 135987407 3221224576 3221223072 134789413 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29916 27831 364 364 0 29552 0 [pid=6445] vsize: 119664 Current children cumulated CPU time (s) 929.27 Current children cumulated vsize (Kb) 119664 [startup+940.037 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 48228 0 0 0 93768 159 0 0 25 0 1 0 20974353 122535936 27832 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29916 27832 364 364 0 29552 0 [pid=6445] vsize: 119664 Current children cumulated CPU time (s) 939.27 Current children cumulated vsize (Kb) 119664 [startup+950.038 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 48229 0 0 0 94767 159 0 0 25 0 1 0 20974353 122535936 27833 4294967295 134512640 135987407 3221224576 3221223120 134812160 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29916 27833 364 364 0 29552 0 [pid=6445] vsize: 119664 Current children cumulated CPU time (s) 949.26 Current children cumulated vsize (Kb) 119664 [startup+960.038 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 48230 0 0 0 95766 159 0 0 25 0 1 0 20974353 122535936 27834 4294967295 134512640 135987407 3221224576 3221223120 134811803 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29916 27834 364 364 0 29552 0 [pid=6445] vsize: 119664 Current children cumulated CPU time (s) 959.25 Current children cumulated vsize (Kb) 119664 [startup+970.038 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 48230 0 0 0 96765 160 0 0 25 0 1 0 20974353 122535936 27834 4294967295 134512640 135987407 3221224576 3221223184 134801140 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29916 27834 364 364 0 29552 0 [pid=6445] vsize: 119664 Current children cumulated CPU time (s) 969.25 Current children cumulated vsize (Kb) 119664 [startup+980.038 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 48231 0 0 0 97765 160 0 0 25 0 1 0 20974353 122535936 27835 4294967295 134512640 135987407 3221224576 3221223008 134788738 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29916 27835 364 364 0 29552 0 [pid=6445] vsize: 119664 Current children cumulated CPU time (s) 979.25 Current children cumulated vsize (Kb) 119664 [startup+990.038 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 48713 0 0 0 98763 162 0 0 25 0 1 0 20974353 122535936 27836 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29916 27836 364 364 0 29552 0 [pid=6445] vsize: 119664 Current children cumulated CPU time (s) 989.25 Current children cumulated vsize (Kb) 119664 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 48713 0 0 0 99762 162 0 0 25 0 1 0 20974353 122535936 27836 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29916 27836 364 364 0 29552 0 [pid=6445] vsize: 119664 Current children cumulated CPU time (s) 999.24 Current children cumulated vsize (Kb) 119664 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 48714 0 0 0 100761 162 0 0 25 0 1 0 20974353 122535936 27837 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29916 27837 364 364 0 29552 0 [pid=6445] vsize: 119664 Current children cumulated CPU time (s) 1009.23 Current children cumulated vsize (Kb) 119664 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 48715 0 0 0 101761 162 0 0 25 0 1 0 20974353 122535936 27838 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29916 27838 364 364 0 29552 0 [pid=6445] vsize: 119664 Current children cumulated CPU time (s) 1019.23 Current children cumulated vsize (Kb) 119664 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 48794 0 0 0 102759 163 0 0 25 0 1 0 20974353 122798080 27852 4294967295 134512640 135987407 3221224576 3221223120 134812056 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29980 27852 364 364 0 29616 0 [pid=6445] vsize: 119920 Current children cumulated CPU time (s) 1029.22 Current children cumulated vsize (Kb) 119920 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 48818 0 0 0 103758 164 0 0 25 0 1 0 20974353 122798080 27876 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 29980 27876 364 364 0 29616 0 [pid=6445] vsize: 119920 Current children cumulated CPU time (s) 1039.22 Current children cumulated vsize (Kb) 119920 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 48823 0 0 0 104757 165 0 0 25 0 1 0 20974353 122933248 27881 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 30013 27881 364 364 0 29649 0 [pid=6445] vsize: 120052 Current children cumulated CPU time (s) 1049.22 Current children cumulated vsize (Kb) 120052 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 48826 0 0 0 105754 166 0 0 25 0 1 0 20974353 122933248 27884 4294967295 134512640 135987407 3221224576 3221223184 134801307 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 30013 27884 364 364 0 29649 0 [pid=6445] vsize: 120052 Current children cumulated CPU time (s) 1059.2 Current children cumulated vsize (Kb) 120052 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 48829 0 0 0 106753 166 0 0 25 0 1 0 20974353 122933248 27887 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 30013 27887 364 364 0 29649 0 [pid=6445] vsize: 120052 Current children cumulated CPU time (s) 1069.19 Current children cumulated vsize (Kb) 120052 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 48832 0 0 0 107752 167 0 0 25 0 1 0 20974353 122933248 27890 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6445/statm): 30013 27890 364 364 0 29649 0 [pid=6445] vsize: 120052 Current children cumulated CPU time (s) 1079.19 Current children cumulated vsize (Kb) 120052 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 49331 0 0 0 108750 168 0 0 25 0 1 0 20974353 122933248 27908 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 30013 27908 364 364 0 29649 0 [pid=6445] vsize: 120052 Current children cumulated CPU time (s) 1089.18 Current children cumulated vsize (Kb) 120052 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 49335 0 0 0 109749 169 0 0 25 0 1 0 20974353 122933248 27912 4294967295 134512640 135987407 3221224576 3221223120 134812038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 30013 27912 364 364 0 29649 0 [pid=6445] vsize: 120052 Current children cumulated CPU time (s) 1099.18 Current children cumulated vsize (Kb) 120052 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 49336 0 0 0 110747 169 0 0 25 0 1 0 20974353 122933248 27913 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 30013 27913 364 364 0 29649 0 [pid=6445] vsize: 120052 Current children cumulated CPU time (s) 1109.16 Current children cumulated vsize (Kb) 120052 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 49339 0 0 0 111746 170 0 0 25 0 1 0 20974353 122933248 27916 4294967295 134512640 135987407 3221224576 3221223296 134812623 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 30013 27916 364 364 0 29649 0 [pid=6445] vsize: 120052 Current children cumulated CPU time (s) 1119.16 Current children cumulated vsize (Kb) 120052 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 49343 0 0 0 112745 170 0 0 25 0 1 0 20974353 122933248 27920 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 30013 27920 364 364 0 29649 0 [pid=6445] vsize: 120052 Current children cumulated CPU time (s) 1129.15 Current children cumulated vsize (Kb) 120052 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 49344 0 0 0 113744 171 0 0 25 0 1 0 20974353 122933248 27921 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 30013 27921 364 364 0 29649 0 [pid=6445] vsize: 120052 Current children cumulated CPU time (s) 1139.15 Current children cumulated vsize (Kb) 120052 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 49348 0 0 0 114743 171 0 0 25 0 1 0 20974353 123068416 27925 4294967295 134512640 135987407 3221224576 3221223184 134801260 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 30046 27925 364 364 0 29682 0 [pid=6445] vsize: 120184 Current children cumulated CPU time (s) 1149.14 Current children cumulated vsize (Kb) 120184 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 49353 0 0 0 115741 172 0 0 25 0 1 0 20974353 123068416 27930 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 30046 27930 364 364 0 29682 0 [pid=6445] vsize: 120184 Current children cumulated CPU time (s) 1159.13 Current children cumulated vsize (Kb) 120184 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 49356 0 0 0 116740 173 0 0 25 0 1 0 20974353 123068416 27933 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 30046 27933 364 364 0 29682 0 [pid=6445] vsize: 120184 Current children cumulated CPU time (s) 1169.13 Current children cumulated vsize (Kb) 120184 [startup+1180.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 49357 0 0 0 117739 173 0 0 25 0 1 0 20974353 123068416 27934 4294967295 134512640 135987407 3221224576 3221223120 134811803 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 30046 27934 364 364 0 29682 0 [pid=6445] vsize: 120184 Current children cumulated CPU time (s) 1179.12 Current children cumulated vsize (Kb) 120184 [startup+1190.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 49364 0 0 0 118737 174 0 0 25 0 1 0 20974353 123068416 27941 4294967295 134512640 135987407 3221224576 3221223216 134812358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 30046 27941 364 364 0 29682 0 [pid=6445] vsize: 120184 Current children cumulated CPU time (s) 1189.11 Current children cumulated vsize (Kb) 120184 [startup+1200.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 49370 0 0 0 119736 174 0 0 25 0 1 0 20974353 123068416 27947 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 30046 27947 364 364 0 29682 0 [pid=6445] vsize: 120184 Current children cumulated CPU time (s) 1199.1 Current children cumulated vsize (Kb) 120184 [startup+1210.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 49371 0 0 0 120736 174 0 0 25 0 1 0 20974353 123068416 27948 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 30046 27948 364 364 0 29682 0 [pid=6445] vsize: 120184 Current children cumulated CPU time (s) 1209.1 Current children cumulated vsize (Kb) 120184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.05 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 6445 Raw data (/proc/6445/stat): 6445 (pb2sat) R 6444 6445 4060 0 -1 0 49371 0 0 0 120736 174 0 0 25 0 1 0 20974353 123068416 27948 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6445/statm): 30046 27948 364 364 0 29682 0 [pid=6445] vsize: 120184 Current children cumulated CPU time (s) 1209.1 Current children cumulated vsize (Kb) 120184 Sending SIGTERM to -6445 Sleeping 2 seconds One traced child (pid=6445) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1210.49 CPU time (s): 1209.54 CPU user time (s): 1207.74 CPU system time (s): 1.80272 CPU usage (%): 99.9216 Max. virtual memory (cumulated for all children) (Kb): 120184
Verifier: OK 404