Name | web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb |
MD5SUM | e3892e1941a878802a8ccbbd36201a02 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -29 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 595 |
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 | 595 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 595 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.03 |
Number of variables | 595 |
Total number of constraints | 27842 |
Number of constraints which are clauses | 27842 |
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 wulflinc10 THE 2005-09-23 15:26:25 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8552 boxname=wulflinc10 idbench=348 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: e3892e1941a878802a8ccbbd36201a02 /oldhome/oroussel/tmp/wulflinc10/normalized-frb35-17-4.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc10/normalized-frb35-17-4.opb IDLAUNCH: 8552 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.193 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.193 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: 942852 kB Buffers: 11276 kB Cached: 63660 kB SwapCached: 0 kB Active: 45012 kB Inactive: 32784 kB HighTotal: 131008 kB HighFree: 63448 kB LowTotal: 903652 kB LowFree: 879404 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6972 kB Slab: 8532 kB Committed_AS: 63656 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 15:46:36 (client local time) WITH STATUS 10 IN 1205.96 SECONDS stats: 8552 0 1205.96 10
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 595 c big objective detected c trying from 0 to 511 c Decision: 9743/174941 Time: 33.5689/86400 c Decision: 9743/174941 Time: 54.9207/86400 c Decision: 9743/174941 Time: 77.7152/86400 c Decision: 9743/174941 Time: 94.9426/86400 c Decision: 14279/174941 Time: 117.91/86400 c Decision: 14280/174941 Time: 156.843/86400 c Decision: 14280/174941 Time: 174.628/86400 c Decision: 14280/174941 Time: 192.443/86400 c Decision: 14351/174941 Time: 235.705/86400 c Decision: 14351/174941 Time: 267.313/86400 c Decision: 14351/174941 Time: 286.379/86400 c Decision: 14351/174941 Time: 312.05/86400 c Decision: 14351/174941 Time: 359.651/86400 c Decision: 14351/174941 Time: 409.641/86400 c Decision: 14351/174941 Time: 433.344/86400 c Decision: 14351/174941 Time: 457.208/86400 c Decision: 14351/174941 Time: 487.975/86400 c Decision: 14351/174941 Time: 509.893/86400 c Decision: 14351/174941 Time: 531.68/86400 c Decision: 14351/174941 Time: 553.493/86400 c Decision: 14351/174941 Time: 581.037/86400 c Decision: 14351/174941 Time: 601.406/86400 c Decision: 14351/174941 Time: 623.869/86400 c Decision: 14351/174941 Time: 647.124/86400 c Decision: 14357/174941 Time: 681.577/86400 c Decision: 14357/174941 Time: 707.885/86400 c Decision: 14357/174941 Time: 734.608/86400 c Decision: 14357/174941 Time: 769.186/86400 c Decision: 14357/174941 Time: 800.427/86400 c Decision: 14357/174941 Time: 833.289/86400 c trying from 512 to 594 c got solution with objective value: 593 c starting final optimization c [startup+994.721 s] setting bit 9 to 0 c Decision: 218118/352851 Time: 60.6318/86400 c Decision: 218372/352851 Time: 89.6634/86400 c Decision: 221795/352851 Time: 130.031/86400 c Decision: 222259/352851 Time: 169.07/86400s SATISFIABLE v -C1 -C10 -C100 -C101 -C102 -C103 -C104 -C105 -C106 -C107 -C108 -C109 -C11 -C110 -C111 -C112 -C113 -C114 -C115 -C116 -C117 -C118 -C119 -C12 -C120 -C121 -C122 -C123 -C124 -C125 -C126 -C127 -C128 -C129 -C13 -C130 -C131 -C132 -C133 -C134 -C135 -C136 -C137 -C138 -C139 -C14 -C140 -C141 -C142 -C143 -C144 -C145 -C146 -C147 -C148 -C149 -C15 -C150 -C151 -C152 -C153 -C154 -C155 -C156 -C157 -C158 -C159 -C16 -C160 -C161 -C162 -C163 -C164 -C165 -C166 -C167 -C168 -C169 -C17 -C170 -C171 -C172 -C173 -C174 -C175 -C176 -C177 -C178 -C179 -C18 -C180 -C181 -C182 -C183 -C184 -C185 -C186 -C187 -C188 -C189 -C19 -C190 -C191 -C192 -C193 -C194 -C195 -C196 -C197 -C198 -C199 -C2 -C20 -C200 -C201 -C202 C203 -C204 -C205 -C206 -C207 -C208 -C209 -C21 -C210 -C211 -C212 -C213 -C214 -C215 -C216 -C217 C218 -C219 -C22 -C220 -C221 -C222 -C223 -C224 -C225 -C226 -C227 -C228 -C229 -C23 -C230 -C231 -C232 -C233 -C234 -C235 -C236 -C237 -C238 -C239 -C24 -C240 -C241 -C242 -C243 -C244 -C245 -C246 -C247 -C248 -C249 -C25 -C250 -C251 -C252 -C253 -C254 -C255 -C256 -C257 -C258 -C259 -C26 -C260 -C261 -C262 -C263 -C264 -C265 -C266 -C267 -C268 -C269 -C27 -C270 -C271 -C272 -C273 -C274 -C275 -C276 -C277 -C278 -C279 -C28 -C280 -C281 -C282 -C283 -C284 -C285 -C286 -C287 -C288 -C289 -C29 -C290 -C291 -C292 -C293 -C294 -C295 -C296 -C297 -C298 -C299 -C3 -C30 -C300 -C301 -C302 -C303 -C304 -C305 -C306 -C307 -C308 -C309 -C31 -C310 -C311 -C312 -C313 -C314 -C315 -C316 -C317 -C318 -C319 -C32 -C320 -C321 -C322 -C323 -C324 -C325 -C326 -C327 -C328 -C329 -C33 -C330 -C331 -C332 -C333 -C334 -C335 -C336 -C337 -C338 -C339 -C34 -C340 -C341 -C342 -C343 -C344 -C345 -C346 -C347 -C348 -C349 -C35 -C350 -C351 -C352 -C353 -C354 -C355 -C356 -C357 -C358 -C359 -C36 -C360 -C361 -C362 -C363 -C364 -C365 -C366 -C367 -C368 -C369 -C37 -C370 -C371 -C372 -C373 -C374 -C375 -C376 -C377 -C378 -C379 -C38 -C380 -C381 -C382 -C383 -C384 -C385 -C386 -C387 -C388 -C389 -C39 -C390 -C391 -C392 -C393 -C394 -C395 -C396 -C397 -C398 -C399 -C4 -C40 -C400 -C401 -C402 -C403 -C404 -C405 -C406 -C407 -C408 -C409 -C41 -C410 -C411 -C412 -C413 -C414 -C415 -C416 -C417 -C418 -C419 -C42 -C420 -C421 -C422 -C423 -C424 -C425 -C426 -C427 -C428 -C429 -C43 -C430 -C431 -C432 -C433 -C434 -C435 -C436 -C437 -C438 -C439 -C44 -C440 -C441 -C442 -C443 -C444 -C445 -C446 -C447 -C448 -C449 -C45 -C450 -C451 -C452 -C453 -C454 -C455 -C456 -C457 -C458 -C459 -C46 -C460 -C461 -C462 -C463 -C464 -C465 -C466 -C467 -C468 -C469 -C47 -C470 -C471 -C472 -C473 -C474 -C475 -C476 -C477 -C478 -C479 -C48 -C480 -C481 -C482 -C483 -C484 -C485 -C486 -C487 -C488 -C489 -C49 -C490 -C491 -C492 -C493 -C494 -C495 -C496 -C497 -C498 -C499 -C5 -C50 -C500 -C501 -C502 -C503 -C504 -C505 -C506 -C507 -C508 -C509 -C51 -C510 -C511 -C512 -C513 -C514 -C515 -C516 -C517 -C518 -C519 -C52 -C520 -C521 -C522 -C523 -C524 -C525 -C526 -C527 -C528 -C529 -C53 -C530 -C531 -C532 -C533 -C534 -C535 -C536 -C537 -C538 -C539 -C54 -C540 -C541 -C542 -C543 -C544 -C545 -C546 -C547 -C548 -C549 -C55 -C550 -C551 -C552 -C553 -C554 -C555 -C556 -C557 -C558 -C559 -C56 -C560 -C561 -C562 -C563 -C564 -C565 -C566 -C567 -C568 -C569 -C57 -C570 -C571 -C572 -C573 -C574 -C575 -C576 -C577 -C578 -C579 -C58 -C580 -C581 -C582 -C583 -C584 -C585 -C586 -C587 -C588 -C589 -C59 -C590 -C591 -C592 -C593 -C594 -C595 -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/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21259311 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 373 2 364 364 0 9 0 [pid=6958] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc10/normalized-frb35-17-4.opb [startup+10.0015 s] Raw data (loadavg): 0.93 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 27758 0 0 0 935 60 0 0 25 0 1 0 21259311 92905472 16697 4294967295 134512640 135987407 3221224560 3221199556 134865975 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 22682 16697 364 364 0 22318 0 [pid=6958] vsize: 90728 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 90728 [startup+20.0021 s] Raw data (loadavg): 0.94 0.97 0.96 1/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) T 6957 6958 4061 0 -1 0 30650 0 0 0 1886 80 0 0 25 0 1 0 21259311 100581376 19124 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/6958/statm): 24556 19124 364 364 0 24192 0 [pid=6958] vsize: 98224 Current children cumulated CPU time (s) 19.66 Current children cumulated vsize (Kb) 98224 [startup+30.0027 s] Raw data (loadavg): 0.95 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 31281 0 0 0 2847 92 0 0 25 0 1 0 21259311 103792640 19755 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 25340 19755 364 364 0 24976 0 [pid=6958] vsize: 101360 Current children cumulated CPU time (s) 29.39 Current children cumulated vsize (Kb) 101360 [startup+40.0022 s] Raw data (loadavg): 0.96 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 31500 0 0 0 3841 95 0 0 25 0 1 0 21259311 104448000 19974 4294967295 134512640 135987407 3221224560 3221223120 134812033 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 25500 19974 364 364 0 25136 0 [pid=6958] vsize: 102000 Current children cumulated CPU time (s) 39.36 Current children cumulated vsize (Kb) 102000 [startup+50.0018 s] Raw data (loadavg): 0.96 0.97 0.96 1/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) T 6957 6958 4061 0 -1 0 32834 0 0 0 4821 103 0 0 25 0 1 0 21259311 108687360 20773 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/6958/statm): 26535 20773 364 364 0 26171 0 [pid=6958] vsize: 106140 Current children cumulated CPU time (s) 49.24 Current children cumulated vsize (Kb) 106140 [startup+60.0024 s] Raw data (loadavg): 0.97 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 34501 0 0 0 5806 110 0 0 25 0 1 0 21259311 114135040 21853 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 27865 21853 364 364 0 27501 0 [pid=6958] vsize: 111460 Current children cumulated CPU time (s) 59.16 Current children cumulated vsize (Kb) 111460 [startup+70.0029 s] Raw data (loadavg): 0.97 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 35551 0 0 0 6793 116 0 0 25 0 1 0 21259311 116805632 22297 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 28517 22297 364 364 0 28153 0 [pid=6958] vsize: 114068 Current children cumulated CPU time (s) 69.09 Current children cumulated vsize (Kb) 114068 [startup+80.0035 s] Raw data (loadavg): 0.98 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 36674 0 0 0 7777 123 0 0 25 0 1 0 21259311 120954880 23027 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 29530 23027 364 364 0 29166 0 [pid=6958] vsize: 118120 Current children cumulated CPU time (s) 79 Current children cumulated vsize (Kb) 118120 [startup+90.003 s] Raw data (loadavg): 0.98 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 38014 0 0 0 8767 128 0 0 25 0 1 0 21259311 124391424 23634 4294967295 134512640 135987407 3221224560 3221223120 134812166 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 30369 23634 364 364 0 30005 0 [pid=6958] vsize: 121476 Current children cumulated CPU time (s) 88.95 Current children cumulated vsize (Kb) 121476 [startup+100.003 s] Raw data (loadavg): 0.98 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 38904 0 0 0 9751 135 0 0 25 0 1 0 21259311 127258624 24165 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 31069 24165 364 364 0 30705 0 [pid=6958] vsize: 124276 Current children cumulated CPU time (s) 98.86 Current children cumulated vsize (Kb) 124276 [startup+110.003 s] Raw data (loadavg): 0.98 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 39819 0 0 0 10740 139 0 0 25 0 1 0 21259311 128704512 24509 4294967295 134512640 135987407 3221224560 3221223120 134811778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 31422 24509 364 364 0 31058 0 [pid=6958] vsize: 125688 Current children cumulated CPU time (s) 108.79 Current children cumulated vsize (Kb) 125688 [startup+120.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 40410 0 0 0 11728 145 0 0 25 0 1 0 21259311 131313664 24968 4294967295 134512640 135987407 3221224560 3221223276 134812764 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 32059 24968 364 364 0 31695 0 [pid=6958] vsize: 128236 Current children cumulated CPU time (s) 118.73 Current children cumulated vsize (Kb) 128236 [startup+130.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 41675 0 0 0 12717 151 0 0 25 0 1 0 21259311 134627328 25532 4294967295 134512640 135987407 3221224560 3221223120 134811741 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 32868 25532 364 364 0 32504 0 [pid=6958] vsize: 131472 Current children cumulated CPU time (s) 128.68 Current children cumulated vsize (Kb) 131472 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 42385 0 0 0 13710 154 0 0 25 0 1 0 21259311 137011200 25949 4294967295 134512640 135987407 3221224560 3221223120 134811885 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 33450 25949 364 364 0 33086 0 [pid=6958] vsize: 133800 Current children cumulated CPU time (s) 138.64 Current children cumulated vsize (Kb) 133800 [startup+150.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 42630 0 0 0 14700 157 0 0 25 0 1 0 21259311 137871360 26095 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 33660 26095 364 364 0 33296 0 [pid=6958] vsize: 134640 Current children cumulated CPU time (s) 148.57 Current children cumulated vsize (Kb) 134640 [startup+160.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 42800 0 0 0 15691 160 0 0 25 0 1 0 21259311 138543104 26232 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 33824 26232 364 364 0 33460 0 [pid=6958] vsize: 135296 Current children cumulated CPU time (s) 158.51 Current children cumulated vsize (Kb) 135296 [startup+170.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 43219 0 0 0 16683 164 0 0 25 0 1 0 21259311 138813440 26309 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 33890 26309 364 364 0 33526 0 [pid=6958] vsize: 135560 Current children cumulated CPU time (s) 168.47 Current children cumulated vsize (Kb) 135560 [startup+180.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 43420 0 0 0 17677 167 0 0 25 0 1 0 21259311 139612160 26444 4294967295 134512640 135987407 3221224560 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 34085 26444 364 364 0 33721 0 [pid=6958] vsize: 136340 Current children cumulated CPU time (s) 178.44 Current children cumulated vsize (Kb) 136340 [startup+190.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 43947 0 0 0 18666 171 0 0 25 0 1 0 21259311 140541952 26596 4294967295 134512640 135987407 3221224560 3221223192 134811683 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 34312 26596 364 364 0 33948 0 [pid=6958] vsize: 137248 Current children cumulated CPU time (s) 188.37 Current children cumulated vsize (Kb) 137248 [startup+200.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 43955 0 0 0 19661 172 0 0 25 0 1 0 21259311 140541952 26604 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 34312 26604 364 364 0 33948 0 [pid=6958] vsize: 137248 Current children cumulated CPU time (s) 198.33 Current children cumulated vsize (Kb) 137248 [startup+210.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 44829 0 0 0 20650 178 0 0 25 0 1 0 21259311 141983744 26777 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 34664 26777 364 364 0 34300 0 [pid=6958] vsize: 138656 Current children cumulated CPU time (s) 208.28 Current children cumulated vsize (Kb) 138656 [startup+220.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 44923 0 0 0 21642 181 0 0 25 0 1 0 21259311 142381056 26838 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 34761 26838 364 364 0 34397 0 [pid=6958] vsize: 139044 Current children cumulated CPU time (s) 218.23 Current children cumulated vsize (Kb) 139044 [startup+230.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 45022 0 0 0 22637 183 0 0 25 0 1 0 21259311 142647296 26904 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 34826 26904 364 364 0 34462 0 [pid=6958] vsize: 139304 Current children cumulated CPU time (s) 228.2 Current children cumulated vsize (Kb) 139304 [startup+240.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 45246 0 0 0 23628 187 0 0 25 0 1 0 21259311 143175680 27062 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 34955 27062 364 364 0 34591 0 [pid=6958] vsize: 139820 Current children cumulated CPU time (s) 238.15 Current children cumulated vsize (Kb) 139820 [startup+250.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 45614 0 0 0 24622 189 0 0 25 0 1 0 21259311 143175680 27088 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 34955 27088 364 364 0 34591 0 [pid=6958] vsize: 139820 Current children cumulated CPU time (s) 248.11 Current children cumulated vsize (Kb) 139820 [startup+260.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 45763 0 0 0 25614 192 0 0 25 0 1 0 21259311 143839232 27204 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 35117 27204 364 364 0 34753 0 [pid=6958] vsize: 140468 Current children cumulated CPU time (s) 258.06 Current children cumulated vsize (Kb) 140468 [startup+270.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 46542 0 0 0 26606 196 0 0 25 0 1 0 21259311 146599936 27560 4294967295 134512640 135987407 3221224560 3221223216 134812361 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 35791 27560 364 364 0 35427 0 [pid=6958] vsize: 143164 Current children cumulated CPU time (s) 268.02 Current children cumulated vsize (Kb) 143164 [startup+280.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 47576 0 0 0 27598 200 0 0 25 0 1 0 21259311 148832256 27893 4294967295 134512640 135987407 3221224560 3221223252 135479892 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 36336 27893 364 364 0 35972 0 [pid=6958] vsize: 145344 Current children cumulated CPU time (s) 277.98 Current children cumulated vsize (Kb) 145344 [startup+290.004 s] Raw data (loadavg): 0.99 0.97 0.96 1/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) T 6957 6958 4061 0 -1 0 47607 0 0 0 28592 202 0 0 25 0 1 0 21259311 148832256 27924 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/6958/statm): 36336 27924 364 364 0 35972 0 [pid=6958] vsize: 145344 Current children cumulated CPU time (s) 287.94 Current children cumulated vsize (Kb) 145344 [startup+300.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 48035 0 0 0 29584 205 0 0 25 0 1 0 21259311 148963328 27977 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 36368 27977 364 364 0 36004 0 [pid=6958] vsize: 145472 Current children cumulated CPU time (s) 297.89 Current children cumulated vsize (Kb) 145472 [startup+310.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 48204 0 0 0 30577 207 0 0 25 0 1 0 21259311 149622784 28047 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 36529 28047 364 364 0 36165 0 [pid=6958] vsize: 146116 Current children cumulated CPU time (s) 307.84 Current children cumulated vsize (Kb) 146116 [startup+320.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 48205 0 0 0 31570 209 0 0 25 0 1 0 21259311 149622784 28048 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 36529 28048 364 364 0 36165 0 [pid=6958] vsize: 146116 Current children cumulated CPU time (s) 317.79 Current children cumulated vsize (Kb) 146116 [startup+330.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 49210 0 0 0 32563 213 0 0 25 0 1 0 21259311 151334912 28418 4294967295 134512640 135987407 3221224560 3221223216 134812361 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 36947 28418 364 364 0 36583 0 [pid=6958] vsize: 147788 Current children cumulated CPU time (s) 327.76 Current children cumulated vsize (Kb) 147788 [startup+340.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 49980 0 0 0 33555 217 0 0 25 0 1 0 21259311 153780224 28879 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 37544 28879 364 364 0 37180 0 [pid=6958] vsize: 150176 Current children cumulated CPU time (s) 337.72 Current children cumulated vsize (Kb) 150176 [startup+350.003 s] Raw data (loadavg): 0.99 0.97 0.96 1/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) T 6957 6958 4061 0 -1 0 50497 0 0 0 34549 220 0 0 25 0 1 0 21259311 155090944 29071 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/6958/statm): 37864 29071 364 364 0 37500 0 [pid=6958] vsize: 151456 Current children cumulated CPU time (s) 347.69 Current children cumulated vsize (Kb) 151456 [startup+360.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 50774 0 0 0 35541 224 0 0 25 0 1 0 21259311 155746304 29185 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38024 29185 364 364 0 37660 0 [pid=6958] vsize: 152096 Current children cumulated CPU time (s) 357.65 Current children cumulated vsize (Kb) 152096 [startup+370.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 50856 0 0 0 36535 226 0 0 25 0 1 0 21259311 155877376 29234 4294967295 134512640 135987407 3221224560 3221223216 134812361 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 38056 29234 364 364 0 37692 0 [pid=6958] vsize: 152224 Current children cumulated CPU time (s) 367.61 Current children cumulated vsize (Kb) 152224 [startup+380.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 51412 0 0 0 37528 229 0 0 25 0 1 0 21259311 156270592 29350 4294967295 134512640 135987407 3221224560 3221223244 134812262 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 38152 29350 364 364 0 37788 0 [pid=6958] vsize: 152608 Current children cumulated CPU time (s) 377.57 Current children cumulated vsize (Kb) 152608 [startup+390.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 51591 0 0 0 38523 231 0 0 25 0 1 0 21259311 156532736 29464 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38216 29464 364 364 0 37852 0 [pid=6958] vsize: 152864 Current children cumulated CPU time (s) 387.54 Current children cumulated vsize (Kb) 152864 [startup+400.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 51791 0 0 0 39516 234 0 0 25 0 1 0 21259311 157323264 29599 4294967295 134512640 135987407 3221224560 3221223120 134811824 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38409 29599 364 364 0 38045 0 [pid=6958] vsize: 153636 Current children cumulated CPU time (s) 397.5 Current children cumulated vsize (Kb) 153636 [startup+410.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 52100 0 0 0 40508 237 0 0 25 0 1 0 21259311 158109696 29713 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 38601 29713 364 364 0 38237 0 [pid=6958] vsize: 154404 Current children cumulated CPU time (s) 407.45 Current children cumulated vsize (Kb) 154404 [startup+420.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 52102 0 0 0 41503 240 0 0 25 0 1 0 21259311 158109696 29715 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 38601 29715 364 364 0 38237 0 [pid=6958] vsize: 154404 Current children cumulated CPU time (s) 417.43 Current children cumulated vsize (Kb) 154404 [startup+430.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 52445 0 0 0 42496 242 0 0 25 0 1 0 21259311 158109696 29716 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38601 29716 364 364 0 38237 0 [pid=6958] vsize: 154404 Current children cumulated CPU time (s) 427.38 Current children cumulated vsize (Kb) 154404 [startup+440.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 52463 0 0 0 43490 244 0 0 25 0 1 0 21259311 158109696 29734 4294967295 134512640 135987407 3221224560 3221223120 134811933 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38601 29734 364 364 0 38237 0 [pid=6958] vsize: 154404 Current children cumulated CPU time (s) 437.34 Current children cumulated vsize (Kb) 154404 [startup+450.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 52828 0 0 0 44487 246 0 0 25 0 1 0 21259311 158109696 29757 4294967295 134512640 135987407 3221224560 3221223120 134811980 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38601 29757 364 364 0 38237 0 [pid=6958] vsize: 154404 Current children cumulated CPU time (s) 447.33 Current children cumulated vsize (Kb) 154404 [startup+460.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 52849 0 0 0 45482 248 0 0 25 0 1 0 21259311 158109696 29778 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38601 29778 364 364 0 38237 0 [pid=6958] vsize: 154404 Current children cumulated CPU time (s) 457.3 Current children cumulated vsize (Kb) 154404 [startup+470.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 53197 0 0 0 46476 250 0 0 25 0 1 0 21259311 158109696 29784 4294967295 134512640 135987407 3221224560 3221223248 134876948 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38601 29784 364 364 0 38237 0 [pid=6958] vsize: 154404 Current children cumulated CPU time (s) 467.26 Current children cumulated vsize (Kb) 154404 [startup+480.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 53287 0 0 0 47472 251 0 0 25 0 1 0 21259311 158371840 29809 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38665 29809 364 364 0 38301 0 [pid=6958] vsize: 154660 Current children cumulated CPU time (s) 477.23 Current children cumulated vsize (Kb) 154660 [startup+490.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 53390 0 0 0 48466 253 0 0 25 0 1 0 21259311 158633984 29847 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38729 29847 364 364 0 38365 0 [pid=6958] vsize: 154916 Current children cumulated CPU time (s) 487.19 Current children cumulated vsize (Kb) 154916 [startup+500.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 53391 0 0 0 49460 255 0 0 25 0 1 0 21259311 158633984 29848 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38729 29848 364 364 0 38365 0 [pid=6958] vsize: 154916 Current children cumulated CPU time (s) 497.15 Current children cumulated vsize (Kb) 154916 [startup+510.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 53735 0 0 0 50453 258 0 0 25 0 1 0 21259311 158633984 29850 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38729 29850 364 364 0 38365 0 [pid=6958] vsize: 154916 Current children cumulated CPU time (s) 507.11 Current children cumulated vsize (Kb) 154916 [startup+520.002 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 53737 0 0 0 51447 260 0 0 25 0 1 0 21259311 158633984 29852 4294967295 134512640 135987407 3221224560 3221223120 134812038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38729 29852 364 364 0 38365 0 [pid=6958] vsize: 154916 Current children cumulated CPU time (s) 517.07 Current children cumulated vsize (Kb) 154916 [startup+530.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 54084 0 0 0 52442 262 0 0 25 0 1 0 21259311 158633984 29857 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 38729 29857 364 364 0 38365 0 [pid=6958] vsize: 154916 Current children cumulated CPU time (s) 527.04 Current children cumulated vsize (Kb) 154916 [startup+540.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 54091 0 0 0 53439 263 0 0 25 0 1 0 21259311 158633984 29864 4294967295 134512640 135987407 3221224560 3221223196 134811680 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38729 29864 364 364 0 38365 0 [pid=6958] vsize: 154916 Current children cumulated CPU time (s) 537.02 Current children cumulated vsize (Kb) 154916 [startup+550.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 54435 0 0 0 54435 265 0 0 25 0 1 0 21259311 158633984 29866 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38729 29866 364 364 0 38365 0 [pid=6958] vsize: 154916 Current children cumulated CPU time (s) 547 Current children cumulated vsize (Kb) 154916 [startup+560.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 54443 0 0 0 55431 267 0 0 25 0 1 0 21259311 158633984 29874 4294967295 134512640 135987407 3221224560 3221223120 134811980 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38729 29874 364 364 0 38365 0 [pid=6958] vsize: 154916 Current children cumulated CPU time (s) 556.98 Current children cumulated vsize (Kb) 154916 [startup+570.002 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 54798 0 0 0 56428 268 0 0 25 0 1 0 21259311 158633984 29887 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38729 29887 364 364 0 38365 0 [pid=6958] vsize: 154916 Current children cumulated CPU time (s) 566.96 Current children cumulated vsize (Kb) 154916 [startup+580.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 54807 0 0 0 57424 269 0 0 25 0 1 0 21259311 158633984 29896 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38729 29896 364 364 0 38365 0 [pid=6958] vsize: 154916 Current children cumulated CPU time (s) 576.93 Current children cumulated vsize (Kb) 154916 [startup+590.002 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 54812 0 0 0 58419 271 0 0 25 0 1 0 21259311 158633984 29901 4294967295 134512640 135987407 3221224560 3221223120 134811822 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38729 29901 364 364 0 38365 0 [pid=6958] vsize: 154916 Current children cumulated CPU time (s) 586.9 Current children cumulated vsize (Kb) 154916 [startup+600.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 55168 0 0 0 59414 273 0 0 25 0 1 0 21259311 158633984 29915 4294967295 134512640 135987407 3221224560 3221223120 134812056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38729 29915 364 364 0 38365 0 [pid=6958] vsize: 154916 Current children cumulated CPU time (s) 596.87 Current children cumulated vsize (Kb) 154916 [startup+610.002 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 55170 0 0 0 60411 274 0 0 25 0 1 0 21259311 158633984 29917 4294967295 134512640 135987407 3221224560 3221223184 134801140 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38729 29917 364 364 0 38365 0 [pid=6958] vsize: 154916 Current children cumulated CPU time (s) 606.85 Current children cumulated vsize (Kb) 154916 [startup+620.002 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 55514 0 0 0 61408 276 0 0 25 0 1 0 21259311 158633984 29919 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38729 29919 364 364 0 38365 0 [pid=6958] vsize: 154916 Current children cumulated CPU time (s) 616.84 Current children cumulated vsize (Kb) 154916 [startup+630.002 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 55516 0 0 0 62404 278 0 0 25 0 1 0 21259311 158633984 29921 4294967295 134512640 135987407 3221224560 3221223120 134811824 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38729 29921 364 364 0 38365 0 [pid=6958] vsize: 154916 Current children cumulated CPU time (s) 626.82 Current children cumulated vsize (Kb) 154916 [startup+640.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 55860 0 0 0 63399 281 0 0 25 0 1 0 21259311 158633984 29923 4294967295 134512640 135987407 3221224560 3221223120 134811870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38729 29923 364 364 0 38365 0 [pid=6958] vsize: 154916 Current children cumulated CPU time (s) 636.8 Current children cumulated vsize (Kb) 154916 [startup+650.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 55862 0 0 0 64396 282 0 0 25 0 1 0 21259311 158633984 29925 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38729 29925 364 364 0 38365 0 [pid=6958] vsize: 154916 Current children cumulated CPU time (s) 646.78 Current children cumulated vsize (Kb) 154916 [startup+660.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 55863 0 0 0 65393 282 0 0 25 0 1 0 21259311 158633984 29926 4294967295 134512640 135987407 3221224560 3221223248 134824261 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38729 29926 364 364 0 38365 0 [pid=6958] vsize: 154916 Current children cumulated CPU time (s) 656.75 Current children cumulated vsize (Kb) 154916 [startup+670.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 56393 0 0 0 66389 285 0 0 25 0 1 0 21259311 159158272 29984 4294967295 134512640 135987407 3221224560 3221223200 134812419 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38857 29984 364 364 0 38493 0 [pid=6958] vsize: 155428 Current children cumulated CPU time (s) 666.74 Current children cumulated vsize (Kb) 155428 [startup+680.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 56479 0 0 0 67386 286 0 0 25 0 1 0 21259311 159289344 30037 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38889 30037 364 364 0 38525 0 [pid=6958] vsize: 155556 Current children cumulated CPU time (s) 676.72 Current children cumulated vsize (Kb) 155556 [startup+690.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 56574 0 0 0 68383 287 0 0 25 0 1 0 21259311 159551488 30067 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38953 30067 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 686.7 Current children cumulated vsize (Kb) 155812 [startup+700.002 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 56931 0 0 0 69381 289 0 0 25 0 1 0 21259311 159551488 30082 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38953 30082 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 696.7 Current children cumulated vsize (Kb) 155812 [startup+710.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 56948 0 0 0 70378 290 0 0 25 0 1 0 21259311 159551488 30099 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38953 30099 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 706.68 Current children cumulated vsize (Kb) 155812 [startup+720.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 56981 0 0 0 71376 291 0 0 25 0 1 0 21259311 159551488 30132 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38953 30132 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 716.67 Current children cumulated vsize (Kb) 155812 [startup+730.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 57324 0 0 0 72373 292 0 0 25 0 1 0 21259311 159551488 30133 4294967295 134512640 135987407 3221224560 3221223120 134811933 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38953 30133 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 726.65 Current children cumulated vsize (Kb) 155812 [startup+740.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 57326 0 0 0 73371 293 0 0 25 0 1 0 21259311 159551488 30135 4294967295 134512640 135987407 3221224560 3221223120 134811990 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38953 30135 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 736.64 Current children cumulated vsize (Kb) 155812 [startup+750.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 57669 0 0 0 74368 295 0 0 25 0 1 0 21259311 159551488 30136 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38953 30136 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 746.63 Current children cumulated vsize (Kb) 155812 [startup+760.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 57671 0 0 0 75366 295 0 0 25 0 1 0 21259311 159551488 30138 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38953 30138 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 756.61 Current children cumulated vsize (Kb) 155812 [startup+770.002 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 57674 0 0 0 76363 297 0 0 25 0 1 0 21259311 159551488 30141 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 38953 30141 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 766.6 Current children cumulated vsize (Kb) 155812 [startup+780.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 57715 0 0 0 77361 298 0 0 25 0 1 0 21259311 159551488 30182 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 38953 30182 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 776.59 Current children cumulated vsize (Kb) 155812 [startup+790.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 58064 0 0 0 78358 300 0 0 25 0 1 0 21259311 159551488 30189 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 38953 30189 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 786.58 Current children cumulated vsize (Kb) 155812 [startup+800.002 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 58089 0 0 0 79355 301 0 0 25 0 1 0 21259311 159551488 30214 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 38953 30214 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 796.56 Current children cumulated vsize (Kb) 155812 [startup+810.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 58101 0 0 0 80354 302 0 0 25 0 1 0 21259311 159551488 30226 4294967295 134512640 135987407 3221224560 3221223120 134811950 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 38953 30226 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 806.56 Current children cumulated vsize (Kb) 155812 [startup+820.002 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 58453 0 0 0 81350 304 0 0 25 0 1 0 21259311 159551488 30236 4294967295 134512640 135987407 3221224560 3221223280 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 38953 30236 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 816.54 Current children cumulated vsize (Kb) 155812 [startup+830.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 58474 0 0 0 82349 305 0 0 25 0 1 0 21259311 159551488 30257 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 38953 30257 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 826.54 Current children cumulated vsize (Kb) 155812 [startup+840.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 58485 0 0 0 83347 306 0 0 25 0 1 0 21259311 159551488 30268 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 38953 30268 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 836.53 Current children cumulated vsize (Kb) 155812 [startup+850.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 58835 0 0 0 84343 308 0 0 25 0 1 0 21259311 159551488 30276 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 38953 30276 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 846.51 Current children cumulated vsize (Kb) 155812 [startup+860.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 58846 0 0 0 85341 308 0 0 25 0 1 0 21259311 159551488 30287 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 38953 30287 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 856.49 Current children cumulated vsize (Kb) 155812 [startup+870.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 58855 0 0 0 86340 309 0 0 25 0 1 0 21259311 159551488 30296 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 38953 30296 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 866.49 Current children cumulated vsize (Kb) 155812 [startup+880.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 58866 0 0 0 87337 310 0 0 25 0 1 0 21259311 159551488 30307 4294967295 134512640 135987407 3221224560 3221223248 134824238 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 38953 30307 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 876.47 Current children cumulated vsize (Kb) 155812 [startup+890.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 58874 0 0 0 88335 311 0 0 25 0 1 0 21259311 159551488 30315 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 38953 30315 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 886.46 Current children cumulated vsize (Kb) 155812 [startup+900.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 58883 0 0 0 89332 312 0 0 25 0 1 0 21259311 159551488 30324 4294967295 134512640 135987407 3221224560 3221223120 134811813 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 38953 30324 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 896.44 Current children cumulated vsize (Kb) 155812 [startup+910.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 58892 0 0 0 90330 312 0 0 25 0 1 0 21259311 159551488 30333 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 38953 30333 364 364 0 38589 0 [pid=6958] vsize: 155812 Current children cumulated CPU time (s) 906.42 Current children cumulated vsize (Kb) 155812 [startup+920.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 59050 0 0 0 91327 313 0 0 25 0 1 0 21259311 160075776 30362 4294967295 134512640 135987407 3221224560 3221223120 134812033 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 39081 30362 364 364 0 38717 0 [pid=6958] vsize: 156324 Current children cumulated CPU time (s) 916.4 Current children cumulated vsize (Kb) 156324 [startup+930.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 59060 0 0 0 92326 314 0 0 25 0 1 0 21259311 160075776 30372 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 39081 30372 364 364 0 38717 0 [pid=6958] vsize: 156324 Current children cumulated CPU time (s) 926.4 Current children cumulated vsize (Kb) 156324 [startup+940.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 59069 0 0 0 93323 315 0 0 25 0 1 0 21259311 160075776 30381 4294967295 134512640 135987407 3221224560 3221223016 135486713 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 39081 30381 364 364 0 38717 0 [pid=6958] vsize: 156324 Current children cumulated CPU time (s) 936.38 Current children cumulated vsize (Kb) 156324 [startup+950.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 59129 0 0 0 94322 316 0 0 25 0 1 0 21259311 160342016 30441 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 39146 30441 364 364 0 38782 0 [pid=6958] vsize: 156584 Current children cumulated CPU time (s) 946.38 Current children cumulated vsize (Kb) 156584 [startup+960.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 59136 0 0 0 95319 317 0 0 25 0 1 0 21259311 160342016 30448 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 39146 30448 364 364 0 38782 0 [pid=6958] vsize: 156584 Current children cumulated CPU time (s) 956.36 Current children cumulated vsize (Kb) 156584 [startup+970.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 59144 0 0 0 96317 318 0 0 25 0 1 0 21259311 160342016 30456 4294967295 134512640 135987407 3221224560 3221223248 134824261 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 39146 30456 364 364 0 38782 0 [pid=6958] vsize: 156584 Current children cumulated CPU time (s) 966.35 Current children cumulated vsize (Kb) 156584 [startup+980.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 76908 0 0 0 97274 359 0 0 25 0 1 0 21259311 214409216 41803 4294967295 134512640 135987407 3221224560 3221191400 134877029 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 52346 41803 364 364 0 51982 0 [pid=6958] vsize: 209384 Current children cumulated CPU time (s) 976.33 Current children cumulated vsize (Kb) 209384 [startup+990.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 92047 0 0 0 98233 397 0 0 25 0 1 0 21259311 247627776 49205 4294967295 134512640 135987407 3221224560 3221223040 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 60456 49205 364 364 0 60092 0 [pid=6958] vsize: 241824 Current children cumulated CPU time (s) 986.3 Current children cumulated vsize (Kb) 241824 [startup+1000.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 93296 0 0 0 99221 404 0 0 25 0 1 0 21259311 248201216 49368 4294967295 134512640 135987407 3221224560 3221223216 134812650 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 60596 49368 364 364 0 60232 0 [pid=6958] vsize: 242384 Current children cumulated CPU time (s) 996.25 Current children cumulated vsize (Kb) 242384 [startup+1010.01 s] Raw data (loadavg): 0.99 0.97 0.96 1/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) T 6957 6958 4061 0 -1 0 93374 0 0 0 100182 418 0 0 25 0 1 0 21259311 248872960 49446 4294967295 134512640 135987407 3221224560 3221223180 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/6958/statm): 60760 49446 364 364 0 60396 0 [pid=6958] vsize: 243040 Current children cumulated CPU time (s) 1006 Current children cumulated vsize (Kb) 243040 [startup+1020.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) T 6957 6958 4061 0 -1 0 93467 0 0 0 101136 431 0 0 25 0 1 0 21259311 249270272 49474 4294967295 134512640 135987407 3221224560 3221223180 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/6958/statm): 60857 49474 364 364 0 60493 0 [pid=6958] vsize: 243428 Current children cumulated CPU time (s) 1015.67 Current children cumulated vsize (Kb) 243428 [startup+1030.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 93478 0 0 0 102120 436 0 0 25 0 1 0 21259311 249270272 49485 4294967295 134512640 135987407 3221224560 3221223040 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 60857 49485 364 364 0 60493 0 [pid=6958] vsize: 243428 Current children cumulated CPU time (s) 1025.56 Current children cumulated vsize (Kb) 243428 [startup+1040.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 93501 0 0 0 103112 438 0 0 25 0 1 0 21259311 249405440 49508 4294967295 134512640 135987407 3221224560 3221223040 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 60890 49508 364 364 0 60526 0 [pid=6958] vsize: 243560 Current children cumulated CPU time (s) 1035.5 Current children cumulated vsize (Kb) 243560 [startup+1050.01 s] Raw data (loadavg): 0.99 0.97 0.96 1/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) T 6957 6958 4061 0 -1 0 93503 0 0 0 104109 439 0 0 25 0 1 0 21259311 249405440 49510 4294967295 134512640 135987407 3221224560 3221223180 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/6958/statm): 60890 49510 364 364 0 60526 0 [pid=6958] vsize: 243560 Current children cumulated CPU time (s) 1045.48 Current children cumulated vsize (Kb) 243560 [startup+1060.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 94245 0 0 0 105096 444 0 0 25 0 1 0 21259311 249675776 49562 4294967295 134512640 135987407 3221224560 3221223120 134812426 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 60956 49562 364 364 0 60592 0 [pid=6958] vsize: 243824 Current children cumulated CPU time (s) 1055.4 Current children cumulated vsize (Kb) 243824 [startup+1070.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 94247 0 0 0 106086 448 0 0 25 0 1 0 21259311 249675776 49564 4294967295 134512640 135987407 3221224560 3221223216 134812653 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 60956 49564 364 364 0 60592 0 [pid=6958] vsize: 243824 Current children cumulated CPU time (s) 1065.34 Current children cumulated vsize (Kb) 243824 [startup+1080.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 94249 0 0 0 107085 449 0 0 25 0 1 0 21259311 249675776 49566 4294967295 134512640 135987407 3221224560 3221223040 134811950 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6958/statm): 60956 49566 364 364 0 60592 0 [pid=6958] vsize: 243824 Current children cumulated CPU time (s) 1075.34 Current children cumulated vsize (Kb) 243824 [startup+1090.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) T 6957 6958 4061 0 -1 0 94940 0 0 0 108074 453 0 0 25 0 1 0 21259311 249675776 49567 4294967295 134512640 135987407 3221224560 3221223180 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/6958/statm): 60956 49567 364 364 0 60592 0 [pid=6958] vsize: 243824 Current children cumulated CPU time (s) 1085.27 Current children cumulated vsize (Kb) 243824 [startup+1100.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 95139 0 0 0 109063 456 0 0 25 0 1 0 21259311 250204160 49667 4294967295 134512640 135987407 3221224560 3221223040 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 61085 49667 364 364 0 60721 0 [pid=6958] vsize: 244340 Current children cumulated CPU time (s) 1095.19 Current children cumulated vsize (Kb) 244340 [startup+1110.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 95140 0 0 0 110060 458 0 0 25 0 1 0 21259311 250204160 49668 4294967295 134512640 135987407 3221224560 3221223200 134789987 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 61085 49668 364 364 0 60721 0 [pid=6958] vsize: 244340 Current children cumulated CPU time (s) 1105.18 Current children cumulated vsize (Kb) 244340 [startup+1120.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 95142 0 0 0 111058 458 0 0 25 0 1 0 21259311 250204160 49670 4294967295 134512640 135987407 3221224560 3221223040 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 61085 49670 364 364 0 60721 0 [pid=6958] vsize: 244340 Current children cumulated CPU time (s) 1115.16 Current children cumulated vsize (Kb) 244340 [startup+1130.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 95833 0 0 0 112054 461 0 0 25 0 1 0 21259311 250204160 49671 4294967295 134512640 135987407 3221224560 3221223168 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 61085 49671 364 364 0 60721 0 [pid=6958] vsize: 244340 Current children cumulated CPU time (s) 1125.15 Current children cumulated vsize (Kb) 244340 [startup+1140.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 95835 0 0 0 113052 462 0 0 25 0 1 0 21259311 250204160 49673 4294967295 134512640 135987407 3221224560 3221223040 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 61085 49673 364 364 0 60721 0 [pid=6958] vsize: 244340 Current children cumulated CPU time (s) 1135.14 Current children cumulated vsize (Kb) 244340 [startup+1150.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 95836 0 0 0 114049 463 0 0 25 0 1 0 21259311 250204160 49674 4294967295 134512640 135987407 3221224560 3221223040 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 61085 49674 364 364 0 60721 0 [pid=6958] vsize: 244340 Current children cumulated CPU time (s) 1145.12 Current children cumulated vsize (Kb) 244340 [startup+1160.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 95837 0 0 0 115048 464 0 0 25 0 1 0 21259311 250204160 49675 4294967295 134512640 135987407 3221224560 3221223168 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 61085 49675 364 364 0 60721 0 [pid=6958] vsize: 244340 Current children cumulated CPU time (s) 1155.12 Current children cumulated vsize (Kb) 244340 [startup+1170.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 96529 0 0 0 116043 467 0 0 25 0 1 0 21259311 250204160 49677 4294967295 134512640 135987407 3221224560 3221223040 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 61085 49677 364 364 0 60721 0 [pid=6958] vsize: 244340 Current children cumulated CPU time (s) 1165.1 Current children cumulated vsize (Kb) 244340 [startup+1180.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 96530 0 0 0 117040 468 0 0 25 0 1 0 21259311 250204160 49678 4294967295 134512640 135987407 3221224560 3221222912 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 61085 49678 364 364 0 60721 0 [pid=6958] vsize: 244340 Current children cumulated CPU time (s) 1175.08 Current children cumulated vsize (Kb) 244340 [startup+1190.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 96532 0 0 0 118038 469 0 0 25 0 1 0 21259311 250204160 49680 4294967295 134512640 135987407 3221224560 3221223200 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 61085 49680 364 364 0 60721 0 [pid=6958] vsize: 244340 Current children cumulated CPU time (s) 1185.07 Current children cumulated vsize (Kb) 244340 [startup+1200.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 96534 0 0 0 119035 470 0 0 25 0 1 0 21259311 250204160 49682 4294967295 134512640 135987407 3221224560 3221223040 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 61085 49682 364 364 0 60721 0 [pid=6958] vsize: 244340 Current children cumulated CPU time (s) 1195.05 Current children cumulated vsize (Kb) 244340 [startup+1210.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 96536 0 0 0 120032 472 0 0 25 0 1 0 21259311 250204160 49684 4294967295 134512640 135987407 3221224560 3221223136 134812365 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 61085 49684 364 364 0 60721 0 [pid=6958] vsize: 244340 Current children cumulated CPU time (s) 1205.04 Current children cumulated vsize (Kb) 244340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 6958 Raw data (/proc/6958/stat): 6958 (pb2sat) R 6957 6958 4061 0 -1 0 96536 0 0 0 120032 472 0 0 25 0 1 0 21259311 250204160 49684 4294967295 134512640 135987407 3221224560 3221223136 134812343 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6958/statm): 61085 49684 364 364 0 60721 0 [pid=6958] vsize: 244340 Current children cumulated CPU time (s) 1205.04 Current children cumulated vsize (Kb) 244340 Sending SIGTERM to -6958 Sleeping 2 seconds One traced child (pid=6958) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1210.93 CPU time (s): 1205.96 CPU user time (s): 1201.14 CPU system time (s): 4.82127 CPU usage (%): 99.5892 Max. virtual memory (cumulated for all children) (Kb): 244340
Verifier: OK -2