Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb |
MD5SUM | 25130921f4384cc034832ca1cd52ec48 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 450 |
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 | 450 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 450 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.05584 |
Number of variables | 450 |
Total number of constraints | 17874 |
Number of constraints which are clauses | 17874 |
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 wulflinc5 THE 2005-06-16 01:42:40 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25413 boxname=wulflinc5 idbench=315 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 25130921f4384cc034832ca1cd52ec48 /oldhome/oroussel/tmp/wulflinc5/normalized-frb30-15-2.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-frb30-15-2.opb IDLAUNCH: 25413 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 812680 kB Buffers: 34292 kB Cached: 164928 kB SwapCached: 700 kB Active: 73168 kB Inactive: 128176 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 812428 kB SwapTotal: 2097136 kB SwapFree: 2095508 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5156 kB Slab: 15000 kB Committed_AS: 63712 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 02:02:43 (client local time) WITH STATUS 10 IN 1200.71 SECONDS stats: 25413 0 1200.71 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: 450 c small objective detected c Decision: 33884/102388 Time: 17.8333/86400 c Decision: 34119/102388 Time: 41.8936/86400 c Decision: 34119/102388 Time: 61.3487/86400 c Decision: 34377/102388 Time: 102.785/86400 c Decision: 35073/102388 Time: 139.863/86400 c [startup+398.196 s] setting bit 8 to 0 c Decision: 12257/102388 Time: 73.2459/86400 c Decision: 12761/102388 Time: 89.3664/86400 c Decision: 12761/102388 Time: 102.818/86400 c Decision: 12761/102388 Time: 115.649/86400 c Decision: 12761/102388 Time: 128.515/86400 c Decision: 12761/102388 Time: 142.966/86400 c Decision: 12761/102388 Time: 155.667/86400 c Decision: 12761/102388 Time: 171.449/86400 c Decision: 12761/102388 Time: 185.916/86400 c Decision: 14250/102388 Time: 200.503/86400 c Decision: 15387/102388 Time: 225.405/86400 c Decision: 15387/102388 Time: 239.461/86400 c Decision: 17950/102388 Time: 257.991/86400 c Decision: 17993/102388 Time: 272.201/86400 c Decision: 17993/102388 Time: 284.475/86400 c Decision: 18046/102388 Time: 307.082/86400 c Decision: 18046/102388 Time: 321.589/86400 c Decision: 18046/102388 Time: 336.556/86400 c Decision: 18046/102388 Time: 352.756/86400 c Decision: 18046/102388 Time: 369.227/86400 c Decision: 20147/102388 Time: 397.994/86400 c Decision: 20345/102388 Time: 431.678/86400 c [startup+866.831 s] setting bit 7 to 0 c Decision: 25933/102388 Time: 71.8831/86400 c Decision: 25933/102388 Time: 84.3682/86400 c Decision: 25933/102388 Time: 93.3128/86400 c Decision: 25935/102388 Time: 109.609/86400 c Decision: 25935/102388 Time: 121.086/86400 c Decision: 26109/102388 Time: 138.666/86400 c Decision: 26109/102388 Time: 150.422/86400 c Decision: 26207/102388 Time: 173.914/86400 c Decision: 26207/102388 Time: 185.405/86400 c Decision: 26207/102388 Time: 198.78/86400 c Decision: 26207/102388 Time: 214.415/86400 c [startup+1137.84 s] setting bit 6 to 0 c Decision: 24456/102388 Time: 59.484/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 -C46 -C47 -C48 -C49 -C5 -C50 -C51 -C52 -C53 -C54 -C55 -C56 -C57 -C58 -C59 -C6 -C60 -C61 -C62 -C63 -C64 -C65 -C66 -C67 -C68 -C69 -C7 -C70 -C71 -C72 -C73 -C74 -C75 -C76 -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.87 0.90 0.89 2/54 7334 Raw data (stat): 7334 (runsolver) R 7333 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966889583 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 0 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.89 0.91 0.89 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 16031 0 0 0 962 36 0 0 25 0 1 0 966889583 50880512 10347 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12422 10347 301 301 0 12121 0 vsize: 49688 [startup+20.0025 s] Raw data (loadavg): 0.91 0.91 0.89 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 16674 0 0 0 1961 38 0 0 25 0 1 0 966889583 53796864 10825 4294967295 134512640 135730672 3221224592 3221222924 135301630 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13134 10833 301 301 0 12833 0 vsize: 52536 [startup+30.0027 s] Raw data (loadavg): 1.16 0.96 0.91 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 17676 0 0 0 2958 41 0 0 25 0 1 0 966889583 56700928 11330 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13843 11330 301 301 0 13542 0 vsize: 55372 [startup+40.0028 s] Raw data (loadavg): 1.21 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 17748 0 0 0 3958 41 0 0 25 0 1 0 966889583 56967168 11402 4294967295 134512640 135730672 3221224592 3221222880 134747644 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13908 11402 301 301 0 13607 0 vsize: 55632 [startup+50.0037 s] Raw data (loadavg): 1.18 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 17967 0 0 0 4957 42 0 0 25 0 1 0 966889583 56967168 11421 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13908 11421 301 301 0 13607 0 vsize: 55632 [startup+60.0039 s] Raw data (loadavg): 1.15 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 17986 0 0 0 5956 43 0 0 25 0 1 0 966889583 56967168 11440 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13908 11440 301 301 0 13607 0 vsize: 55632 [startup+70.005 s] Raw data (loadavg): 1.12 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18241 0 0 0 6956 43 0 0 25 0 1 0 966889583 57098240 11462 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13940 11462 301 301 0 13639 0 vsize: 55760 [startup+80.006 s] Raw data (loadavg): 1.10 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18256 0 0 0 7956 43 0 0 25 0 1 0 966889583 57098240 11477 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13940 11477 301 301 0 13639 0 vsize: 55760 [startup+90.0051 s] Raw data (loadavg): 1.09 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18372 0 0 0 8955 44 0 0 25 0 1 0 966889583 57360384 11528 4294967295 134512640 135730672 3221224592 3221222704 134732813 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14004 11528 301 301 0 13703 0 vsize: 56016 [startup+100.005 s] Raw data (loadavg): 1.07 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18390 0 0 0 9955 44 0 0 25 0 1 0 966889583 57360384 11546 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14004 11546 301 301 0 13703 0 vsize: 56016 [startup+110.006 s] Raw data (loadavg): 1.06 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18607 0 0 0 10954 45 0 0 25 0 1 0 966889583 57360384 11563 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14004 11563 301 301 0 13703 0 vsize: 56016 [startup+120.006 s] Raw data (loadavg): 1.05 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18623 0 0 0 11954 46 0 0 25 0 1 0 966889583 57360384 11579 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14004 11579 301 301 0 13703 0 vsize: 56016 [startup+130.006 s] Raw data (loadavg): 1.04 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18646 0 0 0 12953 46 0 0 25 0 1 0 966889583 57360384 11602 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14004 11602 301 301 0 13703 0 vsize: 56016 [startup+140.007 s] Raw data (loadavg): 1.04 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18663 0 0 0 13953 47 0 0 25 0 1 0 966889583 57360384 11619 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14004 11619 301 301 0 13703 0 vsize: 56016 [startup+150.007 s] Raw data (loadavg): 1.03 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18878 0 0 0 14951 49 0 0 25 0 1 0 966889583 57360384 11634 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 14004 11634 301 301 0 13703 0 vsize: 56016 [startup+160.007 s] Raw data (loadavg): 1.03 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18896 0 0 0 15951 49 0 0 25 0 1 0 966889583 57360384 11652 4294967295 134512640 135730672 3221224592 3221222976 134763582 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14004 11652 301 301 0 13703 0 vsize: 56016 [startup+170.008 s] Raw data (loadavg): 1.02 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18912 0 0 0 16950 50 0 0 25 0 1 0 966889583 57360384 11668 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14004 11668 301 301 0 13703 0 vsize: 56016 [startup+180.008 s] Raw data (loadavg): 1.02 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18929 0 0 0 17950 50 0 0 25 0 1 0 966889583 57360384 11685 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14004 11685 301 301 0 13703 0 vsize: 56016 [startup+190.008 s] Raw data (loadavg): 1.01 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18950 0 0 0 18950 50 0 0 25 0 1 0 966889583 57360384 11706 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14004 11706 301 301 0 13703 0 vsize: 56016 [startup+200.009 s] Raw data (loadavg): 1.01 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18989 0 0 0 19950 51 0 0 25 0 1 0 966889583 57556992 11745 4294967295 134512640 135730672 3221224592 3221222880 134747967 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14052 11745 301 301 0 13751 0 vsize: 56208 [startup+210.009 s] Raw data (loadavg): 1.01 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19005 0 0 0 20950 51 0 0 25 0 1 0 966889583 57556992 11761 4294967295 134512640 135730672 3221224592 3221222864 134732751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14052 11761 301 301 0 13751 0 vsize: 56208 [startup+220.009 s] Raw data (loadavg): 1.01 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19025 0 0 0 21950 51 0 0 25 0 1 0 966889583 57556992 11781 4294967295 134512640 135730672 3221224592 3221222880 134747602 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14052 11781 301 301 0 13751 0 vsize: 56208 [startup+230.01 s] Raw data (loadavg): 1.01 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19045 0 0 0 22950 51 0 0 25 0 1 0 966889583 57556992 11801 4294967295 134512640 135730672 3221224592 3221223008 134748094 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14052 11801 301 301 0 13751 0 vsize: 56208 [startup+240.009 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19075 0 0 0 23950 51 0 0 25 0 1 0 966889583 57556992 11831 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14052 11831 301 301 0 13751 0 vsize: 56208 [startup+250.009 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19101 0 0 0 24950 51 0 0 25 0 1 0 966889583 57556992 11857 4294967295 134512640 135730672 3221224592 3221223020 134748066 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14052 11857 301 301 0 13751 0 vsize: 56208 [startup+260.009 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19132 0 0 0 25950 52 0 0 25 0 1 0 966889583 57556992 11888 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14052 11888 301 301 0 13751 0 vsize: 56208 [startup+270.01 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19175 0 0 0 26950 52 0 0 25 0 1 0 966889583 57696256 11931 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14086 11931 301 301 0 13785 0 vsize: 56344 [startup+280.01 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19202 0 0 0 27950 52 0 0 25 0 1 0 966889583 57696256 11958 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14086 11958 301 301 0 13785 0 vsize: 56344 [startup+290.01 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19230 0 0 0 28950 52 0 0 25 0 1 0 966889583 57696256 11986 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14086 11986 301 301 0 13785 0 vsize: 56344 [startup+300.01 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19611 0 0 0 29949 54 0 0 25 0 1 0 966889583 59564032 12367 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14542 12367 301 301 0 14241 0 vsize: 58168 [startup+310.01 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19764 0 0 0 30949 54 0 0 25 0 1 0 966889583 60166144 12520 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14689 12520 301 301 0 14388 0 vsize: 58756 [startup+320.012 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19786 0 0 0 31949 54 0 0 25 0 1 0 966889583 60166144 12542 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14689 12542 301 301 0 14388 0 vsize: 58756 [startup+330.012 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19804 0 0 0 32949 55 0 0 25 0 1 0 966889583 60166144 12560 4294967295 134512640 135730672 3221224592 3221222880 134747613 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14689 12560 301 301 0 14388 0 vsize: 58756 [startup+340.012 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19823 0 0 0 33949 55 0 0 25 0 1 0 966889583 60166144 12579 4294967295 134512640 135730672 3221224592 3221222880 134747627 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14689 12579 301 301 0 14388 0 vsize: 58756 [startup+350.012 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19842 0 0 0 34948 55 0 0 25 0 1 0 966889583 60166144 12598 4294967295 134512640 135730672 3221224592 3221222928 134740282 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14689 12598 301 301 0 14388 0 vsize: 58756 [startup+360.013 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19862 0 0 0 35949 55 0 0 25 0 1 0 966889583 60166144 12618 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14689 12618 301 301 0 14388 0 vsize: 58756 [startup+370.014 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19881 0 0 0 36948 56 0 0 25 0 1 0 966889583 60166144 12637 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14689 12637 301 301 0 14388 0 vsize: 58756 [startup+380.014 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19906 0 0 0 37948 56 0 0 25 0 1 0 966889583 60166144 12662 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14689 12662 301 301 0 14388 0 vsize: 58756 [startup+390.014 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 20002 0 0 0 38948 57 0 0 25 0 1 0 966889583 68816896 12693 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16801 12693 301 301 0 16500 0 vsize: 67204 [startup+400.014 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 20254 0 0 0 39947 58 0 0 25 0 1 0 966889583 68952064 12745 4294967295 134512640 135730672 3221224592 3221222880 134747965 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16834 12745 301 301 0 16533 0 vsize: 67336 [startup+410.014 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 20304 0 0 0 40946 59 0 0 25 0 1 0 966889583 68952064 12795 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16834 12795 301 301 0 16533 0 vsize: 67336 [startup+420.014 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 20359 0 0 0 41945 59 0 0 25 0 1 0 966889583 68952064 12850 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16834 12850 301 301 0 16533 0 vsize: 67336 [startup+430.015 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 20438 0 0 0 42945 59 0 0 25 0 1 0 966889583 69103616 12929 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16871 12929 301 301 0 16570 0 vsize: 67484 [startup+440.015 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 20488 0 0 0 43945 60 0 0 25 0 1 0 966889583 69103616 12979 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16871 12979 301 301 0 16570 0 vsize: 67484 [startup+450.015 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 20517 0 0 0 44945 60 0 0 25 0 1 0 966889583 69103616 13008 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16871 13008 301 301 0 16570 0 vsize: 67484 [startup+460.015 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 20733 0 0 0 45944 61 0 0 25 0 1 0 966889583 69988352 13224 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17087 13224 301 301 0 16786 0 vsize: 68348 [startup+470.016 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 20826 0 0 0 46944 61 0 0 25 0 1 0 966889583 70119424 13284 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17119 13284 301 301 0 16818 0 vsize: 68476 [startup+480.016 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 21034 0 0 0 47944 62 0 0 25 0 1 0 966889583 70119424 13292 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17119 13292 301 301 0 16818 0 vsize: 68476 [startup+490.016 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 21247 0 0 0 48943 63 0 0 25 0 1 0 966889583 70254592 13305 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17152 13305 301 301 0 16851 0 vsize: 68608 [startup+500.017 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 21258 0 0 0 49943 63 0 0 25 0 1 0 966889583 70254592 13316 4294967295 134512640 135730672 3221224592 3221222880 134747871 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17152 13316 301 301 0 16851 0 vsize: 68608 [startup+510.017 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 21483 0 0 0 50942 64 0 0 25 0 1 0 966889583 70254592 13341 4294967295 134512640 135730672 3221224592 3221223072 134748499 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17152 13341 301 301 0 16851 0 vsize: 68608 [startup+520.019 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 21732 0 0 0 51942 65 0 0 25 0 1 0 966889583 70389760 13390 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17185 13390 301 301 0 16884 0 vsize: 68740 [startup+530.019 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 21979 0 0 0 52941 65 0 0 25 0 1 0 966889583 70389760 13437 4294967295 134512640 135730672 3221224592 3221222880 134747460 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17185 13437 301 301 0 16884 0 vsize: 68740 [startup+540.019 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 22021 0 0 0 53941 66 0 0 25 0 1 0 966889583 70389760 13479 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17185 13479 301 301 0 16884 0 vsize: 68740 [startup+550.019 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 22234 0 0 0 54941 67 0 0 25 0 1 0 966889583 70389760 13492 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17185 13492 301 301 0 16884 0 vsize: 68740 [startup+560.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 22478 0 0 0 55940 67 0 0 25 0 1 0 966889583 70524928 13536 4294967295 134512640 135730672 3221224592 3221222928 134740208 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17218 13536 301 301 0 16917 0 vsize: 68872 [startup+570.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 22724 0 0 0 56940 68 0 0 25 0 1 0 966889583 70524928 13582 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17218 13582 301 301 0 16917 0 vsize: 68872 [startup+580.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 22778 0 0 0 57939 69 0 0 25 0 1 0 966889583 70524928 13636 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17218 13636 301 301 0 16917 0 vsize: 68872 [startup+590.019 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 23035 0 0 0 58938 70 0 0 25 0 1 0 966889583 70660096 13693 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17251 13693 301 301 0 16950 0 vsize: 69004 [startup+600.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 23280 0 0 0 59937 71 0 0 25 0 1 0 966889583 70660096 13738 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17251 13738 301 301 0 16950 0 vsize: 69004 [startup+610.02 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 23333 0 0 0 60937 71 0 0 25 0 1 0 966889583 70823936 13791 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17291 13791 301 301 0 16990 0 vsize: 69164 [startup+620.021 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 23398 0 0 0 61937 72 0 0 25 0 1 0 966889583 70823936 13856 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17291 13856 301 301 0 16990 0 vsize: 69164 [startup+630.021 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 23622 0 0 0 62937 72 0 0 25 0 1 0 966889583 70959104 13880 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17324 13880 301 301 0 17023 0 vsize: 69296 [startup+640.021 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 23863 0 0 0 63936 73 0 0 25 0 1 0 966889583 71135232 13921 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17367 13921 301 301 0 17066 0 vsize: 69468 [startup+650.021 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 23898 0 0 0 64936 74 0 0 25 0 1 0 966889583 71135232 13956 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17367 13956 301 301 0 17066 0 vsize: 69468 [startup+660.021 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 24145 0 0 0 65935 74 0 0 25 0 1 0 966889583 71270400 14003 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17400 14003 301 301 0 17099 0 vsize: 69600 [startup+670.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 24184 0 0 0 66934 75 0 0 25 0 1 0 966889583 71270400 14042 4294967295 134512640 135730672 3221224592 3221222896 134745860 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17400 14042 301 301 0 17099 0 vsize: 69600 [startup+680.023 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 24431 0 0 0 67934 76 0 0 25 0 1 0 966889583 71405568 14089 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17433 14089 301 301 0 17132 0 vsize: 69732 [startup+690.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 24840 0 0 0 68933 77 0 0 25 0 1 0 966889583 72437760 14298 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17685 14298 301 301 0 17384 0 vsize: 70740 [startup+700.023 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 24900 0 0 0 69933 77 0 0 25 0 1 0 966889583 72585216 14358 4294967295 134512640 135730672 3221224592 3221222880 134747578 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17721 14358 301 301 0 17420 0 vsize: 70884 [startup+710.022 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 25111 0 0 0 70932 78 0 0 25 0 1 0 966889583 72585216 14369 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17721 14369 301 301 0 17420 0 vsize: 70884 [startup+720.023 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 25316 0 0 0 71932 79 0 0 25 0 1 0 966889583 72585216 14374 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17721 14374 301 301 0 17420 0 vsize: 70884 [startup+730.023 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 25324 0 0 0 72932 79 0 0 25 0 1 0 966889583 72585216 14382 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17721 14382 301 301 0 17420 0 vsize: 70884 [startup+740.024 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 25533 0 0 0 73930 80 0 0 25 0 1 0 966889583 72585216 14391 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17721 14391 301 301 0 17420 0 vsize: 70884 [startup+750.024 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 25538 0 0 0 74930 81 0 0 25 0 1 0 966889583 72585216 14396 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17721 14396 301 301 0 17420 0 vsize: 70884 [startup+760.024 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 25744 0 0 0 75929 82 0 0 25 0 1 0 966889583 72585216 14402 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17721 14402 301 301 0 17420 0 vsize: 70884 [startup+770.025 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 25948 0 0 0 76929 83 0 0 25 0 1 0 966889583 72585216 14406 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17721 14406 301 301 0 17420 0 vsize: 70884 [startup+780.025 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 25962 0 0 0 77928 83 0 0 25 0 1 0 966889583 72724480 14420 4294967295 134512640 135730672 3221224592 3221223044 134748655 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17755 14420 301 301 0 17454 0 vsize: 71020 [startup+790.025 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 25972 0 0 0 78928 84 0 0 25 0 1 0 966889583 72724480 14430 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17755 14430 301 301 0 17454 0 vsize: 71020 [startup+800.026 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26183 0 0 0 79928 85 0 0 25 0 1 0 966889583 72724480 14441 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17755 14441 301 301 0 17454 0 vsize: 71020 [startup+810.026 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26212 0 0 0 80927 85 0 0 25 0 1 0 966889583 72863744 14470 4294967295 134512640 135730672 3221224592 3221223072 134748526 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17789 14470 301 301 0 17488 0 vsize: 71156 [startup+820.027 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26217 0 0 0 81928 85 0 0 25 0 1 0 966889583 72863744 14475 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17789 14475 301 301 0 17488 0 vsize: 71156 [startup+830.027 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26419 0 0 0 82927 86 0 0 25 0 1 0 966889583 72863744 14477 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17789 14477 301 301 0 17488 0 vsize: 71156 [startup+840.027 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26424 0 0 0 83927 86 0 0 25 0 1 0 966889583 72863744 14482 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17789 14482 301 301 0 17488 0 vsize: 71156 [startup+850.027 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26426 0 0 0 84927 86 0 0 25 0 1 0 966889583 72863744 14484 4294967295 134512640 135730672 3221224592 3221222880 134747770 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17789 14484 301 301 0 17488 0 vsize: 71156 [startup+860.027 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26431 0 0 0 85927 86 0 0 25 0 1 0 966889583 72863744 14489 4294967295 134512640 135730672 3221224592 3221222928 134740310 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17789 14489 301 301 0 17488 0 vsize: 71156 [startup+870.027 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26634 0 0 0 86926 87 0 0 25 0 1 0 966889583 72863744 14492 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17789 14492 301 301 0 17488 0 vsize: 71156 [startup+880.028 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26639 0 0 0 87926 88 0 0 25 0 1 0 966889583 72863744 14497 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17789 14497 301 301 0 17488 0 vsize: 71156 [startup+890.027 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26645 0 0 0 88926 88 0 0 25 0 1 0 966889583 72863744 14503 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17789 14503 301 301 0 17488 0 vsize: 71156 [startup+900.028 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26676 0 0 0 89926 88 0 0 25 0 1 0 966889583 73060352 14534 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17837 14534 301 301 0 17536 0 vsize: 71348 [startup+910.028 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26698 0 0 0 90926 89 0 0 25 0 1 0 966889583 73060352 14556 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17837 14556 301 301 0 17536 0 vsize: 71348 [startup+920.029 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26702 0 0 0 91926 89 0 0 25 0 1 0 966889583 73060352 14560 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17837 14560 301 301 0 17536 0 vsize: 71348 [startup+930.029 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26716 0 0 0 92925 89 0 0 25 0 1 0 966889583 73060352 14574 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17837 14574 301 301 0 17536 0 vsize: 71348 [startup+940.029 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26948 0 0 0 93925 90 0 0 25 0 1 0 966889583 73060352 14606 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 17837 14606 301 301 0 17536 0 vsize: 71348 [startup+950.029 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 27517 0 0 0 94924 92 0 0 25 0 1 0 966889583 75567104 15027 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18449 15027 301 301 0 18148 0 vsize: 73796 [startup+960.029 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 27922 0 0 0 95922 93 0 0 25 0 1 0 966889583 76386304 15232 4294967295 134512640 135730672 3221224592 3221222520 134765469 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18649 15232 301 301 0 18348 0 vsize: 74596 [startup+970.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 27937 0 0 0 96922 93 0 0 25 0 1 0 966889583 75567104 15047 4294967295 134512640 135730672 3221224592 3221222880 134747965 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18449 15047 301 301 0 18148 0 vsize: 73796 [startup+980.031 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 28141 0 0 0 97921 94 0 0 25 0 1 0 966889583 75567104 15051 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18449 15051 301 301 0 18148 0 vsize: 73796 [startup+990.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 28344 0 0 0 98920 95 0 0 25 0 1 0 966889583 75567104 15054 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18449 15054 301 301 0 18148 0 vsize: 73796 [startup+1000.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 28349 0 0 0 99920 96 0 0 25 0 1 0 966889583 75567104 15059 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18449 15059 301 301 0 18148 0 vsize: 73796 [startup+1010.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 28552 0 0 0 100920 96 0 0 25 0 1 0 966889583 75567104 15062 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18449 15062 301 301 0 18148 0 vsize: 73796 [startup+1020.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 28757 0 0 0 101919 97 0 0 25 0 1 0 966889583 75567104 15067 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18449 15067 301 301 0 18148 0 vsize: 73796 [startup+1030.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 28765 0 0 0 102919 97 0 0 25 0 1 0 966889583 75567104 15075 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18449 15075 301 301 0 18148 0 vsize: 73796 [startup+1040.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 28775 0 0 0 103919 97 0 0 25 0 1 0 966889583 75706368 15085 4294967295 134512640 135730672 3221224592 3221222880 134747770 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18483 15085 301 301 0 18182 0 vsize: 73932 [startup+1050.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 28980 0 0 0 104919 98 0 0 25 0 1 0 966889583 75706368 15090 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18483 15090 301 301 0 18182 0 vsize: 73932 [startup+1060.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 29188 0 0 0 105918 98 0 0 25 0 1 0 966889583 75706368 15098 4294967295 134512640 135730672 3221224592 3221222976 134763587 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18483 15098 301 301 0 18182 0 vsize: 73932 [startup+1070.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 29394 0 0 0 106918 99 0 0 25 0 1 0 966889583 75706368 15104 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18483 15104 301 301 0 18182 0 vsize: 73932 [startup+1080.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 29402 0 0 0 107918 99 0 0 25 0 1 0 966889583 75706368 15112 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18483 15112 301 301 0 18182 0 vsize: 73932 [startup+1090.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 29605 0 0 0 108917 100 0 0 25 0 1 0 966889583 75706368 15115 4294967295 134512640 135730672 3221224592 3221222808 135109377 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18483 15115 301 301 0 18182 0 vsize: 73932 [startup+1100.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 29610 0 0 0 109917 100 0 0 25 0 1 0 966889583 75706368 15120 4294967295 134512640 135730672 3221224592 3221222880 134747647 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18483 15120 301 301 0 18182 0 vsize: 73932 [startup+1110.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 29617 0 0 0 110918 100 0 0 25 0 1 0 966889583 75706368 15127 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18483 15127 301 301 0 18182 0 vsize: 73932 [startup+1120.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 29628 0 0 0 111918 100 0 0 25 0 1 0 966889583 75845632 15138 4294967295 134512640 135730672 3221224592 3221222880 134747602 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18517 15138 301 301 0 18216 0 vsize: 74068 [startup+1130.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 29634 0 0 0 112918 101 0 0 25 0 1 0 966889583 75845632 15144 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18517 15144 301 301 0 18216 0 vsize: 74068 [startup+1140.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 29851 0 0 0 113917 101 0 0 25 0 1 0 966889583 75845632 15161 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18517 15161 301 301 0 18216 0 vsize: 74068 [startup+1150.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 29946 0 0 0 114916 103 0 0 25 0 1 0 966889583 75845632 15256 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18517 15256 301 301 0 18216 0 vsize: 74068 [startup+1160.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 30031 0 0 0 115916 103 0 0 25 0 1 0 966889583 75845632 15341 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18517 15341 301 301 0 18216 0 vsize: 74068 [startup+1170.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 30141 0 0 0 116915 104 0 0 25 0 1 0 966889583 75845632 15451 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18517 15451 301 301 0 18216 0 vsize: 74068 [startup+1180.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 30233 0 0 0 117914 105 0 0 25 0 1 0 966889583 75976704 15543 4294967295 134512640 135730672 3221224592 3221222980 135282196 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18549 15543 301 301 0 18248 0 vsize: 74196 [startup+1190.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 30317 0 0 0 118914 105 0 0 25 0 1 0 966889583 75976704 15627 4294967295 134512640 135730672 3221224592 3221222880 134747613 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18549 15627 301 301 0 18248 0 vsize: 74196 [startup+1200.03 s] Raw data (loadavg): 1.00 0.98 0.92 2/54 7334 Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 30582 0 0 0 119913 107 0 0 25 0 1 0 966889583 75976704 15692 4294967295 134512640 135730672 3221224592 3221222864 134732585 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18549 15692 301 301 0 18248 0 vsize: 74196 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.55 s] Raw data (loadavg): 1.00 0.98 0.92 1/54 7334 Raw data (stat): 7334 (pb2sat-v2) Z 7333 7266 7265 0 -1 12 30584 0 0 0 119961 110 0 0 25 0 1 0 966889583 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): 1200.55 CPU time (s): 1200.71 CPU user time (s): 1199.61 CPU system time (s): 1.10183 CPU usage (%): 100.014 Max. virtual memory (Kb): 74596 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 0 #### END VERIFIER DATA ####