Name | 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 | YES |
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 | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 777.415 |
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 |
LAUNCH ON wulflinc30 THE 2005-09-23 15:23:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8546 boxname=wulflinc30 idbench=342 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 25130921f4384cc034832ca1cd52ec48 /oldhome/oroussel/tmp/wulflinc30/normalized-frb30-15-2.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc30/normalized-frb30-15-2.opb IDLAUNCH: 8546 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 942420 kB Buffers: 11604 kB Cached: 63400 kB SwapCached: 0 kB Active: 42944 kB Inactive: 34948 kB HighTotal: 131008 kB HighFree: 63504 kB LowTotal: 903652 kB LowFree: 878916 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6972 kB Slab: 8692 kB Committed_AS: 63620 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 15:43:30 (client local time) WITH STATUS 10 IN 1207.02 SECONDS stats: 8546 0 1207.02 10
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: 19.0131/86400 c Decision: 34119/102388 Time: 44.5552/86400 c Decision: 34119/102388 Time: 65.2271/86400 c Decision: 34377/102388 Time: 109.208/86400 c Decision: 35073/102388 Time: 148.713/86400 c [startup+421.025 s] setting bit 8 to 0 c Decision: 12257/102388 Time: 76.6323/86400 c Decision: 12761/102388 Time: 93.3288/86400 c Decision: 12761/102388 Time: 107.367/86400 c Decision: 12761/102388 Time: 120.794/86400 c Decision: 12761/102388 Time: 134.275/86400 c Decision: 12761/102388 Time: 149.484/86400 c Decision: 12761/102388 Time: 162.79/86400 c Decision: 12761/102388 Time: 179.364/86400 c Decision: 12761/102388 Time: 194.53/86400 c Decision: 14250/102388 Time: 209.852/86400 c Decision: 15387/102388 Time: 235.934/86400 c Decision: 15387/102388 Time: 250.633/86400 c Decision: 17950/102388 Time: 270.07/86400 c Decision: 17993/102388 Time: 284.964/86400 c Decision: 17993/102388 Time: 297.802/86400 c Decision: 18046/102388 Time: 321.453/86400 c Decision: 18046/102388 Time: 336.649/86400 c Decision: 18046/102388 Time: 352.182/86400 c Decision: 18046/102388 Time: 368.964/86400 c Decision: 18046/102388 Time: 386.019/86400 c Decision: 20147/102388 Time: 415.769/86400 c Decision: 20345/102388 Time: 450.594/86400 c [startup+911.37 s] setting bit 7 to 0 c Decision: 25933/102388 Time: 74.0107/86400 c Decision: 25933/102388 Time: 86.9058/86400 c Decision: 25933/102388 Time: 96.1384/86400 c Decision: 25935/102388 Time: 112.918/86400 c Decision: 25935/102388 Time: 124.741/86400 c Decision: 26109/102388 Time: 142.829/86400 c Decision: 26109/102388 Time: 154.983/86400 c Decision: 26207/102388 Time: 179.263/86400 c Decision: 26207/102388 Time: 191.109/86400 c Decision: 26207/102388 Time: 204.91/86400 c Decision: 26207/102388 Time: 221.096/86400 c [startup+1192.04 s] setting bit 6 to 0 s SATISFIABLE v -C1 -C10 -C100 -C101 -C102 -C103 -C104 -C105 -C106 -C107 -C108 -C109 -C11 -C110 -C111 -C112 -C113 -C114 -C115 -C116 -C117 -C118 -C119 -C12 -C120 -C121 -C122 -C123 -C124 -C125 -C126 -C127 -C128 -C129 -C13 -C130 -C131 -C132 -C133 -C134 -C135 -C136 -C137 -C138 -C139 -C14 -C140 -C141 -C142 -C143 -C144 -C145 -C146 -C147 -C148 -C149 -C15 -C150 -C151 -C152 -C153 -C154 -C155 -C156 -C157 -C158 -C159 -C16 -C160 -C161 -C162 -C163 -C164 -C165 -C166 -C167 -C168 -C169 -C17 -C170 -C171 -C172 -C173 -C174 -C175 -C176 -C177 -C178 -C179 -C18 -C180 -C181 -C182 -C183 -C184 -C185 -C186 -C187 -C188 -C189 -C19 -C190 -C191 -C192 -C193 -C194 -C195 -C196 -C197 -C198 -C199 -C2 -C20 -C200 -C201 -C202 -C203 -C204 -C205 -C206 -C207 -C208 -C209 -C21 -C210 -C211 -C212 -C213 -C214 -C215 -C216 -C217 -C218 -C219 -C22 -C220 -C221 -C222 -C223 -C224 -C225 -C226 -C227 -C228 -C229 -C23 -C230 -C231 -C232 -C233 -C234 -C235 -C236 -C237 -C238 -C239 -C24 -C240 -C241 -C242 -C243 -C244 -C245 -C246 -C247 -C248 -C249 -C25 -C250 -C251 -C252 -C253 -C254 -C255 -C256 -C257 -C258 -C259 -C26 -C260 -C261 -C262 -C263 -C264 -C265 -C266 -C267 -C268 -C269 -C27 -C270 -C271 -C272 -C273 -C274 -C275 -C276 -C277 -C278 -C279 -C28 -C280 -C281 -C282 -C283 -C284 -C285 -C286 -C287 -C288 -C289 -C29 -C290 -C291 -C292 -C293 -C294 -C295 -C296 -C297 -C298 -C299 -C3 -C30 -C300 -C301 -C302 -C303 -C304 -C305 -C306 -C307 -C308 -C309 -C31 -C310 -C311 -C312 -C313 -C314 -C315 -C316 -C317 -C318 -C319 -C32 -C320 -C321 -C322 -C323 -C324 -C325 -C326 -C327 -C328 -C329 -C33 -C330 -C331 -C332 -C333 -C334 -C335 -C336 -C337 -C338 -C339 -C34 -C340 -C341 -C342 -C343 -C344 -C345 -C346 -C347 -C348 -C349 -C35 -C350 -C351 -C352 -C353 -C354 -C355 -C356 -C357 -C358 -C359 -C36 -C360 -C361 -C362 -C363 -C364 -C365 -C366 -C367 -C368 -C369 -C37 -C370 -C371 -C372 -C373 -C374 -C375 -C376 -C377 -C378 -C379 -C38 -C380 -C381 -C382 -C383 -C384 -C385 -C386 -C387 -C388 -C389 -C39 -C390 -C391 -C392 -C393 -C394 -C395 -C396 -C397 -C398 -C399 -C4 -C40 -C400 -C401 -C402 -C403 -C404 -C405 -C406 -C407 -C408 -C409 -C41 -C410 -C411 -C412 -C413 -C414 -C415 -C416 -C417 -C418 -C419 -C42 -C420 -C421 -C422 -C423 -C424 -C425 -C426 -C427 -C428 -C429 -C43 -C430 -C431 -C432 -C433 -C434 -C435 -C436 -C437 -C438 -C439 -C44 -C440 -C441 -C442 -C443 -C444 -C445 -C446 -C447 -C448 -C449 -C45 -C450 -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
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21199741 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 373 2 364 364 0 9 0 [pid=8712] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc30/normalized-frb30-15-2.opb [startup+10.0022 s] Raw data (loadavg): 0.82 0.83 0.90 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 17314 0 0 0 949 43 0 0 25 0 1 0 21199741 55906304 11521 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 13649 11521 364 364 0 13285 0 [pid=8712] vsize: 54596 Current children cumulated CPU time (s) 9.92 Current children cumulated vsize (Kb) 54596 [startup+20.002 s] Raw data (loadavg): 0.85 0.83 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 17821 0 0 0 1942 47 0 0 25 0 1 0 21199741 58052608 11929 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 14173 11929 364 364 0 13809 0 [pid=8712] vsize: 56692 Current children cumulated CPU time (s) 19.89 Current children cumulated vsize (Kb) 56692 [startup+30.0028 s] Raw data (loadavg): 0.87 0.84 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 18978 0 0 0 2934 52 0 0 25 0 1 0 21199741 61771776 12523 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15081 12523 364 364 0 14717 0 [pid=8712] vsize: 60324 Current children cumulated CPU time (s) 29.86 Current children cumulated vsize (Kb) 60324 [startup+40.0036 s] Raw data (loadavg): 0.89 0.84 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19046 0 0 0 3931 53 0 0 25 0 1 0 21199741 62038016 12591 4294967295 134512640 135987407 3221224560 3221223104 134812046 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15146 12591 364 364 0 14782 0 [pid=8712] vsize: 60584 Current children cumulated CPU time (s) 39.84 Current children cumulated vsize (Kb) 60584 [startup+50.0044 s] Raw data (loadavg): 0.91 0.85 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19067 0 0 0 4928 54 0 0 25 0 1 0 21199741 62038016 12612 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15146 12612 364 364 0 14782 0 [pid=8712] vsize: 60584 Current children cumulated CPU time (s) 49.82 Current children cumulated vsize (Kb) 60584 [startup+60.0042 s] Raw data (loadavg): 0.92 0.85 0.91 3/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19285 0 0 0 5925 56 0 0 25 0 1 0 21199741 62038016 12630 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15146 12630 364 364 0 14782 0 [pid=8712] vsize: 60584 Current children cumulated CPU time (s) 59.81 Current children cumulated vsize (Kb) 60584 [startup+70.005 s] Raw data (loadavg): 0.93 0.86 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19339 0 0 0 6922 57 0 0 25 0 1 0 21199741 62169088 12651 4294967295 134512640 135987407 3221224560 3221223104 134812126 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15178 12651 364 364 0 14814 0 [pid=8712] vsize: 60712 Current children cumulated CPU time (s) 69.79 Current children cumulated vsize (Kb) 60712 [startup+80.0058 s] Raw data (loadavg): 0.94 0.86 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19554 0 0 0 7918 59 0 0 25 0 1 0 21199741 62169088 12666 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15178 12666 364 364 0 14814 0 [pid=8712] vsize: 60712 Current children cumulated CPU time (s) 79.77 Current children cumulated vsize (Kb) 60712 [startup+90.0056 s] Raw data (loadavg): 0.95 0.87 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19584 0 0 0 8915 60 0 0 25 0 1 0 21199741 62169088 12696 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15178 12696 364 364 0 14814 0 [pid=8712] vsize: 60712 Current children cumulated CPU time (s) 89.75 Current children cumulated vsize (Kb) 60712 [startup+100.006 s] Raw data (loadavg): 0.96 0.87 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19686 0 0 0 9913 61 0 0 25 0 1 0 21199741 62431232 12733 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15242 12733 364 364 0 14878 0 [pid=8712] vsize: 60968 Current children cumulated CPU time (s) 99.74 Current children cumulated vsize (Kb) 60968 [startup+110.007 s] Raw data (loadavg): 0.96 0.87 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19705 0 0 0 10911 63 0 0 25 0 1 0 21199741 62566400 12752 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15275 12752 364 364 0 14911 0 [pid=8712] vsize: 61100 Current children cumulated CPU time (s) 109.74 Current children cumulated vsize (Kb) 61100 [startup+120.007 s] Raw data (loadavg): 0.97 0.88 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19930 0 0 0 11908 64 0 0 25 0 1 0 21199741 62566400 12777 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15275 12777 364 364 0 14911 0 [pid=8712] vsize: 61100 Current children cumulated CPU time (s) 119.72 Current children cumulated vsize (Kb) 61100 [startup+130.008 s] Raw data (loadavg): 0.97 0.88 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19951 0 0 0 12907 64 0 0 25 0 1 0 21199741 62566400 12798 4294967295 134512640 135987407 3221224560 3221223280 134812703 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15275 12798 364 364 0 14911 0 [pid=8712] vsize: 61100 Current children cumulated CPU time (s) 129.71 Current children cumulated vsize (Kb) 61100 [startup+140.009 s] Raw data (loadavg): 0.98 0.89 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19976 0 0 0 13904 65 0 0 25 0 1 0 21199741 62566400 12823 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15275 12823 364 364 0 14911 0 [pid=8712] vsize: 61100 Current children cumulated CPU time (s) 139.69 Current children cumulated vsize (Kb) 61100 [startup+150.009 s] Raw data (loadavg): 0.98 0.89 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 19994 0 0 0 14902 67 0 0 25 0 1 0 21199741 62566400 12841 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15275 12841 364 364 0 14911 0 [pid=8712] vsize: 61100 Current children cumulated CPU time (s) 149.69 Current children cumulated vsize (Kb) 61100 [startup+160.01 s] Raw data (loadavg): 0.98 0.89 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20218 0 0 0 15899 68 0 0 25 0 1 0 21199741 62566400 12865 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15275 12865 364 364 0 14911 0 [pid=8712] vsize: 61100 Current children cumulated CPU time (s) 159.67 Current children cumulated vsize (Kb) 61100 [startup+170.01 s] Raw data (loadavg): 0.98 0.89 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20238 0 0 0 16895 69 0 0 25 0 1 0 21199741 62701568 12885 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15308 12885 364 364 0 14944 0 [pid=8712] vsize: 61232 Current children cumulated CPU time (s) 169.64 Current children cumulated vsize (Kb) 61232 [startup+180.011 s] Raw data (loadavg): 0.99 0.90 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20258 0 0 0 17892 70 0 0 25 0 1 0 21199741 62701568 12905 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15308 12905 364 364 0 14944 0 [pid=8712] vsize: 61232 Current children cumulated CPU time (s) 179.62 Current children cumulated vsize (Kb) 61232 [startup+190.011 s] Raw data (loadavg): 1.07 0.92 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20278 0 0 0 18889 71 0 0 25 0 1 0 21199741 62701568 12925 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15308 12925 364 364 0 14944 0 [pid=8712] vsize: 61232 Current children cumulated CPU time (s) 189.6 Current children cumulated vsize (Kb) 61232 [startup+200.011 s] Raw data (loadavg): 1.06 0.92 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20301 0 0 0 19887 72 0 0 25 0 1 0 21199741 62701568 12948 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15308 12948 364 364 0 14944 0 [pid=8712] vsize: 61232 Current children cumulated CPU time (s) 199.59 Current children cumulated vsize (Kb) 61232 [startup+210.012 s] Raw data (loadavg): 1.05 0.92 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20347 0 0 0 20884 73 0 0 25 0 1 0 21199741 62849024 12994 4294967295 134512640 135987407 3221224560 3221223104 134811803 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15344 12994 364 364 0 14980 0 [pid=8712] vsize: 61376 Current children cumulated CPU time (s) 209.57 Current children cumulated vsize (Kb) 61376 [startup+220.012 s] Raw data (loadavg): 1.04 0.92 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20361 0 0 0 21882 74 0 0 25 0 1 0 21199741 62849024 13008 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15344 13008 364 364 0 14980 0 [pid=8712] vsize: 61376 Current children cumulated CPU time (s) 219.56 Current children cumulated vsize (Kb) 61376 [startup+230.013 s] Raw data (loadavg): 1.03 0.92 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20378 0 0 0 22879 75 0 0 25 0 1 0 21199741 62849024 13025 4294967295 134512640 135987407 3221224560 3221223232 134824261 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15344 13025 364 364 0 14980 0 [pid=8712] vsize: 61376 Current children cumulated CPU time (s) 229.54 Current children cumulated vsize (Kb) 61376 [startup+240.013 s] Raw data (loadavg): 1.03 0.93 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20402 0 0 0 23876 76 0 0 25 0 1 0 21199741 62849024 13049 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15344 13049 364 364 0 14980 0 [pid=8712] vsize: 61376 Current children cumulated CPU time (s) 239.52 Current children cumulated vsize (Kb) 61376 [startup+250.013 s] Raw data (loadavg): 1.02 0.93 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20430 0 0 0 24873 77 0 0 25 0 1 0 21199741 62849024 13077 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15344 13077 364 364 0 14980 0 [pid=8712] vsize: 61376 Current children cumulated CPU time (s) 249.5 Current children cumulated vsize (Kb) 61376 [startup+260.013 s] Raw data (loadavg): 1.02 0.93 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20456 0 0 0 25871 78 0 0 25 0 1 0 21199741 62849024 13103 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15344 13103 364 364 0 14980 0 [pid=8712] vsize: 61376 Current children cumulated CPU time (s) 259.49 Current children cumulated vsize (Kb) 61376 [startup+270.013 s] Raw data (loadavg): 1.02 0.93 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20489 0 0 0 26868 80 0 0 25 0 1 0 21199741 62849024 13136 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15344 13136 364 364 0 14980 0 [pid=8712] vsize: 61376 Current children cumulated CPU time (s) 269.48 Current children cumulated vsize (Kb) 61376 [startup+280.014 s] Raw data (loadavg): 1.01 0.93 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20519 0 0 0 27865 81 0 0 25 0 1 0 21199741 62984192 13166 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15377 13166 364 364 0 15013 0 [pid=8712] vsize: 61508 Current children cumulated CPU time (s) 279.46 Current children cumulated vsize (Kb) 61508 [startup+290.014 s] Raw data (loadavg): 1.01 0.94 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20558 0 0 0 28863 82 0 0 25 0 1 0 21199741 62984192 13205 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15377 13205 364 364 0 15013 0 [pid=8712] vsize: 61508 Current children cumulated CPU time (s) 289.45 Current children cumulated vsize (Kb) 61508 [startup+300.014 s] Raw data (loadavg): 1.01 0.94 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20585 0 0 0 29861 83 0 0 25 0 1 0 21199741 62984192 13232 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15377 13232 364 364 0 15013 0 [pid=8712] vsize: 61508 Current children cumulated CPU time (s) 299.44 Current children cumulated vsize (Kb) 61508 [startup+310.014 s] Raw data (loadavg): 1.01 0.94 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 20611 0 0 0 30858 84 0 0 25 0 1 0 21199741 63119360 13258 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15410 13258 364 364 0 15046 0 [pid=8712] vsize: 61640 Current children cumulated CPU time (s) 309.42 Current children cumulated vsize (Kb) 61640 [startup+320.014 s] Raw data (loadavg): 1.00 0.94 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21010 0 0 0 31854 86 0 0 25 0 1 0 21199741 65105920 13657 4294967295 134512640 135987407 3221224560 3221223104 134811873 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15895 13657 364 364 0 15531 0 [pid=8712] vsize: 63580 Current children cumulated CPU time (s) 319.4 Current children cumulated vsize (Kb) 63580 [startup+330.015 s] Raw data (loadavg): 1.00 0.94 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21135 0 0 0 32852 87 0 0 25 0 1 0 21199741 65511424 13782 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15994 13782 364 364 0 15630 0 [pid=8712] vsize: 63976 Current children cumulated CPU time (s) 329.39 Current children cumulated vsize (Kb) 63976 [startup+340.016 s] Raw data (loadavg): 1.00 0.94 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21156 0 0 0 33849 88 0 0 25 0 1 0 21199741 65511424 13803 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15994 13803 364 364 0 15630 0 [pid=8712] vsize: 63976 Current children cumulated CPU time (s) 339.37 Current children cumulated vsize (Kb) 63976 [startup+350.016 s] Raw data (loadavg): 1.00 0.94 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21174 0 0 0 34847 89 0 0 25 0 1 0 21199741 65511424 13821 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15994 13821 364 364 0 15630 0 [pid=8712] vsize: 63976 Current children cumulated CPU time (s) 349.36 Current children cumulated vsize (Kb) 63976 [startup+360.016 s] Raw data (loadavg): 1.00 0.95 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21192 0 0 0 35844 90 0 0 25 0 1 0 21199741 65511424 13839 4294967295 134512640 135987407 3221224560 3221223104 134812160 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15994 13839 364 364 0 15630 0 [pid=8712] vsize: 63976 Current children cumulated CPU time (s) 359.34 Current children cumulated vsize (Kb) 63976 [startup+370.016 s] Raw data (loadavg): 1.00 0.95 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21209 0 0 0 36842 91 0 0 25 0 1 0 21199741 65511424 13856 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15994 13856 364 364 0 15630 0 [pid=8712] vsize: 63976 Current children cumulated CPU time (s) 369.33 Current children cumulated vsize (Kb) 63976 [startup+380.017 s] Raw data (loadavg): 1.00 0.95 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21228 0 0 0 37839 92 0 0 25 0 1 0 21199741 65511424 13875 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15994 13875 364 364 0 15630 0 [pid=8712] vsize: 63976 Current children cumulated CPU time (s) 379.31 Current children cumulated vsize (Kb) 63976 [startup+390.017 s] Raw data (loadavg): 1.00 0.95 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21247 0 0 0 38836 93 0 0 25 0 1 0 21199741 65511424 13894 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15994 13894 364 364 0 15630 0 [pid=8712] vsize: 63976 Current children cumulated CPU time (s) 389.29 Current children cumulated vsize (Kb) 63976 [startup+400.018 s] Raw data (loadavg): 1.00 0.95 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21269 0 0 0 39834 93 0 0 25 0 1 0 21199741 65511424 13916 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 15994 13916 364 364 0 15630 0 [pid=8712] vsize: 63976 Current children cumulated CPU time (s) 399.27 Current children cumulated vsize (Kb) 63976 [startup+410.018 s] Raw data (loadavg): 1.00 0.95 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21295 0 0 0 40832 94 0 0 25 0 1 0 21199741 73900032 13942 4294967295 134512640 135987407 3221224560 3221222964 134776865 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18042 13942 364 364 0 17678 0 [pid=8712] vsize: 72168 Current children cumulated CPU time (s) 409.26 Current children cumulated vsize (Kb) 72168 [startup+420.018 s] Raw data (loadavg): 1.00 0.95 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21398 0 0 0 41830 96 0 0 25 0 1 0 21199741 74297344 13980 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18139 13980 364 364 0 17775 0 [pid=8712] vsize: 72556 Current children cumulated CPU time (s) 419.26 Current children cumulated vsize (Kb) 72556 [startup+430.019 s] Raw data (loadavg): 1.00 0.95 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21661 0 0 0 42825 98 0 0 25 0 1 0 21199741 74297344 14043 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18139 14043 364 364 0 17775 0 [pid=8712] vsize: 72556 Current children cumulated CPU time (s) 429.23 Current children cumulated vsize (Kb) 72556 [startup+440.019 s] Raw data (loadavg): 1.00 0.95 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21715 0 0 0 43820 99 0 0 25 0 1 0 21199741 74297344 14097 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18139 14097 364 364 0 17775 0 [pid=8712] vsize: 72556 Current children cumulated CPU time (s) 439.19 Current children cumulated vsize (Kb) 72556 [startup+450.019 s] Raw data (loadavg): 1.00 0.95 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21762 0 0 0 44815 101 0 0 25 0 1 0 21199741 74297344 14144 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18139 14144 364 364 0 17775 0 [pid=8712] vsize: 72556 Current children cumulated CPU time (s) 449.16 Current children cumulated vsize (Kb) 72556 [startup+460.02 s] Raw data (loadavg): 1.00 0.96 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21843 0 0 0 45809 103 0 0 25 0 1 0 21199741 74579968 14225 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18208 14225 364 364 0 17844 0 [pid=8712] vsize: 72832 Current children cumulated CPU time (s) 459.12 Current children cumulated vsize (Kb) 72832 [startup+470.02 s] Raw data (loadavg): 1.00 0.96 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 21884 0 0 0 46804 104 0 0 25 0 1 0 21199741 74579968 14266 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18208 14266 364 364 0 17844 0 [pid=8712] vsize: 72832 Current children cumulated CPU time (s) 469.08 Current children cumulated vsize (Kb) 72832 [startup+480.021 s] Raw data (loadavg): 1.00 0.96 0.91 1/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) T 8711 8712 4004 0 -1 0 21913 0 0 0 47798 106 0 0 25 0 1 0 21199741 74579968 14295 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18208 14295 364 364 0 17844 0 [pid=8712] vsize: 72832 Current children cumulated CPU time (s) 479.04 Current children cumulated vsize (Kb) 72832 [startup+490.021 s] Raw data (loadavg): 1.00 0.96 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 22163 0 0 0 48790 109 0 0 25 0 1 0 21199741 75595776 14512 4294967295 134512640 135987407 3221224560 3221223104 134811835 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 18456 14512 364 364 0 18092 0 [pid=8712] vsize: 73824 Current children cumulated CPU time (s) 488.99 Current children cumulated vsize (Kb) 73824 [startup+500.022 s] Raw data (loadavg): 1.00 0.96 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 22402 0 0 0 49785 111 0 0 25 0 1 0 21199741 75595776 14551 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 18456 14551 364 364 0 18092 0 [pid=8712] vsize: 73824 Current children cumulated CPU time (s) 498.96 Current children cumulated vsize (Kb) 73824 [startup+510.022 s] Raw data (loadavg): 1.00 0.96 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 22411 0 0 0 50780 114 0 0 25 0 1 0 21199741 75595776 14560 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 18456 14560 364 364 0 18092 0 [pid=8712] vsize: 73824 Current children cumulated CPU time (s) 508.94 Current children cumulated vsize (Kb) 73824 [startup+520.022 s] Raw data (loadavg): 1.00 0.96 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 22627 0 0 0 51776 116 0 0 25 0 1 0 21199741 75595776 14576 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18456 14576 364 364 0 18092 0 [pid=8712] vsize: 73824 Current children cumulated CPU time (s) 518.92 Current children cumulated vsize (Kb) 73824 [startup+530.023 s] Raw data (loadavg): 1.00 0.96 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 22844 0 0 0 52771 118 0 0 25 0 1 0 21199741 75730944 14593 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18489 14593 364 364 0 18125 0 [pid=8712] vsize: 73956 Current children cumulated CPU time (s) 528.89 Current children cumulated vsize (Kb) 73956 [startup+540.022 s] Raw data (loadavg): 1.00 0.96 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 22876 0 0 0 53767 119 0 0 25 0 1 0 21199741 75730944 14625 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18489 14625 364 364 0 18125 0 [pid=8712] vsize: 73956 Current children cumulated CPU time (s) 538.86 Current children cumulated vsize (Kb) 73956 [startup+550.023 s] Raw data (loadavg): 1.00 0.96 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 23122 0 0 0 54762 122 0 0 25 0 1 0 21199741 75730944 14671 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18489 14671 364 364 0 18125 0 [pid=8712] vsize: 73956 Current children cumulated CPU time (s) 548.84 Current children cumulated vsize (Kb) 73956 [startup+560.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 23366 0 0 0 55757 124 0 0 25 0 1 0 21199741 75866112 14715 4294967295 134512640 135987407 3221224560 3221223232 134824256 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18522 14715 364 364 0 18158 0 [pid=8712] vsize: 74088 Current children cumulated CPU time (s) 558.81 Current children cumulated vsize (Kb) 74088 [startup+570.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 23406 0 0 0 56754 125 0 0 25 0 1 0 21199741 75866112 14755 4294967295 134512640 135987407 3221224560 3221223232 134824327 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18522 14755 364 364 0 18158 0 [pid=8712] vsize: 74088 Current children cumulated CPU time (s) 568.79 Current children cumulated vsize (Kb) 74088 [startup+580.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 23624 0 0 0 57750 127 0 0 25 0 1 0 21199741 75866112 14773 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18522 14773 364 364 0 18158 0 [pid=8712] vsize: 74088 Current children cumulated CPU time (s) 578.77 Current children cumulated vsize (Kb) 74088 [startup+590.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 23866 0 0 0 58746 129 0 0 25 0 1 0 21199741 75866112 14815 4294967295 134512640 135987407 3221224560 3221223104 134812163 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18522 14815 364 364 0 18158 0 [pid=8712] vsize: 74088 Current children cumulated CPU time (s) 588.75 Current children cumulated vsize (Kb) 74088 [startup+600.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 23915 0 0 0 59740 131 0 0 25 0 1 0 21199741 76001280 14864 4294967295 134512640 135987407 3221224560 3221223232 134824256 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18555 14864 364 364 0 18191 0 [pid=8712] vsize: 74220 Current children cumulated CPU time (s) 598.71 Current children cumulated vsize (Kb) 74220 [startup+610.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 24165 0 0 0 60735 133 0 0 25 0 1 0 21199741 76001280 14914 4294967295 134512640 135987407 3221224560 3221223232 134824216 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18555 14914 364 364 0 18191 0 [pid=8712] vsize: 74220 Current children cumulated CPU time (s) 608.68 Current children cumulated vsize (Kb) 74220 [startup+620.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 24417 0 0 0 61731 135 0 0 25 0 1 0 21199741 76136448 14966 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18588 14966 364 364 0 18224 0 [pid=8712] vsize: 74352 Current children cumulated CPU time (s) 618.66 Current children cumulated vsize (Kb) 74352 [startup+630.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 24463 0 0 0 62727 137 0 0 25 0 1 0 21199741 76136448 15012 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18588 15012 364 364 0 18224 0 [pid=8712] vsize: 74352 Current children cumulated CPU time (s) 628.64 Current children cumulated vsize (Kb) 74352 [startup+640.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 24708 0 0 0 63722 138 0 0 25 0 1 0 21199741 76136448 15057 4294967295 134512640 135987407 3221224560 3221223168 134801230 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18588 15057 364 364 0 18224 0 [pid=8712] vsize: 74352 Current children cumulated CPU time (s) 638.6 Current children cumulated vsize (Kb) 74352 [startup+650.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 24773 0 0 0 64717 140 0 0 25 0 1 0 21199741 76275712 15122 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18622 15122 364 364 0 18258 0 [pid=8712] vsize: 74488 Current children cumulated CPU time (s) 648.57 Current children cumulated vsize (Kb) 74488 [startup+660.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 25010 0 0 0 65712 142 0 0 25 0 1 0 21199741 76410880 15159 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18655 15159 364 364 0 18291 0 [pid=8712] vsize: 74620 Current children cumulated CPU time (s) 658.54 Current children cumulated vsize (Kb) 74620 [startup+670.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 25061 0 0 0 66708 144 0 0 25 0 1 0 21199741 76685312 15210 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18722 15210 364 364 0 18358 0 [pid=8712] vsize: 74888 Current children cumulated CPU time (s) 668.52 Current children cumulated vsize (Kb) 74888 [startup+680.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 25273 0 0 0 67705 145 0 0 25 0 1 0 21199741 76685312 15222 4294967295 134512640 135987407 3221224560 3221223104 134811829 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18722 15222 364 364 0 18358 0 [pid=8712] vsize: 74888 Current children cumulated CPU time (s) 678.5 Current children cumulated vsize (Kb) 74888 [startup+690.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 25312 0 0 0 68700 147 0 0 25 0 1 0 21199741 76685312 15261 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18722 15261 364 364 0 18358 0 [pid=8712] vsize: 74888 Current children cumulated CPU time (s) 688.47 Current children cumulated vsize (Kb) 74888 [startup+700.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 25562 0 0 0 69696 149 0 0 25 0 1 0 21199741 76685312 15311 4294967295 134512640 135987407 3221224560 3221223104 134811792 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18722 15311 364 364 0 18358 0 [pid=8712] vsize: 74888 Current children cumulated CPU time (s) 698.45 Current children cumulated vsize (Kb) 74888 [startup+710.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 25802 0 0 0 70690 151 0 0 25 0 1 0 21199741 76824576 15351 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18756 15351 364 364 0 18392 0 [pid=8712] vsize: 75024 Current children cumulated CPU time (s) 708.41 Current children cumulated vsize (Kb) 75024 [startup+720.031 s] Raw data (loadavg): 1.00 0.97 0.91 1/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) T 8711 8712 4004 0 -1 0 26037 0 0 0 71685 153 0 0 25 0 1 0 21199741 76824576 15386 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/8712/statm): 18756 15386 364 364 0 18392 0 [pid=8712] vsize: 75024 Current children cumulated CPU time (s) 718.38 Current children cumulated vsize (Kb) 75024 [startup+730.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 26280 0 0 0 72675 158 0 0 25 0 1 0 21199741 78045184 15629 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 19054 15629 364 364 0 18690 0 [pid=8712] vsize: 76216 Current children cumulated CPU time (s) 728.33 Current children cumulated vsize (Kb) 76216 [startup+740.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 26307 0 0 0 73670 160 0 0 25 0 1 0 21199741 78045184 15656 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 19054 15656 364 364 0 18690 0 [pid=8712] vsize: 76216 Current children cumulated CPU time (s) 738.3 Current children cumulated vsize (Kb) 76216 [startup+750.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 26518 0 0 0 74666 161 0 0 25 0 1 0 21199741 78045184 15667 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 19054 15667 364 364 0 18690 0 [pid=8712] vsize: 76216 Current children cumulated CPU time (s) 748.27 Current children cumulated vsize (Kb) 76216 [startup+760.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 26721 0 0 0 75662 163 0 0 25 0 1 0 21199741 78045184 15670 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 19054 15670 364 364 0 18690 0 [pid=8712] vsize: 76216 Current children cumulated CPU time (s) 758.25 Current children cumulated vsize (Kb) 76216 [startup+770.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 26729 0 0 0 76658 164 0 0 25 0 1 0 21199741 78045184 15678 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19054 15678 364 364 0 18690 0 [pid=8712] vsize: 76216 Current children cumulated CPU time (s) 768.22 Current children cumulated vsize (Kb) 76216 [startup+780.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 26941 0 0 0 77654 166 0 0 25 0 1 0 21199741 78045184 15690 4294967295 134512640 135987407 3221224560 3221223200 134812278 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19054 15690 364 364 0 18690 0 [pid=8712] vsize: 76216 Current children cumulated CPU time (s) 778.2 Current children cumulated vsize (Kb) 76216 [startup+790.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 26946 0 0 0 78650 167 0 0 25 0 1 0 21199741 78045184 15695 4294967295 134512640 135987407 3221224560 3221223104 134812041 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19054 15695 364 364 0 18690 0 [pid=8712] vsize: 76216 Current children cumulated CPU time (s) 788.17 Current children cumulated vsize (Kb) 76216 [startup+800.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27152 0 0 0 79647 169 0 0 25 0 1 0 21199741 78045184 15701 4294967295 134512640 135987407 3221224560 3221222912 134878078 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19054 15701 364 364 0 18690 0 [pid=8712] vsize: 76216 Current children cumulated CPU time (s) 798.16 Current children cumulated vsize (Kb) 76216 [startup+810.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27356 0 0 0 80643 171 0 0 25 0 1 0 21199741 78045184 15705 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19054 15705 364 364 0 18690 0 [pid=8712] vsize: 76216 Current children cumulated CPU time (s) 808.14 Current children cumulated vsize (Kb) 76216 [startup+820.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27371 0 0 0 81639 172 0 0 25 0 1 0 21199741 78180352 15720 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19087 15720 364 364 0 18723 0 [pid=8712] vsize: 76348 Current children cumulated CPU time (s) 818.11 Current children cumulated vsize (Kb) 76348 [startup+830.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27385 0 0 0 82636 174 0 0 25 0 1 0 21199741 78180352 15734 4294967295 134512640 135987407 3221224560 3221223104 134812063 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19087 15734 364 364 0 18723 0 [pid=8712] vsize: 76348 Current children cumulated CPU time (s) 828.1 Current children cumulated vsize (Kb) 76348 [startup+840.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27597 0 0 0 83632 175 0 0 25 0 1 0 21199741 78315520 15746 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19120 15746 364 364 0 18756 0 [pid=8712] vsize: 76480 Current children cumulated CPU time (s) 838.07 Current children cumulated vsize (Kb) 76480 [startup+850.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27625 0 0 0 84629 176 0 0 25 0 1 0 21199741 78315520 15774 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19120 15774 364 364 0 18756 0 [pid=8712] vsize: 76480 Current children cumulated CPU time (s) 848.05 Current children cumulated vsize (Kb) 76480 [startup+860.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27628 0 0 0 85624 178 0 0 25 0 1 0 21199741 78315520 15777 4294967295 134512640 135987407 3221224560 3221223280 134812629 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19120 15777 364 364 0 18756 0 [pid=8712] vsize: 76480 Current children cumulated CPU time (s) 858.02 Current children cumulated vsize (Kb) 76480 [startup+870.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27632 0 0 0 86619 179 0 0 25 0 1 0 21199741 78315520 15781 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19120 15781 364 364 0 18756 0 [pid=8712] vsize: 76480 Current children cumulated CPU time (s) 867.98 Current children cumulated vsize (Kb) 76480 [startup+880.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27867 0 0 0 87616 180 0 0 25 0 1 0 21199741 78450688 15816 4294967295 134512640 135987407 3221224560 3221222976 134788469 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19153 15816 364 364 0 18789 0 [pid=8712] vsize: 76612 Current children cumulated CPU time (s) 877.96 Current children cumulated vsize (Kb) 76612 [startup+890.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27870 0 0 0 88614 181 0 0 25 0 1 0 21199741 78450688 15819 4294967295 134512640 135987407 3221224560 3221223104 134811891 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19153 15819 364 364 0 18789 0 [pid=8712] vsize: 76612 Current children cumulated CPU time (s) 887.95 Current children cumulated vsize (Kb) 76612 [startup+900.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27877 0 0 0 89611 182 0 0 25 0 1 0 21199741 78450688 15826 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19153 15826 364 364 0 18789 0 [pid=8712] vsize: 76612 Current children cumulated CPU time (s) 897.93 Current children cumulated vsize (Kb) 76612 [startup+910.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 27882 0 0 0 90608 184 0 0 25 0 1 0 21199741 78450688 15831 4294967295 134512640 135987407 3221224560 3221223280 134812603 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19153 15831 364 364 0 18789 0 [pid=8712] vsize: 76612 Current children cumulated CPU time (s) 907.92 Current children cumulated vsize (Kb) 76612 [startup+920.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 28094 0 0 0 91602 186 0 0 25 0 1 0 21199741 78585856 15843 4294967295 134512640 135987407 3221224560 3221223104 134811722 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19186 15843 364 364 0 18822 0 [pid=8712] vsize: 76744 Current children cumulated CPU time (s) 917.88 Current children cumulated vsize (Kb) 76744 [startup+930.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 28106 0 0 0 92593 190 0 0 25 0 1 0 21199741 78585856 15855 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19186 15855 364 364 0 18822 0 [pid=8712] vsize: 76744 Current children cumulated CPU time (s) 927.83 Current children cumulated vsize (Kb) 76744 [startup+940.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 28131 0 0 0 93584 193 0 0 25 0 1 0 21199741 78721024 15880 4294967295 134512640 135987407 3221224560 3221223280 134812703 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19219 15880 364 364 0 18855 0 [pid=8712] vsize: 76876 Current children cumulated CPU time (s) 937.77 Current children cumulated vsize (Kb) 76876 [startup+950.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 28164 0 0 0 94577 196 0 0 25 0 1 0 21199741 78917632 15913 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19267 15913 364 364 0 18903 0 [pid=8712] vsize: 77068 Current children cumulated CPU time (s) 947.73 Current children cumulated vsize (Kb) 77068 [startup+960.037 s] Raw data (loadavg): 1.00 0.97 0.91 1/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) T 8711 8712 4004 0 -1 0 28168 0 0 0 95571 198 0 0 25 0 1 0 21199741 78917632 15917 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19267 15917 364 364 0 18903 0 [pid=8712] vsize: 77068 Current children cumulated CPU time (s) 957.69 Current children cumulated vsize (Kb) 77068 [startup+970.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 28171 0 0 0 96566 199 0 0 25 0 1 0 21199741 78917632 15920 4294967295 134512640 135987407 3221224560 3221223104 134811756 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19267 15920 364 364 0 18903 0 [pid=8712] vsize: 77068 Current children cumulated CPU time (s) 967.65 Current children cumulated vsize (Kb) 77068 [startup+980.038 s] Raw data (loadavg): 1.00 0.97 0.91 3/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 28202 0 0 0 97562 201 0 0 25 0 1 0 21199741 78917632 15951 4294967295 134512640 135987407 3221224560 3221223168 134801258 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 19267 15951 364 364 0 18903 0 [pid=8712] vsize: 77068 Current children cumulated CPU time (s) 977.63 Current children cumulated vsize (Kb) 77068 [startup+990.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 28552 0 0 0 98552 205 0 0 25 0 1 0 21199741 79593472 16101 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8712/statm): 19432 16101 364 364 0 19068 0 [pid=8712] vsize: 77728 Current children cumulated CPU time (s) 987.57 Current children cumulated vsize (Kb) 77728 [startup+1000.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 29210 0 0 0 99539 211 0 0 25 0 1 0 21199741 81416192 16411 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19877 16411 364 364 0 19513 0 [pid=8712] vsize: 79508 Current children cumulated CPU time (s) 997.5 Current children cumulated vsize (Kb) 79508 [startup+1010.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 29415 0 0 0 100531 214 0 0 25 0 1 0 21199741 81416192 16416 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19877 16416 364 364 0 19513 0 [pid=8712] vsize: 79508 Current children cumulated CPU time (s) 1007.45 Current children cumulated vsize (Kb) 79508 [startup+1020.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 29431 0 0 0 101524 216 0 0 25 0 1 0 21199741 81416192 16432 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19877 16432 364 364 0 19513 0 [pid=8712] vsize: 79508 Current children cumulated CPU time (s) 1017.4 Current children cumulated vsize (Kb) 79508 [startup+1030.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 29634 0 0 0 102517 219 0 0 25 0 1 0 21199741 81416192 16435 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19877 16435 364 364 0 19513 0 [pid=8712] vsize: 79508 Current children cumulated CPU time (s) 1027.36 Current children cumulated vsize (Kb) 79508 [startup+1040.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 29838 0 0 0 103510 223 0 0 25 0 1 0 21199741 81416192 16439 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19877 16439 364 364 0 19513 0 [pid=8712] vsize: 79508 Current children cumulated CPU time (s) 1037.33 Current children cumulated vsize (Kb) 79508 [startup+1050.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 29842 0 0 0 104503 225 0 0 25 0 1 0 21199741 81416192 16443 4294967295 134512640 135987407 3221224560 3221223264 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19877 16443 364 364 0 19513 0 [pid=8712] vsize: 79508 Current children cumulated CPU time (s) 1047.28 Current children cumulated vsize (Kb) 79508 [startup+1060.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 30045 0 0 0 105497 228 0 0 25 0 1 0 21199741 81416192 16446 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19877 16446 364 364 0 19513 0 [pid=8712] vsize: 79508 Current children cumulated CPU time (s) 1057.25 Current children cumulated vsize (Kb) 79508 [startup+1070.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 30248 0 0 0 106491 230 0 0 25 0 1 0 21199741 81416192 16449 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19877 16449 364 364 0 19513 0 [pid=8712] vsize: 79508 Current children cumulated CPU time (s) 1067.21 Current children cumulated vsize (Kb) 79508 [startup+1080.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 30251 0 0 0 107487 231 0 0 25 0 1 0 21199741 81416192 16452 4294967295 134512640 135987407 3221224560 3221223168 134801142 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19877 16452 364 364 0 19513 0 [pid=8712] vsize: 79508 Current children cumulated CPU time (s) 1077.18 Current children cumulated vsize (Kb) 79508 [startup+1090.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 30262 0 0 0 108482 233 0 0 25 0 1 0 21199741 81416192 16463 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19877 16463 364 364 0 19513 0 [pid=8712] vsize: 79508 Current children cumulated CPU time (s) 1087.15 Current children cumulated vsize (Kb) 79508 [startup+1100.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 30466 0 0 0 109477 235 0 0 25 0 1 0 21199741 81416192 16467 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19877 16467 364 364 0 19513 0 [pid=8712] vsize: 79508 Current children cumulated CPU time (s) 1097.12 Current children cumulated vsize (Kb) 79508 [startup+1110.04 s] Raw data (loadavg): 1.00 0.97 0.91 1/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) T 8711 8712 4004 0 -1 0 30672 0 0 0 110473 236 0 0 25 0 1 0 21199741 81555456 16473 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19911 16473 364 364 0 19547 0 [pid=8712] vsize: 79644 Current children cumulated CPU time (s) 1107.09 Current children cumulated vsize (Kb) 79644 [startup+1120.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 30878 0 0 0 111469 239 0 0 25 0 1 0 21199741 81555456 16479 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19911 16479 364 364 0 19547 0 [pid=8712] vsize: 79644 Current children cumulated CPU time (s) 1117.08 Current children cumulated vsize (Kb) 79644 [startup+1130.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 30883 0 0 0 112465 240 0 0 25 0 1 0 21199741 81555456 16484 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19911 16484 364 364 0 19547 0 [pid=8712] vsize: 79644 Current children cumulated CPU time (s) 1127.05 Current children cumulated vsize (Kb) 79644 [startup+1140.04 s] Raw data (loadavg): 1.07 0.99 0.92 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 31085 0 0 0 113462 242 0 0 25 0 1 0 21199741 81555456 16486 4294967295 134512640 135987407 3221224560 3221223104 134812046 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19911 16486 364 364 0 19547 0 [pid=8712] vsize: 79644 Current children cumulated CPU time (s) 1137.04 Current children cumulated vsize (Kb) 79644 [startup+1150.04 s] Raw data (loadavg): 1.06 0.99 0.92 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 31087 0 0 0 114460 242 0 0 25 0 1 0 21199741 81555456 16488 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19911 16488 364 364 0 19547 0 [pid=8712] vsize: 79644 Current children cumulated CPU time (s) 1147.02 Current children cumulated vsize (Kb) 79644 [startup+1160.04 s] Raw data (loadavg): 1.05 0.99 0.92 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 31096 0 0 0 115456 244 0 0 25 0 1 0 21199741 81555456 16497 4294967295 134512640 135987407 3221224560 3221223104 134812005 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19911 16497 364 364 0 19547 0 [pid=8712] vsize: 79644 Current children cumulated CPU time (s) 1157 Current children cumulated vsize (Kb) 79644 [startup+1170.04 s] Raw data (loadavg): 1.04 0.99 0.92 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 31099 0 0 0 116453 245 0 0 25 0 1 0 21199741 81555456 16500 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19911 16500 364 364 0 19547 0 [pid=8712] vsize: 79644 Current children cumulated CPU time (s) 1166.98 Current children cumulated vsize (Kb) 79644 [startup+1180.04 s] Raw data (loadavg): 1.03 0.99 0.92 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 31108 0 0 0 117449 247 0 0 25 0 1 0 21199741 81555456 16509 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19911 16509 364 364 0 19547 0 [pid=8712] vsize: 79644 Current children cumulated CPU time (s) 1176.96 Current children cumulated vsize (Kb) 79644 [startup+1190.04 s] Raw data (loadavg): 1.03 0.99 0.92 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 31114 0 0 0 118446 248 0 0 25 0 1 0 21199741 81555456 16515 4294967295 134512640 135987407 3221224560 3221223104 134811937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19911 16515 364 364 0 19547 0 [pid=8712] vsize: 79644 Current children cumulated CPU time (s) 1186.94 Current children cumulated vsize (Kb) 79644 [startup+1200.04 s] Raw data (loadavg): 1.02 0.99 0.92 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 31383 0 0 0 119437 251 0 0 25 0 1 0 21199741 81555456 16584 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19911 16584 364 364 0 19547 0 [pid=8712] vsize: 79644 Current children cumulated CPU time (s) 1196.88 Current children cumulated vsize (Kb) 79644 [startup+1210.04 s] Raw data (loadavg): 1.02 0.99 0.92 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 31455 0 0 0 120427 254 0 0 25 0 1 0 21199741 81555456 16656 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19911 16656 364 364 0 19547 0 [pid=8712] vsize: 79644 Current children cumulated CPU time (s) 1206.81 Current children cumulated vsize (Kb) 79644 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.05 s] Raw data (loadavg): 1.02 0.99 0.92 2/55 8712 Raw data (/proc/8712/stat): 8712 (pb2sat) R 8711 8712 4004 0 -1 0 31455 0 0 0 120427 254 0 0 25 0 1 0 21199741 81555456 16656 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8712/statm): 19911 16656 364 364 0 19547 0 [pid=8712] vsize: 79644 Current children cumulated CPU time (s) 1206.81 Current children cumulated vsize (Kb) 79644 Sending SIGTERM to -8712 Sleeping 2 seconds One traced child (pid=8712) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1210.25 CPU time (s): 1207.02 CPU user time (s): 1204.44 CPU system time (s): 2.58161 CPU usage (%): 99.7329 Max. virtual memory (cumulated for all children) (Kb): 79644
Verifier: OK 0