Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb |
MD5SUM | 38d41fdbe49543e8928c5210e4323f00 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -31 |
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.08 |
Number of variables | 760 |
Total number of constraints | 41619 |
Number of constraints which are clauses | 41619 |
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 wulflinc6 THE 2005-06-16 02:25:43 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25426 boxname=wulflinc6 idbench=328 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 38d41fdbe49543e8928c5210e4323f00 /oldhome/oroussel/tmp/wulflinc6/normalized-frb40-19-5.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-frb40-19-5.opb IDLAUNCH: 25426 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 725828 kB Buffers: 34080 kB Cached: 252124 kB SwapCached: 1028 kB Active: 65472 kB Inactive: 222864 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 725576 kB SwapTotal: 2097136 kB SwapFree: 2095200 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5088 kB Slab: 14868 kB Committed_AS: 63848 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 02:45:47 (client local time) WITH STATUS 10 IN 1201.6 SECONDS stats: 25426 0 1201.6 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: 12166/259586 Time: 41.9496/86400 c Decision: 14985/259586 Time: 113.171/86400 c Decision: 17866/259586 Time: 161.216/86400 c Decision: 17866/259586 Time: 186.567/86400 c Decision: 17866/259586 Time: 214.91/86400 c Decision: 17866/259586 Time: 244.235/86400 c Decision: 17866/259586 Time: 271.412/86400 c Decision: 17866/259586 Time: 297.379/86400 c Decision: 17866/259586 Time: 329.719/86400 c Decision: 17866/259586 Time: 362.631/86400 c Decision: 17884/259586 Time: 398.112/86400 c Decision: 17884/259586 Time: 426.886/86400 c Decision: 17901/259586 Time: 456.437/86400 c Decision: 17901/259586 Time: 488.227/86400 c Decision: 17901/259586 Time: 516.005/86400 c Decision: 17901/259586 Time: 548.912/86400 c Decision: 17901/259586 Time: 580.003/86400 c Decision: 17901/259586 Time: 609.223/86400 c Decision: 17901/259586 Time: 641.323/86400 c Decision: 17901/259586 Time: 676.234/86400 c Decision: 17901/259586 Time: 705.836/86400 c Decision: 17901/259586 Time: 737.307/86400 c Decision: 17901/259586 Time: 773.149/86400 c Decision: 17901/259586 Time: 806.054/86400 c Decision: 17901/259586 Time: 840.261/86400 c Decision: 17901/259586 Time: 869.5/86400 c Decision: 17901/259586 Time: 899.165/86400 c Decision: 17901/259586 Time: 934.11/86400 c Decision: 17901/259586 Time: 961.711/86400 c Decision: 17901/259586 Time: 998.031/86400 c Decision: 17901/259586 Time: 1032.78/86400 c Decision: 21528/259586 Time: 1082.56/86400 c Decision: 21528/259586 Time: 1117.55/86400 c Decision: 21528/259586 Time: 1146.81/86400 c Decision: 21800/259586 Time: 1181.5/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.84 0.94 0.90 1/54 13482 Raw data (stat): 13482 (runsolver) R 13481 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 967146930 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.0005 s] Raw data (loadavg): 0.87 0.94 0.90 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 24833 0 0 0 948 51 0 0 25 0 1 0 967146930 84828160 13994 4294967295 134512640 135730672 3221224592 3221152776 134742749 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 20710 13994 301 301 0 20409 0 vsize: 82840 [startup+20.0009 s] Raw data (loadavg): 0.89 0.94 0.90 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 42122 0 0 0 1911 88 0 0 25 0 1 0 967146930 127377408 24420 4294967295 134512640 135730672 3221224592 3221222816 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 31098 24420 301 301 0 30797 0 vsize: 124392 [startup+30.0012 s] Raw data (loadavg): 0.90 0.94 0.90 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 43702 0 0 0 2907 92 0 0 25 0 1 0 967146930 133386240 25578 4294967295 134512640 135730672 3221224592 3221222912 134763606 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 32565 25578 301 301 0 32264 0 vsize: 130260 [startup+40.0009 s] Raw data (loadavg): 0.92 0.94 0.90 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 45390 0 0 0 3904 95 0 0 25 0 1 0 967146930 140099584 26676 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 34204 26676 301 301 0 33903 0 vsize: 136816 [startup+50.0015 s] Raw data (loadavg): 0.93 0.94 0.90 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 46517 0 0 0 4903 97 0 0 25 0 1 0 967146930 144920576 27516 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 35381 27516 301 301 0 35080 0 vsize: 141524 [startup+60.0017 s] Raw data (loadavg): 0.94 0.95 0.90 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 47958 0 0 0 5900 101 0 0 25 0 1 0 967146930 148471808 28155 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36248 28155 301 301 0 35947 0 vsize: 144992 [startup+70.0014 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 48913 0 0 0 6897 103 0 0 25 0 1 0 967146930 152485888 28930 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 37228 28930 301 301 0 36927 0 vsize: 148912 [startup+80.0019 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 50163 0 0 0 7895 105 0 0 25 0 1 0 967146930 156925952 29672 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38312 29672 301 301 0 38011 0 vsize: 153248 [startup+90.002 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 50861 0 0 0 8894 107 0 0 25 0 1 0 967146930 159174656 30076 4294967295 134512640 135730672 3221224592 3221222924 134747440 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 38861 30076 301 301 0 38560 0 vsize: 155444 [startup+100.002 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 51443 0 0 0 9894 107 0 0 25 0 1 0 967146930 160768000 30461 4294967295 134512640 135730672 3221224592 3221222816 134747834 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39250 30461 301 301 0 38949 0 vsize: 157000 [startup+110.002 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 52014 0 0 0 10893 108 0 0 25 0 1 0 967146930 162754560 30770 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39735 30770 301 301 0 39434 0 vsize: 158940 [startup+120.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 52121 0 0 0 11893 109 0 0 25 0 1 0 967146930 163020800 30877 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 39800 30877 301 301 0 39499 0 vsize: 159200 [startup+130.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 52824 0 0 0 12892 110 0 0 25 0 1 0 967146930 163545088 30941 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39928 30941 301 301 0 39627 0 vsize: 159712 [startup+140.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 53809 0 0 0 13890 112 0 0 25 0 1 0 967146930 166313984 31503 4294967295 134512640 135730672 3221224592 3221222976 134748661 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40604 31503 301 301 0 40303 0 vsize: 162416 [startup+150.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 54104 0 0 0 14889 113 0 0 25 0 1 0 967146930 166838272 31668 4294967295 134512640 135730672 3221224592 3221222816 134747808 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40732 31668 301 301 0 40431 0 vsize: 162928 [startup+160.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 54185 0 0 0 15888 113 0 0 25 0 1 0 967146930 167104512 31716 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40797 31716 301 301 0 40496 0 vsize: 163188 [startup+170.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 54215 0 0 0 16888 113 0 0 25 0 1 0 967146930 167104512 31746 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40797 31746 301 301 0 40496 0 vsize: 163188 [startup+180.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 54917 0 0 0 17887 115 0 0 25 0 1 0 967146930 167628800 31809 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40925 31809 301 301 0 40624 0 vsize: 163700 [startup+190.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 55112 0 0 0 18886 115 0 0 25 0 1 0 967146930 168292352 31939 4294967295 134512640 135730672 3221224592 3221222816 134747711 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41087 31939 301 301 0 40786 0 vsize: 164348 [startup+200.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 55141 0 0 0 19885 116 0 0 25 0 1 0 967146930 168292352 31968 4294967295 134512640 135730672 3221224592 3221222976 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41087 31968 301 301 0 40786 0 vsize: 164348 [startup+210.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 55674 0 0 0 20884 117 0 0 25 0 1 0 967146930 168292352 31993 4294967295 134512640 135730672 3221224592 3221222816 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41087 31993 301 301 0 40786 0 vsize: 164348 [startup+220.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 55702 0 0 0 21884 118 0 0 25 0 1 0 967146930 168292352 32021 4294967295 134512640 135730672 3221224592 3221222988 134748650 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41087 32021 301 301 0 40786 0 vsize: 164348 [startup+230.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 56322 0 0 0 22883 119 0 0 25 0 1 0 967146930 168554496 32068 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41151 32068 301 301 0 40850 0 vsize: 164604 [startup+240.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 56344 0 0 0 23883 119 0 0 25 0 1 0 967146930 168554496 32090 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41151 32090 301 301 0 40850 0 vsize: 164604 [startup+250.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 56364 0 0 0 24883 119 0 0 25 0 1 0 967146930 168554496 32110 4294967295 134512640 135730672 3221224592 3221222816 134747575 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41151 32110 301 301 0 40850 0 vsize: 164604 [startup+260.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 57015 0 0 0 25882 121 0 0 25 0 1 0 967146930 169218048 32220 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41313 32220 301 301 0 41012 0 vsize: 165252 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 57017 0 0 0 26882 121 0 0 25 0 1 0 967146930 169218048 32222 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41313 32222 301 301 0 41012 0 vsize: 165252 [startup+280.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 57019 0 0 0 27882 121 0 0 25 0 1 0 967146930 169218048 32224 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41313 32224 301 301 0 41012 0 vsize: 165252 [startup+290.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 57612 0 0 0 28881 123 0 0 25 0 1 0 967146930 169480192 32244 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41377 32244 301 301 0 41076 0 vsize: 165508 [startup+300.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 57614 0 0 0 29881 123 0 0 25 0 1 0 967146930 169480192 32246 4294967295 134512640 135730672 3221224592 3221223008 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41377 32246 301 301 0 41076 0 vsize: 165508 [startup+310.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 57615 0 0 0 30881 123 0 0 25 0 1 0 967146930 169480192 32247 4294967295 134512640 135730672 3221224592 3221222972 134748060 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41377 32247 301 301 0 41076 0 vsize: 165508 [startup+320.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 58124 0 0 0 31880 125 0 0 25 0 1 0 967146930 169480192 32248 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41377 32248 301 301 0 41076 0 vsize: 165508 [startup+330.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 58126 0 0 0 32880 125 0 0 25 0 1 0 967146930 169480192 32250 4294967295 134512640 135730672 3221224592 3221222864 134740310 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41377 32250 301 301 0 41076 0 vsize: 165508 [startup+340.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 58135 0 0 0 33880 125 0 0 25 0 1 0 967146930 169480192 32259 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41377 32259 301 301 0 41076 0 vsize: 165508 [startup+350.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 58644 0 0 0 34880 126 0 0 25 0 1 0 967146930 169480192 32260 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41377 32260 301 301 0 41076 0 vsize: 165508 [startup+360.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 58659 0 0 0 35880 126 0 0 25 0 1 0 967146930 169480192 32275 4294967295 134512640 135730672 3221224592 3221222816 134747634 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41377 32275 301 301 0 41076 0 vsize: 165508 [startup+370.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 58685 0 0 0 36880 127 0 0 25 0 1 0 967146930 169480192 32301 4294967295 134512640 135730672 3221224592 3221222816 134747608 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41377 32301 301 301 0 41076 0 vsize: 165508 [startup+380.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 59366 0 0 0 37879 128 0 0 25 0 1 0 967146930 170004480 32344 4294967295 134512640 135730672 3221224592 3221222816 134747757 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41505 32344 301 301 0 41204 0 vsize: 166020 [startup+390.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 59387 0 0 0 38879 128 0 0 25 0 1 0 967146930 170004480 32365 4294967295 134512640 135730672 3221224592 3221222816 134747757 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41505 32365 301 301 0 41204 0 vsize: 166020 [startup+400.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 59411 0 0 0 39880 128 0 0 25 0 1 0 967146930 170004480 32389 4294967295 134512640 135730672 3221224592 3221222816 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41505 32389 301 301 0 41204 0 vsize: 166020 [startup+410.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 59454 0 0 0 40879 128 0 0 25 0 1 0 967146930 170004480 32432 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41505 32432 301 301 0 41204 0 vsize: 166020 [startup+420.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 59966 0 0 0 41878 130 0 0 25 0 1 0 967146930 170004480 32436 4294967295 134512640 135730672 3221224592 3221222816 134747599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41505 32436 301 301 0 41204 0 vsize: 166020 [startup+430.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 59968 0 0 0 42878 130 0 0 25 0 1 0 967146930 170004480 32438 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41505 32438 301 301 0 41204 0 vsize: 166020 [startup+440.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 60021 0 0 0 43878 131 0 0 25 0 1 0 967146930 170135552 32458 4294967295 134512640 135730672 3221224592 3221222816 134747728 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41537 32458 301 301 0 41236 0 vsize: 166148 [startup+450.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 60530 0 0 0 44878 132 0 0 25 0 1 0 967146930 170135552 32459 4294967295 134512640 135730672 3221224592 3221222816 134747883 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41537 32459 301 301 0 41236 0 vsize: 166148 [startup+460.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 60541 0 0 0 45878 132 0 0 25 0 1 0 967146930 170135552 32470 4294967295 134512640 135730672 3221224592 3221222912 134763992 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41537 32470 301 301 0 41236 0 vsize: 166148 [startup+470.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 60542 0 0 0 46878 132 0 0 25 0 1 0 967146930 170135552 32471 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41537 32471 301 301 0 41236 0 vsize: 166148 [startup+480.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 61052 0 0 0 47877 133 0 0 25 0 1 0 967146930 170135552 32473 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41537 32473 301 301 0 41236 0 vsize: 166148 [startup+490.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 61062 0 0 0 48877 134 0 0 25 0 1 0 967146930 170135552 32483 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41537 32483 301 301 0 41236 0 vsize: 166148 [startup+500.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 61102 0 0 0 49877 134 0 0 25 0 1 0 967146930 170266624 32490 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41569 32490 301 301 0 41268 0 vsize: 166276 [startup+510.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 61612 0 0 0 50876 135 0 0 25 0 1 0 967146930 170266624 32492 4294967295 134512640 135730672 3221224592 3221222816 134747808 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41569 32492 301 301 0 41268 0 vsize: 166276 [startup+520.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 61613 0 0 0 51877 135 0 0 25 0 1 0 967146930 170266624 32493 4294967295 134512640 135730672 3221224592 3221222816 134747594 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41569 32493 301 301 0 41268 0 vsize: 166276 [startup+530.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 61615 0 0 0 52877 135 0 0 25 0 1 0 967146930 170266624 32495 4294967295 134512640 135730672 3221224592 3221222832 134745860 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41569 32495 301 301 0 41268 0 vsize: 166276 [startup+540.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 62124 0 0 0 53876 137 0 0 25 0 1 0 967146930 170266624 32496 4294967295 134512640 135730672 3221224592 3221222816 134747757 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41569 32496 301 301 0 41268 0 vsize: 166276 [startup+550.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 62127 0 0 0 54876 137 0 0 25 0 1 0 967146930 170266624 32499 4294967295 134512640 135730672 3221224592 3221222912 134764086 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41569 32499 301 301 0 41268 0 vsize: 166276 [startup+560.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 62145 0 0 0 55876 137 0 0 25 0 1 0 967146930 170266624 32517 4294967295 134512640 135730672 3221224592 3221222816 134747566 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41569 32517 301 301 0 41268 0 vsize: 166276 [startup+570.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 62659 0 0 0 56876 138 0 0 25 0 1 0 967146930 170266624 32523 4294967295 134512640 135730672 3221224592 3221222912 134747445 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41569 32523 301 301 0 41268 0 vsize: 166276 [startup+580.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 62661 0 0 0 57876 138 0 0 25 0 1 0 967146930 170266624 32525 4294967295 134512640 135730672 3221224592 3221222912 134763582 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41569 32525 301 301 0 41268 0 vsize: 166276 [startup+590.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 62662 0 0 0 58876 138 0 0 25 0 1 0 967146930 170266624 32526 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41569 32526 301 301 0 41268 0 vsize: 166276 [startup+600.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 63173 0 0 0 59875 139 0 0 25 0 1 0 967146930 170266624 32529 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41569 32529 301 301 0 41268 0 vsize: 166276 [startup+610.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 63175 0 0 0 60875 140 0 0 25 0 1 0 967146930 170266624 32531 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41569 32531 301 301 0 41268 0 vsize: 166276 [startup+620.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 63177 0 0 0 61876 140 0 0 25 0 1 0 967146930 170266624 32533 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41569 32533 301 301 0 41268 0 vsize: 166276 [startup+630.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 63686 0 0 0 62875 141 0 0 25 0 1 0 967146930 170266624 32534 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41569 32534 301 301 0 41268 0 vsize: 166276 [startup+640.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 63687 0 0 0 63875 141 0 0 25 0 1 0 967146930 170266624 32535 4294967295 134512640 135730672 3221224592 3221222816 134747599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41569 32535 301 301 0 41268 0 vsize: 166276 [startup+650.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 63726 0 0 0 64875 142 0 0 25 0 1 0 967146930 170266624 32574 4294967295 134512640 135730672 3221224592 3221222816 134747728 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41569 32574 301 301 0 41268 0 vsize: 166276 [startup+660.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 64251 0 0 0 65873 143 0 0 25 0 1 0 967146930 187043840 32591 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45665 32591 301 301 0 45364 0 vsize: 182660 [startup+670.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 64283 0 0 0 66874 143 0 0 25 0 1 0 967146930 187043840 32623 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45665 32623 301 301 0 45364 0 vsize: 182660 [startup+680.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 64300 0 0 0 67874 143 0 0 25 0 1 0 967146930 187043840 32640 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45665 32640 301 301 0 45364 0 vsize: 182660 [startup+690.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 64323 0 0 0 68874 144 0 0 25 0 1 0 967146930 187043840 32663 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45665 32663 301 301 0 45364 0 vsize: 182660 [startup+700.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 64848 0 0 0 69873 145 0 0 25 0 1 0 967146930 187043840 32680 4294967295 134512640 135730672 3221224592 3221222816 134747967 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45665 32680 301 301 0 45364 0 vsize: 182660 [startup+710.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 64873 0 0 0 70873 145 0 0 25 0 1 0 967146930 187043840 32705 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45665 32705 301 301 0 45364 0 vsize: 182660 [startup+720.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 65401 0 0 0 71872 146 0 0 25 0 1 0 967146930 187043840 32725 4294967295 134512640 135730672 3221224592 3221222860 135301642 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45665 32725 301 301 0 45364 0 vsize: 182660 [startup+730.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 65403 0 0 0 72873 146 0 0 25 0 1 0 967146930 187043840 32727 4294967295 134512640 135730672 3221224592 3221222816 134747575 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45665 32727 301 301 0 45364 0 vsize: 182660 [startup+740.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 65404 0 0 0 73873 146 0 0 25 0 1 0 967146930 187043840 32728 4294967295 134512640 135730672 3221224592 3221222816 134747892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45665 32728 301 301 0 45364 0 vsize: 182660 [startup+750.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 65405 0 0 0 74873 147 0 0 25 0 1 0 967146930 187043840 32729 4294967295 134512640 135730672 3221224592 3221222976 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45665 32729 301 301 0 45364 0 vsize: 182660 [startup+760.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 65914 0 0 0 75872 148 0 0 25 0 1 0 967146930 187043840 32730 4294967295 134512640 135730672 3221224592 3221223008 134748464 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45665 32730 301 301 0 45364 0 vsize: 182660 [startup+770.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 65915 0 0 0 76872 148 0 0 25 0 1 0 967146930 187043840 32731 4294967295 134512640 135730672 3221224592 3221222640 134732479 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45665 32731 301 301 0 45364 0 vsize: 182660 [startup+780.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 65917 0 0 0 77872 149 0 0 25 0 1 0 967146930 187043840 32733 4294967295 134512640 135730672 3221224592 3221222864 134740310 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45665 32733 301 301 0 45364 0 vsize: 182660 [startup+790.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 66426 0 0 0 78871 150 0 0 25 0 1 0 967146930 187043840 32734 4294967295 134512640 135730672 3221224592 3221222816 134747883 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45665 32734 301 301 0 45364 0 vsize: 182660 [startup+800.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 66427 0 0 0 79871 150 0 0 25 0 1 0 967146930 187043840 32735 4294967295 134512640 135730672 3221224592 3221222816 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45665 32735 301 301 0 45364 0 vsize: 182660 [startup+810.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 66473 0 0 0 80872 150 0 0 25 0 1 0 967146930 187174912 32748 4294967295 134512640 135730672 3221224592 3221222816 134747608 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45697 32748 301 301 0 45396 0 vsize: 182788 [startup+820.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 66475 0 0 0 81871 151 0 0 25 0 1 0 967146930 187174912 32750 4294967295 134512640 135730672 3221224592 3221222832 134745858 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45697 32750 301 301 0 45396 0 vsize: 182788 [startup+830.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 66984 0 0 0 82870 152 0 0 25 0 1 0 967146930 187174912 32751 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45697 32751 301 301 0 45396 0 vsize: 182788 [startup+840.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 66985 0 0 0 83870 152 0 0 25 0 1 0 967146930 187174912 32752 4294967295 134512640 135730672 3221224592 3221222976 134748656 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45697 32752 301 301 0 45396 0 vsize: 182788 [startup+850.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 66988 0 0 0 84871 152 0 0 25 0 1 0 967146930 187174912 32755 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45697 32755 301 301 0 45396 0 vsize: 182788 [startup+860.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 67512 0 0 0 85870 154 0 0 25 0 1 0 967146930 187174912 32771 4294967295 134512640 135730672 3221224592 3221222816 134747788 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45697 32771 301 301 0 45396 0 vsize: 182788 [startup+870.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 67528 0 0 0 86870 154 0 0 25 0 1 0 967146930 187174912 32787 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45697 32787 301 301 0 45396 0 vsize: 182788 [startup+880.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 67556 0 0 0 87870 155 0 0 25 0 1 0 967146930 187174912 32815 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45697 32815 301 301 0 45396 0 vsize: 182788 [startup+890.026 s] Raw data (loadavg): 0.99 0.97 0.91 3/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 68068 0 0 0 88869 156 0 0 25 0 1 0 967146930 187174912 32819 4294967295 134512640 135730672 3221224592 3221222976 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45697 32819 301 301 0 45396 0 vsize: 182788 [startup+900.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 68069 0 0 0 89870 156 0 0 25 0 1 0 967146930 187174912 32820 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45697 32820 301 301 0 45396 0 vsize: 182788 [startup+910.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 68070 0 0 0 90870 156 0 0 25 0 1 0 967146930 187174912 32821 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45697 32821 301 301 0 45396 0 vsize: 182788 [startup+920.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 68628 0 0 0 91869 157 0 0 25 0 1 0 967146930 187174912 32871 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45697 32871 301 301 0 45396 0 vsize: 182788 [startup+930.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 68679 0 0 0 92869 158 0 0 25 0 1 0 967146930 187305984 32889 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45729 32889 301 301 0 45428 0 vsize: 182916 [startup+940.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 68680 0 0 0 93869 158 0 0 25 0 1 0 967146930 187305984 32890 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45729 32890 301 301 0 45428 0 vsize: 182916 [startup+950.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 69189 0 0 0 94868 159 0 0 25 0 1 0 967146930 187305984 32891 4294967295 134512640 135730672 3221224592 3221222816 134747629 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45729 32891 301 301 0 45428 0 vsize: 182916 [startup+960.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 69191 0 0 0 95869 159 0 0 25 0 1 0 967146930 187305984 32893 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45729 32893 301 301 0 45428 0 vsize: 182916 [startup+970.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 69192 0 0 0 96869 159 0 0 25 0 1 0 967146930 187305984 32894 4294967295 134512640 135730672 3221224592 3221222816 134747590 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45729 32894 301 301 0 45428 0 vsize: 182916 [startup+980.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 69701 0 0 0 97868 161 0 0 25 0 1 0 967146930 187305984 32895 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45729 32895 301 301 0 45428 0 vsize: 182916 [startup+990.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 69748 0 0 0 98868 161 0 0 25 0 1 0 967146930 187437056 32909 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45761 32909 301 301 0 45460 0 vsize: 183044 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 69780 0 0 0 99868 161 0 0 25 0 1 0 967146930 187437056 32941 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45761 32941 301 301 0 45460 0 vsize: 183044 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 69781 0 0 0 100868 161 0 0 25 0 1 0 967146930 187437056 32942 4294967295 134512640 135730672 3221224592 3221222816 134747602 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45761 32942 301 301 0 45460 0 vsize: 183044 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 70290 0 0 0 101867 163 0 0 25 0 1 0 967146930 187437056 32943 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45761 32943 301 301 0 45460 0 vsize: 183044 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 70291 0 0 0 102867 163 0 0 25 0 1 0 967146930 187437056 32944 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45761 32944 301 301 0 45460 0 vsize: 183044 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 70293 0 0 0 103867 163 0 0 25 0 1 0 967146930 187437056 32946 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45761 32946 301 301 0 45460 0 vsize: 183044 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 70802 0 0 0 104866 165 0 0 25 0 1 0 967146930 187437056 32947 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45761 32947 301 301 0 45460 0 vsize: 183044 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 70803 0 0 0 105867 165 0 0 25 0 1 0 967146930 187437056 32948 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45761 32948 301 301 0 45460 0 vsize: 183044 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.91 3/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 70805 0 0 0 106867 165 0 0 25 0 1 0 967146930 187437056 32950 4294967295 134512640 135730672 3221224592 3221222816 134747657 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45761 32950 301 301 0 45460 0 vsize: 183044 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 70806 0 0 0 107867 165 0 0 25 0 1 0 967146930 187437056 32951 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45761 32951 301 301 0 45460 0 vsize: 183044 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 70808 0 0 0 108868 165 0 0 25 0 1 0 967146930 187437056 32953 4294967295 134512640 135730672 3221224592 3221222816 134747899 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45761 32953 301 301 0 45460 0 vsize: 183044 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.91 3/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 71317 0 0 0 109867 166 0 0 25 0 1 0 967146930 187437056 32954 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45761 32954 301 301 0 45460 0 vsize: 183044 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 71318 0 0 0 110867 166 0 0 25 0 1 0 967146930 187437056 32955 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45761 32955 301 301 0 45460 0 vsize: 183044 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 71320 0 0 0 111867 166 0 0 25 0 1 0 967146930 187437056 32957 4294967295 134512640 135730672 3221224592 3221222816 134747885 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45761 32957 301 301 0 45460 0 vsize: 183044 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 71321 0 0 0 112867 166 0 0 25 0 1 0 967146930 187437056 32958 4294967295 134512640 135730672 3221224592 3221222944 134748166 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45761 32958 301 301 0 45460 0 vsize: 183044 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 71830 0 0 0 113867 167 0 0 25 0 1 0 967146930 187437056 32959 4294967295 134512640 135730672 3221224592 3221222816 134747608 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45761 32959 301 301 0 45460 0 vsize: 183044 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 71832 0 0 0 114867 167 0 0 25 0 1 0 967146930 187437056 32961 4294967295 134512640 135730672 3221224592 3221222864 134740208 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45761 32961 301 301 0 45460 0 vsize: 183044 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 71833 0 0 0 115867 168 0 0 25 0 1 0 967146930 187437056 32962 4294967295 134512640 135730672 3221224592 3221222816 134747823 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45761 32962 301 301 0 45460 0 vsize: 183044 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 72342 0 0 0 116866 169 0 0 25 0 1 0 967146930 187437056 32963 4294967295 134512640 135730672 3221224592 3221222976 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45761 32963 301 301 0 45460 0 vsize: 183044 [startup+1180.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 72356 0 0 0 117866 169 0 0 25 0 1 0 967146930 187437056 32977 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45761 32977 301 301 0 45460 0 vsize: 183044 [startup+1190.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 72417 0 0 0 118867 169 0 0 25 0 1 0 967146930 187568128 33005 4294967295 134512640 135730672 3221224592 3221222976 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45793 33005 301 301 0 45492 0 vsize: 183172 [startup+1200.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13482 Raw data (stat): 13482 (pb2sat-v2) R 13481 25568 25567 0 -1 0 72926 0 0 0 119866 170 0 0 25 0 1 0 967146930 187568128 33006 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45793 33006 301 301 0 45492 0 vsize: 183172 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.27 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 13482 Raw data (stat): 13482 (pb2sat-v2) Z 13481 25568 25567 0 -1 12 72928 0 0 0 119982 177 0 0 25 0 1 0 967146930 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.27 CPU time (s): 1201.6 CPU user time (s): 1199.82 CPU system time (s): 1.77473 CPU usage (%): 100.028 Max. virtual memory (Kb): 183172 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 0 #### END VERIFIER DATA ####