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-4.opb
MD5SUM	e3892e1941a878802a8ccbbd36201a02
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-27
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	27842
Number of constraints which are clauses	27842
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 42204

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 02:05:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25420 boxname=wulflinc6 idbench=322 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  e3892e1941a878802a8ccbbd36201a02  /oldhome/oroussel/tmp/wulflinc6/normalized-frb35-17-4.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-frb35-17-4.opb
IDLAUNCH: 25420
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        727244 kB
Buffers:         34064 kB
Cached:         250848 kB
SwapCached:       1028 kB
Active:          65168 kB
Inactive:       221944 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        726992 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            14764 kB
Committed_AS:    63836 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 02:25:34 (client local time) WITH STATUS 10 IN 1202.02 SECONDS
stats: 25420 0 1202.02 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: 9743/174941	Time: 32.2831/86400
c Decision: 9743/174941	Time: 52.881/86400
c Decision: 9743/174941	Time: 74.9626/86400
c Decision: 9743/174941	Time: 91.6791/86400
c Decision: 14279/174941	Time: 113.802/86400
c Decision: 14280/174941	Time: 151.292/86400
c Decision: 14280/174941	Time: 168.169/86400
c Decision: 14280/174941	Time: 185.256/86400
c Decision: 14351/174941	Time: 227.067/86400
c Decision: 14351/174941	Time: 257.661/86400
c Decision: 14351/174941	Time: 276.047/86400
c Decision: 14351/174941	Time: 300.98/86400
c Decision: 14351/174941	Time: 346.919/86400
c Decision: 14351/174941	Time: 394.901/86400
c Decision: 14351/174941	Time: 417.782/86400
c Decision: 14351/174941	Time: 440.734/86400
c Decision: 14351/174941	Time: 470.445/86400
c Decision: 14351/174941	Time: 491.641/86400
c Decision: 14351/174941	Time: 512.389/86400
c Decision: 14351/174941	Time: 533.405/86400
c Decision: 14351/174941	Time: 559.983/86400
c Decision: 14351/174941	Time: 579.444/86400
c Decision: 14351/174941	Time: 601.009/86400
c Decision: 14351/174941	Time: 623.247/86400
c Decision: 14357/174941	Time: 656.331/86400
c Decision: 14357/174941	Time: 681.454/86400
c Decision: 14357/174941	Time: 707.047/86400
c Decision: 14357/174941	Time: 739.979/86400
c Decision: 14357/174941	Time: 769.21/86400
c Decision: 14357/174941	Time: 800.181/86400
c trying from 512 to 594

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

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

c Decision: 218118/352851	Time: 58.4411/86400
c Decision: 218372/352851	Time: 86.2399/86400
c Decision: 221795/352851	Time: 125.161/86400
c Decision: 222259/352851	Time: 162.514/86400
c Decision: 222328/352851	Time: 227.519/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.85 0.95 0.90 1/54 13388
Raw data (stat): 13388 (runsolver) R 13387 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 967025622 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.0007 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 13388
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 25971 0 0 0 943 56 0 0 25 0 1 0 967025622 84590592 15109 4294967295 134512640 135730672 3221224592 3221190720 134770772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20652 15109 301 301 0 20351 0
vsize: 82608
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 13388
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 28099 0 0 0 1937 62 0 0 25 0 1 0 967025622 90456064 16759 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22084 16759 301 301 0 21783 0
vsize: 88336
[startup+30.0013 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 13388
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 28729 0 0 0 2936 64 0 0 25 0 1 0 967025622 93540352 17389 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22837 17389 301 301 0 22536 0
vsize: 91348
[startup+40.0011 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 13388
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 28999 0 0 0 3935 64 0 0 25 0 1 0 967025622 94539776 17659 4294967295 134512640 135730672 3221224592 3221223008 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23081 17659 301 301 0 22780 0
vsize: 92324
[startup+50.0016 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 13388
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 30772 0 0 0 4931 69 0 0 25 0 1 0 967025622 99692544 18701 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24339 18701 301 301 0 24038 0
vsize: 97356
[startup+60.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 13388
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 31948 0 0 0 5929 71 0 0 25 0 1 0 967025622 103940096 19511 4294967295 134512640 135730672 3221224592 3221222944 134748182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25376 19511 301 301 0 25075 0
vsize: 101504
[startup+70.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 13388
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 33479 0 0 0 6926 74 0 0 25 0 1 0 967025622 108613632 20288 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26517 20288 301 301 0 26216 0
vsize: 106068
[startup+80.0017 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 13388
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 34886 0 0 0 7923 77 0 0 25 0 1 0 967025622 113471488 21108 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27703 21108 301 301 0 27402 0
vsize: 110812
[startup+90.0023 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 13388
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 35680 0 0 0 8921 79 0 0 25 0 1 0 967025622 114659328 21397 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27993 21397 301 301 0 27692 0
vsize: 111972
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13388
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 36606 0 0 0 9920 81 0 0 25 0 1 0 967025622 117526528 21931 4294967295 134512640 135730672 3221224592 3221222816 134747641 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28693 21931 301 301 0 28392 0
vsize: 114772
[startup+110.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13388
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 37543 0 0 0 10918 83 0 0 25 0 1 0 967025622 119582720 22362 4294967295 134512640 135730672 3221224592 3221222816 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29195 22362 301 301 0 28894 0
vsize: 116780
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13388
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 38517 0 0 0 11917 85 0 0 25 0 1 0 967025622 123314176 23008 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30106 23008 301 301 0 29805 0
vsize: 120424
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13388
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 39837 0 0 0 12913 89 0 0 25 0 1 0 967025622 126078976 23464 4294967295 134512640 135730672 3221224592 3221222648 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30781 23464 301 301 0 30480 0
vsize: 123124
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13388
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 40092 0 0 0 13913 89 0 0 25 0 1 0 967025622 127287296 23686 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31076 23686 301 301 0 30775 0
vsize: 124304
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13388
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 40387 0 0 0 14912 90 0 0 25 0 1 0 967025622 128356352 23882 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31337 23882 301 301 0 31036 0
vsize: 125348
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13388
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 40437 0 0 0 15912 90 0 0 25 0 1 0 967025622 128491520 23932 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31370 23932 301 301 0 31069 0
vsize: 125480
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13388
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 41043 0 0 0 16911 92 0 0 25 0 1 0 967025622 129425408 24097 4294967295 134512640 135730672 3221224592 3221222924 134747440 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31598 24097 301 301 0 31297 0
vsize: 126392
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13388
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 41616 0 0 0 17910 94 0 0 25 0 1 0 967025622 130756608 24328 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31923 24328 301 301 0 31622 0
vsize: 127692
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13388
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 41620 0 0 0 18910 94 0 0 25 0 1 0 967025622 130756608 24332 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31923 24332 301 301 0 31622 0
vsize: 127692
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13388
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 42498 0 0 0 19908 96 0 0 25 0 1 0 967025622 132198400 24509 4294967295 134512640 135730672 3221224592 3221223008 134748503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32275 24509 301 301 0 31974 0
vsize: 129100
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13388
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 42592 0 0 0 20908 97 0 0 25 0 1 0 967025622 132595712 24570 4294967295 134512640 135730672 3221224592 3221222816 134747597 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32372 24570 301 301 0 32071 0
vsize: 129488
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 42662 0 0 0 21908 97 0 0 25 0 1 0 967025622 132861952 24640 4294967295 134512640 135730672 3221224592 3221222912 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32437 24640 301 301 0 32136 0
vsize: 129748
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 42889 0 0 0 22907 98 0 0 25 0 1 0 967025622 133390336 24801 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32566 24801 301 301 0 32265 0
vsize: 130264
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 43255 0 0 0 23907 99 0 0 25 0 1 0 967025622 133390336 24825 4294967295 134512640 135730672 3221224592 3221222976 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32566 24825 301 301 0 32265 0
vsize: 130264
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 43444 0 0 0 24906 100 0 0 25 0 1 0 967025622 134123520 24933 4294967295 134512640 135730672 3221224592 3221222508 135291115 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32745 24933 301 301 0 32444 0
vsize: 130980
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 44661 0 0 0 25904 102 0 0 25 0 1 0 967025622 137400320 25336 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33545 25336 301 301 0 33244 0
vsize: 134180
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 45464 0 0 0 26903 104 0 0 25 0 1 0 967025622 138784768 25553 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33883 25553 301 301 0 33582 0
vsize: 135532
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 45495 0 0 0 27903 104 0 0 25 0 1 0 967025622 138784768 25584 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33883 25584 301 301 0 33582 0
vsize: 135532
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 46038 0 0 0 28902 106 0 0 25 0 1 0 967025622 139444224 25686 4294967295 134512640 135730672 3221224592 3221222944 134748158 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34044 25686 301 301 0 33743 0
vsize: 136176
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 46090 0 0 0 29901 106 0 0 25 0 1 0 967025622 139575296 25705 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34076 25705 301 301 0 33775 0
vsize: 136304
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 46092 0 0 0 30902 106 0 0 25 0 1 0 967025622 139575296 25707 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34076 25707 301 301 0 33775 0
vsize: 136304
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 47396 0 0 0 31900 109 0 0 25 0 1 0 967025622 142213120 26213 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34720 26213 301 301 0 34419 0
vsize: 138880
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 48131 0 0 0 32898 110 0 0 25 0 1 0 967025622 144183296 26590 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35201 26590 301 301 0 34900 0
vsize: 140804
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 48329 0 0 0 33898 111 0 0 25 0 1 0 967025622 144707584 26658 4294967295 134512640 135730672 3221224592 3221222920 134747726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35329 26658 301 301 0 35028 0
vsize: 141316
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 48586 0 0 0 34898 111 0 0 25 0 1 0 967025622 145362944 26752 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35489 26752 301 301 0 35188 0
vsize: 141956
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 49114 0 0 0 35897 113 0 0 25 0 1 0 967025622 145756160 26840 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35585 26840 301 301 0 35284 0
vsize: 142340
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 49397 0 0 0 36896 114 0 0 25 0 1 0 967025622 146149376 27025 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35681 27025 301 301 0 35380 0
vsize: 142724
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 49591 0 0 0 37896 115 0 0 25 0 1 0 967025622 146939904 27154 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35874 27154 301 301 0 35573 0
vsize: 143496
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 49899 0 0 0 38896 115 0 0 25 0 1 0 967025622 147992576 27332 4294967295 134512640 135730672 3221224592 3221222816 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36131 27332 301 301 0 35830 0
vsize: 144524
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 49900 0 0 0 39896 115 0 0 25 0 1 0 967025622 147992576 27333 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36131 27333 301 301 0 35830 0
vsize: 144524
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 50244 0 0 0 40895 117 0 0 25 0 1 0 967025622 147992576 27335 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36131 27335 301 301 0 35830 0
vsize: 144524
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 50259 0 0 0 41895 117 0 0 25 0 1 0 967025622 147992576 27350 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36131 27350 301 301 0 35830 0
vsize: 144524
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 50626 0 0 0 42894 118 0 0 25 0 1 0 967025622 147992576 27375 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36131 27375 301 301 0 35830 0
vsize: 144524
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 50646 0 0 0 43894 119 0 0 25 0 1 0 967025622 147992576 27395 4294967295 134512640 135730672 3221224592 3221222816 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36131 27395 301 301 0 35830 0
vsize: 144524
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 50996 0 0 0 44893 120 0 0 25 0 1 0 967025622 149393408 27745 4294967295 134512640 135730672 3221224592 3221222480 134769202 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36473 27745 301 301 0 36172 0
vsize: 145892
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 51086 0 0 0 45893 120 0 0 25 0 1 0 967025622 148254720 27428 4294967295 134512640 135730672 3221224592 3221222640 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36195 27428 301 301 0 35894 0
vsize: 144780
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 51189 0 0 0 46893 121 0 0 25 0 1 0 967025622 148516864 27466 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36259 27466 301 301 0 35958 0
vsize: 145036
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 51191 0 0 0 47893 121 0 0 25 0 1 0 967025622 148516864 27468 4294967295 134512640 135730672 3221224592 3221222832 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36259 27468 301 301 0 35958 0
vsize: 145036
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 51534 0 0 0 48893 122 0 0 25 0 1 0 967025622 148516864 27469 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36259 27469 301 301 0 35958 0
vsize: 145036
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 51536 0 0 0 49893 123 0 0 25 0 1 0 967025622 148516864 27471 4294967295 134512640 135730672 3221224592 3221222944 134748114 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36259 27471 301 301 0 35958 0
vsize: 145036
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 51883 0 0 0 50892 124 0 0 25 0 1 0 967025622 148516864 27476 4294967295 134512640 135730672 3221224592 3221222816 134747902 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36259 27476 301 301 0 35958 0
vsize: 145036
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 51890 0 0 0 51892 124 0 0 25 0 1 0 967025622 148516864 27483 4294967295 134512640 135730672 3221224592 3221222976 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36259 27483 301 301 0 35958 0
vsize: 145036
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 52234 0 0 0 52892 125 0 0 25 0 1 0 967025622 148516864 27485 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36259 27485 301 301 0 35958 0
vsize: 145036
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 52246 0 0 0 53892 125 0 0 25 0 1 0 967025622 148516864 27497 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36259 27497 301 301 0 35958 0
vsize: 145036
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 52599 0 0 0 54891 126 0 0 25 0 1 0 967025622 148516864 27508 4294967295 134512640 135730672 3221224592 3221223008 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36259 27508 301 301 0 35958 0
vsize: 145036
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 52609 0 0 0 55892 126 0 0 25 0 1 0 967025622 148516864 27518 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36259 27518 301 301 0 35958 0
vsize: 145036
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 52966 0 0 0 56891 127 0 0 25 0 1 0 967025622 148516864 27533 4294967295 134512640 135730672 3221224592 3221222944 134783248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36259 27533 301 301 0 35958 0
vsize: 145036
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 52968 0 0 0 57891 127 0 0 25 0 1 0 967025622 148516864 27535 4294967295 134512640 135730672 3221224592 3221222912 134763576 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36259 27535 301 301 0 35958 0
vsize: 145036
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 53312 0 0 0 58890 128 0 0 25 0 1 0 967025622 148516864 27537 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36259 27537 301 301 0 35958 0
vsize: 145036
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 53314 0 0 0 59890 128 0 0 25 0 1 0 967025622 148516864 27539 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36259 27539 301 301 0 35958 0
vsize: 145036
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 53316 0 0 0 60891 129 0 0 25 0 1 0 967025622 148516864 27541 4294967295 134512640 135730672 3221224592 3221222816 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36259 27541 301 301 0 35958 0
vsize: 145036
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 53660 0 0 0 61890 130 0 0 25 0 1 0 967025622 148516864 27543 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36259 27543 301 301 0 35958 0
vsize: 145036
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 53662 0 0 0 62890 130 0 0 25 0 1 0 967025622 148516864 27545 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36259 27545 301 301 0 35958 0
vsize: 145036
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 54098 0 0 0 63890 131 0 0 25 0 1 0 967025622 148779008 27574 4294967295 134512640 135730672 3221224592 3221222816 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36323 27574 301 301 0 36022 0
vsize: 145292
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 54221 0 0 0 64890 131 0 0 25 0 1 0 967025622 148905984 27599 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36354 27599 301 301 0 36053 0
vsize: 145416
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 54316 0 0 0 65890 131 0 0 25 0 1 0 967025622 149168128 27629 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36418 27629 301 301 0 36117 0
vsize: 145672
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 54672 0 0 0 66889 132 0 0 25 0 1 0 967025622 149168128 27643 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36418 27643 301 301 0 36117 0
vsize: 145672
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 54691 0 0 0 67889 132 0 0 25 0 1 0 967025622 149168128 27662 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36418 27662 301 301 0 36117 0
vsize: 145672
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 54724 0 0 0 68890 132 0 0 25 0 1 0 967025622 149168128 27695 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36418 27695 301 301 0 36117 0
vsize: 145672
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 55067 0 0 0 69890 133 0 0 25 0 1 0 967025622 149168128 27696 4294967295 134512640 135730672 3221224592 3221222816 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36418 27696 301 301 0 36117 0
vsize: 145672
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 55069 0 0 0 70890 133 0 0 25 0 1 0 967025622 149168128 27698 4294967295 134512640 135730672 3221224592 3221222816 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36418 27698 301 301 0 36117 0
vsize: 145672
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 55412 0 0 0 71890 133 0 0 25 0 1 0 967025622 149168128 27699 4294967295 134512640 135730672 3221224592 3221222944 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36418 27699 301 301 0 36117 0
vsize: 145672
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 55414 0 0 0 72890 133 0 0 25 0 1 0 967025622 149168128 27701 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36418 27701 301 301 0 36117 0
vsize: 145672
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 55453 0 0 0 73890 134 0 0 25 0 1 0 967025622 149168128 27740 4294967295 134512640 135730672 3221224592 3221222816 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36418 27740 301 301 0 36117 0
vsize: 145672
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 55801 0 0 0 74890 135 0 0 25 0 1 0 967025622 149168128 27746 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36418 27746 301 301 0 36117 0
vsize: 145672
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 55811 0 0 0 75890 135 0 0 25 0 1 0 967025622 149168128 27756 4294967295 134512640 135730672 3221224592 3221222816 134747942 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36418 27756 301 301 0 36117 0
vsize: 145672
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 55838 0 0 0 76890 135 0 0 25 0 1 0 967025622 149168128 27783 4294967295 134512640 135730672 3221224592 3221222928 134748227 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36418 27783 301 301 0 36117 0
vsize: 145672
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 56190 0 0 0 77889 136 0 0 25 0 1 0 967025622 149168128 27793 4294967295 134512640 135730672 3221224592 3221222816 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36418 27793 301 301 0 36117 0
vsize: 145672
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 56203 0 0 0 78889 136 0 0 25 0 1 0 967025622 149168128 27806 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36418 27806 301 301 0 36117 0
vsize: 145672
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 56223 0 0 0 79889 137 0 0 25 0 1 0 967025622 149168128 27826 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36418 27826 301 301 0 36117 0
vsize: 145672
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 56576 0 0 0 80889 137 0 0 25 0 1 0 967025622 150568960 28179 4294967295 134512640 135730672 3221224592 3221222456 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36760 28179 301 301 0 36459 0
vsize: 147040
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 56586 0 0 0 81889 137 0 0 25 0 1 0 967025622 149168128 27847 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36418 27847 301 301 0 36117 0
vsize: 145672
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 56597 0 0 0 82890 137 0 0 25 0 1 0 967025622 149168128 27858 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36418 27858 301 301 0 36117 0
vsize: 145672
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 56608 0 0 0 83890 138 0 0 25 0 1 0 967025622 149168128 27869 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36418 27869 301 301 0 36117 0
vsize: 145672
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 56617 0 0 0 84890 138 0 0 25 0 1 0 967025622 149168128 27878 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36418 27878 301 301 0 36117 0
vsize: 145672
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 56626 0 0 0 85890 138 0 0 25 0 1 0 967025622 149168128 27887 4294967295 134512640 135730672 3221224592 3221222816 134747925 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36418 27887 301 301 0 36117 0
vsize: 145672
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 56781 0 0 0 86890 139 0 0 25 0 1 0 967025622 149692416 27913 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36546 27913 301 301 0 36245 0
vsize: 146184
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 56795 0 0 0 87890 139 0 0 25 0 1 0 967025622 149692416 27927 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36546 27927 301 301 0 36245 0
vsize: 146184
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 56805 0 0 0 88890 139 0 0 25 0 1 0 967025622 149692416 27937 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36546 27937 301 301 0 36245 0
vsize: 146184
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 56815 0 0 0 89891 139 0 0 25 0 1 0 967025622 149692416 27947 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36546 27947 301 301 0 36245 0
vsize: 146184
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 56875 0 0 0 90891 139 0 0 25 0 1 0 967025622 149958656 28007 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36611 28007 301 301 0 36310 0
vsize: 146444
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 56882 0 0 0 91891 140 0 0 25 0 1 0 967025622 149958656 28014 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36611 28014 301 301 0 36310 0
vsize: 146444
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 57181 0 0 0 92890 140 0 0 25 0 1 0 967025622 150745088 28119 4294967295 134512640 135730672 3221224592 3221222772 134813722 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36803 28119 301 301 0 36502 0
vsize: 147212
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 81192 0 0 0 93840 190 0 0 25 0 1 0 967025622 222601216 41249 4294967295 134512640 135730672 3221224592 3221210784 134550336 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54346 41249 301 301 0 54045 0
vsize: 217384
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 86006 0 0 0 94829 202 0 0 25 0 1 0 967025622 225075200 43695 4294967295 134512640 135730672 3221224592 3221222880 134748433 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54950 43695 301 301 0 54649 0
vsize: 219800
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 86897 0 0 0 95827 204 0 0 25 0 1 0 967025622 225075200 43725 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54950 43725 301 301 0 54649 0
vsize: 219800
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 86909 0 0 0 96825 207 0 0 25 0 1 0 967025622 224940032 43704 4294967295 134512640 135730672 3221224592 3221222816 134748101 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54917 43704 301 301 0 54616 0
vsize: 219668
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 86983 0 0 0 97824 208 0 0 25 0 1 0 967025622 225202176 43713 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54981 43713 301 301 0 54680 0
vsize: 219924
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 86990 0 0 0 98824 208 0 0 25 0 1 0 967025622 225202176 43720 4294967295 134512640 135730672 3221224592 3221222512 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54981 43720 301 301 0 54680 0
vsize: 219924
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 86992 0 0 0 99824 209 0 0 25 0 1 0 967025622 225202176 43722 4294967295 134512640 135730672 3221224592 3221222512 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54981 43722 301 301 0 54680 0
vsize: 219924
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 87683 0 0 0 100823 210 0 0 25 0 1 0 967025622 225202176 43723 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54981 43723 301 301 0 54680 0
vsize: 219924
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 87717 0 0 0 101822 211 0 0 25 0 1 0 967025622 225337344 43757 4294967295 134512640 135730672 3221224592 3221222688 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55014 43757 301 301 0 54713 0
vsize: 220056
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 87718 0 0 0 102823 211 0 0 25 0 1 0 967025622 225337344 43758 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55014 43758 301 301 0 54713 0
vsize: 220056
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 88410 0 0 0 103820 214 0 0 25 0 1 0 967025622 225337344 43760 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55014 43760 301 301 0 54713 0
vsize: 220056
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 88608 0 0 0 104820 215 0 0 25 0 1 0 967025622 225865728 43859 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55143 43859 301 301 0 54842 0
vsize: 220572
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 88609 0 0 0 105820 215 0 0 25 0 1 0 967025622 225865728 43860 4294967295 134512640 135730672 3221224592 3221222688 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55143 43860 301 301 0 54842 0
vsize: 220572
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 88611 0 0 0 106820 215 0 0 25 0 1 0 967025622 225865728 43862 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55143 43862 301 301 0 54842 0
vsize: 220572
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 89302 0 0 0 107819 217 0 0 25 0 1 0 967025622 225865728 43863 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55143 43863 301 301 0 54842 0
vsize: 220572
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 89304 0 0 0 108819 217 0 0 25 0 1 0 967025622 225865728 43865 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55143 43865 301 301 0 54842 0
vsize: 220572
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 89305 0 0 0 109820 217 0 0 25 0 1 0 967025622 225865728 43866 4294967295 134512640 135730672 3221224592 3221222688 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55143 43866 301 301 0 54842 0
vsize: 220572
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 89307 0 0 0 110820 217 0 0 25 0 1 0 967025622 225865728 43868 4294967295 134512640 135730672 3221224592 3221222688 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55143 43868 301 301 0 54842 0
vsize: 220572
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 89998 0 0 0 111819 219 0 0 25 0 1 0 967025622 225865728 43869 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55143 43869 301 301 0 54842 0
vsize: 220572
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 90000 0 0 0 112819 219 0 0 25 0 1 0 967025622 225865728 43871 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55143 43871 301 301 0 54842 0
vsize: 220572
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 90002 0 0 0 113819 219 0 0 25 0 1 0 967025622 225865728 43873 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55143 43873 301 301 0 54842 0
vsize: 220572
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 90004 0 0 0 114819 219 0 0 25 0 1 0 967025622 225865728 43875 4294967295 134512640 135730672 3221224592 3221222688 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55143 43875 301 301 0 54842 0
vsize: 220572
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 90005 0 0 0 115819 219 0 0 25 0 1 0 967025622 225865728 43876 4294967295 134512640 135730672 3221224592 3221222688 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55143 43876 301 301 0 54842 0
vsize: 220572
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 90007 0 0 0 116820 219 0 0 25 0 1 0 967025622 225865728 43878 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55143 43878 301 301 0 54842 0
vsize: 220572
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 90698 0 0 0 117818 222 0 0 25 0 1 0 967025622 225865728 43879 4294967295 134512640 135730672 3221224592 3221222688 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55143 43879 301 301 0 54842 0
vsize: 220572
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 90700 0 0 0 118818 222 0 0 25 0 1 0 967025622 225865728 43881 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55143 43881 301 301 0 54842 0
vsize: 220572
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13390
Raw data (stat): 13388 (pb2sat-v2) R 13387 25568 25567 0 -1 0 90702 0 0 0 119818 222 0 0 25 0 1 0 967025622 225865728 43883 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55143 43883 301 301 0 54842 0
vsize: 220572
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.65 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 13390
Raw data (stat): 13388 (pb2sat-v2) Z 13387 25568 25567 0 -1 12 90704 0 0 0 119970 231 0 0 25 0 1 0 967025622 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.65
CPU time (s): 1202.02
CPU user time (s): 1199.7
CPU system time (s): 2.31465
CPU usage (%): 100.03
Max. virtual memory (Kb): 220572
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-2
#### END VERIFIER DATA ####