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-5.opb
MD5SUM	70070c820bc7d178cc8f33b42e0deead
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	28143
Number of constraints which are clauses	28143
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 42205

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 02:06:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25421 boxname=wulflinc3 idbench=323 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  70070c820bc7d178cc8f33b42e0deead  /oldhome/oroussel/tmp/wulflinc3/normalized-frb35-17-5.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-frb35-17-5.opb
IDLAUNCH: 25421
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        814504 kB
Buffers:         34048 kB
Cached:         164168 kB
SwapCached:        820 kB
Active:          47976 kB
Inactive:       152440 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        814252 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14024 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 02:26:39 (client local time) WITH STATUS 10 IN 1201.74 SECONDS
stats: 25421 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: 7928/174941	Time: 19.1721/86400
c Decision: 8005/174941	Time: 35.7636/86400
c Decision: 8038/174941	Time: 49.0055/86400
c Decision: 8111/174941	Time: 76.1294/86400
c Decision: 8111/174941	Time: 90.1543/86400
c Decision: 8111/174941	Time: 104.248/86400
c Decision: 8111/174941	Time: 119.407/86400
c Decision: 8111/174941	Time: 136.395/86400
c Decision: 8111/174941	Time: 150.095/86400
c Decision: 8111/174941	Time: 170.461/86400
c Decision: 8111/174941	Time: 184.741/86400
c Decision: 8111/174941	Time: 223.324/86400
c Decision: 8111/174941	Time: 264.633/86400
c Decision: 8111/174941	Time: 285.765/86400
c Decision: 8111/174941	Time: 329.913/86400
c Decision: 8111/174941	Time: 345.72/86400
c Decision: 8111/174941	Time: 360.867/86400
c Decision: 8111/174941	Time: 392.394/86400
c Decision: 8111/174941	Time: 420.765/86400
c Decision: 8111/174941	Time: 447.068/86400
c Decision: 8111/174941	Time: 491.41/86400
c Decision: 8111/174941	Time: 517.338/86400
c Decision: 8111/174941	Time: 536.938/86400
c Decision: 8111/174941	Time: 562.43/86400
c Decision: 8116/174941	Time: 616.195/86400
c Decision: 8116/174941	Time: 648.413/86400
c Decision: 8116/174941	Time: 664.147/86400
c Decision: 8116/174941	Time: 685.248/86400
c Decision: 8116/174941	Time: 706.189/86400
c Decision: 8116/174941	Time: 734.38/86400
c Decision: 8116/174941	Time: 759.365/86400
c Decision: 8116/174941	Time: 784.966/86400
c Decision: 8116/174941	Time: 807.514/86400
c trying from 512 to 594

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

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

c Decision: 216399/352851	Time: 64.1013/86400
c Decision: 217253/352851	Time: 119.676/86400
c Decision: 217253/352851	Time: 147.487/86400
c Decision: 217253/352851	Time: 174.179/86400
c Decision: 217253/352851	Time: 201.664/86400
c Decision: 217261/352851	Time: 228.374/86400
c Decision: 217261/352851	Time: 252.437/86400
c Decision: 217262/352851	Time: 291.145/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 2/54 14805
Raw data (stat): 14805 (runsolver) R 14804 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 967023970 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 14805
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 25968 0 0 0 943 56 0 0 25 0 1 0 967023970 84586496 15105 4294967295 134512640 135730672 3221224592 3221188864 134770183 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20651 15105 301 301 0 20350 0
vsize: 82604
[startup+20.0008 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 14805
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 28378 0 0 0 1937 61 0 0 25 0 1 0 967023970 91987968 17138 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22458 17138 301 301 0 22157 0
vsize: 89832
[startup+30.0017 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 14805
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 29010 0 0 0 2936 63 0 0 25 0 1 0 967023970 93061120 17428 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22720 17428 301 301 0 22419 0
vsize: 90880
[startup+40.0014 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 14805
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 30207 0 0 0 3932 67 0 0 25 0 1 0 967023970 96555008 18178 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23573 18178 301 301 0 23272 0
vsize: 94292
[startup+50.0013 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 14805
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 30687 0 0 0 4930 68 0 0 25 0 1 0 967023970 97095680 18316 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23705 18316 301 301 0 23404 0
vsize: 94820
[startup+60.0016 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 14805
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 31262 0 0 0 5928 70 0 0 25 0 1 0 967023970 97763328 18483 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23868 18483 301 301 0 23567 0
vsize: 95472
[startup+70.0023 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 14805
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 32366 0 0 0 6924 74 0 0 25 0 1 0 967023970 102772736 19440 4294967295 134512640 135730672 3221224592 3221222912 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25091 19440 301 301 0 24790 0
vsize: 100364
[startup+80.0028 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 14805
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 32912 0 0 0 7923 75 0 0 25 0 1 0 967023970 105254912 19920 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25697 19920 301 301 0 25396 0
vsize: 102788
[startup+90.0029 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 14805
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 33420 0 0 0 8922 76 0 0 25 0 1 0 967023970 105791488 20086 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25828 20086 301 301 0 25527 0
vsize: 103312
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14805
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 33515 0 0 0 9921 77 0 0 25 0 1 0 967023970 105922560 20148 4294967295 134512640 135730672 3221224592 3221222736 134741573 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25860 20148 301 301 0 25559 0
vsize: 103440
[startup+110.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14805
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 33880 0 0 0 10921 78 0 0 25 0 1 0 967023970 105922560 20171 4294967295 134512640 135730672 3221224592 3221222816 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25860 20171 301 301 0 25559 0
vsize: 103440
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14805
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 34249 0 0 0 11920 79 0 0 25 0 1 0 967023970 106057728 20198 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25893 20198 301 301 0 25592 0
vsize: 103572
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14805
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 34689 0 0 0 12919 80 0 0 25 0 1 0 967023970 106319872 20231 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25957 20232 301 301 0 25656 0
vsize: 103828
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14805
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 35294 0 0 0 13917 82 0 0 25 0 1 0 967023970 108650496 20605 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26526 20605 301 301 0 26225 0
vsize: 106104
[startup+150.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14805
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 35811 0 0 0 14915 84 0 0 25 0 1 0 967023970 109457408 20747 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26723 20747 301 301 0 26422 0
vsize: 106892
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14805
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 36157 0 0 0 15914 85 0 0 25 0 1 0 967023970 110858240 21093 4294967295 134512640 135730672 3221224592 3221222496 134768836 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27065 21093 301 301 0 26764 0
vsize: 108260
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 36480 0 0 0 16913 87 0 0 25 0 1 0 967023970 111067136 21008 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27116 21008 301 301 0 26815 0
vsize: 108464
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 37071 0 0 0 17912 88 0 0 25 0 1 0 967023970 112926720 21369 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27570 21369 301 301 0 27269 0
vsize: 110280
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 37451 0 0 0 18911 89 0 0 25 0 1 0 967023970 112926720 21407 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27570 21407 301 301 0 27269 0
vsize: 110280
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 38143 0 0 0 19910 90 0 0 25 0 1 0 967023970 113983488 21594 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27828 21594 301 301 0 27527 0
vsize: 111312
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 39395 0 0 0 20907 94 0 0 25 0 1 0 967023970 117403648 22127 4294967295 134512640 135730672 3221224592 3221222656 134739215 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28663 22127 301 301 0 28362 0
vsize: 114652
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 40090 0 0 0 21906 95 0 0 25 0 1 0 967023970 119382016 22528 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29146 22528 301 301 0 28845 0
vsize: 116584
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 40350 0 0 0 22905 96 0 0 25 0 1 0 967023970 120041472 22689 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29307 22689 301 301 0 29006 0
vsize: 117228
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 41594 0 0 0 23902 98 0 0 25 0 1 0 967023970 122814464 23102 4294967295 134512640 135730672 3221224592 3221222832 135282266 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29984 23102 301 301 0 29683 0
vsize: 119936
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 42762 0 0 0 24899 101 0 0 25 0 1 0 967023970 126509056 23651 4294967295 134512640 135730672 3221224592 3221222924 134747727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30886 23651 301 301 0 30585 0
vsize: 123544
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 43341 0 0 0 25898 102 0 0 25 0 1 0 967023970 128086016 23871 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31271 23871 301 301 0 30970 0
vsize: 125084
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 44255 0 0 0 26896 105 0 0 25 0 1 0 967023970 130846720 24199 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31945 24199 301 301 0 31644 0
vsize: 127780
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 44701 0 0 0 27895 106 0 0 25 0 1 0 967023970 131108864 24238 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32009 24238 301 301 0 31708 0
vsize: 128036
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 45069 0 0 0 28895 107 0 0 25 0 1 0 967023970 132030464 24443 4294967295 134512640 135730672 3221224592 3221222816 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32234 24443 301 301 0 31933 0
vsize: 128936
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 45452 0 0 0 29894 108 0 0 25 0 1 0 967023970 132030464 24484 4294967295 134512640 135730672 3221224592 3221222816 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32234 24484 301 301 0 31933 0
vsize: 128936
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 45997 0 0 0 30893 109 0 0 25 0 1 0 967023970 133484544 24866 4294967295 134512640 135730672 3221224592 3221222816 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32589 24866 301 301 0 32288 0
vsize: 130356
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 46421 0 0 0 31892 110 0 0 25 0 1 0 967023970 134803456 25094 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32911 25094 301 301 0 32610 0
vsize: 131644
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 46751 0 0 0 32891 111 0 0 25 0 1 0 967023970 135458816 25261 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33071 25261 301 301 0 32770 0
vsize: 132284
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 47568 0 0 0 33889 114 0 0 25 0 1 0 967023970 137912320 25850 4294967295 134512640 135730672 3221224592 3221222460 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33670 25850 301 301 0 33369 0
vsize: 134680
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 47785 0 0 0 34888 114 0 0 25 0 1 0 967023970 136773632 25660 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33392 25660 301 301 0 33091 0
vsize: 133568
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 48146 0 0 0 35887 115 0 0 25 0 1 0 967023970 136773632 25679 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33392 25679 301 301 0 33091 0
vsize: 133568
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 48148 0 0 0 36887 116 0 0 25 0 1 0 967023970 136773632 25681 4294967295 134512640 135730672 3221224592 3221222816 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33392 25681 301 301 0 33091 0
vsize: 133568
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 48590 0 0 0 37886 117 0 0 25 0 1 0 967023970 137175040 25748 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33490 25748 301 301 0 33189 0
vsize: 133960
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 48591 0 0 0 38886 117 0 0 25 0 1 0 967023970 137175040 25749 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33490 25749 301 301 0 33189 0
vsize: 133960
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 48594 0 0 0 39886 118 0 0 25 0 1 0 967023970 137175040 25752 4294967295 134512640 135730672 3221224592 3221223008 134748440 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33490 25752 301 301 0 33189 0
vsize: 133960
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 49248 0 0 0 40884 119 0 0 25 0 1 0 967023970 138231808 25934 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33748 25934 301 301 0 33447 0
vsize: 134992
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 49256 0 0 0 41884 119 0 0 25 0 1 0 967023970 138231808 25942 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33748 25942 301 301 0 33447 0
vsize: 134992
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 49259 0 0 0 42884 120 0 0 25 0 1 0 967023970 138231808 25945 4294967295 134512640 135730672 3221224592 3221222992 134748644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33748 25945 301 301 0 33447 0
vsize: 134992
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 49650 0 0 0 43883 121 0 0 25 0 1 0 967023970 138362880 25961 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33780 25961 301 301 0 33479 0
vsize: 135120
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 49651 0 0 0 44883 121 0 0 25 0 1 0 967023970 138362880 25962 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33780 25962 301 301 0 33479 0
vsize: 135120
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 50020 0 0 0 45882 122 0 0 25 0 1 0 967023970 138498048 25989 4294967295 134512640 135730672 3221224592 3221222816 134747892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33813 25989 301 301 0 33512 0
vsize: 135252
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 50093 0 0 0 46882 123 0 0 25 0 1 0 967023970 138764288 26029 4294967295 134512640 135730672 3221224592 3221222816 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33878 26029 301 301 0 33577 0
vsize: 135512
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 50264 0 0 0 47881 123 0 0 25 0 1 0 967023970 139288576 26070 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34006 26070 301 301 0 33705 0
vsize: 136024
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 50306 0 0 0 48881 124 0 0 25 0 1 0 967023970 139419648 26079 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34038 26079 301 301 0 33737 0
vsize: 136152
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 50439 0 0 0 49880 125 0 0 25 0 1 0 967023970 139812864 26114 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34134 26114 301 301 0 33833 0
vsize: 136536
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 50842 0 0 0 50879 125 0 0 25 0 1 0 967023970 139943936 26142 4294967295 134512640 135730672 3221224592 3221223008 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34166 26142 301 301 0 33865 0
vsize: 136664
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 50843 0 0 0 51879 126 0 0 25 0 1 0 967023970 139943936 26143 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34166 26143 301 301 0 33865 0
vsize: 136664
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 51187 0 0 0 52878 127 0 0 25 0 1 0 967023970 139943936 26145 4294967295 134512640 135730672 3221224592 3221222816 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34166 26145 301 301 0 33865 0
vsize: 136664
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 51190 0 0 0 53878 127 0 0 25 0 1 0 967023970 139943936 26148 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34166 26148 301 301 0 33865 0
vsize: 136664
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 51533 0 0 0 54878 128 0 0 25 0 1 0 967023970 139943936 26149 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34166 26149 301 301 0 33865 0
vsize: 136664
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 51546 0 0 0 55878 128 0 0 25 0 1 0 967023970 139943936 26162 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34166 26162 301 301 0 33865 0
vsize: 136664
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 51548 0 0 0 56878 128 0 0 25 0 1 0 967023970 139943936 26164 4294967295 134512640 135730672 3221224592 3221223008 134748446 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34166 26164 301 301 0 33865 0
vsize: 136664
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 51892 0 0 0 57877 130 0 0 25 0 1 0 967023970 139943936 26166 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34166 26166 301 301 0 33865 0
vsize: 136664
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 51894 0 0 0 58876 130 0 0 25 0 1 0 967023970 139943936 26168 4294967295 134512640 135730672 3221224592 3221222944 134748158 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34166 26168 301 301 0 33865 0
vsize: 136664
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 51914 0 0 0 59876 131 0 0 25 0 1 0 967023970 140079104 26188 4294967295 134512640 135730672 3221224592 3221222816 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34199 26188 301 301 0 33898 0
vsize: 136796
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 51915 0 0 0 60876 131 0 0 25 0 1 0 967023970 140079104 26189 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34199 26189 301 301 0 33898 0
vsize: 136796
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 51916 0 0 0 61876 131 0 0 25 0 1 0 967023970 140079104 26190 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34199 26190 301 301 0 33898 0
vsize: 136796
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 52259 0 0 0 62874 133 0 0 25 0 1 0 967023970 140079104 26191 4294967295 134512640 135730672 3221224592 3221222912 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34199 26191 301 301 0 33898 0
vsize: 136796
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 52302 0 0 0 63874 133 0 0 25 0 1 0 967023970 140079104 26234 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34199 26234 301 301 0 33898 0
vsize: 136796
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 52356 0 0 0 64874 134 0 0 25 0 1 0 967023970 140079104 26288 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34199 26288 301 301 0 33898 0
vsize: 136796
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 52699 0 0 0 65873 135 0 0 25 0 1 0 967023970 140079104 26289 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34199 26289 301 301 0 33898 0
vsize: 136796
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 52702 0 0 0 66873 135 0 0 25 0 1 0 967023970 140079104 26292 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34199 26292 301 301 0 33898 0
vsize: 136796
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 53046 0 0 0 67873 135 0 0 25 0 1 0 967023970 140079104 26294 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34199 26294 301 301 0 33898 0
vsize: 136796
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 53048 0 0 0 68873 136 0 0 25 0 1 0 967023970 140079104 26296 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34199 26296 301 301 0 33898 0
vsize: 136796
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 53392 0 0 0 69872 137 0 0 25 0 1 0 967023970 140079104 26298 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34199 26298 301 301 0 33898 0
vsize: 136796
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 53395 0 0 0 70872 137 0 0 25 0 1 0 967023970 140079104 26301 4294967295 134512640 135730672 3221224592 3221222816 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34199 26301 301 301 0 33898 0
vsize: 136796
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 53747 0 0 0 71871 137 0 0 25 0 1 0 967023970 140079104 26311 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34199 26311 301 301 0 33898 0
vsize: 136796
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 53872 0 0 0 72871 138 0 0 25 0 1 0 967023970 140476416 26370 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34296 26370 301 301 0 33995 0
vsize: 137184
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 53885 0 0 0 73871 138 0 0 25 0 1 0 967023970 140476416 26383 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34296 26383 301 301 0 33995 0
vsize: 137184
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 54241 0 0 0 74870 139 0 0 25 0 1 0 967023970 140476416 26397 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34296 26397 301 301 0 33995 0
vsize: 137184
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 54258 0 0 0 75870 140 0 0 25 0 1 0 967023970 140476416 26414 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34296 26414 301 301 0 33995 0
vsize: 137184
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 54611 0 0 0 76869 141 0 0 25 0 1 0 967023970 140476416 26425 4294967295 134512640 135730672 3221224592 3221222912 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34296 26425 301 301 0 33995 0
vsize: 137184
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 54613 0 0 0 77869 141 0 0 25 0 1 0 967023970 140476416 26427 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34296 26427 301 301 0 33995 0
vsize: 137184
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 54615 0 0 0 78869 141 0 0 25 0 1 0 967023970 140476416 26429 4294967295 134512640 135730672 3221224592 3221222816 134747892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34296 26429 301 301 0 33995 0
vsize: 137184
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 54958 0 0 0 79868 142 0 0 25 0 1 0 967023970 140476416 26430 4294967295 134512640 135730672 3221224592 3221222816 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34296 26430 301 301 0 33995 0
vsize: 137184
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 54960 0 0 0 80869 142 0 0 25 0 1 0 967023970 140476416 26432 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34296 26432 301 301 0 33995 0
vsize: 137184
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 55309 0 0 0 81868 143 0 0 25 0 1 0 967023970 140476416 26439 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34296 26439 301 301 0 33995 0
vsize: 137184
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 55330 0 0 0 82868 143 0 0 25 0 1 0 967023970 140611584 26460 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34329 26460 301 301 0 34028 0
vsize: 137316
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 55331 0 0 0 83868 143 0 0 25 0 1 0 967023970 140611584 26461 4294967295 134512640 135730672 3221224592 3221222816 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34329 26461 301 301 0 34028 0
vsize: 137316
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 55479 0 0 0 84868 143 0 0 25 0 1 0 967023970 141135872 26480 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34457 26480 301 301 0 34156 0
vsize: 137828
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 55480 0 0 0 85868 144 0 0 25 0 1 0 967023970 141135872 26481 4294967295 134512640 135730672 3221224592 3221222816 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34457 26481 301 301 0 34156 0
vsize: 137828
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 60607 0 0 0 86855 157 0 0 25 0 1 0 967023970 158289920 31494 4294967295 134512640 135730672 3221224592 3221080840 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38645 31494 301 301 0 38344 0
vsize: 154580
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 83538 0 0 0 87806 206 0 0 25 0 1 0 967023970 215093248 42181 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52513 42181 301 301 0 52212 0
vsize: 210052
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 84928 0 0 0 88803 209 0 0 25 0 1 0 967023970 217194496 42483 4294967295 134512640 135730672 3221224592 3221222688 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53026 42483 301 301 0 52725 0
vsize: 212104
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 85832 0 0 0 89800 211 0 0 25 0 1 0 967023970 217194496 42526 4294967295 134512640 135730672 3221224592 3221222812 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53026 42526 301 301 0 52725 0
vsize: 212104
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 85832 0 0 0 90798 214 0 0 25 0 1 0 967023970 217194496 42526 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53026 42526 301 301 0 52725 0
vsize: 212104
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 85969 0 0 0 91797 215 0 0 25 0 1 0 967023970 218009600 42663 4294967295 134512640 135730672 3221224592 3221222640 134730415 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53225 42663 301 301 0 52924 0
vsize: 212900
[startup+930.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 85971 0 0 0 92797 215 0 0 25 0 1 0 967023970 218009600 42665 4294967295 134512640 135730672 3221224592 3221222848 134734780 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53225 42665 301 301 0 52924 0
vsize: 212900
[startup+940.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 85973 0 0 0 93797 216 0 0 25 0 1 0 967023970 218009600 42667 4294967295 134512640 135730672 3221224592 3221222524 134739224 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53225 42667 301 301 0 52924 0
vsize: 212900
[startup+950.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 86953 0 0 0 94795 218 0 0 25 0 1 0 967023970 221196288 43188 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54003 43188 301 301 0 53702 0
vsize: 216012
[startup+960.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 87776 0 0 0 95793 220 0 0 25 0 1 0 967023970 221995008 43321 4294967295 134512640 135730672 3221224592 3221222528 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54198 43321 301 301 0 53897 0
vsize: 216792
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 88259 0 0 0 96792 221 0 0 25 0 1 0 967023970 224124928 43705 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54718 43705 301 301 0 54417 0
vsize: 218872
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 88444 0 0 0 97791 222 0 0 25 0 1 0 967023970 224657408 43824 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43824 301 301 0 54547 0
vsize: 219392
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 88445 0 0 0 98791 222 0 0 25 0 1 0 967023970 224657408 43825 4294967295 134512640 135730672 3221224592 3221222688 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43825 301 301 0 54547 0
vsize: 219392
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 88447 0 0 0 99791 222 0 0 25 0 1 0 967023970 224657408 43827 4294967295 134512640 135730672 3221224592 3221222848 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43827 301 301 0 54547 0
vsize: 219392
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 88448 0 0 0 100791 222 0 0 25 0 1 0 967023970 224657408 43828 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43828 301 301 0 54547 0
vsize: 219392
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 89140 0 0 0 101790 224 0 0 25 0 1 0 967023970 224657408 43830 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43830 301 301 0 54547 0
vsize: 219392
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 89141 0 0 0 102790 224 0 0 25 0 1 0 967023970 224657408 43831 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43831 301 301 0 54547 0
vsize: 219392
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 89832 0 0 0 103788 226 0 0 25 0 1 0 967023970 224657408 43832 4294967295 134512640 135730672 3221224592 3221222688 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43832 301 301 0 54547 0
vsize: 219392
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 89834 0 0 0 104788 226 0 0 25 0 1 0 967023970 224657408 43834 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43834 301 301 0 54547 0
vsize: 219392
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 89836 0 0 0 105788 226 0 0 25 0 1 0 967023970 224657408 43836 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43836 301 301 0 54547 0
vsize: 219392
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 90527 0 0 0 106786 228 0 0 25 0 1 0 967023970 224657408 43837 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43837 301 301 0 54547 0
vsize: 219392
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 90528 0 0 0 107787 228 0 0 25 0 1 0 967023970 224657408 43838 4294967295 134512640 135730672 3221224592 3221222784 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43838 301 301 0 54547 0
vsize: 219392
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 90530 0 0 0 108787 228 0 0 25 0 1 0 967023970 224657408 43840 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43840 301 301 0 54547 0
vsize: 219392
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 91222 0 0 0 109785 230 0 0 25 0 1 0 967023970 224657408 43842 4294967295 134512640 135730672 3221224592 3221222784 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43842 301 301 0 54547 0
vsize: 219392
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 91223 0 0 0 110785 230 0 0 25 0 1 0 967023970 224657408 43843 4294967295 134512640 135730672 3221224592 3221222848 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43843 301 301 0 54547 0
vsize: 219392
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 91915 0 0 0 111784 232 0 0 25 0 1 0 967023970 224657408 43845 4294967295 134512640 135730672 3221224592 3221222732 135301642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43845 301 301 0 54547 0
vsize: 219392
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 91916 0 0 0 112783 232 0 0 25 0 1 0 967023970 224657408 43846 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43846 301 301 0 54547 0
vsize: 219392
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 91918 0 0 0 113783 233 0 0 25 0 1 0 967023970 224657408 43848 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43848 301 301 0 54547 0
vsize: 219392
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 92610 0 0 0 114782 234 0 0 25 0 1 0 967023970 224657408 43850 4294967295 134512640 135730672 3221224592 3221222848 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43850 301 301 0 54547 0
vsize: 219392
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 92611 0 0 0 115782 235 0 0 25 0 1 0 967023970 224657408 43851 4294967295 134512640 135730672 3221224592 3221222688 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43851 301 301 0 54547 0
vsize: 219392
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 92612 0 0 0 116782 235 0 0 25 0 1 0 967023970 224657408 43852 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43852 301 301 0 54547 0
vsize: 219392
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 92614 0 0 0 117782 235 0 0 25 0 1 0 967023970 224657408 43854 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43854 301 301 0 54547 0
vsize: 219392
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 93305 0 0 0 118781 236 0 0 25 0 1 0 967023970 224657408 43855 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43855 301 301 0 54547 0
vsize: 219392
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14807
Raw data (stat): 14805 (pb2sat-v2) R 14804 20224 20223 0 -1 0 93307 0 0 0 119780 237 0 0 25 0 1 0 967023970 224657408 43857 4294967295 134512640 135730672 3221224592 3221222784 134763576 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54848 43857 301 301 0 54547 0
vsize: 219392
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.59 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 14807
Raw data (stat): 14805 (pb2sat-v2) Z 14804 20224 20223 0 -1 12 93309 0 0 0 119927 246 0 0 25 0 1 0 967023970 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.59
CPU time (s): 1201.74
CPU user time (s): 1199.28
CPU system time (s): 2.46462
CPU usage (%): 100.013
Max. virtual memory (Kb): 219392
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-4
#### END VERIFIER DATA ####