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-5.opb
MD5SUM70070c820bc7d178cc8f33b42e0deead
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 constraints28143
Number of constraints which are clauses28143
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 9818

Launcher Data

LAUNCH ON wulflinc2 THE 2005-09-23 15:26:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8553 boxname=wulflinc2 idbench=349 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  70070c820bc7d178cc8f33b42e0deead  /oldhome/oroussel/tmp/wulflinc2/normalized-frb35-17-5.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc2/normalized-frb35-17-5.opb
IDLAUNCH: 8553
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.261
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.261
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:        904328 kB
Buffers:         16328 kB
Cached:          94444 kB
SwapCached:          0 kB
Active:          45648 kB
Inactive:        67968 kB
HighTotal:      131008 kB
HighFree:        39284 kB
LowTotal:       903652 kB
LowFree:        865044 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            11212 kB
Committed_AS:    63640 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:46:39 (client local time) WITH STATUS 10 IN 1206.09 SECONDS
stats: 8553 0 1206.09 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: 7928/174941	Time: 19.705/86400
c Decision: 8005/174941	Time: 36.4945/86400
c Decision: 8038/174941	Time: 49.9904/86400
c Decision: 8111/174941	Time: 77.8402/86400
c Decision: 8111/174941	Time: 92.258/86400
c Decision: 8111/174941	Time: 106.756/86400
c Decision: 8111/174941	Time: 122.315/86400
c Decision: 8111/174941	Time: 139.657/86400
c Decision: 8111/174941	Time: 153.614/86400
c Decision: 8111/174941	Time: 174.2/86400
c Decision: 8111/174941	Time: 188.839/86400
c Decision: 8111/174941	Time: 228.081/86400
c Decision: 8111/174941	Time: 270.137/86400
c Decision: 8111/174941	Time: 291.728/86400
c Decision: 8111/174941	Time: 336.624/86400
c Decision: 8111/174941	Time: 352.751/86400
c Decision: 8111/174941	Time: 368.24/86400
c Decision: 8111/174941	Time: 400.316/86400
c Decision: 8111/174941	Time: 429.209/86400
c Decision: 8111/174941	Time: 456.017/86400
c Decision: 8111/174941	Time: 501.131/86400
c Decision: 8111/174941	Time: 527.546/86400
c Decision: 8111/174941	Time: 547.679/86400
c Decision: 8111/174941	Time: 573.645/86400
c Decision: 8116/174941	Time: 628.453/86400
c Decision: 8116/174941	Time: 661.314/86400
c Decision: 8116/174941	Time: 677.323/86400
c Decision: 8116/174941	Time: 698.832/86400
c Decision: 8116/174941	Time: 720.08/86400
c Decision: 8116/174941	Time: 748.824/86400
c Decision: 8116/174941	Time: 774.647/86400
c Decision: 8116/174941	Time: 800.95/86400
c Decision: 8116/174941	Time: 824.165/86400
c trying from 512 to 594

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

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

c Decision: 216399/352851	Time: 65.2891/86400
c Decision: 217253/352851	Time: 121.822/86400
c Decision: 217253/352851	Time: 149.937/86400
c Decision: 217253/352851	Time: 177.092/86400
c Decision: 217253/352851	Time: 205.094/86400
c Decision: 217261/352851	Time: 232.21/86400
c Decision: 217261/352851	Time: 256.648/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/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21276886 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 373 2 364 364 0 9 0
[pid=8651] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc2/normalized-frb35-17-5.opb

[startup+10.0022 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 28139 0 0 0 937 59 0 0 25 0 1 0 21276886 93310976 17074 4294967295 134512640 135987407 3221224576 3221200208 134855001 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 22781 17074 364 364 0 22417 0
[pid=8651] vsize: 91124
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 91124

[startup+20.0028 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 30952 0 0 0 1915 71 0 0 25 0 1 0 21276886 102256640 19504 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 24965 19504 364 364 0 24601 0
[pid=8651] vsize: 99860
Current children cumulated CPU time (s) 19.86
Current children cumulated vsize (Kb) 99860

[startup+30.0035 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 31431 0 0 0 2909 74 0 0 25 0 1 0 21276886 102617088 19641 4294967295 134512640 135987407 3221224576 3221223264 134876808 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 25053 19641 364 364 0 24689 0
[pid=8651] vsize: 100212
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (Kb) 100212

[startup+40.0043 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 32827 0 0 0 3896 80 0 0 25 0 1 0 21276886 106827776 20557 4294967295 134512640 135987407 3221224576 3221223312 134812606 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 26081 20557 364 364 0 25717 0
[pid=8651] vsize: 104324
Current children cumulated CPU time (s) 39.76
Current children cumulated vsize (Kb) 104324

[startup+50.0049 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 33302 0 0 0 4887 85 0 0 25 0 1 0 21276886 107368448 20690 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 26213 20690 364 364 0 25849 0
[pid=8651] vsize: 104852
Current children cumulated CPU time (s) 49.72
Current children cumulated vsize (Kb) 104852

[startup+60.0056 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 33469 0 0 0 5881 88 0 0 25 0 1 0 21276886 107905024 20824 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 26344 20824 364 364 0 25980 0
[pid=8651] vsize: 105376
Current children cumulated CPU time (s) 59.69
Current children cumulated vsize (Kb) 105376

[startup+70.0063 s]
Raw data (loadavg): 0.97 0.97 0.99 1/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) T 8650 8651 4070 0 -1 0 34811 0 0 0 6865 96 0 0 25 0 1 0 21276886 111874048 21627 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8651/statm): 27313 21627 364 364 0 26949 0
[pid=8651] vsize: 109252
Current children cumulated CPU time (s) 69.61
Current children cumulated vsize (Kb) 109252

[startup+80.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 35627 0 0 0 7855 100 0 0 25 0 1 0 21276886 115638272 22328 4294967295 134512640 135987407 3221224576 3221223024 134788602 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 28232 22328 364 364 0 27868 0
[pid=8651] vsize: 112928
Current children cumulated CPU time (s) 79.55
Current children cumulated vsize (Kb) 112928

[startup+90.0078 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 36071 0 0 0 8848 103 0 0 25 0 1 0 21276886 115904512 22430 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 28297 22430 364 364 0 27933 0
[pid=8651] vsize: 113188
Current children cumulated CPU time (s) 89.51
Current children cumulated vsize (Kb) 113188

[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 36242 0 0 0 9840 106 0 0 25 0 1 0 21276886 116367360 22568 4294967295 134512640 135987407 3221224576 3221223136 134811940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 28410 22568 364 364 0 28046 0
[pid=8651] vsize: 113640
Current children cumulated CPU time (s) 99.46
Current children cumulated vsize (Kb) 113640

[startup+110.009 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 36615 0 0 0 10834 109 0 0 25 0 1 0 21276886 116367360 22599 4294967295 134512640 135987407 3221224576 3221223136 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 28410 22599 364 364 0 28046 0
[pid=8651] vsize: 113640
Current children cumulated CPU time (s) 109.43
Current children cumulated vsize (Kb) 113640

[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 36974 0 0 0 11828 111 0 0 25 0 1 0 21276886 116367360 22616 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 28410 22616 364 364 0 28046 0
[pid=8651] vsize: 113640
Current children cumulated CPU time (s) 119.39
Current children cumulated vsize (Kb) 113640

[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 36994 0 0 0 12823 113 0 0 25 0 1 0 21276886 116502528 22636 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 28443 22636 364 364 0 28079 0
[pid=8651] vsize: 113772
Current children cumulated CPU time (s) 129.36
Current children cumulated vsize (Kb) 113772

[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 37491 0 0 0 13817 115 0 0 25 0 1 0 21276886 117096448 22726 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 28588 22726 364 364 0 28224 0
[pid=8651] vsize: 114352
Current children cumulated CPU time (s) 139.32
Current children cumulated vsize (Kb) 114352

[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 38170 0 0 0 14807 120 0 0 25 0 1 0 21276886 119631872 23141 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 29207 23141 364 364 0 28843 0
[pid=8651] vsize: 116828
Current children cumulated CPU time (s) 149.27
Current children cumulated vsize (Kb) 116828

[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 38557 0 0 0 15801 124 0 0 25 0 1 0 21276886 119902208 23186 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 29273 23186 364 364 0 28909 0
[pid=8651] vsize: 117092
Current children cumulated CPU time (s) 159.25
Current children cumulated vsize (Kb) 117092

[startup+170.011 s]
Raw data (loadavg): 1.07 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 39050 0 0 0 16794 127 0 0 25 0 1 0 21276886 120569856 23304 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 29436 23304 364 364 0 29072 0
[pid=8651] vsize: 117744
Current children cumulated CPU time (s) 169.21
Current children cumulated vsize (Kb) 117744

[startup+180.012 s]
Raw data (loadavg): 1.06 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 39688 0 0 0 17782 132 0 0 25 0 1 0 21276886 123109376 23712 4294967295 134512640 135987407 3221224576 3221223312 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 30056 23712 364 364 0 29692 0
[pid=8651] vsize: 120224
Current children cumulated CPU time (s) 179.14
Current children cumulated vsize (Kb) 120224

[startup+190.013 s]
Raw data (loadavg): 1.05 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 40192 0 0 0 18775 135 0 0 25 0 1 0 21276886 123506688 23841 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 30153 23841 364 364 0 29789 0
[pid=8651] vsize: 120612
Current children cumulated CPU time (s) 189.1
Current children cumulated vsize (Kb) 120612

[startup+200.012 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 40573 0 0 0 19769 138 0 0 25 0 1 0 21276886 123506688 23880 4294967295 134512640 135987407 3221224576 3221223264 134876866 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 30153 23880 364 364 0 29789 0
[pid=8651] vsize: 120612
Current children cumulated CPU time (s) 199.07
Current children cumulated vsize (Kb) 120612

[startup+210.013 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 41695 0 0 0 20758 143 0 0 25 0 1 0 21276886 126668800 24381 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 30925 24381 364 364 0 30561 0
[pid=8651] vsize: 123700
Current children cumulated CPU time (s) 209.01
Current children cumulated vsize (Kb) 123700

[startup+220.014 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 42602 0 0 0 21749 147 0 0 25 0 1 0 21276886 129437696 24864 4294967295 134512640 135987407 3221224576 3221223312 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 31601 24864 364 364 0 31237 0
[pid=8651] vsize: 126404
Current children cumulated CPU time (s) 218.96
Current children cumulated vsize (Kb) 126404

[startup+230.014 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 43034 0 0 0 22741 151 0 0 25 0 1 0 21276886 130490368 25099 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 31858 25099 364 364 0 31494 0
[pid=8651] vsize: 127432
Current children cumulated CPU time (s) 228.92
Current children cumulated vsize (Kb) 127432

[startup+240.014 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 43822 0 0 0 23733 154 0 0 25 0 1 0 21276886 132075520 25350 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 32245 25350 364 364 0 31881 0
[pid=8651] vsize: 128980
Current children cumulated CPU time (s) 238.87
Current children cumulated vsize (Kb) 128980

[startup+250.014 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 44831 0 0 0 24725 159 0 0 25 0 1 0 21276886 135110656 25870 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 32986 25870 364 364 0 32622 0
[pid=8651] vsize: 131944
Current children cumulated CPU time (s) 248.84
Current children cumulated vsize (Kb) 131944

[startup+260.015 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 45600 0 0 0 25717 162 0 0 25 0 1 0 21276886 137347072 26150 4294967295 134512640 135987407 3221224576 3221223312 134812606 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 33532 26150 364 364 0 33168 0
[pid=8651] vsize: 134128
Current children cumulated CPU time (s) 258.79
Current children cumulated vsize (Kb) 134128

[startup+270.014 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 46513 0 0 0 26708 167 0 0 25 0 1 0 21276886 139972608 26444 4294967295 134512640 135987407 3221224576 3221223136 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 34173 26444 364 364 0 33809 0
[pid=8651] vsize: 136692
Current children cumulated CPU time (s) 268.75
Current children cumulated vsize (Kb) 136692

[startup+280.015 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 46929 0 0 0 27700 169 0 0 25 0 1 0 21276886 141156352 26599 4294967295 134512640 135987407 3221224576 3221223296 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 34462 26599 364 364 0 34098 0
[pid=8651] vsize: 137848
Current children cumulated CPU time (s) 278.69
Current children cumulated vsize (Kb) 137848

[startup+290.016 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 47676 0 0 0 28693 173 0 0 25 0 1 0 21276886 142209024 26809 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 34719 26809 364 364 0 34355 0
[pid=8651] vsize: 138876
Current children cumulated CPU time (s) 288.66
Current children cumulated vsize (Kb) 138876

[startup+300.015 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 47740 0 0 0 29689 175 0 0 25 0 1 0 21276886 142475264 26873 4294967295 134512640 135987407 3221224576 3221223136 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 34784 26873 364 364 0 34420 0
[pid=8651] vsize: 139136
Current children cumulated CPU time (s) 298.64
Current children cumulated vsize (Kb) 139136

[startup+310.016 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 48294 0 0 0 30683 178 0 0 25 0 1 0 21276886 142737408 27020 4294967295 134512640 135987407 3221224576 3221223232 134812398 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 34848 27020 364 364 0 34484 0
[pid=8651] vsize: 139392
Current children cumulated CPU time (s) 308.61
Current children cumulated vsize (Kb) 139392

[startup+320.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 48668 0 0 0 31678 180 0 0 25 0 1 0 21276886 143929344 27296 4294967295 134512640 135987407 3221224576 3221223136 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 35139 27296 364 364 0 34775 0
[pid=8651] vsize: 140556
Current children cumulated CPU time (s) 318.58
Current children cumulated vsize (Kb) 140556

[startup+330.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 49111 0 0 0 32669 184 0 0 25 0 1 0 21276886 145248256 27543 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 35461 27543 364 364 0 35097 0
[pid=8651] vsize: 141844
Current children cumulated CPU time (s) 328.53
Current children cumulated vsize (Kb) 141844

[startup+340.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 49424 0 0 0 33663 186 0 0 25 0 1 0 21276886 145903616 27693 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 35621 27693 364 364 0 35257 0
[pid=8651] vsize: 142484
Current children cumulated CPU time (s) 338.49
Current children cumulated vsize (Kb) 142484

[startup+350.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 50433 0 0 0 34656 189 0 0 25 0 1 0 21276886 147218432 28067 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 35942 28067 364 364 0 35578 0
[pid=8651] vsize: 143768
Current children cumulated CPU time (s) 348.45
Current children cumulated vsize (Kb) 143768

[startup+360.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 50460 0 0 0 35649 192 0 0 25 0 1 0 21276886 147218432 28094 4294967295 134512640 135987407 3221224576 3221223136 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 35942 28094 364 364 0 35578 0
[pid=8651] vsize: 143768
Current children cumulated CPU time (s) 358.41
Current children cumulated vsize (Kb) 143768

[startup+370.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 50816 0 0 0 36643 195 0 0 25 0 1 0 21276886 147218432 28108 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 35942 28108 364 364 0 35578 0
[pid=8651] vsize: 143768
Current children cumulated CPU time (s) 368.38
Current children cumulated vsize (Kb) 143768

[startup+380.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 51160 0 0 0 37637 197 0 0 25 0 1 0 21276886 148619264 28452 4294967295 134512640 135987407 3221224576 3221222808 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36284 28452 364 364 0 35920 0
[pid=8651] vsize: 145136
Current children cumulated CPU time (s) 378.34
Current children cumulated vsize (Kb) 145136

[startup+390.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 51260 0 0 0 38632 199 0 0 25 0 1 0 21276886 147619840 28177 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36040 28177 364 364 0 35676 0
[pid=8651] vsize: 144160
Current children cumulated CPU time (s) 388.31
Current children cumulated vsize (Kb) 144160

[startup+400.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 51261 0 0 0 39625 202 0 0 25 0 1 0 21276886 147619840 28178 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36040 28178 364 364 0 35676 0
[pid=8651] vsize: 144160
Current children cumulated CPU time (s) 398.27
Current children cumulated vsize (Kb) 144160

[startup+410.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 51264 0 0 0 40616 205 0 0 25 0 1 0 21276886 147619840 28181 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36040 28181 364 364 0 35676 0
[pid=8651] vsize: 144160
Current children cumulated CPU time (s) 408.21
Current children cumulated vsize (Kb) 144160

[startup+420.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 51918 0 0 0 41610 208 0 0 25 0 1 0 21276886 148676608 28363 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36298 28363 364 364 0 35934 0
[pid=8651] vsize: 145192
Current children cumulated CPU time (s) 418.18
Current children cumulated vsize (Kb) 145192

[startup+430.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 51926 0 0 0 42604 210 0 0 25 0 1 0 21276886 148676608 28371 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36298 28371 364 364 0 35934 0
[pid=8651] vsize: 145192
Current children cumulated CPU time (s) 428.14
Current children cumulated vsize (Kb) 145192

[startup+440.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 51928 0 0 0 43596 213 0 0 25 0 1 0 21276886 148676608 28373 4294967295 134512640 135987407 3221224576 3221223232 134812355 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36298 28373 364 364 0 35934 0
[pid=8651] vsize: 145192
Current children cumulated CPU time (s) 438.09
Current children cumulated vsize (Kb) 145192

[startup+450.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 52305 0 0 0 44588 216 0 0 25 0 1 0 21276886 148942848 28408 4294967295 134512640 135987407 3221224576 3221223136 134812155 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36363 28408 364 364 0 35999 0
[pid=8651] vsize: 145452
Current children cumulated CPU time (s) 448.04
Current children cumulated vsize (Kb) 145452

[startup+460.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 52306 0 0 0 45583 218 0 0 25 0 1 0 21276886 148942848 28409 4294967295 134512640 135987407 3221224576 3221223136 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36363 28409 364 364 0 35999 0
[pid=8651] vsize: 145452
Current children cumulated CPU time (s) 458.01
Current children cumulated vsize (Kb) 145452

[startup+470.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 52650 0 0 0 46576 221 0 0 25 0 1 0 21276886 148942848 28411 4294967295 134512640 135987407 3221224576 3221223232 134812383 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36363 28411 364 364 0 35999 0
[pid=8651] vsize: 145452
Current children cumulated CPU time (s) 467.97
Current children cumulated vsize (Kb) 145452

[startup+480.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 52723 0 0 0 47570 223 0 0 25 0 1 0 21276886 149209088 28451 4294967295 134512640 135987407 3221224576 3221223136 134811790 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36428 28451 364 364 0 36064 0
[pid=8651] vsize: 145712
Current children cumulated CPU time (s) 477.93
Current children cumulated vsize (Kb) 145712

[startup+490.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 52894 0 0 0 48563 225 0 0 25 0 1 0 21276886 149733376 28492 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36556 28492 364 364 0 36192 0
[pid=8651] vsize: 146224
Current children cumulated CPU time (s) 487.88
Current children cumulated vsize (Kb) 146224

[startup+500.019 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) T 8650 8651 4070 0 -1 0 52928 0 0 0 49557 228 0 0 25 0 1 0 21276886 149999616 28526 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36621 28526 364 364 0 36257 0
[pid=8651] vsize: 146484
Current children cumulated CPU time (s) 497.85
Current children cumulated vsize (Kb) 146484

[startup+510.018 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) T 8650 8651 4070 0 -1 0 53060 0 0 0 50551 230 0 0 25 0 1 0 21276886 150392832 28560 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36717 28560 364 364 0 36353 0
[pid=8651] vsize: 146868
Current children cumulated CPU time (s) 507.81
Current children cumulated vsize (Kb) 146868

[startup+520.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 53464 0 0 0 51546 232 0 0 25 0 1 0 21276886 150523904 28589 4294967295 134512640 135987407 3221224576 3221222908 135480791 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36749 28589 364 364 0 36385 0
[pid=8651] vsize: 146996
Current children cumulated CPU time (s) 517.78
Current children cumulated vsize (Kb) 146996

[startup+530.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 53465 0 0 0 52540 234 0 0 25 0 1 0 21276886 150523904 28590 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36749 28590 364 364 0 36385 0
[pid=8651] vsize: 146996
Current children cumulated CPU time (s) 527.74
Current children cumulated vsize (Kb) 146996

[startup+540.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 53809 0 0 0 53533 237 0 0 25 0 1 0 21276886 151924736 28934 4294967295 134512640 135987407 3221224576 3221222832 134829000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 37091 28934 364 364 0 36727 0
[pid=8651] vsize: 148364
Current children cumulated CPU time (s) 537.7
Current children cumulated vsize (Kb) 148364

[startup+550.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 53811 0 0 0 54529 239 0 0 25 0 1 0 21276886 150523904 28594 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36749 28594 364 364 0 36385 0
[pid=8651] vsize: 146996
Current children cumulated CPU time (s) 547.68
Current children cumulated vsize (Kb) 146996

[startup+560.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 53813 0 0 0 55525 240 0 0 25 0 1 0 21276886 150523904 28596 4294967295 134512640 135987407 3221224576 3221223168 134814464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36749 28596 364 364 0 36385 0
[pid=8651] vsize: 146996
Current children cumulated CPU time (s) 557.65
Current children cumulated vsize (Kb) 146996

[startup+570.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 54165 0 0 0 56517 243 0 0 25 0 1 0 21276886 150523904 28606 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36749 28606 364 364 0 36385 0
[pid=8651] vsize: 146996
Current children cumulated CPU time (s) 567.6
Current children cumulated vsize (Kb) 146996

[startup+580.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 54169 0 0 0 57512 245 0 0 25 0 1 0 21276886 150523904 28610 4294967295 134512640 135987407 3221224576 3221223232 134812365 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36749 28610 364 364 0 36385 0
[pid=8651] vsize: 146996
Current children cumulated CPU time (s) 577.57
Current children cumulated vsize (Kb) 146996

[startup+590.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 54513 0 0 0 58505 248 0 0 25 0 1 0 21276886 150523904 28612 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36749 28612 364 364 0 36385 0
[pid=8651] vsize: 146996
Current children cumulated CPU time (s) 587.53
Current children cumulated vsize (Kb) 146996

[startup+600.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 54515 0 0 0 59501 250 0 0 25 0 1 0 21276886 150523904 28614 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36749 28614 364 364 0 36385 0
[pid=8651] vsize: 146996
Current children cumulated CPU time (s) 597.51
Current children cumulated vsize (Kb) 146996

[startup+610.018 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 54516 0 0 0 60494 252 0 0 25 0 1 0 21276886 150523904 28615 4294967295 134512640 135987407 3221224576 3221223208 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36749 28615 364 364 0 36385 0
[pid=8651] vsize: 146996
Current children cumulated CPU time (s) 607.46
Current children cumulated vsize (Kb) 146996

[startup+620.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 54536 0 0 0 61487 254 0 0 25 0 1 0 21276886 150659072 28635 4294967295 134512640 135987407 3221224576 3221223136 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36782 28635 364 364 0 36418 0
[pid=8651] vsize: 147128
Current children cumulated CPU time (s) 617.41
Current children cumulated vsize (Kb) 147128

[startup+630.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 54537 0 0 0 62480 257 0 0 25 0 1 0 21276886 150659072 28636 4294967295 134512640 135987407 3221224576 3221222908 135481719 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36782 28636 364 364 0 36418 0
[pid=8651] vsize: 147128
Current children cumulated CPU time (s) 627.37
Current children cumulated vsize (Kb) 147128

[startup+640.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 54539 0 0 0 63474 259 0 0 25 0 1 0 21276886 150659072 28638 4294967295 134512640 135987407 3221224576 3221223136 134812138 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36782 28638 364 364 0 36418 0
[pid=8651] vsize: 147128
Current children cumulated CPU time (s) 637.33
Current children cumulated vsize (Kb) 147128

[startup+650.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 54918 0 0 0 64470 261 0 0 25 0 1 0 21276886 150659072 28675 4294967295 134512640 135987407 3221224576 3221223136 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36782 28675 364 364 0 36418 0
[pid=8651] vsize: 147128
Current children cumulated CPU time (s) 647.31
Current children cumulated vsize (Kb) 147128

[startup+660.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 54972 0 0 0 65466 263 0 0 25 0 1 0 21276886 150659072 28729 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36782 28729 364 364 0 36418 0
[pid=8651] vsize: 147128
Current children cumulated CPU time (s) 657.29
Current children cumulated vsize (Kb) 147128

[startup+670.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 54978 0 0 0 66462 264 0 0 25 0 1 0 21276886 150659072 28735 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36782 28735 364 364 0 36418 0
[pid=8651] vsize: 147128
Current children cumulated CPU time (s) 667.26
Current children cumulated vsize (Kb) 147128

[startup+680.018 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) T 8650 8651 4070 0 -1 0 55322 0 0 0 67458 266 0 0 25 0 1 0 21276886 150659072 28737 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8651/statm): 36782 28737 364 364 0 36418 0
[pid=8651] vsize: 147128
Current children cumulated CPU time (s) 677.24
Current children cumulated vsize (Kb) 147128

[startup+690.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 55325 0 0 0 68455 267 0 0 25 0 1 0 21276886 150659072 28740 4294967295 134512640 135987407 3221224576 3221223168 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 36782 28740 364 364 0 36418 0
[pid=8651] vsize: 147128
Current children cumulated CPU time (s) 687.22
Current children cumulated vsize (Kb) 147128

[startup+700.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 55669 0 0 0 69450 270 0 0 25 0 1 0 21276886 150659072 28742 4294967295 134512640 135987407 3221224576 3221223136 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 36782 28742 364 364 0 36418 0
[pid=8651] vsize: 147128
Current children cumulated CPU time (s) 697.2
Current children cumulated vsize (Kb) 147128

[startup+710.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 55671 0 0 0 70448 271 0 0 25 0 1 0 21276886 150659072 28744 4294967295 134512640 135987407 3221224576 3221223136 134811962 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 36782 28744 364 364 0 36418 0
[pid=8651] vsize: 147128
Current children cumulated CPU time (s) 707.19
Current children cumulated vsize (Kb) 147128

[startup+720.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 56015 0 0 0 71444 273 0 0 25 0 1 0 21276886 150659072 28746 4294967295 134512640 135987407 3221224576 3221223296 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 36782 28746 364 364 0 36418 0
[pid=8651] vsize: 147128
Current children cumulated CPU time (s) 717.17
Current children cumulated vsize (Kb) 147128

[startup+730.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 56021 0 0 0 72441 274 0 0 25 0 1 0 21276886 150659072 28752 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 36782 28752 364 364 0 36418 0
[pid=8651] vsize: 147128
Current children cumulated CPU time (s) 727.15
Current children cumulated vsize (Kb) 147128

[startup+740.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 56371 0 0 0 73436 277 0 0 25 0 1 0 21276886 150659072 28760 4294967295 134512640 135987407 3221224576 3221223008 134788476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 36782 28760 364 364 0 36418 0
[pid=8651] vsize: 147128
Current children cumulated CPU time (s) 737.13
Current children cumulated vsize (Kb) 147128

[startup+750.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 56495 0 0 0 74428 280 0 0 25 0 1 0 21276886 151056384 28818 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36879 28818 364 364 0 36515 0
[pid=8651] vsize: 147516
Current children cumulated CPU time (s) 747.08
Current children cumulated vsize (Kb) 147516

[startup+760.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 56511 0 0 0 75424 281 0 0 25 0 1 0 21276886 151056384 28834 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36879 28834 364 364 0 36515 0
[pid=8651] vsize: 147516
Current children cumulated CPU time (s) 757.05
Current children cumulated vsize (Kb) 147516

[startup+770.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 56868 0 0 0 76421 283 0 0 25 0 1 0 21276886 151056384 28849 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36879 28849 364 364 0 36515 0
[pid=8651] vsize: 147516
Current children cumulated CPU time (s) 767.04
Current children cumulated vsize (Kb) 147516

[startup+780.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 56884 0 0 0 77419 284 0 0 25 0 1 0 21276886 151056384 28865 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36879 28865 364 364 0 36515 0
[pid=8651] vsize: 147516
Current children cumulated CPU time (s) 777.03
Current children cumulated vsize (Kb) 147516

[startup+790.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 57234 0 0 0 78414 287 0 0 25 0 1 0 21276886 151056384 28873 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36879 28873 364 364 0 36515 0
[pid=8651] vsize: 147516
Current children cumulated CPU time (s) 787.01
Current children cumulated vsize (Kb) 147516

[startup+800.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 57236 0 0 0 79412 288 0 0 25 0 1 0 21276886 151056384 28875 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36879 28875 364 364 0 36515 0
[pid=8651] vsize: 147516
Current children cumulated CPU time (s) 797
Current children cumulated vsize (Kb) 147516

[startup+810.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 57237 0 0 0 80408 289 0 0 25 0 1 0 21276886 151056384 28876 4294967295 134512640 135987407 3221224576 3221223312 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36879 28876 364 364 0 36515 0
[pid=8651] vsize: 147516
Current children cumulated CPU time (s) 806.97
Current children cumulated vsize (Kb) 147516

[startup+820.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 57581 0 0 0 81405 290 0 0 25 0 1 0 21276886 151056384 28878 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36879 28878 364 364 0 36515 0
[pid=8651] vsize: 147516
Current children cumulated CPU time (s) 816.95
Current children cumulated vsize (Kb) 147516

[startup+830.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 57582 0 0 0 82402 292 0 0 25 0 1 0 21276886 151056384 28879 4294967295 134512640 135987407 3221224576 3221223136 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36879 28879 364 364 0 36515 0
[pid=8651] vsize: 147516
Current children cumulated CPU time (s) 826.94
Current children cumulated vsize (Kb) 147516

[startup+840.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 57931 0 0 0 83398 294 0 0 25 0 1 0 21276886 151056384 28886 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36879 28886 364 364 0 36515 0
[pid=8651] vsize: 147516
Current children cumulated CPU time (s) 836.92
Current children cumulated vsize (Kb) 147516

[startup+850.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 57951 0 0 0 84396 294 0 0 25 0 1 0 21276886 151191552 28906 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36912 28906 364 364 0 36548 0
[pid=8651] vsize: 147648
Current children cumulated CPU time (s) 846.9
Current children cumulated vsize (Kb) 147648

[startup+860.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 57953 0 0 0 85395 295 0 0 25 0 1 0 21276886 151191552 28908 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 36912 28908 364 364 0 36548 0
[pid=8651] vsize: 147648
Current children cumulated CPU time (s) 856.9
Current children cumulated vsize (Kb) 147648

[startup+870.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 58101 0 0 0 86393 296 0 0 25 0 1 0 21276886 151715840 28927 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 37040 28927 364 364 0 36676 0
[pid=8651] vsize: 148160
Current children cumulated CPU time (s) 866.89
Current children cumulated vsize (Kb) 148160

[startup+880.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 58102 0 0 0 87391 297 0 0 25 0 1 0 21276886 151715840 28928 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 37040 28928 364 364 0 36676 0
[pid=8651] vsize: 148160
Current children cumulated CPU time (s) 876.88
Current children cumulated vsize (Kb) 148160

[startup+890.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 65780 0 0 0 88369 317 0 0 25 0 1 0 21276886 180899840 36499 4294967295 134512640 135987407 3221224576 3221111340 134637002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 44165 36499 364 364 0 43801 0
[pid=8651] vsize: 176660
Current children cumulated CPU time (s) 886.86
Current children cumulated vsize (Kb) 176660

[startup+900.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 89293 0 0 0 89318 367 0 0 25 0 1 0 21276886 236486656 47277 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 57736 47277 364 364 0 57372 0
[pid=8651] vsize: 230944
Current children cumulated CPU time (s) 896.85
Current children cumulated vsize (Kb) 230944

[startup+910.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 91364 0 0 0 90292 379 0 0 25 0 1 0 21276886 240009216 48006 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 58596 48006 364 364 0 58232 0
[pid=8651] vsize: 234384
Current children cumulated CPU time (s) 906.71
Current children cumulated vsize (Kb) 234384

[startup+920.021 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) T 8650 8651 4070 0 -1 0 92561 0 0 0 91270 387 0 0 25 0 1 0 21276886 240406528 48115 4294967295 134512640 135987407 3221224576 3221223196 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8651/statm): 58693 48115 364 364 0 58329 0
[pid=8651] vsize: 234772
Current children cumulated CPU time (s) 916.57
Current children cumulated vsize (Kb) 234772

[startup+930.021 s]
Raw data (loadavg): 1.08 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 92691 0 0 0 92216 406 0 0 22 0 1 0 21276886 240934912 48180 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 58822 48180 364 364 0 58458 0
[pid=8651] vsize: 235288
Current children cumulated CPU time (s) 926.22
Current children cumulated vsize (Kb) 235288

[startup+940.021 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 92990 0 0 0 93169 422 0 0 25 0 1 0 21276886 241930240 48380 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 59065 48380 364 364 0 58701 0
[pid=8651] vsize: 236260
Current children cumulated CPU time (s) 935.91
Current children cumulated vsize (Kb) 236260

[startup+950.021 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 93051 0 0 0 94162 425 0 0 25 0 1 0 21276886 242262016 48441 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 59146 48441 364 364 0 58782 0
[pid=8651] vsize: 236584
Current children cumulated CPU time (s) 945.87
Current children cumulated vsize (Kb) 236584

[startup+960.021 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 93053 0 0 0 95156 427 0 0 25 0 1 0 21276886 242262016 48443 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 59146 48443 364 364 0 58782 0
[pid=8651] vsize: 236584
Current children cumulated CPU time (s) 955.83
Current children cumulated vsize (Kb) 236584

[startup+970.022 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 93802 0 0 0 96148 430 0 0 25 0 1 0 21276886 244793344 48896 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 59764 48896 364 364 0 59400 0
[pid=8651] vsize: 239056
Current children cumulated CPU time (s) 965.78
Current children cumulated vsize (Kb) 239056

[startup+980.021 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 94806 0 0 0 97136 435 0 0 25 0 1 0 21276886 245981184 49047 4294967295 134512640 135987407 3221224576 3221222960 135293398 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 60054 49047 364 364 0 59690 0
[pid=8651] vsize: 240216
Current children cumulated CPU time (s) 975.71
Current children cumulated vsize (Kb) 240216

[startup+990.022 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 95018 0 0 0 98116 443 0 0 25 0 1 0 21276886 247046144 49259 4294967295 134512640 135987407 3221224576 3221223056 134812043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 60314 49259 364 364 0 59950 0
[pid=8651] vsize: 241256
Current children cumulated CPU time (s) 985.59
Current children cumulated vsize (Kb) 241256

[startup+1000.02 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 95544 0 0 0 99108 446 0 0 25 0 1 0 21276886 249044992 49620 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 60802 49620 364 364 0 60438 0
[pid=8651] vsize: 243208
Current children cumulated CPU time (s) 995.54
Current children cumulated vsize (Kb) 243208

[startup+1010.02 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 95546 0 0 0 100103 448 0 0 25 0 1 0 21276886 249044992 49622 4294967295 134512640 135987407 3221224576 3221223184 134824777 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8651/statm): 60802 49622 364 364 0 60438 0
[pid=8651] vsize: 243208
Current children cumulated CPU time (s) 1005.51
Current children cumulated vsize (Kb) 243208

[startup+1020.02 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 95547 0 0 0 101098 450 0 0 25 0 1 0 21276886 249044992 49623 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 60802 49623 364 364 0 60438 0
[pid=8651] vsize: 243208
Current children cumulated CPU time (s) 1015.48
Current children cumulated vsize (Kb) 243208

[startup+1030.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 95549 0 0 0 102096 452 0 0 25 0 1 0 21276886 249044992 49625 4294967295 134512640 135987407 3221224576 3221223232 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 60802 49625 364 364 0 60438 0
[pid=8651] vsize: 243208
Current children cumulated CPU time (s) 1025.48
Current children cumulated vsize (Kb) 243208

[startup+1040.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 96240 0 0 0 103089 455 0 0 25 0 1 0 21276886 249044992 49626 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 60802 49626 364 364 0 60438 0
[pid=8651] vsize: 243208
Current children cumulated CPU time (s) 1035.44
Current children cumulated vsize (Kb) 243208

[startup+1050.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 96242 0 0 0 104084 457 0 0 25 0 1 0 21276886 249044992 49628 4294967295 134512640 135987407 3221224576 3221223056 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 60802 49628 364 364 0 60438 0
[pid=8651] vsize: 243208
Current children cumulated CPU time (s) 1045.41
Current children cumulated vsize (Kb) 243208

[startup+1060.02 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 96243 0 0 0 105081 458 0 0 25 0 1 0 21276886 249044992 49629 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 60802 49629 364 364 0 60438 0
[pid=8651] vsize: 243208
Current children cumulated CPU time (s) 1055.39
Current children cumulated vsize (Kb) 243208

[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 96934 0 0 0 106077 460 0 0 25 0 1 0 21276886 249044992 49630 4294967295 134512640 135987407 3221224576 3221223120 134801142 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 60802 49630 364 364 0 60438 0
[pid=8651] vsize: 243208
Current children cumulated CPU time (s) 1065.37
Current children cumulated vsize (Kb) 243208

[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 96936 0 0 0 107076 461 0 0 25 0 1 0 21276886 249044992 49632 4294967295 134512640 135987407 3221224576 3221223056 134811706 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 60802 49632 364 364 0 60438 0
[pid=8651] vsize: 243208
Current children cumulated CPU time (s) 1075.37
Current children cumulated vsize (Kb) 243208

[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 96937 0 0 0 108074 461 0 0 25 0 1 0 21276886 249044992 49633 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 60802 49633 364 364 0 60438 0
[pid=8651] vsize: 243208
Current children cumulated CPU time (s) 1085.35
Current children cumulated vsize (Kb) 243208

[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 97629 0 0 0 109070 463 0 0 25 0 1 0 21276886 249044992 49635 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 60802 49635 364 364 0 60438 0
[pid=8651] vsize: 243208
Current children cumulated CPU time (s) 1095.33
Current children cumulated vsize (Kb) 243208

[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 97630 0 0 0 110067 464 0 0 25 0 1 0 21276886 249044992 49636 4294967295 134512640 135987407 3221224576 3221223056 134811933 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 60802 49636 364 364 0 60438 0
[pid=8651] vsize: 243208
Current children cumulated CPU time (s) 1105.31
Current children cumulated vsize (Kb) 243208

[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 98322 0 0 0 111063 467 0 0 25 0 1 0 21276886 249044992 49638 4294967295 134512640 135987407 3221224576 3221223056 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 60802 49638 364 364 0 60438 0
[pid=8651] vsize: 243208
Current children cumulated CPU time (s) 1115.3
Current children cumulated vsize (Kb) 243208

[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 98323 0 0 0 112058 469 0 0 25 0 1 0 21276886 249044992 49639 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 60802 49639 364 364 0 60438 0
[pid=8651] vsize: 243208
Current children cumulated CPU time (s) 1125.27
Current children cumulated vsize (Kb) 243208

[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 98325 0 0 0 113056 470 0 0 25 0 1 0 21276886 249044992 49641 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 60802 49641 364 364 0 60438 0
[pid=8651] vsize: 243208
Current children cumulated CPU time (s) 1135.26
Current children cumulated vsize (Kb) 243208

[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 99016 0 0 0 114053 472 0 0 25 0 1 0 21276886 249044992 49642 4294967295 134512640 135987407 3221224576 3221223056 134811829 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 60802 49642 364 364 0 60438 0
[pid=8651] vsize: 243208
Current children cumulated CPU time (s) 1145.25
Current children cumulated vsize (Kb) 243208

[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 99018 0 0 0 115051 472 0 0 25 0 1 0 21276886 249044992 49644 4294967295 134512640 135987407 3221224576 3221223056 134811990 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 60802 49644 364 364 0 60438 0
[pid=8651] vsize: 243208
Current children cumulated CPU time (s) 1155.23
Current children cumulated vsize (Kb) 243208

[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 99020 0 0 0 116048 474 0 0 25 0 1 0 21276886 249044992 49646 4294967295 134512640 135987407 3221224576 3221223088 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 60802 49646 364 364 0 60438 0
[pid=8651] vsize: 243208
Current children cumulated CPU time (s) 1165.22
Current children cumulated vsize (Kb) 243208

[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 99711 0 0 0 117046 476 0 0 25 0 1 0 21276886 249044992 49647 4294967295 134512640 135987407 3221224576 3221223152 134812304 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 60802 49647 364 364 0 60438 0
[pid=8651] vsize: 243208
Current children cumulated CPU time (s) 1175.22
Current children cumulated vsize (Kb) 243208

[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 99713 0 0 0 118044 476 0 0 25 0 1 0 21276886 249044992 49649 4294967295 134512640 135987407 3221224576 3221223056 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 60802 49649 364 364 0 60438 0
[pid=8651] vsize: 243208
Current children cumulated CPU time (s) 1185.2
Current children cumulated vsize (Kb) 243208

[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 99714 0 0 0 119042 477 0 0 25 0 1 0 21276886 249044992 49650 4294967295 134512640 135987407 3221224576 3221223232 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 60802 49650 364 364 0 60438 0
[pid=8651] vsize: 243208
Current children cumulated CPU time (s) 1195.19
Current children cumulated vsize (Kb) 243208

[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 100405 0 0 0 120038 479 0 0 25 0 1 0 21276886 251871232 50341 4294967295 134512640 135987407 3221224576 3221222728 134827505 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 61492 50341 364 364 0 61128 0
[pid=8651] vsize: 245968
Current children cumulated CPU time (s) 1205.17
Current children cumulated vsize (Kb) 245968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8651
Raw data (/proc/8651/stat): 8651 (pb2sat) R 8650 8651 4070 0 -1 0 100405 0 0 0 120038 479 0 0 25 0 1 0 21276886 251871232 50341 4294967295 134512640 135987407 3221224576 3221222728 134827505 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8651/statm): 61492 50341 364 364 0 61128 0
[pid=8651] vsize: 245968
Current children cumulated CPU time (s) 1205.17
Current children cumulated vsize (Kb) 245968

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

Child status: 10
Real time (s): 1210.95
CPU time (s): 1206.09
CPU user time (s): 1201.19
CPU system time (s): 4.89825
CPU usage (%): 99.5988
Max. virtual memory (cumulated for all children) (Kb): 245968

Verifier Data

Verifier:	OK	-4