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-2.opb
MD5SUM270e069f649d19b0da4e4d23c0e1ebfc
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.03
Number of variables760
Total number of constraints41263
Number of constraints which are clauses41263
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 9821

Launcher Data

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        927432 kB
Buffers:         16916 kB
Cached:          70872 kB
SwapCached:          0 kB
Active:          45424 kB
Inactive:        45276 kB
HighTotal:      131008 kB
HighFree:        56252 kB
LowTotal:       903652 kB
LowFree:        871180 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10964 kB
Committed_AS:    63620 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:48:09 (client local time) WITH STATUS 10 IN 1207.25 SECONDS
stats: 8556 0 1207.25 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: 15174/259586	Time: 85.778/86400
c Decision: 16625/259586	Time: 141.043/86400
c Decision: 17113/259586	Time: 186.283/86400
c Decision: 17113/259586	Time: 218.79/86400
c Decision: 35635/259586	Time: 271.504/86400
c Decision: 36099/259586	Time: 314.722/86400
c Decision: 38063/259586	Time: 380.116/86400
c Decision: 38065/259586	Time: 415.745/86400
c Decision: 38065/259586	Time: 450.796/86400
c Decision: 38065/259586	Time: 488.013/86400
c Decision: 38966/259586	Time: 519.081/86400
c Decision: 38966/259586	Time: 548.263/86400
c Decision: 38966/259586	Time: 576.302/86400
c Decision: 38966/259586	Time: 607.756/86400
c Decision: 38966/259586	Time: 646.644/86400
c Decision: 38966/259586	Time: 676.158/86400
c Decision: 38966/259586	Time: 710.323/86400
c Decision: 39934/259586	Time: 764.593/86400
c Decision: 39934/259586	Time: 792.56/86400
c Decision: 43519/259586	Time: 836.71/86400
c Decision: 43519/259586	Time: 863.317/86400
c Decision: 43519/259586	Time: 891.472/86400
c Decision: 43519/259586	Time: 924.007/86400
c Decision: 43519/259586	Time: 958.436/86400
c Decision: 43524/259586	Time: 1002.69/86400
c Decision: 45675/259586	Time: 1045.35/86400
c Decision: 45675/259586	Time: 1080.13/86400
c Decision: 45675/259586	Time: 1114.75/86400
c Decision: 45677/259586	Time: 1148.15/86400
c Decision: 45677/259586	Time: 1180.38/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/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21230854 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 373 2 364 364 0 9 0
[pid=7400] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc25/normalized-frb40-19-2.opb

[startup+10.0022 s]
Raw data (loadavg): 0.87 0.94 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 26313 0 0 0 936 60 0 0 25 0 1 0 21230854 90951680 15271 4294967295 134512640 135987407 3221224560 3221140900 134637037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 22205 15271 364 364 0 21841 0
[pid=7400] vsize: 88820
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 88820

[startup+20.0028 s]
Raw data (loadavg): 0.89 0.94 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 44718 0 0 0 1891 101 0 0 25 0 1 0 21230854 137928704 26821 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 33674 26821 364 364 0 33310 0
[pid=7400] vsize: 134696
Current children cumulated CPU time (s) 19.92
Current children cumulated vsize (Kb) 134696

[startup+30.0024 s]
Raw data (loadavg): 0.90 0.94 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 44939 0 0 0 2841 117 0 0 25 0 1 0 21230854 138510336 26981 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 33816 26981 364 364 0 33452 0
[pid=7400] vsize: 135264
Current children cumulated CPU time (s) 29.58
Current children cumulated vsize (Kb) 135264

[startup+40.003 s]
Raw data (loadavg): 0.92 0.94 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 44968 0 0 0 3782 138 0 0 25 0 1 0 21230854 138702848 27010 4294967295 134512640 135987407 3221224560 3221223008 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 33863 27010 364 364 0 33499 0
[pid=7400] vsize: 135452
Current children cumulated CPU time (s) 39.2
Current children cumulated vsize (Kb) 135452

[startup+50.0036 s]
Raw data (loadavg): 0.93 0.94 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 46811 0 0 0 4754 152 0 0 25 0 1 0 21230854 145260544 28280 4294967295 134512640 135987407 3221224560 3221223184 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 35464 28280 364 364 0 35100 0
[pid=7400] vsize: 141856
Current children cumulated CPU time (s) 49.06
Current children cumulated vsize (Kb) 141856

[startup+60.0042 s]
Raw data (loadavg): 0.94 0.95 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 48767 0 0 0 5745 157 0 0 25 0 1 0 21230854 151855104 29401 4294967295 134512640 135987407 3221224560 3221223120 134811990 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 37074 29401 364 364 0 36710 0
[pid=7400] vsize: 148296
Current children cumulated CPU time (s) 59.02
Current children cumulated vsize (Kb) 148296

[startup+70.0048 s]
Raw data (loadavg): 0.95 0.95 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 49657 0 0 0 6740 161 0 0 25 0 1 0 21230854 154796032 29883 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 37792 29883 364 364 0 37428 0
[pid=7400] vsize: 151168
Current children cumulated CPU time (s) 69.01
Current children cumulated vsize (Kb) 151168

[startup+80.0054 s]
Raw data (loadavg): 0.96 0.95 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 50435 0 0 0 7731 165 0 0 25 0 1 0 21230854 158040064 30464 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 38584 30464 364 364 0 38220 0
[pid=7400] vsize: 154336
Current children cumulated CPU time (s) 78.96
Current children cumulated vsize (Kb) 154336

[startup+90.006 s]
Raw data (loadavg): 0.96 0.95 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 50480 0 0 0 8728 166 0 0 25 0 1 0 21230854 158175232 30509 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 38617 30509 364 364 0 38253 0
[pid=7400] vsize: 154468
Current children cumulated CPU time (s) 88.94
Current children cumulated vsize (Kb) 154468

[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 50516 0 0 0 9727 167 0 0 25 0 1 0 21230854 158175232 30545 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 38617 30545 364 364 0 38253 0
[pid=7400] vsize: 154468
Current children cumulated CPU time (s) 98.94
Current children cumulated vsize (Kb) 154468

[startup+110.007 s]
Raw data (loadavg): 0.97 0.95 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 52345 0 0 0 10716 173 0 0 25 0 1 0 21230854 163377152 31414 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 39887 31414 364 364 0 39523 0
[pid=7400] vsize: 159548
Current children cumulated CPU time (s) 108.89
Current children cumulated vsize (Kb) 159548

[startup+120.008 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 53489 0 0 0 11703 179 0 0 25 0 1 0 21230854 167706624 32097 4294967295 134512640 135987407 3221224560 3221223120 134812031 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 40944 32097 364 364 0 40580 0
[pid=7400] vsize: 163776
Current children cumulated CPU time (s) 118.82
Current children cumulated vsize (Kb) 163776

[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 54639 0 0 0 12695 183 0 0 25 0 1 0 21230854 171708416 32818 4294967295 134512640 135987407 3221224560 3221223120 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 41921 32818 364 364 0 41557 0
[pid=7400] vsize: 167684
Current children cumulated CPU time (s) 128.78
Current children cumulated vsize (Kb) 167684

[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 54978 0 0 0 13687 186 0 0 25 0 1 0 21230854 172969984 33025 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 42229 33025 364 364 0 41865 0
[pid=7400] vsize: 168916
Current children cumulated CPU time (s) 138.73
Current children cumulated vsize (Kb) 168916

[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 54998 0 0 0 14683 188 0 0 25 0 1 0 21230854 172969984 33045 4294967295 134512640 135987407 3221224560 3221223248 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 42229 33045 364 364 0 41865 0
[pid=7400] vsize: 168916
Current children cumulated CPU time (s) 148.71
Current children cumulated vsize (Kb) 168916

[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 55972 0 0 0 15673 193 0 0 25 0 1 0 21230854 174292992 33282 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 42552 33282 364 364 0 42188 0
[pid=7400] vsize: 170208
Current children cumulated CPU time (s) 158.66
Current children cumulated vsize (Kb) 170208

[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 56837 0 0 0 16658 200 0 0 25 0 1 0 21230854 177414144 33829 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 43314 33829 364 364 0 42950 0
[pid=7400] vsize: 173256
Current children cumulated CPU time (s) 168.58
Current children cumulated vsize (Kb) 173256

[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 57175 0 0 0 17654 202 0 0 25 0 1 0 21230854 178884608 34038 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 43673 34038 364 364 0 43309 0
[pid=7400] vsize: 174692
Current children cumulated CPU time (s) 178.56
Current children cumulated vsize (Kb) 174692

[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 57202 0 0 0 18650 204 0 0 25 0 1 0 21230854 178884608 34065 4294967295 134512640 135987407 3221224560 3221223244 134812262 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 43673 34065 364 364 0 43309 0
[pid=7400] vsize: 174692
Current children cumulated CPU time (s) 188.54
Current children cumulated vsize (Kb) 174692

[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 57235 0 0 0 19648 204 0 0 25 0 1 0 21230854 178884608 34098 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 43673 34098 364 364 0 43309 0
[pid=7400] vsize: 174692
Current children cumulated CPU time (s) 198.52
Current children cumulated vsize (Kb) 174692

[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 58016 0 0 0 20643 208 0 0 25 0 1 0 21230854 180092928 34305 4294967295 134512640 135987407 3221224560 3221222992 134788476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 43968 34305 364 364 0 43604 0
[pid=7400] vsize: 175872
Current children cumulated CPU time (s) 208.51
Current children cumulated vsize (Kb) 175872

[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 58595 0 0 0 21635 211 0 0 25 0 1 0 21230854 182358016 34686 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 44521 34686 364 364 0 44157 0
[pid=7400] vsize: 178084
Current children cumulated CPU time (s) 218.46
Current children cumulated vsize (Kb) 178084

[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 58694 0 0 0 22631 212 0 0 25 0 1 0 21230854 182620160 34719 4294967295 134512640 135987407 3221224560 3221222992 134788493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 44585 34719 364 364 0 44221 0
[pid=7400] vsize: 178340
Current children cumulated CPU time (s) 228.43
Current children cumulated vsize (Kb) 178340

[startup+240.012 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 59664 0 0 0 23623 217 0 0 25 0 1 0 21230854 183808000 34952 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 44875 34952 364 364 0 44511 0
[pid=7400] vsize: 179500
Current children cumulated CPU time (s) 238.4
Current children cumulated vsize (Kb) 179500

[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 60371 0 0 0 24613 221 0 0 25 0 1 0 21230854 185794560 35398 4294967295 134512640 135987407 3221224560 3221223120 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 45360 35398 364 364 0 44996 0
[pid=7400] vsize: 181440
Current children cumulated CPU time (s) 248.34
Current children cumulated vsize (Kb) 181440

[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 61341 0 0 0 25601 227 0 0 25 0 1 0 21230854 188850176 35944 4294967295 134512640 135987407 3221224560 3221223120 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 46106 35944 364 364 0 45742 0
[pid=7400] vsize: 184424
Current children cumulated CPU time (s) 258.28
Current children cumulated vsize (Kb) 184424

[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 61404 0 0 0 26596 228 0 0 25 0 1 0 21230854 188981248 35974 4294967295 134512640 135987407 3221224560 3221223184 134801140 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 46138 35974 364 364 0 45774 0
[pid=7400] vsize: 184552
Current children cumulated CPU time (s) 268.24
Current children cumulated vsize (Kb) 184552

[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 61420 0 0 0 27593 230 0 0 25 0 1 0 21230854 188981248 35990 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 46138 35990 364 364 0 45774 0
[pid=7400] vsize: 184552
Current children cumulated CPU time (s) 278.23
Current children cumulated vsize (Kb) 184552

[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 62027 0 0 0 28589 232 0 0 25 0 1 0 21230854 189243392 36024 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 46202 36024 364 364 0 45838 0
[pid=7400] vsize: 184808
Current children cumulated CPU time (s) 288.21
Current children cumulated vsize (Kb) 184808

[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 62785 0 0 0 29581 236 0 0 25 0 1 0 21230854 191614976 36358 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 46781 36358 364 364 0 46417 0
[pid=7400] vsize: 187124
Current children cumulated CPU time (s) 298.17
Current children cumulated vsize (Kb) 187124

[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 62917 0 0 0 30578 237 0 0 25 0 1 0 21230854 192016384 36457 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 46879 36457 364 364 0 46515 0
[pid=7400] vsize: 187516
Current children cumulated CPU time (s) 308.15
Current children cumulated vsize (Kb) 187516

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 62938 0 0 0 31575 238 0 0 25 0 1 0 21230854 192016384 36478 4294967295 134512640 135987407 3221224560 3221223280 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 46879 36478 364 364 0 46515 0
[pid=7400] vsize: 187516
Current children cumulated CPU time (s) 318.13
Current children cumulated vsize (Kb) 187516

[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 62956 0 0 0 32572 239 0 0 25 0 1 0 21230854 192016384 36496 4294967295 134512640 135987407 3221224560 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 46879 36496 364 364 0 46515 0
[pid=7400] vsize: 187516
Current children cumulated CPU time (s) 328.11
Current children cumulated vsize (Kb) 187516

[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 63606 0 0 0 33566 242 0 0 25 0 1 0 21230854 192552960 36605 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 47010 36605 364 364 0 46646 0
[pid=7400] vsize: 188040
Current children cumulated CPU time (s) 338.08
Current children cumulated vsize (Kb) 188040

[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 63608 0 0 0 34562 243 0 0 25 0 1 0 21230854 192552960 36607 4294967295 134512640 135987407 3221224560 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 47010 36607 364 364 0 46646 0
[pid=7400] vsize: 188040
Current children cumulated CPU time (s) 348.05
Current children cumulated vsize (Kb) 188040

[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 63838 0 0 0 35557 245 0 0 25 0 1 0 21230854 193077248 36706 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 47138 36706 364 364 0 46774 0
[pid=7400] vsize: 188552
Current children cumulated CPU time (s) 358.02
Current children cumulated vsize (Kb) 188552

[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 63896 0 0 0 36552 247 0 0 25 0 1 0 21230854 193347584 36764 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 47204 36764 364 364 0 46840 0
[pid=7400] vsize: 188816
Current children cumulated CPU time (s) 367.99
Current children cumulated vsize (Kb) 188816

[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 63898 0 0 0 37549 247 0 0 25 0 1 0 21230854 193347584 36766 4294967295 134512640 135987407 3221224560 3221223248 134824717 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 47204 36766 364 364 0 46840 0
[pid=7400] vsize: 188816
Current children cumulated CPU time (s) 377.96
Current children cumulated vsize (Kb) 188816

[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 63899 0 0 0 38547 248 0 0 25 0 1 0 21230854 193347584 36767 4294967295 134512640 135987407 3221224560 3221223184 134801142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 47204 36767 364 364 0 46840 0
[pid=7400] vsize: 188816
Current children cumulated CPU time (s) 387.95
Current children cumulated vsize (Kb) 188816

[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 64428 0 0 0 39543 250 0 0 25 0 1 0 21230854 193482752 36788 4294967295 134512640 135987407 3221224560 3221223120 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 47237 36788 364 364 0 46873 0
[pid=7400] vsize: 188948
Current children cumulated CPU time (s) 397.93
Current children cumulated vsize (Kb) 188948

[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 64505 0 0 0 40540 252 0 0 25 0 1 0 21230854 193613824 36832 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 47269 36832 364 364 0 46905 0
[pid=7400] vsize: 189076
Current children cumulated CPU time (s) 407.92
Current children cumulated vsize (Kb) 189076

[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 64576 0 0 0 41536 253 0 0 25 0 1 0 21230854 193880064 36903 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47334 36903 364 364 0 46970 0
[pid=7400] vsize: 189336
Current children cumulated CPU time (s) 417.89
Current children cumulated vsize (Kb) 189336

[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 64577 0 0 0 42534 254 0 0 25 0 1 0 21230854 193880064 36904 4294967295 134512640 135987407 3221224560 3221223248 134824216 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47334 36904 364 364 0 46970 0
[pid=7400] vsize: 189336
Current children cumulated CPU time (s) 427.88
Current children cumulated vsize (Kb) 189336

[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 65086 0 0 0 43530 256 0 0 25 0 1 0 21230854 193880064 36905 4294967295 134512640 135987407 3221224560 3221223120 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47334 36905 364 364 0 46970 0
[pid=7400] vsize: 189336
Current children cumulated CPU time (s) 437.86
Current children cumulated vsize (Kb) 189336

[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 65087 0 0 0 44528 256 0 0 25 0 1 0 21230854 193880064 36906 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47334 36906 364 364 0 46970 0
[pid=7400] vsize: 189336
Current children cumulated CPU time (s) 447.84
Current children cumulated vsize (Kb) 189336

[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 65089 0 0 0 45526 257 0 0 25 0 1 0 21230854 193880064 36908 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47334 36908 364 364 0 46970 0
[pid=7400] vsize: 189336
Current children cumulated CPU time (s) 457.83
Current children cumulated vsize (Kb) 189336

[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 65601 0 0 0 46523 259 0 0 25 0 1 0 21230854 193880064 36912 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47334 36912 364 364 0 46970 0
[pid=7400] vsize: 189336
Current children cumulated CPU time (s) 467.82
Current children cumulated vsize (Kb) 189336

[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 65981 0 0 0 47517 262 0 0 25 0 1 0 21230854 194666496 37095 4294967295 134512640 135987407 3221224560 3221223200 134812419 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47526 37095 364 364 0 47162 0
[pid=7400] vsize: 190104
Current children cumulated CPU time (s) 477.79
Current children cumulated vsize (Kb) 190104

[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 66085 0 0 0 48512 264 0 0 25 0 1 0 21230854 194797568 37166 4294967295 134512640 135987407 3221224560 3221223248 134824717 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47558 37166 364 364 0 47194 0
[pid=7400] vsize: 190232
Current children cumulated CPU time (s) 487.76
Current children cumulated vsize (Kb) 190232

[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 66103 0 0 0 49509 266 0 0 25 0 1 0 21230854 194797568 37184 4294967295 134512640 135987407 3221224560 3221223120 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47558 37184 364 364 0 47194 0
[pid=7400] vsize: 190232
Current children cumulated CPU time (s) 497.75
Current children cumulated vsize (Kb) 190232

[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 66632 0 0 0 50506 268 0 0 25 0 1 0 21230854 194797568 37205 4294967295 134512640 135987407 3221224560 3221223120 134812038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47558 37205 364 364 0 47194 0
[pid=7400] vsize: 190232
Current children cumulated CPU time (s) 507.74
Current children cumulated vsize (Kb) 190232

[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 66657 0 0 0 51504 269 0 0 25 0 1 0 21230854 194797568 37230 4294967295 134512640 135987407 3221224560 3221223120 134811990 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47558 37230 364 364 0 47194 0
[pid=7400] vsize: 190232
Current children cumulated CPU time (s) 517.73
Current children cumulated vsize (Kb) 190232

[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 66681 0 0 0 52502 270 0 0 25 0 1 0 21230854 194797568 37254 4294967295 134512640 135987407 3221224560 3221223120 134812018 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47558 37254 364 364 0 47194 0
[pid=7400] vsize: 190232
Current children cumulated CPU time (s) 527.72
Current children cumulated vsize (Kb) 190232

[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 67202 0 0 0 53499 271 0 0 25 0 1 0 21230854 194797568 37267 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47558 37267 364 364 0 47194 0
[pid=7400] vsize: 190232
Current children cumulated CPU time (s) 537.7
Current children cumulated vsize (Kb) 190232

[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 67204 0 0 0 54496 272 0 0 25 0 1 0 21230854 194797568 37269 4294967295 134512640 135987407 3221224560 3221223120 134812043 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47558 37269 364 364 0 47194 0
[pid=7400] vsize: 190232
Current children cumulated CPU time (s) 547.68
Current children cumulated vsize (Kb) 190232

[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 67205 0 0 0 55495 273 0 0 25 0 1 0 21230854 194797568 37270 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47558 37270 364 364 0 47194 0
[pid=7400] vsize: 190232
Current children cumulated CPU time (s) 557.68
Current children cumulated vsize (Kb) 190232

[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 67715 0 0 0 56492 275 0 0 25 0 1 0 21230854 194797568 37272 4294967295 134512640 135987407 3221224560 3221223216 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47558 37272 364 364 0 47194 0
[pid=7400] vsize: 190232
Current children cumulated CPU time (s) 567.67
Current children cumulated vsize (Kb) 190232

[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 67723 0 0 0 57489 276 0 0 25 0 1 0 21230854 194797568 37280 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47558 37280 364 364 0 47194 0
[pid=7400] vsize: 190232
Current children cumulated CPU time (s) 577.65
Current children cumulated vsize (Kb) 190232

[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 67725 0 0 0 58487 277 0 0 25 0 1 0 21230854 194797568 37282 4294967295 134512640 135987407 3221224560 3221223120 134811701 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47558 37282 364 364 0 47194 0
[pid=7400] vsize: 190232
Current children cumulated CPU time (s) 587.64
Current children cumulated vsize (Kb) 190232

[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 68614 0 0 0 59482 280 0 0 25 0 1 0 21230854 195715072 37435 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47782 37435 364 364 0 47418 0
[pid=7400] vsize: 191128
Current children cumulated CPU time (s) 597.62
Current children cumulated vsize (Kb) 191128

[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 68615 0 0 0 60480 281 0 0 25 0 1 0 21230854 195715072 37436 4294967295 134512640 135987407 3221224560 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47782 37436 364 364 0 47418 0
[pid=7400] vsize: 191128
Current children cumulated CPU time (s) 607.61
Current children cumulated vsize (Kb) 191128

[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 68617 0 0 0 61478 282 0 0 25 0 1 0 21230854 195715072 37438 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47782 37438 364 364 0 47418 0
[pid=7400] vsize: 191128
Current children cumulated CPU time (s) 617.6
Current children cumulated vsize (Kb) 191128

[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 69126 0 0 0 62476 284 0 0 25 0 1 0 21230854 195715072 37439 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47782 37439 364 364 0 47418 0
[pid=7400] vsize: 191128
Current children cumulated CPU time (s) 627.6
Current children cumulated vsize (Kb) 191128

[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 69127 0 0 0 63474 285 0 0 25 0 1 0 21230854 195715072 37440 4294967295 134512640 135987407 3221224560 3221223120 134812049 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47782 37440 364 364 0 47418 0
[pid=7400] vsize: 191128
Current children cumulated CPU time (s) 637.59
Current children cumulated vsize (Kb) 191128

[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 69259 0 0 0 64469 287 0 0 25 0 1 0 21230854 196108288 37473 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47878 37473 364 364 0 47514 0
[pid=7400] vsize: 191512
Current children cumulated CPU time (s) 647.56
Current children cumulated vsize (Kb) 191512

[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 69268 0 0 0 65468 288 0 0 25 0 1 0 21230854 196108288 37482 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47878 37482 364 364 0 47514 0
[pid=7400] vsize: 191512
Current children cumulated CPU time (s) 657.56
Current children cumulated vsize (Kb) 191512

[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 69913 0 0 0 66464 290 0 0 25 0 1 0 21230854 196370432 37554 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 47942 37554 364 364 0 47578 0
[pid=7400] vsize: 191768
Current children cumulated CPU time (s) 667.54
Current children cumulated vsize (Kb) 191768

[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 69924 0 0 0 67461 291 0 0 25 0 1 0 21230854 213147648 37565 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52038 37565 364 364 0 51674 0
[pid=7400] vsize: 208152
Current children cumulated CPU time (s) 677.52
Current children cumulated vsize (Kb) 208152

[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 69936 0 0 0 68459 292 0 0 25 0 1 0 21230854 213147648 37577 4294967295 134512640 135987407 3221224560 3221223184 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52038 37577 364 364 0 51674 0
[pid=7400] vsize: 208152
Current children cumulated CPU time (s) 687.51
Current children cumulated vsize (Kb) 208152

[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 70715 0 0 0 69456 294 0 0 25 0 1 0 21230854 213671936 37718 4294967295 134512640 135987407 3221224560 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52166 37718 364 364 0 51802 0
[pid=7400] vsize: 208664
Current children cumulated CPU time (s) 697.5
Current children cumulated vsize (Kb) 208664

[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 70912 0 0 0 70451 296 0 0 25 0 1 0 21230854 214327296 37753 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52326 37753 364 364 0 51962 0
[pid=7400] vsize: 209304
Current children cumulated CPU time (s) 707.47
Current children cumulated vsize (Kb) 209304

[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 71129 0 0 0 71447 298 0 0 25 0 1 0 21230854 214851584 37840 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52454 37840 364 364 0 52090 0
[pid=7400] vsize: 209816
Current children cumulated CPU time (s) 717.45
Current children cumulated vsize (Kb) 209816

[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 71638 0 0 0 72444 300 0 0 25 0 1 0 21230854 214851584 37841 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52454 37841 364 364 0 52090 0
[pid=7400] vsize: 209816
Current children cumulated CPU time (s) 727.44
Current children cumulated vsize (Kb) 209816

[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 71639 0 0 0 73442 301 0 0 25 0 1 0 21230854 214851584 37842 4294967295 134512640 135987407 3221224560 3221223184 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52454 37842 364 364 0 52090 0
[pid=7400] vsize: 209816
Current children cumulated CPU time (s) 737.43
Current children cumulated vsize (Kb) 209816

[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 71640 0 0 0 74440 302 0 0 25 0 1 0 21230854 214851584 37843 4294967295 134512640 135987407 3221224560 3221223184 134801192 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52454 37843 364 364 0 52090 0
[pid=7400] vsize: 209816
Current children cumulated CPU time (s) 747.42
Current children cumulated vsize (Kb) 209816

[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 71653 0 0 0 75437 303 0 0 25 0 1 0 21230854 214851584 37856 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52454 37856 364 364 0 52090 0
[pid=7400] vsize: 209816
Current children cumulated CPU time (s) 757.4
Current children cumulated vsize (Kb) 209816

[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 71654 0 0 0 76435 304 0 0 25 0 1 0 21230854 214851584 37857 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52454 37857 364 364 0 52090 0
[pid=7400] vsize: 209816
Current children cumulated CPU time (s) 767.39
Current children cumulated vsize (Kb) 209816

[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 71656 0 0 0 77433 305 0 0 25 0 1 0 21230854 214851584 37859 4294967295 134512640 135987407 3221224560 3221223120 134811992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52454 37859 364 364 0 52090 0
[pid=7400] vsize: 209816
Current children cumulated CPU time (s) 777.38
Current children cumulated vsize (Kb) 209816

[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 72165 0 0 0 78430 307 0 0 25 0 1 0 21230854 214851584 37860 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52454 37860 364 364 0 52090 0
[pid=7400] vsize: 209816
Current children cumulated CPU time (s) 787.37
Current children cumulated vsize (Kb) 209816

[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 72167 0 0 0 79428 308 0 0 25 0 1 0 21230854 214851584 37862 4294967295 134512640 135987407 3221224560 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52454 37862 364 364 0 52090 0
[pid=7400] vsize: 209816
Current children cumulated CPU time (s) 797.36
Current children cumulated vsize (Kb) 209816

[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 72168 0 0 0 80426 308 0 0 25 0 1 0 21230854 214851584 37863 4294967295 134512640 135987407 3221224560 3221223072 134789452 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52454 37863 364 364 0 52090 0
[pid=7400] vsize: 209816
Current children cumulated CPU time (s) 807.34
Current children cumulated vsize (Kb) 209816

[startup+820.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 72730 0 0 0 81421 311 0 0 25 0 1 0 21230854 214982656 37884 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52486 37884 364 364 0 52122 0
[pid=7400] vsize: 209944
Current children cumulated CPU time (s) 817.32
Current children cumulated vsize (Kb) 209944

[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 72747 0 0 0 82419 312 0 0 25 0 1 0 21230854 214982656 37901 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52486 37901 364 364 0 52122 0
[pid=7400] vsize: 209944
Current children cumulated CPU time (s) 827.31
Current children cumulated vsize (Kb) 209944

[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 72749 0 0 0 83416 313 0 0 25 0 1 0 21230854 214982656 37903 4294967295 134512640 135987407 3221224560 3221223184 134801140 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52486 37903 364 364 0 52122 0
[pid=7400] vsize: 209944
Current children cumulated CPU time (s) 837.29
Current children cumulated vsize (Kb) 209944

[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 72750 0 0 0 84414 313 0 0 25 0 1 0 21230854 214982656 37904 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52486 37904 364 364 0 52122 0
[pid=7400] vsize: 209944
Current children cumulated CPU time (s) 847.27
Current children cumulated vsize (Kb) 209944

[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 73260 0 0 0 85411 315 0 0 25 0 1 0 21230854 214982656 37906 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52486 37906 364 364 0 52122 0
[pid=7400] vsize: 209944
Current children cumulated CPU time (s) 857.26
Current children cumulated vsize (Kb) 209944

[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 73261 0 0 0 86409 316 0 0 25 0 1 0 21230854 214982656 37907 4294967295 134512640 135987407 3221224560 3221223184 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52486 37907 364 364 0 52122 0
[pid=7400] vsize: 209944
Current children cumulated CPU time (s) 867.25
Current children cumulated vsize (Kb) 209944

[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 73771 0 0 0 87405 318 0 0 25 0 1 0 21230854 217063424 38417 4294967295 134512640 135987407 3221224560 3221222816 134829279 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52994 38417 364 364 0 52630 0
[pid=7400] vsize: 211976
Current children cumulated CPU time (s) 877.23
Current children cumulated vsize (Kb) 211976

[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 73772 0 0 0 88403 320 0 0 25 0 1 0 21230854 214982656 37910 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52486 37910 364 364 0 52122 0
[pid=7400] vsize: 209944
Current children cumulated CPU time (s) 887.23
Current children cumulated vsize (Kb) 209944

[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 73774 0 0 0 89401 320 0 0 25 0 1 0 21230854 214982656 37912 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52486 37912 364 364 0 52122 0
[pid=7400] vsize: 209944
Current children cumulated CPU time (s) 897.21
Current children cumulated vsize (Kb) 209944

[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 74283 0 0 0 90398 322 0 0 25 0 1 0 21230854 214982656 37913 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52486 37913 364 364 0 52122 0
[pid=7400] vsize: 209944
Current children cumulated CPU time (s) 907.2
Current children cumulated vsize (Kb) 209944

[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 74284 0 0 0 91396 322 0 0 25 0 1 0 21230854 214982656 37914 4294967295 134512640 135987407 3221224560 3221223296 134812703 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52486 37914 364 364 0 52122 0
[pid=7400] vsize: 209944
Current children cumulated CPU time (s) 917.18
Current children cumulated vsize (Kb) 209944

[startup+930.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 74286 0 0 0 92395 323 0 0 25 0 1 0 21230854 214982656 37916 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52486 37916 364 364 0 52122 0
[pid=7400] vsize: 209944
Current children cumulated CPU time (s) 927.18
Current children cumulated vsize (Kb) 209944

[startup+940.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 74297 0 0 0 93392 323 0 0 25 0 1 0 21230854 214982656 37927 4294967295 134512640 135987407 3221224560 3221223280 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52486 37927 364 364 0 52122 0
[pid=7400] vsize: 209944
Current children cumulated CPU time (s) 937.15
Current children cumulated vsize (Kb) 209944

[startup+950.014 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) T 7399 7400 4004 0 -1 0 74812 0 0 0 94390 325 0 0 25 0 1 0 21230854 214982656 37934 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52486 37934 364 364 0 52122 0
[pid=7400] vsize: 209944
Current children cumulated CPU time (s) 947.15
Current children cumulated vsize (Kb) 209944

[startup+960.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 74814 0 0 0 95388 326 0 0 25 0 1 0 21230854 214982656 37936 4294967295 134512640 135987407 3221224560 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52486 37936 364 364 0 52122 0
[pid=7400] vsize: 209944
Current children cumulated CPU time (s) 957.14
Current children cumulated vsize (Kb) 209944

[startup+970.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 74815 0 0 0 96386 327 0 0 25 0 1 0 21230854 214982656 37937 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52486 37937 364 364 0 52122 0
[pid=7400] vsize: 209944
Current children cumulated CPU time (s) 967.13
Current children cumulated vsize (Kb) 209944

[startup+980.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 75506 0 0 0 97382 329 0 0 25 0 1 0 21230854 215642112 38022 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52647 38022 364 364 0 52283 0
[pid=7400] vsize: 210588
Current children cumulated CPU time (s) 977.11
Current children cumulated vsize (Kb) 210588

[startup+990.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 75768 0 0 0 98375 331 0 0 25 0 1 0 21230854 216567808 38186 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 52873 38186 364 364 0 52509 0
[pid=7400] vsize: 211492
Current children cumulated CPU time (s) 987.06
Current children cumulated vsize (Kb) 211492

[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 75959 0 0 0 99372 332 0 0 25 0 1 0 21230854 217227264 38279 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 53034 38279 364 364 0 52670 0
[pid=7400] vsize: 212136
Current children cumulated CPU time (s) 997.04
Current children cumulated vsize (Kb) 212136

[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 75961 0 0 0 100369 333 0 0 25 0 1 0 21230854 217227264 38281 4294967295 134512640 135987407 3221224560 3221223120 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 53034 38281 364 364 0 52670 0
[pid=7400] vsize: 212136
Current children cumulated CPU time (s) 1007.02
Current children cumulated vsize (Kb) 212136

[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 75963 0 0 0 101367 334 0 0 25 0 1 0 21230854 217227264 38283 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 53034 38283 364 364 0 52670 0
[pid=7400] vsize: 212136
Current children cumulated CPU time (s) 1017.01
Current children cumulated vsize (Kb) 212136

[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 76472 0 0 0 102364 336 0 0 25 0 1 0 21230854 217227264 38284 4294967295 134512640 135987407 3221224560 3221223120 134812046 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 53034 38284 364 364 0 52670 0
[pid=7400] vsize: 212136
Current children cumulated CPU time (s) 1027
Current children cumulated vsize (Kb) 212136

[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 76475 0 0 0 103363 336 0 0 25 0 1 0 21230854 217227264 38287 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 53034 38287 364 364 0 52670 0
[pid=7400] vsize: 212136
Current children cumulated CPU time (s) 1036.99
Current children cumulated vsize (Kb) 212136

[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 76477 0 0 0 104361 337 0 0 25 0 1 0 21230854 217227264 38289 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 53034 38289 364 364 0 52670 0
[pid=7400] vsize: 212136
Current children cumulated CPU time (s) 1046.98
Current children cumulated vsize (Kb) 212136

[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 76491 0 0 0 105359 338 0 0 25 0 1 0 21230854 217227264 38303 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 53034 38303 364 364 0 52670 0
[pid=7400] vsize: 212136
Current children cumulated CPU time (s) 1056.97
Current children cumulated vsize (Kb) 212136

[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 77004 0 0 0 106357 339 0 0 25 0 1 0 21230854 217227264 38308 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 53034 38308 364 364 0 52670 0
[pid=7400] vsize: 212136
Current children cumulated CPU time (s) 1066.96
Current children cumulated vsize (Kb) 212136

[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 77005 0 0 0 107355 339 0 0 25 0 1 0 21230854 217227264 38309 4294967295 134512640 135987407 3221224560 3221223200 134812426 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 53034 38309 364 364 0 52670 0
[pid=7400] vsize: 212136
Current children cumulated CPU time (s) 1076.94
Current children cumulated vsize (Kb) 212136

[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 77006 0 0 0 108353 341 0 0 25 0 1 0 21230854 217227264 38310 4294967295 134512640 135987407 3221224560 3221223192 134811681 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 53034 38310 364 364 0 52670 0
[pid=7400] vsize: 212136
Current children cumulated CPU time (s) 1086.94
Current children cumulated vsize (Kb) 212136

[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 77515 0 0 0 109350 342 0 0 25 0 1 0 21230854 217227264 38311 4294967295 134512640 135987407 3221224560 3221223120 134811715 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 53034 38311 364 364 0 52670 0
[pid=7400] vsize: 212136
Current children cumulated CPU time (s) 1096.92
Current children cumulated vsize (Kb) 212136

[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 77561 0 0 0 110347 344 0 0 25 0 1 0 21230854 217493504 38357 4294967295 134512640 135987407 3221224560 3221223280 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 53099 38357 364 364 0 52735 0
[pid=7400] vsize: 212396
Current children cumulated CPU time (s) 1106.91
Current children cumulated vsize (Kb) 212396

[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 77563 0 0 0 111345 345 0 0 25 0 1 0 21230854 217493504 38359 4294967295 134512640 135987407 3221224560 3221223248 134824696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 53099 38359 364 364 0 52735 0
[pid=7400] vsize: 212396
Current children cumulated CPU time (s) 1116.9
Current children cumulated vsize (Kb) 212396

[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 77564 0 0 0 112342 346 0 0 25 0 1 0 21230854 217493504 38360 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 53099 38360 364 364 0 52735 0
[pid=7400] vsize: 212396
Current children cumulated CPU time (s) 1126.88
Current children cumulated vsize (Kb) 212396

[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 78080 0 0 0 113338 348 0 0 25 0 1 0 21230854 217493504 38368 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 53099 38368 364 364 0 52735 0
[pid=7400] vsize: 212396
Current children cumulated CPU time (s) 1136.86
Current children cumulated vsize (Kb) 212396

[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 78082 0 0 0 114335 349 0 0 25 0 1 0 21230854 217493504 38370 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 53099 38370 364 364 0 52735 0
[pid=7400] vsize: 212396
Current children cumulated CPU time (s) 1146.84
Current children cumulated vsize (Kb) 212396

[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 78083 0 0 0 115333 349 0 0 25 0 1 0 21230854 217493504 38371 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 53099 38371 364 364 0 52735 0
[pid=7400] vsize: 212396
Current children cumulated CPU time (s) 1156.82
Current children cumulated vsize (Kb) 212396

[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 78592 0 0 0 116330 351 0 0 25 0 1 0 21230854 217493504 38372 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 53099 38372 364 364 0 52735 0
[pid=7400] vsize: 212396
Current children cumulated CPU time (s) 1166.81
Current children cumulated vsize (Kb) 212396

[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 78596 0 0 0 117329 352 0 0 25 0 1 0 21230854 217493504 38376 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7400/statm): 53099 38376 364 364 0 52735 0
[pid=7400] vsize: 212396
Current children cumulated CPU time (s) 1176.81
Current children cumulated vsize (Kb) 212396

[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 78616 0 0 0 118327 352 0 0 25 0 1 0 21230854 217493504 38396 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 53099 38396 364 364 0 52735 0
[pid=7400] vsize: 212396
Current children cumulated CPU time (s) 1186.79
Current children cumulated vsize (Kb) 212396

[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 79141 0 0 0 119324 354 0 0 25 0 1 0 21230854 217493504 38413 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 53099 38413 364 364 0 52735 0
[pid=7400] vsize: 212396
Current children cumulated CPU time (s) 1196.78
Current children cumulated vsize (Kb) 212396

[startup+1210.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 79161 0 0 0 120322 355 0 0 25 0 1 0 21230854 217493504 38433 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 53099 38433 364 364 0 52735 0
[pid=7400] vsize: 212396
Current children cumulated CPU time (s) 1206.77
Current children cumulated vsize (Kb) 212396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 7400
Raw data (/proc/7400/stat): 7400 (pb2sat) R 7399 7400 4004 0 -1 0 79161 0 0 0 120322 355 0 0 25 0 1 0 21230854 217493504 38433 4294967295 134512640 135987407 3221224560 3221223120 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7400/statm): 53099 38433 364 364 0 52735 0
[pid=7400] vsize: 212396
Current children cumulated CPU time (s) 1206.77
Current children cumulated vsize (Kb) 212396

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

Child status: 10
Real time (s): 1210.51
CPU time (s): 1207.25
CPU user time (s): 1203.63
CPU system time (s): 3.62745
CPU usage (%): 99.7307
Max. virtual memory (cumulated for all children) (Kb): 212396

Verifier Data

Verifier:	OK	0