Name | web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb |
MD5SUM | 7850e0b228f4ef5ee038a9c3595683ab |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -36 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 945 |
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 | 945 |
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 | 945 |
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.04 |
Number of variables | 945 |
Total number of constraints | 58579 |
Number of constraints which are clauses | 58579 |
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 | 2 |
LAUNCH ON wulflinc21 THE 2005-09-23 15:36:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8563 boxname=wulflinc21 idbench=359 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 7850e0b228f4ef5ee038a9c3595683ab /oldhome/oroussel/tmp/wulflinc21/normalized-frb45-21-5.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc21/normalized-frb45-21-5.opb IDLAUNCH: 8563 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.188 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.188 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 934028 kB Buffers: 13208 kB Cached: 69208 kB SwapCached: 0 kB Active: 46740 kB Inactive: 38612 kB HighTotal: 131008 kB HighFree: 57344 kB LowTotal: 903652 kB LowFree: 876684 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6976 kB Slab: 9548 kB Committed_AS: 63656 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 15:56:37 (client local time) WITH STATUS 10 IN 1208.18 SECONDS stats: 8563 0 1208.18 10
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 945 c big objective detected c trying from 0 to 511 c Decision: 5125/354491 Time: 64.2342/86400 c Decision: 6012/354491 Time: 126.698/86400 c Decision: 6049/354491 Time: 202.222/86400 c Decision: 7332/354491 Time: 268.758/86400 c Decision: 7332/354491 Time: 310.428/86400 c Decision: 9110/354491 Time: 369.96/86400 c Decision: 9110/354491 Time: 425.047/86400 c Decision: 9125/354491 Time: 557.835/86400 c Decision: 31872/354491 Time: 651.201/86400 c Decision: 31929/354491 Time: 711.333/86400 c Decision: 31931/354491 Time: 791.453/86400 c Decision: 31931/354491 Time: 845.567/86400 c Decision: 34958/354491 Time: 901.97/86400 c Decision: 34958/354491 Time: 952.579/86400 c Decision: 38289/354491 Time: 1030.93/86400 c Decision: 38289/354491 Time: 1079.54/86400 c Decision: 38289/354491 Time: 1132.84/86400s SATISFIABLE v -C1 -C10 -C100 -C101 -C102 -C103 -C104 -C105 -C106 -C107 -C108 -C109 -C11 -C110 -C111 -C112 -C113 -C114 -C115 -C116 -C117 -C118 -C119 -C12 -C120 -C121 -C122 -C123 -C124 -C125 -C126 -C127 -C128 -C129 -C13 -C130 -C131 -C132 -C133 -C134 -C135 -C136 -C137 -C138 -C139 -C14 -C140 -C141 -C142 -C143 -C144 -C145 -C146 -C147 -C148 -C149 -C15 -C150 -C151 -C152 -C153 -C154 -C155 -C156 -C157 -C158 -C159 -C16 -C160 -C161 -C162 -C163 -C164 -C165 -C166 -C167 -C168 -C169 -C17 -C170 -C171 -C172 -C173 -C174 -C175 -C176 -C177 -C178 -C179 -C18 -C180 -C181 -C182 -C183 -C184 -C185 -C186 -C187 -C188 -C189 -C19 -C190 -C191 -C192 -C193 -C194 -C195 -C196 -C197 -C198 -C199 -C2 -C20 -C200 -C201 -C202 -C203 -C204 -C205 -C206 -C207 -C208 -C209 -C21 -C210 -C211 -C212 -C213 -C214 -C215 -C216 -C217 -C218 -C219 -C22 -C220 -C221 -C222 -C223 -C224 -C225 -C226 -C227 -C228 -C229 -C23 -C230 -C231 -C232 -C233 -C234 -C235 -C236 -C237 -C238 -C239 -C24 -C240 -C241 -C242 -C243 -C244 -C245 -C246 -C247 -C248 -C249 -C25 -C250 -C251 -C252 -C253 -C254 -C255 -C256 -C257 -C258 -C259 -C26 -C260 -C261 -C262 -C263 -C264 -C265 -C266 -C267 -C268 -C269 -C27 -C270 -C271 -C272 -C273 -C274 -C275 -C276 -C277 -C278 -C279 -C28 -C280 -C281 -C282 -C283 -C284 -C285 -C286 -C287 -C288 -C289 -C29 -C290 -C291 -C292 -C293 -C294 -C295 -C296 -C297 -C298 -C299 -C3 -C30 -C300 -C301 -C302 -C303 -C304 -C305 -C306 -C307 -C308 -C309 -C31 -C310 -C311 -C312 -C313 -C314 -C315 -C316 -C317 -C318 -C319 -C32 -C320 -C321 -C322 -C323 -C324 -C325 -C326 -C327 -C328 -C329 -C33 -C330 -C331 -C332 -C333 -C334 -C335 -C336 -C337 -C338 -C339 -C34 -C340 -C341 -C342 -C343 -C344 -C345 -C346 -C347 -C348 -C349 -C35 -C350 -C351 -C352 -C353 -C354 -C355 -C356 -C357 -C358 -C359 -C36 -C360 -C361 -C362 -C363 -C364 -C365 -C366 -C367 -C368 -C369 -C37 -C370 -C371 -C372 -C373 -C374 -C375 -C376 -C377 -C378 -C379 -C38 -C380 -C381 -C382 -C383 -C384 -C385 -C386 -C387 -C388 -C389 -C39 -C390 -C391 -C392 -C393 -C394 -C395 -C396 -C397 -C398 -C399 -C4 -C40 -C400 -C401 -C402 -C403 -C404 -C405 -C406 -C407 -C408 -C409 -C41 -C410 -C411 -C412 -C413 -C414 -C415 -C416 -C417 -C418 -C419 -C42 -C420 -C421 -C422 -C423 -C424 -C425 -C426 -C427 -C428 -C429 -C43 -C430 -C431 -C432 -C433 -C434 -C435 -C436 -C437 -C438 -C439 -C44 -C440 -C441 -C442 -C443 -C444 -C445 -C446 -C447 -C448 -C449 -C45 -C450 -C451 -C452 -C453 -C454 -C455 -C456 -C457 -C458 -C459 -C46 -C460 -C461 -C462 -C463 -C464 -C465 -C466 -C467 -C468 -C469 -C47 -C470 -C471 -C472 -C473 -C474 -C475 -C476 -C477 -C478 -C479 -C48 -C480 -C481 -C482 -C483 -C484 -C485 -C486 -C487 -C488 -C489 -C49 -C490 -C491 -C492 -C493 -C494 -C495 -C496 -C497 -C498 -C499 -C5 -C50 -C500 -C501 -C502 -C503 -C504 -C505 -C506 -C507 -C508 -C509 -C51 -C510 -C511 -C512 -C513 -C514 -C515 -C516 -C517 -C518 -C519 -C52 -C520 -C521 -C522 -C523 -C524 -C525 -C526 -C527 -C528 -C529 -C53 -C530 -C531 -C532 -C533 -C534 -C535 -C536 -C537 -C538 -C539 -C54 -C540 -C541 -C542 -C543 -C544 -C545 -C546 -C547 -C548 -C549 -C55 -C550 -C551 -C552 -C553 -C554 -C555 -C556 -C557 -C558 -C559 -C56 -C560 -C561 -C562 -C563 -C564 -C565 -C566 -C567 -C568 -C569 -C57 -C570 -C571 -C572 -C573 -C574 -C575 -C576 -C577 -C578 -C579 -C58 -C580 -C581 -C582 -C583 -C584 -C585 -C586 -C587 -C588 -C589 -C59 -C590 -C591 -C592 -C593 -C594 -C595 -C596 -C597 -C598 -C599 -C6 -C60 -C600 -C601 -C602 -C603 -C604 -C605 -C606 -C607 -C608 -C609 -C61 -C610 -C611 -C612 -C613 -C614 -C615 -C616 -C617 -C618 -C619 -C62 -C620 -C621 -C622 -C623 -C624 -C625 -C626 -C627 -C628 -C629 -C63 -C630 -C631 -C632 -C633 -C634 -C635 -C636 -C637 -C638 -C639 -C64 -C640 -C641 -C642 -C643 -C644 -C645 -C646 -C647 -C648 -C649 -C65 -C650 -C651 -C652 -C653 -C654 -C655 -C656 -C657 -C658 -C659 -C66 -C660 -C661 -C662 -C663 -C664 -C665 -C666 -C667 -C668 -C669 -C67 -C670 -C671 -C672 -C673 -C674 -C675 -C676 -C677 -C678 -C679 -C68 -C680 -C681 -C682 -C683 -C684 -C685 -C686 -C687 -C688 -C689 -C69 -C690 -C691 -C692 -C693 -C694 -C695 -C696 -C697 -C698 -C699 -C7 -C70 -C700 -C701 -C702 -C703 -C704 -C705 -C706 -C707 -C708 -C709 -C71 -C710 -C711 -C712 -C713 -C714 -C715 -C716 -C717 -C718 -C719 -C72 -C720 -C721 -C722 -C723 -C724 -C725 -C726 -C727 -C728 -C729 -C73 -C730 -C731 -C732 -C733 -C734 -C735 -C736 -C737 -C738 -C739 -C74 -C740 -C741 -C742 -C743 -C744 -C745 -C746 -C747 -C748 -C749 -C75 -C750 -C751 -C752 -C753 -C754 -C755 -C756 -C757 -C758 -C759 -C76 -C760 -C761 -C762 -C763 -C764 -C765 -C766 -C767 -C768 -C769 -C77 -C770 -C771 -C772 -C773 -C774 -C775 -C776 -C777 -C778 -C779 -C78 -C780 -C781 -C782 -C783 -C784 -C785 -C786 -C787 -C788 -C789 -C79 -C790 -C791 -C792 -C793 -C794 -C795 -C796 -C797 -C798 -C799 -C8 -C80 -C800 -C801 -C802 -C803 -C804 -C805 -C806 -C807 -C808 -C809 -C81 -C810 -C811 -C812 -C813 -C814 -C815 -C816 -C817 -C818 -C819 -C82 -C820 -C821 -C822 -C823 -C824 -C825 -C826 -C827 -C828 -C829 -C83 -C830 -C831 -C832 -C833 -C834 -C835 -C836 -C837 -C838 -C839 -C84 -C840 -C841 -C842 -C843 -C844 -C845 -C846 -C847 -C848 -C849 -C85 -C850 -C851 -C852 -C853 -C854 -C855 -C856 -C857 -C858 -C859 -C86 -C860 -C861 -C862 -C863 -C864 -C865 -C866 -C867 -C868 -C869 -C87 -C870 -C871 -C872 -C873 -C874 -C875 -C876 -C877 -C878 -C879 -C88 -C880 -C881 -C882 -C883 -C884 -C885 -C886 -C887 -C888 -C889 -C89 -C890 -C891 -C892 -C893 -C894 -C895 -C896 -C897 -C898 -C899 -C9 -C90 -C900 -C901 -C902 -C903 -C904 -C905 -C906 -C907 -C908 -C909 -C91 -C910 -C911 -C912 -C913 -C914 -C915 -C916 -C917 -C918 -C919 -C92 -C920 -C921 -C922 -C923 -C924 -C925 -C926 -C927 -C928 -C929 -C93 -C930 -C931 -C932 -C933 -C934 -C935 -C936 -C937 -C938 -C939 -C94 -C940 -C941 -C942 -C943 -C944 -C945 -C95 -C96 -C97 -C98 -C99
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/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21315480 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 373 2 364 364 0 9 0 [pid=8145] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc21/normalized-frb45-21-5.opb [startup+10.0019 s] Raw data (loadavg): 0.93 0.95 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 21425 0 0 0 948 48 0 0 25 0 1 0 21315480 65675264 12887 4294967295 134512640 135987407 3221224560 3221162908 135499901 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 16034 12887 364 364 0 15670 0 [pid=8145] vsize: 64136 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 64136 [startup+20.0026 s] Raw data (loadavg): 0.94 0.96 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 54467 0 0 0 1874 120 0 0 25 0 1 0 21315480 182706176 32304 4294967295 134512640 135987407 3221224560 3221128160 134537491 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 44606 32304 364 364 0 44242 0 [pid=8145] vsize: 178424 Current children cumulated CPU time (s) 19.94 Current children cumulated vsize (Kb) 178424 [startup+30.0033 s] Raw data (loadavg): 0.95 0.96 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 61576 0 0 0 2846 138 0 0 25 0 1 0 21315480 198393856 38244 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 48436 38244 364 364 0 48072 0 [pid=8145] vsize: 193744 Current children cumulated CPU time (s) 29.84 Current children cumulated vsize (Kb) 193744 [startup+40.0039 s] Raw data (loadavg): 0.95 0.96 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 63159 0 0 0 3830 147 0 0 25 0 1 0 21315480 204275712 39310 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 49872 39310 364 364 0 49508 0 [pid=8145] vsize: 199488 Current children cumulated CPU time (s) 39.77 Current children cumulated vsize (Kb) 199488 [startup+50.0046 s] Raw data (loadavg): 0.96 0.96 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 65051 0 0 0 4819 153 0 0 25 0 1 0 21315480 211386368 40538 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 51608 40538 364 364 0 51244 0 [pid=8145] vsize: 206432 Current children cumulated CPU time (s) 49.72 Current children cumulated vsize (Kb) 206432 [startup+60.0043 s] Raw data (loadavg): 0.97 0.96 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 66658 0 0 0 5813 157 0 0 25 0 1 0 21315480 217731072 41670 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 53157 41670 364 364 0 52793 0 [pid=8145] vsize: 212628 Current children cumulated CPU time (s) 59.7 Current children cumulated vsize (Kb) 212628 [startup+70.005 s] Raw data (loadavg): 0.97 0.96 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 67326 0 0 0 6807 160 0 0 25 0 1 0 21315480 219979776 42159 4294967295 134512640 135987407 3221224560 3221223120 134811850 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 53706 42159 364 364 0 53342 0 [pid=8145] vsize: 214824 Current children cumulated CPU time (s) 69.67 Current children cumulated vsize (Kb) 214824 [startup+80.0057 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 68140 0 0 0 7802 163 0 0 25 0 1 0 21315480 222695424 42646 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 54369 42646 364 364 0 54005 0 [pid=8145] vsize: 217476 Current children cumulated CPU time (s) 79.65 Current children cumulated vsize (Kb) 217476 [startup+90.0053 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 69340 0 0 0 8790 169 0 0 25 0 1 0 21315480 224878592 42989 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 54902 42989 364 364 0 54538 0 [pid=8145] vsize: 219608 Current children cumulated CPU time (s) 89.59 Current children cumulated vsize (Kb) 219608 [startup+100.006 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 70685 0 0 0 9759 182 0 0 25 0 1 0 21315480 229883904 44007 4294967295 134512640 135987407 3221224560 3221223280 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 56124 44007 364 364 0 55760 0 [pid=8145] vsize: 224496 Current children cumulated CPU time (s) 99.41 Current children cumulated vsize (Kb) 224496 [startup+110.007 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 71362 0 0 0 10740 190 0 0 25 0 1 0 21315480 232304640 44492 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 56715 44492 364 364 0 56351 0 [pid=8145] vsize: 226860 Current children cumulated CPU time (s) 109.3 Current children cumulated vsize (Kb) 226860 [startup+120.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 72324 0 0 0 11734 193 0 0 25 0 1 0 21315480 235216896 45030 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 57426 45030 364 364 0 57062 0 [pid=8145] vsize: 229704 Current children cumulated CPU time (s) 119.27 Current children cumulated vsize (Kb) 229704 [startup+130.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 72339 0 0 0 12729 195 0 0 25 0 1 0 21315480 235216896 45045 4294967295 134512640 135987407 3221224560 3221223120 134811937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 57426 45045 364 364 0 57062 0 [pid=8145] vsize: 229704 Current children cumulated CPU time (s) 129.24 Current children cumulated vsize (Kb) 229704 [startup+140.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 72354 0 0 0 13728 195 0 0 25 0 1 0 21315480 235216896 45060 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 57426 45060 364 364 0 57062 0 [pid=8145] vsize: 229704 Current children cumulated CPU time (s) 139.23 Current children cumulated vsize (Kb) 229704 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 73232 0 0 0 14723 199 0 0 25 0 1 0 21315480 235745280 45147 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 57555 45147 364 364 0 57191 0 [pid=8145] vsize: 230220 Current children cumulated CPU time (s) 149.22 Current children cumulated vsize (Kb) 230220 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 74152 0 0 0 15712 205 0 0 25 0 1 0 21315480 239267840 45756 4294967295 134512640 135987407 3221224560 3221222736 134887887 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 58415 45756 364 364 0 58051 0 [pid=8145] vsize: 233660 Current children cumulated CPU time (s) 159.17 Current children cumulated vsize (Kb) 233660 [startup+170.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 75131 0 0 0 16704 209 0 0 25 0 1 0 21315480 242708480 46375 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 59255 46375 364 364 0 58891 0 [pid=8145] vsize: 237020 Current children cumulated CPU time (s) 169.13 Current children cumulated vsize (Kb) 237020 [startup+180.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 75527 0 0 0 17701 211 0 0 25 0 1 0 21315480 244432896 46673 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 59676 46673 364 364 0 59312 0 [pid=8145] vsize: 238704 Current children cumulated CPU time (s) 179.12 Current children cumulated vsize (Kb) 238704 [startup+190.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 75593 0 0 0 18699 211 0 0 25 0 1 0 21315480 244432896 46739 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 59676 46739 364 364 0 59312 0 [pid=8145] vsize: 238704 Current children cumulated CPU time (s) 189.1 Current children cumulated vsize (Kb) 238704 [startup+200.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 75705 0 0 0 19698 212 0 0 25 0 1 0 21315480 244695040 46786 4294967295 134512640 135987407 3221224560 3221223248 134824256 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 59740 46786 364 364 0 59376 0 [pid=8145] vsize: 238960 Current children cumulated CPU time (s) 199.1 Current children cumulated vsize (Kb) 238960 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 75795 0 0 0 20696 213 0 0 25 0 1 0 21315480 244957184 46811 4294967295 134512640 135987407 3221224560 3221223120 134811807 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 59804 46811 364 364 0 59440 0 [pid=8145] vsize: 239216 Current children cumulated CPU time (s) 209.09 Current children cumulated vsize (Kb) 239216 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 75812 0 0 0 21696 213 0 0 25 0 1 0 21315480 244957184 46828 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 59804 46828 364 364 0 59440 0 [pid=8145] vsize: 239216 Current children cumulated CPU time (s) 219.09 Current children cumulated vsize (Kb) 239216 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 77452 0 0 0 22687 218 0 0 25 0 1 0 21315480 248119296 47256 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 60576 47256 364 364 0 60212 0 [pid=8145] vsize: 242304 Current children cumulated CPU time (s) 229.05 Current children cumulated vsize (Kb) 242304 [startup+240.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 78873 0 0 0 23680 223 0 0 25 0 1 0 21315480 252342272 47900 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 61607 47900 364 364 0 61243 0 [pid=8145] vsize: 246428 Current children cumulated CPU time (s) 239.03 Current children cumulated vsize (Kb) 246428 [startup+250.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 79590 0 0 0 24676 225 0 0 25 0 1 0 21315480 254468096 48323 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 62126 48323 364 364 0 61762 0 [pid=8145] vsize: 248504 Current children cumulated CPU time (s) 249.01 Current children cumulated vsize (Kb) 248504 [startup+260.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 79654 0 0 0 25674 225 0 0 25 0 1 0 21315480 254468096 48387 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 62126 48387 364 364 0 61762 0 [pid=8145] vsize: 248504 Current children cumulated CPU time (s) 258.99 Current children cumulated vsize (Kb) 248504 [startup+270.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 79665 0 0 0 26673 226 0 0 25 0 1 0 21315480 254468096 48398 4294967295 134512640 135987407 3221224560 3221223120 134811822 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 62126 48398 364 364 0 61762 0 [pid=8145] vsize: 248504 Current children cumulated CPU time (s) 268.99 Current children cumulated vsize (Kb) 248504 [startup+280.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 79674 0 0 0 27671 226 0 0 25 0 1 0 21315480 254468096 48407 4294967295 134512640 135987407 3221224560 3221223296 134812612 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 62126 48407 364 364 0 61762 0 [pid=8145] vsize: 248504 Current children cumulated CPU time (s) 278.97 Current children cumulated vsize (Kb) 248504 [startup+290.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 79687 0 0 0 28670 227 0 0 25 0 1 0 21315480 254468096 48420 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 62126 48420 364 364 0 61762 0 [pid=8145] vsize: 248504 Current children cumulated CPU time (s) 288.97 Current children cumulated vsize (Kb) 248504 [startup+300.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 81028 0 0 0 29661 231 0 0 25 0 1 0 21315480 256450560 48774 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 62610 48774 364 364 0 62246 0 [pid=8145] vsize: 250440 Current children cumulated CPU time (s) 298.92 Current children cumulated vsize (Kb) 250440 [startup+310.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 81896 0 0 0 30656 234 0 0 25 0 1 0 21315480 258953216 49122 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 63221 49122 364 364 0 62857 0 [pid=8145] vsize: 252884 Current children cumulated CPU time (s) 308.9 Current children cumulated vsize (Kb) 252884 [startup+320.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 81924 0 0 0 31653 236 0 0 25 0 1 0 21315480 258953216 49150 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 63221 49150 364 364 0 62857 0 [pid=8145] vsize: 252884 Current children cumulated CPU time (s) 318.89 Current children cumulated vsize (Kb) 252884 [startup+330.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 81945 0 0 0 32651 236 0 0 25 0 1 0 21315480 258953216 49171 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 63221 49171 364 364 0 62857 0 [pid=8145] vsize: 252884 Current children cumulated CPU time (s) 328.87 Current children cumulated vsize (Kb) 252884 [startup+340.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 82831 0 0 0 33646 239 0 0 25 0 1 0 21315480 259477504 49234 4294967295 134512640 135987407 3221224560 3221223120 134811824 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 63349 49234 364 364 0 62985 0 [pid=8145] vsize: 253396 Current children cumulated CPU time (s) 338.85 Current children cumulated vsize (Kb) 253396 [startup+350.011 s] Raw data (loadavg): 1.07 0.99 0.97 1/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) T 8144 8145 4059 0 -1 0 83364 0 0 0 34640 242 0 0 25 0 1 0 21315480 261054464 49411 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8145/statm): 63734 49411 364 364 0 63370 0 [pid=8145] vsize: 254936 Current children cumulated CPU time (s) 348.82 Current children cumulated vsize (Kb) 254936 [startup+360.012 s] Raw data (loadavg): 1.06 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 83569 0 0 0 35637 244 0 0 25 0 1 0 21315480 261713920 49518 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 63895 49518 364 364 0 63531 0 [pid=8145] vsize: 255580 Current children cumulated CPU time (s) 358.81 Current children cumulated vsize (Kb) 255580 [startup+370.012 s] Raw data (loadavg): 1.05 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 83842 0 0 0 36633 246 0 0 25 0 1 0 21315480 262369280 49627 4294967295 134512640 135987407 3221224560 3221223196 134811680 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 64055 49627 364 364 0 63691 0 [pid=8145] vsize: 256220 Current children cumulated CPU time (s) 368.79 Current children cumulated vsize (Kb) 256220 [startup+380.012 s] Raw data (loadavg): 1.04 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 83867 0 0 0 37631 246 0 0 25 0 1 0 21315480 262369280 49652 4294967295 134512640 135987407 3221224560 3221223248 134824504 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 64055 49652 364 364 0 63691 0 [pid=8145] vsize: 256220 Current children cumulated CPU time (s) 378.77 Current children cumulated vsize (Kb) 256220 [startup+390.012 s] Raw data (loadavg): 1.04 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 83901 0 0 0 38628 247 0 0 25 0 1 0 21315480 262369280 49686 4294967295 134512640 135987407 3221224560 3221223216 134812368 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 64055 49686 364 364 0 63691 0 [pid=8145] vsize: 256220 Current children cumulated CPU time (s) 388.75 Current children cumulated vsize (Kb) 256220 [startup+400.012 s] Raw data (loadavg): 1.03 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 85148 0 0 0 39621 251 0 0 25 0 1 0 21315480 263815168 49947 4294967295 134512640 135987407 3221224560 3221223120 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 64408 49947 364 364 0 64044 0 [pid=8145] vsize: 257632 Current children cumulated CPU time (s) 398.72 Current children cumulated vsize (Kb) 257632 [startup+410.012 s] Raw data (loadavg): 1.03 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 85149 0 0 0 40616 252 0 0 25 0 1 0 21315480 263815168 49948 4294967295 134512640 135987407 3221224560 3221223280 134790060 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 64408 49948 364 364 0 64044 0 [pid=8145] vsize: 257632 Current children cumulated CPU time (s) 408.68 Current children cumulated vsize (Kb) 257632 [startup+420.013 s] Raw data (loadavg): 1.02 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 85187 0 0 0 41612 254 0 0 25 0 1 0 21315480 263815168 49986 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 64408 49986 364 364 0 64044 0 [pid=8145] vsize: 257632 Current children cumulated CPU time (s) 418.66 Current children cumulated vsize (Kb) 257632 [startup+430.012 s] Raw data (loadavg): 1.02 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 85192 0 0 0 42610 254 0 0 25 0 1 0 21315480 263815168 49991 4294967295 134512640 135987407 3221224560 3221223248 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 64408 49991 364 364 0 64044 0 [pid=8145] vsize: 257632 Current children cumulated CPU time (s) 428.64 Current children cumulated vsize (Kb) 257632 [startup+440.012 s] Raw data (loadavg): 1.01 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 85193 0 0 0 43609 255 0 0 25 0 1 0 21315480 263815168 49992 4294967295 134512640 135987407 3221224560 3221223216 134812400 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 64408 49992 364 364 0 64044 0 [pid=8145] vsize: 257632 Current children cumulated CPU time (s) 438.64 Current children cumulated vsize (Kb) 257632 [startup+450.013 s] Raw data (loadavg): 1.01 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 85919 0 0 0 44605 258 0 0 25 0 1 0 21315480 263815168 50025 4294967295 134512640 135987407 3221224560 3221223120 134811813 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 64408 50025 364 364 0 64044 0 [pid=8145] vsize: 257632 Current children cumulated CPU time (s) 448.63 Current children cumulated vsize (Kb) 257632 [startup+460.014 s] Raw data (loadavg): 1.01 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 86867 0 0 0 45598 260 0 0 25 0 1 0 21315480 266596352 50548 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 65087 50548 364 364 0 64723 0 [pid=8145] vsize: 260348 Current children cumulated CPU time (s) 458.58 Current children cumulated vsize (Kb) 260348 [startup+470.014 s] Raw data (loadavg): 1.01 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 88339 0 0 0 46591 264 0 0 25 0 1 0 21315480 271745024 51271 4294967295 134512640 135987407 3221224560 3221223120 134812010 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 66344 51271 364 364 0 65980 0 [pid=8145] vsize: 265376 Current children cumulated CPU time (s) 468.55 Current children cumulated vsize (Kb) 265376 [startup+480.015 s] Raw data (loadavg): 1.01 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 89977 0 0 0 47584 269 0 0 25 0 1 0 21315480 276078592 51937 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 67402 51937 364 364 0 67038 0 [pid=8145] vsize: 269608 Current children cumulated CPU time (s) 478.53 Current children cumulated vsize (Kb) 269608 [startup+490.016 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 91214 0 0 0 48577 272 0 0 25 0 1 0 21315480 279912448 52588 4294967295 134512640 135987407 3221224560 3221222892 135480791 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 68338 52588 364 364 0 67974 0 [pid=8145] vsize: 273352 Current children cumulated CPU time (s) 488.49 Current children cumulated vsize (Kb) 273352 [startup+500.016 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 91320 0 0 0 49573 274 0 0 25 0 1 0 21315480 280309760 52661 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 68435 52661 364 364 0 68071 0 [pid=8145] vsize: 273740 Current children cumulated CPU time (s) 498.47 Current children cumulated vsize (Kb) 273740 [startup+510.016 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 91445 0 0 0 50568 275 0 0 25 0 1 0 21315480 280571904 52720 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 68499 52720 364 364 0 68135 0 [pid=8145] vsize: 273996 Current children cumulated CPU time (s) 508.43 Current children cumulated vsize (Kb) 273996 [startup+520.017 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 91592 0 0 0 51564 277 0 0 25 0 1 0 21315480 281100288 52802 4294967295 134512640 135987407 3221224560 3221223120 134811980 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 68628 52802 364 364 0 68264 0 [pid=8145] vsize: 274512 Current children cumulated CPU time (s) 518.41 Current children cumulated vsize (Kb) 274512 [startup+530.017 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 91993 0 0 0 52559 280 0 0 25 0 1 0 21315480 281886720 53008 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 68820 53008 364 364 0 68456 0 [pid=8145] vsize: 275280 Current children cumulated CPU time (s) 528.39 Current children cumulated vsize (Kb) 275280 [startup+540.017 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 92936 0 0 0 53554 283 0 0 25 0 1 0 21315480 284254208 53430 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 69398 53430 364 364 0 69034 0 [pid=8145] vsize: 277592 Current children cumulated CPU time (s) 538.37 Current children cumulated vsize (Kb) 277592 [startup+550.018 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 93337 0 0 0 54549 284 0 0 25 0 1 0 21315480 285306880 53636 4294967295 134512640 135987407 3221224560 3221223120 134812028 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 69655 53636 364 364 0 69291 0 [pid=8145] vsize: 278620 Current children cumulated CPU time (s) 548.33 Current children cumulated vsize (Kb) 278620 [startup+560.018 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 94040 0 0 0 55544 287 0 0 25 0 1 0 21315480 287408128 53886 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 70168 53886 364 364 0 69804 0 [pid=8145] vsize: 280672 Current children cumulated CPU time (s) 558.31 Current children cumulated vsize (Kb) 280672 [startup+570.019 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 94257 0 0 0 56541 288 0 0 25 0 1 0 21315480 287932416 53973 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 70296 53973 364 364 0 69932 0 [pid=8145] vsize: 281184 Current children cumulated CPU time (s) 568.29 Current children cumulated vsize (Kb) 281184 [startup+580.019 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 94595 0 0 0 57532 292 0 0 25 0 1 0 21315480 288985088 54116 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 70553 54116 364 364 0 70189 0 [pid=8145] vsize: 282212 Current children cumulated CPU time (s) 578.24 Current children cumulated vsize (Kb) 282212 [startup+590.018 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 95288 0 0 0 58514 300 0 0 25 0 1 0 21315480 288985088 54116 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 70553 54116 364 364 0 70189 0 [pid=8145] vsize: 282212 Current children cumulated CPU time (s) 588.14 Current children cumulated vsize (Kb) 282212 [startup+600.02 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 95866 0 0 0 59507 303 0 0 25 0 1 0 21315480 290557952 54304 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 70937 54304 364 364 0 70573 0 [pid=8145] vsize: 283748 Current children cumulated CPU time (s) 598.1 Current children cumulated vsize (Kb) 283748 [startup+610.02 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 96252 0 0 0 60504 305 0 0 25 0 1 0 21315480 291606528 54432 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 71193 54432 364 364 0 70829 0 [pid=8145] vsize: 284772 Current children cumulated CPU time (s) 608.09 Current children cumulated vsize (Kb) 284772 [startup+620.02 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 96666 0 0 0 61498 307 0 0 25 0 1 0 21315480 293195776 54716 4294967295 134512640 135987407 3221224560 3221223120 134811885 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 71581 54716 364 364 0 71217 0 [pid=8145] vsize: 286324 Current children cumulated CPU time (s) 618.05 Current children cumulated vsize (Kb) 286324 [startup+630.021 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 96666 0 0 0 62494 309 0 0 25 0 1 0 21315480 293195776 54716 4294967295 134512640 135987407 3221224560 3221223244 134812262 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 71581 54716 364 364 0 71217 0 [pid=8145] vsize: 286324 Current children cumulated CPU time (s) 628.03 Current children cumulated vsize (Kb) 286324 [startup+640.021 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 96667 0 0 0 63493 309 0 0 25 0 1 0 21315480 293195776 54717 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 71581 54717 364 364 0 71217 0 [pid=8145] vsize: 286324 Current children cumulated CPU time (s) 638.02 Current children cumulated vsize (Kb) 286324 [startup+650.021 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 96668 0 0 0 64491 310 0 0 25 0 1 0 21315480 293195776 54718 4294967295 134512640 135987407 3221224560 3221223184 134801245 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 71581 54718 364 364 0 71217 0 [pid=8145] vsize: 286324 Current children cumulated CPU time (s) 648.01 Current children cumulated vsize (Kb) 286324 [startup+660.022 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 96669 0 0 0 65490 311 0 0 25 0 1 0 21315480 293195776 54719 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 71581 54719 364 364 0 71217 0 [pid=8145] vsize: 286324 Current children cumulated CPU time (s) 658.01 Current children cumulated vsize (Kb) 286324 [startup+670.023 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 96670 0 0 0 66488 311 0 0 25 0 1 0 21315480 293195776 54720 4294967295 134512640 135987407 3221224560 3221223248 134824688 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 71581 54720 364 364 0 71217 0 [pid=8145] vsize: 286324 Current children cumulated CPU time (s) 667.99 Current children cumulated vsize (Kb) 286324 [startup+680.023 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 97363 0 0 0 67483 314 0 0 25 0 1 0 21315480 293195776 54720 4294967295 134512640 135987407 3221224560 3221222992 134788429 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 71581 54720 364 364 0 71217 0 [pid=8145] vsize: 286324 Current children cumulated CPU time (s) 677.97 Current children cumulated vsize (Kb) 286324 [startup+690.022 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 97364 0 0 0 68482 315 0 0 25 0 1 0 21315480 293195776 54721 4294967295 134512640 135987407 3221224560 3221223120 134788799 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 71581 54721 364 364 0 71217 0 [pid=8145] vsize: 286324 Current children cumulated CPU time (s) 687.97 Current children cumulated vsize (Kb) 286324 [startup+700.023 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 97365 0 0 0 69481 315 0 0 25 0 1 0 21315480 293195776 54722 4294967295 134512640 135987407 3221224560 3221223120 134812146 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 71581 54722 364 364 0 71217 0 [pid=8145] vsize: 286324 Current children cumulated CPU time (s) 697.96 Current children cumulated vsize (Kb) 286324 [startup+710.023 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 97367 0 0 0 70479 316 0 0 25 0 1 0 21315480 293195776 54724 4294967295 134512640 135987407 3221224560 3221223120 134812041 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 71581 54724 364 364 0 71217 0 [pid=8145] vsize: 286324 Current children cumulated CPU time (s) 707.95 Current children cumulated vsize (Kb) 286324 [startup+720.023 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 97379 0 0 0 71478 317 0 0 25 0 1 0 21315480 293195776 54736 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 71581 54736 364 364 0 71217 0 [pid=8145] vsize: 286324 Current children cumulated CPU time (s) 717.95 Current children cumulated vsize (Kb) 286324 [startup+730.024 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 97390 0 0 0 72477 317 0 0 25 0 1 0 21315480 293195776 54747 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 71581 54747 364 364 0 71217 0 [pid=8145] vsize: 286324 Current children cumulated CPU time (s) 727.94 Current children cumulated vsize (Kb) 286324 [startup+740.024 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 98225 0 0 0 73473 320 0 0 25 0 1 0 21315480 293724160 54824 4294967295 134512640 135987407 3221224560 3221223120 134812013 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 71710 54824 364 364 0 71346 0 [pid=8145] vsize: 286840 Current children cumulated CPU time (s) 737.93 Current children cumulated vsize (Kb) 286840 [startup+750.024 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 98342 0 0 0 74468 321 0 0 25 0 1 0 21315480 294256640 54941 4294967295 134512640 135987407 3221224560 3221223120 134811992 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 71840 54941 364 364 0 71476 0 [pid=8145] vsize: 287360 Current children cumulated CPU time (s) 747.89 Current children cumulated vsize (Kb) 287360 [startup+760.024 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 98364 0 0 0 75463 323 0 0 25 0 1 0 21315480 294256640 54963 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 71840 54963 364 364 0 71476 0 [pid=8145] vsize: 287360 Current children cumulated CPU time (s) 757.86 Current children cumulated vsize (Kb) 287360 [startup+770.025 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 98473 0 0 0 76462 324 0 0 25 0 1 0 21315480 294518784 55007 4294967295 134512640 135987407 3221224560 3221223120 134811959 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 71904 55007 364 364 0 71540 0 [pid=8145] vsize: 287616 Current children cumulated CPU time (s) 767.86 Current children cumulated vsize (Kb) 287616 [startup+780.024 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 98487 0 0 0 77460 325 0 0 25 0 1 0 21315480 294518784 55021 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 71904 55021 364 364 0 71540 0 [pid=8145] vsize: 287616 Current children cumulated CPU time (s) 777.85 Current children cumulated vsize (Kb) 287616 [startup+790.024 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 98502 0 0 0 78459 325 0 0 25 0 1 0 21315480 294518784 55036 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 71904 55036 364 364 0 71540 0 [pid=8145] vsize: 287616 Current children cumulated CPU time (s) 787.84 Current children cumulated vsize (Kb) 287616 [startup+800.025 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 98515 0 0 0 79458 325 0 0 25 0 1 0 21315480 294518784 55049 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 71904 55049 364 364 0 71540 0 [pid=8145] vsize: 287616 Current children cumulated CPU time (s) 797.83 Current children cumulated vsize (Kb) 287616 [startup+810.024 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 98529 0 0 0 80457 325 0 0 25 0 1 0 21315480 294518784 55063 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 71904 55063 364 364 0 71540 0 [pid=8145] vsize: 287616 Current children cumulated CPU time (s) 807.82 Current children cumulated vsize (Kb) 287616 [startup+820.025 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 99224 0 0 0 81455 327 0 0 25 0 1 0 21315480 294518784 55065 4294967295 134512640 135987407 3221224560 3221223120 134812049 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 71904 55065 364 364 0 71540 0 [pid=8145] vsize: 287616 Current children cumulated CPU time (s) 817.82 Current children cumulated vsize (Kb) 287616 [startup+830.026 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 99225 0 0 0 82454 328 0 0 25 0 1 0 21315480 294518784 55066 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 71904 55066 364 364 0 71540 0 [pid=8145] vsize: 287616 Current children cumulated CPU time (s) 827.82 Current children cumulated vsize (Kb) 287616 [startup+840.025 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 99226 0 0 0 83452 329 0 0 25 0 1 0 21315480 294518784 55067 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 71904 55067 364 364 0 71540 0 [pid=8145] vsize: 287616 Current children cumulated CPU time (s) 837.81 Current children cumulated vsize (Kb) 287616 [startup+850.025 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 99227 0 0 0 84451 329 0 0 25 0 1 0 21315480 294518784 55068 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 71904 55068 364 364 0 71540 0 [pid=8145] vsize: 287616 Current children cumulated CPU time (s) 847.8 Current children cumulated vsize (Kb) 287616 [startup+860.025 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 99228 0 0 0 85451 329 0 0 25 0 1 0 21315480 294518784 55069 4294967295 134512640 135987407 3221224560 3221223120 134811972 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 71904 55069 364 364 0 71540 0 [pid=8145] vsize: 287616 Current children cumulated CPU time (s) 857.8 Current children cumulated vsize (Kb) 287616 [startup+870.025 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 99921 0 0 0 86449 331 0 0 25 0 1 0 21315480 294518784 55069 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 71904 55069 364 364 0 71540 0 [pid=8145] vsize: 287616 Current children cumulated CPU time (s) 867.8 Current children cumulated vsize (Kb) 287616 [startup+880.025 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 100124 0 0 0 87445 332 0 0 25 0 1 0 21315480 295583744 55272 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72164 55272 364 364 0 71800 0 [pid=8145] vsize: 288656 Current children cumulated CPU time (s) 877.77 Current children cumulated vsize (Kb) 288656 [startup+890.025 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 100290 0 0 0 88443 333 0 0 25 0 1 0 21315480 296108032 55308 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72292 55308 364 364 0 71928 0 [pid=8145] vsize: 289168 Current children cumulated CPU time (s) 887.76 Current children cumulated vsize (Kb) 289168 [startup+900.025 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 100291 0 0 0 89443 333 0 0 25 0 1 0 21315480 296108032 55309 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72292 55309 364 364 0 71928 0 [pid=8145] vsize: 289168 Current children cumulated CPU time (s) 897.76 Current children cumulated vsize (Kb) 289168 [startup+910.025 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 100291 0 0 0 90442 334 0 0 25 0 1 0 21315480 296108032 55309 4294967295 134512640 135987407 3221224560 3221223120 134812010 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72292 55309 364 364 0 71928 0 [pid=8145] vsize: 289168 Current children cumulated CPU time (s) 907.76 Current children cumulated vsize (Kb) 289168 [startup+920.026 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 100293 0 0 0 91439 335 0 0 25 0 1 0 21315480 296108032 55311 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72292 55311 364 364 0 71928 0 [pid=8145] vsize: 289168 Current children cumulated CPU time (s) 917.74 Current children cumulated vsize (Kb) 289168 [startup+930.026 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 100986 0 0 0 92436 337 0 0 25 0 1 0 21315480 296108032 55311 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72292 55311 364 364 0 71928 0 [pid=8145] vsize: 289168 Current children cumulated CPU time (s) 927.73 Current children cumulated vsize (Kb) 289168 [startup+940.025 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 100987 0 0 0 93435 338 0 0 25 0 1 0 21315480 296108032 55312 4294967295 134512640 135987407 3221224560 3221223280 134790071 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72292 55312 364 364 0 71928 0 [pid=8145] vsize: 289168 Current children cumulated CPU time (s) 937.73 Current children cumulated vsize (Kb) 289168 [startup+950.026 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 100988 0 0 0 94434 338 0 0 25 0 1 0 21315480 296108032 55313 4294967295 134512640 135987407 3221224560 3221223248 134824720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72292 55313 364 364 0 71928 0 [pid=8145] vsize: 289168 Current children cumulated CPU time (s) 947.72 Current children cumulated vsize (Kb) 289168 [startup+960.026 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 100989 0 0 0 95433 339 0 0 25 0 1 0 21315480 296108032 55314 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72292 55314 364 364 0 71928 0 [pid=8145] vsize: 289168 Current children cumulated CPU time (s) 957.72 Current children cumulated vsize (Kb) 289168 [startup+970.026 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 100989 0 0 0 96431 339 0 0 25 0 1 0 21315480 296108032 55314 4294967295 134512640 135987407 3221224560 3221223120 134811735 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 72292 55314 364 364 0 71928 0 [pid=8145] vsize: 289168 Current children cumulated CPU time (s) 967.7 Current children cumulated vsize (Kb) 289168 [startup+980.027 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 101689 0 0 0 97428 341 0 0 25 0 1 0 21315480 296108032 55321 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 72292 55321 364 364 0 71928 0 [pid=8145] vsize: 289168 Current children cumulated CPU time (s) 977.69 Current children cumulated vsize (Kb) 289168 [startup+990.027 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 101690 0 0 0 98427 342 0 0 25 0 1 0 21315480 296108032 55322 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 72292 55322 364 364 0 71928 0 [pid=8145] vsize: 289168 Current children cumulated CPU time (s) 987.69 Current children cumulated vsize (Kb) 289168 [startup+1000.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 101694 0 0 0 99425 343 0 0 25 0 1 0 21315480 296108032 55326 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 72292 55326 364 364 0 71928 0 [pid=8145] vsize: 289168 Current children cumulated CPU time (s) 997.68 Current children cumulated vsize (Kb) 289168 [startup+1010.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 101709 0 0 0 100424 344 0 0 25 0 1 0 21315480 296108032 55341 4294967295 134512640 135987407 3221224560 3221223120 134811942 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 72292 55341 364 364 0 71928 0 [pid=8145] vsize: 289168 Current children cumulated CPU time (s) 1007.68 Current children cumulated vsize (Kb) 289168 [startup+1020.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 101723 0 0 0 101422 344 0 0 25 0 1 0 21315480 296108032 55355 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8145/statm): 72292 55355 364 364 0 71928 0 [pid=8145] vsize: 289168 Current children cumulated CPU time (s) 1017.66 Current children cumulated vsize (Kb) 289168 [startup+1030.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 101733 0 0 0 102418 346 0 0 25 0 1 0 21315480 296108032 55365 4294967295 134512640 135987407 3221224560 3221223008 134801596 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72292 55365 364 364 0 71928 0 [pid=8145] vsize: 289168 Current children cumulated CPU time (s) 1027.64 Current children cumulated vsize (Kb) 289168 [startup+1040.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 101744 0 0 0 103415 347 0 0 25 0 1 0 21315480 296108032 55376 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72292 55376 364 364 0 71928 0 [pid=8145] vsize: 289168 Current children cumulated CPU time (s) 1037.62 Current children cumulated vsize (Kb) 289168 [startup+1050.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 101971 0 0 0 104414 348 0 0 25 0 1 0 21315480 296894464 55409 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72484 55409 364 364 0 72120 0 [pid=8145] vsize: 289936 Current children cumulated CPU time (s) 1047.62 Current children cumulated vsize (Kb) 289936 [startup+1060.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 102671 0 0 0 105411 350 0 0 25 0 1 0 21315480 296894464 55416 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72484 55416 364 364 0 72120 0 [pid=8145] vsize: 289936 Current children cumulated CPU time (s) 1057.61 Current children cumulated vsize (Kb) 289936 [startup+1070.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 102683 0 0 0 106410 351 0 0 25 0 1 0 21315480 296894464 55428 4294967295 134512640 135987407 3221224560 3221223280 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72484 55428 364 364 0 72120 0 [pid=8145] vsize: 289936 Current children cumulated CPU time (s) 1067.61 Current children cumulated vsize (Kb) 289936 [startup+1080.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 102695 0 0 0 107408 352 0 0 25 0 1 0 21315480 296894464 55440 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72484 55440 364 364 0 72120 0 [pid=8145] vsize: 289936 Current children cumulated CPU time (s) 1077.6 Current children cumulated vsize (Kb) 289936 [startup+1090.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 102862 0 0 0 108407 352 0 0 25 0 1 0 21315480 297418752 55478 4294967295 134512640 135987407 3221224560 3221223184 134801245 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72612 55478 364 364 0 72248 0 [pid=8145] vsize: 290448 Current children cumulated CPU time (s) 1087.59 Current children cumulated vsize (Kb) 290448 [startup+1100.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 102877 0 0 0 109405 353 0 0 25 0 1 0 21315480 297418752 55493 4294967295 134512640 135987407 3221224560 3221223120 134811891 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72612 55493 364 364 0 72248 0 [pid=8145] vsize: 290448 Current children cumulated CPU time (s) 1097.58 Current children cumulated vsize (Kb) 290448 [startup+1110.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 103579 0 0 0 110402 355 0 0 25 0 1 0 21315480 297418752 55502 4294967295 134512640 135987407 3221224560 3221223120 134811800 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72612 55502 364 364 0 72248 0 [pid=8145] vsize: 290448 Current children cumulated CPU time (s) 1107.57 Current children cumulated vsize (Kb) 290448 [startup+1120.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 103580 0 0 0 111400 356 0 0 25 0 1 0 21315480 297418752 55503 4294967295 134512640 135987407 3221224560 3221223268 134812772 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72612 55503 364 364 0 72248 0 [pid=8145] vsize: 290448 Current children cumulated CPU time (s) 1117.56 Current children cumulated vsize (Kb) 290448 [startup+1130.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 103581 0 0 0 112399 357 0 0 25 0 1 0 21315480 297418752 55504 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72612 55504 364 364 0 72248 0 [pid=8145] vsize: 290448 Current children cumulated CPU time (s) 1127.56 Current children cumulated vsize (Kb) 290448 [startup+1140.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 103582 0 0 0 113398 357 0 0 25 0 1 0 21315480 297418752 55505 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72612 55505 364 364 0 72248 0 [pid=8145] vsize: 290448 Current children cumulated CPU time (s) 1137.55 Current children cumulated vsize (Kb) 290448 [startup+1150.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 103582 0 0 0 114397 358 0 0 25 0 1 0 21315480 297418752 55505 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72612 55505 364 364 0 72248 0 [pid=8145] vsize: 290448 Current children cumulated CPU time (s) 1147.55 Current children cumulated vsize (Kb) 290448 [startup+1160.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 104276 0 0 0 115393 360 0 0 25 0 1 0 21315480 297418752 55506 4294967295 134512640 135987407 3221224560 3221223120 134811803 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72612 55506 364 364 0 72248 0 [pid=8145] vsize: 290448 Current children cumulated CPU time (s) 1157.53 Current children cumulated vsize (Kb) 290448 [startup+1170.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 104277 0 0 0 116391 361 0 0 25 0 1 0 21315480 297418752 55507 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72612 55507 364 364 0 72248 0 [pid=8145] vsize: 290448 Current children cumulated CPU time (s) 1167.52 Current children cumulated vsize (Kb) 290448 [startup+1180.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 104278 0 0 0 117390 362 0 0 25 0 1 0 21315480 297418752 55508 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72612 55508 364 364 0 72248 0 [pid=8145] vsize: 290448 Current children cumulated CPU time (s) 1177.52 Current children cumulated vsize (Kb) 290448 [startup+1190.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 104278 0 0 0 118389 362 0 0 25 0 1 0 21315480 297418752 55508 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72612 55508 364 364 0 72248 0 [pid=8145] vsize: 290448 Current children cumulated CPU time (s) 1187.51 Current children cumulated vsize (Kb) 290448 [startup+1200.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 104279 0 0 0 119387 363 0 0 25 0 1 0 21315480 297418752 55509 4294967295 134512640 135987407 3221224560 3221223008 134801596 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72612 55509 364 364 0 72248 0 [pid=8145] vsize: 290448 Current children cumulated CPU time (s) 1197.5 Current children cumulated vsize (Kb) 290448 [startup+1210.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 104280 0 0 0 120387 364 0 0 25 0 1 0 21315480 297418752 55510 4294967295 134512640 135987407 3221224560 3221223280 134789994 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72612 55510 364 364 0 72248 0 [pid=8145] vsize: 290448 Current children cumulated CPU time (s) 1207.51 Current children cumulated vsize (Kb) 290448 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8145 Raw data (/proc/8145/stat): 8145 (pb2sat) R 8144 8145 4059 0 -1 0 104280 0 0 0 120387 364 0 0 25 0 1 0 21315480 297418752 55510 4294967295 134512640 135987407 3221224560 3221223280 134789987 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8145/statm): 72612 55510 364 364 0 72248 0 [pid=8145] vsize: 290448 Current children cumulated CPU time (s) 1207.51 Current children cumulated vsize (Kb) 290448 Sending SIGTERM to -8145 Sleeping 2 seconds One traced child (pid=8145) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1210.71 CPU time (s): 1208.18 CPU user time (s): 1204.42 CPU system time (s): 3.75843 CPU usage (%): 99.7911 Max. virtual memory (cumulated for all children) (Kb): 290448
Verifier: OK 0