Name | web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb |
MD5SUM | a931f7e9a55cb6836807387327525e8b |
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 | 58624 |
Number of constraints which are clauses | 58624 |
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 wulflinc4 THE 2005-09-23 15:33:58 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8561 boxname=wulflinc4 idbench=357 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: a931f7e9a55cb6836807387327525e8b /oldhome/oroussel/tmp/wulflinc4/normalized-frb45-21-2.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc4/normalized-frb45-21-2.opb IDLAUNCH: 8561 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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: 933824 kB Buffers: 11964 kB Cached: 71472 kB SwapCached: 0 kB Active: 45348 kB Inactive: 41008 kB HighTotal: 131008 kB HighFree: 55132 kB LowTotal: 903652 kB LowFree: 878692 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6976 kB Slab: 8796 kB Committed_AS: 63640 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 15:54:11 (client local time) WITH STATUS 10 IN 1207.71 SECONDS stats: 8561 0 1207.71 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: 6896/354491 Time: 64.5742/86400 c Decision: 6896/354491 Time: 105.668/86400 c Decision: 6896/354491 Time: 146.139/86400 c Decision: 6896/354491 Time: 188.062/86400 c Decision: 6896/354491 Time: 229.469/86400 c Decision: 11451/354491 Time: 329.354/86400 c Decision: 12301/354491 Time: 398.823/86400 c Decision: 21778/354491 Time: 496.01/86400 c Decision: 71794/354491 Time: 566.172/86400 c Decision: 86039/354491 Time: 628.549/86400 c Decision: 86039/354491 Time: 669.989/86400 c Decision: 136770/354491 Time: 741.836/86400 c Decision: 136770/354491 Time: 792.175/86400 c Decision: 136770/354491 Time: 838.503/86400 c Decision: 148329/354491 Time: 943.845/86400 c trying from 512 to 944 c got solution with objective value: 941 c starting final optimization s 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/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21319337 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 373 2 364 364 0 9 0 [pid=8563] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc4/normalized-frb45-21-2.opb [startup+10.002 s] Raw data (loadavg): 0.93 0.96 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 21382 0 0 0 947 50 0 0 25 0 1 0 21319337 65671168 12845 4294967295 134512640 135987407 3221224576 3221080784 134802898 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 16033 12845 364 364 0 15669 0 [pid=8563] vsize: 64132 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 64132 [startup+20.0028 s] Raw data (loadavg): 0.94 0.96 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 54471 0 0 0 1878 116 0 0 25 0 1 0 21319337 182702080 32309 4294967295 134512640 135987407 3221224576 3221132060 135480771 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 44605 32309 364 364 0 44241 0 [pid=8563] vsize: 178420 Current children cumulated CPU time (s) 19.94 Current children cumulated vsize (Kb) 178420 [startup+30.0037 s] Raw data (loadavg): 0.95 0.96 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 61995 0 0 0 2847 137 0 0 25 0 1 0 21319337 199458816 38420 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 48696 38420 364 364 0 48332 0 [pid=8563] vsize: 194784 Current children cumulated CPU time (s) 29.84 Current children cumulated vsize (Kb) 194784 [startup+40.0035 s] Raw data (loadavg): 0.96 0.96 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 63062 0 0 0 3825 146 0 0 25 0 1 0 21319337 203505664 39227 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 49684 39227 364 364 0 49320 0 [pid=8563] vsize: 198736 Current children cumulated CPU time (s) 39.71 Current children cumulated vsize (Kb) 198736 [startup+50.0034 s] Raw data (loadavg): 0.96 0.96 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 64881 0 0 0 4818 151 0 0 25 0 1 0 21319337 209534976 40344 4294967295 134512640 135987407 3221224576 3221223232 134812398 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 51156 40344 364 364 0 50792 0 [pid=8563] vsize: 204624 Current children cumulated CPU time (s) 49.69 Current children cumulated vsize (Kb) 204624 [startup+60.0032 s] Raw data (loadavg): 0.97 0.96 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 67533 0 0 0 5808 158 0 0 25 0 1 0 21319337 218243072 41997 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 53282 41997 364 364 0 52918 0 [pid=8563] vsize: 213128 Current children cumulated CPU time (s) 59.66 Current children cumulated vsize (Kb) 213128 [startup+70.0031 s] Raw data (loadavg): 0.97 0.96 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 68128 0 0 0 6803 160 0 0 25 0 1 0 21319337 219967488 42362 4294967295 134512640 135987407 3221224576 3221223136 134811983 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 53703 42362 364 364 0 53339 0 [pid=8563] vsize: 214812 Current children cumulated CPU time (s) 69.63 Current children cumulated vsize (Kb) 214812 [startup+80.0039 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 68505 0 0 0 7798 162 0 0 25 0 1 0 21319337 221487104 42641 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 54074 42641 364 364 0 53710 0 [pid=8563] vsize: 216296 Current children cumulated CPU time (s) 79.6 Current children cumulated vsize (Kb) 216296 [startup+90.0048 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 69757 0 0 0 8788 168 0 0 25 0 1 0 21319337 223707136 43110 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 54616 43110 364 364 0 54252 0 [pid=8563] vsize: 218464 Current children cumulated CPU time (s) 89.56 Current children cumulated vsize (Kb) 218464 [startup+100.005 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 70676 0 0 0 9773 174 0 0 25 0 1 0 21319337 227606528 43782 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 55568 43782 364 364 0 55204 0 [pid=8563] vsize: 222272 Current children cumulated CPU time (s) 99.47 Current children cumulated vsize (Kb) 222272 [startup+110.006 s] Raw data (loadavg): 0.98 0.97 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 71569 0 0 0 10766 177 0 0 25 0 1 0 21319337 231096320 44379 4294967295 134512640 135987407 3221224576 3221223040 134775579 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 56420 44379 364 364 0 56056 0 [pid=8563] vsize: 225680 Current children cumulated CPU time (s) 109.43 Current children cumulated vsize (Kb) 225680 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 71658 0 0 0 11761 179 0 0 25 0 1 0 21319337 231231488 44468 4294967295 134512640 135987407 3221224576 3221223296 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 56453 44468 364 364 0 56089 0 [pid=8563] vsize: 225812 Current children cumulated CPU time (s) 119.4 Current children cumulated vsize (Kb) 225812 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 72514 0 0 0 12751 184 0 0 25 0 1 0 21319337 231960576 44598 4294967295 134512640 135987407 3221224576 3221223008 134788457 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 56631 44598 364 364 0 56267 0 [pid=8563] vsize: 226524 Current children cumulated CPU time (s) 129.35 Current children cumulated vsize (Kb) 226524 [startup+140.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 72852 0 0 0 13727 193 0 0 25 0 1 0 21319337 233566208 44903 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 57023 44903 364 364 0 56659 0 [pid=8563] vsize: 228092 Current children cumulated CPU time (s) 139.2 Current children cumulated vsize (Kb) 228092 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 73172 0 0 0 14718 196 0 0 25 0 1 0 21319337 234823680 45109 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 57330 45109 364 364 0 56966 0 [pid=8563] vsize: 229320 Current children cumulated CPU time (s) 149.14 Current children cumulated vsize (Kb) 229320 [startup+160.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 73811 0 0 0 15710 200 0 0 25 0 1 0 21319337 237174784 45519 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 57904 45519 364 364 0 57540 0 [pid=8563] vsize: 231616 Current children cumulated CPU time (s) 159.1 Current children cumulated vsize (Kb) 231616 [startup+170.009 s] Raw data (loadavg): 1.07 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 75228 0 0 0 16699 205 0 0 25 0 1 0 21319337 239153152 45981 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 58387 45981 364 364 0 58023 0 [pid=8563] vsize: 233548 Current children cumulated CPU time (s) 169.04 Current children cumulated vsize (Kb) 233548 [startup+180.01 s] Raw data (loadavg): 1.06 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 76334 0 0 0 17682 212 0 0 25 0 1 0 21319337 242388992 46598 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 59177 46598 364 364 0 58813 0 [pid=8563] vsize: 236708 Current children cumulated CPU time (s) 178.94 Current children cumulated vsize (Kb) 236708 [startup+190.01 s] Raw data (loadavg): 1.05 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 76792 0 0 0 18674 215 0 0 25 0 1 0 21319337 244248576 46925 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 59631 46925 364 364 0 59267 0 [pid=8563] vsize: 238524 Current children cumulated CPU time (s) 188.89 Current children cumulated vsize (Kb) 238524 [startup+200.01 s] Raw data (loadavg): 1.04 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 77479 0 0 0 19666 219 0 0 25 0 1 0 21319337 246566912 47368 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 60197 47368 364 364 0 59833 0 [pid=8563] vsize: 240788 Current children cumulated CPU time (s) 198.85 Current children cumulated vsize (Kb) 240788 [startup+210.011 s] Raw data (loadavg): 1.04 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 78152 0 0 0 20658 222 0 0 25 0 1 0 21319337 248688640 47713 4294967295 134512640 135987407 3221224576 3221223168 134814273 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 60715 47713 364 364 0 60351 0 [pid=8563] vsize: 242860 Current children cumulated CPU time (s) 208.8 Current children cumulated vsize (Kb) 242860 [startup+220.011 s] Raw data (loadavg): 1.03 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 79762 0 0 0 21632 233 0 0 25 0 1 0 21319337 251674624 48236 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 61444 48236 364 364 0 61080 0 [pid=8563] vsize: 245776 Current children cumulated CPU time (s) 218.65 Current children cumulated vsize (Kb) 245776 [startup+230.012 s] Raw data (loadavg): 1.02 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 79925 0 0 0 22618 238 0 0 25 0 1 0 21319337 252485632 48399 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 61642 48399 364 364 0 61278 0 [pid=8563] vsize: 246568 Current children cumulated CPU time (s) 228.56 Current children cumulated vsize (Kb) 246568 [startup+240.012 s] Raw data (loadavg): 1.02 0.99 0.97 1/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) T 8562 8563 4060 0 -1 0 80594 0 0 0 23614 240 0 0 25 0 1 0 21319337 254746624 48773 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8563/statm): 62194 48773 364 364 0 61830 0 [pid=8563] vsize: 248776 Current children cumulated CPU time (s) 238.54 Current children cumulated vsize (Kb) 248776 [startup+250.011 s] Raw data (loadavg): 1.02 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 81163 0 0 0 24606 243 0 0 25 0 1 0 21319337 256876544 49128 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 62714 49128 364 364 0 62350 0 [pid=8563] vsize: 250856 Current children cumulated CPU time (s) 248.49 Current children cumulated vsize (Kb) 250856 [startup+260.011 s] Raw data (loadavg): 1.01 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 83440 0 0 0 25589 252 0 0 25 0 1 0 21319337 261513216 49992 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 63846 49992 364 364 0 63482 0 [pid=8563] vsize: 255384 Current children cumulated CPU time (s) 258.41 Current children cumulated vsize (Kb) 255384 [startup+270.012 s] Raw data (loadavg): 1.01 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 85228 0 0 0 26573 260 0 0 25 0 1 0 21319337 266444800 50774 4294967295 134512640 135987407 3221224576 3221223136 134812028 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 65050 50774 364 364 0 64686 0 [pid=8563] vsize: 260200 Current children cumulated CPU time (s) 268.33 Current children cumulated vsize (Kb) 260200 [startup+280.013 s] Raw data (loadavg): 1.01 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 85827 0 0 0 27566 262 0 0 25 0 1 0 21319337 268435456 51112 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 65536 51112 364 364 0 65172 0 [pid=8563] vsize: 262144 Current children cumulated CPU time (s) 278.28 Current children cumulated vsize (Kb) 262144 [startup+290.014 s] Raw data (loadavg): 1.01 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 86020 0 0 0 28562 265 0 0 25 0 1 0 21319337 269099008 51206 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 65698 51206 364 364 0 65334 0 [pid=8563] vsize: 262792 Current children cumulated CPU time (s) 288.27 Current children cumulated vsize (Kb) 262792 [startup+300.014 s] Raw data (loadavg): 1.01 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 87381 0 0 0 29554 269 0 0 25 0 1 0 21319337 272781312 51754 4294967295 134512640 135987407 3221224576 3221223008 134788469 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 66597 51754 364 364 0 66233 0 [pid=8563] vsize: 266388 Current children cumulated CPU time (s) 298.23 Current children cumulated vsize (Kb) 266388 [startup+310.015 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 89032 0 0 0 30548 273 0 0 25 0 1 0 21319337 277118976 52498 4294967295 134512640 135987407 3221224576 3221223284 134812772 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 67656 52498 364 364 0 67292 0 [pid=8563] vsize: 270624 Current children cumulated CPU time (s) 308.21 Current children cumulated vsize (Kb) 270624 [startup+320.015 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 89049 0 0 0 31546 274 0 0 25 0 1 0 21319337 277118976 52515 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 67656 52515 364 364 0 67292 0 [pid=8563] vsize: 270624 Current children cumulated CPU time (s) 318.2 Current children cumulated vsize (Kb) 270624 [startup+330.016 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 89060 0 0 0 32545 275 0 0 25 0 1 0 21319337 277118976 52526 4294967295 134512640 135987407 3221224576 3221223024 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 67656 52526 364 364 0 67292 0 [pid=8563] vsize: 270624 Current children cumulated CPU time (s) 328.2 Current children cumulated vsize (Kb) 270624 [startup+340.016 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 89071 0 0 0 33544 275 0 0 25 0 1 0 21319337 277118976 52537 4294967295 134512640 135987407 3221224576 3221223200 134801245 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 67656 52537 364 364 0 67292 0 [pid=8563] vsize: 270624 Current children cumulated CPU time (s) 338.19 Current children cumulated vsize (Kb) 270624 [startup+350.016 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 89111 0 0 0 34542 276 0 0 25 0 1 0 21319337 277118976 52577 4294967295 134512640 135987407 3221224576 3221223136 134811995 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 67656 52577 364 364 0 67292 0 [pid=8563] vsize: 270624 Current children cumulated CPU time (s) 348.18 Current children cumulated vsize (Kb) 270624 [startup+360.017 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 91064 0 0 0 35534 283 0 0 25 0 1 0 21319337 280264704 53058 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 68424 53058 364 364 0 68060 0 [pid=8563] vsize: 273696 Current children cumulated CPU time (s) 358.17 Current children cumulated vsize (Kb) 273696 [startup+370.017 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 91596 0 0 0 36523 288 0 0 25 0 1 0 21319337 282247168 53331 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 68908 53331 364 364 0 68544 0 [pid=8563] vsize: 275632 Current children cumulated CPU time (s) 368.11 Current children cumulated vsize (Kb) 275632 [startup+380.018 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 91990 0 0 0 37518 290 0 0 25 0 1 0 21319337 283295744 53467 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 69164 53467 364 364 0 68800 0 [pid=8563] vsize: 276656 Current children cumulated CPU time (s) 378.08 Current children cumulated vsize (Kb) 276656 [startup+390.019 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 91992 0 0 0 38515 291 0 0 25 0 1 0 21319337 283295744 53469 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 69164 53469 364 364 0 68800 0 [pid=8563] vsize: 276656 Current children cumulated CPU time (s) 388.06 Current children cumulated vsize (Kb) 276656 [startup+400.018 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 92042 0 0 0 39513 292 0 0 25 0 1 0 21319337 283426816 53486 4294967295 134512640 135987407 3221224576 3221223296 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 69196 53486 364 364 0 68832 0 [pid=8563] vsize: 276784 Current children cumulated CPU time (s) 398.05 Current children cumulated vsize (Kb) 276784 [startup+410.019 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 92043 0 0 0 40512 292 0 0 25 0 1 0 21319337 283426816 53487 4294967295 134512640 135987407 3221224576 3221223296 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 69196 53487 364 364 0 68832 0 [pid=8563] vsize: 276784 Current children cumulated CPU time (s) 408.04 Current children cumulated vsize (Kb) 276784 [startup+420.02 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 92044 0 0 0 41510 292 0 0 25 0 1 0 21319337 283426816 53488 4294967295 134512640 135987407 3221224576 3221223296 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 69196 53488 364 364 0 68832 0 [pid=8563] vsize: 276784 Current children cumulated CPU time (s) 418.02 Current children cumulated vsize (Kb) 276784 [startup+430.021 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 93538 0 0 0 42499 298 0 0 25 0 1 0 21319337 285937664 53837 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 69809 53837 364 364 0 69445 0 [pid=8563] vsize: 279236 Current children cumulated CPU time (s) 427.97 Current children cumulated vsize (Kb) 279236 [startup+440.021 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 93741 0 0 0 43492 301 0 0 25 0 1 0 21319337 286736384 53975 4294967295 134512640 135987407 3221224576 3221223136 134811950 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 70004 53975 364 364 0 69640 0 [pid=8563] vsize: 280016 Current children cumulated CPU time (s) 437.93 Current children cumulated vsize (Kb) 280016 [startup+450.021 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 94613 0 0 0 44485 305 0 0 25 0 1 0 21319337 289378304 54489 4294967295 134512640 135987407 3221224576 3221223136 134812056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 70649 54489 364 364 0 70285 0 [pid=8563] vsize: 282596 Current children cumulated CPU time (s) 447.9 Current children cumulated vsize (Kb) 282596 [startup+460.022 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 94932 0 0 0 45479 308 0 0 25 0 1 0 21319337 290299904 54644 4294967295 134512640 135987407 3221224576 3221223312 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 70874 54644 364 364 0 70510 0 [pid=8563] vsize: 283496 Current children cumulated CPU time (s) 457.87 Current children cumulated vsize (Kb) 283496 [startup+470.021 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 95129 0 0 0 46476 309 0 0 25 0 1 0 21319337 290824192 54710 4294967295 134512640 135987407 3221224576 3221223136 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 71002 54710 364 364 0 70638 0 [pid=8563] vsize: 284008 Current children cumulated CPU time (s) 467.85 Current children cumulated vsize (Kb) 284008 [startup+480.022 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 95362 0 0 0 47471 311 0 0 25 0 1 0 21319337 291889152 54943 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 71262 54943 364 364 0 70898 0 [pid=8563] vsize: 285048 Current children cumulated CPU time (s) 477.82 Current children cumulated vsize (Kb) 285048 [startup+490.023 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 95596 0 0 0 48468 312 0 0 25 0 1 0 21319337 292675584 54983 4294967295 134512640 135987407 3221224576 3221223136 134811992 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 71454 54983 364 364 0 71090 0 [pid=8563] vsize: 285816 Current children cumulated CPU time (s) 487.8 Current children cumulated vsize (Kb) 285816 [startup+500.023 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 95606 0 0 0 49465 314 0 0 25 0 1 0 21319337 292675584 54993 4294967295 134512640 135987407 3221224576 3221223136 134812132 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 71454 54993 364 364 0 71090 0 [pid=8563] vsize: 285816 Current children cumulated CPU time (s) 497.79 Current children cumulated vsize (Kb) 285816 [startup+510.024 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 95616 0 0 0 50462 314 0 0 25 0 1 0 21319337 292675584 55003 4294967295 134512640 135987407 3221224576 3221223136 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 71454 55003 364 364 0 71090 0 [pid=8563] vsize: 285816 Current children cumulated CPU time (s) 507.76 Current children cumulated vsize (Kb) 285816 [startup+520.024 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 96329 0 0 0 51460 316 0 0 25 0 1 0 21319337 295514112 55716 4294967295 134512640 135987407 3221224576 3221222808 134827493 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 72147 55716 364 364 0 71783 0 [pid=8563] vsize: 288588 Current children cumulated CPU time (s) 517.76 Current children cumulated vsize (Kb) 288588 [startup+530.024 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 97503 0 0 0 52445 323 0 0 25 0 1 0 21319337 296222720 55448 4294967295 134512640 135987407 3221224576 3221223232 134812406 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 72320 55448 364 364 0 71956 0 [pid=8563] vsize: 289280 Current children cumulated CPU time (s) 527.68 Current children cumulated vsize (Kb) 289280 [startup+540.024 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 97766 0 0 0 53439 326 0 0 25 0 1 0 21319337 296878080 55548 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 72480 55548 364 364 0 72116 0 [pid=8563] vsize: 289920 Current children cumulated CPU time (s) 537.65 Current children cumulated vsize (Kb) 289920 [startup+550.024 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 97787 0 0 0 54439 326 0 0 25 0 1 0 21319337 296878080 55569 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 72480 55569 364 364 0 72116 0 [pid=8563] vsize: 289920 Current children cumulated CPU time (s) 547.65 Current children cumulated vsize (Kb) 289920 [startup+560.025 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 97801 0 0 0 55438 327 0 0 25 0 1 0 21319337 296878080 55583 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 72480 55583 364 364 0 72116 0 [pid=8563] vsize: 289920 Current children cumulated CPU time (s) 557.65 Current children cumulated vsize (Kb) 289920 [startup+570.025 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 97812 0 0 0 56437 327 0 0 25 0 1 0 21319337 296878080 55594 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 72480 55594 364 364 0 72116 0 [pid=8563] vsize: 289920 Current children cumulated CPU time (s) 567.64 Current children cumulated vsize (Kb) 289920 [startup+580.026 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 97824 0 0 0 57436 327 0 0 25 0 1 0 21319337 296878080 55606 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 72480 55606 364 364 0 72116 0 [pid=8563] vsize: 289920 Current children cumulated CPU time (s) 577.63 Current children cumulated vsize (Kb) 289920 [startup+590.026 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 98526 0 0 0 58434 329 0 0 25 0 1 0 21319337 299716608 56308 4294967295 134512640 135987407 3221224576 3221222808 134827493 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73173 56308 364 364 0 72809 0 [pid=8563] vsize: 292692 Current children cumulated CPU time (s) 587.63 Current children cumulated vsize (Kb) 292692 [startup+600.025 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 98881 0 0 0 59428 331 0 0 25 0 1 0 21319337 298065920 55807 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 72770 55807 364 364 0 72406 0 [pid=8563] vsize: 291080 Current children cumulated CPU time (s) 597.59 Current children cumulated vsize (Kb) 291080 [startup+610.025 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 99022 0 0 0 60424 333 0 0 25 0 1 0 21319337 298328064 55883 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 72834 55883 364 364 0 72470 0 [pid=8563] vsize: 291336 Current children cumulated CPU time (s) 607.57 Current children cumulated vsize (Kb) 291336 [startup+620.025 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 99030 0 0 0 61423 334 0 0 25 0 1 0 21319337 298328064 55891 4294967295 134512640 135987407 3221224576 3221223136 134811980 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 72834 55891 364 364 0 72470 0 [pid=8563] vsize: 291336 Current children cumulated CPU time (s) 617.57 Current children cumulated vsize (Kb) 291336 [startup+630.026 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 99041 0 0 0 62422 335 0 0 25 0 1 0 21319337 298328064 55902 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 72834 55902 364 364 0 72470 0 [pid=8563] vsize: 291336 Current children cumulated CPU time (s) 627.57 Current children cumulated vsize (Kb) 291336 [startup+640.026 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 99050 0 0 0 63421 335 0 0 25 0 1 0 21319337 298328064 55911 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 72834 55911 364 364 0 72470 0 [pid=8563] vsize: 291336 Current children cumulated CPU time (s) 637.56 Current children cumulated vsize (Kb) 291336 [startup+650.026 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 99059 0 0 0 64418 336 0 0 25 0 1 0 21319337 298328064 55920 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 72834 55920 364 364 0 72470 0 [pid=8563] vsize: 291336 Current children cumulated CPU time (s) 647.54 Current children cumulated vsize (Kb) 291336 [startup+660.026 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 99757 0 0 0 65414 338 0 0 25 0 1 0 21319337 298328064 55925 4294967295 134512640 135987407 3221224576 3221223136 134811778 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 72834 55925 364 364 0 72470 0 [pid=8563] vsize: 291336 Current children cumulated CPU time (s) 657.52 Current children cumulated vsize (Kb) 291336 [startup+670.025 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 99761 0 0 0 66413 338 0 0 25 0 1 0 21319337 298328064 55929 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 72834 55929 364 364 0 72470 0 [pid=8563] vsize: 291336 Current children cumulated CPU time (s) 667.51 Current children cumulated vsize (Kb) 291336 [startup+680.026 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 99791 0 0 0 67411 339 0 0 25 0 1 0 21319337 298328064 55959 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 72834 55959 364 364 0 72470 0 [pid=8563] vsize: 291336 Current children cumulated CPU time (s) 677.5 Current children cumulated vsize (Kb) 291336 [startup+690.027 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 99799 0 0 0 68410 340 0 0 25 0 1 0 21319337 298328064 55967 4294967295 134512640 135987407 3221224576 3221223296 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 72834 55967 364 364 0 72470 0 [pid=8563] vsize: 291336 Current children cumulated CPU time (s) 687.5 Current children cumulated vsize (Kb) 291336 [startup+700.027 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 100669 0 0 0 69406 342 0 0 25 0 1 0 21319337 298852352 56015 4294967295 134512640 135987407 3221224576 3221223264 134824238 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 72962 56015 364 364 0 72598 0 [pid=8563] vsize: 291848 Current children cumulated CPU time (s) 697.48 Current children cumulated vsize (Kb) 291848 [startup+710.027 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 100881 0 0 0 70402 343 0 0 25 0 1 0 21319337 299511808 56129 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73123 56129 364 364 0 72759 0 [pid=8563] vsize: 292492 Current children cumulated CPU time (s) 707.45 Current children cumulated vsize (Kb) 292492 [startup+720.027 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 101002 0 0 0 71397 345 0 0 25 0 1 0 21319337 299773952 56184 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73187 56184 364 364 0 72823 0 [pid=8563] vsize: 292748 Current children cumulated CPU time (s) 717.42 Current children cumulated vsize (Kb) 292748 [startup+730.028 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 101007 0 0 0 72394 346 0 0 25 0 1 0 21319337 299773952 56189 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73187 56189 364 364 0 72823 0 [pid=8563] vsize: 292748 Current children cumulated CPU time (s) 727.4 Current children cumulated vsize (Kb) 292748 [startup+740.029 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 101008 0 0 0 73393 347 0 0 25 0 1 0 21319337 299773952 56190 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73187 56190 364 364 0 72823 0 [pid=8563] vsize: 292748 Current children cumulated CPU time (s) 737.4 Current children cumulated vsize (Kb) 292748 [startup+750.028 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 101009 0 0 0 74392 347 0 0 25 0 1 0 21319337 299773952 56191 4294967295 134512640 135987407 3221224576 3221223196 134811686 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73187 56191 364 364 0 72823 0 [pid=8563] vsize: 292748 Current children cumulated CPU time (s) 747.39 Current children cumulated vsize (Kb) 292748 [startup+760.028 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 101015 0 0 0 75390 348 0 0 25 0 1 0 21319337 299773952 56197 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73187 56197 364 364 0 72823 0 [pid=8563] vsize: 292748 Current children cumulated CPU time (s) 757.38 Current children cumulated vsize (Kb) 292748 [startup+770.028 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 101709 0 0 0 76387 350 0 0 25 0 1 0 21319337 299773952 56198 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73187 56198 364 364 0 72823 0 [pid=8563] vsize: 292748 Current children cumulated CPU time (s) 767.37 Current children cumulated vsize (Kb) 292748 [startup+780.029 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 101710 0 0 0 77384 351 0 0 25 0 1 0 21319337 299773952 56199 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73187 56199 364 364 0 72823 0 [pid=8563] vsize: 292748 Current children cumulated CPU time (s) 777.35 Current children cumulated vsize (Kb) 292748 [startup+790.029 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 101711 0 0 0 78383 352 0 0 25 0 1 0 21319337 299773952 56200 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73187 56200 364 364 0 72823 0 [pid=8563] vsize: 292748 Current children cumulated CPU time (s) 787.35 Current children cumulated vsize (Kb) 292748 [startup+800.029 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 101712 0 0 0 79382 352 0 0 25 0 1 0 21319337 299773952 56201 4294967295 134512640 135987407 3221224576 3221223264 134824720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73187 56201 364 364 0 72823 0 [pid=8563] vsize: 292748 Current children cumulated CPU time (s) 797.34 Current children cumulated vsize (Kb) 292748 [startup+810.029 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 101713 0 0 0 80380 353 0 0 25 0 1 0 21319337 299773952 56202 4294967295 134512640 135987407 3221224576 3221223136 134812025 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73187 56202 364 364 0 72823 0 [pid=8563] vsize: 292748 Current children cumulated CPU time (s) 807.33 Current children cumulated vsize (Kb) 292748 [startup+820.029 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 102407 0 0 0 81376 356 0 0 25 0 1 0 21319337 299773952 56203 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73187 56203 364 364 0 72823 0 [pid=8563] vsize: 292748 Current children cumulated CPU time (s) 817.32 Current children cumulated vsize (Kb) 292748 [startup+830.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 102468 0 0 0 82373 356 0 0 25 0 1 0 21319337 299905024 56231 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73219 56231 364 364 0 72855 0 [pid=8563] vsize: 292876 Current children cumulated CPU time (s) 827.29 Current children cumulated vsize (Kb) 292876 [startup+840.031 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 102469 0 0 0 83372 357 0 0 25 0 1 0 21319337 299905024 56232 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73219 56232 364 364 0 72855 0 [pid=8563] vsize: 292876 Current children cumulated CPU time (s) 837.29 Current children cumulated vsize (Kb) 292876 [startup+850.031 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 102470 0 0 0 84371 358 0 0 25 0 1 0 21319337 299905024 56233 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73219 56233 364 364 0 72855 0 [pid=8563] vsize: 292876 Current children cumulated CPU time (s) 847.29 Current children cumulated vsize (Kb) 292876 [startup+860.031 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 102471 0 0 0 85370 358 0 0 25 0 1 0 21319337 299905024 56234 4294967295 134512640 135987407 3221224576 3221223296 134812761 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73219 56234 364 364 0 72855 0 [pid=8563] vsize: 292876 Current children cumulated CPU time (s) 857.28 Current children cumulated vsize (Kb) 292876 [startup+870.031 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 103166 0 0 0 86366 360 0 0 25 0 1 0 21319337 299905024 56236 4294967295 134512640 135987407 3221224576 3221223136 134811950 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73219 56236 364 364 0 72855 0 [pid=8563] vsize: 292876 Current children cumulated CPU time (s) 867.26 Current children cumulated vsize (Kb) 292876 [startup+880.032 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 103172 0 0 0 87363 362 0 0 25 0 1 0 21319337 299905024 56242 4294967295 134512640 135987407 3221224576 3221223136 134812005 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73219 56242 364 364 0 72855 0 [pid=8563] vsize: 292876 Current children cumulated CPU time (s) 877.25 Current children cumulated vsize (Kb) 292876 [startup+890.031 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 103403 0 0 0 88358 365 0 0 25 0 1 0 21319337 300695552 56342 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73412 56342 364 364 0 73048 0 [pid=8563] vsize: 293648 Current children cumulated CPU time (s) 887.23 Current children cumulated vsize (Kb) 293648 [startup+900.031 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 103416 0 0 0 89356 365 0 0 25 0 1 0 21319337 300695552 56355 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73412 56355 364 364 0 73048 0 [pid=8563] vsize: 293648 Current children cumulated CPU time (s) 897.21 Current children cumulated vsize (Kb) 293648 [startup+910.032 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 103417 0 0 0 90355 366 0 0 25 0 1 0 21319337 300695552 56356 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73412 56356 364 364 0 73048 0 [pid=8563] vsize: 293648 Current children cumulated CPU time (s) 907.21 Current children cumulated vsize (Kb) 293648 [startup+920.032 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 103418 0 0 0 91353 366 0 0 25 0 1 0 21319337 300695552 56357 4294967295 134512640 135987407 3221224576 3221223136 134811816 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73412 56357 364 364 0 73048 0 [pid=8563] vsize: 293648 Current children cumulated CPU time (s) 917.19 Current children cumulated vsize (Kb) 293648 [startup+930.033 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 103419 0 0 0 92351 367 0 0 25 0 1 0 21319337 300695552 56358 4294967295 134512640 135987407 3221224576 3221223264 134824256 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73412 56358 364 364 0 73048 0 [pid=8563] vsize: 293648 Current children cumulated CPU time (s) 927.18 Current children cumulated vsize (Kb) 293648 [startup+940.033 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 103420 0 0 0 93350 368 0 0 25 0 1 0 21319337 300695552 56359 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73412 56359 364 364 0 73048 0 [pid=8563] vsize: 293648 Current children cumulated CPU time (s) 937.18 Current children cumulated vsize (Kb) 293648 [startup+950.033 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 103420 0 0 0 94349 368 0 0 25 0 1 0 21319337 300695552 56359 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73412 56359 364 364 0 73048 0 [pid=8563] vsize: 293648 Current children cumulated CPU time (s) 947.17 Current children cumulated vsize (Kb) 293648 [startup+960.033 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 103421 0 0 0 95348 369 0 0 25 0 1 0 21319337 300695552 56360 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 73412 56360 364 364 0 73048 0 [pid=8563] vsize: 293648 Current children cumulated CPU time (s) 957.17 Current children cumulated vsize (Kb) 293648 [startup+970.032 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104118 0 0 0 96345 371 0 0 25 0 1 0 21319337 300695552 56364 4294967295 134512640 135987407 3221224576 3221223136 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 73412 56364 364 364 0 73048 0 [pid=8563] vsize: 293648 Current children cumulated CPU time (s) 967.16 Current children cumulated vsize (Kb) 293648 [startup+980.033 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104128 0 0 0 97342 372 0 0 25 0 1 0 21319337 300695552 56374 4294967295 134512640 135987407 3221224576 3221223264 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 73412 56374 364 364 0 73048 0 [pid=8563] vsize: 293648 Current children cumulated CPU time (s) 977.14 Current children cumulated vsize (Kb) 293648 [startup+990.034 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104137 0 0 0 98341 373 0 0 25 0 1 0 21319337 300695552 56383 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 73412 56383 364 364 0 73048 0 [pid=8563] vsize: 293648 Current children cumulated CPU time (s) 987.14 Current children cumulated vsize (Kb) 293648 [startup+1000.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104145 0 0 0 99339 374 0 0 25 0 1 0 21319337 300695552 56391 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 73412 56391 364 364 0 73048 0 [pid=8563] vsize: 293648 Current children cumulated CPU time (s) 997.13 Current children cumulated vsize (Kb) 293648 [startup+1010.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104250 0 0 0 100335 376 0 0 25 0 1 0 21319337 300957696 56431 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 73476 56431 364 364 0 73112 0 [pid=8563] vsize: 293904 Current children cumulated CPU time (s) 1007.11 Current children cumulated vsize (Kb) 293904 [startup+1020.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104265 0 0 0 101333 377 0 0 25 0 1 0 21319337 300957696 56446 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 73476 56446 364 364 0 73112 0 [pid=8563] vsize: 293904 Current children cumulated CPU time (s) 1017.1 Current children cumulated vsize (Kb) 293904 [startup+1030.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104271 0 0 0 102331 378 0 0 25 0 1 0 21319337 300957696 56452 4294967295 134512640 135987407 3221224576 3221223264 134824720 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 73476 56452 364 364 0 73112 0 [pid=8563] vsize: 293904 Current children cumulated CPU time (s) 1027.09 Current children cumulated vsize (Kb) 293904 [startup+1040.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104276 0 0 0 103329 379 0 0 25 0 1 0 21319337 300957696 56457 4294967295 134512640 135987407 3221224576 3221223136 134811891 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 73476 56457 364 364 0 73112 0 [pid=8563] vsize: 293904 Current children cumulated CPU time (s) 1037.08 Current children cumulated vsize (Kb) 293904 [startup+1050.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104282 0 0 0 104329 379 0 0 25 0 1 0 21319337 300957696 56463 4294967295 134512640 135987407 3221224576 3221223312 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 73476 56463 364 364 0 73112 0 [pid=8563] vsize: 293904 Current children cumulated CPU time (s) 1047.08 Current children cumulated vsize (Kb) 293904 [startup+1060.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104288 0 0 0 105328 379 0 0 25 0 1 0 21319337 300957696 56469 4294967295 134512640 135987407 3221224576 3221223136 134811778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 73476 56469 364 364 0 73112 0 [pid=8563] vsize: 293904 Current children cumulated CPU time (s) 1057.07 Current children cumulated vsize (Kb) 293904 [startup+1070.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104295 0 0 0 106327 380 0 0 25 0 1 0 21319337 300957696 56476 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 73476 56476 364 364 0 73112 0 [pid=8563] vsize: 293904 Current children cumulated CPU time (s) 1067.07 Current children cumulated vsize (Kb) 293904 [startup+1080.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104345 0 0 0 107326 380 0 0 25 0 1 0 21319337 300957696 56526 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 73476 56526 364 364 0 73112 0 [pid=8563] vsize: 293904 Current children cumulated CPU time (s) 1077.06 Current children cumulated vsize (Kb) 293904 [startup+1090.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104356 0 0 0 108324 381 0 0 25 0 1 0 21319337 300957696 56537 4294967295 134512640 135987407 3221224576 3221223312 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 73476 56537 364 364 0 73112 0 [pid=8563] vsize: 293904 Current children cumulated CPU time (s) 1087.05 Current children cumulated vsize (Kb) 293904 [startup+1100.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104364 0 0 0 109323 382 0 0 25 0 1 0 21319337 300957696 56545 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 73476 56545 364 364 0 73112 0 [pid=8563] vsize: 293904 Current children cumulated CPU time (s) 1097.05 Current children cumulated vsize (Kb) 293904 [startup+1110.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104371 0 0 0 110322 382 0 0 25 0 1 0 21319337 300957696 56552 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 73476 56552 364 364 0 73112 0 [pid=8563] vsize: 293904 Current children cumulated CPU time (s) 1107.04 Current children cumulated vsize (Kb) 293904 [startup+1120.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104389 0 0 0 111320 383 0 0 25 0 1 0 21319337 300957696 56570 4294967295 134512640 135987407 3221224576 3221223232 134812298 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 73476 56570 364 364 0 73112 0 [pid=8563] vsize: 293904 Current children cumulated CPU time (s) 1117.03 Current children cumulated vsize (Kb) 293904 [startup+1130.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 104680 0 0 0 112318 384 0 0 25 0 1 0 21319337 302006272 56604 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 73732 56604 364 364 0 73368 0 [pid=8563] vsize: 294928 Current children cumulated CPU time (s) 1127.02 Current children cumulated vsize (Kb) 294928 [startup+1140.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 125893 0 0 0 113259 440 0 0 25 0 1 0 21319337 358641664 77687 4294967295 134512640 135987407 3221224576 3221204688 134878022 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 87559 77687 364 364 0 87195 0 [pid=8563] vsize: 350236 Current children cumulated CPU time (s) 1136.99 Current children cumulated vsize (Kb) 350236 [startup+1150.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 160191 0 0 0 114184 513 0 0 25 0 1 0 21319337 465780736 89813 4294967295 134512640 135987407 3221224576 3221109008 134802913 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 113716 89813 364 364 0 113352 0 [pid=8563] vsize: 454864 Current children cumulated CPU time (s) 1146.97 Current children cumulated vsize (Kb) 454864 [startup+1160.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 173359 0 0 0 115155 542 0 0 25 0 1 0 21319337 481705984 100081 4294967295 134512640 135987407 3221224576 3221223296 134818110 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 117604 100081 364 364 0 117240 0 [pid=8563] vsize: 470416 Current children cumulated CPU time (s) 1156.97 Current children cumulated vsize (Kb) 470416 [startup+1170.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 177583 0 0 0 116120 559 0 0 25 0 1 0 21319337 486567936 101564 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 118791 101564 364 364 0 118427 0 [pid=8563] vsize: 475164 Current children cumulated CPU time (s) 1166.79 Current children cumulated vsize (Kb) 475164 [startup+1180.04 s] Raw data (loadavg): 1.00 0.99 0.97 1/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) T 8562 8563 4060 0 -1 0 177998 0 0 0 117084 571 0 0 25 0 1 0 21319337 488022016 101850 4294967295 134512640 135987407 3221224576 3221223196 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8563/statm): 119146 101850 364 364 0 118782 0 [pid=8563] vsize: 476584 Current children cumulated CPU time (s) 1176.55 Current children cumulated vsize (Kb) 476584 [startup+1190.04 s] Raw data (loadavg): 1.00 0.99 0.97 1/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) T 8562 8563 4060 0 -1 0 178204 0 0 0 118038 587 0 0 25 0 1 0 21319337 489005056 102056 4294967295 134512640 135987407 3221224576 3221223196 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8563/statm): 119386 102056 364 364 0 119022 0 [pid=8563] vsize: 477544 Current children cumulated CPU time (s) 1186.25 Current children cumulated vsize (Kb) 477544 [startup+1200.05 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 178355 0 0 0 118997 601 0 0 25 0 1 0 21319337 489922560 102207 4294967295 134512640 135987407 3221224576 3221223196 135541329 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8563/statm): 119610 102207 364 364 0 119246 0 [pid=8563] vsize: 478440 Current children cumulated CPU time (s) 1195.98 Current children cumulated vsize (Kb) 478440 [startup+1210.05 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 178454 0 0 0 119953 617 0 0 25 0 1 0 21319337 490414080 102306 4294967295 134512640 135987407 3221224576 3221222944 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 119730 102306 364 364 0 119366 0 [pid=8563] vsize: 478920 Current children cumulated CPU time (s) 1205.7 Current children cumulated vsize (Kb) 478920 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.05 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 8563 Raw data (/proc/8563/stat): 8563 (pb2sat) R 8562 8563 4060 0 -1 0 178454 0 0 0 119953 617 0 0 25 0 1 0 21319337 490414080 102306 4294967295 134512640 135987407 3221224576 3221222928 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8563/statm): 119730 102306 364 364 0 119366 0 [pid=8563] vsize: 478920 Current children cumulated CPU time (s) 1205.7 Current children cumulated vsize (Kb) 478920 Sending SIGTERM to -8563 Sleeping 2 seconds Sending SIGKILL to -8563 One traced child (pid=8563) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1212.07 CPU time (s): 1207.71 CPU user time (s): 1201.33 CPU system time (s): 6.37603 CPU usage (%): 99.6399 Max. virtual memory (cumulated for all children) (Kb): 478920
Verifier: OK -4