Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Nameweb/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
MD5SUMe3892e1941a878802a8ccbbd36201a02
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
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 numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.03
Number of variables595
Total number of constraints27842
Number of constraints which are clauses27842
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2

Trace number 9817

Launcher Data

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

Solver Data

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 

Watcher Data

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 Data

Verifier:	OK	-2