Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb |
MD5SUM | 270e069f649d19b0da4e4d23c0e1ebfc |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 760 |
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 | 760 |
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 | 760 |
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 | 1175.06 |
Number of variables | 760 |
Total number of constraints | 41263 |
Number of constraints which are clauses | 41263 |
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 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-16 02:16:58 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25423 boxname=wulflinc4 idbench=325 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 270e069f649d19b0da4e4d23c0e1ebfc /oldhome/oroussel/tmp/wulflinc4/normalized-frb40-19-2.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-frb40-19-2.opb IDLAUNCH: 25423 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 746040 kB Buffers: 33864 kB Cached: 232704 kB SwapCached: 944 kB Active: 37544 kB Inactive: 231172 kB HighTotal: 131008 kB HighFree: 476 kB LowTotal: 903652 kB LowFree: 745564 kB SwapTotal: 2097136 kB SwapFree: 2095208 kB Dirty: 52 kB Writeback: 0 kB Mapped: 4996 kB Slab: 14292 kB Committed_AS: 71896 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 02:37:01 (client local time) WITH STATUS 10 IN 1201.44 SECONDS stats: 25423 0 1201.44 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 760 c big objective detected c trying from 0 to 511 c Decision: 15174/259586 Time: 84.0602/86400 c Decision: 16625/259586 Time: 137.832/86400 c Decision: 17113/259586 Time: 182.069/86400 c Decision: 17113/259586 Time: 213.912/86400 c Decision: 35635/259586 Time: 264.841/86400 c Decision: 36099/259586 Time: 306.692/86400 c Decision: 38063/259586 Time: 370.21/86400 c Decision: 38065/259586 Time: 404.914/86400 c Decision: 38065/259586 Time: 438.809/86400 c Decision: 38065/259586 Time: 474.993/86400 c Decision: 38966/259586 Time: 504.966/86400 c Decision: 38966/259586 Time: 533.296/86400 c Decision: 38966/259586 Time: 560.456/86400 c Decision: 38966/259586 Time: 590.941/86400 c Decision: 38966/259586 Time: 628.601/86400 c Decision: 38966/259586 Time: 657.353/86400 c Decision: 38966/259586 Time: 690.728/86400 c Decision: 39934/259586 Time: 743.275/86400 c Decision: 39934/259586 Time: 770.399/86400 c Decision: 43519/259586 Time: 813.409/86400 c Decision: 43519/259586 Time: 839.218/86400 c Decision: 43519/259586 Time: 866.551/86400 c Decision: 43519/259586 Time: 898.074/86400 c Decision: 43519/259586 Time: 931.474/86400 c Decision: 43524/259586 Time: 974.86/86400 c Decision: 45675/259586 Time: 1016.68/86400 c Decision: 45675/259586 Time: 1050.74/86400 c Decision: 45675/259586 Time: 1084.69/86400 c Decision: 45677/259586 Time: 1117.49/86400 c Decision: 45677/259586 Time: 1148.94/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 -C77 -C78 -C79 -C8 -C80 -C81 -C82 -C83 -C84 -C85 -C86 -C87 -C88 -C89 -C9 -C90 -C91 -C92 -C93 -C94 -C95 -C96 -C97 -C98 -C99 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.92 0.97 0.91 2/54 19789 Raw data (stat): 19789 (runsolver) R 19788 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 967085208 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.001 s] Raw data (loadavg): 0.93 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 24882 0 0 0 948 51 0 0 25 0 1 0 967085208 84824064 14041 4294967295 134512640 135730672 3221224592 3221168752 134785952 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 20709 14041 301 301 0 20408 0 vsize: 82836 [startup+20.0013 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 42567 0 0 0 1909 89 0 0 25 0 1 0 967085208 129445888 24812 4294967295 134512640 135730672 3221224592 3221222816 134747832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 31603 24812 301 301 0 31302 0 vsize: 126412 [startup+30.0011 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 42604 0 0 0 2907 91 0 0 25 0 1 0 967085208 129609728 24849 4294967295 134512640 135730672 3221224592 3221222816 134747627 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 31643 24849 301 301 0 31342 0 vsize: 126572 [startup+40.0023 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 42633 0 0 0 3905 94 0 0 25 0 1 0 967085208 129798144 24878 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 31689 24878 301 301 0 31388 0 vsize: 126756 [startup+50.0029 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 44939 0 0 0 4900 99 0 0 25 0 1 0 967085208 137961472 26381 4294967295 134512640 135730672 3221224592 3221222944 134748264 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 33682 26381 301 301 0 33381 0 vsize: 134728 [startup+60.0027 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 46639 0 0 0 5896 103 0 0 25 0 1 0 967085208 143618048 27387 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35063 27387 301 301 0 34762 0 vsize: 140252 [startup+70.0039 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 47684 0 0 0 6894 106 0 0 25 0 1 0 967085208 147677184 28040 4294967295 134512640 135730672 3221224592 3221222816 134747957 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 36054 28040 301 301 0 35753 0 vsize: 144216 [startup+80.0045 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 48084 0 0 0 7893 106 0 0 25 0 1 0 967085208 149143552 28325 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 36412 28325 301 301 0 36111 0 vsize: 145648 [startup+90.0053 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 48133 0 0 0 8893 106 0 0 25 0 1 0 967085208 149278720 28374 4294967295 134512640 135730672 3221224592 3221222944 134748106 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 36445 28374 301 301 0 36144 0 vsize: 145780 [startup+100.006 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 48851 0 0 0 9892 108 0 0 25 0 1 0 967085208 149876736 28551 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36591 28551 301 301 0 36290 0 vsize: 146364 [startup+110.006 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 50289 0 0 0 10889 111 0 0 25 0 1 0 967085208 155516928 29434 4294967295 134512640 135730672 3221224592 3221222816 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 37968 29434 301 301 0 37667 0 vsize: 151872 [startup+120.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 51603 0 0 0 11887 113 0 0 25 0 1 0 967085208 160657408 30286 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39223 30286 301 301 0 38922 0 vsize: 156892 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 52544 0 0 0 12885 115 0 0 25 0 1 0 967085208 163577856 30798 4294967295 134512640 135730672 3221224592 3221222976 134748661 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39936 30798 301 301 0 39635 0 vsize: 159744 [startup+140.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 52635 0 0 0 13884 116 0 0 25 0 1 0 967085208 164044800 30889 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40050 30889 301 301 0 39749 0 vsize: 160200 [startup+150.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 52666 0 0 0 14884 117 0 0 25 0 1 0 967085208 164044800 30920 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40050 30920 301 301 0 39749 0 vsize: 160200 [startup+160.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 54014 0 0 0 15880 120 0 0 25 0 1 0 967085208 167088128 31450 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40793 31450 301 301 0 40492 0 vsize: 163172 [startup+170.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 54551 0 0 0 16879 122 0 0 25 0 1 0 967085208 168906752 31791 4294967295 134512640 135730672 3221224592 3221222816 134747711 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41237 31791 301 301 0 40936 0 vsize: 164948 [startup+180.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 54821 0 0 0 17878 122 0 0 25 0 1 0 967085208 169971712 31932 4294967295 134512640 135730672 3221224592 3221222944 134748094 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41497 31932 301 301 0 41196 0 vsize: 165988 [startup+190.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 54853 0 0 0 18879 122 0 0 25 0 1 0 967085208 169971712 31964 4294967295 134512640 135730672 3221224592 3221222800 134732772 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41497 31964 301 301 0 41196 0 vsize: 165988 [startup+200.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 55454 0 0 0 19877 124 0 0 25 0 1 0 967085208 170377216 32057 4294967295 134512640 135730672 3221224592 3221222816 134747549 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41596 32057 301 301 0 41295 0 vsize: 166384 [startup+210.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 55985 0 0 0 20875 126 0 0 25 0 1 0 967085208 172711936 32440 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42166 32440 301 301 0 41865 0 vsize: 168664 [startup+220.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 56258 0 0 0 21874 126 0 0 25 0 1 0 967085208 173641728 32581 4294967295 134512640 135730672 3221224592 3221222816 134747549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42393 32581 301 301 0 42092 0 vsize: 169572 [startup+230.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 57134 0 0 0 22872 129 0 0 25 0 1 0 967085208 174563328 32753 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42618 32753 301 301 0 42317 0 vsize: 170472 [startup+240.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 57688 0 0 0 23871 130 0 0 25 0 1 0 967085208 176156672 33111 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43007 33111 301 301 0 42706 0 vsize: 172028 [startup+250.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 58688 0 0 0 24868 132 0 0 25 0 1 0 967085208 179208192 33687 4294967295 134512640 135730672 3221224592 3221222816 134747610 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43752 33687 301 301 0 43451 0 vsize: 175008 [startup+260.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 58943 0 0 0 25868 133 0 0 25 0 1 0 967085208 179867648 33811 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43913 33811 301 301 0 43612 0 vsize: 175652 [startup+270.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 58958 0 0 0 26867 134 0 0 25 0 1 0 967085208 179867648 33826 4294967295 134512640 135730672 3221224592 3221222816 134747471 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43913 33826 301 301 0 43612 0 vsize: 175652 [startup+280.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 59488 0 0 0 27866 136 0 0 25 0 1 0 967085208 179867648 33848 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43913 33848 301 301 0 43612 0 vsize: 175652 [startup+290.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 60075 0 0 0 28863 138 0 0 25 0 1 0 967085208 181710848 34076 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44363 34076 301 301 0 44062 0 vsize: 177452 [startup+300.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 60394 0 0 0 29862 140 0 0 25 0 1 0 967085208 182767616 34265 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44621 34265 301 301 0 44320 0 vsize: 178484 [startup+310.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 60415 0 0 0 30862 140 0 0 25 0 1 0 967085208 182767616 34286 4294967295 134512640 135730672 3221224592 3221222816 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44621 34286 301 301 0 44320 0 vsize: 178484 [startup+320.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 60433 0 0 0 31862 140 0 0 25 0 1 0 967085208 182767616 34304 4294967295 134512640 135730672 3221224592 3221222832 134745858 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44621 34304 301 301 0 44320 0 vsize: 178484 [startup+330.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 61093 0 0 0 32860 143 0 0 25 0 1 0 967085208 183365632 34423 4294967295 134512640 135730672 3221224592 3221222816 134747563 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44767 34423 301 301 0 44466 0 vsize: 179068 [startup+340.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 61095 0 0 0 33859 143 0 0 25 0 1 0 967085208 183365632 34425 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44767 34425 301 301 0 44466 0 vsize: 179068 [startup+350.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 61325 0 0 0 34859 144 0 0 25 0 1 0 967085208 183889920 34524 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44895 34524 301 301 0 44594 0 vsize: 179580 [startup+360.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 61383 0 0 0 35858 144 0 0 25 0 1 0 967085208 184160256 34582 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44961 34582 301 301 0 44660 0 vsize: 179844 [startup+370.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 61385 0 0 0 36858 145 0 0 25 0 1 0 967085208 184160256 34584 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44961 34584 301 301 0 44660 0 vsize: 179844 [startup+380.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 61386 0 0 0 37858 145 0 0 25 0 1 0 967085208 184160256 34585 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44961 34585 301 301 0 44660 0 vsize: 179844 [startup+390.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 61915 0 0 0 38857 146 0 0 25 0 1 0 967085208 184295424 34606 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 44994 34606 301 301 0 44693 0 vsize: 179976 [startup+400.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 62051 0 0 0 39857 147 0 0 25 0 1 0 967085208 184827904 34742 4294967295 134512640 135730672 3221224592 3221222800 134732772 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45124 34742 301 301 0 44823 0 vsize: 180496 [startup+410.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 62061 0 0 0 40857 147 0 0 25 0 1 0 967085208 184827904 34752 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45124 34752 301 301 0 44823 0 vsize: 180496 [startup+420.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 62571 0 0 0 41856 148 0 0 25 0 1 0 967085208 184827904 34754 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45124 34754 301 301 0 44823 0 vsize: 180496 [startup+430.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 62572 0 0 0 42855 148 0 0 25 0 1 0 967085208 184827904 34755 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45124 34755 301 301 0 44823 0 vsize: 180496 [startup+440.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 62573 0 0 0 43856 148 0 0 25 0 1 0 967085208 184827904 34756 4294967295 134512640 135730672 3221224592 3221222912 134747724 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45124 34756 301 301 0 44823 0 vsize: 180496 [startup+450.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 62574 0 0 0 44855 149 0 0 25 0 1 0 967085208 184827904 34757 4294967295 134512640 135730672 3221224592 3221222816 134747549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45124 34757 301 301 0 44823 0 vsize: 180496 [startup+460.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 63385 0 0 0 45854 150 0 0 25 0 1 0 967085208 185483264 34896 4294967295 134512640 135730672 3221224592 3221222976 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45284 34896 301 301 0 44983 0 vsize: 181136 [startup+470.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 63478 0 0 0 46854 151 0 0 25 0 1 0 967085208 185614336 34956 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45316 34956 301 301 0 45015 0 vsize: 181264 [startup+480.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 63575 0 0 0 47854 151 0 0 25 0 1 0 967085208 185745408 35020 4294967295 134512640 135730672 3221224592 3221222800 134732772 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45348 35020 301 301 0 45047 0 vsize: 181392 [startup+490.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 64102 0 0 0 48853 152 0 0 25 0 1 0 967085208 185745408 35039 4294967295 134512640 135730672 3221224592 3221222944 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45348 35039 301 301 0 45047 0 vsize: 181392 [startup+500.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 64126 0 0 0 49853 152 0 0 25 0 1 0 967085208 185745408 35063 4294967295 134512640 135730672 3221224592 3221222944 134748214 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45348 35063 301 301 0 45047 0 vsize: 181392 [startup+510.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 64152 0 0 0 50853 152 0 0 25 0 1 0 967085208 185745408 35089 4294967295 134512640 135730672 3221224592 3221222816 134747845 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45348 35089 301 301 0 45047 0 vsize: 181392 [startup+520.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 64681 0 0 0 51852 153 0 0 25 0 1 0 967085208 185745408 35110 4294967295 134512640 135730672 3221224592 3221222944 134783353 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45348 35110 301 301 0 45047 0 vsize: 181392 [startup+530.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 64682 0 0 0 52852 153 0 0 25 0 1 0 967085208 185745408 35111 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45348 35111 301 301 0 45047 0 vsize: 181392 [startup+540.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 64684 0 0 0 53853 153 0 0 25 0 1 0 967085208 185745408 35113 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45348 35113 301 301 0 45047 0 vsize: 181392 [startup+550.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 65193 0 0 0 54851 155 0 0 25 0 1 0 967085208 185745408 35114 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45348 35114 301 301 0 45047 0 vsize: 181392 [startup+560.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 65202 0 0 0 55851 155 0 0 25 0 1 0 967085208 185745408 35123 4294967295 134512640 135730672 3221224592 3221222816 134747616 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45348 35123 301 301 0 45047 0 vsize: 181392 [startup+570.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 65204 0 0 0 56851 155 0 0 25 0 1 0 967085208 185745408 35125 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45348 35125 301 301 0 45047 0 vsize: 181392 [startup+580.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 65944 0 0 0 57850 157 0 0 25 0 1 0 967085208 186269696 35227 4294967295 134512640 135730672 3221224592 3221222944 134748111 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45476 35227 301 301 0 45175 0 vsize: 181904 [startup+590.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 66094 0 0 0 58849 157 0 0 25 0 1 0 967085208 186662912 35279 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45572 35279 301 301 0 45271 0 vsize: 182288 [startup+600.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 66096 0 0 0 59850 158 0 0 25 0 1 0 967085208 186662912 35281 4294967295 134512640 135730672 3221224592 3221222976 134734774 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45572 35281 301 301 0 45271 0 vsize: 182288 [startup+610.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 66605 0 0 0 60848 159 0 0 25 0 1 0 967085208 186662912 35282 4294967295 134512640 135730672 3221224592 3221222816 134747610 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45572 35282 301 301 0 45271 0 vsize: 182288 [startup+620.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 66606 0 0 0 61849 159 0 0 25 0 1 0 967085208 186662912 35283 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45572 35283 301 301 0 45271 0 vsize: 182288 [startup+630.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 66738 0 0 0 62848 159 0 0 25 0 1 0 967085208 187056128 35316 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45668 35316 301 301 0 45367 0 vsize: 182672 [startup+640.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 66748 0 0 0 63848 159 0 0 25 0 1 0 967085208 187056128 35326 4294967295 134512640 135730672 3221224592 3221222976 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45668 35326 301 301 0 45367 0 vsize: 182672 [startup+650.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 67393 0 0 0 64847 161 0 0 25 0 1 0 967085208 187318272 35398 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45732 35398 301 301 0 45431 0 vsize: 182928 [startup+660.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 67405 0 0 0 65846 162 0 0 25 0 1 0 967085208 204095488 35410 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49828 35410 301 301 0 49527 0 vsize: 199312 [startup+670.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 67417 0 0 0 66846 162 0 0 25 0 1 0 967085208 204095488 35422 4294967295 134512640 135730672 3221224592 3221222816 134747735 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49828 35422 301 301 0 49527 0 vsize: 199312 [startup+680.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 68332 0 0 0 67845 164 0 0 25 0 1 0 967085208 205144064 35570 4294967295 134512640 135730672 3221224592 3221222752 134730465 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50084 35570 301 301 0 49783 0 vsize: 200336 [startup+690.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 68403 0 0 0 68845 164 0 0 25 0 1 0 967085208 205275136 35608 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50116 35608 301 301 0 49815 0 vsize: 200464 [startup+700.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 68608 0 0 0 69845 164 0 0 25 0 1 0 967085208 205799424 35683 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50244 35683 301 301 0 49943 0 vsize: 200976 [startup+710.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 69117 0 0 0 70843 166 0 0 25 0 1 0 967085208 205799424 35684 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50244 35684 301 301 0 49943 0 vsize: 200976 [startup+720.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 69119 0 0 0 71843 166 0 0 25 0 1 0 967085208 205799424 35686 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50244 35686 301 301 0 49943 0 vsize: 200976 [startup+730.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 69131 0 0 0 72844 166 0 0 25 0 1 0 967085208 205799424 35698 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50244 35698 301 301 0 49943 0 vsize: 200976 [startup+740.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 69132 0 0 0 73844 166 0 0 25 0 1 0 967085208 205799424 35699 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50244 35699 301 301 0 49943 0 vsize: 200976 [startup+750.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 69134 0 0 0 74844 166 0 0 25 0 1 0 967085208 205799424 35701 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50244 35701 301 301 0 49943 0 vsize: 200976 [startup+760.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 69643 0 0 0 75843 167 0 0 25 0 1 0 967085208 205799424 35702 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50244 35702 301 301 0 49943 0 vsize: 200976 [startup+770.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 69645 0 0 0 76843 167 0 0 25 0 1 0 967085208 205799424 35704 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50244 35704 301 301 0 49943 0 vsize: 200976 [startup+780.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 69647 0 0 0 77843 168 0 0 25 0 1 0 967085208 205799424 35706 4294967295 134512640 135730672 3221224592 3221222816 134747770 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50244 35706 301 301 0 49943 0 vsize: 200976 [startup+790.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 70156 0 0 0 78842 169 0 0 25 0 1 0 967085208 205799424 35707 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50244 35707 301 301 0 49943 0 vsize: 200976 [startup+800.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 70222 0 0 0 79842 169 0 0 25 0 1 0 967085208 205930496 35740 4294967295 134512640 135730672 3221224592 3221222800 134732772 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50276 35740 301 301 0 49975 0 vsize: 201104 [startup+810.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 70227 0 0 0 80842 169 0 0 25 0 1 0 967085208 205930496 35745 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50276 35745 301 301 0 49975 0 vsize: 201104 [startup+820.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 70229 0 0 0 81842 169 0 0 25 0 1 0 967085208 205930496 35747 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50276 35747 301 301 0 49975 0 vsize: 201104 [startup+830.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 70738 0 0 0 82841 171 0 0 25 0 1 0 967085208 205930496 35748 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50276 35748 301 301 0 49975 0 vsize: 201104 [startup+840.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 70740 0 0 0 83841 171 0 0 25 0 1 0 967085208 205930496 35750 4294967295 134512640 135730672 3221224592 3221222864 134740321 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50276 35750 301 301 0 49975 0 vsize: 201104 [startup+850.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 70741 0 0 0 84841 171 0 0 25 0 1 0 967085208 205930496 35751 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50276 35751 301 301 0 49975 0 vsize: 201104 [startup+860.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 71251 0 0 0 85839 172 0 0 25 0 1 0 967085208 205930496 35753 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50276 35753 301 301 0 49975 0 vsize: 201104 [startup+870.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 71252 0 0 0 86840 172 0 0 25 0 1 0 967085208 205930496 35754 4294967295 134512640 135730672 3221224592 3221222816 134747534 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50276 35754 301 301 0 49975 0 vsize: 201104 [startup+880.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 71254 0 0 0 87840 173 0 0 25 0 1 0 967085208 205930496 35756 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50276 35756 301 301 0 49975 0 vsize: 201104 [startup+890.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 71763 0 0 0 88839 174 0 0 25 0 1 0 967085208 205930496 35757 4294967295 134512640 135730672 3221224592 3221222912 134763576 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50276 35757 301 301 0 49975 0 vsize: 201104 [startup+900.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 71764 0 0 0 89839 174 0 0 25 0 1 0 967085208 205930496 35758 4294967295 134512640 135730672 3221224592 3221222816 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50276 35758 301 301 0 49975 0 vsize: 201104 [startup+910.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 71774 0 0 0 90839 174 0 0 25 0 1 0 967085208 205930496 35768 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50276 35768 301 301 0 49975 0 vsize: 201104 [startup+920.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 72291 0 0 0 91838 175 0 0 25 0 1 0 967085208 205930496 35777 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50276 35777 301 301 0 49975 0 vsize: 201104 [startup+930.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 72293 0 0 0 92838 175 0 0 25 0 1 0 967085208 205930496 35779 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50276 35779 301 301 0 49975 0 vsize: 201104 [startup+940.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 72294 0 0 0 93837 176 0 0 25 0 1 0 967085208 205930496 35780 4294967295 134512640 135730672 3221224592 3221222864 134740236 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50276 35780 301 301 0 49975 0 vsize: 201104 [startup+950.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 73033 0 0 0 94836 178 0 0 25 0 1 0 967085208 206721024 35880 4294967295 134512640 135730672 3221224592 3221222976 134734780 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50469 35880 301 301 0 50168 0 vsize: 201876 [startup+960.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 73288 0 0 0 95835 178 0 0 25 0 1 0 967085208 207646720 36037 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50695 36037 301 301 0 50394 0 vsize: 202780 [startup+970.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 73448 0 0 0 96835 179 0 0 25 0 1 0 967085208 208039936 36099 4294967295 134512640 135730672 3221224592 3221222912 134747445 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50791 36099 301 301 0 50490 0 vsize: 203164 [startup+980.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 73449 0 0 0 97836 179 0 0 25 0 1 0 967085208 208039936 36100 4294967295 134512640 135730672 3221224592 3221222864 134740310 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50791 36100 301 301 0 50490 0 vsize: 203164 [startup+990.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 73959 0 0 0 98834 180 0 0 25 0 1 0 967085208 208039936 36102 4294967295 134512640 135730672 3221224592 3221222944 134748191 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50791 36102 301 301 0 50490 0 vsize: 203164 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 73960 0 0 0 99834 180 0 0 25 0 1 0 967085208 208039936 36103 4294967295 134512640 135730672 3221224592 3221222912 134764020 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50791 36103 301 301 0 50490 0 vsize: 203164 [startup+1010.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 73963 0 0 0 100834 180 0 0 25 0 1 0 967085208 208039936 36106 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50791 36106 301 301 0 50490 0 vsize: 203164 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 73965 0 0 0 101834 181 0 0 25 0 1 0 967085208 208039936 36108 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50791 36108 301 301 0 50490 0 vsize: 203164 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 73983 0 0 0 102834 181 0 0 25 0 1 0 967085208 208039936 36126 4294967295 134512640 135730672 3221224592 3221222832 134746077 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50791 36126 301 301 0 50490 0 vsize: 203164 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 74492 0 0 0 103833 183 0 0 25 0 1 0 967085208 208039936 36127 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50791 36127 301 301 0 50490 0 vsize: 203164 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 74494 0 0 0 104833 183 0 0 25 0 1 0 967085208 208039936 36129 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50791 36129 301 301 0 50490 0 vsize: 203164 [startup+1060.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 74495 0 0 0 105833 183 0 0 25 0 1 0 967085208 208039936 36130 4294967295 134512640 135730672 3221224592 3221222892 134740379 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50791 36130 301 301 0 50490 0 vsize: 203164 [startup+1070.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 75004 0 0 0 106832 184 0 0 25 0 1 0 967085208 208039936 36131 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50791 36131 301 301 0 50490 0 vsize: 203164 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 75050 0 0 0 107832 184 0 0 25 0 1 0 967085208 208306176 36177 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50856 36177 301 301 0 50555 0 vsize: 203424 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 75051 0 0 0 108832 184 0 0 25 0 1 0 967085208 208306176 36178 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50856 36178 301 301 0 50555 0 vsize: 203424 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 75567 0 0 0 109831 186 0 0 25 0 1 0 967085208 208306176 36186 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50856 36186 301 301 0 50555 0 vsize: 203424 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 75569 0 0 0 110831 186 0 0 25 0 1 0 967085208 208306176 36188 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50856 36188 301 301 0 50555 0 vsize: 203424 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 75570 0 0 0 111831 186 0 0 25 0 1 0 967085208 208306176 36189 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50856 36189 301 301 0 50555 0 vsize: 203424 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 75572 0 0 0 112831 186 0 0 25 0 1 0 967085208 208306176 36191 4294967295 134512640 135730672 3221224592 3221222816 134747624 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50856 36191 301 301 0 50555 0 vsize: 203424 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 76081 0 0 0 113830 187 0 0 25 0 1 0 967085208 208306176 36192 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50856 36192 301 301 0 50555 0 vsize: 203424 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 76094 0 0 0 114830 187 0 0 25 0 1 0 967085208 208306176 36205 4294967295 134512640 135730672 3221224592 3221222816 134747597 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50856 36205 301 301 0 50555 0 vsize: 203424 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 76115 0 0 0 115830 187 0 0 25 0 1 0 967085208 208306176 36226 4294967295 134512640 135730672 3221224592 3221222944 134748088 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50856 36226 301 301 0 50555 0 vsize: 203424 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 76641 0 0 0 116829 189 0 0 25 0 1 0 967085208 208306176 36244 4294967295 134512640 135730672 3221224592 3221222864 134740206 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50856 36244 301 301 0 50555 0 vsize: 203424 [startup+1180.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 76657 0 0 0 117829 189 0 0 25 0 1 0 967085208 208306176 36260 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50856 36260 301 301 0 50555 0 vsize: 203424 [startup+1190.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 76675 0 0 0 118829 189 0 0 25 0 1 0 967085208 208306176 36278 4294967295 134512640 135730672 3221224592 3221222988 134748653 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50856 36278 301 301 0 50555 0 vsize: 203424 [startup+1200.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19789 Raw data (stat): 19789 (pb2sat-v2) R 19788 21152 21151 0 -1 0 76691 0 0 0 119829 189 0 0 25 0 1 0 967085208 208306176 36294 4294967295 134512640 135730672 3221224592 3221223008 134748577 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50856 36294 301 301 0 50555 0 vsize: 203424 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.31 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 19789 Raw data (stat): 19789 (pb2sat-v2) Z 19788 21152 21151 0 -1 12 76693 0 0 0 119947 197 0 0 25 0 1 0 967085208 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 10 Real time (s): 1201.31 CPU time (s): 1201.44 CPU user time (s): 1199.47 CPU system time (s): 1.9707 CPU usage (%): 100.012 Max. virtual memory (Kb): 203424 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 0 #### END VERIFIER DATA ####