PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
MD5SUM	16a8eb66aae2bcfd534a482dd0a3948e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-28
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 numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	595
Total number of constraints	27856
Number of constraints which are clauses	27856
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 42201

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 01:56:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25417 boxname=wulflinc4 idbench=319 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  16a8eb66aae2bcfd534a482dd0a3948e  /oldhome/oroussel/tmp/wulflinc4/normalized-frb35-17-1.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-frb35-17-1.opb
IDLAUNCH: 25417
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        747288 kB
Buffers:         33848 kB
Cached:         231496 kB
SwapCached:        944 kB
Active:          35724 kB
Inactive:       231728 kB
HighTotal:      131008 kB
HighFree:         1764 kB
LowTotal:       903652 kB
LowFree:        745524 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14252 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 02:16:49 (client local time) WITH STATUS 10 IN 1201.74 SECONDS
stats: 25417 0 1201.74 10
#### END LAUNCHER DATA ####
#### BEGIN 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.0633/86400
c Decision: 15126/174941	Time: 31.0643/86400
c Decision: 15454/174941	Time: 57.7942/86400
c Decision: 15454/174941	Time: 68.0257/86400
c Decision: 15563/174941	Time: 102.818/86400
c Decision: 16857/174941	Time: 150.316/86400
c Decision: 16857/174941	Time: 164.065/86400
c Decision: 16857/174941	Time: 191.772/86400
c Decision: 16857/174941	Time: 224.205/86400
c Decision: 16932/174941	Time: 288.313/86400
c Decision: 16932/174941	Time: 326.463/86400
c Decision: 16932/174941	Time: 362.216/86400
c Decision: 16932/174941	Time: 398.057/86400
c Decision: 16932/174941	Time: 416.529/86400
c Decision: 16933/174941	Time: 491.073/86400
c Decision: 16933/174941	Time: 527.958/86400
c Decision: 16933/174941	Time: 575.161/86400
c Decision: 16933/174941	Time: 616.636/86400
c Decision: 16933/174941	Time: 657.441/86400
c Decision: 16933/174941	Time: 680.634/86400
c Decision: 16933/174941	Time: 723.937/86400
c Decision: 16933/174941	Time: 757.576/86400
c Decision: 16934/174941	Time: 798.114/86400
c Decision: 16934/174941	Time: 814.379/86400
c Decision: 16934/174941	Time: 833.879/86400
c Decision: 16934/174941	Time: 855.881/86400
c Decision: 16934/174941	Time: 873.749/86400
c Decision: 16934/174941	Time: 894.778/86400
c Decision: 16934/174941	Time: 921.833/86400
c Decision: 16934/174941	Time: 946.049/86400
c trying from 512 to 594

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

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

c Decision: 211805/352851	Time: 71.1452/86400
c Decision: 211805/352851	Time: 98.718/86400
c Decision: 211805/352851	Time: 124.828/86400
c Decision: 211805/352851	Time: 155.96/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 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/54 19640
Raw data (stat): 19640 (runsolver) R 19639 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966963914 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 25908 0 0 0 941 58 0 0 25 0 1 0 966963914 84590592 15047 4294967295 134512640 135730672 3221224592 3221169488 134549892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20652 15047 301 301 0 20351 0
vsize: 82608
[startup+20.0016 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 28283 0 0 0 1935 64 0 0 25 0 1 0 966963914 91234304 16974 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22274 16974 301 301 0 21973 0
vsize: 89096
[startup+30.0025 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 29100 0 0 0 2932 67 0 0 25 0 1 0 966963914 93257728 17449 4294967295 134512640 135730672 3221224592 3221222816 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22768 17449 301 301 0 22467 0
vsize: 91072
[startup+40.003 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 29329 0 0 0 3931 68 0 0 25 0 1 0 966963914 94154752 17645 4294967295 134512640 135730672 3221224592 3221222944 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22987 17645 301 301 0 22686 0
vsize: 91948
[startup+50.0041 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 30647 0 0 0 4928 70 0 0 25 0 1 0 966963914 98615296 18490 4294967295 134512640 135730672 3221224592 3221222944 134748101 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24076 18490 301 301 0 23775 0
vsize: 96304
[startup+60.004 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 31861 0 0 0 5925 73 0 0 25 0 1 0 966963914 103018496 19287 4294967295 134512640 135730672 3221224592 3221222944 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25151 19287 301 301 0 24850 0
vsize: 100604
[startup+70.0043 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 32692 0 0 0 6924 75 0 0 25 0 1 0 966963914 104570880 19531 4294967295 134512640 135730672 3221224592 3221222944 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25530 19531 301 301 0 25229 0
vsize: 102120
[startup+80.0046 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 33272 0 0 0 7921 77 0 0 25 0 1 0 966963914 105295872 19704 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25707 19704 301 301 0 25406 0
vsize: 102828
[startup+90.0044 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 33931 0 0 0 8921 78 0 0 25 0 1 0 966963914 107290624 20101 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26194 20101 301 301 0 25893 0
vsize: 104776
[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 34895 0 0 0 9919 80 0 0 25 0 1 0 966963914 109924352 20510 4294967295 134512640 135730672 3221224592 3221222656 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26837 20510 301 301 0 26536 0
vsize: 107348
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 34998 0 0 0 10919 81 0 0 25 0 1 0 966963914 110329856 20613 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26936 20613 301 301 0 26635 0
vsize: 107744
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 36697 0 0 0 11915 84 0 0 25 0 1 0 966963914 113963008 21349 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27823 21349 301 301 0 27522 0
vsize: 111292
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 38686 0 0 0 12911 88 0 0 25 0 1 0 966963914 121159680 22668 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29580 22668 301 301 0 29279 0
vsize: 118320
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 39640 0 0 0 13910 90 0 0 25 0 1 0 966963914 123949056 23229 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30261 23229 301 301 0 29960 0
vsize: 121044
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 40701 0 0 0 14908 92 0 0 25 0 1 0 966963914 127717376 23964 4294967295 134512640 135730672 3221224592 3221222944 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31181 23964 301 301 0 30880 0
vsize: 124724
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 41269 0 0 0 15907 93 0 0 25 0 1 0 966963914 128516096 24124 4294967295 134512640 135730672 3221224592 3221222944 134783060 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31376 24124 301 301 0 31075 0
vsize: 125504
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 41326 0 0 0 16907 93 0 0 25 0 1 0 966963914 128921600 24181 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31475 24181 301 301 0 31174 0
vsize: 125900
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 41952 0 0 0 17905 95 0 0 25 0 1 0 966963914 129855488 24366 4294967295 134512640 135730672 3221224592 3221222816 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31703 24366 301 301 0 31402 0
vsize: 126812
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 42224 0 0 0 18905 95 0 0 25 0 1 0 966963914 130916352 24539 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31962 24539 301 301 0 31661 0
vsize: 127848
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 42494 0 0 0 19905 96 0 0 25 0 1 0 966963914 131977216 24711 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32221 24711 301 301 0 31920 0
vsize: 128884
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 42939 0 0 0 20903 98 0 0 25 0 1 0 966963914 132374528 24781 4294967295 134512640 135730672 3221224592 3221222640 134732445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32318 24781 301 301 0 32017 0
vsize: 129272
[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 42977 0 0 0 21901 99 0 0 25 0 1 0 966963914 132509696 24819 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32351 24819 301 301 0 32050 0
vsize: 129404
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 43276 0 0 0 22901 100 0 0 25 0 1 0 966963914 133165056 24955 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32511 24955 301 301 0 32210 0
vsize: 130044
[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 44747 0 0 0 23898 102 0 0 25 0 1 0 966963914 135524352 25497 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33087 25497 301 301 0 32786 0
vsize: 132348
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 45217 0 0 0 24897 103 0 0 25 0 1 0 966963914 136847360 25771 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33410 25771 301 301 0 33109 0
vsize: 133640
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 45376 0 0 0 25897 104 0 0 25 0 1 0 966963914 137240576 25832 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33506 25832 301 301 0 33205 0
vsize: 134024
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 45630 0 0 0 26897 104 0 0 25 0 1 0 966963914 137895936 25923 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33666 25923 301 301 0 33365 0
vsize: 134664
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 45769 0 0 0 27896 105 0 0 25 0 1 0 966963914 138424320 25997 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33795 25997 301 301 0 33494 0
vsize: 135180
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 46216 0 0 0 28896 106 0 0 25 0 1 0 966963914 139878400 26281 4294967295 134512640 135730672 3221224592 3221222960 134748065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34150 26281 301 301 0 33849 0
vsize: 136600
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 46866 0 0 0 29894 108 0 0 25 0 1 0 966963914 140800000 26426 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34375 26426 301 301 0 34074 0
vsize: 137500
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 47323 0 0 0 30893 109 0 0 25 0 1 0 966963914 142241792 26525 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34727 26525 301 301 0 34426 0
vsize: 138908
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 47400 0 0 0 31893 109 0 0 25 0 1 0 966963914 142372864 26569 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34759 26569 301 301 0 34458 0
vsize: 139036
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 47486 0 0 0 32892 110 0 0 25 0 1 0 966963914 142372864 26655 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34759 26655 301 301 0 34458 0
vsize: 139036
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 48040 0 0 0 33891 111 0 0 25 0 1 0 966963914 142897152 26737 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34887 26737 301 301 0 34586 0
vsize: 139548
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 48125 0 0 0 34891 112 0 0 25 0 1 0 966963914 143159296 26756 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34951 26756 301 301 0 34650 0
vsize: 139804
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 48235 0 0 0 35891 112 0 0 25 0 1 0 966963914 143425536 26866 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35016 26866 301 301 0 34715 0
vsize: 140064
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 48854 0 0 0 36890 113 0 0 25 0 1 0 966963914 144609280 27257 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35305 27257 301 301 0 35004 0
vsize: 141220
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19640
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 49197 0 0 0 37889 114 0 0 25 0 1 0 966963914 144609280 27258 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35305 27258 301 301 0 35004 0
vsize: 141220
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19693
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 49344 0 0 0 38888 115 0 0 25 0 1 0 966963914 145133568 27275 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35433 27275 301 301 0 35132 0
vsize: 141732
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19693
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 49346 0 0 0 39888 115 0 0 25 0 1 0 966963914 145133568 27277 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35433 27277 301 301 0 35132 0
vsize: 141732
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19693
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 49689 0 0 0 40887 116 0 0 25 0 1 0 966963914 145133568 27278 4294967295 134512640 135730672 3221224592 3221222924 134747440 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35433 27278 301 301 0 35132 0
vsize: 141732
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19693
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 49691 0 0 0 41887 117 0 0 25 0 1 0 966963914 145133568 27280 4294967295 134512640 135730672 3221224592 3221222816 134747594 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35433 27280 301 301 0 35132 0
vsize: 141732
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19693
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 50152 0 0 0 42885 118 0 0 25 0 1 0 966963914 145666048 27399 4294967295 134512640 135730672 3221224592 3221222928 134748222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35563 27399 301 301 0 35262 0
vsize: 142252
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19693
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 50222 0 0 0 43885 119 0 0 25 0 1 0 966963914 145932288 27469 4294967295 134512640 135730672 3221224592 3221222816 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35628 27469 301 301 0 35327 0
vsize: 142512
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19693
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 50341 0 0 0 44885 119 0 0 25 0 1 0 966963914 146194432 27523 4294967295 134512640 135730672 3221224592 3221223008 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35692 27523 301 301 0 35391 0
vsize: 142768
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 50615 0 0 0 45883 121 0 0 25 0 1 0 966963914 146980864 27602 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35884 27602 301 301 0 35583 0
vsize: 143536
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 50617 0 0 0 46883 121 0 0 25 0 1 0 966963914 146980864 27604 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35884 27604 301 301 0 35583 0
vsize: 143536
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 51087 0 0 0 47882 123 0 0 25 0 1 0 966963914 148697088 27814 4294967295 134512640 135730672 3221224592 3221222944 134748106 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36303 27814 301 301 0 36002 0
vsize: 145212
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 51088 0 0 0 48882 123 0 0 25 0 1 0 966963914 148697088 27815 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36303 27815 301 301 0 36002 0
vsize: 145212
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 51089 0 0 0 49882 123 0 0 25 0 1 0 966963914 148697088 27816 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36303 27816 301 301 0 36002 0
vsize: 145212
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 51501 0 0 0 50881 124 0 0 25 0 1 0 966963914 148963328 27853 4294967295 134512640 135730672 3221224592 3221222816 134747634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36368 27853 301 301 0 36067 0
vsize: 145472
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 52103 0 0 0 51880 125 0 0 25 0 1 0 966963914 150683648 28227 4294967295 134512640 135730672 3221224592 3221222816 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36788 28227 301 301 0 36487 0
vsize: 147152
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 52745 0 0 0 52879 127 0 0 25 0 1 0 966963914 152657920 28478 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37270 28478 301 301 0 36969 0
vsize: 149080
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 53660 0 0 0 53877 129 0 0 25 0 1 0 966963914 154107904 28757 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37624 28757 301 301 0 37323 0
vsize: 150496
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 53777 0 0 0 54877 129 0 0 25 0 1 0 966963914 154370048 28809 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37688 28809 301 301 0 37387 0
vsize: 150752
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 53812 0 0 0 55877 129 0 0 25 0 1 0 966963914 154640384 28844 4294967295 134512640 135730672 3221224592 3221222816 134747892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37754 28844 301 301 0 37453 0
vsize: 151016
[startup+570.017 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 53953 0 0 0 56876 130 0 0 25 0 1 0 966963914 154902528 28920 4294967295 134512640 135730672 3221224592 3221222928 135284198 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37818 28920 301 301 0 37517 0
vsize: 151272
[startup+580.017 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 54128 0 0 0 57876 130 0 0 25 0 1 0 966963914 155430912 28997 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37947 28997 301 301 0 37646 0
vsize: 151788
[startup+590.016 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 54495 0 0 0 58875 131 0 0 25 0 1 0 966963914 155566080 29022 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37980 29022 301 301 0 37679 0
vsize: 151920
[startup+600.016 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 54505 0 0 0 59875 132 0 0 25 0 1 0 966963914 155566080 29032 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37980 29032 301 301 0 37679 0
vsize: 151920
[startup+610.017 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 54506 0 0 0 60875 132 0 0 25 0 1 0 966963914 155566080 29033 4294967295 134512640 135730672 3221224592 3221222944 134748179 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37980 29033 301 301 0 37679 0
vsize: 151920
[startup+620.017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 54551 0 0 0 61875 132 0 0 25 0 1 0 966963914 155832320 29078 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38045 29078 301 301 0 37744 0
vsize: 152180
[startup+630.017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 54900 0 0 0 62874 133 0 0 25 0 1 0 966963914 155832320 29085 4294967295 134512640 135730672 3221224592 3221223008 134748420 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38045 29085 301 301 0 37744 0
vsize: 152180
[startup+640.018 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 54965 0 0 0 63873 134 0 0 25 0 1 0 966963914 156098560 29150 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38110 29150 301 301 0 37809 0
vsize: 152440
[startup+650.018 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 55036 0 0 0 64873 134 0 0 25 0 1 0 966963914 156229632 29188 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38142 29188 301 301 0 37841 0
vsize: 152568
[startup+660.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 55067 0 0 0 65873 134 0 0 25 0 1 0 966963914 156229632 29219 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38142 29219 301 301 0 37841 0
vsize: 152568
[startup+670.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 55413 0 0 0 66872 135 0 0 25 0 1 0 966963914 156229632 29223 4294967295 134512640 135730672 3221224592 3221222816 134747892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38142 29223 301 301 0 37841 0
vsize: 152568
[startup+680.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 55414 0 0 0 67872 136 0 0 25 0 1 0 966963914 156229632 29224 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38142 29224 301 301 0 37841 0
vsize: 152568
[startup+690.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 55417 0 0 0 68872 136 0 0 25 0 1 0 966963914 156229632 29227 4294967295 134512640 135730672 3221224592 3221222816 134747495 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38142 29227 301 301 0 37841 0
vsize: 152568
[startup+700.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 55801 0 0 0 69871 138 0 0 25 0 1 0 966963914 156495872 29269 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38207 29269 301 301 0 37906 0
vsize: 152828
[startup+710.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 55883 0 0 0 70870 138 0 0 25 0 1 0 966963914 156495872 29351 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38207 29351 301 301 0 37906 0
vsize: 152828
[startup+720.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 56082 0 0 0 71870 139 0 0 25 0 1 0 966963914 156758016 29485 4294967295 134512640 135730672 3221224592 3221222924 134747727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38271 29485 301 301 0 37970 0
vsize: 153084
[startup+730.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 56442 0 0 0 72869 140 0 0 25 0 1 0 966963914 157282304 29715 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38399 29715 301 301 0 38098 0
vsize: 153596
[startup+740.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 56925 0 0 0 73868 141 0 0 25 0 1 0 966963914 157810688 29791 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38528 29791 301 301 0 38227 0
vsize: 154112
[startup+750.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19695
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 56989 0 0 0 74868 141 0 0 25 0 1 0 966963914 157941760 29822 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38560 29822 301 301 0 38259 0
vsize: 154240
[startup+760.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 56990 0 0 0 75867 142 0 0 25 0 1 0 966963914 157941760 29823 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38560 29823 301 301 0 38259 0
vsize: 154240
[startup+770.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 57413 0 0 0 76866 143 0 0 25 0 1 0 966963914 158072832 29871 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38592 29871 301 301 0 38291 0
vsize: 154368
[startup+780.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 57415 0 0 0 77866 144 0 0 25 0 1 0 966963914 158072832 29873 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38592 29873 301 301 0 38291 0
vsize: 154368
[startup+790.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 57487 0 0 0 78866 144 0 0 25 0 1 0 966963914 158339072 29945 4294967295 134512640 135730672 3221224592 3221222816 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 29945 301 301 0 38356 0
vsize: 154628
[startup+800.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 57493 0 0 0 79866 144 0 0 25 0 1 0 966963914 158339072 29951 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 29951 301 301 0 38356 0
vsize: 154628
[startup+810.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 57836 0 0 0 80865 145 0 0 25 0 1 0 966963914 158339072 29952 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 29952 301 301 0 38356 0
vsize: 154628
[startup+820.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 57839 0 0 0 81865 146 0 0 25 0 1 0 966963914 158339072 29955 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 29955 301 301 0 38356 0
vsize: 154628
[startup+830.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 58183 0 0 0 82864 147 0 0 25 0 1 0 966963914 158339072 29957 4294967295 134512640 135730672 3221224592 3221222976 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 29957 301 301 0 38356 0
vsize: 154628
[startup+840.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 58185 0 0 0 83863 147 0 0 25 0 1 0 966963914 158339072 29959 4294967295 134512640 135730672 3221224592 3221222976 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 29959 301 301 0 38356 0
vsize: 154628
[startup+850.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 58545 0 0 0 84863 148 0 0 25 0 1 0 966963914 158339072 29977 4294967295 134512640 135730672 3221224592 3221222232 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 29977 301 301 0 38356 0
vsize: 154628
[startup+860.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 58562 0 0 0 85863 148 0 0 25 0 1 0 966963914 158339072 29994 4294967295 134512640 135730672 3221224592 3221222816 134747832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 29994 301 301 0 38356 0
vsize: 154628
[startup+870.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 58913 0 0 0 86861 150 0 0 25 0 1 0 966963914 158339072 30003 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 30003 301 301 0 38356 0
vsize: 154628
[startup+880.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 58915 0 0 0 87861 150 0 0 25 0 1 0 966963914 158339072 30005 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 30005 301 301 0 38356 0
vsize: 154628
[startup+890.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 59260 0 0 0 88861 151 0 0 25 0 1 0 966963914 158339072 30008 4294967295 134512640 135730672 3221224592 3221222816 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 30008 301 301 0 38356 0
vsize: 154628
[startup+900.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 59262 0 0 0 89861 151 0 0 25 0 1 0 966963914 158339072 30010 4294967295 134512640 135730672 3221224592 3221222816 134747733 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 30010 301 301 0 38356 0
vsize: 154628
[startup+910.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 59605 0 0 0 90860 152 0 0 25 0 1 0 966963914 158339072 30011 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 30011 301 301 0 38356 0
vsize: 154628
[startup+920.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 59610 0 0 0 91860 152 0 0 25 0 1 0 966963914 158339072 30016 4294967295 134512640 135730672 3221224592 3221222912 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 30016 301 301 0 38356 0
vsize: 154628
[startup+930.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 59642 0 0 0 92860 152 0 0 25 0 1 0 966963914 158339072 30048 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 30048 301 301 0 38356 0
vsize: 154628
[startup+940.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 59998 0 0 0 93859 153 0 0 25 0 1 0 966963914 158339072 30062 4294967295 134512640 135730672 3221224592 3221222928 134748241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 30062 301 301 0 38356 0
vsize: 154628
[startup+950.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 60007 0 0 0 94859 154 0 0 25 0 1 0 966963914 158339072 30071 4294967295 134512640 135730672 3221224592 3221223008 134748503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 30071 301 301 0 38356 0
vsize: 154628
[startup+960.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 60355 0 0 0 95858 154 0 0 25 0 1 0 966963914 158339072 30077 4294967295 134512640 135730672 3221224592 3221222816 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 30077 301 301 0 38356 0
vsize: 154628
[startup+970.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 60365 0 0 0 96858 155 0 0 25 0 1 0 966963914 158339072 30087 4294967295 134512640 135730672 3221224592 3221222816 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 30087 301 301 0 38356 0
vsize: 154628
[startup+980.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 60372 0 0 0 97858 155 0 0 25 0 1 0 966963914 158339072 30094 4294967295 134512640 135730672 3221224592 3221222912 134764022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 30094 301 301 0 38356 0
vsize: 154628
[startup+990.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 60385 0 0 0 98858 155 0 0 25 0 1 0 966963914 158339072 30107 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 30107 301 301 0 38356 0
vsize: 154628
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 60406 0 0 0 99858 155 0 0 25 0 1 0 966963914 158339072 30128 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 30128 301 301 0 38356 0
vsize: 154628
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 60411 0 0 0 100858 155 0 0 25 0 1 0 966963914 158339072 30133 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38657 30133 301 301 0 38356 0
vsize: 154628
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 64443 0 0 0 101847 167 0 0 25 0 1 0 966963914 174944256 34036 4294967295 134512640 135730672 3221224592 3221222468 134540222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42711 34036 301 301 0 42410 0
vsize: 170844
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 88083 0 0 0 102792 222 0 0 25 0 1 0 966963914 232275968 45716 4294967295 134512640 135730672 3221224592 3221222896 134741730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56708 45716 301 301 0 56407 0
vsize: 226832
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 90672 0 0 0 103787 227 0 0 25 0 1 0 966963914 235163648 46162 4294967295 134512640 135730672 3221224592 3221222736 134749640 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57413 46162 301 301 0 57112 0
vsize: 229652
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 90709 0 0 0 104787 227 0 0 25 0 1 0 966963914 234246144 46028 4294967295 134512640 135730672 3221224592 3221222512 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57189 46028 301 301 0 56888 0
vsize: 228756
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 90843 0 0 0 105787 227 0 0 25 0 1 0 966963914 234643456 46096 4294967295 134512640 135730672 3221224592 3221222880 134748455 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57286 46096 301 301 0 56985 0
vsize: 229144
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 91075 0 0 0 106787 228 0 0 25 0 1 0 966963914 235720704 46295 4294967295 134512640 135730672 3221224592 3221222848 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57549 46295 301 301 0 57248 0
vsize: 230196
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 91154 0 0 0 107787 229 0 0 25 0 1 0 966963914 235986944 46341 4294967295 134512640 135730672 3221224592 3221222816 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57614 46341 301 301 0 57313 0
vsize: 230456
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 91405 0 0 0 108786 229 0 0 25 0 1 0 966963914 236785664 46493 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57809 46493 301 301 0 57508 0
vsize: 231236
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 91406 0 0 0 109786 229 0 0 25 0 1 0 966963914 236785664 46494 4294967295 134512640 135730672 3221224592 3221222688 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57809 46494 301 301 0 57508 0
vsize: 231236
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 92098 0 0 0 110785 231 0 0 25 0 1 0 966963914 236785664 46496 4294967295 134512640 135730672 3221224592 3221222816 134783353 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57809 46496 301 301 0 57508 0
vsize: 231236
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 92099 0 0 0 111785 231 0 0 25 0 1 0 966963914 236785664 46497 4294967295 134512640 135730672 3221224592 3221222816 134748158 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57809 46497 301 301 0 57508 0
vsize: 231236
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 92101 0 0 0 112785 231 0 0 25 0 1 0 966963914 236785664 46499 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57809 46499 301 301 0 57508 0
vsize: 231236
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 92792 0 0 0 113783 233 0 0 25 0 1 0 966963914 236785664 46500 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57809 46500 301 301 0 57508 0
vsize: 231236
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 92794 0 0 0 114783 233 0 0 25 0 1 0 966963914 236785664 46502 4294967295 134512640 135730672 3221224592 3221222848 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57809 46502 301 301 0 57508 0
vsize: 231236
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 92795 0 0 0 115783 233 0 0 25 0 1 0 966963914 236785664 46503 4294967295 134512640 135730672 3221224592 3221222672 134732800 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57809 46503 301 301 0 57508 0
vsize: 231236
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 93486 0 0 0 116781 235 0 0 25 0 1 0 966963914 236785664 46504 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57809 46504 301 301 0 57508 0
vsize: 231236
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 93488 0 0 0 117781 235 0 0 25 0 1 0 966963914 236785664 46506 4294967295 134512640 135730672 3221224592 3221222816 134748145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57809 46506 301 301 0 57508 0
vsize: 231236
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 93489 0 0 0 118782 235 0 0 25 0 1 0 966963914 236785664 46507 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57809 46507 301 301 0 57508 0
vsize: 231236
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19697
Raw data (stat): 19640 (pb2sat-v2) R 19639 21152 21151 0 -1 0 94181 0 0 0 119780 237 0 0 25 0 1 0 966963914 236785664 46509 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57809 46509 301 301 0 57508 0
vsize: 231236
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.6 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 19697
Raw data (stat): 19640 (pb2sat-v2) Z 19639 21152 21151 0 -1 12 94183 0 0 0 119927 246 0 0 25 0 1 0 966963914 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1201.6
CPU time (s): 1201.74
CPU user time (s): 1199.28
CPU system time (s): 2.46462
CPU usage (%): 100.012
Max. virtual memory (Kb): 231236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-4
#### END VERIFIER DATA ####