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/frb40-19-opb/normalized-frb40-19-1.opb
MD5SUM94f501465233508e2f652cf118ddaf2d
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -33
Optimality of the best value was proved NO
Number of terms in the objective function 760
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 760
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 760
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.04
Number of variables760
Total number of constraints41314
Number of constraints which are clauses41314
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 9820

Launcher Data

LAUNCH ON wulflinc24 THE 2005-09-23 15:26:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8555 boxname=wulflinc24 idbench=351 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  94f501465233508e2f652cf118ddaf2d  /oldhome/oroussel/tmp/wulflinc24/normalized-frb40-19-1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc24/normalized-frb40-19-1.opb
IDLAUNCH: 8555
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.047
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	: 3
cpu MHz		: 451.047
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:        897580 kB
Buffers:         14900 kB
Cached:         103148 kB
SwapCached:          0 kB
Active:          66940 kB
Inactive:        54032 kB
HighTotal:      131008 kB
HighFree:        25928 kB
LowTotal:       903652 kB
LowFree:        871652 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10604 kB
Committed_AS:    63628 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:47:05 (client local time) WITH STATUS 10 IN 1208.65 SECONDS
stats: 8555 0 1208.65 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 760
c big objective detected
c trying from 0 to 511

c Decision: 5325/259586	Time: 44.8222/86400
c Decision: 5325/259586	Time: 80.2958/86400
c Decision: 6514/259586	Time: 130.338/86400
c Decision: 8026/259586	Time: 177.942/86400
c Decision: 8026/259586	Time: 213.789/86400
c Decision: 8026/259586	Time: 250.414/86400
c Decision: 12351/259586	Time: 281.115/86400
c Decision: 12351/259586	Time: 313.845/86400
c Decision: 12351/259586	Time: 350.277/86400
c Decision: 19484/259586	Time: 395.826/86400
c Decision: 19504/259586	Time: 458.62/86400
c Decision: 19504/259586	Time: 505.418/86400
c Decision: 33678/259586	Time: 541.252/86400
c Decision: 33678/259586	Time: 574.59/86400
c Decision: 33678/259586	Time: 604.125/86400
c Decision: 36102/259586	Time: 639.239/86400
c Decision: 53081/259586	Time: 709.353/86400
c Decision: 53081/259586	Time: 736.637/86400
c Decision: 53081/259586	Time: 778.924/86400
c Decision: 53750/259586	Time: 849.602/86400
c Decision: 53750/259586	Time: 887.903/86400
c trying from 512 to 759

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

c Decision: 392645/549527	Time: 107.094/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 -C596 -C597 -C598 -C599 -C6 -C60 -C600 -C601 -C602 -C603 -C604 -C605 -C606 -C607 -C608 -C609 -C61 -C610 -C611 -C612 -C613 -C614 -C615 -C616 -C617 -C618 -C619 -C62 -C620 -C621 -C622 -C623 -C624 -C625 -C626 -C627 -C628 -C629 -C63 -C630 -C631 -C632 -C633 -C634 -C635 -C636 -C637 -C638 -C639 -C64 -C640 -C641 -C642 -C643 -C644 -C645 -C646 -C647 -C648 -C649 -C65 -C650 -C651 -C652 -C653 -C654 -C655 -C656 -C657 -C658 -C659 -C66 -C660 -C661 -C662 -C663 -C664 -C665 -C666 -C667 -C668 -C669 -C67 -C670 -C671 -C672 -C673 -C674 -C675 -C676 -C677 -C678 -C679 -C68 -C680 -C681 -C682 -C683 -C684 -C685 -C686 -C687 -C688 -C689 -C69 -C690 -C691 -C692 -C693 -C694 -C695 -C696 -C697 -C698 -C699 -C7 -C70 -C700 -C701 -C702 -C703 -C704 -C705 -C706 -C707 -C708 -C709 -C71 -C710 -C711 -C712 -C713 -C714 -C715 -C716 -C717 -C718 -C719 -C72 -C720 -C721 -C722 -C723 -C724 -C725 -C726 -C727 -C728 -C729 -C73 -C730 -C731 -C732 -C733 -C734 -C735 -C736 -C737 -C738 -C739 -C74 -C740 -C741 -C742 -C743 -C744 -C745 -C746 -C747 -C748 -C749 -C75 -C750 -C751 -C752 -C753 -C754 -C755 -C756 -C757 -C758 -C759 -C76 -C760 -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/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21255477 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 373 2 364 364 0 9 0
[pid=7896] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc24/normalized-frb40-19-1.opb

[startup+10.0012 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 26184 0 0 0 936 59 0 0 25 0 1 0 21255477 82432000 15143 4294967295 134512640 135987407 3221224560 3221122752 134639954 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 20125 15143 364 364 0 19761 0
[pid=7896] vsize: 80500
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 80500

[startup+20.0019 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 44304 0 0 0 1889 98 0 0 25 0 1 0 21255477 135692288 26406 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 33128 26406 364 364 0 32764 0
[pid=7896] vsize: 132512
Current children cumulated CPU time (s) 19.87
Current children cumulated vsize (Kb) 132512

[startup+30.0025 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 45856 0 0 0 2880 103 0 0 25 0 1 0 21255477 142417920 27595 4294967295 134512640 135987407 3221224560 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 34770 27595 364 364 0 34406 0
[pid=7896] vsize: 139080
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (Kb) 139080

[startup+40.0032 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 46406 0 0 0 3876 106 0 0 25 0 1 0 21255477 144310272 27965 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 35232 27965 364 364 0 34868 0
[pid=7896] vsize: 140928
Current children cumulated CPU time (s) 39.82
Current children cumulated vsize (Kb) 140928

[startup+50.0039 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 46585 0 0 0 4873 107 0 0 25 0 1 0 21255477 145063936 28111 4294967295 134512640 135987407 3221224560 3221223272 134812771 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 35416 28111 364 364 0 35052 0
[pid=7896] vsize: 141664
Current children cumulated CPU time (s) 49.8
Current children cumulated vsize (Kb) 141664

[startup+60.0036 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 47183 0 0 0 5870 109 0 0 25 0 1 0 21255477 145195008 28168 4294967295 134512640 135987407 3221224560 3221223248 134876948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 35448 28168 364 364 0 35084 0
[pid=7896] vsize: 141792
Current children cumulated CPU time (s) 59.79
Current children cumulated vsize (Kb) 141792

[startup+70.0043 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 48202 0 0 0 6861 113 0 0 25 0 1 0 21255477 149184512 28934 4294967295 134512640 135987407 3221224560 3221223216 134812358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 36422 28934 364 364 0 36058 0
[pid=7896] vsize: 145688
Current children cumulated CPU time (s) 69.74
Current children cumulated vsize (Kb) 145688

[startup+80.005 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 49235 0 0 0 7852 116 0 0 25 0 1 0 21255477 153964544 29802 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 37589 29802 364 364 0 37225 0
[pid=7896] vsize: 150356
Current children cumulated CPU time (s) 79.68
Current children cumulated vsize (Kb) 150356

[startup+90.0057 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) T 7895 7896 4059 0 -1 0 49669 0 0 0 8844 120 0 0 25 0 1 0 21255477 156090368 30236 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7896/statm): 38108 30236 364 364 0 37744 0
[pid=7896] vsize: 152432
Current children cumulated CPU time (s) 89.64
Current children cumulated vsize (Kb) 152432

[startup+100.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 50705 0 0 0 9832 126 0 0 25 0 1 0 21255477 158359552 30632 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 38662 30632 364 364 0 38298 0
[pid=7896] vsize: 154648
Current children cumulated CPU time (s) 99.58
Current children cumulated vsize (Kb) 154648

[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 51878 0 0 0 10817 132 0 0 25 0 1 0 21255477 162643968 31351 4294967295 134512640 135987407 3221224560 3221223120 134811692 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 39708 31351 364 364 0 39344 0
[pid=7896] vsize: 158832
Current children cumulated CPU time (s) 109.49
Current children cumulated vsize (Kb) 158832

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 52755 0 0 0 11810 136 0 0 25 0 1 0 21255477 165076992 31742 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 40302 31742 364 364 0 39938 0
[pid=7896] vsize: 161208
Current children cumulated CPU time (s) 119.46
Current children cumulated vsize (Kb) 161208

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 52861 0 0 0 12804 137 0 0 25 0 1 0 21255477 165478400 31815 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 40400 31815 364 364 0 40036 0
[pid=7896] vsize: 161600
Current children cumulated CPU time (s) 129.41
Current children cumulated vsize (Kb) 161600

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 52879 0 0 0 13802 138 0 0 25 0 1 0 21255477 165478400 31833 4294967295 134512640 135987407 3221224560 3221223296 134812629 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 40400 31833 364 364 0 40036 0
[pid=7896] vsize: 161600
Current children cumulated CPU time (s) 139.4
Current children cumulated vsize (Kb) 161600

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 53523 0 0 0 14795 142 0 0 25 0 1 0 21255477 165875712 31936 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 40497 31936 364 364 0 40133 0
[pid=7896] vsize: 161988
Current children cumulated CPU time (s) 149.37
Current children cumulated vsize (Kb) 161988

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 54305 0 0 0 15783 146 0 0 25 0 1 0 21255477 167985152 32393 4294967295 134512640 135987407 3221224560 3221223120 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 41012 32393 364 364 0 40648 0
[pid=7896] vsize: 164048
Current children cumulated CPU time (s) 159.29
Current children cumulated vsize (Kb) 164048

[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 55099 0 0 0 16776 150 0 0 25 0 1 0 21255477 169967616 32828 4294967295 134512640 135987407 3221224560 3221223120 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 41496 32828 364 364 0 41132 0
[pid=7896] vsize: 165984
Current children cumulated CPU time (s) 169.26
Current children cumulated vsize (Kb) 165984

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 55198 0 0 0 17773 151 0 0 25 0 1 0 21255477 170373120 32927 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 41595 32927 364 364 0 41231 0
[pid=7896] vsize: 166380
Current children cumulated CPU time (s) 179.24
Current children cumulated vsize (Kb) 166380

[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 55302 0 0 0 18770 153 0 0 25 0 1 0 21255477 170635264 32966 4294967295 134512640 135987407 3221224560 3221223264 134812778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 41659 32966 364 364 0 41295 0
[pid=7896] vsize: 166636
Current children cumulated CPU time (s) 189.23
Current children cumulated vsize (Kb) 166636

[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) T 7895 7896 4059 0 -1 0 56153 0 0 0 19760 158 0 0 25 0 1 0 21255477 171835392 33210 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7896/statm): 41952 33210 364 364 0 41588 0
[pid=7896] vsize: 167808
Current children cumulated CPU time (s) 199.18
Current children cumulated vsize (Kb) 167808

[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 56516 0 0 0 20749 162 0 0 25 0 1 0 21255477 173445120 33507 4294967295 134512640 135987407 3221224560 3221223120 134812126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 42345 33507 364 364 0 41981 0
[pid=7896] vsize: 169380
Current children cumulated CPU time (s) 209.11
Current children cumulated vsize (Kb) 169380

[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 56615 0 0 0 21744 165 0 0 25 0 1 0 21255477 173850624 33606 4294967295 134512640 135987407 3221224560 3221223248 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 42444 33606 364 364 0 42080 0
[pid=7896] vsize: 169776
Current children cumulated CPU time (s) 219.09
Current children cumulated vsize (Kb) 169776

[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 57181 0 0 0 22739 167 0 0 25 0 1 0 21255477 176066560 34172 4294967295 134512640 135987407 3221224560 3221222800 134828869 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 42985 34172 364 364 0 42621 0
[pid=7896] vsize: 171940
Current children cumulated CPU time (s) 229.06
Current children cumulated vsize (Kb) 171940

[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 57957 0 0 0 23728 172 0 0 25 0 1 0 21255477 176091136 34048 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 42991 34048 364 364 0 42627 0
[pid=7896] vsize: 171964
Current children cumulated CPU time (s) 239
Current children cumulated vsize (Kb) 171964

[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 58664 0 0 0 24720 175 0 0 25 0 1 0 21255477 178483200 34427 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 43575 34427 364 364 0 43211 0
[pid=7896] vsize: 174300
Current children cumulated CPU time (s) 248.95
Current children cumulated vsize (Kb) 174300

[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 58803 0 0 0 25717 177 0 0 25 0 1 0 21255477 178745344 34501 4294967295 134512640 135987407 3221224560 3221223120 134811956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 43639 34501 364 364 0 43275 0
[pid=7896] vsize: 174556
Current children cumulated CPU time (s) 258.94
Current children cumulated vsize (Kb) 174556

[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 59499 0 0 0 26712 179 0 0 25 0 1 0 21255477 179138560 34591 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 43735 34591 364 364 0 43371 0
[pid=7896] vsize: 174940
Current children cumulated CPU time (s) 268.91
Current children cumulated vsize (Kb) 174940

[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 59558 0 0 0 27707 181 0 0 25 0 1 0 21255477 179408896 34650 4294967295 134512640 135987407 3221224560 3221223120 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 43801 34650 364 364 0 43437 0
[pid=7896] vsize: 175204
Current children cumulated CPU time (s) 278.88
Current children cumulated vsize (Kb) 175204

[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 59560 0 0 0 28705 182 0 0 25 0 1 0 21255477 179408896 34652 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 43801 34652 364 364 0 43437 0
[pid=7896] vsize: 175204
Current children cumulated CPU time (s) 288.87
Current children cumulated vsize (Kb) 175204

[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 60069 0 0 0 29703 183 0 0 25 0 1 0 21255477 179408896 34653 4294967295 134512640 135987407 3221224560 3221223120 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 43801 34653 364 364 0 43437 0
[pid=7896] vsize: 175204
Current children cumulated CPU time (s) 298.86
Current children cumulated vsize (Kb) 175204

[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 60111 0 0 0 30699 184 0 0 25 0 1 0 21255477 179679232 34695 4294967295 134512640 135987407 3221224560 3221223120 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 43867 34695 364 364 0 43503 0
[pid=7896] vsize: 175468
Current children cumulated CPU time (s) 308.83
Current children cumulated vsize (Kb) 175468

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 60112 0 0 0 31697 185 0 0 25 0 1 0 21255477 179679232 34696 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 43867 34696 364 364 0 43503 0
[pid=7896] vsize: 175468
Current children cumulated CPU time (s) 318.82
Current children cumulated vsize (Kb) 175468

[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 60114 0 0 0 32694 186 0 0 25 0 1 0 21255477 179679232 34698 4294967295 134512640 135987407 3221224560 3221223152 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 43867 34698 364 364 0 43503 0
[pid=7896] vsize: 175468
Current children cumulated CPU time (s) 328.8
Current children cumulated vsize (Kb) 175468

[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 60655 0 0 0 33690 189 0 0 25 0 1 0 21255477 179814400 34731 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 43900 34731 364 364 0 43536 0
[pid=7896] vsize: 175600
Current children cumulated CPU time (s) 338.79
Current children cumulated vsize (Kb) 175600

[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 60815 0 0 0 34686 190 0 0 25 0 1 0 21255477 180207616 34792 4294967295 134512640 135987407 3221224560 3221223120 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 43996 34792 364 364 0 43632 0
[pid=7896] vsize: 175984
Current children cumulated CPU time (s) 348.76
Current children cumulated vsize (Kb) 175984

[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 61167 0 0 0 35680 193 0 0 25 0 1 0 21255477 181395456 34981 4294967295 134512640 135987407 3221224560 3221223296 134812644 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 44286 34981 364 364 0 43922 0
[pid=7896] vsize: 177144
Current children cumulated CPU time (s) 358.73
Current children cumulated vsize (Kb) 177144

[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 61771 0 0 0 36675 196 0 0 25 0 1 0 21255477 181792768 35044 4294967295 134512640 135987407 3221224560 3221222992 134788429 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 44383 35044 364 364 0 44019 0
[pid=7896] vsize: 177532
Current children cumulated CPU time (s) 368.71
Current children cumulated vsize (Kb) 177532

[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 61931 0 0 0 37670 198 0 0 25 0 1 0 21255477 182185984 35105 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 44479 35105 364 364 0 44115 0
[pid=7896] vsize: 177916
Current children cumulated CPU time (s) 378.68
Current children cumulated vsize (Kb) 177916

[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 62937 0 0 0 38662 204 0 0 25 0 1 0 21255477 185217024 35620 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 45219 35620 364 364 0 44855 0
[pid=7896] vsize: 180876
Current children cumulated CPU time (s) 388.66
Current children cumulated vsize (Kb) 180876

[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 62947 0 0 0 39659 204 0 0 25 0 1 0 21255477 185217024 35630 4294967295 134512640 135987407 3221224560 3221223120 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 45219 35630 364 364 0 44855 0
[pid=7896] vsize: 180876
Current children cumulated CPU time (s) 398.63
Current children cumulated vsize (Kb) 180876

[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 62963 0 0 0 40657 205 0 0 25 0 1 0 21255477 185217024 35646 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 45219 35646 364 364 0 44855 0
[pid=7896] vsize: 180876
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (Kb) 180876

[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 63483 0 0 0 41653 207 0 0 25 0 1 0 21255477 185217024 35658 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 45219 35658 364 364 0 44855 0
[pid=7896] vsize: 180876
Current children cumulated CPU time (s) 418.6
Current children cumulated vsize (Kb) 180876

[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 63529 0 0 0 42651 208 0 0 25 0 1 0 21255477 185483264 35704 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 45284 35704 364 364 0 44920 0
[pid=7896] vsize: 181136
Current children cumulated CPU time (s) 428.59
Current children cumulated vsize (Kb) 181136

[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 64045 0 0 0 43645 211 0 0 25 0 1 0 21255477 186798080 35959 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 45605 35959 364 364 0 45241 0
[pid=7896] vsize: 182420
Current children cumulated CPU time (s) 438.56
Current children cumulated vsize (Kb) 182420

[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 64061 0 0 0 44644 213 0 0 25 0 1 0 21255477 186798080 35975 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 45605 35975 364 364 0 45241 0
[pid=7896] vsize: 182420
Current children cumulated CPU time (s) 448.57
Current children cumulated vsize (Kb) 182420

[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 64271 0 0 0 45639 214 0 0 25 0 1 0 21255477 187322368 36053 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 45733 36053 364 364 0 45369 0
[pid=7896] vsize: 182932
Current children cumulated CPU time (s) 458.53
Current children cumulated vsize (Kb) 182932

[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 64366 0 0 0 46634 216 0 0 25 0 1 0 21255477 187719680 36115 4294967295 134512640 135987407 3221224560 3221223184 134801174 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 45830 36115 364 364 0 45466 0
[pid=7896] vsize: 183320
Current children cumulated CPU time (s) 468.5
Current children cumulated vsize (Kb) 183320

[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 64980 0 0 0 47631 218 0 0 25 0 1 0 21255477 187985920 36221 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 45895 36221 364 364 0 45531 0
[pid=7896] vsize: 183580
Current children cumulated CPU time (s) 478.49
Current children cumulated vsize (Kb) 183580

[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 65435 0 0 0 48625 221 0 0 25 0 1 0 21255477 189296640 36350 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46215 36350 364 364 0 45851 0
[pid=7896] vsize: 184860
Current children cumulated CPU time (s) 488.46
Current children cumulated vsize (Kb) 184860

[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 65467 0 0 0 49621 223 0 0 25 0 1 0 21255477 189296640 36382 4294967295 134512640 135987407 3221224560 3221223216 134812400 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46215 36382 364 364 0 45851 0
[pid=7896] vsize: 184860
Current children cumulated CPU time (s) 498.44
Current children cumulated vsize (Kb) 184860

[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 65469 0 0 0 50619 223 0 0 25 0 1 0 21255477 189296640 36384 4294967295 134512640 135987407 3221224560 3221223120 134788579 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46215 36384 364 364 0 45851 0
[pid=7896] vsize: 184860
Current children cumulated CPU time (s) 508.42
Current children cumulated vsize (Kb) 184860

[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 65486 0 0 0 51617 224 0 0 25 0 1 0 21255477 189296640 36401 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46215 36401 364 364 0 45851 0
[pid=7896] vsize: 184860
Current children cumulated CPU time (s) 518.41
Current children cumulated vsize (Kb) 184860

[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 66100 0 0 0 52615 226 0 0 25 0 1 0 21255477 189825024 36442 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46344 36442 364 364 0 45980 0
[pid=7896] vsize: 185376
Current children cumulated CPU time (s) 528.41
Current children cumulated vsize (Kb) 185376

[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 66102 0 0 0 53613 226 0 0 25 0 1 0 21255477 189825024 36444 4294967295 134512640 135987407 3221224560 3221223180 134812115 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46344 36444 364 364 0 45980 0
[pid=7896] vsize: 185376
Current children cumulated CPU time (s) 538.39
Current children cumulated vsize (Kb) 185376

[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 66103 0 0 0 54610 227 0 0 25 0 1 0 21255477 189825024 36445 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46344 36445 364 364 0 45980 0
[pid=7896] vsize: 185376
Current children cumulated CPU time (s) 548.37
Current children cumulated vsize (Kb) 185376

[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 66617 0 0 0 55607 229 0 0 25 0 1 0 21255477 189825024 36451 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46344 36451 364 364 0 45980 0
[pid=7896] vsize: 185376
Current children cumulated CPU time (s) 558.36
Current children cumulated vsize (Kb) 185376

[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 66618 0 0 0 56605 230 0 0 25 0 1 0 21255477 189825024 36452 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46344 36452 364 364 0 45980 0
[pid=7896] vsize: 185376
Current children cumulated CPU time (s) 568.35
Current children cumulated vsize (Kb) 185376

[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 66634 0 0 0 57601 231 0 0 25 0 1 0 21255477 189825024 36468 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46344 36468 364 364 0 45980 0
[pid=7896] vsize: 185376
Current children cumulated CPU time (s) 578.32
Current children cumulated vsize (Kb) 185376

[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 66645 0 0 0 58598 232 0 0 25 0 1 0 21255477 189825024 36479 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46344 36479 364 364 0 45980 0
[pid=7896] vsize: 185376
Current children cumulated CPU time (s) 588.3
Current children cumulated vsize (Kb) 185376

[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 67154 0 0 0 59595 234 0 0 25 0 1 0 21255477 189825024 36480 4294967295 134512640 135987407 3221224560 3221223120 134812021 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46344 36480 364 364 0 45980 0
[pid=7896] vsize: 185376
Current children cumulated CPU time (s) 598.29
Current children cumulated vsize (Kb) 185376

[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 67156 0 0 0 60593 235 0 0 25 0 1 0 21255477 189825024 36482 4294967295 134512640 135987407 3221224560 3221223120 134812035 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46344 36482 364 364 0 45980 0
[pid=7896] vsize: 185376
Current children cumulated CPU time (s) 608.28
Current children cumulated vsize (Kb) 185376

[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 67157 0 0 0 61591 236 0 0 25 0 1 0 21255477 189825024 36483 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46344 36483 364 364 0 45980 0
[pid=7896] vsize: 185376
Current children cumulated CPU time (s) 618.27
Current children cumulated vsize (Kb) 185376

[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 67676 0 0 0 62587 238 0 0 25 0 1 0 21255477 189825024 36494 4294967295 134512640 135987407 3221224560 3221223248 134824504 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46344 36494 364 364 0 45980 0
[pid=7896] vsize: 185376
Current children cumulated CPU time (s) 628.25
Current children cumulated vsize (Kb) 185376

[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 67705 0 0 0 63585 239 0 0 25 0 1 0 21255477 189825024 36523 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46344 36523 364 364 0 45980 0
[pid=7896] vsize: 185376
Current children cumulated CPU time (s) 638.24
Current children cumulated vsize (Kb) 185376

[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 67717 0 0 0 64583 240 0 0 25 0 1 0 21255477 189825024 36535 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46344 36535 364 364 0 45980 0
[pid=7896] vsize: 185376
Current children cumulated CPU time (s) 648.23
Current children cumulated vsize (Kb) 185376

[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 68233 0 0 0 65580 241 0 0 25 0 1 0 21255477 189825024 36543 4294967295 134512640 135987407 3221224560 3221223120 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46344 36543 364 364 0 45980 0
[pid=7896] vsize: 185376
Current children cumulated CPU time (s) 658.21
Current children cumulated vsize (Kb) 185376

[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 68234 0 0 0 66579 242 0 0 25 0 1 0 21255477 189825024 36544 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46344 36544 364 364 0 45980 0
[pid=7896] vsize: 185376
Current children cumulated CPU time (s) 668.21
Current children cumulated vsize (Kb) 185376

[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 68235 0 0 0 67577 242 0 0 25 0 1 0 21255477 189825024 36545 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46344 36545 364 364 0 45980 0
[pid=7896] vsize: 185376
Current children cumulated CPU time (s) 678.19
Current children cumulated vsize (Kb) 185376

[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 68521 0 0 0 68571 244 0 0 25 0 1 0 21255477 190615552 36766 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46537 36766 364 364 0 46173 0
[pid=7896] vsize: 186148
Current children cumulated CPU time (s) 688.15
Current children cumulated vsize (Kb) 186148

[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 68629 0 0 0 69570 245 0 0 25 0 1 0 21255477 190877696 36809 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46601 36809 364 364 0 46237 0
[pid=7896] vsize: 186404
Current children cumulated CPU time (s) 698.15
Current children cumulated vsize (Kb) 186404

[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 68631 0 0 0 70567 246 0 0 25 0 1 0 21255477 190877696 36811 4294967295 134512640 135987407 3221224560 3221223120 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46601 36811 364 364 0 46237 0
[pid=7896] vsize: 186404
Current children cumulated CPU time (s) 708.13
Current children cumulated vsize (Kb) 186404

[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 68632 0 0 0 71564 247 0 0 25 0 1 0 21255477 190877696 36812 4294967295 134512640 135987407 3221224560 3221223248 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46601 36812 364 364 0 46237 0
[pid=7896] vsize: 186404
Current children cumulated CPU time (s) 718.11
Current children cumulated vsize (Kb) 186404

[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 69141 0 0 0 72561 249 0 0 25 0 1 0 21255477 190877696 36813 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46601 36813 364 364 0 46237 0
[pid=7896] vsize: 186404
Current children cumulated CPU time (s) 728.1
Current children cumulated vsize (Kb) 186404

[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 69143 0 0 0 73559 250 0 0 25 0 1 0 21255477 190877696 36815 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 46601 36815 364 364 0 46237 0
[pid=7896] vsize: 186404
Current children cumulated CPU time (s) 738.09
Current children cumulated vsize (Kb) 186404

[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 69144 0 0 0 74557 251 0 0 25 0 1 0 21255477 190877696 36816 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 46601 36816 364 364 0 46237 0
[pid=7896] vsize: 186404
Current children cumulated CPU time (s) 748.08
Current children cumulated vsize (Kb) 186404

[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 69653 0 0 0 75554 253 0 0 25 0 1 0 21255477 190877696 36817 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 46601 36817 364 364 0 46237 0
[pid=7896] vsize: 186404
Current children cumulated CPU time (s) 758.07
Current children cumulated vsize (Kb) 186404

[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 69654 0 0 0 76552 253 0 0 25 0 1 0 21255477 190877696 36818 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 46601 36818 364 364 0 46237 0
[pid=7896] vsize: 186404
Current children cumulated CPU time (s) 768.05
Current children cumulated vsize (Kb) 186404

[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 69655 0 0 0 77551 254 0 0 25 0 1 0 21255477 190877696 36819 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 46601 36819 364 364 0 46237 0
[pid=7896] vsize: 186404
Current children cumulated CPU time (s) 778.05
Current children cumulated vsize (Kb) 186404

[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 69656 0 0 0 78549 255 0 0 25 0 1 0 21255477 190877696 36820 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 46601 36820 364 364 0 46237 0
[pid=7896] vsize: 186404
Current children cumulated CPU time (s) 788.04
Current children cumulated vsize (Kb) 186404

[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 70252 0 0 0 79545 257 0 0 25 0 1 0 21255477 191139840 36843 4294967295 134512640 135987407 3221224560 3221223216 134812398 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 46665 36843 364 364 0 46301 0
[pid=7896] vsize: 186660
Current children cumulated CPU time (s) 798.02
Current children cumulated vsize (Kb) 186660

[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 70301 0 0 0 80541 259 0 0 25 0 1 0 21255477 191004672 36859 4294967295 134512640 135987407 3221224560 3221223120 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 46632 36859 364 364 0 46268 0
[pid=7896] vsize: 186528
Current children cumulated CPU time (s) 808
Current children cumulated vsize (Kb) 186528

[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 70506 0 0 0 81537 261 0 0 25 0 1 0 21255477 191664128 36966 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 46793 36966 364 364 0 46429 0
[pid=7896] vsize: 187172
Current children cumulated CPU time (s) 817.98
Current children cumulated vsize (Kb) 187172

[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 71037 0 0 0 82533 263 0 0 25 0 1 0 21255477 192978944 37237 4294967295 134512640 135987407 3221224560 3221223120 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 47114 37237 364 364 0 46750 0
[pid=7896] vsize: 188456
Current children cumulated CPU time (s) 827.96
Current children cumulated vsize (Kb) 188456

[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 71039 0 0 0 83529 265 0 0 25 0 1 0 21255477 192978944 37239 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 47114 37239 364 364 0 46750 0
[pid=7896] vsize: 188456
Current children cumulated CPU time (s) 837.94
Current children cumulated vsize (Kb) 188456

[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 71040 0 0 0 84526 265 0 0 25 0 1 0 21255477 192978944 37240 4294967295 134512640 135987407 3221224560 3221223296 134812683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 47114 37240 364 364 0 46750 0
[pid=7896] vsize: 188456
Current children cumulated CPU time (s) 847.91
Current children cumulated vsize (Kb) 188456

[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 71046 0 0 0 85523 266 0 0 25 0 1 0 21255477 192978944 37246 4294967295 134512640 135987407 3221224560 3221223120 134812123 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 47114 37246 364 364 0 46750 0
[pid=7896] vsize: 188456
Current children cumulated CPU time (s) 857.89
Current children cumulated vsize (Kb) 188456

[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 71566 0 0 0 86521 268 0 0 25 0 1 0 21255477 192978944 37258 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 47114 37258 364 364 0 46750 0
[pid=7896] vsize: 188456
Current children cumulated CPU time (s) 867.89
Current children cumulated vsize (Kb) 188456

[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 71575 0 0 0 87519 269 0 0 25 0 1 0 21255477 192978944 37267 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 47114 37267 364 364 0 46750 0
[pid=7896] vsize: 188456
Current children cumulated CPU time (s) 877.88
Current children cumulated vsize (Kb) 188456

[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 71583 0 0 0 88517 269 0 0 25 0 1 0 21255477 192978944 37275 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 47114 37275 364 364 0 46750 0
[pid=7896] vsize: 188456
Current children cumulated CPU time (s) 887.86
Current children cumulated vsize (Kb) 188456

[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 71591 0 0 0 89516 270 0 0 25 0 1 0 21255477 192978944 37283 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 47114 37283 364 364 0 46750 0
[pid=7896] vsize: 188456
Current children cumulated CPU time (s) 897.86
Current children cumulated vsize (Kb) 188456

[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 72104 0 0 0 90513 272 0 0 25 0 1 0 21255477 192978944 37288 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 47114 37288 364 364 0 46750 0
[pid=7896] vsize: 188456
Current children cumulated CPU time (s) 907.85
Current children cumulated vsize (Kb) 188456

[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 72105 0 0 0 91511 273 0 0 25 0 1 0 21255477 192978944 37289 4294967295 134512640 135987407 3221224560 3221223120 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 47114 37289 364 364 0 46750 0
[pid=7896] vsize: 188456
Current children cumulated CPU time (s) 917.84
Current children cumulated vsize (Kb) 188456

[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 72809 0 0 0 92506 275 0 0 25 0 1 0 21255477 194682880 37569 4294967295 134512640 135987407 3221224560 3221223248 134824240 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 47530 37569 364 364 0 47166 0
[pid=7896] vsize: 190120
Current children cumulated CPU time (s) 927.81
Current children cumulated vsize (Kb) 190120

[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 73734 0 0 0 93501 279 0 0 25 0 1 0 21255477 197046272 37973 4294967295 134512640 135987407 3221224560 3221223120 134811747 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 48107 37973 364 364 0 47743 0
[pid=7896] vsize: 192428
Current children cumulated CPU time (s) 937.8
Current children cumulated vsize (Kb) 192428

[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 73761 0 0 0 94500 279 0 0 25 0 1 0 21255477 197046272 38000 4294967295 134512640 135987407 3221224560 3221223248 134824269 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 48107 38000 364 364 0 47743 0
[pid=7896] vsize: 192428
Current children cumulated CPU time (s) 947.79
Current children cumulated vsize (Kb) 192428

[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 74176 0 0 0 95498 280 0 0 25 0 1 0 21255477 198356992 38092 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 48427 38092 364 364 0 48063 0
[pid=7896] vsize: 193708
Current children cumulated CPU time (s) 957.78
Current children cumulated vsize (Kb) 193708

[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 74180 0 0 0 96496 281 0 0 25 0 1 0 21255477 198356992 38096 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 48427 38096 364 364 0 48063 0
[pid=7896] vsize: 193708
Current children cumulated CPU time (s) 967.77
Current children cumulated vsize (Kb) 193708

[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 74182 0 0 0 97494 281 0 0 25 0 1 0 21255477 198356992 38098 4294967295 134512640 135987407 3221224560 3221223216 134812334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 48427 38098 364 364 0 48063 0
[pid=7896] vsize: 193708
Current children cumulated CPU time (s) 977.75
Current children cumulated vsize (Kb) 193708

[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 74184 0 0 0 98492 282 0 0 25 0 1 0 21255477 198356992 38100 4294967295 134512640 135987407 3221224560 3221223120 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 48427 38100 364 364 0 48063 0
[pid=7896] vsize: 193708
Current children cumulated CPU time (s) 987.74
Current children cumulated vsize (Kb) 193708

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 74186 0 0 0 99491 283 0 0 25 0 1 0 21255477 198356992 38102 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 48427 38102 364 364 0 48063 0
[pid=7896] vsize: 193708
Current children cumulated CPU time (s) 997.74
Current children cumulated vsize (Kb) 193708

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 74189 0 0 0 100489 283 0 0 25 0 1 0 21255477 198356992 38105 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 48427 38105 364 364 0 48063 0
[pid=7896] vsize: 193708
Current children cumulated CPU time (s) 1007.72
Current children cumulated vsize (Kb) 193708

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 74417 0 0 0 101487 284 0 0 25 0 1 0 21255477 198881280 38204 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 48555 38204 364 364 0 48191 0
[pid=7896] vsize: 194220
Current children cumulated CPU time (s) 1017.71
Current children cumulated vsize (Kb) 194220

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 74430 0 0 0 102486 285 0 0 25 0 1 0 21255477 198881280 38217 4294967295 134512640 135987407 3221224560 3221223120 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 48555 38217 364 364 0 48191 0
[pid=7896] vsize: 194220
Current children cumulated CPU time (s) 1027.71
Current children cumulated vsize (Kb) 194220

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 96416 0 0 0 103430 337 0 0 25 0 1 0 21255477 267362304 55221 4294967295 134512640 135987407 3221224560 3221159408 134537491 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 65274 55221 364 364 0 64910 0
[pid=7896] vsize: 261096
Current children cumulated CPU time (s) 1037.67
Current children cumulated vsize (Kb) 261096

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 131573 0 0 0 104351 414 0 0 25 0 1 0 21255477 379772928 68191 4294967295 134512640 135987407 3221224560 3221223328 134800229 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7896/statm): 92718 68191 364 364 0 92354 0
[pid=7896] vsize: 370872
Current children cumulated CPU time (s) 1047.65
Current children cumulated vsize (Kb) 370872

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 138069 0 0 0 105330 432 0 0 25 0 1 0 21255477 391729152 70785 4294967295 134512640 135987407 3221224560 3221223040 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 95637 70785 364 364 0 95273 0
[pid=7896] vsize: 382548
Current children cumulated CPU time (s) 1057.62
Current children cumulated vsize (Kb) 382548

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 138592 0 0 0 106323 435 0 0 25 0 1 0 21255477 394469376 71242 4294967295 134512640 135987407 3221224560 3221223200 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 96306 71242 364 364 0 95942 0
[pid=7896] vsize: 385224
Current children cumulated CPU time (s) 1067.58
Current children cumulated vsize (Kb) 385224

[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 138728 0 0 0 107320 436 0 0 25 0 1 0 21255477 394866688 71313 4294967295 134512640 135987407 3221224560 3221223040 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 96403 71313 364 364 0 96039 0
[pid=7896] vsize: 385612
Current children cumulated CPU time (s) 1077.56
Current children cumulated vsize (Kb) 385612

[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 138771 0 0 0 108317 437 0 0 25 0 1 0 21255477 394866688 71356 4294967295 134512640 135987407 3221224560 3221223040 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 96403 71356 364 364 0 96039 0
[pid=7896] vsize: 385612
Current children cumulated CPU time (s) 1087.54
Current children cumulated vsize (Kb) 385612

[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 138779 0 0 0 109317 438 0 0 25 0 1 0 21255477 411643904 71364 4294967295 134512640 135987407 3221224560 3221223040 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 100499 71364 364 364 0 100135 0
[pid=7896] vsize: 401996
Current children cumulated CPU time (s) 1097.55
Current children cumulated vsize (Kb) 401996

[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 138781 0 0 0 110315 438 0 0 25 0 1 0 21255477 411643904 71366 4294967295 134512640 135987407 3221224560 3221223040 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 100499 71366 364 364 0 100135 0
[pid=7896] vsize: 401996
Current children cumulated CPU time (s) 1107.53
Current children cumulated vsize (Kb) 401996

[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.95 1/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) T 7895 7896 4059 0 -1 0 138787 0 0 0 111312 439 0 0 25 0 1 0 21255477 411643904 71372 4294967295 134512640 135987407 3221224560 3221223180 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7896/statm): 100499 71372 364 364 0 100135 0
[pid=7896] vsize: 401996
Current children cumulated CPU time (s) 1117.51
Current children cumulated vsize (Kb) 401996

[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 138795 0 0 0 112311 439 0 0 25 0 1 0 21255477 411643904 71380 4294967295 134512640 135987407 3221224560 3221223164 134812262 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 100499 71380 364 364 0 100135 0
[pid=7896] vsize: 401996
Current children cumulated CPU time (s) 1127.5
Current children cumulated vsize (Kb) 401996

[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 139034 0 0 0 113307 441 0 0 25 0 1 0 21255477 412704768 71553 4294967295 134512640 135987407 3221224560 3221222928 134801587 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 100758 71553 364 364 0 100394 0
[pid=7896] vsize: 403032
Current children cumulated CPU time (s) 1137.48
Current children cumulated vsize (Kb) 403032

[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 139220 0 0 0 114304 443 0 0 25 0 1 0 21255477 413368320 71706 4294967295 134512640 135987407 3221224560 3221223040 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 100920 71706 364 364 0 100556 0
[pid=7896] vsize: 403680
Current children cumulated CPU time (s) 1147.47
Current children cumulated vsize (Kb) 403680

[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 140376 0 0 0 115297 447 0 0 25 0 1 0 21255477 413499392 71755 4294967295 134512640 135987407 3221224560 3221223168 134876845 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 100952 71755 364 364 0 100588 0
[pid=7896] vsize: 403808
Current children cumulated CPU time (s) 1157.44
Current children cumulated vsize (Kb) 403808

[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 140392 0 0 0 116283 452 0 0 25 0 1 0 21255477 413499392 71771 4294967295 134512640 135987407 3221224560 3221223040 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 100952 71771 364 364 0 100588 0
[pid=7896] vsize: 403808
Current children cumulated CPU time (s) 1167.35
Current children cumulated vsize (Kb) 403808

[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 140569 0 0 0 117279 454 0 0 25 0 1 0 21255477 413892608 71850 4294967295 134512640 135987407 3221224560 3221223040 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 101048 71850 364 364 0 100684 0
[pid=7896] vsize: 404192
Current children cumulated CPU time (s) 1177.33
Current children cumulated vsize (Kb) 404192

[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 140755 0 0 0 118271 457 0 0 25 0 1 0 21255477 414420992 71970 4294967295 134512640 135987407 3221224560 3221223040 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 101177 71970 364 364 0 100813 0
[pid=7896] vsize: 404708
Current children cumulated CPU time (s) 1187.28
Current children cumulated vsize (Kb) 404708

[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 140756 0 0 0 119261 461 0 0 25 0 1 0 21255477 414420992 71971 4294967295 134512640 135987407 3221224560 3221223168 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 101177 71971 364 364 0 100813 0
[pid=7896] vsize: 404708
Current children cumulated CPU time (s) 1197.22
Current children cumulated vsize (Kb) 404708

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 140763 0 0 0 120258 462 0 0 25 0 1 0 21255477 414420992 71978 4294967295 134512640 135987407 3221224560 3221222912 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 101177 71978 364 364 0 100813 0
[pid=7896] vsize: 404708
Current children cumulated CPU time (s) 1207.2
Current children cumulated vsize (Kb) 404708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7896
Raw data (/proc/7896/stat): 7896 (pb2sat) R 7895 7896 4059 0 -1 0 140763 0 0 0 120258 462 0 0 25 0 1 0 21255477 414420992 71978 4294967295 134512640 135987407 3221224560 3221222912 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7896/statm): 101177 71978 364 364 0 100813 0
[pid=7896] vsize: 404708
Current children cumulated CPU time (s) 1207.2
Current children cumulated vsize (Kb) 404708

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

Child status: 10
Real time (s): 1211.48
CPU time (s): 1208.65
CPU user time (s): 1203.88
CPU system time (s): 4.77127
CPU usage (%): 99.7662
Max. virtual memory (cumulated for all children) (Kb): 404708

Verifier Data

Verifier:	OK	-2