Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb |
MD5SUM | 3acd642471b3f4559739eef7eb2e9b58 |
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.06 |
Number of variables | 760 |
Total number of constraints | 41095 |
Number of constraints which are clauses | 41095 |
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 wulflinc2 THE 2005-06-16 02:22:11 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25424 boxname=wulflinc2 idbench=326 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 3acd642471b3f4559739eef7eb2e9b58 /oldhome/oroussel/tmp/wulflinc2/normalized-frb40-19-3.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-frb40-19-3.opb IDLAUNCH: 25424 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 845244 kB Buffers: 34248 kB Cached: 129672 kB SwapCached: 4448 kB Active: 61996 kB Inactive: 107056 kB HighTotal: 131008 kB HighFree: 13300 kB LowTotal: 903652 kB LowFree: 831944 kB SwapTotal: 2097136 kB SwapFree: 2091696 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5052 kB Slab: 14836 kB Committed_AS: 71900 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 02:42:14 (client local time) WITH STATUS 10 IN 1201.44 SECONDS stats: 25424 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: 16855/259586 Time: 95.6865/86400 c Decision: 17592/259586 Time: 135.65/86400 c Decision: 18838/259586 Time: 198.164/86400 c Decision: 19332/259586 Time: 240.01/86400 c Decision: 19332/259586 Time: 268.698/86400 c Decision: 19332/259586 Time: 293.999/86400 c Decision: 19332/259586 Time: 321.385/86400 c Decision: 19332/259586 Time: 349.365/86400 c Decision: 24881/259586 Time: 418.662/86400 c Decision: 24881/259586 Time: 442.841/86400 c Decision: 24881/259586 Time: 468.968/86400 c Decision: 24881/259586 Time: 496.313/86400 c Decision: 24881/259586 Time: 525.033/86400 c Decision: 24881/259586 Time: 556.055/86400 c Decision: 24881/259586 Time: 582.346/86400 c Decision: 24881/259586 Time: 609.575/86400 c Decision: 24881/259586 Time: 637.807/86400 c Decision: 24881/259586 Time: 667.759/86400 c Decision: 24888/259586 Time: 711.256/86400 c Decision: 24888/259586 Time: 749.877/86400 c Decision: 33698/259586 Time: 799.659/86400 c Decision: 33698/259586 Time: 830.9/86400 c Decision: 33698/259586 Time: 860.44/86400 c Decision: 33708/259586 Time: 903.329/86400 c Decision: 33708/259586 Time: 933.041/86400 c Decision: 33708/259586 Time: 965.251/86400 c Decision: 45823/259586 Time: 1032.06/86400 c Decision: 45823/259586 Time: 1064.7/86400 c Decision: 57179/259586 Time: 1116.32/86400 c Decision: 57188/259586 Time: 1174.59/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.86 0.96 0.91 1/54 2683 Raw data (stat): 2683 (runsolver) R 2682 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 967130549 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0007 s] Raw data (loadavg): 0.88 0.96 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 24818 0 0 0 949 50 0 0 25 0 1 0 967130549 84824064 13978 4294967295 134512640 135730672 3221224592 3221068800 134788824 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 20709 13978 301 301 0 20408 0 vsize: 82836 [startup+20.0011 s] Raw data (loadavg): 0.90 0.96 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 42014 0 0 0 1910 88 0 0 25 0 1 0 967130549 127229952 24320 4294967295 134512640 135730672 3221224592 3221222816 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 31062 24320 301 301 0 30761 0 vsize: 124248 [startup+30.0014 s] Raw data (loadavg): 0.91 0.96 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 42233 0 0 0 2909 89 0 0 25 0 1 0 967130549 127877120 24441 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 31220 24441 301 301 0 30919 0 vsize: 124880 [startup+40.0015 s] Raw data (loadavg): 0.93 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 42245 0 0 0 3908 91 0 0 25 0 1 0 967130549 127877120 24453 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 31220 24453 301 301 0 30919 0 vsize: 124880 [startup+50.0025 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 42307 0 0 0 4906 92 0 0 25 0 1 0 967130549 128147456 24515 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 31286 24515 301 301 0 30985 0 vsize: 125144 [startup+60.0015 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 42553 0 0 0 5903 95 0 0 25 0 1 0 967130549 129015808 24695 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 31498 24695 301 301 0 31197 0 vsize: 125992 [startup+70.0027 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 42845 0 0 0 6901 98 0 0 25 0 1 0 967130549 130129920 24858 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 31770 24858 301 301 0 31469 0 vsize: 127080 [startup+80.0034 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 42861 0 0 0 7899 100 0 0 25 0 1 0 967130549 130326528 24874 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 31818 24874 301 301 0 31517 0 vsize: 127272 [startup+90.0036 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 44818 0 0 0 8893 107 0 0 25 0 1 0 967130549 138063872 26284 4294967295 134512640 135730672 3221224592 3221222912 134763582 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 33707 26284 301 301 0 33406 0 vsize: 134828 [startup+100.004 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 45335 0 0 0 9892 107 0 0 25 0 1 0 967130549 140357632 26669 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 34267 26669 301 301 0 33966 0 vsize: 137068 [startup+110.004 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 45994 0 0 0 10891 109 0 0 25 0 1 0 967130549 140619776 26755 4294967295 134512640 135730672 3221224592 3221222940 134783158 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 34331 26755 301 301 0 34030 0 vsize: 137324 [startup+120.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 47077 0 0 0 11888 111 0 0 25 0 1 0 967130549 144498688 27511 4294967295 134512640 135730672 3221224592 3221222816 134747616 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35278 27511 301 301 0 34977 0 vsize: 141112 [startup+130.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 48289 0 0 0 12885 115 0 0 25 0 1 0 967130549 148430848 28268 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36238 28268 301 301 0 35937 0 vsize: 144952 [startup+140.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 48669 0 0 0 13884 115 0 0 25 0 1 0 967130549 150425600 28632 4294967295 134512640 135730672 3221224592 3221222944 134748255 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36725 28632 301 301 0 36424 0 vsize: 146900 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 48745 0 0 0 14884 116 0 0 25 0 1 0 967130549 150556672 28675 4294967295 134512640 135730672 3221224592 3221222832 134746016 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36757 28675 301 301 0 36456 0 vsize: 147028 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 50641 0 0 0 15879 121 0 0 25 0 1 0 967130549 155267072 29474 4294967295 134512640 135730672 3221224592 3221222640 134732479 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 37907 29474 301 301 0 37606 0 vsize: 151628 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 51655 0 0 0 16876 123 0 0 25 0 1 0 967130549 159133696 30159 4294967295 134512640 135730672 3221224592 3221222944 134748143 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 38851 30159 301 301 0 38550 0 vsize: 155404 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 52215 0 0 0 17875 125 0 0 25 0 1 0 967130549 161402880 30522 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39405 30522 301 301 0 39104 0 vsize: 157620 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 52346 0 0 0 18874 125 0 0 25 0 1 0 967130549 161804288 30620 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39503 30620 301 301 0 39202 0 vsize: 158012 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 52372 0 0 0 19874 125 0 0 25 0 1 0 967130549 161804288 30646 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39503 30646 301 301 0 39202 0 vsize: 158012 [startup+210.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 52399 0 0 0 20874 126 0 0 25 0 1 0 967130549 161804288 30673 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39503 30673 301 301 0 39202 0 vsize: 158012 [startup+220.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 53556 0 0 0 21870 129 0 0 25 0 1 0 967130549 163921920 31126 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40020 31126 301 301 0 39719 0 vsize: 160080 [startup+230.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 54454 0 0 0 22869 131 0 0 25 0 1 0 967130549 167321600 31727 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40850 31727 301 301 0 40549 0 vsize: 163400 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 54593 0 0 0 23869 131 0 0 25 0 1 0 967130549 167714816 31768 4294967295 134512640 135730672 3221224592 3221222816 134747701 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40946 31768 301 301 0 40645 0 vsize: 163784 [startup+250.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 54615 0 0 0 24869 131 0 0 25 0 1 0 967130549 167714816 31790 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40946 31790 301 301 0 40645 0 vsize: 163784 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 55147 0 0 0 25868 133 0 0 25 0 1 0 967130549 167714816 31814 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40946 31814 301 301 0 40645 0 vsize: 163784 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 55176 0 0 0 26868 133 0 0 25 0 1 0 967130549 167714816 31843 4294967295 134512640 135730672 3221224592 3221222816 134747757 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40946 31843 301 301 0 40645 0 vsize: 163784 [startup+280.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 55203 0 0 0 27868 133 0 0 25 0 1 0 967130549 167714816 31870 4294967295 134512640 135730672 3221224592 3221222816 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40946 31870 301 301 0 40645 0 vsize: 163784 [startup+290.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 55743 0 0 0 28866 134 0 0 25 0 1 0 967130549 167714816 31902 4294967295 134512640 135730672 3221224592 3221222976 134748676 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40946 31902 301 301 0 40645 0 vsize: 163784 [startup+300.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 55771 0 0 0 29866 135 0 0 25 0 1 0 967130549 167714816 31930 4294967295 134512640 135730672 3221224592 3221222816 134747657 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40946 31930 301 301 0 40645 0 vsize: 163784 [startup+310.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 56302 0 0 0 30864 137 0 0 25 0 1 0 967130549 167714816 31953 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40946 31953 301 301 0 40645 0 vsize: 163784 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 56503 0 0 0 31863 138 0 0 25 0 1 0 967130549 168648704 32121 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41174 32121 301 301 0 40873 0 vsize: 164696 [startup+330.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 56505 0 0 0 32863 138 0 0 25 0 1 0 967130549 168648704 32123 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41174 32123 301 301 0 40873 0 vsize: 164696 [startup+340.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 57026 0 0 0 33862 139 0 0 25 0 1 0 967130549 168648704 32136 4294967295 134512640 135730672 3221224592 3221223008 134748420 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41174 32136 301 301 0 40873 0 vsize: 164696 [startup+350.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 57034 0 0 0 34862 139 0 0 25 0 1 0 967130549 168648704 32144 4294967295 134512640 135730672 3221224592 3221222816 134747967 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41174 32144 301 301 0 40873 0 vsize: 164696 [startup+360.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 57035 0 0 0 35862 139 0 0 25 0 1 0 967130549 168648704 32145 4294967295 134512640 135730672 3221224592 3221222976 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41174 32145 301 301 0 40873 0 vsize: 164696 [startup+370.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 57545 0 0 0 36861 141 0 0 25 0 1 0 967130549 168648704 32147 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41174 32147 301 301 0 40873 0 vsize: 164696 [startup+380.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 57722 0 0 0 37861 141 0 0 25 0 1 0 967130549 169172992 32194 4294967295 134512640 135730672 3221224592 3221222816 134747602 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41302 32194 301 301 0 41001 0 vsize: 165208 [startup+390.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 57724 0 0 0 38861 141 0 0 25 0 1 0 967130549 169172992 32196 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41302 32196 301 301 0 41001 0 vsize: 165208 [startup+400.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 57725 0 0 0 39860 141 0 0 25 0 1 0 967130549 169172992 32197 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41302 32197 301 301 0 41001 0 vsize: 165208 [startup+410.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 57741 0 0 0 40860 142 0 0 25 0 1 0 967130549 169172992 32213 4294967295 134512640 135730672 3221224592 3221222816 134747932 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41302 32213 301 301 0 41001 0 vsize: 165208 [startup+420.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 57767 0 0 0 41860 142 0 0 25 0 1 0 967130549 169172992 32239 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41302 32239 301 301 0 41001 0 vsize: 165208 [startup+430.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 57789 0 0 0 42860 142 0 0 25 0 1 0 967130549 169172992 32261 4294967295 134512640 135730672 3221224592 3221222816 134747730 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41302 32261 301 301 0 41001 0 vsize: 165208 [startup+440.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 58316 0 0 0 43859 143 0 0 25 0 1 0 967130549 169172992 32280 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41302 32280 301 301 0 41001 0 vsize: 165208 [startup+450.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 58403 0 0 0 44858 144 0 0 25 0 1 0 967130549 169435136 32302 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41366 32302 301 301 0 41065 0 vsize: 165464 [startup+460.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 58932 0 0 0 45857 145 0 0 25 0 1 0 967130549 169435136 32323 4294967295 134512640 135730672 3221224592 3221222816 134747845 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41366 32323 301 301 0 41065 0 vsize: 165464 [startup+470.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 58959 0 0 0 46857 146 0 0 25 0 1 0 967130549 186212352 32350 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45462 32350 301 301 0 45161 0 vsize: 181848 [startup+480.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 58983 0 0 0 47857 146 0 0 25 0 1 0 967130549 186212352 32374 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45462 32374 301 301 0 45161 0 vsize: 181848 [startup+490.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 59596 0 0 0 48856 148 0 0 25 0 1 0 967130549 186613760 32446 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45560 32446 301 301 0 45259 0 vsize: 182240 [startup+500.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 59795 0 0 0 49856 148 0 0 25 0 1 0 967130549 187543552 32579 4294967295 134512640 135730672 3221224592 3221222816 134747808 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45787 32579 301 301 0 45486 0 vsize: 183148 [startup+510.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 59797 0 0 0 50856 148 0 0 25 0 1 0 967130549 187543552 32581 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45787 32581 301 301 0 45486 0 vsize: 183148 [startup+520.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 60307 0 0 0 51854 150 0 0 25 0 1 0 967130549 187543552 32583 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45787 32583 301 301 0 45486 0 vsize: 183148 [startup+530.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 60308 0 0 0 52854 150 0 0 25 0 1 0 967130549 187543552 32584 4294967295 134512640 135730672 3221224592 3221222912 134764086 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45787 32584 301 301 0 45486 0 vsize: 183148 [startup+540.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 60818 0 0 0 53854 151 0 0 25 0 1 0 967130549 187543552 32586 4294967295 134512640 135730672 3221224592 3221222944 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45787 32586 301 301 0 45486 0 vsize: 183148 [startup+550.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 60819 0 0 0 54853 151 0 0 25 0 1 0 967130549 187543552 32587 4294967295 134512640 135730672 3221224592 3221222816 134747549 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45787 32587 301 301 0 45486 0 vsize: 183148 [startup+560.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 60820 0 0 0 55854 151 0 0 25 0 1 0 967130549 187543552 32588 4294967295 134512640 135730672 3221224592 3221222816 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45787 32588 301 301 0 45486 0 vsize: 183148 [startup+570.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 60822 0 0 0 56854 151 0 0 25 0 1 0 967130549 187543552 32590 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45787 32590 301 301 0 45486 0 vsize: 183148 [startup+580.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 61334 0 0 0 57853 152 0 0 25 0 1 0 967130549 187543552 32594 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45787 32594 301 301 0 45486 0 vsize: 183148 [startup+590.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 61336 0 0 0 58853 153 0 0 25 0 1 0 967130549 187543552 32596 4294967295 134512640 135730672 3221224592 3221222636 134813650 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45787 32596 301 301 0 45486 0 vsize: 183148 [startup+600.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 61845 0 0 0 59852 154 0 0 25 0 1 0 967130549 187543552 32597 4294967295 134512640 135730672 3221224592 3221222912 134747445 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45787 32597 301 301 0 45486 0 vsize: 183148 [startup+610.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 61847 0 0 0 60851 154 0 0 25 0 1 0 967130549 187543552 32599 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45787 32599 301 301 0 45486 0 vsize: 183148 [startup+620.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 61849 0 0 0 61851 154 0 0 25 0 1 0 967130549 187543552 32601 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45787 32601 301 301 0 45486 0 vsize: 183148 [startup+630.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 62548 0 0 0 62849 157 0 0 25 0 1 0 967130549 188067840 32662 4294967295 134512640 135730672 3221224592 3221222640 134732524 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45915 32662 301 301 0 45614 0 vsize: 183660 [startup+640.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 62550 0 0 0 63849 157 0 0 25 0 1 0 967130549 188067840 32664 4294967295 134512640 135730672 3221224592 3221222976 134734829 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45915 32664 301 301 0 45614 0 vsize: 183660 [startup+650.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 62552 0 0 0 64849 157 0 0 25 0 1 0 967130549 188067840 32666 4294967295 134512640 135730672 3221224592 3221222924 134747440 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45915 32666 301 301 0 45614 0 vsize: 183660 [startup+660.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 63064 0 0 0 65848 159 0 0 25 0 1 0 967130549 188067840 32670 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45915 32670 301 301 0 45614 0 vsize: 183660 [startup+670.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 63066 0 0 0 66848 159 0 0 25 0 1 0 967130549 188067840 32672 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45915 32672 301 301 0 45614 0 vsize: 183660 [startup+680.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 63170 0 0 0 67848 159 0 0 25 0 1 0 967130549 188465152 32743 4294967295 134512640 135730672 3221224592 3221222640 134732493 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46012 32743 301 301 0 45711 0 vsize: 184048 [startup+690.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 63752 0 0 0 68846 161 0 0 25 0 1 0 967130549 188735488 32817 4294967295 134512640 135730672 3221224592 3221222816 134747960 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46078 32817 301 301 0 45777 0 vsize: 184312 [startup+700.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 64552 0 0 0 69844 163 0 0 25 0 1 0 967130549 191381504 33224 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46724 33224 301 301 0 46423 0 vsize: 186896 [startup+710.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 64554 0 0 0 70844 163 0 0 25 0 1 0 967130549 191381504 33226 4294967295 134512640 135730672 3221224592 3221222816 134747644 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46724 33226 301 301 0 46423 0 vsize: 186896 [startup+720.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 64556 0 0 0 71844 163 0 0 25 0 1 0 967130549 191381504 33228 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46724 33228 301 301 0 46423 0 vsize: 186896 [startup+730.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 65086 0 0 0 72843 165 0 0 25 0 1 0 967130549 191381504 33250 4294967295 134512640 135730672 3221224592 3221222816 134747563 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46724 33250 301 301 0 46423 0 vsize: 186896 [startup+740.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 65462 0 0 0 73842 166 0 0 25 0 1 0 967130549 192704512 33463 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47047 33463 301 301 0 46746 0 vsize: 188188 [startup+750.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 65620 0 0 0 74842 166 0 0 25 0 1 0 967130549 193232896 33556 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47176 33556 301 301 0 46875 0 vsize: 188704 [startup+760.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 65637 0 0 0 75841 167 0 0 25 0 1 0 967130549 193232896 33573 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47176 33573 301 301 0 46875 0 vsize: 188704 [startup+770.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 66505 0 0 0 76839 169 0 0 25 0 1 0 967130549 194150400 33704 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47400 33704 301 301 0 47099 0 vsize: 189600 [startup+780.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 66970 0 0 0 77838 170 0 0 25 0 1 0 967130549 196001792 33974 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47852 33974 301 301 0 47551 0 vsize: 191408 [startup+790.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 67262 0 0 0 78838 171 0 0 25 0 1 0 967130549 197058560 34135 4294967295 134512640 135730672 3221224592 3221222976 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48110 34135 301 301 0 47809 0 vsize: 192440 [startup+800.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 67276 0 0 0 79838 171 0 0 25 0 1 0 967130549 197058560 34149 4294967295 134512640 135730672 3221224592 3221222816 134747624 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48110 34149 301 301 0 47809 0 vsize: 192440 [startup+810.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 67306 0 0 0 80838 171 0 0 25 0 1 0 967130549 197058560 34179 4294967295 134512640 135730672 3221224592 3221222912 134764020 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48110 34179 301 301 0 47809 0 vsize: 192440 [startup+820.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 67821 0 0 0 81837 172 0 0 25 0 1 0 967130549 197058560 34186 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48110 34186 301 301 0 47809 0 vsize: 192440 [startup+830.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 67826 0 0 0 82837 173 0 0 25 0 1 0 967130549 196923392 34158 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48077 34158 301 301 0 47776 0 vsize: 192308 [startup+840.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 67828 0 0 0 83837 173 0 0 25 0 1 0 967130549 196923392 34160 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48077 34160 301 301 0 47776 0 vsize: 192308 [startup+850.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 68357 0 0 0 84835 175 0 0 25 0 1 0 967130549 196923392 34181 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48077 34181 301 301 0 47776 0 vsize: 192308 [startup+860.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 68358 0 0 0 85835 175 0 0 25 0 1 0 967130549 196923392 34182 4294967295 134512640 135730672 3221224592 3221222976 134734769 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48077 34182 301 301 0 47776 0 vsize: 192308 [startup+870.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 68360 0 0 0 86835 175 0 0 25 0 1 0 967130549 196923392 34184 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48077 34184 301 301 0 47776 0 vsize: 192308 [startup+880.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 68910 0 0 0 87834 177 0 0 25 0 1 0 967130549 197054464 34193 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48109 34193 301 301 0 47808 0 vsize: 192436 [startup+890.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 68911 0 0 0 88833 177 0 0 25 0 1 0 967130549 197054464 34194 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48109 34194 301 301 0 47808 0 vsize: 192436 [startup+900.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 68913 0 0 0 89833 178 0 0 25 0 1 0 967130549 197054464 34196 4294967295 134512640 135730672 3221224592 3221222944 134748264 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48109 34196 301 301 0 47808 0 vsize: 192436 [startup+910.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 68914 0 0 0 90833 178 0 0 25 0 1 0 967130549 197054464 34197 4294967295 134512640 135730672 3221224592 3221222976 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48109 34197 301 301 0 47808 0 vsize: 192436 [startup+920.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 69431 0 0 0 91832 179 0 0 25 0 1 0 967130549 197054464 34206 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48109 34206 301 301 0 47808 0 vsize: 192436 [startup+930.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 69433 0 0 0 92832 179 0 0 25 0 1 0 967130549 197054464 34208 4294967295 134512640 135730672 3221224592 3221222640 134732500 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48109 34208 301 301 0 47808 0 vsize: 192436 [startup+940.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 69451 0 0 0 93833 179 0 0 25 0 1 0 967130549 197054464 34226 4294967295 134512640 135730672 3221224592 3221222816 134747602 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48109 34226 301 301 0 47808 0 vsize: 192436 [startup+950.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 69978 0 0 0 94831 181 0 0 25 0 1 0 967130549 197054464 34245 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48109 34245 301 301 0 47808 0 vsize: 192436 [startup+960.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 70000 0 0 0 95831 181 0 0 25 0 1 0 967130549 197054464 34267 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48109 34267 301 301 0 47808 0 vsize: 192436 [startup+970.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 70028 0 0 0 96831 181 0 0 25 0 1 0 967130549 197054464 34295 4294967295 134512640 135730672 3221224592 3221222912 134763611 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48109 34295 301 301 0 47808 0 vsize: 192436 [startup+980.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 70556 0 0 0 97831 182 0 0 25 0 1 0 967130549 197054464 34315 4294967295 134512640 135730672 3221224592 3221222944 134783315 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48109 34315 301 301 0 47808 0 vsize: 192436 [startup+990.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 70557 0 0 0 98831 182 0 0 25 0 1 0 967130549 197054464 34316 4294967295 134512640 135730672 3221224592 3221222976 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48109 34316 301 301 0 47808 0 vsize: 192436 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 70567 0 0 0 99831 182 0 0 25 0 1 0 967130549 197054464 34326 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48109 34326 301 301 0 47808 0 vsize: 192436 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 70930 0 0 0 100830 183 0 0 25 0 1 0 967130549 197971968 34461 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48333 34461 301 301 0 48032 0 vsize: 193332 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 71102 0 0 0 101830 183 0 0 25 0 1 0 967130549 198500352 34568 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48462 34568 301 301 0 48161 0 vsize: 193848 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 71182 0 0 0 102830 184 0 0 25 0 1 0 967130549 198762496 34583 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48526 34583 301 301 0 48225 0 vsize: 194104 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 71184 0 0 0 103830 184 0 0 25 0 1 0 967130549 198762496 34585 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48526 34585 301 301 0 48225 0 vsize: 194104 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 71693 0 0 0 104829 185 0 0 25 0 1 0 967130549 198762496 34586 4294967295 134512640 135730672 3221224592 3221222816 134747573 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48526 34586 301 301 0 48225 0 vsize: 194104 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 71695 0 0 0 105829 185 0 0 25 0 1 0 967130549 198762496 34588 4294967295 134512640 135730672 3221224592 3221222912 134747445 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48526 34588 301 301 0 48225 0 vsize: 194104 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 71696 0 0 0 106829 185 0 0 25 0 1 0 967130549 198762496 34589 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48526 34589 301 301 0 48225 0 vsize: 194104 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 72207 0 0 0 107828 187 0 0 25 0 1 0 967130549 198762496 34592 4294967295 134512640 135730672 3221224592 3221222816 134747770 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48526 34592 301 301 0 48225 0 vsize: 194104 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 72527 0 0 0 108827 187 0 0 25 0 1 0 967130549 199753728 34782 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48768 34782 301 301 0 48467 0 vsize: 195072 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 72543 0 0 0 109827 188 0 0 25 0 1 0 967130549 199753728 34798 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48768 34798 301 301 0 48467 0 vsize: 195072 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 72555 0 0 0 110827 188 0 0 25 0 1 0 967130549 199753728 34810 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48768 34810 301 301 0 48467 0 vsize: 195072 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 72556 0 0 0 111827 188 0 0 25 0 1 0 967130549 199753728 34811 4294967295 134512640 135730672 3221224592 3221222912 134747445 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48768 34811 301 301 0 48467 0 vsize: 195072 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 72558 0 0 0 112827 188 0 0 25 0 1 0 967130549 199753728 34813 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48768 34813 301 301 0 48467 0 vsize: 195072 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 73174 0 0 0 113826 190 0 0 25 0 1 0 967130549 200015872 34856 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48832 34856 301 301 0 48531 0 vsize: 195328 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 73176 0 0 0 114826 190 0 0 25 0 1 0 967130549 200015872 34858 4294967295 134512640 135730672 3221224592 3221222816 134747892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48832 34858 301 301 0 48531 0 vsize: 195328 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 73178 0 0 0 115826 190 0 0 25 0 1 0 967130549 200015872 34860 4294967295 134512640 135730672 3221224592 3221222652 134739224 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48832 34860 301 301 0 48531 0 vsize: 195328 [startup+1170.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 73179 0 0 0 116826 190 0 0 25 0 1 0 967130549 200015872 34861 4294967295 134512640 135730672 3221224592 3221222816 134747636 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48832 34861 301 301 0 48531 0 vsize: 195328 [startup+1180.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 73181 0 0 0 117826 190 0 0 25 0 1 0 967130549 200015872 34863 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48832 34863 301 301 0 48531 0 vsize: 195328 [startup+1190.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 73700 0 0 0 118825 191 0 0 25 0 1 0 967130549 200015872 34874 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48832 34874 301 301 0 48531 0 vsize: 195328 [startup+1200.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2683 Raw data (stat): 2683 (pb2sat-v2) R 2682 31399 31398 0 -1 0 73749 0 0 0 119825 191 0 0 25 0 1 0 967130549 200151040 34923 4294967295 134512640 135730672 3221224592 3221222976 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48865 34923 301 301 0 48564 0 vsize: 195460 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.29 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 2683 Raw data (stat): 2683 (pb2sat-v2) Z 2682 31399 31398 0 -1 12 73751 0 0 0 119944 198 0 0 25 0 1 0 967130549 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 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.28 CPU time (s): 1201.44 CPU user time (s): 1199.45 CPU system time (s): 1.9897 CPU usage (%): 100.013 Max. virtual memory (Kb): 195460 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 0 #### END VERIFIER DATA ####