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-3.opb
MD5SUM	063fe125a766c5e46d0ecbf211fd8049
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.04584
Number of variables	450
Total number of constraints	17809
Number of constraints which are clauses	17809
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 42198

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 01:45:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25414 boxname=wulflinc6 idbench=316 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  063fe125a766c5e46d0ecbf211fd8049  /oldhome/oroussel/tmp/wulflinc6/normalized-frb30-15-3.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-frb30-15-3.opb
IDLAUNCH: 25414
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        728004 kB
Buffers:         34048 kB
Cached:         249980 kB
SwapCached:       1028 kB
Active:          64912 kB
Inactive:       221292 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        727752 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            14744 kB
Committed_AS:    63812 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 02:05:22 (client local time) WITH STATUS 10 IN 1200.91 SECONDS
stats: 25414 0 1200.91 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: 34289/102388	Time: 50.7123/86400
c Decision: 34547/102388	Time: 76.9083/86400
c Decision: 36801/102388	Time: 135.559/86400
c Decision: 37239/102388	Time: 169.919/86400
c Decision: 40218/102388	Time: 201.992/86400
c [startup+327.861 s]  setting bit 8 to 0

c Decision: 15223/102388	Time: 22.8935/86400
c Decision: 15223/102388	Time: 35.2626/86400
c Decision: 15223/102388	Time: 46.209/86400
c Decision: 15340/102388	Time: 63.0194/86400
c Decision: 15340/102388	Time: 73.4188/86400
c Decision: 15340/102388	Time: 84.7941/86400
c Decision: 15340/102388	Time: 96.5963/86400
c Decision: 15475/102388	Time: 120.306/86400
c Decision: 15475/102388	Time: 134.751/86400
c Decision: 15475/102388	Time: 147.661/86400
c Decision: 15475/102388	Time: 162.954/86400
c Decision: 15475/102388	Time: 174.862/86400
c Decision: 15475/102388	Time: 189.303/86400
c Decision: 15475/102388	Time: 203.615/86400
c Decision: 15475/102388	Time: 217.923/86400
c Decision: 15840/102388	Time: 231.849/86400
c Decision: 15840/102388	Time: 246.068/86400
c Decision: 15840/102388	Time: 260.523/86400
c Decision: 15840/102388	Time: 275.131/86400
c Decision: 15840/102388	Time: 291.1/86400
c Decision: 15840/102388	Time: 305.026/86400
c Decision: 15840/102388	Time: 321.171/86400
c Decision: 15840/102388	Time: 335.943/86400
c Decision: 16715/102388	Time: 357.875/86400
c Decision: 16957/102388	Time: 375.143/86400
c [startup+762.377 s]  setting bit 7 to 0

c Decision: 47924/102388	Time: 85.0391/86400
c Decision: 48296/102388	Time: 95.5475/86400
c Decision: 48296/102388	Time: 104.864/86400
c Decision: 48296/102388	Time: 113.476/86400
c Decision: 48296/102388	Time: 121.421/86400
c Decision: 48296/102388	Time: 132.389/86400
c Decision: 48296/102388	Time: 142.358/86400
c Decision: 48296/102388	Time: 152.299/86400
c Decision: 48296/102388	Time: 162.979/86400
c Decision: 48296/102388	Time: 172.275/86400
c Decision: 48299/102388	Time: 188.354/86400
c Decision: 48300/102388	Time: 206.806/86400
c [startup+1007.18 s]  setting bit 6 to 0

c Decision: 66049/102388	Time: 53.5809/86400
c Decision: 66049/102388	Time: 59.061/86400
c Decision: 66049/102388	Time: 65.701/86400
c Decision: 66049/102388	Time: 74.7136/86400
c Decision: 66049/102388	Time: 81.4186/86400
c Decision: 66049/102388	Time: 88.3606/86400
c Decision: 66049/102388	Time: 96.2514/86400
c Decision: 66049/102388	Time: 103.539/86400
c Decision: 66049/102388	Time: 112.103/86400
c Decision: 66049/102388	Time: 119.424/86400
c Decision: 66049/102388	Time: 126.659/86400
c Decision: 66049/102388	Time: 135.969/86400
c Decision: 66049/102388	Time: 143.696/86400
c Decision: 66049/102388	Time: 152.529/86400
c Decision: 66049/102388	Time: 162.623/86400
c Decision: 66049/102388	Time: 172.63/86400
c Decision: 66049/102388	Time: 179.847/86400
c Decision: 66049/102388	Time: 188.65/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.84 0.94 0.90 2/54 13241
Raw data (stat): 13241 (runsolver) R 13240 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966904481 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.0004 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 16047 0 0 0 965 34 0 0 25 0 1 0 966904481 51445760 10396 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12560 10396 301 301 0 12259 0
vsize: 50240
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 16934 0 0 0 1963 36 0 0 25 0 1 0 966904481 55201792 11052 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13477 11052 301 301 0 13176 0
vsize: 53908
[startup+30.0009 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 17267 0 0 0 2963 37 0 0 25 0 1 0 966904481 56602624 11286 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13819 11286 301 301 0 13518 0
vsize: 55276
[startup+40.0007 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 17380 0 0 0 3962 37 0 0 25 0 1 0 966904481 56897536 11366 4294967295 134512640 135730672 3221224592 3221223008 134748163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13891 11366 301 301 0 13590 0
vsize: 55564
[startup+50.0013 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 17409 0 0 0 4963 38 0 0 25 0 1 0 966904481 56897536 11395 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13891 11395 301 301 0 13590 0
vsize: 55564
[startup+60.0018 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 17642 0 0 0 5962 38 0 0 25 0 1 0 966904481 56897536 11428 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13891 11428 301 301 0 13590 0
vsize: 55564
[startup+70.0022 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 17716 0 0 0 6962 39 0 0 25 0 1 0 966904481 57364480 11502 4294967295 134512640 135730672 3221224592 3221223040 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14005 11502 301 301 0 13704 0
vsize: 56020
[startup+80.0026 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 17758 0 0 0 7961 39 0 0 25 0 1 0 966904481 57364480 11544 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14005 11544 301 301 0 13704 0
vsize: 56020
[startup+90.0027 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 17975 0 0 0 8961 40 0 0 25 0 1 0 966904481 57364480 11561 4294967295 134512640 135730672 3221224592 3221222864 134748058 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14005 11561 301 301 0 13704 0
vsize: 56020
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 17997 0 0 0 9961 40 0 0 25 0 1 0 966904481 57364480 11583 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14005 11583 301 301 0 13704 0
vsize: 56020
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 18081 0 0 0 10961 40 0 0 25 0 1 0 966904481 57626624 11602 4294967295 134512640 135730672 3221224592 3221222976 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14069 11602 301 301 0 13768 0
vsize: 56276
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 18140 0 0 0 11961 41 0 0 25 0 1 0 966904481 57757696 11628 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14101 11628 301 301 0 13800 0
vsize: 56404
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 18178 0 0 0 12961 41 0 0 25 0 1 0 966904481 57888768 11666 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14133 11666 301 301 0 13832 0
vsize: 56532
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 18205 0 0 0 13961 41 0 0 25 0 1 0 966904481 57888768 11693 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14133 11693 301 301 0 13832 0
vsize: 56532
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 18425 0 0 0 14961 42 0 0 25 0 1 0 966904481 57888768 11713 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14133 11713 301 301 0 13832 0
vsize: 56532
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 18450 0 0 0 15961 42 0 0 25 0 1 0 966904481 57888768 11738 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14133 11738 301 301 0 13832 0
vsize: 56532
[startup+170.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 18472 0 0 0 16961 43 0 0 25 0 1 0 966904481 57888768 11760 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14133 11760 301 301 0 13832 0
vsize: 56532
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 18696 0 0 0 17960 43 0 0 25 0 1 0 966904481 58023936 11784 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14166 11784 301 301 0 13865 0
vsize: 56664
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 18724 0 0 0 18961 43 0 0 25 0 1 0 966904481 58023936 11812 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14166 11812 301 301 0 13865 0
vsize: 56664
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 18761 0 0 0 19960 44 0 0 25 0 1 0 966904481 58023936 11849 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14166 11849 301 301 0 13865 0
vsize: 56664
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 19000 0 0 0 20960 45 0 0 25 0 1 0 966904481 58159104 11888 4294967295 134512640 135730672 3221224592 3221222928 134740206 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14199 11888 301 301 0 13898 0
vsize: 56796
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 19017 0 0 0 21960 45 0 0 25 0 1 0 966904481 58159104 11905 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14199 11905 301 301 0 13898 0
vsize: 56796
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 19039 0 0 0 22961 45 0 0 25 0 1 0 966904481 58159104 11927 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14199 11927 301 301 0 13898 0
vsize: 56796
[startup+240.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 19063 0 0 0 23961 45 0 0 25 0 1 0 966904481 58159104 11951 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14199 11951 301 301 0 13898 0
vsize: 56796
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 19087 0 0 0 24961 45 0 0 25 0 1 0 966904481 58159104 11975 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14199 11975 301 301 0 13898 0
vsize: 56796
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 19111 0 0 0 25961 46 0 0 25 0 1 0 966904481 58294272 11999 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14232 11999 301 301 0 13931 0
vsize: 56928
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 19137 0 0 0 26961 46 0 0 25 0 1 0 966904481 58294272 12025 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14232 12025 301 301 0 13931 0
vsize: 56928
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 19164 0 0 0 27961 46 0 0 25 0 1 0 966904481 58294272 12052 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14232 12052 301 301 0 13931 0
vsize: 56928
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 19192 0 0 0 28961 47 0 0 25 0 1 0 966904481 58294272 12080 4294967295 134512640 135730672 3221224592 3221222976 134764022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14232 12080 301 301 0 13931 0
vsize: 56928
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 19218 0 0 0 29961 47 0 0 25 0 1 0 966904481 58429440 12106 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14265 12106 301 301 0 13964 0
vsize: 57060
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 19248 0 0 0 30961 47 0 0 25 0 1 0 966904481 58429440 12136 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14265 12136 301 301 0 13964 0
vsize: 57060
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 19350 0 0 0 31961 47 0 0 25 0 1 0 966904481 58691584 12173 4294967295 134512640 135730672 3221224592 3221222976 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14329 12173 301 301 0 14028 0
vsize: 57316
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 19607 0 0 0 32961 48 0 0 25 0 1 0 966904481 58691584 12230 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14329 12230 301 301 0 14028 0
vsize: 57316
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 19691 0 0 0 33960 49 0 0 25 0 1 0 966904481 58834944 12314 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14364 12314 301 301 0 14063 0
vsize: 57456
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 19749 0 0 0 34960 49 0 0 25 0 1 0 966904481 58834944 12372 4294967295 134512640 135730672 3221224592 3221222896 134746193 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14364 12372 301 301 0 14063 0
vsize: 57456
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 20045 0 0 0 35959 50 0 0 25 0 1 0 966904481 59318272 12468 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14482 12468 301 301 0 14181 0
vsize: 57928
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 20291 0 0 0 36959 51 0 0 25 0 1 0 966904481 59482112 12514 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14522 12514 301 301 0 14221 0
vsize: 58088
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 20692 0 0 0 37957 53 0 0 25 0 1 0 966904481 61247488 12849 4294967295 134512640 135730672 3221224592 3221222880 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14953 12849 301 301 0 14652 0
vsize: 59812
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 20802 0 0 0 38957 53 0 0 25 0 1 0 966904481 61829120 12959 4294967295 134512640 135730672 3221224592 3221223072 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15095 12959 301 301 0 14794 0
vsize: 60380
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 21049 0 0 0 39956 54 0 0 25 0 1 0 966904481 70217728 13006 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17143 13006 301 301 0 16842 0
vsize: 68572
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 21296 0 0 0 40955 55 0 0 25 0 1 0 966904481 70217728 13053 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17143 13053 301 301 0 16842 0
vsize: 68572
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 21327 0 0 0 41955 56 0 0 25 0 1 0 966904481 70217728 13084 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17143 13084 301 301 0 16842 0
vsize: 68572
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 21610 0 0 0 42955 57 0 0 25 0 1 0 966904481 70483968 13167 4294967295 134512640 135730672 3221224592 3221222976 134763992 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17208 13167 301 301 0 16907 0
vsize: 68832
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 21653 0 0 0 43955 57 0 0 25 0 1 0 966904481 70483968 13210 4294967295 134512640 135730672 3221224592 3221223052 134748650 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17208 13210 301 301 0 16907 0
vsize: 68832
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 21909 0 0 0 44954 58 0 0 25 0 1 0 966904481 70483968 13266 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17208 13266 301 301 0 16907 0
vsize: 68832
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 21964 0 0 0 45954 58 0 0 25 0 1 0 966904481 70483968 13321 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17208 13321 301 301 0 16907 0
vsize: 68832
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 22237 0 0 0 46953 59 0 0 25 0 1 0 966904481 70623232 13394 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17242 13394 301 301 0 16941 0
vsize: 68968
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 22525 0 0 0 47953 60 0 0 25 0 1 0 966904481 70811648 13482 4294967295 134512640 135730672 3221224592 3221223040 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17288 13482 301 301 0 16987 0
vsize: 69152
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 22571 0 0 0 48953 60 0 0 25 0 1 0 966904481 70811648 13528 4294967295 134512640 135730672 3221224592 3221222896 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17288 13528 301 301 0 16987 0
vsize: 69152
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 22886 0 0 0 49953 61 0 0 25 0 1 0 966904481 71213056 13610 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17386 13610 301 301 0 17085 0
vsize: 69544
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 23146 0 0 0 50952 62 0 0 25 0 1 0 966904481 71348224 13670 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17419 13670 301 301 0 17118 0
vsize: 69676
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 23410 0 0 0 51952 63 0 0 25 0 1 0 966904481 71348224 13734 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17419 13734 301 301 0 17118 0
vsize: 69676
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 23459 0 0 0 52952 63 0 0 25 0 1 0 966904481 71495680 13783 4294967295 134512640 135730672 3221224592 3221222880 134747701 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17455 13783 301 301 0 17154 0
vsize: 69820
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 23766 0 0 0 53952 63 0 0 25 0 1 0 966904481 71671808 13890 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17498 13890 301 301 0 17197 0
vsize: 69992
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 24012 0 0 0 54952 64 0 0 25 0 1 0 966904481 71806976 13936 4294967295 134512640 135730672 3221224592 3221222880 134747892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17531 13936 301 301 0 17230 0
vsize: 70124
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 24247 0 0 0 55952 64 0 0 25 0 1 0 966904481 71806976 13971 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17531 13971 301 301 0 17230 0
vsize: 70124
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 24459 0 0 0 56951 66 0 0 25 0 1 0 966904481 72880128 14183 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17793 14183 301 301 0 17492 0
vsize: 71172
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 24663 0 0 0 57951 66 0 0 25 0 1 0 966904481 72880128 14187 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17793 14187 301 301 0 17492 0
vsize: 71172
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 24865 0 0 0 58951 66 0 0 25 0 1 0 966904481 72880128 14189 4294967295 134512640 135730672 3221224592 3221222976 134763817 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17793 14189 301 301 0 17492 0
vsize: 71172
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 24869 0 0 0 59951 67 0 0 25 0 1 0 966904481 72880128 14193 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17793 14193 301 301 0 17492 0
vsize: 71172
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 25192 0 0 0 60950 68 0 0 25 0 1 0 966904481 73469952 14316 4294967295 134512640 135730672 3221224592 3221222880 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17937 14316 301 301 0 17636 0
vsize: 71748
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 25414 0 0 0 61950 68 0 0 25 0 1 0 966904481 73605120 14338 4294967295 134512640 135730672 3221224592 3221222880 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17970 14338 301 301 0 17669 0
vsize: 71880
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 25490 0 0 0 62950 69 0 0 25 0 1 0 966904481 74072064 14414 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18084 14414 301 301 0 17783 0
vsize: 72336
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 25696 0 0 0 63949 69 0 0 25 0 1 0 966904481 74072064 14420 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18084 14420 301 301 0 17783 0
vsize: 72336
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 25901 0 0 0 64949 70 0 0 25 0 1 0 966904481 74072064 14425 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18084 14425 301 301 0 17783 0
vsize: 72336
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 25924 0 0 0 65949 70 0 0 25 0 1 0 966904481 74207232 14448 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18117 14448 301 301 0 17816 0
vsize: 72468
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 26127 0 0 0 66949 71 0 0 25 0 1 0 966904481 74207232 14451 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18117 14451 301 301 0 17816 0
vsize: 72468
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 26130 0 0 0 67949 71 0 0 25 0 1 0 966904481 74207232 14454 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18117 14454 301 301 0 17816 0
vsize: 72468
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 26375 0 0 0 68949 72 0 0 25 0 1 0 966904481 74477568 14499 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18183 14499 301 301 0 17882 0
vsize: 72732
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 26378 0 0 0 69949 72 0 0 25 0 1 0 966904481 74477568 14502 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18183 14502 301 301 0 17882 0
vsize: 72732
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 26580 0 0 0 70949 73 0 0 25 0 1 0 966904481 74477568 14504 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18183 14504 301 301 0 17882 0
vsize: 72732
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 26583 0 0 0 71949 73 0 0 25 0 1 0 966904481 74477568 14507 4294967295 134512640 135730672 3221224592 3221222880 134747892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18183 14507 301 301 0 17882 0
vsize: 72732
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 26595 0 0 0 72949 73 0 0 25 0 1 0 966904481 74477568 14519 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18183 14519 301 301 0 17882 0
vsize: 72732
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 26598 0 0 0 73949 74 0 0 25 0 1 0 966904481 74477568 14522 4294967295 134512640 135730672 3221224592 3221223072 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18183 14522 301 301 0 17882 0
vsize: 72732
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 26646 0 0 0 74949 74 0 0 25 0 1 0 966904481 74612736 14570 4294967295 134512640 135730672 3221224592 3221222976 134763582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18216 14570 301 301 0 17915 0
vsize: 72864
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 26663 0 0 0 75949 74 0 0 25 0 1 0 966904481 74612736 14587 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18216 14587 301 301 0 17915 0
vsize: 72864
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 26928 0 0 0 76949 75 0 0 25 0 1 0 966904481 74612736 14652 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18216 14652 301 301 0 17915 0
vsize: 72864
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 27000 0 0 0 77949 75 0 0 25 0 1 0 966904481 74612736 14724 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18216 14724 301 301 0 17915 0
vsize: 72864
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 27054 0 0 0 78948 77 0 0 25 0 1 0 966904481 74612736 14778 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18216 14778 301 301 0 17915 0
vsize: 72864
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 27120 0 0 0 79948 77 0 0 25 0 1 0 966904481 74612736 14844 4294967295 134512640 135730672 3221224592 3221222880 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18216 14844 301 301 0 17915 0
vsize: 72864
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 27168 0 0 0 80947 78 0 0 25 0 1 0 966904481 74612736 14892 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18216 14892 301 301 0 17915 0
vsize: 72864
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 27227 0 0 0 81947 79 0 0 25 0 1 0 966904481 74612736 14951 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18216 14951 301 301 0 17915 0
vsize: 72864
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 27280 0 0 0 82947 79 0 0 25 0 1 0 966904481 74612736 15004 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18216 15004 301 301 0 17915 0
vsize: 72864
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 27318 0 0 0 83947 79 0 0 25 0 1 0 966904481 74612736 15042 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18216 15042 301 301 0 17915 0
vsize: 72864
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 27541 0 0 0 84947 80 0 0 25 0 1 0 966904481 74612736 15065 4294967295 134512640 135730672 3221224592 3221222880 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18216 15065 301 301 0 17915 0
vsize: 72864
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 27751 0 0 0 85946 81 0 0 25 0 1 0 966904481 74612736 15075 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18216 15075 301 301 0 17915 0
vsize: 72864
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 27958 0 0 0 86946 82 0 0 25 0 1 0 966904481 74612736 15082 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18216 15082 301 301 0 17915 0
vsize: 72864
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 28170 0 0 0 87946 82 0 0 25 0 1 0 966904481 74743808 15094 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18248 15094 301 301 0 17947 0
vsize: 72992
[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 28381 0 0 0 88945 83 0 0 25 0 1 0 966904481 74743808 15105 4294967295 134512640 135730672 3221224592 3221222976 134747724 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18248 15105 301 301 0 17947 0
vsize: 72992
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 28592 0 0 0 89945 84 0 0 25 0 1 0 966904481 74743808 15116 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18248 15116 301 301 0 17947 0
vsize: 72992
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 28801 0 0 0 90945 84 0 0 25 0 1 0 966904481 74743808 15125 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18248 15125 301 301 0 17947 0
vsize: 72992
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 29009 0 0 0 91944 85 0 0 25 0 1 0 966904481 74743808 15133 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18248 15133 301 301 0 17947 0
vsize: 72992
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 29220 0 0 0 92944 86 0 0 25 0 1 0 966904481 74743808 15144 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18248 15144 301 301 0 17947 0
vsize: 72992
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 29431 0 0 0 93944 86 0 0 25 0 1 0 966904481 74878976 15155 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18281 15155 301 301 0 17980 0
vsize: 73124
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 29639 0 0 0 94944 87 0 0 25 0 1 0 966904481 75698176 15363 4294967295 134512640 135730672 3221224592 3221222560 134769202 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18481 15363 301 301 0 18180 0
vsize: 73924
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 29653 0 0 0 95944 87 0 0 25 0 1 0 966904481 74878976 15177 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18281 15177 301 301 0 17980 0
vsize: 73124
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 29862 0 0 0 96943 88 0 0 25 0 1 0 966904481 74878976 15186 4294967295 134512640 135730672 3221224592 3221223008 134748170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18281 15186 301 301 0 17980 0
vsize: 73124
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 29874 0 0 0 97943 88 0 0 25 0 1 0 966904481 75014144 15198 4294967295 134512640 135730672 3221224592 3221222896 135282478 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18314 15198 301 301 0 18013 0
vsize: 73256
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 29886 0 0 0 98943 89 0 0 25 0 1 0 966904481 75014144 15210 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18314 15210 301 301 0 18013 0
vsize: 73256
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 29891 0 0 0 99943 89 0 0 25 0 1 0 966904481 75014144 15215 4294967295 134512640 135730672 3221224592 3221223072 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18314 15215 301 301 0 18013 0
vsize: 73256
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 30099 0 0 0 100942 91 0 0 25 0 1 0 966904481 75014144 15223 4294967295 134512640 135730672 3221224592 3221222704 134732493 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18314 15223 301 301 0 18013 0
vsize: 73256
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 30149 0 0 0 101942 91 0 0 25 0 1 0 966904481 75014144 15273 4294967295 134512640 135730672 3221224592 3221222880 134747597 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18314 15273 301 301 0 18013 0
vsize: 73256
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 30233 0 0 0 102941 92 0 0 25 0 1 0 966904481 75014144 15357 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18314 15357 301 301 0 18013 0
vsize: 73256
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 30311 0 0 0 103941 93 0 0 25 0 1 0 966904481 75014144 15435 4294967295 134512640 135730672 3221224592 3221222976 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18314 15435 301 301 0 18013 0
vsize: 73256
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 30394 0 0 0 104941 93 0 0 25 0 1 0 966904481 75145216 15518 4294967295 134512640 135730672 3221224592 3221222880 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18346 15518 301 301 0 18045 0
vsize: 73384
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13241
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 30524 0 0 0 105941 93 0 0 25 0 1 0 966904481 75280384 15648 4294967295 134512640 135730672 3221224592 3221222896 134746077 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18379 15648 301 301 0 18078 0
vsize: 73516
[startup+1070.04 s]
Raw data (loadavg): 1.07 0.99 0.91 3/57 13289
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 30943 0 0 0 106934 100 0 0 25 0 1 0 966904481 75411456 15667 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18411 15667 301 301 0 18110 0
vsize: 73644
[startup+1080.04 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 13294
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 31161 0 0 0 107931 103 0 0 25 0 1 0 966904481 75411456 15685 4294967295 134512640 135730672 3221224592 3221222880 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18411 15685 301 301 0 18110 0
vsize: 73644
[startup+1090.04 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 13294
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 31578 0 0 0 108930 105 0 0 25 0 1 0 966904481 75550720 15702 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18445 15702 301 301 0 18144 0
vsize: 73780
[startup+1100.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 13294
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 31793 0 0 0 109930 106 0 0 25 0 1 0 966904481 75550720 15717 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18445 15717 301 301 0 18144 0
vsize: 73780
[startup+1110.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 13294
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 32001 0 0 0 110929 106 0 0 25 0 1 0 966904481 75550720 15725 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18445 15725 301 301 0 18144 0
vsize: 73780
[startup+1120.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13294
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 32413 0 0 0 111928 108 0 0 25 0 1 0 966904481 75550720 15737 4294967295 134512640 135730672 3221224592 3221223040 134734786 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18445 15737 301 301 0 18144 0
vsize: 73780
[startup+1130.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13294
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 32629 0 0 0 112928 109 0 0 25 0 1 0 966904481 75550720 15753 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18445 15753 301 301 0 18144 0
vsize: 73780
[startup+1140.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13296
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 32645 0 0 0 113928 109 0 0 25 0 1 0 966904481 75689984 15769 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18479 15769 301 301 0 18178 0
vsize: 73916
[startup+1150.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13296
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 32858 0 0 0 114927 110 0 0 25 0 1 0 966904481 75689984 15782 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18479 15782 301 301 0 18178 0
vsize: 73916
[startup+1160.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13296
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 33267 0 0 0 115927 111 0 0 25 0 1 0 966904481 75689984 15791 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18479 15791 301 301 0 18178 0
vsize: 73916
[startup+1170.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13296
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 33479 0 0 0 116926 111 0 0 25 0 1 0 966904481 75689984 15803 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18479 15803 301 301 0 18178 0
vsize: 73916
[startup+1180.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13296
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 33690 0 0 0 117926 112 0 0 25 0 1 0 966904481 75825152 15814 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18512 15814 301 301 0 18211 0
vsize: 74048
[startup+1190.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13296
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 33905 0 0 0 118925 113 0 0 25 0 1 0 966904481 75825152 15829 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18512 15829 301 301 0 18211 0
vsize: 74048
[startup+1200.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13296
Raw data (stat): 13241 (pb2sat-v2) R 13240 25568 25567 0 -1 0 34114 0 0 0 119925 114 0 0 25 0 1 0 966904481 75825152 15838 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18512 15838 301 301 0 18211 0
vsize: 74048
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.56 s]
Raw data (loadavg): 1.01 0.99 0.91 1/54 13296
Raw data (stat): 13241 (pb2sat-v2) Z 13240 25568 25567 0 -1 12 34116 0 0 0 119973 117 0 0 25 0 1 0 966904481 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.56
CPU time (s): 1200.91
CPU user time (s): 1199.74
CPU system time (s): 1.17482
CPU usage (%): 100.029
Max. virtual memory (Kb): 74048
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####