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-2.opb
MD5SUM	25130921f4384cc034832ca1cd52ec48
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.05584
Number of variables	450
Total number of constraints	17874
Number of constraints which are clauses	17874
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 42197

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        812680 kB
Buffers:         34292 kB
Cached:         164928 kB
SwapCached:        700 kB
Active:          73168 kB
Inactive:       128176 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        812428 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15000 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 02:02:43 (client local time) WITH STATUS 10 IN 1200.71 SECONDS
stats: 25413 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: 33884/102388	Time: 17.8333/86400
c Decision: 34119/102388	Time: 41.8936/86400
c Decision: 34119/102388	Time: 61.3487/86400
c Decision: 34377/102388	Time: 102.785/86400
c Decision: 35073/102388	Time: 139.863/86400
c [startup+398.196 s]  setting bit 8 to 0

c Decision: 12257/102388	Time: 73.2459/86400
c Decision: 12761/102388	Time: 89.3664/86400
c Decision: 12761/102388	Time: 102.818/86400
c Decision: 12761/102388	Time: 115.649/86400
c Decision: 12761/102388	Time: 128.515/86400
c Decision: 12761/102388	Time: 142.966/86400
c Decision: 12761/102388	Time: 155.667/86400
c Decision: 12761/102388	Time: 171.449/86400
c Decision: 12761/102388	Time: 185.916/86400
c Decision: 14250/102388	Time: 200.503/86400
c Decision: 15387/102388	Time: 225.405/86400
c Decision: 15387/102388	Time: 239.461/86400
c Decision: 17950/102388	Time: 257.991/86400
c Decision: 17993/102388	Time: 272.201/86400
c Decision: 17993/102388	Time: 284.475/86400
c Decision: 18046/102388	Time: 307.082/86400
c Decision: 18046/102388	Time: 321.589/86400
c Decision: 18046/102388	Time: 336.556/86400
c Decision: 18046/102388	Time: 352.756/86400
c Decision: 18046/102388	Time: 369.227/86400
c Decision: 20147/102388	Time: 397.994/86400
c Decision: 20345/102388	Time: 431.678/86400
c [startup+866.831 s]  setting bit 7 to 0

c Decision: 25933/102388	Time: 71.8831/86400
c Decision: 25933/102388	Time: 84.3682/86400
c Decision: 25933/102388	Time: 93.3128/86400
c Decision: 25935/102388	Time: 109.609/86400
c Decision: 25935/102388	Time: 121.086/86400
c Decision: 26109/102388	Time: 138.666/86400
c Decision: 26109/102388	Time: 150.422/86400
c Decision: 26207/102388	Time: 173.914/86400
c Decision: 26207/102388	Time: 185.405/86400
c Decision: 26207/102388	Time: 198.78/86400
c Decision: 26207/102388	Time: 214.415/86400
c [startup+1137.84 s]  setting bit 6 to 0

c Decision: 24456/102388	Time: 59.484/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.87 0.90 0.89 2/54 7334
Raw data (stat): 7334 (runsolver) R 7333 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966889583 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.89 0.91 0.89 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 16031 0 0 0 962 36 0 0 25 0 1 0 966889583 50880512 10347 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12422 10347 301 301 0 12121 0
vsize: 49688
[startup+20.0025 s]
Raw data (loadavg): 0.91 0.91 0.89 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 16674 0 0 0 1961 38 0 0 25 0 1 0 966889583 53796864 10825 4294967295 134512640 135730672 3221224592 3221222924 135301630 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13134 10833 301 301 0 12833 0
vsize: 52536
[startup+30.0027 s]
Raw data (loadavg): 1.16 0.96 0.91 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 17676 0 0 0 2958 41 0 0 25 0 1 0 966889583 56700928 11330 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13843 11330 301 301 0 13542 0
vsize: 55372
[startup+40.0028 s]
Raw data (loadavg): 1.21 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 17748 0 0 0 3958 41 0 0 25 0 1 0 966889583 56967168 11402 4294967295 134512640 135730672 3221224592 3221222880 134747644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13908 11402 301 301 0 13607 0
vsize: 55632
[startup+50.0037 s]
Raw data (loadavg): 1.18 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 17967 0 0 0 4957 42 0 0 25 0 1 0 966889583 56967168 11421 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13908 11421 301 301 0 13607 0
vsize: 55632
[startup+60.0039 s]
Raw data (loadavg): 1.15 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 17986 0 0 0 5956 43 0 0 25 0 1 0 966889583 56967168 11440 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13908 11440 301 301 0 13607 0
vsize: 55632
[startup+70.005 s]
Raw data (loadavg): 1.12 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18241 0 0 0 6956 43 0 0 25 0 1 0 966889583 57098240 11462 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13940 11462 301 301 0 13639 0
vsize: 55760
[startup+80.006 s]
Raw data (loadavg): 1.10 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18256 0 0 0 7956 43 0 0 25 0 1 0 966889583 57098240 11477 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13940 11477 301 301 0 13639 0
vsize: 55760
[startup+90.0051 s]
Raw data (loadavg): 1.09 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18372 0 0 0 8955 44 0 0 25 0 1 0 966889583 57360384 11528 4294967295 134512640 135730672 3221224592 3221222704 134732813 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14004 11528 301 301 0 13703 0
vsize: 56016
[startup+100.005 s]
Raw data (loadavg): 1.07 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18390 0 0 0 9955 44 0 0 25 0 1 0 966889583 57360384 11546 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14004 11546 301 301 0 13703 0
vsize: 56016
[startup+110.006 s]
Raw data (loadavg): 1.06 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18607 0 0 0 10954 45 0 0 25 0 1 0 966889583 57360384 11563 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14004 11563 301 301 0 13703 0
vsize: 56016
[startup+120.006 s]
Raw data (loadavg): 1.05 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18623 0 0 0 11954 46 0 0 25 0 1 0 966889583 57360384 11579 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14004 11579 301 301 0 13703 0
vsize: 56016
[startup+130.006 s]
Raw data (loadavg): 1.04 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18646 0 0 0 12953 46 0 0 25 0 1 0 966889583 57360384 11602 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14004 11602 301 301 0 13703 0
vsize: 56016
[startup+140.007 s]
Raw data (loadavg): 1.04 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18663 0 0 0 13953 47 0 0 25 0 1 0 966889583 57360384 11619 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14004 11619 301 301 0 13703 0
vsize: 56016
[startup+150.007 s]
Raw data (loadavg): 1.03 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18878 0 0 0 14951 49 0 0 25 0 1 0 966889583 57360384 11634 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14004 11634 301 301 0 13703 0
vsize: 56016
[startup+160.007 s]
Raw data (loadavg): 1.03 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18896 0 0 0 15951 49 0 0 25 0 1 0 966889583 57360384 11652 4294967295 134512640 135730672 3221224592 3221222976 134763582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14004 11652 301 301 0 13703 0
vsize: 56016
[startup+170.008 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18912 0 0 0 16950 50 0 0 25 0 1 0 966889583 57360384 11668 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14004 11668 301 301 0 13703 0
vsize: 56016
[startup+180.008 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18929 0 0 0 17950 50 0 0 25 0 1 0 966889583 57360384 11685 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14004 11685 301 301 0 13703 0
vsize: 56016
[startup+190.008 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18950 0 0 0 18950 50 0 0 25 0 1 0 966889583 57360384 11706 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14004 11706 301 301 0 13703 0
vsize: 56016
[startup+200.009 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 18989 0 0 0 19950 51 0 0 25 0 1 0 966889583 57556992 11745 4294967295 134512640 135730672 3221224592 3221222880 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14052 11745 301 301 0 13751 0
vsize: 56208
[startup+210.009 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19005 0 0 0 20950 51 0 0 25 0 1 0 966889583 57556992 11761 4294967295 134512640 135730672 3221224592 3221222864 134732751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14052 11761 301 301 0 13751 0
vsize: 56208
[startup+220.009 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19025 0 0 0 21950 51 0 0 25 0 1 0 966889583 57556992 11781 4294967295 134512640 135730672 3221224592 3221222880 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14052 11781 301 301 0 13751 0
vsize: 56208
[startup+230.01 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19045 0 0 0 22950 51 0 0 25 0 1 0 966889583 57556992 11801 4294967295 134512640 135730672 3221224592 3221223008 134748094 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14052 11801 301 301 0 13751 0
vsize: 56208
[startup+240.009 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19075 0 0 0 23950 51 0 0 25 0 1 0 966889583 57556992 11831 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14052 11831 301 301 0 13751 0
vsize: 56208
[startup+250.009 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19101 0 0 0 24950 51 0 0 25 0 1 0 966889583 57556992 11857 4294967295 134512640 135730672 3221224592 3221223020 134748066 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14052 11857 301 301 0 13751 0
vsize: 56208
[startup+260.009 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19132 0 0 0 25950 52 0 0 25 0 1 0 966889583 57556992 11888 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14052 11888 301 301 0 13751 0
vsize: 56208
[startup+270.01 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19175 0 0 0 26950 52 0 0 25 0 1 0 966889583 57696256 11931 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14086 11931 301 301 0 13785 0
vsize: 56344
[startup+280.01 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19202 0 0 0 27950 52 0 0 25 0 1 0 966889583 57696256 11958 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14086 11958 301 301 0 13785 0
vsize: 56344
[startup+290.01 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19230 0 0 0 28950 52 0 0 25 0 1 0 966889583 57696256 11986 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14086 11986 301 301 0 13785 0
vsize: 56344
[startup+300.01 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19611 0 0 0 29949 54 0 0 25 0 1 0 966889583 59564032 12367 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14542 12367 301 301 0 14241 0
vsize: 58168
[startup+310.01 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19764 0 0 0 30949 54 0 0 25 0 1 0 966889583 60166144 12520 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14689 12520 301 301 0 14388 0
vsize: 58756
[startup+320.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19786 0 0 0 31949 54 0 0 25 0 1 0 966889583 60166144 12542 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14689 12542 301 301 0 14388 0
vsize: 58756
[startup+330.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19804 0 0 0 32949 55 0 0 25 0 1 0 966889583 60166144 12560 4294967295 134512640 135730672 3221224592 3221222880 134747613 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14689 12560 301 301 0 14388 0
vsize: 58756
[startup+340.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19823 0 0 0 33949 55 0 0 25 0 1 0 966889583 60166144 12579 4294967295 134512640 135730672 3221224592 3221222880 134747627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14689 12579 301 301 0 14388 0
vsize: 58756
[startup+350.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19842 0 0 0 34948 55 0 0 25 0 1 0 966889583 60166144 12598 4294967295 134512640 135730672 3221224592 3221222928 134740282 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14689 12598 301 301 0 14388 0
vsize: 58756
[startup+360.013 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19862 0 0 0 35949 55 0 0 25 0 1 0 966889583 60166144 12618 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14689 12618 301 301 0 14388 0
vsize: 58756
[startup+370.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19881 0 0 0 36948 56 0 0 25 0 1 0 966889583 60166144 12637 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14689 12637 301 301 0 14388 0
vsize: 58756
[startup+380.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 19906 0 0 0 37948 56 0 0 25 0 1 0 966889583 60166144 12662 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14689 12662 301 301 0 14388 0
vsize: 58756
[startup+390.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 20002 0 0 0 38948 57 0 0 25 0 1 0 966889583 68816896 12693 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16801 12693 301 301 0 16500 0
vsize: 67204
[startup+400.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 20254 0 0 0 39947 58 0 0 25 0 1 0 966889583 68952064 12745 4294967295 134512640 135730672 3221224592 3221222880 134747965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16834 12745 301 301 0 16533 0
vsize: 67336
[startup+410.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 20304 0 0 0 40946 59 0 0 25 0 1 0 966889583 68952064 12795 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16834 12795 301 301 0 16533 0
vsize: 67336
[startup+420.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 20359 0 0 0 41945 59 0 0 25 0 1 0 966889583 68952064 12850 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16834 12850 301 301 0 16533 0
vsize: 67336
[startup+430.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 20438 0 0 0 42945 59 0 0 25 0 1 0 966889583 69103616 12929 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16871 12929 301 301 0 16570 0
vsize: 67484
[startup+440.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 20488 0 0 0 43945 60 0 0 25 0 1 0 966889583 69103616 12979 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16871 12979 301 301 0 16570 0
vsize: 67484
[startup+450.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 20517 0 0 0 44945 60 0 0 25 0 1 0 966889583 69103616 13008 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16871 13008 301 301 0 16570 0
vsize: 67484
[startup+460.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 20733 0 0 0 45944 61 0 0 25 0 1 0 966889583 69988352 13224 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17087 13224 301 301 0 16786 0
vsize: 68348
[startup+470.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 20826 0 0 0 46944 61 0 0 25 0 1 0 966889583 70119424 13284 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17119 13284 301 301 0 16818 0
vsize: 68476
[startup+480.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 21034 0 0 0 47944 62 0 0 25 0 1 0 966889583 70119424 13292 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17119 13292 301 301 0 16818 0
vsize: 68476
[startup+490.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 21247 0 0 0 48943 63 0 0 25 0 1 0 966889583 70254592 13305 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17152 13305 301 301 0 16851 0
vsize: 68608
[startup+500.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 21258 0 0 0 49943 63 0 0 25 0 1 0 966889583 70254592 13316 4294967295 134512640 135730672 3221224592 3221222880 134747871 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17152 13316 301 301 0 16851 0
vsize: 68608
[startup+510.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 21483 0 0 0 50942 64 0 0 25 0 1 0 966889583 70254592 13341 4294967295 134512640 135730672 3221224592 3221223072 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17152 13341 301 301 0 16851 0
vsize: 68608
[startup+520.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 21732 0 0 0 51942 65 0 0 25 0 1 0 966889583 70389760 13390 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17185 13390 301 301 0 16884 0
vsize: 68740
[startup+530.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 21979 0 0 0 52941 65 0 0 25 0 1 0 966889583 70389760 13437 4294967295 134512640 135730672 3221224592 3221222880 134747460 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17185 13437 301 301 0 16884 0
vsize: 68740
[startup+540.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 22021 0 0 0 53941 66 0 0 25 0 1 0 966889583 70389760 13479 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17185 13479 301 301 0 16884 0
vsize: 68740
[startup+550.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 22234 0 0 0 54941 67 0 0 25 0 1 0 966889583 70389760 13492 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17185 13492 301 301 0 16884 0
vsize: 68740
[startup+560.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 22478 0 0 0 55940 67 0 0 25 0 1 0 966889583 70524928 13536 4294967295 134512640 135730672 3221224592 3221222928 134740208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17218 13536 301 301 0 16917 0
vsize: 68872
[startup+570.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 22724 0 0 0 56940 68 0 0 25 0 1 0 966889583 70524928 13582 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17218 13582 301 301 0 16917 0
vsize: 68872
[startup+580.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 22778 0 0 0 57939 69 0 0 25 0 1 0 966889583 70524928 13636 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17218 13636 301 301 0 16917 0
vsize: 68872
[startup+590.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 23035 0 0 0 58938 70 0 0 25 0 1 0 966889583 70660096 13693 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17251 13693 301 301 0 16950 0
vsize: 69004
[startup+600.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 23280 0 0 0 59937 71 0 0 25 0 1 0 966889583 70660096 13738 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17251 13738 301 301 0 16950 0
vsize: 69004
[startup+610.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 23333 0 0 0 60937 71 0 0 25 0 1 0 966889583 70823936 13791 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17291 13791 301 301 0 16990 0
vsize: 69164
[startup+620.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 23398 0 0 0 61937 72 0 0 25 0 1 0 966889583 70823936 13856 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17291 13856 301 301 0 16990 0
vsize: 69164
[startup+630.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 23622 0 0 0 62937 72 0 0 25 0 1 0 966889583 70959104 13880 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17324 13880 301 301 0 17023 0
vsize: 69296
[startup+640.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 23863 0 0 0 63936 73 0 0 25 0 1 0 966889583 71135232 13921 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17367 13921 301 301 0 17066 0
vsize: 69468
[startup+650.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 23898 0 0 0 64936 74 0 0 25 0 1 0 966889583 71135232 13956 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17367 13956 301 301 0 17066 0
vsize: 69468
[startup+660.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 24145 0 0 0 65935 74 0 0 25 0 1 0 966889583 71270400 14003 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17400 14003 301 301 0 17099 0
vsize: 69600
[startup+670.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 24184 0 0 0 66934 75 0 0 25 0 1 0 966889583 71270400 14042 4294967295 134512640 135730672 3221224592 3221222896 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17400 14042 301 301 0 17099 0
vsize: 69600
[startup+680.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 24431 0 0 0 67934 76 0 0 25 0 1 0 966889583 71405568 14089 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17433 14089 301 301 0 17132 0
vsize: 69732
[startup+690.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 24840 0 0 0 68933 77 0 0 25 0 1 0 966889583 72437760 14298 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17685 14298 301 301 0 17384 0
vsize: 70740
[startup+700.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 24900 0 0 0 69933 77 0 0 25 0 1 0 966889583 72585216 14358 4294967295 134512640 135730672 3221224592 3221222880 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17721 14358 301 301 0 17420 0
vsize: 70884
[startup+710.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 25111 0 0 0 70932 78 0 0 25 0 1 0 966889583 72585216 14369 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17721 14369 301 301 0 17420 0
vsize: 70884
[startup+720.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 25316 0 0 0 71932 79 0 0 25 0 1 0 966889583 72585216 14374 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17721 14374 301 301 0 17420 0
vsize: 70884
[startup+730.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 25324 0 0 0 72932 79 0 0 25 0 1 0 966889583 72585216 14382 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17721 14382 301 301 0 17420 0
vsize: 70884
[startup+740.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 25533 0 0 0 73930 80 0 0 25 0 1 0 966889583 72585216 14391 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17721 14391 301 301 0 17420 0
vsize: 70884
[startup+750.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 25538 0 0 0 74930 81 0 0 25 0 1 0 966889583 72585216 14396 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17721 14396 301 301 0 17420 0
vsize: 70884
[startup+760.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 25744 0 0 0 75929 82 0 0 25 0 1 0 966889583 72585216 14402 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17721 14402 301 301 0 17420 0
vsize: 70884
[startup+770.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 25948 0 0 0 76929 83 0 0 25 0 1 0 966889583 72585216 14406 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17721 14406 301 301 0 17420 0
vsize: 70884
[startup+780.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 25962 0 0 0 77928 83 0 0 25 0 1 0 966889583 72724480 14420 4294967295 134512640 135730672 3221224592 3221223044 134748655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17755 14420 301 301 0 17454 0
vsize: 71020
[startup+790.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 25972 0 0 0 78928 84 0 0 25 0 1 0 966889583 72724480 14430 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17755 14430 301 301 0 17454 0
vsize: 71020
[startup+800.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26183 0 0 0 79928 85 0 0 25 0 1 0 966889583 72724480 14441 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17755 14441 301 301 0 17454 0
vsize: 71020
[startup+810.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26212 0 0 0 80927 85 0 0 25 0 1 0 966889583 72863744 14470 4294967295 134512640 135730672 3221224592 3221223072 134748526 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17789 14470 301 301 0 17488 0
vsize: 71156
[startup+820.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26217 0 0 0 81928 85 0 0 25 0 1 0 966889583 72863744 14475 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17789 14475 301 301 0 17488 0
vsize: 71156
[startup+830.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26419 0 0 0 82927 86 0 0 25 0 1 0 966889583 72863744 14477 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17789 14477 301 301 0 17488 0
vsize: 71156
[startup+840.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26424 0 0 0 83927 86 0 0 25 0 1 0 966889583 72863744 14482 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17789 14482 301 301 0 17488 0
vsize: 71156
[startup+850.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26426 0 0 0 84927 86 0 0 25 0 1 0 966889583 72863744 14484 4294967295 134512640 135730672 3221224592 3221222880 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17789 14484 301 301 0 17488 0
vsize: 71156
[startup+860.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26431 0 0 0 85927 86 0 0 25 0 1 0 966889583 72863744 14489 4294967295 134512640 135730672 3221224592 3221222928 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17789 14489 301 301 0 17488 0
vsize: 71156
[startup+870.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26634 0 0 0 86926 87 0 0 25 0 1 0 966889583 72863744 14492 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17789 14492 301 301 0 17488 0
vsize: 71156
[startup+880.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26639 0 0 0 87926 88 0 0 25 0 1 0 966889583 72863744 14497 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17789 14497 301 301 0 17488 0
vsize: 71156
[startup+890.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26645 0 0 0 88926 88 0 0 25 0 1 0 966889583 72863744 14503 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17789 14503 301 301 0 17488 0
vsize: 71156
[startup+900.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26676 0 0 0 89926 88 0 0 25 0 1 0 966889583 73060352 14534 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17837 14534 301 301 0 17536 0
vsize: 71348
[startup+910.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26698 0 0 0 90926 89 0 0 25 0 1 0 966889583 73060352 14556 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17837 14556 301 301 0 17536 0
vsize: 71348
[startup+920.029 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26702 0 0 0 91926 89 0 0 25 0 1 0 966889583 73060352 14560 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17837 14560 301 301 0 17536 0
vsize: 71348
[startup+930.029 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26716 0 0 0 92925 89 0 0 25 0 1 0 966889583 73060352 14574 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17837 14574 301 301 0 17536 0
vsize: 71348
[startup+940.029 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 26948 0 0 0 93925 90 0 0 25 0 1 0 966889583 73060352 14606 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17837 14606 301 301 0 17536 0
vsize: 71348
[startup+950.029 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 27517 0 0 0 94924 92 0 0 25 0 1 0 966889583 75567104 15027 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18449 15027 301 301 0 18148 0
vsize: 73796
[startup+960.029 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 27922 0 0 0 95922 93 0 0 25 0 1 0 966889583 76386304 15232 4294967295 134512640 135730672 3221224592 3221222520 134765469 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18649 15232 301 301 0 18348 0
vsize: 74596
[startup+970.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 27937 0 0 0 96922 93 0 0 25 0 1 0 966889583 75567104 15047 4294967295 134512640 135730672 3221224592 3221222880 134747965 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18449 15047 301 301 0 18148 0
vsize: 73796
[startup+980.031 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 28141 0 0 0 97921 94 0 0 25 0 1 0 966889583 75567104 15051 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18449 15051 301 301 0 18148 0
vsize: 73796
[startup+990.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 28344 0 0 0 98920 95 0 0 25 0 1 0 966889583 75567104 15054 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18449 15054 301 301 0 18148 0
vsize: 73796
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 28349 0 0 0 99920 96 0 0 25 0 1 0 966889583 75567104 15059 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18449 15059 301 301 0 18148 0
vsize: 73796
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 28552 0 0 0 100920 96 0 0 25 0 1 0 966889583 75567104 15062 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18449 15062 301 301 0 18148 0
vsize: 73796
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 28757 0 0 0 101919 97 0 0 25 0 1 0 966889583 75567104 15067 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18449 15067 301 301 0 18148 0
vsize: 73796
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 28765 0 0 0 102919 97 0 0 25 0 1 0 966889583 75567104 15075 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18449 15075 301 301 0 18148 0
vsize: 73796
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 28775 0 0 0 103919 97 0 0 25 0 1 0 966889583 75706368 15085 4294967295 134512640 135730672 3221224592 3221222880 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18483 15085 301 301 0 18182 0
vsize: 73932
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 28980 0 0 0 104919 98 0 0 25 0 1 0 966889583 75706368 15090 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18483 15090 301 301 0 18182 0
vsize: 73932
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 29188 0 0 0 105918 98 0 0 25 0 1 0 966889583 75706368 15098 4294967295 134512640 135730672 3221224592 3221222976 134763587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18483 15098 301 301 0 18182 0
vsize: 73932
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 29394 0 0 0 106918 99 0 0 25 0 1 0 966889583 75706368 15104 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18483 15104 301 301 0 18182 0
vsize: 73932
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 29402 0 0 0 107918 99 0 0 25 0 1 0 966889583 75706368 15112 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18483 15112 301 301 0 18182 0
vsize: 73932
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 29605 0 0 0 108917 100 0 0 25 0 1 0 966889583 75706368 15115 4294967295 134512640 135730672 3221224592 3221222808 135109377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18483 15115 301 301 0 18182 0
vsize: 73932
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 29610 0 0 0 109917 100 0 0 25 0 1 0 966889583 75706368 15120 4294967295 134512640 135730672 3221224592 3221222880 134747647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18483 15120 301 301 0 18182 0
vsize: 73932
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 29617 0 0 0 110918 100 0 0 25 0 1 0 966889583 75706368 15127 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18483 15127 301 301 0 18182 0
vsize: 73932
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 29628 0 0 0 111918 100 0 0 25 0 1 0 966889583 75845632 15138 4294967295 134512640 135730672 3221224592 3221222880 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18517 15138 301 301 0 18216 0
vsize: 74068
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 29634 0 0 0 112918 101 0 0 25 0 1 0 966889583 75845632 15144 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18517 15144 301 301 0 18216 0
vsize: 74068
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 29851 0 0 0 113917 101 0 0 25 0 1 0 966889583 75845632 15161 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18517 15161 301 301 0 18216 0
vsize: 74068
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 29946 0 0 0 114916 103 0 0 25 0 1 0 966889583 75845632 15256 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18517 15256 301 301 0 18216 0
vsize: 74068
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 30031 0 0 0 115916 103 0 0 25 0 1 0 966889583 75845632 15341 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18517 15341 301 301 0 18216 0
vsize: 74068
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 30141 0 0 0 116915 104 0 0 25 0 1 0 966889583 75845632 15451 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18517 15451 301 301 0 18216 0
vsize: 74068
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 30233 0 0 0 117914 105 0 0 25 0 1 0 966889583 75976704 15543 4294967295 134512640 135730672 3221224592 3221222980 135282196 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18549 15543 301 301 0 18248 0
vsize: 74196
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 30317 0 0 0 118914 105 0 0 25 0 1 0 966889583 75976704 15627 4294967295 134512640 135730672 3221224592 3221222880 134747613 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18549 15627 301 301 0 18248 0
vsize: 74196
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 7334
Raw data (stat): 7334 (pb2sat-v2) R 7333 7266 7265 0 -1 0 30582 0 0 0 119913 107 0 0 25 0 1 0 966889583 75976704 15692 4294967295 134512640 135730672 3221224592 3221222864 134732585 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18549 15692 301 301 0 18248 0
vsize: 74196
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.55 s]
Raw data (loadavg): 1.00 0.98 0.92 1/54 7334
Raw data (stat): 7334 (pb2sat-v2) Z 7333 7266 7265 0 -1 12 30584 0 0 0 119961 110 0 0 25 0 1 0 966889583 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.55
CPU time (s): 1200.71
CPU user time (s): 1199.61
CPU system time (s): 1.10183
CPU usage (%): 100.014
Max. virtual memory (Kb): 74596
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####