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/frb30-15-opb/normalized-frb30-15-4.opb
MD5SUM	615f734b8951521e89cf22f42d6d26cc
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	450
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	450
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	450
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05084
Number of variables	450
Total number of constraints	17831
Number of constraints which are clauses	17831
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 42199

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 01:46:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25415 boxname=wulflinc3 idbench=317 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  615f734b8951521e89cf22f42d6d26cc  /oldhome/oroussel/tmp/wulflinc3/normalized-frb30-15-4.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-frb30-15-4.opb
IDLAUNCH: 25415
/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:        815508 kB
Buffers:         34032 kB
Cached:         163300 kB
SwapCached:        820 kB
Active:          46260 kB
Inactive:       153240 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        815228 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13972 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 02:06:27 (client local time) WITH STATUS 10 IN 1200.67 SECONDS
stats: 25415 0 1200.67 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: 450
c small objective detected

c Decision: 38728/102388	Time: 14.0579/86400
c [startup+205.188 s]  setting bit 8 to 0

c Decision: 15441/102388	Time: 125.221/86400
c Decision: 15566/102388	Time: 143.847/86400
c Decision: 15566/102388	Time: 155.601/86400
c Decision: 26816/102388	Time: 171.518/86400
c Decision: 26946/102388	Time: 188.872/86400
c Decision: 26946/102388	Time: 203.029/86400
c Decision: 28316/102388	Time: 216.899/86400
c Decision: 28318/102388	Time: 229.93/86400
c Decision: 28318/102388	Time: 243.55/86400
c Decision: 28443/102388	Time: 258.59/86400
c Decision: 28443/102388	Time: 273.318/86400
c Decision: 30372/102388	Time: 293.829/86400
c Decision: 30372/102388	Time: 309.3/86400
c Decision: 30387/102388	Time: 323.807/86400
c Decision: 30622/102388	Time: 337.174/86400
c [startup+621.693 s]  setting bit 7 to 0

c Decision: 28838/102388	Time: 97.7361/86400
c Decision: 28955/102388	Time: 113.04/86400
c Decision: 28955/102388	Time: 123.91/86400
c Decision: 28972/102388	Time: 141.494/86400
c Decision: 29021/102388	Time: 157.538/86400
c [startup+818.515 s]  setting bit 6 to 0

c Decision: 50870/102388	Time: 73.9968/86400
c Decision: 50870/102388	Time: 82.3705/86400
c Decision: 50870/102388	Time: 91.1801/86400
c Decision: 50870/102388	Time: 99.2169/86400
c Decision: 50871/102388	Time: 109.039/86400
c Decision: 50871/102388	Time: 118.352/86400
c Decision: 50871/102388	Time: 127.158/86400
c Decision: 50871/102388	Time: 135.989/86400
c Decision: 50871/102388	Time: 144.533/86400
c Decision: 50872/102388	Time: 162.41/86400
c Decision: 50872/102388	Time: 171.207/86400
c Decision: 50872/102388	Time: 180.022/86400
c Decision: 50872/102388	Time: 188.367/86400
c Decision: 50872/102388	Time: 198.671/86400
c Decision: 50872/102388	Time: 207.954/86400
c Decision: 50872/102388	Time: 218.514/86400
c Decision: 50872/102388	Time: 228.708/86400
c Decision: 50872/102388	Time: 239.65/86400
c Decision: 50872/102388	Time: 247.789/86400
c Decision: 50872/102388	Time: 255.332/86400
c Decision: 50872/102388	Time: 264.075/86400
c Decision: 50872/102388	Time: 274.387/86400
c Decision: 50872/102388	Time: 283.684/86400
c Decision: 50904/102388	Time: 294.066/86400
c Decision: 50904/102388	Time: 305.496/86400
c Decision: 50904/102388	Time: 314.342/86400
c Decision: 50904/102388	Time: 323.792/86400
c Decision: 50904/102388	Time: 334.969/86400
c Decision: 50904/102388	Time: 345.06/86400
c Decision: 50966/102388	Time: 362.739/86400
c Decision: 50966/102388	Time: 372.678/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 -C46 -C47 -C48 -C49 -C5 -C50 -C51 -C52 -C53 -C54 -C55 -C56 -C57 -C58 -C59 -C6 -C60 -C61 -C62 -C63 -C64 -C65 -C66 -C67 -C68 -C69 -C7 -C70 -C71 -C72 -C73 -C74 -C75 -C76 -C77 -C78 -C79 -C8 -C80 -C81 -C82 -C83 -C84 -C85 -C86 -C87 -C88 -C89 -C9 -C90 -C91 -C92 -C93 -C94 -C95 -C96 -C97 -C98 -C99 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 14658
Raw data (stat): 14658 (runsolver) R 14657 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966902827 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 15812 0 0 0 961 37 0 0 25 0 1 0 966902827 49811456 10160 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12161 10160 301 301 0 11860 0
vsize: 48644
[startup+20.0039 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 16647 0 0 0 1958 40 0 0 25 0 1 0 966902827 53252096 10795 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13001 10795 301 301 0 12700 0
vsize: 52004
[startup+30.0042 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 17621 0 0 0 2955 42 0 0 25 0 1 0 966902827 58130432 11736 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14192 11736 301 301 0 13891 0
vsize: 56768
[startup+40.0039 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 17875 0 0 0 3954 43 0 0 25 0 1 0 966902827 59269120 11957 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14470 11957 301 301 0 14169 0
vsize: 57880
[startup+50.0051 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 17992 0 0 0 4954 43 0 0 25 0 1 0 966902827 59531264 12008 4294967295 134512640 135730672 3221224592 3221222720 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14534 12008 301 301 0 14233 0
vsize: 58136
[startup+60.0057 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18007 0 0 0 5954 44 0 0 25 0 1 0 966902827 59531264 12023 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14534 12023 301 301 0 14233 0
vsize: 58136
[startup+70.0062 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18025 0 0 0 6954 44 0 0 25 0 1 0 966902827 59531264 12041 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14534 12041 301 301 0 14233 0
vsize: 58136
[startup+80.0066 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18041 0 0 0 7954 44 0 0 25 0 1 0 966902827 59531264 12057 4294967295 134512640 135730672 3221224592 3221222720 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14534 12057 301 301 0 14233 0
vsize: 58136
[startup+90.0071 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18056 0 0 0 8954 44 0 0 25 0 1 0 966902827 59531264 12072 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14534 12072 301 301 0 14233 0
vsize: 58136
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18075 0 0 0 9954 44 0 0 25 0 1 0 966902827 59531264 12091 4294967295 134512640 135730672 3221224592 3221222976 134763582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14534 12091 301 301 0 14233 0
vsize: 58136
[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18090 0 0 0 10954 44 0 0 25 0 1 0 966902827 59531264 12106 4294967295 134512640 135730672 3221224592 3221222880 134747930 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14534 12106 301 301 0 14233 0
vsize: 58136
[startup+120.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18105 0 0 0 11954 45 0 0 25 0 1 0 966902827 59531264 12121 4294967295 134512640 135730672 3221224592 3221222928 134740206 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14534 12121 301 301 0 14233 0
vsize: 58136
[startup+130.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18120 0 0 0 12954 45 0 0 25 0 1 0 966902827 59531264 12136 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14534 12136 301 301 0 14233 0
vsize: 58136
[startup+140.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18134 0 0 0 13954 45 0 0 25 0 1 0 966902827 59531264 12150 4294967295 134512640 135730672 3221224592 3221222880 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14534 12150 301 301 0 14233 0
vsize: 58136
[startup+150.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18149 0 0 0 14954 45 0 0 25 0 1 0 966902827 59531264 12165 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14534 12165 301 301 0 14233 0
vsize: 58136
[startup+160.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18163 0 0 0 15954 45 0 0 25 0 1 0 966902827 59531264 12179 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14534 12179 301 301 0 14233 0
vsize: 58136
[startup+170.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18179 0 0 0 16954 46 0 0 25 0 1 0 966902827 59531264 12195 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14534 12195 301 301 0 14233 0
vsize: 58136
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18194 0 0 0 17954 46 0 0 25 0 1 0 966902827 59531264 12210 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14534 12210 301 301 0 14233 0
vsize: 58136
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18208 0 0 0 18954 46 0 0 25 0 1 0 966902827 59531264 12224 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14534 12224 301 301 0 14233 0
vsize: 58136
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18307 0 0 0 19954 46 0 0 25 0 1 0 966902827 59793408 12258 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14598 12258 301 301 0 14297 0
vsize: 58392
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18592 0 0 0 20953 48 0 0 25 0 1 0 966902827 59924480 12310 4294967295 134512640 135730672 3221224592 3221222768 134762015 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14630 12310 301 301 0 14329 0
vsize: 58520
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18641 0 0 0 21952 48 0 0 25 0 1 0 966902827 59924480 12359 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14630 12359 301 301 0 14329 0
vsize: 58520
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18693 0 0 0 22952 49 0 0 25 0 1 0 966902827 59924480 12411 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14630 12411 301 301 0 14329 0
vsize: 58520
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18761 0 0 0 23952 49 0 0 25 0 1 0 966902827 60071936 12479 4294967295 134512640 135730672 3221224592 3221222880 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14666 12479 301 301 0 14365 0
vsize: 58664
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18820 0 0 0 24952 49 0 0 25 0 1 0 966902827 60219392 12538 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14702 12538 301 301 0 14401 0
vsize: 58808
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18886 0 0 0 25952 50 0 0 25 0 1 0 966902827 60354560 12604 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14735 12604 301 301 0 14434 0
vsize: 58940
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 18929 0 0 0 26951 50 0 0 25 0 1 0 966902827 60354560 12647 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14735 12647 301 301 0 14434 0
vsize: 58940
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 19116 0 0 0 27951 51 0 0 25 0 1 0 966902827 60989440 12834 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14890 12834 301 301 0 14589 0
vsize: 59560
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 19161 0 0 0 28951 51 0 0 25 0 1 0 966902827 60989440 12879 4294967295 134512640 135730672 3221224592 3221222864 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14890 12879 301 301 0 14589 0
vsize: 59560
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 19200 0 0 0 29951 51 0 0 25 0 1 0 966902827 60989440 12918 4294967295 134512640 135730672 3221224592 3221222880 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14890 12918 301 301 0 14589 0
vsize: 59560
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 19246 0 0 0 30950 52 0 0 25 0 1 0 966902827 69513216 12964 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16971 12964 301 301 0 16670 0
vsize: 67884
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 19491 0 0 0 31949 53 0 0 25 0 1 0 966902827 70610944 13209 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17239 13209 301 301 0 16938 0
vsize: 68956
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 19768 0 0 0 32949 54 0 0 25 0 1 0 966902827 70807552 13286 4294967295 134512640 135730672 3221224592 3221223008 134783060 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17287 13286 301 301 0 16986 0
vsize: 69148
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 19801 0 0 0 33948 55 0 0 25 0 1 0 966902827 70946816 13319 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17321 13319 301 301 0 17020 0
vsize: 69284
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 20036 0 0 0 34947 56 0 0 25 0 1 0 966902827 70946816 13354 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17321 13354 301 301 0 17020 0
vsize: 69284
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 20067 0 0 0 35947 56 0 0 25 0 1 0 966902827 71081984 13385 4294967295 134512640 135730672 3221224592 3221222960 134763663 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17354 13385 301 301 0 17053 0
vsize: 69416
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 20308 0 0 0 36946 57 0 0 25 0 1 0 966902827 71081984 13426 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17354 13426 301 301 0 17053 0
vsize: 69416
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 20555 0 0 0 37945 58 0 0 25 0 1 0 966902827 71081984 13473 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17354 13473 301 301 0 17053 0
vsize: 69416
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 20601 0 0 0 38945 58 0 0 25 0 1 0 966902827 71217152 13519 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17387 13519 301 301 0 17086 0
vsize: 69548
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 20845 0 0 0 39945 59 0 0 25 0 1 0 966902827 71217152 13563 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17387 13563 301 301 0 17086 0
vsize: 69548
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 21101 0 0 0 40944 59 0 0 25 0 1 0 966902827 71512064 13619 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17459 13619 301 301 0 17158 0
vsize: 69836
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 21111 0 0 0 41944 59 0 0 25 0 1 0 966902827 71512064 13629 4294967295 134512640 135730672 3221224592 3221222880 134747477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17459 13629 301 301 0 17158 0
vsize: 69836
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 21327 0 0 0 42943 60 0 0 25 0 1 0 966902827 71512064 13645 4294967295 134512640 135730672 3221224592 3221222864 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17459 13645 301 301 0 17158 0
vsize: 69836
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 21540 0 0 0 43943 61 0 0 25 0 1 0 966902827 71512064 13658 4294967295 134512640 135730672 3221224592 3221222880 134747913 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17459 13658 301 301 0 17158 0
vsize: 69836
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 21752 0 0 0 44942 62 0 0 25 0 1 0 966902827 71659520 13670 4294967295 134512640 135730672 3221224592 3221222880 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17495 13670 301 301 0 17194 0
vsize: 69980
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 21766 0 0 0 45942 62 0 0 25 0 1 0 966902827 71659520 13684 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17495 13684 301 301 0 17194 0
vsize: 69980
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 21975 0 0 0 46942 62 0 0 25 0 1 0 966902827 71659520 13693 4294967295 134512640 135730672 3221224592 3221222880 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17495 13693 301 301 0 17194 0
vsize: 69980
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 22184 0 0 0 47941 63 0 0 25 0 1 0 966902827 71659520 13702 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17495 13702 301 301 0 17194 0
vsize: 69980
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 22190 0 0 0 48941 63 0 0 25 0 1 0 966902827 71659520 13708 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17495 13708 301 301 0 17194 0
vsize: 69980
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 22396 0 0 0 49941 64 0 0 25 0 1 0 966902827 71794688 13714 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17528 13714 301 301 0 17227 0
vsize: 70112
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 22405 0 0 0 50941 64 0 0 25 0 1 0 966902827 71794688 13723 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17528 13723 301 301 0 17227 0
vsize: 70112
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 22613 0 0 0 51940 65 0 0 25 0 1 0 966902827 71794688 13731 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17528 13731 301 301 0 17227 0
vsize: 70112
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 22820 0 0 0 52940 66 0 0 25 0 1 0 966902827 71794688 13738 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17528 13738 301 301 0 17227 0
vsize: 70112
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 22832 0 0 0 53940 66 0 0 25 0 1 0 966902827 71794688 13750 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17528 13750 301 301 0 17227 0
vsize: 70112
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 23039 0 0 0 54939 67 0 0 25 0 1 0 966902827 71929856 13757 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17561 13757 301 301 0 17260 0
vsize: 70244
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 23052 0 0 0 55939 67 0 0 25 0 1 0 966902827 71929856 13770 4294967295 134512640 135730672 3221224592 3221223008 134748214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17561 13770 301 301 0 17260 0
vsize: 70244
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 23059 0 0 0 56939 67 0 0 25 0 1 0 966902827 71929856 13777 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17561 13777 301 301 0 17260 0
vsize: 70244
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 23071 0 0 0 57939 67 0 0 25 0 1 0 966902827 71929856 13789 4294967295 134512640 135730672 3221224592 3221222880 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17561 13789 301 301 0 17260 0
vsize: 70244
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 23076 0 0 0 58939 67 0 0 25 0 1 0 966902827 71929856 13794 4294967295 134512640 135730672 3221224592 3221222880 134747714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17561 13794 301 301 0 17260 0
vsize: 70244
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 23086 0 0 0 59939 68 0 0 25 0 1 0 966902827 72069120 13804 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17595 13804 301 301 0 17294 0
vsize: 70380
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 23113 0 0 0 60939 68 0 0 25 0 1 0 966902827 72069120 13831 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17595 13831 301 301 0 17294 0
vsize: 70380
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 23129 0 0 0 61938 68 0 0 25 0 1 0 966902827 72069120 13847 4294967295 134512640 135730672 3221224592 3221223040 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17595 13847 301 301 0 17294 0
vsize: 70380
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 23408 0 0 0 62938 69 0 0 25 0 1 0 966902827 72069120 13926 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17595 13926 301 301 0 17294 0
vsize: 70380
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 23464 0 0 0 63937 70 0 0 25 0 1 0 966902827 72069120 13982 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17595 13982 301 301 0 17294 0
vsize: 70380
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 23527 0 0 0 64937 71 0 0 25 0 1 0 966902827 72232960 14045 4294967295 134512640 135730672 3221224592 3221222704 134732445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17635 14045 301 301 0 17334 0
vsize: 70540
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 23567 0 0 0 65936 72 0 0 25 0 1 0 966902827 72232960 14085 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17635 14085 301 301 0 17334 0
vsize: 70540
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 23597 0 0 0 66936 72 0 0 25 0 1 0 966902827 72232960 14115 4294967295 134512640 135730672 3221224592 3221222880 134747644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17635 14115 301 301 0 17334 0
vsize: 70540
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 23639 0 0 0 67936 73 0 0 25 0 1 0 966902827 72232960 14157 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17635 14157 301 301 0 17334 0
vsize: 70540
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 23674 0 0 0 68936 73 0 0 25 0 1 0 966902827 72232960 14192 4294967295 134512640 135730672 3221224592 3221222880 134747641 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17635 14192 301 301 0 17334 0
vsize: 70540
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 23699 0 0 0 69936 73 0 0 25 0 1 0 966902827 72232960 14217 4294967295 134512640 135730672 3221224592 3221222880 134747856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17635 14217 301 301 0 17334 0
vsize: 70540
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 23724 0 0 0 70936 73 0 0 25 0 1 0 966902827 72232960 14242 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17635 14242 301 301 0 17334 0
vsize: 70540
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 23947 0 0 0 71935 74 0 0 25 0 1 0 966902827 72232960 14265 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17635 14265 301 301 0 17334 0
vsize: 70540
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 23968 0 0 0 72935 74 0 0 25 0 1 0 966902827 72232960 14286 4294967295 134512640 135730672 3221224592 3221222928 134740406 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17635 14286 301 301 0 17334 0
vsize: 70540
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 24176 0 0 0 73935 75 0 0 25 0 1 0 966902827 72232960 14294 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17635 14294 301 301 0 17334 0
vsize: 70540
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 24388 0 0 0 74934 75 0 0 25 0 1 0 966902827 72364032 14306 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17667 14306 301 301 0 17366 0
vsize: 70668
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 24396 0 0 0 75932 76 0 0 25 0 1 0 966902827 72364032 14314 4294967295 134512640 135730672 3221224592 3221223072 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17667 14314 301 301 0 17366 0
vsize: 70668
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 24607 0 0 0 76932 77 0 0 25 0 1 0 966902827 72364032 14325 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17667 14325 301 301 0 17366 0
vsize: 70668
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 24828 0 0 0 77931 78 0 0 25 0 1 0 966902827 72364032 14346 4294967295 134512640 135730672 3221224592 3221223072 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17667 14346 301 301 0 17366 0
vsize: 70668
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 24856 0 0 0 78931 79 0 0 25 0 1 0 966902827 72364032 14374 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17667 14374 301 301 0 17366 0
vsize: 70668
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 24888 0 0 0 79931 79 0 0 25 0 1 0 966902827 72503296 14406 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17701 14406 301 301 0 17400 0
vsize: 70804
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 24907 0 0 0 80930 79 0 0 25 0 1 0 966902827 72503296 14425 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17701 14425 301 301 0 17400 0
vsize: 70804
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 25133 0 0 0 81930 80 0 0 25 0 1 0 966902827 72503296 14451 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17701 14451 301 301 0 17400 0
vsize: 70804
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 25210 0 0 0 82929 81 0 0 25 0 1 0 966902827 72503296 14528 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17701 14528 301 301 0 17400 0
vsize: 70804
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 25279 0 0 0 83929 82 0 0 25 0 1 0 966902827 72503296 14597 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17701 14597 301 301 0 17400 0
vsize: 70804
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 25337 0 0 0 84928 82 0 0 25 0 1 0 966902827 72699904 14655 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17749 14655 301 301 0 17448 0
vsize: 70996
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 25391 0 0 0 85928 83 0 0 25 0 1 0 966902827 72699904 14709 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17749 14709 301 301 0 17448 0
vsize: 70996
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 25466 0 0 0 86927 84 0 0 25 0 1 0 966902827 72699904 14784 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17749 14784 301 301 0 17448 0
vsize: 70996
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 25538 0 0 0 87927 84 0 0 25 0 1 0 966902827 72699904 14856 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17749 14856 301 301 0 17448 0
vsize: 70996
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 25601 0 0 0 88927 84 0 0 25 0 1 0 966902827 72699904 14919 4294967295 134512640 135730672 3221224592 3221222880 134747744 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17749 14919 301 301 0 17448 0
vsize: 70996
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 25833 0 0 0 89926 85 0 0 25 0 1 0 966902827 72835072 14951 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17782 14951 301 301 0 17481 0
vsize: 71128
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 26252 0 0 0 90925 87 0 0 25 0 1 0 966902827 72835072 14970 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17782 14970 301 301 0 17481 0
vsize: 71128
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 26475 0 0 0 91924 88 0 0 25 0 1 0 966902827 72970240 14993 4294967295 134512640 135730672 3221224592 3221222880 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17815 14993 301 301 0 17514 0
vsize: 71260
[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 26683 0 0 0 92922 89 0 0 25 0 1 0 966902827 72970240 15001 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17815 15001 301 301 0 17514 0
vsize: 71260
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 26913 0 0 0 93920 90 0 0 25 0 1 0 966902827 72970240 15031 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17815 15031 301 301 0 17514 0
vsize: 71260
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 27137 0 0 0 94919 91 0 0 25 0 1 0 966902827 73113600 15055 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17850 15055 301 301 0 17549 0
vsize: 71400
[startup+960.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 27345 0 0 0 95918 92 0 0 25 0 1 0 966902827 73113600 15063 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17850 15063 301 301 0 17549 0
vsize: 71400
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 27558 0 0 0 96918 93 0 0 25 0 1 0 966902827 73113600 15076 4294967295 134512640 135730672 3221224592 3221222880 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17850 15076 301 301 0 17549 0
vsize: 71400
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 27577 0 0 0 97918 93 0 0 25 0 1 0 966902827 73248768 15095 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17883 15095 301 301 0 17582 0
vsize: 71532
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 27993 0 0 0 98917 94 0 0 25 0 1 0 966902827 73248768 15111 4294967295 134512640 135730672 3221224592 3221222608 134813911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17883 15111 301 301 0 17582 0
vsize: 71532
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14658
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 28208 0 0 0 99916 95 0 0 25 0 1 0 966902827 73248768 15126 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17883 15126 301 301 0 17582 0
vsize: 71532
[startup+1010.03 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 14711
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 28421 0 0 0 100914 97 0 0 25 0 1 0 966902827 73388032 15139 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17917 15139 301 301 0 17616 0
vsize: 71668
[startup+1020.03 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 14711
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 28435 0 0 0 101914 97 0 0 25 0 1 0 966902827 73388032 15153 4294967295 134512640 135730672 3221224592 3221222864 134732736 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17917 15153 301 301 0 17616 0
vsize: 71668
[startup+1030.03 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 14711
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 28687 0 0 0 102913 98 0 0 25 0 1 0 966902827 73388032 15205 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17917 15205 301 301 0 17616 0
vsize: 71668
[startup+1040.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14711
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 28937 0 0 0 103913 99 0 0 25 0 1 0 966902827 73523200 15255 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17950 15255 301 301 0 17649 0
vsize: 71800
[startup+1050.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14711
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 29218 0 0 0 104912 100 0 0 25 0 1 0 966902827 73658368 15336 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17983 15336 301 301 0 17682 0
vsize: 71932
[startup+1060.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14711
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 29480 0 0 0 105911 101 0 0 25 0 1 0 966902827 73793536 15398 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18016 15398 301 301 0 17715 0
vsize: 72064
[startup+1070.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14711
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 29764 0 0 0 106910 102 0 0 25 0 1 0 966902827 73793536 15482 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18016 15482 301 301 0 17715 0
vsize: 72064
[startup+1080.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14713
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 30052 0 0 0 107909 103 0 0 25 0 1 0 966902827 73932800 15570 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18050 15570 301 301 0 17749 0
vsize: 72200
[startup+1090.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14713
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 30296 0 0 0 108909 104 0 0 25 0 1 0 966902827 73932800 15614 4294967295 134512640 135730672 3221224592 3221222880 134747460 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18050 15614 301 301 0 17749 0
vsize: 72200
[startup+1100.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14713
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 30547 0 0 0 109908 105 0 0 25 0 1 0 966902827 73932800 15665 4294967295 134512640 135730672 3221224592 3221222928 134740391 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18050 15665 301 301 0 17749 0
vsize: 72200
[startup+1110.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14713
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 30842 0 0 0 110907 106 0 0 25 0 1 0 966902827 74072064 15760 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18084 15760 301 301 0 17783 0
vsize: 72336
[startup+1120.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14713
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 31126 0 0 0 111906 107 0 0 25 0 1 0 966902827 74215424 15844 4294967295 134512640 135730672 3221224592 3221222768 134761951 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18119 15844 301 301 0 17818 0
vsize: 72476
[startup+1130.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14713
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 31402 0 0 0 112905 108 0 0 25 0 1 0 966902827 74215424 15920 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18119 15920 301 301 0 17818 0
vsize: 72476
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14713
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 31655 0 0 0 113905 109 0 0 25 0 1 0 966902827 74350592 15973 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18152 15973 301 301 0 17851 0
vsize: 72608
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14713
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 31931 0 0 0 114904 110 0 0 25 0 1 0 966902827 74489856 16049 4294967295 134512640 135730672 3221224592 3221222880 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18186 16049 301 301 0 17885 0
vsize: 72744
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14713
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 32203 0 0 0 115904 110 0 0 25 0 1 0 966902827 74489856 16121 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18186 16121 301 301 0 17885 0
vsize: 72744
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14713
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 32488 0 0 0 116903 111 0 0 25 0 1 0 966902827 74625024 16206 4294967295 134512640 135730672 3221224592 3221222928 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18219 16207 301 301 0 17918 0
vsize: 72876
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14713
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 32537 0 0 0 117903 112 0 0 25 0 1 0 966902827 74625024 16255 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18219 16255 301 301 0 17918 0
vsize: 72876
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14713
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 32803 0 0 0 118902 112 0 0 25 0 1 0 966902827 74768384 16321 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18254 16321 301 301 0 17953 0
vsize: 73016
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14713
Raw data (stat): 14658 (pb2sat-v2) R 14657 20224 20223 0 -1 0 33031 0 0 0 119901 114 0 0 25 0 1 0 966902827 74768384 16349 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18254 16349 301 301 0 17953 0
vsize: 73016
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.55 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 14713
Raw data (stat): 14658 (pb2sat-v2) Z 14657 20224 20223 0 -1 12 33033 0 0 0 119949 117 0 0 25 0 1 0 966902827 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): 1200.55
CPU time (s): 1200.67
CPU user time (s): 1199.49
CPU system time (s): 1.17482
CPU usage (%): 100.01
Max. virtual memory (Kb): 73016
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####