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-1.opb
MD5SUM	84d0b0ba659c599a6c66454cd956a06b
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.04684
Number of variables	450
Total number of constraints	17827
Number of constraints which are clauses	17827
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 42196

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        847360 kB
Buffers:         34216 kB
Cached:         127664 kB
SwapCached:       4448 kB
Active:          61448 kB
Inactive:       105472 kB
HighTotal:      131008 kB
HighFree:        15344 kB
LowTotal:       903652 kB
LowFree:        832016 kB
SwapTotal:     2097136 kB
SwapFree:      2091696 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14732 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 02:01:49 (client local time) WITH STATUS 10 IN 1200.71 SECONDS
stats: 25412 0 1200.71 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: 40586/102388	Time: 26.583/86400
c Decision: 44824/102388	Time: 110.172/86400
c [startup+244.221 s]  setting bit 8 to 0

c Decision: 19507/102388	Time: 129.171/86400
c Decision: 19507/102388	Time: 142.636/86400
c Decision: 19507/102388	Time: 156.677/86400
c Decision: 19508/102388	Time: 180.046/86400
c Decision: 19509/102388	Time: 194.257/86400
c Decision: 22839/102388	Time: 208.298/86400
c Decision: 22839/102388	Time: 220.632/86400
c Decision: 23419/102388	Time: 246.347/86400
c Decision: 23419/102388	Time: 258.485/86400
c Decision: 23419/102388	Time: 273.162/86400
c Decision: 23419/102388	Time: 288.567/86400
c Decision: 23419/102388	Time: 303.351/86400
c Decision: 24109/102388	Time: 327.489/86400
c [startup+620.762 s]  setting bit 7 to 0

c Decision: 46026/102388	Time: 71.6941/86400
c Decision: 46026/102388	Time: 80.4888/86400
c Decision: 46026/102388	Time: 88.9285/86400
c Decision: 46026/102388	Time: 95.1175/86400
c Decision: 46026/102388	Time: 104.014/86400
c Decision: 46026/102388	Time: 112.768/86400
c Decision: 46026/102388	Time: 122.8/86400
c Decision: 46026/102388	Time: 130.663/86400
c Decision: 46026/102388	Time: 139.271/86400
c Decision: 46026/102388	Time: 149.831/86400
c Decision: 46026/102388	Time: 160.75/86400
c Decision: 46026/102388	Time: 173.21/86400
c Decision: 46026/102388	Time: 184.055/86400
c Decision: 46026/102388	Time: 195.411/86400
c Decision: 46026/102388	Time: 206.807/86400
c Decision: 46026/102388	Time: 220.203/86400
c Decision: 46026/102388	Time: 231.898/86400
c Decision: 46026/102388	Time: 244.842/86400
c Decision: 46026/102388	Time: 258.398/86400
c Decision: 46026/102388	Time: 273.219/86400
c Decision: 46026/102388	Time: 286.976/86400
c [startup+954.593 s]  setting bit 6 to 0

c Decision: 43210/102388	Time: 79.8069/86400
c Decision: 43210/102388	Time: 87.8376/86400
c Decision: 43210/102388	Time: 95.3905/86400
c Decision: 43210/102388	Time: 102.19/86400
c Decision: 43210/102388	Time: 108.448/86400
c Decision: 43210/102388	Time: 117.652/86400
c Decision: 43210/102388	Time: 125.487/86400
c Decision: 43210/102388	Time: 133.679/86400
c Decision: 43210/102388	Time: 142.282/86400
c Decision: 43210/102388	Time: 151.872/86400
c Decision: 43210/102388	Time: 160.011/86400
c Decision: 43210/102388	Time: 168.337/86400
c Decision: 43210/102388	Time: 177.841/86400
c Decision: 43210/102388	Time: 186.994/86400
c Decision: 43210/102388	Time: 196.456/86400
c Decision: 43210/102388	Time: 205.531/86400
c Decision: 43210/102388	Time: 214.968/86400
c Decision: 43210/102388	Time: 227.693/86400
c Decision: 43210/102388	Time: 237.47/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.72 0.91 0.89 2/54 2442
Raw data (stat): 2442 (runsolver) R 2441 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966888111 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.0009 s]
Raw data (loadavg): 0.76 0.91 0.89 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 15780 0 0 0 962 37 0 0 25 0 1 0 966888111 49614848 10129 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12113 10129 301 301 0 11812 0
vsize: 48452
[startup+20.0016 s]
Raw data (loadavg): 0.80 0.91 0.89 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 16274 0 0 0 1961 38 0 0 25 0 1 0 966888111 52240384 10590 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12754 10590 301 301 0 12453 0
vsize: 51016
[startup+30.0009 s]
Raw data (loadavg): 0.83 0.91 0.89 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 16300 0 0 0 2961 39 0 0 25 0 1 0 966888111 52240384 10616 4294967295 134512640 135730672 3221224592 3221222928 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12754 10616 301 301 0 12453 0
vsize: 51016
[startup+40.0007 s]
Raw data (loadavg): 0.86 0.92 0.89 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 16751 0 0 0 3959 40 0 0 25 0 1 0 966888111 53297152 10834 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13012 10834 301 301 0 12711 0
vsize: 52048
[startup+50.0006 s]
Raw data (loadavg): 0.88 0.92 0.89 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 16799 0 0 0 4959 40 0 0 25 0 1 0 966888111 53432320 10882 4294967295 134512640 135730672 3221224592 3221222976 134763582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13045 10882 301 301 0 12744 0
vsize: 52180
[startup+60.001 s]
Raw data (loadavg): 0.90 0.92 0.90 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 16888 0 0 0 5959 41 0 0 25 0 1 0 966888111 53698560 10938 4294967295 134512640 135730672 3221224592 3221222880 134747516 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13110 10938 301 301 0 12809 0
vsize: 52440
[startup+70.002 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 16906 0 0 0 6959 41 0 0 25 0 1 0 966888111 53698560 10956 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13110 10956 301 301 0 12809 0
vsize: 52440
[startup+80.0017 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 16978 0 0 0 7959 41 0 0 25 0 1 0 966888111 53829632 10995 4294967295 134512640 135730672 3221224592 3221222976 134763582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13142 10995 301 301 0 12841 0
vsize: 52568
[startup+90.002 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 16992 0 0 0 8958 42 0 0 25 0 1 0 966888111 53829632 11009 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13142 11009 301 301 0 12841 0
vsize: 52568
[startup+100.002 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 17013 0 0 0 9958 42 0 0 25 0 1 0 966888111 53829632 11030 4294967295 134512640 135730672 3221224592 3221223008 134748132 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13142 11030 301 301 0 12841 0
vsize: 52568
[startup+110.003 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 17032 0 0 0 10959 42 0 0 25 0 1 0 966888111 53829632 11049 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13142 11049 301 301 0 12841 0
vsize: 52568
[startup+120.003 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 17270 0 0 0 11958 43 0 0 25 0 1 0 966888111 53964800 11087 4294967295 134512640 135730672 3221224592 3221222720 134730214 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13175 11087 301 301 0 12874 0
vsize: 52700
[startup+130.003 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 17406 0 0 0 12957 43 0 0 25 0 1 0 966888111 54554624 11223 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13319 11223 301 301 0 13018 0
vsize: 53276
[startup+140.004 s]
Raw data (loadavg): 0.97 0.94 0.90 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 17421 0 0 0 13957 43 0 0 25 0 1 0 966888111 54554624 11238 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13319 11238 301 301 0 13018 0
vsize: 53276
[startup+150.004 s]
Raw data (loadavg): 0.97 0.94 0.90 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 17436 0 0 0 14957 43 0 0 25 0 1 0 966888111 54554624 11253 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13319 11253 301 301 0 13018 0
vsize: 53276
[startup+160.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 17451 0 0 0 15957 44 0 0 25 0 1 0 966888111 54554624 11268 4294967295 134512640 135730672 3221224592 3221222976 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13319 11268 301 301 0 13018 0
vsize: 53276
[startup+170.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 17468 0 0 0 16957 44 0 0 25 0 1 0 966888111 54554624 11285 4294967295 134512640 135730672 3221224592 3221222976 134763576 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13319 11285 301 301 0 13018 0
vsize: 53276
[startup+180.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 17505 0 0 0 17957 44 0 0 25 0 1 0 966888111 54751232 11322 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13367 11322 301 301 0 13066 0
vsize: 53468
[startup+190.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 17520 0 0 0 18957 45 0 0 25 0 1 0 966888111 54751232 11337 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13367 11337 301 301 0 13066 0
vsize: 53468
[startup+200.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 17535 0 0 0 19957 45 0 0 25 0 1 0 966888111 54751232 11352 4294967295 134512640 135730672 3221224592 3221222712 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13367 11352 301 301 0 13066 0
vsize: 53468
[startup+210.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 17552 0 0 0 20957 45 0 0 25 0 1 0 966888111 54751232 11369 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13367 11369 301 301 0 13066 0
vsize: 53468
[startup+220.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 17576 0 0 0 21957 45 0 0 25 0 1 0 966888111 54751232 11393 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13367 11393 301 301 0 13066 0
vsize: 53468
[startup+230.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 17602 0 0 0 22957 45 0 0 25 0 1 0 966888111 54751232 11419 4294967295 134512640 135730672 3221224592 3221223040 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13367 11419 301 301 0 13066 0
vsize: 53468
[startup+240.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 17694 0 0 0 23957 46 0 0 25 0 1 0 966888111 55148544 11446 4294967295 134512640 135730672 3221224592 3221222972 134747446 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13464 11446 301 301 0 13163 0
vsize: 53856
[startup+250.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 17966 0 0 0 24955 47 0 0 25 0 1 0 966888111 55148544 11518 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13464 11518 301 301 0 13163 0
vsize: 53856
[startup+260.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 18022 0 0 0 25955 47 0 0 25 0 1 0 966888111 55148544 11574 4294967295 134512640 135730672 3221224592 3221222880 134747634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13464 11574 301 301 0 13163 0
vsize: 53856
[startup+270.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 18073 0 0 0 26955 47 0 0 25 0 1 0 966888111 55148544 11625 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13464 11625 301 301 0 13163 0
vsize: 53856
[startup+280.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 18130 0 0 0 27955 48 0 0 25 0 1 0 966888111 55279616 11682 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13496 11682 301 301 0 13195 0
vsize: 53984
[startup+290.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 18191 0 0 0 28955 48 0 0 25 0 1 0 966888111 55279616 11743 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13496 11743 301 301 0 13195 0
vsize: 53984
[startup+300.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 18273 0 0 0 29954 49 0 0 25 0 1 0 966888111 55435264 11825 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13534 11825 301 301 0 13233 0
vsize: 54136
[startup+310.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 18327 0 0 0 30954 49 0 0 25 0 1 0 966888111 55435264 11879 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13534 11879 301 301 0 13233 0
vsize: 54136
[startup+320.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 18377 0 0 0 31954 49 0 0 25 0 1 0 966888111 63823872 11929 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15582 11929 301 301 0 15281 0
vsize: 62328
[startup+330.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 18437 0 0 0 32954 50 0 0 25 0 1 0 966888111 63959040 11989 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15615 11989 301 301 0 15314 0
vsize: 62460
[startup+340.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 18530 0 0 0 33954 50 0 0 25 0 1 0 966888111 64098304 12082 4294967295 134512640 135730672 3221224592 3221222880 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15649 12082 301 301 0 15348 0
vsize: 62596
[startup+350.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 18588 0 0 0 34953 50 0 0 25 0 1 0 966888111 64233472 12140 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15682 12140 301 301 0 15381 0
vsize: 62728
[startup+360.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 18636 0 0 0 35953 50 0 0 25 0 1 0 966888111 64233472 12188 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15682 12188 301 301 0 15381 0
vsize: 62728
[startup+370.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 18713 0 0 0 36953 51 0 0 25 0 1 0 966888111 64532480 12265 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15755 12265 301 301 0 15454 0
vsize: 63020
[startup+380.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 18934 0 0 0 37952 51 0 0 25 0 1 0 966888111 64532480 12286 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15755 12286 301 301 0 15454 0
vsize: 63020
[startup+390.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 19184 0 0 0 38951 53 0 0 25 0 1 0 966888111 64667648 12336 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15788 12336 301 301 0 15487 0
vsize: 63152
[startup+400.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 19211 0 0 0 39951 53 0 0 25 0 1 0 966888111 64667648 12363 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15788 12363 301 301 0 15487 0
vsize: 63152
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 19473 0 0 0 40951 54 0 0 25 0 1 0 966888111 64806912 12425 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15822 12425 301 301 0 15521 0
vsize: 63288
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 19533 0 0 0 41951 54 0 0 25 0 1 0 966888111 64942080 12485 4294967295 134512640 135730672 3221224592 3221222928 134740208 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15855 12485 301 301 0 15554 0
vsize: 63420
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 19773 0 0 0 42950 55 0 0 25 0 1 0 966888111 64942080 12525 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15855 12525 301 301 0 15554 0
vsize: 63420
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 20014 0 0 0 43950 55 0 0 25 0 1 0 966888111 64942080 12566 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15855 12566 301 301 0 15554 0
vsize: 63420
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 20059 0 0 0 44949 56 0 0 25 0 1 0 966888111 65077248 12611 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15888 12611 301 301 0 15587 0
vsize: 63552
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 20277 0 0 0 45949 56 0 0 25 0 1 0 966888111 65077248 12629 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15888 12629 301 301 0 15587 0
vsize: 63552
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 20494 0 0 0 46949 57 0 0 25 0 1 0 966888111 65077248 12646 4294967295 134512640 135730672 3221224592 3221223072 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15888 12646 301 301 0 15587 0
vsize: 63552
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 20501 0 0 0 47948 57 0 0 25 0 1 0 966888111 65077248 12653 4294967295 134512640 135730672 3221224592 3221222880 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15888 12653 301 301 0 15587 0
vsize: 63552
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 20507 0 0 0 48948 57 0 0 25 0 1 0 966888111 65220608 12659 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15923 12659 301 301 0 15622 0
vsize: 63692
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 20794 0 0 0 49948 58 0 0 25 0 1 0 966888111 65548288 12746 4294967295 134512640 135730672 3221224592 3221222880 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16003 12746 301 301 0 15702 0
vsize: 64012
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 20997 0 0 0 50947 59 0 0 25 0 1 0 966888111 65548288 12749 4294967295 134512640 135730672 3221224592 3221223008 134748079 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16003 12749 301 301 0 15702 0
vsize: 64012
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 21210 0 0 0 51947 60 0 0 25 0 1 0 966888111 65548288 12762 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16003 12762 301 301 0 15702 0
vsize: 64012
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 21219 0 0 0 52947 60 0 0 25 0 1 0 966888111 65548288 12771 4294967295 134512640 135730672 3221224592 3221223040 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16003 12771 301 301 0 15702 0
vsize: 64012
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 21422 0 0 0 53946 60 0 0 25 0 1 0 966888111 65548288 12774 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16003 12774 301 301 0 15702 0
vsize: 64012
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 21627 0 0 0 54946 61 0 0 25 0 1 0 966888111 65695744 12779 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16039 12779 301 301 0 15738 0
vsize: 64156
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 21633 0 0 0 55946 61 0 0 25 0 1 0 966888111 65695744 12785 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16039 12785 301 301 0 15738 0
vsize: 64156
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 21638 0 0 0 56946 61 0 0 25 0 1 0 966888111 65695744 12790 4294967295 134512640 135730672 3221224592 3221222880 134747783 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16039 12790 301 301 0 15738 0
vsize: 64156
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 21848 0 0 0 57946 62 0 0 25 0 1 0 966888111 65695744 12800 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16039 12800 301 301 0 15738 0
vsize: 64156
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 21851 0 0 0 58946 62 0 0 25 0 1 0 966888111 65695744 12803 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16039 12803 301 301 0 15738 0
vsize: 64156
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 21866 0 0 0 59946 62 0 0 25 0 1 0 966888111 65695744 12818 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16039 12818 301 301 0 15738 0
vsize: 64156
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 21874 0 0 0 60946 62 0 0 25 0 1 0 966888111 65695744 12826 4294967295 134512640 135730672 3221224592 3221223040 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16039 12826 301 301 0 15738 0
vsize: 64156
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 21879 0 0 0 61946 62 0 0 25 0 1 0 966888111 65695744 12831 4294967295 134512640 135730672 3221224592 3221222880 134747960 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16039 12831 301 301 0 15738 0
vsize: 64156
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 22096 0 0 0 62945 64 0 0 25 0 1 0 966888111 65859584 12848 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16079 12848 301 301 0 15778 0
vsize: 64316
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 22150 0 0 0 63944 64 0 0 25 0 1 0 966888111 66023424 12902 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16119 12902 301 301 0 15818 0
vsize: 64476
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 22201 0 0 0 64944 65 0 0 25 0 1 0 966888111 66023424 12953 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16119 12953 301 301 0 15818 0
vsize: 64476
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 22246 0 0 0 65944 65 0 0 25 0 1 0 966888111 66023424 12998 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16119 12998 301 301 0 15818 0
vsize: 64476
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 22292 0 0 0 66944 66 0 0 25 0 1 0 966888111 66023424 13044 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16119 13044 301 301 0 15818 0
vsize: 64476
[startup+680.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 22441 0 0 0 67943 66 0 0 25 0 1 0 966888111 66514944 13193 4294967295 134512640 135730672 3221224592 3221223008 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16239 13193 301 301 0 15938 0
vsize: 64956
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 22499 0 0 0 68943 66 0 0 25 0 1 0 966888111 66514944 13251 4294967295 134512640 135730672 3221224592 3221222928 134740314 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16239 13251 301 301 0 15938 0
vsize: 64956
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 22711 0 0 0 69942 67 0 0 25 0 1 0 966888111 66514944 13263 4294967295 134512640 135730672 3221224592 3221222456 135284405 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16239 13263 301 301 0 15938 0
vsize: 64956
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 23116 0 0 0 70941 69 0 0 25 0 1 0 966888111 66514944 13268 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16239 13268 301 301 0 15938 0
vsize: 64956
[startup+720.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 23326 0 0 0 71941 69 0 0 25 0 1 0 966888111 66514944 13278 4294967295 134512640 135730672 3221224592 3221222880 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16239 13278 301 301 0 15938 0
vsize: 64956
[startup+730.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 23345 0 0 0 72940 70 0 0 25 0 1 0 966888111 66650112 13297 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16272 13297 301 301 0 15971 0
vsize: 65088
[startup+740.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 23568 0 0 0 73940 71 0 0 25 0 1 0 966888111 66650112 13320 4294967295 134512640 135730672 3221224592 3221222976 134747724 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16272 13320 301 301 0 15971 0
vsize: 65088
[startup+750.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 23777 0 0 0 74939 71 0 0 25 0 1 0 966888111 66650112 13329 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16272 13329 301 301 0 15971 0
vsize: 65088
[startup+760.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 24206 0 0 0 75938 72 0 0 25 0 1 0 966888111 66785280 13358 4294967295 134512640 135730672 3221224592 3221223008 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16305 13358 301 301 0 16004 0
vsize: 65220
[startup+770.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 24261 0 0 0 76938 73 0 0 25 0 1 0 966888111 66785280 13413 4294967295 134512640 135730672 3221224592 3221222880 134747634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16305 13413 301 301 0 16004 0
vsize: 65220
[startup+780.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 24503 0 0 0 77938 74 0 0 25 0 1 0 966888111 66785280 13455 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16305 13455 301 301 0 16004 0
vsize: 65220
[startup+790.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 24740 0 0 0 78937 74 0 0 25 0 1 0 966888111 66785280 13492 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16305 13492 301 301 0 16004 0
vsize: 65220
[startup+800.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 24985 0 0 0 79936 75 0 0 25 0 1 0 966888111 66924544 13537 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16339 13537 301 301 0 16038 0
vsize: 65356
[startup+810.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 25229 0 0 0 80936 76 0 0 25 0 1 0 966888111 66924544 13581 4294967295 134512640 135730672 3221224592 3221222880 134747862 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16339 13581 301 301 0 16038 0
vsize: 65356
[startup+820.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 25471 0 0 0 81936 76 0 0 25 0 1 0 966888111 66924544 13623 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16339 13623 301 301 0 16038 0
vsize: 65356
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 25711 0 0 0 82935 77 0 0 25 0 1 0 966888111 66924544 13663 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16339 13663 301 301 0 16038 0
vsize: 65356
[startup+840.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 25747 0 0 0 83936 77 0 0 25 0 1 0 966888111 67063808 13699 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16373 13699 301 301 0 16072 0
vsize: 65492
[startup+850.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 25958 0 0 0 84934 78 0 0 25 0 1 0 966888111 67063808 13710 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16373 13710 301 301 0 16072 0
vsize: 65492
[startup+860.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 26172 0 0 0 85934 79 0 0 25 0 1 0 966888111 67063808 13724 4294967295 134512640 135730672 3221224592 3221222880 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16373 13724 301 301 0 16072 0
vsize: 65492
[startup+870.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 26394 0 0 0 86933 80 0 0 25 0 1 0 966888111 67203072 13746 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16407 13746 301 301 0 16106 0
vsize: 65628
[startup+880.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 26606 0 0 0 87933 80 0 0 25 0 1 0 966888111 67203072 13758 4294967295 134512640 135730672 3221224592 3221222880 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16407 13758 301 301 0 16106 0
vsize: 65628
[startup+890.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 26613 0 0 0 88933 80 0 0 25 0 1 0 966888111 67203072 13765 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16407 13765 301 301 0 16106 0
vsize: 65628
[startup+900.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 26819 0 0 0 89933 80 0 0 25 0 1 0 966888111 67203072 13771 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16407 13771 301 301 0 16106 0
vsize: 65628
[startup+910.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 27028 0 0 0 90933 81 0 0 25 0 1 0 966888111 67203072 13780 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16407 13780 301 301 0 16106 0
vsize: 65628
[startup+920.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 27040 0 0 0 91933 81 0 0 25 0 1 0 966888111 67342336 13792 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16441 13792 301 301 0 16140 0
vsize: 65764
[startup+930.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 27052 0 0 0 92933 82 0 0 25 0 1 0 966888111 67342336 13804 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16441 13804 301 301 0 16140 0
vsize: 65764
[startup+940.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 27063 0 0 0 93933 82 0 0 25 0 1 0 966888111 67342336 13815 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16441 13815 301 301 0 16140 0
vsize: 65764
[startup+950.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 27076 0 0 0 94932 82 0 0 25 0 1 0 966888111 67481600 13828 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16475 13828 301 301 0 16174 0
vsize: 65900
[startup+960.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 27308 0 0 0 95932 83 0 0 25 0 1 0 966888111 67481600 13860 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16475 13860 301 301 0 16174 0
vsize: 65900
[startup+970.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 27410 0 0 0 96931 83 0 0 25 0 1 0 966888111 67481600 13962 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16475 13962 301 301 0 16174 0
vsize: 65900
[startup+980.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 27500 0 0 0 97931 84 0 0 25 0 1 0 966888111 67481600 14052 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16475 14052 301 301 0 16174 0
vsize: 65900
[startup+990.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 27575 0 0 0 98930 85 0 0 25 0 1 0 966888111 67481600 14127 4294967295 134512640 135730672 3221224592 3221222880 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16475 14127 301 301 0 16174 0
vsize: 65900
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 27679 0 0 0 99930 85 0 0 25 0 1 0 966888111 67637248 14231 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16513 14231 301 301 0 16212 0
vsize: 66052
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 27803 0 0 0 100930 86 0 0 25 0 1 0 966888111 67915776 14355 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16581 14355 301 301 0 16280 0
vsize: 66324
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 27893 0 0 0 101930 86 0 0 25 0 1 0 966888111 67915776 14445 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16581 14445 301 301 0 16280 0
vsize: 66324
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 27977 0 0 0 102929 87 0 0 25 0 1 0 966888111 67915776 14529 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16581 14529 301 301 0 16280 0
vsize: 66324
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 28270 0 0 0 103928 88 0 0 25 0 1 0 966888111 67915776 14622 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16581 14622 301 301 0 16280 0
vsize: 66324
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 28722 0 0 0 104927 90 0 0 25 0 1 0 966888111 68063232 14674 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16617 14674 301 301 0 16316 0
vsize: 66468
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 28816 0 0 0 105926 91 0 0 25 0 1 0 966888111 68063232 14768 4294967295 134512640 135730672 3221224592 3221222704 134732723 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16617 14768 301 301 0 16316 0
vsize: 66468
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 28941 0 0 0 106925 92 0 0 25 0 1 0 966888111 68608000 14893 4294967295 134512640 135730672 3221224592 3221222880 134747594 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16750 14893 301 301 0 16449 0
vsize: 67000
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 29186 0 0 0 107924 93 0 0 25 0 1 0 966888111 68608000 14938 4294967295 134512640 135730672 3221224592 3221222896 134746175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16750 14938 301 301 0 16449 0
vsize: 67000
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 29466 0 0 0 108923 94 0 0 25 0 1 0 966888111 68743168 15018 4294967295 134512640 135730672 3221224592 3221223040 134748670 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16783 15018 301 301 0 16482 0
vsize: 67132
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 29722 0 0 0 109922 95 0 0 25 0 1 0 966888111 68743168 15074 4294967295 134512640 135730672 3221224592 3221222880 134747945 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16783 15074 301 301 0 16482 0
vsize: 67132
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 29974 0 0 0 110921 96 0 0 25 0 1 0 966888111 68743168 15126 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16783 15126 301 301 0 16482 0
vsize: 67132
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 30220 0 0 0 111921 97 0 0 25 0 1 0 966888111 68743168 15172 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16783 15172 301 301 0 16482 0
vsize: 67132
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 30480 0 0 0 112920 98 0 0 25 0 1 0 966888111 68882432 15232 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16817 15232 301 301 0 16516 0
vsize: 67268
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 30747 0 0 0 113920 98 0 0 25 0 1 0 966888111 68882432 15299 4294967295 134512640 135730672 3221224592 3221222624 134786288 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16817 15299 301 301 0 16516 0
vsize: 67268
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 31042 0 0 0 114919 99 0 0 25 0 1 0 966888111 85798912 15394 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20947 15394 301 301 0 20646 0
vsize: 83788
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 31518 0 0 0 115918 100 0 0 25 0 1 0 966888111 85798912 15470 4294967295 134512640 135730672 3221224592 3221223008 134783328 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20947 15470 301 301 0 20646 0
vsize: 83788
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 31730 0 0 0 116917 101 0 0 25 0 1 0 966888111 85798912 15482 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20947 15482 301 301 0 20646 0
vsize: 83788
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 31757 0 0 0 117917 101 0 0 25 0 1 0 966888111 85798912 15509 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20947 15509 301 301 0 20646 0
vsize: 83788
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 32034 0 0 0 118917 102 0 0 25 0 1 0 966888111 85938176 15586 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20981 15586 301 301 0 20680 0
vsize: 83924
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2442
Raw data (stat): 2442 (pb2sat-v2) R 2441 31399 31398 0 -1 0 32306 0 0 0 119916 103 0 0 25 0 1 0 966888111 86085632 15658 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21017 15658 301 301 0 20716 0
vsize: 84068
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.52 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 2442
Raw data (stat): 2442 (pb2sat-v2) Z 2441 31399 31398 0 -1 12 32308 0 0 0 119963 106 0 0 25 0 1 0 966888111 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.52
CPU time (s): 1200.71
CPU user time (s): 1199.64
CPU system time (s): 1.06784
CPU usage (%): 100.015
Max. virtual memory (Kb): 84068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####