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-2.opb
MD5SUM	409f1cf0658f035df65cb61f3e4f598e
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	27847
Number of constraints which are clauses	27847
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 42202

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 02:01:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25418 boxname=wulflinc2 idbench=320 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  409f1cf0658f035df65cb61f3e4f598e  /oldhome/oroussel/tmp/wulflinc2/normalized-frb35-17-2.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-frb35-17-2.opb
IDLAUNCH: 25418
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        846556 kB
Buffers:         34232 kB
Cached:         128464 kB
SwapCached:       4448 kB
Active:          61688 kB
Inactive:       106108 kB
HighTotal:      131008 kB
HighFree:        14476 kB
LowTotal:       903652 kB
LowFree:        832080 kB
SwapTotal:     2097136 kB
SwapFree:      2091696 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14724 kB
Committed_AS:    71892 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 02:22:01 (client local time) WITH STATUS 10 IN 1201.74 SECONDS
stats: 25418 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: 673/174941	Time: 18.6422/86400
c Decision: 673/174941	Time: 37.5993/86400
c Decision: 673/174941	Time: 57.2243/86400
c Decision: 10038/174941	Time: 83.5773/86400
c Decision: 10038/174941	Time: 103.483/86400
c Decision: 10038/174941	Time: 126.036/86400
c Decision: 10038/174941	Time: 141.502/86400
c Decision: 10202/174941	Time: 173.876/86400
c Decision: 10202/174941	Time: 190.604/86400
c Decision: 10202/174941	Time: 211.18/86400
c Decision: 10202/174941	Time: 237.089/86400
c Decision: 10446/174941	Time: 278.285/86400
c Decision: 22196/174941	Time: 351.905/86400
c Decision: 22216/174941	Time: 408.756/86400
c Decision: 22216/174941	Time: 447.805/86400
c Decision: 22216/174941	Time: 466.458/86400
c Decision: 22216/174941	Time: 484.047/86400
c Decision: 22281/174941	Time: 566.374/86400
c Decision: 22281/174941	Time: 584.258/86400
c Decision: 22281/174941	Time: 603.93/86400
c Decision: 22281/174941	Time: 629.126/86400
c Decision: 22281/174941	Time: 649.328/86400
c trying from 512 to 594

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

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

c Decision: 214972/352851	Time: 47.5498/86400
c Decision: 217661/352851	Time: 76.3794/86400
c Decision: 224323/352851	Time: 153.099/86400
c Decision: 224323/352851	Time: 179.589/86400
c Decision: 225547/352851	Time: 205.338/86400
c Decision: 225839/352851	Time: 234.735/86400
c Decision: 242805/352851	Time: 276.989/86400
c Decision: 242806/352851	Time: 318.616/86400
c Decision: 242806/352851	Time: 342.662/86400
c Decision: 242806/352851	Time: 366.227/86400
c Decision: 244783/352851	Time: 405.996/86400
c Decision: 244783/352851	Time: 433.57/86400
c Decision: 244787/352851	Time: 470.224/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.91 0.95 0.90 2/54 2534
Raw data (stat): 2534 (runsolver) R 2533 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 967009247 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.0003 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 2534
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 25718 0 0 0 944 55 0 0 25 0 1 0 967009247 84586496 14859 4294967295 134512640 135730672 3221224592 3221141664 134788136 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20651 14859 301 301 0 20350 0
vsize: 82604
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 2534
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 28205 0 0 0 1938 61 0 0 25 0 1 0 967009247 91189248 16953 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22263 16953 301 301 0 21962 0
vsize: 89052
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 2534
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 28904 0 0 0 2936 63 0 0 25 0 1 0 967009247 92700672 17294 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22632 17294 301 301 0 22331 0
vsize: 90528
[startup+40.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 2534
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 29850 0 0 0 3933 65 0 0 25 0 1 0 967009247 96919552 18113 4294967295 134512640 135730672 3221224592 3221222816 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23662 18113 301 301 0 23361 0
vsize: 94648
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 2534
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 30771 0 0 0 4931 67 0 0 25 0 1 0 967009247 99450880 18498 4294967295 134512640 135730672 3221224592 3221222816 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24280 18498 301 301 0 23979 0
vsize: 97120
[startup+60.001 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2534
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 32216 0 0 0 5929 70 0 0 25 0 1 0 967009247 104673280 19389 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25555 19389 301 301 0 25254 0
vsize: 102220
[startup+70.0025 s]
Raw data (loadavg): 1.05 0.98 0.91 2/57 2573
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 34173 0 0 0 6924 75 0 0 25 0 1 0 967009247 110100480 20366 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26880 20366 301 301 0 26579 0
vsize: 107520
[startup+80.0045 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 2587
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 35502 0 0 0 7919 80 0 0 25 0 1 0 967009247 115154944 21233 4294967295 134512640 135730672 3221224592 3221222976 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28114 21233 301 301 0 27813 0
vsize: 112456
[startup+90.0042 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 2587
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 35666 0 0 0 8918 81 0 0 25 0 1 0 967009247 115879936 21397 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28291 21397 301 301 0 27990 0
vsize: 113164
[startup+100.005 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 2587
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 36695 0 0 0 9915 84 0 0 25 0 1 0 967009247 118054912 21823 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28822 21823 301 301 0 28521 0
vsize: 115288
[startup+110.005 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 2587
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 38454 0 0 0 10912 88 0 0 25 0 1 0 967009247 124256256 22977 4294967295 134512640 135730672 3221224592 3221222816 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30336 22977 301 301 0 30035 0
vsize: 121344
[startup+120.005 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 2587
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 39477 0 0 0 11910 89 0 0 25 0 1 0 967009247 127021056 23510 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31011 23510 301 301 0 30710 0
vsize: 124044
[startup+130.006 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 2587
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 39826 0 0 0 12909 90 0 0 25 0 1 0 967009247 127811584 23694 4294967295 134512640 135730672 3221224592 3221222816 134747644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31204 23694 301 301 0 30903 0
vsize: 124816
[startup+140.006 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 40192 0 0 0 13908 91 0 0 25 0 1 0 967009247 127811584 23718 4294967295 134512640 135730672 3221224592 3221222816 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31204 23718 301 301 0 30903 0
vsize: 124816
[startup+150.007 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 40432 0 0 0 14907 93 0 0 25 0 1 0 967009247 128749568 23892 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31433 23892 301 301 0 31132 0
vsize: 125732
[startup+160.007 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 41980 0 0 0 15904 96 0 0 25 0 1 0 967009247 132190208 24510 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32273 24510 301 301 0 31972 0
vsize: 129092
[startup+170.006 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 43143 0 0 0 16901 99 0 0 25 0 1 0 967009247 135630848 25150 4294967295 134512640 135730672 3221224592 3221222816 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33113 25150 301 301 0 32812 0
vsize: 132452
[startup+180.007 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 43209 0 0 0 17901 100 0 0 25 0 1 0 967009247 135761920 25183 4294967295 134512640 135730672 3221224592 3221222976 134748670 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33145 25183 301 301 0 32844 0
vsize: 132580
[startup+190.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 43718 0 0 0 18899 101 0 0 25 0 1 0 967009247 136155136 25251 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33241 25251 301 301 0 32940 0
vsize: 132964
[startup+200.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 43808 0 0 0 19899 102 0 0 25 0 1 0 967009247 136286208 25308 4294967295 134512640 135730672 3221224592 3221222816 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33273 25308 301 301 0 32972 0
vsize: 133092
[startup+210.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 44759 0 0 0 20897 104 0 0 25 0 1 0 967009247 138276864 25623 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33759 25623 301 301 0 33458 0
vsize: 135036
[startup+220.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 44841 0 0 0 21896 105 0 0 25 0 1 0 967009247 138682368 25705 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33858 25705 301 301 0 33557 0
vsize: 135432
[startup+230.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 45953 0 0 0 22893 108 0 0 25 0 1 0 967009247 140922880 26115 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34405 26115 301 301 0 34104 0
vsize: 137620
[startup+240.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 46515 0 0 0 23892 109 0 0 25 0 1 0 967009247 142766080 26350 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34855 26350 301 301 0 34554 0
vsize: 139420
[startup+250.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 47006 0 0 0 24891 111 0 0 25 0 1 0 967009247 143028224 26434 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34919 26434 301 301 0 34618 0
vsize: 139676
[startup+260.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 47010 0 0 0 25891 111 0 0 25 0 1 0 967009247 143028224 26438 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34919 26438 301 301 0 34618 0
vsize: 139676
[startup+270.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 47145 0 0 0 26890 112 0 0 25 0 1 0 967009247 143552512 26444 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35047 26444 301 301 0 34746 0
vsize: 140188
[startup+280.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 47267 0 0 0 27890 112 0 0 25 0 1 0 967009247 143949824 26533 4294967295 134512640 135730672 3221224592 3221222976 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35144 26533 301 301 0 34843 0
vsize: 140576
[startup+290.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 48043 0 0 0 28887 115 0 0 25 0 1 0 967009247 145264640 26706 4294967295 134512640 135730672 3221224592 3221222816 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35465 26706 301 301 0 35164 0
vsize: 141860
[startup+300.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 48614 0 0 0 29886 117 0 0 25 0 1 0 967009247 146841600 26952 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35850 26952 301 301 0 35549 0
vsize: 143400
[startup+310.008 s]
Raw data (loadavg): 1.08 0.99 0.92 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 49239 0 0 0 30884 118 0 0 25 0 1 0 967009247 148553728 27284 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36268 27284 301 301 0 35967 0
vsize: 145072
[startup+320.009 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 49353 0 0 0 31884 119 0 0 25 0 1 0 967009247 148951040 27365 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36365 27365 301 301 0 36064 0
vsize: 145460
[startup+330.009 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 49850 0 0 0 32884 120 0 0 25 0 1 0 967009247 150130688 27569 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36653 27569 301 301 0 36352 0
vsize: 146612
[startup+340.01 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 50413 0 0 0 33882 121 0 0 25 0 1 0 967009247 151842816 27839 4294967295 134512640 135730672 3221224592 3221222816 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37071 27839 301 301 0 36770 0
vsize: 148284
[startup+350.01 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 50828 0 0 0 34881 122 0 0 25 0 1 0 967009247 152760320 28026 4294967295 134512640 135730672 3221224592 3221222816 134747647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37295 28026 301 301 0 36994 0
vsize: 149180
[startup+360.011 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 51524 0 0 0 35879 124 0 0 25 0 1 0 967009247 154730496 28299 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37776 28299 301 301 0 37475 0
vsize: 151104
[startup+370.011 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 51969 0 0 0 36878 126 0 0 25 0 1 0 967009247 154992640 28337 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37840 28337 301 301 0 37539 0
vsize: 151360
[startup+380.011 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 51992 0 0 0 37878 126 0 0 25 0 1 0 967009247 154992640 28360 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37840 28360 301 301 0 37539 0
vsize: 151360
[startup+390.012 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 52059 0 0 0 38877 127 0 0 25 0 1 0 967009247 155123712 28394 4294967295 134512640 135730672 3221224592 3221222652 134739216 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37872 28394 301 301 0 37571 0
vsize: 151488
[startup+400.013 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 2589
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 52175 0 0 0 39877 127 0 0 25 0 1 0 967009247 155385856 28445 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37936 28445 301 301 0 37635 0
vsize: 151744
[startup+410.013 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 52379 0 0 0 40876 128 0 0 25 0 1 0 967009247 155910144 28519 4294967295 134512640 135730672 3221224592 3221222816 134747613 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38064 28519 301 301 0 37763 0
vsize: 152256
[startup+420.013 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 53233 0 0 0 41875 130 0 0 25 0 1 0 967009247 157622272 28868 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38482 28868 301 301 0 38181 0
vsize: 153928
[startup+430.014 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 53314 0 0 0 42874 131 0 0 25 0 1 0 967009247 157884416 28884 4294967295 134512640 135730672 3221224592 3221223008 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38546 28884 301 301 0 38245 0
vsize: 154184
[startup+440.013 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 53336 0 0 0 43874 131 0 0 25 0 1 0 967009247 157749248 28873 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38513 28873 301 301 0 38212 0
vsize: 154052
[startup+450.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 53353 0 0 0 44875 131 0 0 25 0 1 0 967009247 157749248 28890 4294967295 134512640 135730672 3221224592 3221222944 134748200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38513 28890 301 301 0 38212 0
vsize: 154052
[startup+460.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 53703 0 0 0 45874 132 0 0 25 0 1 0 967009247 157749248 28898 4294967295 134512640 135730672 3221224592 3221222816 134747960 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38513 28898 301 301 0 38212 0
vsize: 154052
[startup+470.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 53718 0 0 0 46873 132 0 0 25 0 1 0 967009247 157749248 28913 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38513 28913 301 301 0 38212 0
vsize: 154052
[startup+480.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 54069 0 0 0 47872 133 0 0 25 0 1 0 967009247 157749248 28922 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38513 28922 301 301 0 38212 0
vsize: 154052
[startup+490.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 54072 0 0 0 48871 134 0 0 25 0 1 0 967009247 157749248 28925 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38513 28925 301 301 0 38212 0
vsize: 154052
[startup+500.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 54556 0 0 0 49870 136 0 0 25 0 1 0 967009247 158011392 29002 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38577 29002 301 301 0 38276 0
vsize: 154308
[startup+510.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 54674 0 0 0 50870 136 0 0 25 0 1 0 967009247 158273536 29055 4294967295 134512640 135730672 3221224592 3221222816 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38641 29055 301 301 0 38340 0
vsize: 154564
[startup+520.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 54817 0 0 0 51869 137 0 0 25 0 1 0 967009247 158801920 29133 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38770 29133 301 301 0 38469 0
vsize: 155080
[startup+530.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 54988 0 0 0 52868 138 0 0 25 0 1 0 967009247 159723520 29271 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38995 29271 301 301 0 38694 0
vsize: 155980
[startup+540.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 55235 0 0 0 53868 138 0 0 25 0 1 0 967009247 160378880 29355 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39155 29355 301 301 0 38854 0
vsize: 156620
[startup+550.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 55457 0 0 0 54867 139 0 0 25 0 1 0 967009247 160903168 29447 4294967295 134512640 135730672 3221224592 3221222816 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39283 29447 301 301 0 38982 0
vsize: 157132
[startup+560.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 55972 0 0 0 55866 141 0 0 25 0 1 0 967009247 162615296 29734 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39701 29734 301 301 0 39400 0
vsize: 158804
[startup+570.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 55973 0 0 0 56866 141 0 0 25 0 1 0 967009247 162615296 29735 4294967295 134512640 135730672 3221224592 3221222816 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39701 29735 301 301 0 39400 0
vsize: 158804
[startup+580.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 56423 0 0 0 57865 142 0 0 25 0 1 0 967009247 162877440 29778 4294967295 134512640 135730672 3221224592 3221222900 135282779 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39765 29778 301 301 0 39464 0
vsize: 159060
[startup+590.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 56425 0 0 0 58863 142 0 0 25 0 1 0 967009247 162877440 29780 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39765 29780 301 301 0 39464 0
vsize: 159060
[startup+600.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 56771 0 0 0 59862 143 0 0 25 0 1 0 967009247 162877440 29784 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39765 29784 301 301 0 39464 0
vsize: 159060
[startup+610.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 56784 0 0 0 60862 144 0 0 25 0 1 0 967009247 162877440 29797 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39765 29797 301 301 0 39464 0
vsize: 159060
[startup+620.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 57137 0 0 0 61861 145 0 0 25 0 1 0 967009247 162877440 29808 4294967295 134512640 135730672 3221224592 3221222816 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39765 29808 301 301 0 39464 0
vsize: 159060
[startup+630.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 57151 0 0 0 62861 145 0 0 25 0 1 0 967009247 162877440 29822 4294967295 134512640 135730672 3221224592 3221222976 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39765 29822 301 301 0 39464 0
vsize: 159060
[startup+640.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 57512 0 0 0 63860 146 0 0 25 0 1 0 967009247 162877440 29841 4294967295 134512640 135730672 3221224592 3221222944 134748079 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39765 29841 301 301 0 39464 0
vsize: 159060
[startup+650.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 57515 0 0 0 64860 146 0 0 25 0 1 0 967009247 162877440 29844 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39765 29844 301 301 0 39464 0
vsize: 159060
[startup+660.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 57858 0 0 0 65859 147 0 0 25 0 1 0 967009247 162877440 29845 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39765 29845 301 301 0 39464 0
vsize: 159060
[startup+670.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 57948 0 0 0 66859 147 0 0 25 0 1 0 967009247 163405824 29935 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39894 29935 301 301 0 39593 0
vsize: 159576
[startup+680.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 57949 0 0 0 67859 147 0 0 25 0 1 0 967009247 163405824 29936 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39894 29936 301 301 0 39593 0
vsize: 159576
[startup+690.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 76072 0 0 0 68821 186 0 0 25 0 1 0 967009247 244621312 41576 4294967295 134512640 135730672 3221224592 3221105440 134775564 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59722 41578 301 301 0 59421 0
vsize: 238888
[startup+700.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 86924 0 0 0 69797 210 0 0 25 0 1 0 967009247 237178880 45533 4294967295 134512640 135730672 3221224592 3221222672 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57905 45533 301 301 0 57604 0
vsize: 231620
[startup+710.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 87815 0 0 0 70795 213 0 0 25 0 1 0 967009247 237178880 45563 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57905 45563 301 301 0 57604 0
vsize: 231620
[startup+720.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 87933 0 0 0 71794 214 0 0 25 0 1 0 967009247 237436928 45615 4294967295 134512640 135730672 3221224592 3221222512 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57968 45615 301 301 0 57667 0
vsize: 231872
[startup+730.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 88021 0 0 0 72793 215 0 0 25 0 1 0 967009247 237842432 45703 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58067 45703 301 301 0 57766 0
vsize: 232268
[startup+740.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 88055 0 0 0 73793 215 0 0 25 0 1 0 967009247 237977600 45737 4294967295 134512640 135730672 3221224592 3221222812 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58100 45737 301 301 0 57799 0
vsize: 232400
[startup+750.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 88057 0 0 0 74792 216 0 0 25 0 1 0 967009247 237977600 45739 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58100 45739 301 301 0 57799 0
vsize: 232400
[startup+760.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 88748 0 0 0 75790 218 0 0 25 0 1 0 967009247 237977600 45740 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58100 45740 301 301 0 57799 0
vsize: 232400
[startup+770.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 88841 0 0 0 76790 219 0 0 25 0 1 0 967009247 238379008 45800 4294967295 134512640 135730672 3221224592 3221222816 134748255 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58198 45800 301 301 0 57897 0
vsize: 232792
[startup+780.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 88843 0 0 0 77789 219 0 0 25 0 1 0 967009247 238379008 45802 4294967295 134512640 135730672 3221224592 3221222688 134747534 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58198 45802 301 301 0 57897 0
vsize: 232792
[startup+790.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 89535 0 0 0 78788 221 0 0 25 0 1 0 967009247 238379008 45804 4294967295 134512640 135730672 3221224592 3221222512 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58198 45804 301 301 0 57897 0
vsize: 232792
[startup+800.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 89536 0 0 0 79788 221 0 0 25 0 1 0 967009247 238379008 45805 4294967295 134512640 135730672 3221224592 3221222784 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58198 45805 301 301 0 57897 0
vsize: 232792
[startup+810.024 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 89754 0 0 0 80787 222 0 0 25 0 1 0 967009247 239177728 45924 4294967295 134512640 135730672 3221224592 3221222880 134748565 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58393 45924 301 301 0 58092 0
vsize: 233572
[startup+820.024 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 89849 0 0 0 81786 223 0 0 25 0 1 0 967009247 239583232 46019 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58492 46019 301 301 0 58191 0
vsize: 233968
[startup+830.024 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 89951 0 0 0 82786 223 0 0 25 0 1 0 967009247 240115712 46121 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58622 46121 301 301 0 58321 0
vsize: 234488
[startup+840.024 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 89953 0 0 0 83786 223 0 0 25 0 1 0 967009247 240115712 46123 4294967295 134512640 135730672 3221224592 3221222512 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58622 46123 301 301 0 58321 0
vsize: 234488
[startup+850.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 89954 0 0 0 84786 224 0 0 25 0 1 0 967009247 240115712 46124 4294967295 134512640 135730672 3221224592 3221222512 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58622 46124 301 301 0 58321 0
vsize: 234488
[startup+860.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 90646 0 0 0 85785 225 0 0 25 0 1 0 967009247 242941952 46816 4294967295 134512640 135730672 3221224592 3221222328 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59312 46816 301 301 0 59011 0
vsize: 237248
[startup+870.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 90647 0 0 0 86785 226 0 0 25 0 1 0 967009247 240115712 46127 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58622 46127 301 301 0 58321 0
vsize: 234488
[startup+880.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 90649 0 0 0 87785 226 0 0 25 0 1 0 967009247 240115712 46129 4294967295 134512640 135730672 3221224592 3221222688 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58622 46129 301 301 0 58321 0
vsize: 234488
[startup+890.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 91340 0 0 0 88783 228 0 0 25 0 1 0 967009247 240115712 46130 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58622 46130 301 301 0 58321 0
vsize: 234488
[startup+900.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 91342 0 0 0 89782 228 0 0 25 0 1 0 967009247 240115712 46132 4294967295 134512640 135730672 3221224592 3221222688 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58622 46132 301 301 0 58321 0
vsize: 234488
[startup+910.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 91344 0 0 0 90783 228 0 0 25 0 1 0 967009247 240115712 46134 4294967295 134512640 135730672 3221224592 3221222688 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58622 46134 301 301 0 58321 0
vsize: 234488
[startup+920.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 92035 0 0 0 91781 230 0 0 25 0 1 0 967009247 240115712 46135 4294967295 134512640 135730672 3221224592 3221222688 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58622 46135 301 301 0 58321 0
vsize: 234488
[startup+930.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 92036 0 0 0 92781 230 0 0 25 0 1 0 967009247 240115712 46136 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58622 46136 301 301 0 58321 0
vsize: 234488
[startup+940.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 92038 0 0 0 93781 230 0 0 25 0 1 0 967009247 240115712 46138 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58622 46138 301 301 0 58321 0
vsize: 234488
[startup+950.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 92730 0 0 0 94780 231 0 0 25 0 1 0 967009247 240115712 46140 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58622 46140 301 301 0 58321 0
vsize: 234488
[startup+960.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 92731 0 0 0 95780 231 0 0 25 0 1 0 967009247 240115712 46141 4294967295 134512640 135730672 3221224592 3221222848 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58622 46141 301 301 0 58321 0
vsize: 234488
[startup+970.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 92733 0 0 0 96780 232 0 0 25 0 1 0 967009247 240115712 46143 4294967295 134512640 135730672 3221224592 3221222848 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58622 46143 301 301 0 58321 0
vsize: 234488
[startup+980.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 92735 0 0 0 97780 232 0 0 25 0 1 0 967009247 240115712 46145 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58622 46145 301 301 0 58321 0
vsize: 234488
[startup+990.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 93431 0 0 0 98778 234 0 0 25 0 1 0 967009247 240115712 46151 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58622 46151 301 301 0 58321 0
vsize: 234488
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 93495 0 0 0 99778 234 0 0 25 0 1 0 967009247 240246784 46182 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58654 46182 301 301 0 58353 0
vsize: 234616
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 93496 0 0 0 100778 234 0 0 25 0 1 0 967009247 240246784 46183 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58654 46183 301 301 0 58353 0
vsize: 234616
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 93498 0 0 0 101778 234 0 0 25 0 1 0 967009247 240246784 46185 4294967295 134512640 135730672 3221224592 3221222784 134764078 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58654 46185 301 301 0 58353 0
vsize: 234616
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 94189 0 0 0 102777 236 0 0 25 0 1 0 967009247 240246784 46186 4294967295 134512640 135730672 3221224592 3221222784 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58654 46186 301 301 0 58353 0
vsize: 234616
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 94191 0 0 0 103777 236 0 0 25 0 1 0 967009247 240246784 46188 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58654 46188 301 301 0 58353 0
vsize: 234616
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 94883 0 0 0 104775 238 0 0 25 0 1 0 967009247 240246784 46190 4294967295 134512640 135730672 3221224592 3221222880 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58654 46190 301 301 0 58353 0
vsize: 234616
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 94884 0 0 0 105775 238 0 0 25 0 1 0 967009247 240246784 46191 4294967295 134512640 135730672 3221224592 3221222688 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58654 46191 301 301 0 58353 0
vsize: 234616
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 94886 0 0 0 106775 239 0 0 25 0 1 0 967009247 240246784 46193 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58654 46193 301 301 0 58353 0
vsize: 234616
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 95578 0 0 0 107773 240 0 0 25 0 1 0 967009247 240246784 46195 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58654 46195 301 301 0 58353 0
vsize: 234616
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 95579 0 0 0 108773 241 0 0 25 0 1 0 967009247 240246784 46196 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58654 46196 301 301 0 58353 0
vsize: 234616
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 95581 0 0 0 109773 241 0 0 25 0 1 0 967009247 240246784 46198 4294967295 134512640 135730672 3221224592 3221222688 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58654 46198 301 301 0 58353 0
vsize: 234616
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 95582 0 0 0 110773 241 0 0 25 0 1 0 967009247 240246784 46199 4294967295 134512640 135730672 3221224592 3221222688 134747965 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58654 46199 301 301 0 58353 0
vsize: 234616
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 96274 0 0 0 111772 243 0 0 25 0 1 0 967009247 240246784 46201 4294967295 134512640 135730672 3221224592 3221222880 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58654 46201 301 301 0 58353 0
vsize: 234616
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 96275 0 0 0 112772 243 0 0 25 0 1 0 967009247 240246784 46202 4294967295 134512640 135730672 3221224592 3221222512 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58654 46202 301 301 0 58353 0
vsize: 234616
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 96967 0 0 0 113770 244 0 0 25 0 1 0 967009247 243073024 46894 4294967295 134512640 135730672 3221224592 3221222368 134772721 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59344 46894 301 301 0 59043 0
vsize: 237376
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 96968 0 0 0 114770 245 0 0 25 0 1 0 967009247 240246784 46205 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58654 46205 301 301 0 58353 0
vsize: 234616
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 96970 0 0 0 115770 245 0 0 25 0 1 0 967009247 240246784 46207 4294967295 134512640 135730672 3221224592 3221222688 134747701 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58654 46207 301 301 0 58353 0
vsize: 234616
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 96971 0 0 0 116770 245 0 0 25 0 1 0 967009247 240246784 46208 4294967295 134512640 135730672 3221224592 3221222736 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58654 46208 301 301 0 58353 0
vsize: 234616
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 97663 0 0 0 117768 247 0 0 25 0 1 0 967009247 240246784 46210 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58654 46210 301 301 0 58353 0
vsize: 234616
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 97664 0 0 0 118768 247 0 0 25 0 1 0 967009247 240246784 46211 4294967295 134512640 135730672 3221224592 3221222688 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58654 46211 301 301 0 58353 0
vsize: 234616
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2591
Raw data (stat): 2534 (pb2sat-v2) R 2533 31399 31398 0 -1 0 97666 0 0 0 119768 247 0 0 25 0 1 0 967009247 240246784 46213 4294967295 134512640 135730672 3221224592 3221222688 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58654 46213 301 301 0 58353 0
vsize: 234616
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.61 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 2591
Raw data (stat): 2534 (pb2sat-v2) Z 2533 31399 31398 0 -1 12 97668 0 0 0 119917 256 0 0 25 0 1 0 967009247 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 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.61
CPU time (s): 1201.74
CPU user time (s): 1199.17
CPU system time (s): 2.56961
CPU usage (%): 100.011
Max. virtual memory (Kb): 238888
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-2
#### END VERIFIER DATA ####