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-3.opb
MD5SUM	25457db86ce3cc3b7604dfa37c8096b4
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	27931
Number of constraints which are clauses	27931
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 42203

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 02:02:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25419 boxname=wulflinc5 idbench=321 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  25457db86ce3cc3b7604dfa37c8096b4  /oldhome/oroussel/tmp/wulflinc5/normalized-frb35-17-3.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-frb35-17-3.opb
IDLAUNCH: 25419
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        811664 kB
Buffers:         34308 kB
Cached:         165728 kB
SwapCached:        700 kB
Active:          73392 kB
Inactive:       128828 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        811412 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15040 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 02:22:55 (client local time) WITH STATUS 10 IN 1201.76 SECONDS
stats: 25419 0 1201.76 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: 2362/174941	Time: 19.2091/86400
c Decision: 9494/174941	Time: 41.5877/86400
c Decision: 10565/174941	Time: 83.3963/86400
c Decision: 10565/174941	Time: 107.146/86400
c Decision: 10565/174941	Time: 120.033/86400
c Decision: 10565/174941	Time: 135.639/86400
c Decision: 19150/174941	Time: 168.335/86400
c Decision: 40449/174941	Time: 225.871/86400
c Decision: 40449/174941	Time: 262.654/86400
c Decision: 40449/174941	Time: 298.39/86400
c Decision: 40449/174941	Time: 324.373/86400
c Decision: 40449/174941	Time: 346.406/86400
c Decision: 44507/174941	Time: 380.124/86400
c Decision: 44507/174941	Time: 395.637/86400
c Decision: 45505/174941	Time: 417.037/86400
c Decision: 45914/174941	Time: 453.44/86400
c Decision: 45914/174941	Time: 471.116/86400
c Decision: 45914/174941	Time: 490.889/86400
c Decision: 45914/174941	Time: 524.844/86400
c Decision: 45914/174941	Time: 542.182/86400
c Decision: 45914/174941	Time: 558.836/86400
c Decision: 45914/174941	Time: 576.799/86400
c Decision: 45951/174941	Time: 602.904/86400
c Decision: 45951/174941	Time: 621.497/86400
c Decision: 45951/174941	Time: 640.643/86400
c Decision: 45951/174941	Time: 662.061/86400
c Decision: 45951/174941	Time: 681.968/86400
c Decision: 45951/174941	Time: 706.635/86400
c Decision: 45951/174941	Time: 727.979/86400
c Decision: 45951/174941	Time: 748.225/86400
c Decision: 45951/174941	Time: 775.161/86400
c Decision: 45951/174941	Time: 801.183/86400
c Decision: 45951/174941	Time: 825.65/86400
c trying from 512 to 594

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

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

c Decision: 227304/352851	Time: 72.9879/86400
c Decision: 227304/352851	Time: 96.2584/86400
c Decision: 228490/352851	Time: 149.475/86400
c Decision: 228490/352851	Time: 175.877/86400
c Decision: 228491/352851	Time: 206.051/86400
c Decision: 228491/352851	Time: 234.657/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.92 0.96 0.91 1/54 7426
Raw data (stat): 7426 (runsolver) R 7425 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 967010714 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.0014 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 7426
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 25805 0 0 0 942 56 0 0 25 0 1 0 967010714 84586496 14945 4294967295 134512640 135730672 3221224592 3221187340 135301642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20651 14946 301 301 0 20350 0
vsize: 82604
[startup+20.0019 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 7479
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 28722 0 0 0 1935 64 0 0 25 0 1 0 967010714 94003200 17510 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22950 17510 301 301 0 22649 0
vsize: 91800
[startup+30.0017 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 7479
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 29341 0 0 0 2933 66 0 0 25 0 1 0 967010714 95141888 17787 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23228 17787 301 301 0 22927 0
vsize: 92912
[startup+40.0023 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 7479
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 30505 0 0 0 3930 69 0 0 25 0 1 0 967010714 100376576 18763 4294967295 134512640 135730672 3221224592 3221222656 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24506 18763 301 301 0 24205 0
vsize: 98024
[startup+50.003 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 7479
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 31246 0 0 0 4928 71 0 0 25 0 1 0 967010714 103329792 19339 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25227 19339 301 301 0 24926 0
vsize: 100908
[startup+60.0039 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 7479
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 32918 0 0 0 5924 75 0 0 25 0 1 0 967010714 107343872 20179 4294967295 134512640 135730672 3221224592 3221222816 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26207 20179 301 301 0 25906 0
vsize: 104828
[startup+70.005 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 7479
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 34580 0 0 0 6919 80 0 0 25 0 1 0 967010714 113819648 21319 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27788 21319 301 301 0 27487 0
vsize: 111152
[startup+80.0052 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 7479
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 35834 0 0 0 7915 84 0 0 25 0 1 0 967010714 118050816 21986 4294967295 134512640 135730672 3221224592 3221223008 134748452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28821 21986 301 301 0 28520 0
vsize: 115284
[startup+90.006 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 36548 0 0 0 8914 85 0 0 25 0 1 0 967010714 120160256 22340 4294967295 134512640 135730672 3221224592 3221222816 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29336 22340 301 301 0 29035 0
vsize: 117344
[startup+100.006 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 37884 0 0 0 9910 89 0 0 25 0 1 0 967010714 123752448 22909 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30213 22909 301 301 0 29912 0
vsize: 120852
[startup+110.006 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 38212 0 0 0 10909 90 0 0 25 0 1 0 967010714 125087744 23139 4294967295 134512640 135730672 3221224592 3221222816 134747452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30539 23139 301 301 0 30238 0
vsize: 122156
[startup+120.007 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 39542 0 0 0 11906 93 0 0 25 0 1 0 967010714 128258048 23736 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31313 23736 301 301 0 31012 0
vsize: 125252
[startup+130.007 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 39621 0 0 0 12905 94 0 0 25 0 1 0 967010714 128528384 23815 4294967295 134512640 135730672 3221224592 3221222736 134741561 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31379 23815 301 301 0 31078 0
vsize: 125516
[startup+140.008 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 40221 0 0 0 13903 96 0 0 25 0 1 0 967010714 129318912 23941 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31572 23941 301 301 0 31271 0
vsize: 126288
[startup+150.008 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 40641 0 0 0 14902 97 0 0 25 0 1 0 967010714 129585152 24019 4294967295 134512640 135730672 3221224592 3221222816 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31637 24019 301 301 0 31336 0
vsize: 126548
[startup+160.009 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 40696 0 0 0 15902 98 0 0 25 0 1 0 967010714 129716224 24041 4294967295 134512640 135730672 3221224592 3221222976 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31669 24041 301 301 0 31368 0
vsize: 126676
[startup+170.01 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 40781 0 0 0 16902 98 0 0 25 0 1 0 967010714 129982464 24093 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31734 24093 301 301 0 31433 0
vsize: 126936
[startup+180.01 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 41216 0 0 0 17900 100 0 0 25 0 1 0 967010714 130248704 24153 4294967295 134512640 135730672 3221224592 3221222940 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31799 24153 301 301 0 31498 0
vsize: 127196
[startup+190.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 41535 0 0 0 18898 102 0 0 25 0 1 0 967010714 131440640 24373 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32090 24373 301 301 0 31789 0
vsize: 128360
[startup+200.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 41937 0 0 0 19897 103 0 0 25 0 1 0 967010714 132898816 24676 4294967295 134512640 135730672 3221224592 3221222816 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32446 24676 301 301 0 32145 0
vsize: 129784
[startup+210.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 42193 0 0 0 20897 104 0 0 25 0 1 0 967010714 134094848 24899 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32738 24899 301 301 0 32437 0
vsize: 130952
[startup+220.013 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 42254 0 0 0 21897 104 0 0 25 0 1 0 967010714 134225920 24927 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32770 24927 301 301 0 32469 0
vsize: 131080
[startup+230.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 42271 0 0 0 22897 104 0 0 25 0 1 0 967010714 134225920 24944 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32770 24944 301 301 0 32469 0
vsize: 131080
[startup+240.013 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 42653 0 0 0 23896 105 0 0 25 0 1 0 967010714 134492160 24984 4294967295 134512640 135730672 3221224592 3221222816 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32835 24984 301 301 0 32534 0
vsize: 131340
[startup+250.013 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 43661 0 0 0 24894 107 0 0 25 0 1 0 967010714 137908224 25535 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33669 25535 301 301 0 33368 0
vsize: 134676
[startup+260.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 44134 0 0 0 25894 108 0 0 25 0 1 0 967010714 138956800 25748 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33925 25748 301 301 0 33624 0
vsize: 135700
[startup+270.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 44255 0 0 0 26894 109 0 0 25 0 1 0 967010714 139218944 25803 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33989 25803 301 301 0 33688 0
vsize: 135956
[startup+280.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 45222 0 0 0 27891 112 0 0 25 0 1 0 967010714 141193216 26070 4294967295 134512640 135730672 3221224592 3221222816 134747930 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34471 26070 301 301 0 34170 0
vsize: 137884
[startup+290.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 45498 0 0 0 28891 112 0 0 25 0 1 0 967010714 142249984 26216 4294967295 134512640 135730672 3221224592 3221222816 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34729 26216 301 301 0 34428 0
vsize: 138916
[startup+300.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 45697 0 0 0 29890 113 0 0 25 0 1 0 967010714 143044608 26350 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34923 26350 301 301 0 34622 0
vsize: 139692
[startup+310.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 46247 0 0 0 30888 115 0 0 25 0 1 0 967010714 143839232 26493 4294967295 134512640 135730672 3221224592 3221222816 134747930 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35117 26493 301 301 0 34816 0
vsize: 140468
[startup+320.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7481
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 46322 0 0 0 31888 115 0 0 25 0 1 0 967010714 144105472 26568 4294967295 134512640 135730672 3221224592 3221222912 134747724 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35182 26568 301 301 0 34881 0
vsize: 140728
[startup+330.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 46418 0 0 0 32888 116 0 0 25 0 1 0 967010714 144236544 26631 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35214 26631 301 301 0 34913 0
vsize: 140856
[startup+340.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 46765 0 0 0 33887 116 0 0 25 0 1 0 967010714 144236544 26636 4294967295 134512640 135730672 3221224592 3221222656 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35214 26636 301 301 0 34913 0
vsize: 140856
[startup+350.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 46767 0 0 0 34886 117 0 0 25 0 1 0 967010714 144236544 26638 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35214 26638 301 301 0 34913 0
vsize: 140856
[startup+360.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 47111 0 0 0 35885 117 0 0 25 0 1 0 967010714 144236544 26640 4294967295 134512640 135730672 3221224592 3221222944 134748114 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35214 26640 301 301 0 34913 0
vsize: 140856
[startup+370.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 47382 0 0 0 36885 118 0 0 25 0 1 0 967010714 144891904 26748 4294967295 134512640 135730672 3221224592 3221222816 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35374 26748 301 301 0 35073 0
vsize: 141496
[startup+380.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 47384 0 0 0 37884 119 0 0 25 0 1 0 967010714 144891904 26750 4294967295 134512640 135730672 3221224592 3221222864 134740279 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35374 26750 301 301 0 35073 0
vsize: 141496
[startup+390.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 47386 0 0 0 38884 119 0 0 25 0 1 0 967010714 144891904 26752 4294967295 134512640 135730672 3221224592 3221222832 134746079 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35374 26752 301 301 0 35073 0
vsize: 141496
[startup+400.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 47741 0 0 0 39883 120 0 0 25 0 1 0 967010714 144891904 26765 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35374 26765 301 301 0 35073 0
vsize: 141496
[startup+410.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 48101 0 0 0 40882 122 0 0 25 0 1 0 967010714 144891904 26783 4294967295 134512640 135730672 3221224592 3221222816 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35374 26783 301 301 0 35073 0
vsize: 141496
[startup+420.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 48163 0 0 0 41882 122 0 0 25 0 1 0 967010714 145158144 26845 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35439 26845 301 301 0 35138 0
vsize: 141756
[startup+430.018 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 48522 0 0 0 42881 123 0 0 25 0 1 0 967010714 145158144 26862 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35439 26862 301 301 0 35138 0
vsize: 141756
[startup+440.018 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 48539 0 0 0 43881 124 0 0 25 0 1 0 967010714 145158144 26879 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35439 26879 301 301 0 35138 0
vsize: 141756
[startup+450.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 48544 0 0 0 44881 124 0 0 25 0 1 0 967010714 145158144 26884 4294967295 134512640 135730672 3221224592 3221222816 134747644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35439 26884 301 301 0 35138 0
vsize: 141756
[startup+460.018 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 48567 0 0 0 45880 124 0 0 25 0 1 0 967010714 145158144 26907 4294967295 134512640 135730672 3221224592 3221222816 134747644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35439 26907 301 301 0 35138 0
vsize: 141756
[startup+470.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 48915 0 0 0 46880 125 0 0 25 0 1 0 967010714 145158144 26913 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35439 26913 301 301 0 35138 0
vsize: 141756
[startup+480.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 48917 0 0 0 47880 125 0 0 25 0 1 0 967010714 145158144 26915 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35439 26915 301 301 0 35138 0
vsize: 141756
[startup+490.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 49272 0 0 0 48879 126 0 0 25 0 1 0 967010714 145158144 26928 4294967295 134512640 135730672 3221224592 3221222640 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35439 26928 301 301 0 35138 0
vsize: 141756
[startup+500.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 49278 0 0 0 49879 126 0 0 25 0 1 0 967010714 145158144 26934 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35439 26934 301 301 0 35138 0
vsize: 141756
[startup+510.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 49779 0 0 0 50878 128 0 0 25 0 1 0 967010714 145551360 26995 4294967295 134512640 135730672 3221224592 3221222976 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35535 26995 301 301 0 35234 0
vsize: 142140
[startup+520.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 49787 0 0 0 51878 128 0 0 25 0 1 0 967010714 145551360 27003 4294967295 134512640 135730672 3221224592 3221222816 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35535 27003 301 301 0 35234 0
vsize: 142140
[startup+530.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 49950 0 0 0 52878 128 0 0 25 0 1 0 967010714 146075648 27036 4294967295 134512640 135730672 3221224592 3221222832 135282429 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35663 27036 301 301 0 35362 0
vsize: 142652
[startup+540.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 50312 0 0 0 53877 129 0 0 25 0 1 0 967010714 146075648 27056 4294967295 134512640 135730672 3221224592 3221222944 134748204 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35663 27056 301 301 0 35362 0
vsize: 142652
[startup+550.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 50336 0 0 0 54877 130 0 0 25 0 1 0 967010714 146075648 27080 4294967295 134512640 135730672 3221224592 3221222944 134748106 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35663 27080 301 301 0 35362 0
vsize: 142652
[startup+560.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 50691 0 0 0 55876 131 0 0 25 0 1 0 967010714 146075648 27093 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35663 27093 301 301 0 35362 0
vsize: 142652
[startup+570.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 51049 0 0 0 56875 132 0 0 25 0 1 0 967010714 146075648 27109 4294967295 134512640 135730672 3221224592 3221223008 134748480 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35663 27109 301 301 0 35362 0
vsize: 142652
[startup+580.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 51052 0 0 0 57875 132 0 0 25 0 1 0 967010714 146075648 27112 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35663 27112 301 301 0 35362 0
vsize: 142652
[startup+590.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 51400 0 0 0 58875 133 0 0 25 0 1 0 967010714 146075648 27118 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35663 27118 301 301 0 35362 0
vsize: 142652
[startup+600.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 51403 0 0 0 59875 133 0 0 25 0 1 0 967010714 146075648 27121 4294967295 134512640 135730672 3221224592 3221222864 134740208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35663 27121 301 301 0 35362 0
vsize: 142652
[startup+610.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 51422 0 0 0 60875 133 0 0 25 0 1 0 967010714 146075648 27140 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35663 27140 301 301 0 35362 0
vsize: 142652
[startup+620.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 51791 0 0 0 61874 134 0 0 25 0 1 0 967010714 146075648 27167 4294967295 134512640 135730672 3221224592 3221223008 134748549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35663 27167 301 301 0 35362 0
vsize: 142652
[startup+630.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 51819 0 0 0 62874 134 0 0 25 0 1 0 967010714 146075648 27195 4294967295 134512640 135730672 3221224592 3221222816 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35663 27195 301 301 0 35362 0
vsize: 142652
[startup+640.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 52184 0 0 0 63873 135 0 0 25 0 1 0 967010714 146075648 27218 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35663 27218 301 301 0 35362 0
vsize: 142652
[startup+650.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 52205 0 0 0 64873 136 0 0 25 0 1 0 967010714 146075648 27239 4294967295 134512640 135730672 3221224592 3221222568 135285390 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35663 27239 301 301 0 35362 0
vsize: 142652
[startup+660.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 52571 0 0 0 65872 137 0 0 25 0 1 0 967010714 146075648 27263 4294967295 134512640 135730672 3221224592 3221222944 134748101 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35663 27263 301 301 0 35362 0
vsize: 142652
[startup+670.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 52595 0 0 0 66872 137 0 0 25 0 1 0 967010714 146075648 27287 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35663 27287 301 301 0 35362 0
vsize: 142652
[startup+680.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 52940 0 0 0 67871 138 0 0 25 0 1 0 967010714 146075648 27290 4294967295 134512640 135730672 3221224592 3221222652 134739224 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35663 27290 301 301 0 35362 0
vsize: 142652
[startup+690.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 52942 0 0 0 68871 138 0 0 25 0 1 0 967010714 146075648 27292 4294967295 134512640 135730672 3221224592 3221223008 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35663 27292 301 301 0 35362 0
vsize: 142652
[startup+700.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 53286 0 0 0 69870 139 0 0 25 0 1 0 967010714 146075648 27294 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35663 27294 301 301 0 35362 0
vsize: 142652
[startup+710.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 53393 0 0 0 70870 140 0 0 25 0 1 0 967010714 146337792 27336 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35727 27336 301 301 0 35426 0
vsize: 142908
[startup+720.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 53736 0 0 0 71870 140 0 0 25 0 1 0 967010714 146337792 27337 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35727 27337 301 301 0 35426 0
vsize: 142908
[startup+730.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 53738 0 0 0 72869 141 0 0 25 0 1 0 967010714 146337792 27339 4294967295 134512640 135730672 3221224592 3221222924 134747440 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35727 27339 301 301 0 35426 0
vsize: 142908
[startup+740.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 54083 0 0 0 73869 142 0 0 25 0 1 0 967010714 146337792 27342 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35727 27342 301 301 0 35426 0
vsize: 142908
[startup+750.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 54086 0 0 0 74869 142 0 0 25 0 1 0 967010714 146337792 27345 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35727 27345 301 301 0 35426 0
vsize: 142908
[startup+760.029 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 54435 0 0 0 75868 143 0 0 25 0 1 0 967010714 146337792 27352 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35727 27352 301 301 0 35426 0
vsize: 142908
[startup+770.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 54437 0 0 0 76868 143 0 0 25 0 1 0 967010714 146337792 27354 4294967295 134512640 135730672 3221224592 3221222912 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35727 27354 301 301 0 35426 0
vsize: 142908
[startup+780.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 54448 0 0 0 77868 143 0 0 25 0 1 0 967010714 146337792 27365 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35727 27365 301 301 0 35426 0
vsize: 142908
[startup+790.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 54795 0 0 0 78867 145 0 0 25 0 1 0 967010714 146337792 27370 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35727 27370 301 301 0 35426 0
vsize: 142908
[startup+800.031 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 54797 0 0 0 79867 145 0 0 25 0 1 0 967010714 146337792 27372 4294967295 134512640 135730672 3221224592 3221222816 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35727 27372 301 301 0 35426 0
vsize: 142908
[startup+810.031 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 54798 0 0 0 80867 145 0 0 25 0 1 0 967010714 146337792 27373 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35727 27373 301 301 0 35426 0
vsize: 142908
[startup+820.032 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 55142 0 0 0 81866 146 0 0 25 0 1 0 967010714 146337792 27375 4294967295 134512640 135730672 3221224592 3221223008 134748455 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35727 27375 301 301 0 35426 0
vsize: 142908
[startup+830.032 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 55150 0 0 0 82867 146 0 0 25 0 1 0 967010714 146337792 27383 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35727 27383 301 301 0 35426 0
vsize: 142908
[startup+840.032 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 55507 0 0 0 83866 147 0 0 25 0 1 0 967010714 146337792 27398 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35727 27398 301 301 0 35426 0
vsize: 142908
[startup+850.033 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 55516 0 0 0 84866 147 0 0 25 0 1 0 967010714 146337792 27407 4294967295 134512640 135730672 3221224592 3221222944 134748191 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35727 27407 301 301 0 35426 0
vsize: 142908
[startup+860.033 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 55597 0 0 0 85865 147 0 0 25 0 1 0 967010714 146599936 27423 4294967295 134512640 135730672 3221224592 3221222816 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35791 27423 301 301 0 35490 0
vsize: 143164
[startup+870.034 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 55614 0 0 0 86865 148 0 0 25 0 1 0 967010714 146599936 27440 4294967295 134512640 135730672 3221224592 3221222640 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35791 27440 301 301 0 35490 0
vsize: 143164
[startup+880.034 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 55616 0 0 0 87866 148 0 0 25 0 1 0 967010714 146599936 27442 4294967295 134512640 135730672 3221224592 3221222816 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35791 27442 301 301 0 35490 0
vsize: 143164
[startup+890.034 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 55659 0 0 0 88866 148 0 0 25 0 1 0 967010714 146599936 27485 4294967295 134512640 135730672 3221224592 3221222924 134747440 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35791 27485 301 301 0 35490 0
vsize: 143164
[startup+900.034 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 55661 0 0 0 89866 148 0 0 25 0 1 0 967010714 146599936 27487 4294967295 134512640 135730672 3221224592 3221222648 134739222 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35791 27487 301 301 0 35490 0
vsize: 143164
[startup+910.035 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 55762 0 0 0 90865 148 0 0 25 0 1 0 967010714 146862080 27523 4294967295 134512640 135730672 3221224592 3221222816 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35855 27523 301 301 0 35554 0
vsize: 143420
[startup+920.036 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 55764 0 0 0 91866 149 0 0 25 0 1 0 967010714 146862080 27525 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35855 27525 301 301 0 35554 0
vsize: 143420
[startup+930.035 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 55773 0 0 0 92866 149 0 0 25 0 1 0 967010714 146862080 27534 4294967295 134512640 135730672 3221224592 3221222816 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35855 27534 301 301 0 35554 0
vsize: 143420
[startup+940.036 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 70287 0 0 0 93832 182 0 0 25 0 1 0 967010714 188383232 35824 4294967295 134512640 135730672 3221224592 3221149024 134611253 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45992 35824 301 301 0 45691 0
vsize: 183968
[startup+950.037 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 84792 0 0 0 94803 211 0 0 25 0 1 0 967010714 221986816 43205 4294967295 134512640 135730672 3221224592 3221222688 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54196 43205 301 301 0 53895 0
vsize: 216784
[startup+960.039 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 85796 0 0 0 95801 214 0 0 25 0 1 0 967010714 221716480 43153 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54130 43153 301 301 0 53829 0
vsize: 216520
[startup+970.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 86170 0 0 0 96798 216 0 0 25 0 1 0 967010714 222900224 43299 4294967295 134512640 135730672 3221224592 3221222848 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54419 43299 301 301 0 54118 0
vsize: 217676
[startup+980.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 86171 0 0 0 97798 217 0 0 25 0 1 0 967010714 222900224 43300 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54419 43300 301 301 0 54118 0
vsize: 217676
[startup+990.041 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 86411 0 0 0 98797 218 0 0 25 0 1 0 967010714 223563776 43441 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54581 43441 301 301 0 54280 0
vsize: 218324
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 86412 0 0 0 99796 219 0 0 25 0 1 0 967010714 223563776 43442 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54581 43442 301 301 0 54280 0
vsize: 218324
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 86443 0 0 0 100796 219 0 0 25 0 1 0 967010714 223711232 43473 4294967295 134512640 135730672 3221224592 3221222848 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54617 43473 301 301 0 54316 0
vsize: 218468
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 86445 0 0 0 101795 220 0 0 25 0 1 0 967010714 223711232 43475 4294967295 134512640 135730672 3221224592 3221222520 134814789 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54617 43475 301 301 0 54316 0
vsize: 218468
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 87137 0 0 0 102793 222 0 0 25 0 1 0 967010714 223711232 43477 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54617 43477 301 301 0 54316 0
vsize: 218468
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 87139 0 0 0 103793 223 0 0 25 0 1 0 967010714 223711232 43479 4294967295 134512640 135730672 3221224592 3221222688 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54617 43479 301 301 0 54316 0
vsize: 218468
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 87831 0 0 0 104791 224 0 0 25 0 1 0 967010714 226537472 44171 4294967295 134512640 135730672 3221224592 3221222352 134768938 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55307 44171 301 301 0 55006 0
vsize: 221228
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 87832 0 0 0 105791 225 0 0 25 0 1 0 967010714 223711232 43482 4294967295 134512640 135730672 3221224592 3221222688 134747627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54617 43482 301 301 0 54316 0
vsize: 218468
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 87834 0 0 0 106790 225 0 0 25 0 1 0 967010714 223711232 43484 4294967295 134512640 135730672 3221224592 3221222688 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54617 43484 301 301 0 54316 0
vsize: 218468
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 87835 0 0 0 107790 226 0 0 25 0 1 0 967010714 223711232 43485 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54617 43485 301 301 0 54316 0
vsize: 218468
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 87837 0 0 0 108789 227 0 0 25 0 1 0 967010714 223711232 43487 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54617 43487 301 301 0 54316 0
vsize: 218468
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 87839 0 0 0 109789 227 0 0 25 0 1 0 967010714 223711232 43489 4294967295 134512640 135730672 3221224592 3221222688 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54617 43489 301 301 0 54316 0
vsize: 218468
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 88530 0 0 0 110787 229 0 0 25 0 1 0 967010714 223711232 43490 4294967295 134512640 135730672 3221224592 3221222512 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54617 43490 301 301 0 54316 0
vsize: 218468
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 88532 0 0 0 111787 229 0 0 25 0 1 0 967010714 223711232 43492 4294967295 134512640 135730672 3221224592 3221222688 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54617 43492 301 301 0 54316 0
vsize: 218468
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 89223 0 0 0 112786 231 0 0 25 0 1 0 967010714 223711232 43493 4294967295 134512640 135730672 3221224592 3221222688 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54617 43493 301 301 0 54316 0
vsize: 218468
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 89225 0 0 0 113786 231 0 0 25 0 1 0 967010714 223711232 43495 4294967295 134512640 135730672 3221224592 3221222672 134732804 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54617 43495 301 301 0 54316 0
vsize: 218468
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 89227 0 0 0 114786 231 0 0 25 0 1 0 967010714 223711232 43497 4294967295 134512640 135730672 3221224592 3221222688 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54617 43497 301 301 0 54316 0
vsize: 218468
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 89918 0 0 0 115784 233 0 0 25 0 1 0 967010714 223711232 43498 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54617 43498 301 301 0 54316 0
vsize: 218468
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 89920 0 0 0 116784 233 0 0 25 0 1 0 967010714 223711232 43500 4294967295 134512640 135730672 3221224592 3221222784 134763582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54617 43500 301 301 0 54316 0
vsize: 218468
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 89922 0 0 0 117784 233 0 0 25 0 1 0 967010714 223711232 43502 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54617 43502 301 301 0 54316 0
vsize: 218468
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 90613 0 0 0 118783 235 0 0 25 0 1 0 967010714 223711232 43503 4294967295 134512640 135730672 3221224592 3221222512 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54617 43503 301 301 0 54316 0
vsize: 218468
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7483
Raw data (stat): 7426 (pb2sat-v2) R 7425 7266 7265 0 -1 0 90614 0 0 0 119783 235 0 0 25 0 1 0 967010714 223711232 43504 4294967295 134512640 135730672 3221224592 3221222688 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54617 43504 301 301 0 54316 0
vsize: 218468
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.62 s]
Raw data (loadavg): 1.00 0.98 0.92 1/54 7483
Raw data (stat): 7426 (pb2sat-v2) Z 7425 7266 7265 0 -1 12 90616 0 0 0 119931 244 0 0 25 0 1 0 967010714 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.62
CPU time (s): 1201.76
CPU user time (s): 1199.31
CPU system time (s): 2.44163
CPU usage (%): 100.011
Max. virtual memory (Kb): 221228
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-2
#### END VERIFIER DATA ####