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-2.opb
MD5SUM409f1cf0658f035df65cb61f3e4f598e
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
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 constraints27847
Number of constraints which are clauses27847
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 9816

Launcher Data

LAUNCH ON wulflinc5 THE 2005-09-23 15:26:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8551 boxname=wulflinc5 idbench=347 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  409f1cf0658f035df65cb61f3e4f598e  /oldhome/oroussel/tmp/wulflinc5/normalized-frb35-17-2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc5/normalized-frb35-17-2.opb
IDLAUNCH: 8551
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.158
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.158
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        935884 kB
Buffers:         14536 kB
Cached:          65704 kB
SwapCached:          0 kB
Active:          44420 kB
Inactive:        38740 kB
HighTotal:      131008 kB
HighFree:        61320 kB
LowTotal:       903652 kB
LowFree:        874564 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:            10160 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:34 (client local time) WITH STATUS 10 IN 1206.54 SECONDS
stats: 8551 0 1206.54 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: 673/174941	Time: 19.2931/86400
c Decision: 673/174941	Time: 39.0081/86400
c Decision: 673/174941	Time: 59.48/86400
c Decision: 10038/174941	Time: 86.5668/86400
c Decision: 10038/174941	Time: 107.104/86400
c Decision: 10038/174941	Time: 130.181/86400
c Decision: 10038/174941	Time: 145.912/86400
c Decision: 10202/174941	Time: 179.166/86400
c Decision: 10202/174941	Time: 196.536/86400
c Decision: 10202/174941	Time: 217.694/86400
c Decision: 10202/174941	Time: 244.352/86400
c Decision: 10446/174941	Time: 286.598/86400
c Decision: 22196/174941	Time: 361.301/86400
c Decision: 22216/174941	Time: 419.574/86400
c Decision: 22216/174941	Time: 459.586/86400
c Decision: 22216/174941	Time: 478.732/86400
c Decision: 22216/174941	Time: 496.575/86400
c Decision: 22281/174941	Time: 580.993/86400
c Decision: 22281/174941	Time: 599.386/86400
c Decision: 22281/174941	Time: 619.639/86400
c Decision: 22281/174941	Time: 645.834/86400
c Decision: 22281/174941	Time: 666.673/86400
c trying from 512 to 594

c got solution with objective value: 593
c starting final optimization

c [startup+728.128 s]  setting bit 9 to 0

c Decision: 214972/352851	Time: 48.8366/86400
c Decision: 217661/352851	Time: 78.3291/86400
c Decision: 224323/352851	Time: 157.161/86400
c Decision: 224323/352851	Time: 184.584/86400
c Decision: 225547/352851	Time: 211.151/86400
c Decision: 225839/352851	Time: 241.532/86400
c Decision: 242805/352851	Time: 285.093/86400
c Decision: 242806/352851	Time: 328.06/86400
c Decision: 242806/352851	Time: 352.844/86400
c Decision: 242806/352851	Time: 377.163/86400
c Decision: 244783/352851	Time: 418.176/86400
c Decision: 244783/352851	Time: 446.532/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/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21272463 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 373 2 364 364 0 9 0
[pid=8052] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc5/normalized-frb35-17-2.opb

[startup+10.0022 s]
Raw data (loadavg): 0.93 0.95 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 27745 0 0 0 934 62 0 0 25 0 1 0 21272463 92901376 16683 4294967295 134512640 135987407 3221224576 3221208800 134537412 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 22681 16683 364 364 0 22317 0
[pid=8052] vsize: 90724
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 90724

[startup+20.0029 s]
Raw data (loadavg): 0.94 0.96 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 30784 0 0 0 1906 77 0 0 25 0 1 0 21272463 101453824 19330 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 24769 19330 364 364 0 24405 0
[pid=8052] vsize: 99076
Current children cumulated CPU time (s) 19.83
Current children cumulated vsize (Kb) 99076

[startup+30.0036 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 31255 0 0 0 2900 80 0 0 25 0 1 0 21272463 101994496 19459 4294967295 134512640 135987407 3221224576 3221223264 134876845 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 24901 19459 364 364 0 24537 0
[pid=8052] vsize: 99604
Current children cumulated CPU time (s) 29.8
Current children cumulated vsize (Kb) 99604

[startup+40.0034 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 32272 0 0 0 3888 85 0 0 25 0 1 0 21272463 106364928 20350 4294967295 134512640 135987407 3221224576 3221223136 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 25968 20350 364 364 0 25604 0
[pid=8052] vsize: 103872
Current children cumulated CPU time (s) 39.73
Current children cumulated vsize (Kb) 103872

[startup+50.0042 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 32967 0 0 0 4878 90 0 0 25 0 1 0 21272463 108339200 20703 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 26450 20703 364 364 0 26086 0
[pid=8052] vsize: 105800
Current children cumulated CPU time (s) 49.68
Current children cumulated vsize (Kb) 105800

[startup+60.0039 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 34741 0 0 0 5863 97 0 0 25 0 1 0 21272463 114712576 21729 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 28006 21729 364 364 0 27642 0
[pid=8052] vsize: 112024
Current children cumulated CPU time (s) 59.6
Current children cumulated vsize (Kb) 112024

[startup+70.0047 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 36075 0 0 0 6851 102 0 0 25 0 1 0 21272463 119222272 22506 4294967295 134512640 135987407 3221224576 3221223168 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 29107 22506 364 364 0 28743 0
[pid=8052] vsize: 116428
Current children cumulated CPU time (s) 69.53
Current children cumulated vsize (Kb) 116428

[startup+80.0054 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 37652 0 0 0 7838 109 0 0 25 0 1 0 21272463 124661760 23479 4294967295 134512640 135987407 3221224576 3221223136 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 30435 23479 364 364 0 30071 0
[pid=8052] vsize: 121740
Current children cumulated CPU time (s) 79.47
Current children cumulated vsize (Kb) 121740

[startup+90.0052 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 38000 0 0 0 8829 112 0 0 25 0 1 0 21272463 126124032 23761 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 30792 23761 364 364 0 30428 0
[pid=8052] vsize: 123168
Current children cumulated CPU time (s) 89.41
Current children cumulated vsize (Kb) 123168

[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 38533 0 0 0 9820 116 0 0 25 0 1 0 21272463 126918656 23952 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 30986 23952 364 364 0 30622 0
[pid=8052] vsize: 123944
Current children cumulated CPU time (s) 99.36
Current children cumulated vsize (Kb) 123944

[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.98 1/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) T 8051 8052 4060 0 -1 0 40079 0 0 0 10806 123 0 0 25 0 1 0 21272463 131551232 24812 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8052/statm): 32117 24812 364 364 0 31753 0
[pid=8052] vsize: 128468
Current children cumulated CPU time (s) 109.29
Current children cumulated vsize (Kb) 128468

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 41493 0 0 0 11791 129 0 0 25 0 1 0 21272463 136056832 25688 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 33217 25688 364 364 0 32853 0
[pid=8052] vsize: 132868
Current children cumulated CPU time (s) 119.2
Current children cumulated vsize (Kb) 132868

[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 42022 0 0 0 12778 134 0 0 25 0 1 0 21272463 137920512 26052 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 33672 26052 364 364 0 33308 0
[pid=8052] vsize: 134688
Current children cumulated CPU time (s) 129.12
Current children cumulated vsize (Kb) 134688

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 42155 0 0 0 13770 137 0 0 25 0 1 0 21272463 138182656 26119 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 33736 26119 364 364 0 33372 0
[pid=8052] vsize: 134944
Current children cumulated CPU time (s) 139.07
Current children cumulated vsize (Kb) 134944

[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 42663 0 0 0 14759 141 0 0 25 0 1 0 21272463 138850304 26252 4294967295 134512640 135987407 3221224576 3221223312 134812632 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 33899 26252 364 364 0 33535 0
[pid=8052] vsize: 135596
Current children cumulated CPU time (s) 149
Current children cumulated vsize (Kb) 135596

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 43064 0 0 0 15752 144 0 0 25 0 1 0 21272463 139120640 26311 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 33965 26311 364 364 0 33601 0
[pid=8052] vsize: 135860
Current children cumulated CPU time (s) 158.96
Current children cumulated vsize (Kb) 135860

[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 44565 0 0 0 16740 149 0 0 25 0 1 0 21272463 143491072 27093 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 35032 27093 364 364 0 34668 0
[pid=8052] vsize: 140128
Current children cumulated CPU time (s) 168.89
Current children cumulated vsize (Kb) 140128

[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 45467 0 0 0 17733 151 0 0 25 0 1 0 21272463 146132992 27603 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 35677 27603 364 364 0 35313 0
[pid=8052] vsize: 142708
Current children cumulated CPU time (s) 178.84
Current children cumulated vsize (Kb) 142708

[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 45479 0 0 0 18727 154 0 0 25 0 1 0 21272463 146132992 27615 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 35677 27615 364 364 0 35313 0
[pid=8052] vsize: 142708
Current children cumulated CPU time (s) 188.81
Current children cumulated vsize (Kb) 142708

[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 45996 0 0 0 19720 157 0 0 25 0 1 0 21272463 146526208 27691 4294967295 134512640 135987407 3221224576 3221222908 135480675 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 35773 27691 364 364 0 35409 0
[pid=8052] vsize: 143092
Current children cumulated CPU time (s) 198.77
Current children cumulated vsize (Kb) 143092

[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 46428 0 0 0 20714 160 0 0 25 0 1 0 21272463 146657280 27748 4294967295 134512640 135987407 3221224576 3221223232 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 35805 27748 364 364 0 35441 0
[pid=8052] vsize: 143220
Current children cumulated CPU time (s) 208.74
Current children cumulated vsize (Kb) 143220

[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 46948 0 0 0 21703 163 0 0 25 0 1 0 21272463 148647936 28040 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 36291 28040 364 364 0 35927 0
[pid=8052] vsize: 145164
Current children cumulated CPU time (s) 218.66
Current children cumulated vsize (Kb) 145164

[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 47430 0 0 0 22694 168 0 0 25 0 1 0 21272463 149045248 28115 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 36388 28115 364 364 0 36024 0
[pid=8052] vsize: 145552
Current children cumulated CPU time (s) 228.62
Current children cumulated vsize (Kb) 145552

[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 48198 0 0 0 23686 172 0 0 25 0 1 0 21272463 151420928 28555 4294967295 134512640 135987407 3221224576 3221223232 134812343 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 36968 28555 364 364 0 36604 0
[pid=8052] vsize: 147872
Current children cumulated CPU time (s) 238.58
Current children cumulated vsize (Kb) 147872

[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 48656 0 0 0 24677 176 0 0 25 0 1 0 21272463 152866816 28719 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 37321 28719 364 364 0 36957 0
[pid=8052] vsize: 149284
Current children cumulated CPU time (s) 248.53
Current children cumulated vsize (Kb) 149284

[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 49144 0 0 0 25671 179 0 0 25 0 1 0 21272463 153128960 28800 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 37385 28800 364 364 0 37021 0
[pid=8052] vsize: 149540
Current children cumulated CPU time (s) 258.5
Current children cumulated vsize (Kb) 149540

[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 49150 0 0 0 26668 180 0 0 25 0 1 0 21272463 153128960 28806 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 37385 28806 364 364 0 37021 0
[pid=8052] vsize: 149540
Current children cumulated CPU time (s) 268.48
Current children cumulated vsize (Kb) 149540

[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 49283 0 0 0 27662 182 0 0 25 0 1 0 21272463 153653248 28810 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 37513 28810 364 364 0 37149 0
[pid=8052] vsize: 150052
Current children cumulated CPU time (s) 278.44
Current children cumulated vsize (Kb) 150052

[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 49405 0 0 0 28655 185 0 0 25 0 1 0 21272463 154050560 28899 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 37610 28899 364 364 0 37246 0
[pid=8052] vsize: 150440
Current children cumulated CPU time (s) 288.4
Current children cumulated vsize (Kb) 150440

[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 50174 0 0 0 29647 188 0 0 25 0 1 0 21272463 155635712 29131 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 37997 29131 364 364 0 37633 0
[pid=8052] vsize: 151988
Current children cumulated CPU time (s) 298.35
Current children cumulated vsize (Kb) 151988

[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 50638 0 0 0 30641 191 0 0 25 0 1 0 21272463 156950528 29335 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 38318 29335 364 364 0 37954 0
[pid=8052] vsize: 153272
Current children cumulated CPU time (s) 308.32
Current children cumulated vsize (Kb) 153272

[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 51371 0 0 0 31633 195 0 0 25 0 1 0 21272463 158924800 29710 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 38800 29710 364 364 0 38436 0
[pid=8052] vsize: 155200
Current children cumulated CPU time (s) 318.28
Current children cumulated vsize (Kb) 155200

[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 51485 0 0 0 32627 197 0 0 25 0 1 0 21272463 159322112 29791 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 38897 29791 364 364 0 38533 0
[pid=8052] vsize: 155588
Current children cumulated CPU time (s) 328.24
Current children cumulated vsize (Kb) 155588

[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 51979 0 0 0 33620 201 0 0 25 0 1 0 21272463 160501760 29992 4294967295 134512640 135987407 3221224576 3221223312 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 39185 29993 364 364 0 38821 0
[pid=8052] vsize: 156740
Current children cumulated CPU time (s) 338.21
Current children cumulated vsize (Kb) 156740

[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 52373 0 0 0 34612 204 0 0 25 0 1 0 21272463 161685504 30158 4294967295 134512640 135987407 3221224576 3221223136 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 39474 30158 364 364 0 39110 0
[pid=8052] vsize: 157896
Current children cumulated CPU time (s) 348.16
Current children cumulated vsize (Kb) 157896

[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 52779 0 0 0 35606 205 0 0 25 0 1 0 21272463 162471936 30368 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 39666 30368 364 364 0 39302 0
[pid=8052] vsize: 158664
Current children cumulated CPU time (s) 358.11
Current children cumulated vsize (Kb) 158664

[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 53658 0 0 0 36596 210 0 0 25 0 1 0 21272463 164966400 30694 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 40275 30694 364 364 0 39911 0
[pid=8052] vsize: 161100
Current children cumulated CPU time (s) 368.06
Current children cumulated vsize (Kb) 161100

[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 54096 0 0 0 37589 212 0 0 25 0 1 0 21272463 165228544 30725 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 40339 30725 364 364 0 39975 0
[pid=8052] vsize: 161356
Current children cumulated CPU time (s) 378.01
Current children cumulated vsize (Kb) 161356

[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 54124 0 0 0 38582 214 0 0 25 0 1 0 21272463 165228544 30753 4294967295 134512640 135987407 3221224576 3221223232 134812319 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 40339 30753 364 364 0 39975 0
[pid=8052] vsize: 161356
Current children cumulated CPU time (s) 387.96
Current children cumulated vsize (Kb) 161356

[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 54191 0 0 0 39576 216 0 0 25 0 1 0 21272463 165359616 30787 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 40371 30787 364 364 0 40007 0
[pid=8052] vsize: 161484
Current children cumulated CPU time (s) 397.92
Current children cumulated vsize (Kb) 161484

[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 54307 0 0 0 40571 218 0 0 25 0 1 0 21272463 165621760 30838 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 40435 30838 364 364 0 40071 0
[pid=8052] vsize: 161740
Current children cumulated CPU time (s) 407.89
Current children cumulated vsize (Kb) 161740

[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 54315 0 0 0 41565 220 0 0 25 0 1 0 21272463 165621760 30846 4294967295 134512640 135987407 3221224576 3221223312 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 40435 30846 364 364 0 40071 0
[pid=8052] vsize: 161740
Current children cumulated CPU time (s) 417.85
Current children cumulated vsize (Kb) 161740

[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 54959 0 0 0 42556 224 0 0 25 0 1 0 21272463 167460864 31164 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 40884 31164 364 364 0 40520 0
[pid=8052] vsize: 163536
Current children cumulated CPU time (s) 427.8
Current children cumulated vsize (Kb) 163536

[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 55512 0 0 0 43549 228 0 0 25 0 1 0 21272463 167985152 31245 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 41012 31245 364 364 0 40648 0
[pid=8052] vsize: 164048
Current children cumulated CPU time (s) 437.77
Current children cumulated vsize (Kb) 164048

[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 55536 0 0 0 44544 230 0 0 25 0 1 0 21272463 167849984 31236 4294967295 134512640 135987407 3221224576 3221223296 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 40979 31236 364 364 0 40615 0
[pid=8052] vsize: 163916
Current children cumulated CPU time (s) 447.74
Current children cumulated vsize (Kb) 163916

[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 55539 0 0 0 45539 231 0 0 25 0 1 0 21272463 167849984 31239 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 40979 31239 364 364 0 40615 0
[pid=8052] vsize: 163916
Current children cumulated CPU time (s) 457.7
Current children cumulated vsize (Kb) 163916

[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 55613 0 0 0 46532 233 0 0 25 0 1 0 21272463 168116224 31313 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 41044 31313 364 364 0 40680 0
[pid=8052] vsize: 164176
Current children cumulated CPU time (s) 467.65
Current children cumulated vsize (Kb) 164176

[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 55967 0 0 0 47527 236 0 0 25 0 1 0 21272463 168116224 31325 4294967295 134512640 135987407 3221224576 3221223136 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 41044 31325 364 364 0 40680 0
[pid=8052] vsize: 164176
Current children cumulated CPU time (s) 477.63
Current children cumulated vsize (Kb) 164176

[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 55982 0 0 0 48523 237 0 0 25 0 1 0 21272463 168116224 31340 4294967295 134512640 135987407 3221224576 3221223136 134811933 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 41044 31340 364 364 0 40680 0
[pid=8052] vsize: 164176
Current children cumulated CPU time (s) 487.6
Current children cumulated vsize (Kb) 164176

[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 56327 0 0 0 49517 240 0 0 25 0 1 0 21272463 168116224 31343 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 41044 31343 364 364 0 40680 0
[pid=8052] vsize: 164176
Current children cumulated CPU time (s) 497.57
Current children cumulated vsize (Kb) 164176

[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 56672 0 0 0 50511 243 0 0 25 0 1 0 21272463 168116224 31346 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 41044 31346 364 364 0 40680 0
[pid=8052] vsize: 164176
Current children cumulated CPU time (s) 507.54
Current children cumulated vsize (Kb) 164176

[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 56931 0 0 0 51504 245 0 0 25 0 1 0 21272463 168640512 31475 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 41172 31475 364 364 0 40808 0
[pid=8052] vsize: 164688
Current children cumulated CPU time (s) 517.49
Current children cumulated vsize (Kb) 164688

[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 56937 0 0 0 52497 247 0 0 25 0 1 0 21272463 168640512 31481 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 41172 31481 364 364 0 40808 0
[pid=8052] vsize: 164688
Current children cumulated CPU time (s) 527.44
Current children cumulated vsize (Kb) 164688

[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 57083 0 0 0 53490 250 0 0 25 0 1 0 21272463 169168896 31562 4294967295 134512640 135987407 3221224576 3221223312 134812703 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 41301 31562 364 364 0 40937 0
[pid=8052] vsize: 165204
Current children cumulated CPU time (s) 537.4
Current children cumulated vsize (Kb) 165204

[startup+550.02 s]
Raw data (loadavg): 1.07 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 57251 0 0 0 54484 253 0 0 25 0 1 0 21272463 170090496 31697 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 41526 31697 364 364 0 41162 0
[pid=8052] vsize: 166104
Current children cumulated CPU time (s) 547.37
Current children cumulated vsize (Kb) 166104

[startup+560.021 s]
Raw data (loadavg): 1.06 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 57520 0 0 0 55479 255 0 0 25 0 1 0 21272463 170745856 31803 4294967295 134512640 135987407 3221224576 3221223136 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 41686 31803 364 364 0 41322 0
[pid=8052] vsize: 166744
Current children cumulated CPU time (s) 557.34
Current children cumulated vsize (Kb) 166744

[startup+570.021 s]
Raw data (loadavg): 1.05 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 57956 0 0 0 56472 257 0 0 25 0 1 0 21272463 172060672 31979 4294967295 134512640 135987407 3221224576 3221223136 134812038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 42007 31979 364 364 0 41643 0
[pid=8052] vsize: 168028
Current children cumulated CPU time (s) 567.29
Current children cumulated vsize (Kb) 168028

[startup+580.022 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 58239 0 0 0 57467 259 0 0 25 0 1 0 21272463 172716032 32099 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 42167 32099 364 364 0 41803 0
[pid=8052] vsize: 168668
Current children cumulated CPU time (s) 577.26
Current children cumulated vsize (Kb) 168668

[startup+590.022 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 58339 0 0 0 58461 261 0 0 25 0 1 0 21272463 172978176 32134 4294967295 134512640 135987407 3221224576 3221223136 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 42231 32134 364 364 0 41867 0
[pid=8052] vsize: 168924
Current children cumulated CPU time (s) 587.22
Current children cumulated vsize (Kb) 168924

[startup+600.023 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 58689 0 0 0 59455 264 0 0 25 0 1 0 21272463 172978176 32142 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 42231 32142 364 364 0 41867 0
[pid=8052] vsize: 168924
Current children cumulated CPU time (s) 597.19
Current children cumulated vsize (Kb) 168924

[startup+610.023 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 58692 0 0 0 60451 265 0 0 25 0 1 0 21272463 172978176 32145 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 42231 32145 364 364 0 41867 0
[pid=8052] vsize: 168924
Current children cumulated CPU time (s) 607.16
Current children cumulated vsize (Kb) 168924

[startup+620.023 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 59038 0 0 0 61446 267 0 0 25 0 1 0 21272463 172978176 32149 4294967295 134512640 135987407 3221224576 3221223136 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 42231 32149 364 364 0 41867 0
[pid=8052] vsize: 168924
Current children cumulated CPU time (s) 617.13
Current children cumulated vsize (Kb) 168924

[startup+630.023 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 59052 0 0 0 62443 268 0 0 25 0 1 0 21272463 172978176 32163 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 42231 32163 364 364 0 41867 0
[pid=8052] vsize: 168924
Current children cumulated CPU time (s) 627.11
Current children cumulated vsize (Kb) 168924

[startup+640.023 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 59404 0 0 0 63439 270 0 0 25 0 1 0 21272463 172978176 32173 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 42231 32173 364 364 0 41867 0
[pid=8052] vsize: 168924
Current children cumulated CPU time (s) 637.09
Current children cumulated vsize (Kb) 168924

[startup+650.024 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 59418 0 0 0 64437 270 0 0 25 0 1 0 21272463 172978176 32187 4294967295 134512640 135987407 3221224576 3221223224 134812410 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 42231 32187 364 364 0 41867 0
[pid=8052] vsize: 168924
Current children cumulated CPU time (s) 647.07
Current children cumulated vsize (Kb) 168924

[startup+660.024 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 59778 0 0 0 65434 272 0 0 25 0 1 0 21272463 172978176 32205 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 42231 32205 364 364 0 41867 0
[pid=8052] vsize: 168924
Current children cumulated CPU time (s) 657.06
Current children cumulated vsize (Kb) 168924

[startup+670.023 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 59781 0 0 0 66431 273 0 0 25 0 1 0 21272463 172978176 32208 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 42231 32208 364 364 0 41867 0
[pid=8052] vsize: 168924
Current children cumulated CPU time (s) 667.04
Current children cumulated vsize (Kb) 168924

[startup+680.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 60124 0 0 0 67427 275 0 0 25 0 1 0 21272463 174379008 32551 4294967295 134512640 135987407 3221224576 3221222832 134829342 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 42573 32551 364 364 0 42209 0
[pid=8052] vsize: 170292
Current children cumulated CPU time (s) 677.02
Current children cumulated vsize (Kb) 170292

[startup+690.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 60278 0 0 0 68424 276 0 0 25 0 1 0 21272463 173506560 32298 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 42360 32298 364 364 0 41996 0
[pid=8052] vsize: 169440
Current children cumulated CPU time (s) 687
Current children cumulated vsize (Kb) 169440

[startup+700.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 60280 0 0 0 69423 276 0 0 25 0 1 0 21272463 173506560 32300 4294967295 134512640 135987407 3221224576 3221223232 134812334 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 42360 32300 364 364 0 41996 0
[pid=8052] vsize: 169440
Current children cumulated CPU time (s) 696.99
Current children cumulated vsize (Kb) 169440

[startup+710.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 77994 0 0 0 70381 315 0 0 25 0 1 0 21272463 226500608 43656 4294967295 134512640 135987407 3221224576 3221094716 135499893 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 55298 43656 364 364 0 54934 0
[pid=8052] vsize: 221192
Current children cumulated CPU time (s) 706.96
Current children cumulated vsize (Kb) 221192

[startup+720.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 93107 0 0 0 71336 352 0 0 25 0 1 0 21272463 260890624 51213 4294967295 134512640 135987407 3221224576 3221222960 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 63694 51213 364 364 0 63330 0
[pid=8052] vsize: 254776
Current children cumulated CPU time (s) 716.88
Current children cumulated vsize (Kb) 254776

[startup+730.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 94368 0 0 0 72326 358 0 0 25 0 1 0 21272463 260272128 51217 4294967295 134512640 135987407 3221224576 3221223056 134812046 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 63543 51217 364 364 0 63179 0
[pid=8052] vsize: 254172
Current children cumulated CPU time (s) 726.84
Current children cumulated vsize (Kb) 254172

[startup+740.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 94733 0 0 0 73306 366 0 0 25 0 1 0 21272463 261787648 51484 4294967295 134512640 135987407 3221224576 3221223232 134812620 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8052/statm): 63913 51484 364 364 0 63549 0
[pid=8052] vsize: 255652
Current children cumulated CPU time (s) 736.72
Current children cumulated vsize (Kb) 255652

[startup+750.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 94837 0 0 0 74294 371 0 0 25 0 1 0 21272463 262328320 51588 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64045 51588 364 364 0 63681 0
[pid=8052] vsize: 256180
Current children cumulated CPU time (s) 746.65
Current children cumulated vsize (Kb) 256180

[startup+760.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 94887 0 0 0 75290 373 0 0 25 0 1 0 21272463 262524928 51638 4294967295 134512640 135987407 3221224576 3221223056 134811988 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64093 51638 364 364 0 63729 0
[pid=8052] vsize: 256372
Current children cumulated CPU time (s) 756.63
Current children cumulated vsize (Kb) 256372

[startup+770.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 94888 0 0 0 76288 373 0 0 25 0 1 0 21272463 262524928 51639 4294967295 134512640 135987407 3221224576 3221223056 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64093 51639 364 364 0 63729 0
[pid=8052] vsize: 256372
Current children cumulated CPU time (s) 766.61
Current children cumulated vsize (Kb) 256372

[startup+780.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 95580 0 0 0 77282 376 0 0 25 0 1 0 21272463 262524928 51641 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64093 51641 364 364 0 63729 0
[pid=8052] vsize: 256372
Current children cumulated CPU time (s) 776.58
Current children cumulated vsize (Kb) 256372

[startup+790.028 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 95673 0 0 0 78270 380 0 0 25 0 1 0 21272463 262926336 51701 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64191 51701 364 364 0 63827 0
[pid=8052] vsize: 256764
Current children cumulated CPU time (s) 786.5
Current children cumulated vsize (Kb) 256764

[startup+800.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 95675 0 0 0 79264 382 0 0 25 0 1 0 21272463 262926336 51703 4294967295 134512640 135987407 3221224576 3221223056 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64191 51703 364 364 0 63827 0
[pid=8052] vsize: 256764
Current children cumulated CPU time (s) 796.46
Current children cumulated vsize (Kb) 256764

[startup+810.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 96366 0 0 0 80257 385 0 0 25 0 1 0 21272463 262926336 51704 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64191 51704 364 364 0 63827 0
[pid=8052] vsize: 256764
Current children cumulated CPU time (s) 806.42
Current children cumulated vsize (Kb) 256764

[startup+820.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 96367 0 0 0 81250 387 0 0 25 0 1 0 21272463 262926336 51705 4294967295 134512640 135987407 3221224576 3221223196 134677714 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64191 51705 364 364 0 63827 0
[pid=8052] vsize: 256764
Current children cumulated CPU time (s) 816.37
Current children cumulated vsize (Kb) 256764

[startup+830.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 96552 0 0 0 82246 388 0 0 25 0 1 0 21272463 263725056 51824 4294967295 134512640 135987407 3221224576 3221223132 134812119 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64386 51824 364 364 0 64022 0
[pid=8052] vsize: 257544
Current children cumulated CPU time (s) 826.34
Current children cumulated vsize (Kb) 257544

[startup+840.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 96650 0 0 0 83235 392 0 0 25 0 1 0 21272463 264130560 51922 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64485 51922 364 364 0 64121 0
[pid=8052] vsize: 257940
Current children cumulated CPU time (s) 836.27
Current children cumulated vsize (Kb) 257940

[startup+850.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 96745 0 0 0 84223 394 0 0 25 0 1 0 21272463 264663040 52017 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64615 52017 364 364 0 64251 0
[pid=8052] vsize: 258460
Current children cumulated CPU time (s) 846.17
Current children cumulated vsize (Kb) 258460

[startup+860.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 96757 0 0 0 85220 396 0 0 25 0 1 0 21272463 264663040 52029 4294967295 134512640 135987407 3221224576 3221223136 134812426 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64615 52029 364 364 0 64251 0
[pid=8052] vsize: 258460
Current children cumulated CPU time (s) 856.16
Current children cumulated vsize (Kb) 258460

[startup+870.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 96758 0 0 0 86218 397 0 0 25 0 1 0 21272463 264663040 52030 4294967295 134512640 135987407 3221224576 3221222928 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64615 52030 364 364 0 64251 0
[pid=8052] vsize: 258460
Current children cumulated CPU time (s) 866.15
Current children cumulated vsize (Kb) 258460

[startup+880.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 96760 0 0 0 87216 398 0 0 25 0 1 0 21272463 264663040 52032 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64615 52032 364 364 0 64251 0
[pid=8052] vsize: 258460
Current children cumulated CPU time (s) 876.14
Current children cumulated vsize (Kb) 258460

[startup+890.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 97451 0 0 0 88211 401 0 0 25 0 1 0 21272463 264663040 52033 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64615 52033 364 364 0 64251 0
[pid=8052] vsize: 258460
Current children cumulated CPU time (s) 886.12
Current children cumulated vsize (Kb) 258460

[startup+900.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 97453 0 0 0 89209 401 0 0 25 0 1 0 21272463 264663040 52035 4294967295 134512640 135987407 3221224576 3221223216 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64615 52035 364 364 0 64251 0
[pid=8052] vsize: 258460
Current children cumulated CPU time (s) 896.1
Current children cumulated vsize (Kb) 258460

[startup+910.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 97454 0 0 0 90207 402 0 0 25 0 1 0 21272463 264663040 52036 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64615 52036 364 364 0 64251 0
[pid=8052] vsize: 258460
Current children cumulated CPU time (s) 906.09
Current children cumulated vsize (Kb) 258460

[startup+920.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 98146 0 0 0 91202 404 0 0 25 0 1 0 21272463 264663040 52038 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64615 52038 364 364 0 64251 0
[pid=8052] vsize: 258460
Current children cumulated CPU time (s) 916.06
Current children cumulated vsize (Kb) 258460

[startup+930.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 98148 0 0 0 92200 405 0 0 25 0 1 0 21272463 264663040 52040 4294967295 134512640 135987407 3221224576 3221223184 134824722 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64615 52040 364 364 0 64251 0
[pid=8052] vsize: 258460
Current children cumulated CPU time (s) 926.05
Current children cumulated vsize (Kb) 258460

[startup+940.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 98839 0 0 0 93196 408 0 0 25 0 1 0 21272463 264663040 52041 4294967295 134512640 135987407 3221224576 3221223008 134789619 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64615 52041 364 364 0 64251 0
[pid=8052] vsize: 258460
Current children cumulated CPU time (s) 936.04
Current children cumulated vsize (Kb) 258460

[startup+950.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 98840 0 0 0 94193 409 0 0 25 0 1 0 21272463 264663040 52042 4294967295 134512640 135987407 3221224576 3221223056 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64615 52042 364 364 0 64251 0
[pid=8052] vsize: 258460
Current children cumulated CPU time (s) 946.02
Current children cumulated vsize (Kb) 258460

[startup+960.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 98842 0 0 0 95191 409 0 0 25 0 1 0 21272463 264663040 52044 4294967295 134512640 135987407 3221224576 3221223120 134801227 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64615 52044 364 364 0 64251 0
[pid=8052] vsize: 258460
Current children cumulated CPU time (s) 956
Current children cumulated vsize (Kb) 258460

[startup+970.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 99533 0 0 0 96187 412 0 0 25 0 1 0 21272463 264663040 52045 4294967295 134512640 135987407 3221224576 3221223180 134876997 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64615 52045 364 364 0 64251 0
[pid=8052] vsize: 258460
Current children cumulated CPU time (s) 965.99
Current children cumulated vsize (Kb) 258460

[startup+980.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 99535 0 0 0 97182 414 0 0 25 0 1 0 21272463 264663040 52047 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64615 52047 364 364 0 64251 0
[pid=8052] vsize: 258460
Current children cumulated CPU time (s) 975.96
Current children cumulated vsize (Kb) 258460

[startup+990.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 99536 0 0 0 98179 415 0 0 25 0 1 0 21272463 264663040 52048 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64615 52048 364 364 0 64251 0
[pid=8052] vsize: 258460
Current children cumulated CPU time (s) 985.94
Current children cumulated vsize (Kb) 258460

[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 99538 0 0 0 99177 416 0 0 25 0 1 0 21272463 264663040 52050 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64615 52050 364 364 0 64251 0
[pid=8052] vsize: 258460
Current children cumulated CPU time (s) 995.93
Current children cumulated vsize (Kb) 258460

[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 99540 0 0 0 100174 417 0 0 25 0 1 0 21272463 264663040 52052 4294967295 134512640 135987407 3221224576 3221222928 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64615 52052 364 364 0 64251 0
[pid=8052] vsize: 258460
Current children cumulated CPU time (s) 1005.91
Current children cumulated vsize (Kb) 258460

[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 100236 0 0 0 101167 422 0 0 25 0 1 0 21272463 264663040 52058 4294967295 134512640 135987407 3221224576 3221223056 134811933 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64615 52058 364 364 0 64251 0
[pid=8052] vsize: 258460
Current children cumulated CPU time (s) 1015.89
Current children cumulated vsize (Kb) 258460

[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 100300 0 0 0 102163 423 0 0 25 0 1 0 21272463 264794112 52089 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64647 52089 364 364 0 64283 0
[pid=8052] vsize: 258588
Current children cumulated CPU time (s) 1025.86
Current children cumulated vsize (Kb) 258588

[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 100301 0 0 0 103161 424 0 0 25 0 1 0 21272463 264794112 52090 4294967295 134512640 135987407 3221224576 3221222928 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64647 52090 364 364 0 64283 0
[pid=8052] vsize: 258588
Current children cumulated CPU time (s) 1035.85
Current children cumulated vsize (Kb) 258588

[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 100303 0 0 0 104159 425 0 0 25 0 1 0 21272463 264794112 52092 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64647 52092 364 364 0 64283 0
[pid=8052] vsize: 258588
Current children cumulated CPU time (s) 1045.84
Current children cumulated vsize (Kb) 258588

[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 100994 0 0 0 105156 427 0 0 25 0 1 0 21272463 264794112 52093 4294967295 134512640 135987407 3221224576 3221223232 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64647 52093 364 364 0 64283 0
[pid=8052] vsize: 258588
Current children cumulated CPU time (s) 1055.83
Current children cumulated vsize (Kb) 258588

[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 100996 0 0 0 106153 429 0 0 25 0 1 0 21272463 264794112 52095 4294967295 134512640 135987407 3221224576 3221223216 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64647 52095 364 364 0 64283 0
[pid=8052] vsize: 258588
Current children cumulated CPU time (s) 1065.82
Current children cumulated vsize (Kb) 258588

[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 100998 0 0 0 107150 430 0 0 25 0 1 0 21272463 264794112 52097 4294967295 134512640 135987407 3221224576 3221222928 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64647 52097 364 364 0 64283 0
[pid=8052] vsize: 258588
Current children cumulated CPU time (s) 1075.8
Current children cumulated vsize (Kb) 258588

[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 101689 0 0 0 108145 433 0 0 25 0 1 0 21272463 264794112 52098 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64647 52098 364 364 0 64283 0
[pid=8052] vsize: 258588
Current children cumulated CPU time (s) 1085.78
Current children cumulated vsize (Kb) 258588

[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 101691 0 0 0 109144 433 0 0 25 0 1 0 21272463 264794112 52100 4294967295 134512640 135987407 3221224576 3221223056 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64647 52100 364 364 0 64283 0
[pid=8052] vsize: 258588
Current children cumulated CPU time (s) 1095.77
Current children cumulated vsize (Kb) 258588

[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 102382 0 0 0 110139 436 0 0 25 0 1 0 21272463 264794112 52101 4294967295 134512640 135987407 3221224576 3221223152 134812406 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64647 52101 364 364 0 64283 0
[pid=8052] vsize: 258588
Current children cumulated CPU time (s) 1105.75
Current children cumulated vsize (Kb) 258588

[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 102384 0 0 0 111134 438 0 0 25 0 1 0 21272463 264794112 52103 4294967295 134512640 135987407 3221224576 3221222960 134775415 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64647 52103 364 364 0 64283 0
[pid=8052] vsize: 258588
Current children cumulated CPU time (s) 1115.72
Current children cumulated vsize (Kb) 258588

[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 102385 0 0 0 112133 438 0 0 25 0 1 0 21272463 264794112 52104 4294967295 134512640 135987407 3221224576 3221223216 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64647 52104 364 364 0 64283 0
[pid=8052] vsize: 258588
Current children cumulated CPU time (s) 1125.71
Current children cumulated vsize (Kb) 258588

[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 102387 0 0 0 113131 439 0 0 25 0 1 0 21272463 264794112 52106 4294967295 134512640 135987407 3221224576 3221223184 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64647 52106 364 364 0 64283 0
[pid=8052] vsize: 258588
Current children cumulated CPU time (s) 1135.7
Current children cumulated vsize (Kb) 258588

[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 103078 0 0 0 114128 441 0 0 25 0 1 0 21272463 264794112 52107 4294967295 134512640 135987407 3221224576 3221223120 134801140 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64647 52107 364 364 0 64283 0
[pid=8052] vsize: 258588
Current children cumulated CPU time (s) 1145.69
Current children cumulated vsize (Kb) 258588

[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 103079 0 0 0 115125 441 0 0 25 0 1 0 21272463 264794112 52108 4294967295 134512640 135987407 3221224576 3221223232 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64647 52108 364 364 0 64283 0
[pid=8052] vsize: 258588
Current children cumulated CPU time (s) 1155.66
Current children cumulated vsize (Kb) 258588

[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 103081 0 0 0 116122 442 0 0 25 0 1 0 21272463 264794112 52110 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64647 52110 364 364 0 64283 0
[pid=8052] vsize: 258588
Current children cumulated CPU time (s) 1165.64
Current children cumulated vsize (Kb) 258588

[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 103772 0 0 0 117118 445 0 0 25 0 1 0 21272463 264794112 52111 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64647 52111 364 364 0 64283 0
[pid=8052] vsize: 258588
Current children cumulated CPU time (s) 1175.63
Current children cumulated vsize (Kb) 258588

[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 103774 0 0 0 118117 446 0 0 25 0 1 0 21272463 264794112 52113 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64647 52113 364 364 0 64283 0
[pid=8052] vsize: 258588
Current children cumulated CPU time (s) 1185.63
Current children cumulated vsize (Kb) 258588

[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 103775 0 0 0 119114 447 0 0 25 0 1 0 21272463 264794112 52114 4294967295 134512640 135987407 3221224576 3221223184 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64647 52114 364 364 0 64283 0
[pid=8052] vsize: 258588
Current children cumulated CPU time (s) 1195.61
Current children cumulated vsize (Kb) 258588

[startup+1210.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 103777 0 0 0 120112 448 0 0 25 0 1 0 21272463 264794112 52116 4294967295 134512640 135987407 3221224576 3221223128 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64647 52116 364 364 0 64283 0
[pid=8052] vsize: 258588
Current children cumulated CPU time (s) 1205.6
Current children cumulated vsize (Kb) 258588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8052
Raw data (/proc/8052/stat): 8052 (pb2sat) R 8051 8052 4060 0 -1 0 103777 0 0 0 120112 448 0 0 25 0 1 0 21272463 264794112 52116 4294967295 134512640 135987407 3221224576 3221223128 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8052/statm): 64647 52116 364 364 0 64283 0
[pid=8052] vsize: 258588
Current children cumulated CPU time (s) 1205.6
Current children cumulated vsize (Kb) 258588

Sending SIGTERM to -8052
Sleeping 2 seconds
One traced child (pid=8052) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1210.99
CPU time (s): 1206.54
CPU user time (s): 1201.95
CPU system time (s): 4.5863
CPU usage (%): 99.6325
Max. virtual memory (cumulated for all children) (Kb): 258588

Verifier Data

Verifier:	OK	-2