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-1.opb
MD5SUM16a8eb66aae2bcfd534a482dd0a3948e
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 constraints27856
Number of constraints which are clauses27856
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 9815

Launcher Data

LAUNCH ON wulflinc13 THE 2005-09-23 15:26:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8550 boxname=wulflinc13 idbench=346 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  16a8eb66aae2bcfd534a482dd0a3948e  /oldhome/oroussel/tmp/wulflinc13/normalized-frb35-17-1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc13/normalized-frb35-17-1.opb
IDLAUNCH: 8550
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.180
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.180
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:        928488 kB
Buffers:         13648 kB
Cached:          74140 kB
SwapCached:          0 kB
Active:          44532 kB
Inactive:        46136 kB
HighTotal:      131008 kB
HighFree:        53284 kB
LowTotal:       903652 kB
LowFree:        875204 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10004 kB
Committed_AS:    63620 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:46:29 (client local time) WITH STATUS 10 IN 1206.47 SECONDS
stats: 8550 0 1206.47 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: 15126/174941	Time: 18.5762/86400
c Decision: 15126/174941	Time: 31.9181/86400
c Decision: 15454/174941	Time: 59.342/86400
c Decision: 15454/174941	Time: 69.8924/86400
c Decision: 15563/174941	Time: 105.326/86400
c Decision: 16857/174941	Time: 154.078/86400
c Decision: 16857/174941	Time: 168.31/86400
c Decision: 16857/174941	Time: 196.76/86400
c Decision: 16857/174941	Time: 230.149/86400
c Decision: 16932/174941	Time: 295.982/86400
c Decision: 16932/174941	Time: 335.152/86400
c Decision: 16932/174941	Time: 371.747/86400
c Decision: 16932/174941	Time: 408.285/86400
c Decision: 16932/174941	Time: 427.14/86400
c Decision: 16933/174941	Time: 503.312/86400
c Decision: 16933/174941	Time: 541.1/86400
c Decision: 16933/174941	Time: 589.467/86400
c Decision: 16933/174941	Time: 631.927/86400
c Decision: 16933/174941	Time: 673.736/86400
c Decision: 16933/174941	Time: 697.512/86400
c Decision: 16933/174941	Time: 741.864/86400
c Decision: 16933/174941	Time: 776.219/86400
c Decision: 16934/174941	Time: 817.765/86400
c Decision: 16934/174941	Time: 834.434/86400
c Decision: 16934/174941	Time: 854.55/86400
c Decision: 16934/174941	Time: 877.19/86400
c Decision: 16934/174941	Time: 895.313/86400
c Decision: 16934/174941	Time: 916.74/86400
c Decision: 16934/174941	Time: 944.625/86400
c Decision: 16934/174941	Time: 969.647/86400
c trying from 512 to 594

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

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

c Decision: 211805/352851	Time: 73.4548/86400
c Decision: 211805/352851	Time: 102.028/86400
c Decision: 211805/352851	Time: 128.933/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/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21255466 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 373 2 364 364 0 9 0
[pid=7100] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc13/normalized-frb35-17-1.opb

[startup+10.0014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 27801 0 0 0 938 58 0 0 25 0 1 0 21255466 92909568 16741 4294967295 134512640 135987407 3221224560 3221199232 134637865 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 22683 16741 364 364 0 22319 0
[pid=7100] vsize: 90732
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 90732

[startup+20.0021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 30837 0 0 0 1912 72 0 0 25 0 1 0 21255466 101367808 19325 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7100/statm): 24748 19325 364 364 0 24384 0
[pid=7100] vsize: 98992
Current children cumulated CPU time (s) 19.84
Current children cumulated vsize (Kb) 98992

[startup+30.0028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 31529 0 0 0 2906 75 0 0 25 0 1 0 21255466 102801408 19675 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 25098 19675 364 364 0 24734 0
[pid=7100] vsize: 100392
Current children cumulated CPU time (s) 29.81
Current children cumulated vsize (Kb) 100392

[startup+40.0034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 31861 0 0 0 3899 78 0 0 25 0 1 0 21255466 104271872 20007 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 25457 20007 364 364 0 25093 0
[pid=7100] vsize: 101828
Current children cumulated CPU time (s) 39.77
Current children cumulated vsize (Kb) 101828

[startup+50.0041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 32928 0 0 0 4886 83 0 0 25 0 1 0 21255466 107769856 20716 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 26311 20716 364 364 0 25947 0
[pid=7100] vsize: 105244
Current children cumulated CPU time (s) 49.69
Current children cumulated vsize (Kb) 105244

[startup+60.0038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 33968 0 0 0 5873 88 0 0 25 0 1 0 21255466 111828992 21412 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 27302 21412 364 364 0 26938 0
[pid=7100] vsize: 109208
Current children cumulated CPU time (s) 59.61
Current children cumulated vsize (Kb) 109208

[startup+70.0045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 35200 0 0 0 6861 94 0 0 25 0 1 0 21255466 116178944 22244 4294967295 134512640 135987407 3221224560 3221222848 134827688 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 28364 22244 364 364 0 28000 0
[pid=7100] vsize: 113456
Current children cumulated CPU time (s) 69.55
Current children cumulated vsize (Kb) 113456

[startup+80.0051 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 35318 0 0 0 7855 96 0 0 25 0 1 0 21255466 114909184 21987 4294967295 134512640 135987407 3221224560 3221223120 134811933 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 28054 21987 364 364 0 27690 0
[pid=7100] vsize: 112216
Current children cumulated CPU time (s) 79.51
Current children cumulated vsize (Kb) 112216

[startup+90.0058 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 36433 0 0 0 8846 101 0 0 25 0 1 0 21255466 117358592 22433 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 28652 22433 364 364 0 28288 0
[pid=7100] vsize: 114608
Current children cumulated CPU time (s) 89.47
Current children cumulated vsize (Kb) 114608

[startup+100.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 37386 0 0 0 9836 105 0 0 25 0 1 0 21255466 120397824 22930 4294967295 134512640 135987407 3221224560 3221223120 134811829 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 29394 22930 364 364 0 29030 0
[pid=7100] vsize: 117576
Current children cumulated CPU time (s) 99.41
Current children cumulated vsize (Kb) 117576

[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 37468 0 0 0 10824 110 0 0 25 0 1 0 21255466 120668160 23012 4294967295 134512640 135987407 3221224560 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7100/statm): 29460 23012 364 364 0 29096 0
[pid=7100] vsize: 117840
Current children cumulated CPU time (s) 109.34
Current children cumulated vsize (Kb) 117840

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 38633 0 0 0 11815 114 0 0 25 0 1 0 21255466 122781696 23443 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 29976 23443 364 364 0 29612 0
[pid=7100] vsize: 119904
Current children cumulated CPU time (s) 119.29
Current children cumulated vsize (Kb) 119904

[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 40472 0 0 0 12803 121 0 0 25 0 1 0 21255466 128483328 24530 4294967295 134512640 135987407 3221224560 3221223296 134812703 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 31368 24530 364 364 0 31004 0
[pid=7100] vsize: 125472
Current children cumulated CPU time (s) 129.24
Current children cumulated vsize (Kb) 125472

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 41729 0 0 0 13790 127 0 0 25 0 1 0 21255466 133267456 25426 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 32536 25426 364 364 0 32172 0
[pid=7100] vsize: 130144
Current children cumulated CPU time (s) 139.17
Current children cumulated vsize (Kb) 130144

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 42898 0 0 0 14780 132 0 0 25 0 1 0 21255466 137162752 26139 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 33487 26139 364 364 0 33123 0
[pid=7100] vsize: 133948
Current children cumulated CPU time (s) 149.12
Current children cumulated vsize (Kb) 133948

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 43237 0 0 0 15773 135 0 0 25 0 1 0 21255466 138764288 26478 4294967295 134512640 135987407 3221224560 3221223296 134812593 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 33878 26478 364 364 0 33514 0
[pid=7100] vsize: 135512
Current children cumulated CPU time (s) 159.08
Current children cumulated vsize (Kb) 135512

[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 43731 0 0 0 16765 138 0 0 25 0 1 0 21255466 139161600 26564 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 33975 26564 364 364 0 33611 0
[pid=7100] vsize: 135900
Current children cumulated CPU time (s) 169.03
Current children cumulated vsize (Kb) 135900

[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 44113 0 0 0 17760 140 0 0 25 0 1 0 21255466 139431936 26604 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 34041 26604 364 364 0 33677 0
[pid=7100] vsize: 136164
Current children cumulated CPU time (s) 179
Current children cumulated vsize (Kb) 136164

[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 44454 0 0 0 18751 144 0 0 25 0 1 0 21255466 140632064 26846 4294967295 134512640 135987407 3221224560 3221223120 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 34334 26846 364 364 0 33970 0
[pid=7100] vsize: 137336
Current children cumulated CPU time (s) 188.95
Current children cumulated vsize (Kb) 137336

[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 44782 0 0 0 19741 148 0 0 25 0 1 0 21255466 141688832 27009 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 34592 27009 364 364 0 34228 0
[pid=7100] vsize: 138368
Current children cumulated CPU time (s) 198.89
Current children cumulated vsize (Kb) 138368

[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 45277 0 0 0 20733 152 0 0 25 0 1 0 21255466 142217216 27097 4294967295 134512640 135987407 3221224560 3221223184 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 34721 27097 364 364 0 34357 0
[pid=7100] vsize: 138884
Current children cumulated CPU time (s) 208.85
Current children cumulated vsize (Kb) 138884

[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 45417 0 0 0 21724 155 0 0 25 0 1 0 21255466 142749696 27204 4294967295 134512640 135987407 3221224560 3221223120 134812126 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 34851 27204 364 364 0 34487 0
[pid=7100] vsize: 139404
Current children cumulated CPU time (s) 218.79
Current children cumulated vsize (Kb) 139404

[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 45638 0 0 0 22717 157 0 0 25 0 1 0 21255466 143273984 27295 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 34979 27295 364 364 0 34615 0
[pid=7100] vsize: 139916
Current children cumulated CPU time (s) 228.74
Current children cumulated vsize (Kb) 139916

[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) T 7099 7100 4060 0 -1 0 45947 0 0 0 23710 160 0 0 25 0 1 0 21255466 143929344 27441 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7100/statm): 35139 27441 364 364 0 34775 0
[pid=7100] vsize: 140556
Current children cumulated CPU time (s) 238.7
Current children cumulated vsize (Kb) 140556

[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 47382 0 0 0 24702 164 0 0 25 0 1 0 21255466 146157568 27979 4294967295 134512640 135987407 3221224560 3221223120 134811988 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 35683 27979 364 364 0 35319 0
[pid=7100] vsize: 142732
Current children cumulated CPU time (s) 248.66
Current children cumulated vsize (Kb) 142732

[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 47672 0 0 0 25698 167 0 0 25 0 1 0 21255466 147222528 28204 4294967295 134512640 135987407 3221224560 3221223120 134811863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7100/statm): 35943 28204 364 364 0 35579 0
[pid=7100] vsize: 143772
Current children cumulated CPU time (s) 258.65
Current children cumulated vsize (Kb) 143772

[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 47927 0 0 0 26693 168 0 0 25 0 1 0 21255466 147877888 28296 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 36103 28296 364 364 0 35739 0
[pid=7100] vsize: 144412
Current children cumulated CPU time (s) 268.61
Current children cumulated vsize (Kb) 144412

[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 48082 0 0 0 27688 171 0 0 25 0 1 0 21255466 148271104 28353 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 36199 28353 364 364 0 35835 0
[pid=7100] vsize: 144796
Current children cumulated CPU time (s) 278.59
Current children cumulated vsize (Kb) 144796

[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 48220 0 0 0 28682 174 0 0 25 0 1 0 21255466 148799488 28426 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 36328 28426 364 364 0 35964 0
[pid=7100] vsize: 145312
Current children cumulated CPU time (s) 288.56
Current children cumulated vsize (Kb) 145312

[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 48667 0 0 0 29673 176 0 0 25 0 1 0 21255466 150253568 28710 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 36683 28710 364 364 0 36319 0
[pid=7100] vsize: 146732
Current children cumulated CPU time (s) 298.49
Current children cumulated vsize (Kb) 146732

[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 49317 0 0 0 30665 180 0 0 25 0 1 0 21255466 151175168 28855 4294967295 134512640 135987407 3221224560 3221223172 135478563 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 36908 28855 364 364 0 36544 0
[pid=7100] vsize: 147632
Current children cumulated CPU time (s) 308.45
Current children cumulated vsize (Kb) 147632

[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 49774 0 0 0 31657 183 0 0 25 0 1 0 21255466 152616960 28954 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 37260 28954 364 364 0 36896 0
[pid=7100] vsize: 149040
Current children cumulated CPU time (s) 318.4
Current children cumulated vsize (Kb) 149040

[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 49849 0 0 0 32649 187 0 0 25 0 1 0 21255466 152883200 29029 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 37325 29029 364 364 0 36961 0
[pid=7100] vsize: 149300
Current children cumulated CPU time (s) 328.36
Current children cumulated vsize (Kb) 149300

[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 49933 0 0 0 33641 190 0 0 25 0 1 0 21255466 152883200 29113 4294967295 134512640 135987407 3221224560 3221223120 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 37325 29113 364 364 0 36961 0
[pid=7100] vsize: 149300
Current children cumulated CPU time (s) 338.31
Current children cumulated vsize (Kb) 149300

[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 50488 0 0 0 34636 192 0 0 25 0 1 0 21255466 153407488 29196 4294967295 134512640 135987407 3221224560 3221223208 134812410 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 37453 29196 364 364 0 37089 0
[pid=7100] vsize: 149812
Current children cumulated CPU time (s) 348.28
Current children cumulated vsize (Kb) 149812

[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 50573 0 0 0 35630 195 0 0 25 0 1 0 21255466 153669632 29215 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 37517 29215 364 364 0 37153 0
[pid=7100] vsize: 150068
Current children cumulated CPU time (s) 358.25
Current children cumulated vsize (Kb) 150068

[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 50638 0 0 0 36625 197 0 0 25 0 1 0 21255466 153800704 29247 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 37549 29247 364 364 0 37185 0
[pid=7100] vsize: 150196
Current children cumulated CPU time (s) 368.22
Current children cumulated vsize (Kb) 150196

[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 51302 0 0 0 37617 200 0 0 25 0 1 0 21255466 154984448 29683 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 37838 29683 364 364 0 37474 0
[pid=7100] vsize: 151352
Current children cumulated CPU time (s) 378.17
Current children cumulated vsize (Kb) 151352

[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 51645 0 0 0 38611 204 0 0 25 0 1 0 21255466 154984448 29684 4294967295 134512640 135987407 3221224560 3221223184 134812116 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 37838 29684 364 364 0 37474 0
[pid=7100] vsize: 151352
Current children cumulated CPU time (s) 388.15
Current children cumulated vsize (Kb) 151352

[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 51716 0 0 0 39604 206 0 0 25 0 1 0 21255466 155246592 29690 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 37902 29690 364 364 0 37538 0
[pid=7100] vsize: 151608
Current children cumulated CPU time (s) 398.1
Current children cumulated vsize (Kb) 151608

[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 51795 0 0 0 40595 209 0 0 25 0 1 0 21255466 155508736 29704 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 37966 29704 364 364 0 37602 0
[pid=7100] vsize: 151864
Current children cumulated CPU time (s) 408.04
Current children cumulated vsize (Kb) 151864

[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 51796 0 0 0 41587 211 0 0 25 0 1 0 21255466 155508736 29705 4294967295 134512640 135987407 3221224560 3221223296 134812653 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 37966 29705 364 364 0 37602 0
[pid=7100] vsize: 151864
Current children cumulated CPU time (s) 417.98
Current children cumulated vsize (Kb) 151864

[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 52139 0 0 0 42580 215 0 0 25 0 1 0 21255466 155508736 29706 4294967295 134512640 135987407 3221224560 3221223280 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 37966 29706 364 364 0 37602 0
[pid=7100] vsize: 151864
Current children cumulated CPU time (s) 427.95
Current children cumulated vsize (Kb) 151864

[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 52484 0 0 0 43574 218 0 0 25 0 1 0 21255466 155508736 29709 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 37966 29709 364 364 0 37602 0
[pid=7100] vsize: 151864
Current children cumulated CPU time (s) 437.92
Current children cumulated vsize (Kb) 151864

[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 52624 0 0 0 44567 220 0 0 25 0 1 0 21255466 156041216 29849 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 38096 29849 364 364 0 37732 0
[pid=7100] vsize: 152384
Current children cumulated CPU time (s) 447.87
Current children cumulated vsize (Kb) 152384

[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 52694 0 0 0 45561 223 0 0 25 0 1 0 21255466 156307456 29919 4294967295 134512640 135987407 3221224560 3221223120 134811790 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 38161 29919 364 364 0 37797 0
[pid=7100] vsize: 152644
Current children cumulated CPU time (s) 457.84
Current children cumulated vsize (Kb) 152644

[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 53062 0 0 0 46553 227 0 0 25 0 1 0 21255466 157356032 30027 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 38417 30027 364 364 0 38053 0
[pid=7100] vsize: 153668
Current children cumulated CPU time (s) 467.8
Current children cumulated vsize (Kb) 153668

[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 53064 0 0 0 47547 228 0 0 25 0 1 0 21255466 157356032 30029 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 38417 30029 364 364 0 38053 0
[pid=7100] vsize: 153668
Current children cumulated CPU time (s) 477.75
Current children cumulated vsize (Kb) 153668

[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 53385 0 0 0 48539 231 0 0 25 0 1 0 21255466 158408704 30155 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 38674 30155 364 364 0 38310 0
[pid=7100] vsize: 154696
Current children cumulated CPU time (s) 487.7
Current children cumulated vsize (Kb) 154696

[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 53504 0 0 0 49531 234 0 0 25 0 1 0 21255466 158937088 30209 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 38803 30209 364 364 0 38439 0
[pid=7100] vsize: 155212
Current children cumulated CPU time (s) 497.65
Current children cumulated vsize (Kb) 155212

[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 53505 0 0 0 50525 235 0 0 25 0 1 0 21255466 158937088 30210 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 38803 30210 364 364 0 38439 0
[pid=7100] vsize: 155212
Current children cumulated CPU time (s) 507.6
Current children cumulated vsize (Kb) 155212

[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 53848 0 0 0 51517 238 0 0 25 0 1 0 21255466 158937088 30211 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 38803 30211 364 364 0 38439 0
[pid=7100] vsize: 155212
Current children cumulated CPU time (s) 517.55
Current children cumulated vsize (Kb) 155212

[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 54051 0 0 0 52510 242 0 0 25 0 1 0 21255466 159870976 30414 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 39031 30414 364 364 0 38667 0
[pid=7100] vsize: 156124
Current children cumulated CPU time (s) 527.52
Current children cumulated vsize (Kb) 156124

[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 54577 0 0 0 53503 245 0 0 25 0 1 0 21255466 161452032 30680 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 39417 30680 364 364 0 39053 0
[pid=7100] vsize: 157668
Current children cumulated CPU time (s) 537.48
Current children cumulated vsize (Kb) 157668

[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 55667 0 0 0 54492 250 0 0 25 0 1 0 21255466 164347904 31150 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40124 31150 364 364 0 39760 0
[pid=7100] vsize: 160496
Current children cumulated CPU time (s) 547.42
Current children cumulated vsize (Kb) 160496

[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 56023 0 0 0 55486 252 0 0 25 0 1 0 21255466 164347904 31164 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40124 31164 364 364 0 39760 0
[pid=7100] vsize: 160496
Current children cumulated CPU time (s) 557.38
Current children cumulated vsize (Kb) 160496

[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 56144 0 0 0 56478 255 0 0 25 0 1 0 21255466 164745216 31220 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40221 31220 364 364 0 39857 0
[pid=7100] vsize: 160884
Current children cumulated CPU time (s) 567.33
Current children cumulated vsize (Kb) 160884

[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 56176 0 0 0 57473 257 0 0 25 0 1 0 21255466 164880384 31252 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40254 31252 364 364 0 39890 0
[pid=7100] vsize: 161016
Current children cumulated CPU time (s) 577.3
Current children cumulated vsize (Kb) 161016

[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 56303 0 0 0 58467 259 0 0 25 0 1 0 21255466 165142528 31314 4294967295 134512640 135987407 3221224560 3221223120 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40318 31314 364 364 0 39954 0
[pid=7100] vsize: 161272
Current children cumulated CPU time (s) 587.26
Current children cumulated vsize (Kb) 161272

[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 56478 0 0 0 59458 262 0 0 25 0 1 0 21255466 165670912 31391 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40447 31391 364 364 0 40083 0
[pid=7100] vsize: 161788
Current children cumulated CPU time (s) 597.2
Current children cumulated vsize (Kb) 161788

[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 56854 0 0 0 60449 267 0 0 25 0 1 0 21255466 165806080 31425 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40480 31425 364 364 0 40116 0
[pid=7100] vsize: 161920
Current children cumulated CPU time (s) 607.16
Current children cumulated vsize (Kb) 161920

[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 56855 0 0 0 61440 270 0 0 25 0 1 0 21255466 165806080 31426 4294967295 134512640 135987407 3221224560 3221223120 134811797 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40480 31426 364 364 0 40116 0
[pid=7100] vsize: 161920
Current children cumulated CPU time (s) 617.1
Current children cumulated vsize (Kb) 161920

[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 56900 0 0 0 62435 272 0 0 25 0 1 0 21255466 166072320 31471 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40545 31471 364 364 0 40181 0
[pid=7100] vsize: 162180
Current children cumulated CPU time (s) 627.07
Current children cumulated vsize (Kb) 162180

[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 56901 0 0 0 63429 274 0 0 25 0 1 0 21255466 166072320 31472 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40545 31472 364 364 0 40181 0
[pid=7100] vsize: 162180
Current children cumulated CPU time (s) 637.03
Current children cumulated vsize (Kb) 162180

[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 57250 0 0 0 64423 277 0 0 25 0 1 0 21255466 166072320 31479 4294967295 134512640 135987407 3221224560 3221223252 134812452 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40545 31479 364 364 0 40181 0
[pid=7100] vsize: 162180
Current children cumulated CPU time (s) 647
Current children cumulated vsize (Kb) 162180

[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 57315 0 0 0 65417 279 0 0 25 0 1 0 21255466 166338560 31544 4294967295 134512640 135987407 3221224560 3221223120 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40610 31544 364 364 0 40246 0
[pid=7100] vsize: 162440
Current children cumulated CPU time (s) 656.96
Current children cumulated vsize (Kb) 162440

[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 57395 0 0 0 66412 281 0 0 25 0 1 0 21255466 166469632 31591 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40642 31591 364 364 0 40278 0
[pid=7100] vsize: 162568
Current children cumulated CPU time (s) 666.93
Current children cumulated vsize (Kb) 162568

[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 57417 0 0 0 67406 283 0 0 25 0 1 0 21255466 166469632 31613 4294967295 134512640 135987407 3221224560 3221223120 134812046 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40642 31613 364 364 0 40278 0
[pid=7100] vsize: 162568
Current children cumulated CPU time (s) 676.89
Current children cumulated vsize (Kb) 162568

[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 57763 0 0 0 68401 285 0 0 25 0 1 0 21255466 166469632 31617 4294967295 134512640 135987407 3221224560 3221223172 135479403 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40642 31617 364 364 0 40278 0
[pid=7100] vsize: 162568
Current children cumulated CPU time (s) 686.86
Current children cumulated vsize (Kb) 162568

[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 57764 0 0 0 69395 288 0 0 25 0 1 0 21255466 166469632 31618 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40642 31618 364 364 0 40278 0
[pid=7100] vsize: 162568
Current children cumulated CPU time (s) 696.83
Current children cumulated vsize (Kb) 162568

[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 57767 0 0 0 70389 290 0 0 25 0 1 0 21255466 166469632 31621 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40642 31621 364 364 0 40278 0
[pid=7100] vsize: 162568
Current children cumulated CPU time (s) 706.79
Current children cumulated vsize (Kb) 162568

[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 58151 0 0 0 71380 293 0 0 25 0 1 0 21255466 166735872 31663 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40707 31663 364 364 0 40343 0
[pid=7100] vsize: 162828
Current children cumulated CPU time (s) 716.73
Current children cumulated vsize (Kb) 162828

[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 58233 0 0 0 72374 296 0 0 25 0 1 0 21255466 166735872 31745 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40707 31745 364 364 0 40343 0
[pid=7100] vsize: 162828
Current children cumulated CPU time (s) 726.7
Current children cumulated vsize (Kb) 162828

[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 58432 0 0 0 73368 298 0 0 25 0 1 0 21255466 166998016 31879 4294967295 134512640 135987407 3221224560 3221223120 134812120 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40771 31879 364 364 0 40407 0
[pid=7100] vsize: 163084
Current children cumulated CPU time (s) 736.66
Current children cumulated vsize (Kb) 163084

[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 58792 0 0 0 74363 300 0 0 25 0 1 0 21255466 167522304 32109 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40899 32109 364 364 0 40535 0
[pid=7100] vsize: 163596
Current children cumulated CPU time (s) 746.63
Current children cumulated vsize (Kb) 163596

[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 59140 0 0 0 75357 303 0 0 25 0 1 0 21255466 167522304 32115 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 40899 32115 364 364 0 40535 0
[pid=7100] vsize: 163596
Current children cumulated CPU time (s) 756.6
Current children cumulated vsize (Kb) 163596

[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 59339 0 0 0 76350 305 0 0 25 0 1 0 21255466 168181760 32216 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41060 32216 364 364 0 40696 0
[pid=7100] vsize: 164240
Current children cumulated CPU time (s) 766.55
Current children cumulated vsize (Kb) 164240

[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 59340 0 0 0 77343 307 0 0 25 0 1 0 21255466 168181760 32217 4294967295 134512640 135987407 3221224560 3221223120 134811966 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41060 32217 364 364 0 40696 0
[pid=7100] vsize: 164240
Current children cumulated CPU time (s) 776.5
Current children cumulated vsize (Kb) 164240

[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 59683 0 0 0 78335 310 0 0 25 0 1 0 21255466 169582592 32560 4294967295 134512640 135987407 3221224560 3221222796 134827484 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41402 32560 364 364 0 41038 0
[pid=7100] vsize: 165608
Current children cumulated CPU time (s) 786.45
Current children cumulated vsize (Kb) 165608

[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 59758 0 0 0 79330 312 0 0 25 0 1 0 21255466 168312832 32260 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41092 32260 364 364 0 40728 0
[pid=7100] vsize: 164368
Current children cumulated CPU time (s) 796.42
Current children cumulated vsize (Kb) 164368

[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 59830 0 0 0 80325 314 0 0 25 0 1 0 21255466 168579072 32332 4294967295 134512640 135987407 3221224560 3221223120 134812132 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41157 32332 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 806.39
Current children cumulated vsize (Kb) 164628

[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 59833 0 0 0 81318 316 0 0 25 0 1 0 21255466 168579072 32335 4294967295 134512640 135987407 3221224560 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41157 32335 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 816.34
Current children cumulated vsize (Kb) 164628

[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 59837 0 0 0 82313 318 0 0 25 0 1 0 21255466 168579072 32339 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41157 32339 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 826.31
Current children cumulated vsize (Kb) 164628

[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 60181 0 0 0 83308 321 0 0 25 0 1 0 21255466 168579072 32341 4294967295 134512640 135987407 3221224560 3221223120 134811907 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41157 32341 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 836.29
Current children cumulated vsize (Kb) 164628

[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 60525 0 0 0 84304 323 0 0 25 0 1 0 21255466 168579072 32343 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41157 32343 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 846.27
Current children cumulated vsize (Kb) 164628

[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 60527 0 0 0 85299 325 0 0 25 0 1 0 21255466 168579072 32345 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41157 32345 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 856.24
Current children cumulated vsize (Kb) 164628

[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 60876 0 0 0 86295 327 0 0 25 0 1 0 21255466 168579072 32352 4294967295 134512640 135987407 3221224560 3221223120 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41157 32352 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 866.22
Current children cumulated vsize (Kb) 164628

[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 60895 0 0 0 87291 329 0 0 25 0 1 0 21255466 168579072 32371 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41157 32371 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 876.2
Current children cumulated vsize (Kb) 164628

[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 60912 0 0 0 88287 329 0 0 25 0 1 0 21255466 168579072 32388 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7100/statm): 41157 32388 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 886.16
Current children cumulated vsize (Kb) 164628

[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 61257 0 0 0 89283 331 0 0 25 0 1 0 21255466 168579072 32391 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7100/statm): 41157 32391 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 896.14
Current children cumulated vsize (Kb) 164628

[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 61601 0 0 0 90279 333 0 0 25 0 1 0 21255466 168579072 32393 4294967295 134512640 135987407 3221224560 3221223120 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7100/statm): 41157 32393 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 906.12
Current children cumulated vsize (Kb) 164628

[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 61603 0 0 0 91275 334 0 0 25 0 1 0 21255466 168579072 32395 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7100/statm): 41157 32395 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 916.09
Current children cumulated vsize (Kb) 164628

[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 61605 0 0 0 92272 335 0 0 25 0 1 0 21255466 168579072 32397 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7100/statm): 41157 32397 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 926.07
Current children cumulated vsize (Kb) 164628

[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 61949 0 0 0 93268 337 0 0 25 0 1 0 21255466 168579072 32399 4294967295 134512640 135987407 3221224560 3221223120 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41157 32399 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 936.05
Current children cumulated vsize (Kb) 164628

[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 61975 0 0 0 94266 338 0 0 25 0 1 0 21255466 168579072 32425 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41157 32425 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 946.04
Current children cumulated vsize (Kb) 164628

[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 62329 0 0 0 95262 340 0 0 25 0 1 0 21255466 168579072 32437 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41157 32437 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 956.02
Current children cumulated vsize (Kb) 164628

[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 62343 0 0 0 96258 341 0 0 25 0 1 0 21255466 168579072 32451 4294967295 134512640 135987407 3221224560 3221223120 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41157 32451 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 965.99
Current children cumulated vsize (Kb) 164628

[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 62352 0 0 0 97256 342 0 0 25 0 1 0 21255466 168579072 32460 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41157 32460 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 975.98
Current children cumulated vsize (Kb) 164628

[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 62699 0 0 0 98253 343 0 0 25 0 1 0 21255466 168579072 32465 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41157 32465 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 985.96
Current children cumulated vsize (Kb) 164628

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 62709 0 0 0 99250 344 0 0 25 0 1 0 21255466 168579072 32475 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41157 32475 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 995.94
Current children cumulated vsize (Kb) 164628

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 62715 0 0 0 100248 345 0 0 25 0 1 0 21255466 168579072 32481 4294967295 134512640 135987407 3221224560 3221223248 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41157 32481 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 1005.93
Current children cumulated vsize (Kb) 164628

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 62729 0 0 0 101246 346 0 0 25 0 1 0 21255466 168579072 32495 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41157 32495 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 1015.92
Current children cumulated vsize (Kb) 164628

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 62749 0 0 0 102244 347 0 0 25 0 1 0 21255466 168579072 32515 4294967295 134512640 135987407 3221224560 3221223120 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41157 32515 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 1025.91
Current children cumulated vsize (Kb) 164628

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 62755 0 0 0 103242 347 0 0 25 0 1 0 21255466 168579072 32521 4294967295 134512640 135987407 3221224560 3221223172 135478154 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 41157 32521 364 364 0 40793 0
[pid=7100] vsize: 164628
Current children cumulated CPU time (s) 1035.89
Current children cumulated vsize (Kb) 164628

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 70538 0 0 0 104220 367 0 0 25 0 1 0 21255466 197484544 40130 4294967295 134512640 135987407 3221224560 3221154624 134861016 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 48214 40130 364 364 0 47850 0
[pid=7100] vsize: 192856
Current children cumulated CPU time (s) 1045.87
Current children cumulated vsize (Kb) 192856

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 94096 0 0 0 105165 420 0 0 25 0 1 0 21255466 253784064 50892 4294967295 134512640 135987407 3221224560 3221223024 134775415 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 61959 50892 364 364 0 61595 0
[pid=7100] vsize: 247836
Current children cumulated CPU time (s) 1055.85
Current children cumulated vsize (Kb) 247836

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 97233 0 0 0 106155 427 0 0 25 0 1 0 21255466 257028096 51598 4294967295 134512640 135987407 3221224560 3221223040 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 62751 51598 364 364 0 62387 0
[pid=7100] vsize: 251004
Current children cumulated CPU time (s) 1065.82
Current children cumulated vsize (Kb) 251004

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 97597 0 0 0 107149 430 0 0 25 0 1 0 21255466 258904064 51962 4294967295 134512640 135987407 3221224560 3221223104 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 63209 51962 364 364 0 62845 0
[pid=7100] vsize: 252836
Current children cumulated CPU time (s) 1075.79
Current children cumulated vsize (Kb) 252836

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 97736 0 0 0 108145 431 0 0 25 0 1 0 21255466 259301376 52035 4294967295 134512640 135987407 3221224560 3221223040 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 63306 52035 364 364 0 62942 0
[pid=7100] vsize: 253224
Current children cumulated CPU time (s) 1085.76
Current children cumulated vsize (Kb) 253224

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 97971 0 0 0 109139 434 0 0 25 0 1 0 21255466 260378624 52237 4294967295 134512640 135987407 3221224560 3221223040 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 63569 52237 364 364 0 63205 0
[pid=7100] vsize: 254276
Current children cumulated CPU time (s) 1095.73
Current children cumulated vsize (Kb) 254276

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 98041 0 0 0 110137 435 0 0 25 0 1 0 21255466 260644864 52274 4294967295 134512640 135987407 3221224560 3221223040 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7100/statm): 63634 52274 364 364 0 63270 0
[pid=7100] vsize: 254536
Current children cumulated CPU time (s) 1105.72
Current children cumulated vsize (Kb) 254536

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 98304 0 0 0 111132 439 0 0 25 0 1 0 21255466 261443584 52438 4294967295 134512640 135987407 3221224560 3221223040 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 63829 52438 364 364 0 63465 0
[pid=7100] vsize: 255316
Current children cumulated CPU time (s) 1115.71
Current children cumulated vsize (Kb) 255316

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 98306 0 0 0 112129 440 0 0 25 0 1 0 21255466 261443584 52440 4294967295 134512640 135987407 3221224560 3221223168 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 63829 52440 364 364 0 63465 0
[pid=7100] vsize: 255316
Current children cumulated CPU time (s) 1125.69
Current children cumulated vsize (Kb) 255316

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 98307 0 0 0 113127 440 0 0 25 0 1 0 21255466 261443584 52441 4294967295 134512640 135987407 3221224560 3221223168 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 63829 52441 364 364 0 63465 0
[pid=7100] vsize: 255316
Current children cumulated CPU time (s) 1135.67
Current children cumulated vsize (Kb) 255316

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 98999 0 0 0 114124 442 0 0 25 0 1 0 21255466 261443584 52443 4294967295 134512640 135987407 3221224560 3221223040 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 63829 52443 364 364 0 63465 0
[pid=7100] vsize: 255316
Current children cumulated CPU time (s) 1145.66
Current children cumulated vsize (Kb) 255316

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 99000 0 0 0 115122 443 0 0 25 0 1 0 21255466 261443584 52444 4294967295 134512640 135987407 3221224560 3221223040 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 63829 52444 364 364 0 63465 0
[pid=7100] vsize: 255316
Current children cumulated CPU time (s) 1155.65
Current children cumulated vsize (Kb) 255316

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 99002 0 0 0 116120 445 0 0 25 0 1 0 21255466 261443584 52446 4294967295 134512640 135987407 3221224560 3221223072 134814249 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 63829 52446 364 364 0 63465 0
[pid=7100] vsize: 255316
Current children cumulated CPU time (s) 1165.65
Current children cumulated vsize (Kb) 255316

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 99693 0 0 0 117115 447 0 0 25 0 1 0 21255466 261443584 52447 4294967295 134512640 135987407 3221224560 3221223200 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 63829 52447 364 364 0 63465 0
[pid=7100] vsize: 255316
Current children cumulated CPU time (s) 1175.62
Current children cumulated vsize (Kb) 255316

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 99695 0 0 0 118111 448 0 0 25 0 1 0 21255466 261443584 52449 4294967295 134512640 135987407 3221224560 3221223040 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 63829 52449 364 364 0 63465 0
[pid=7100] vsize: 255316
Current children cumulated CPU time (s) 1185.59
Current children cumulated vsize (Kb) 255316

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 100386 0 0 0 119106 451 0 0 25 0 1 0 21255466 261443584 52450 4294967295 134512640 135987407 3221224560 3221223040 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 63829 52450 364 364 0 63465 0
[pid=7100] vsize: 255316
Current children cumulated CPU time (s) 1195.57
Current children cumulated vsize (Kb) 255316

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 100387 0 0 0 120100 453 0 0 25 0 1 0 21255466 261443584 52451 4294967295 134512640 135987407 3221224560 3221223040 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 63829 52451 364 364 0 63465 0
[pid=7100] vsize: 255316
Current children cumulated CPU time (s) 1205.53
Current children cumulated vsize (Kb) 255316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 7100
Raw data (/proc/7100/stat): 7100 (pb2sat) R 7099 7100 4060 0 -1 0 100387 0 0 0 120100 453 0 0 25 0 1 0 21255466 261443584 52451 4294967295 134512640 135987407 3221224560 3221223040 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7100/statm): 63829 52451 364 364 0 63465 0
[pid=7100] vsize: 255316
Current children cumulated CPU time (s) 1205.53
Current children cumulated vsize (Kb) 255316

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

Child status: 10
Real time (s): 1210.98
CPU time (s): 1206.47
CPU user time (s): 1201.82
CPU system time (s): 4.64629
CPU usage (%): 99.6273
Max. virtual memory (cumulated for all children) (Kb): 255316

Verifier Data

Verifier:	OK	-4