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-5.opb
MD5SUM	00a81d808a7a59d6e11f17e19e68d826
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.04884
Number of variables	450
Total number of constraints	17794
Number of constraints which are clauses	17794
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 42200

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 01:51:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25416 boxname=wulflinc1 idbench=318 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  00a81d808a7a59d6e11f17e19e68d826  /oldhome/oroussel/tmp/wulflinc1/normalized-frb30-15-5.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-frb30-15-5.opb
IDLAUNCH: 25416
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        800312 kB
Buffers:         34260 kB
Cached:         176096 kB
SwapCached:       1192 kB
Active:          77240 kB
Inactive:       135448 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        800060 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            15808 kB
Committed_AS:    92684 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 02:11:16 (client local time) WITH STATUS 10 IN 1200.68 SECONDS
stats: 25416 0 1200.68 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: 35041/102388	Time: 46.217/86400
c Decision: 35041/102388	Time: 68.6416/86400
c Decision: 36797/102388	Time: 102.794/86400
c Decision: 37819/102388	Time: 126.648/86400
c Decision: 38077/102388	Time: 153.162/86400
c [startup+365.007 s]  setting bit 8 to 0

c Decision: 10032/102388	Time: 129.205/86400
c Decision: 10032/102388	Time: 139.878/86400
c Decision: 11162/102388	Time: 153.252/86400
c Decision: 11162/102388	Time: 166.471/86400
c Decision: 20048/102388	Time: 190.179/86400
c Decision: 20048/102388	Time: 203.348/86400
c Decision: 20048/102388	Time: 217.227/86400
c Decision: 21508/102388	Time: 238.514/86400
c Decision: 21508/102388	Time: 252.426/86400
c Decision: 21510/102388	Time: 276.59/86400
c Decision: 21510/102388	Time: 291.657/86400
c Decision: 21921/102388	Time: 326.121/86400
c Decision: 22173/102388	Time: 358.997/86400
c Decision: 22173/102388	Time: 375.653/86400
c Decision: 22173/102388	Time: 392.828/86400
c [startup+792.705 s]  setting bit 7 to 0

c Decision: 12752/102388	Time: 89.4694/86400
c Decision: 12752/102388	Time: 99.0319/86400
c Decision: 12878/102388	Time: 115.616/86400
c Decision: 12878/102388	Time: 124.581/86400
c Decision: 12878/102388	Time: 136.022/86400
c Decision: 12878/102388	Time: 148.57/86400
c Decision: 12941/102388	Time: 173.59/86400
c Decision: 12941/102388	Time: 187.608/86400
c Decision: 12941/102388	Time: 203.781/86400
c Decision: 12941/102388	Time: 222.7/86400
c [startup+1063.5 s]  setting bit 6 to 0

c Decision: 31292/102388	Time: 67.6307/86400
c Decision: 31292/102388	Time: 74.2207/86400
c Decision: 31292/102388	Time: 81.7466/86400
c Decision: 31292/102388	Time: 89.3154/86400
c Decision: 31292/102388	Time: 97.5892/86400
c Decision: 31292/102388	Time: 105.103/86400
c Decision: 31292/102388	Time: 113.018/86400
c Decision: 31292/102388	Time: 121.595/86400
c Decision: 31292/102388	Time: 129.024/86400
c Decision: 31292/102388	Time: 136.342/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
Raw data (loadavg): 0.92 0.95 0.90 2/55 10689
Raw data (stat): 10689 (runsolver) R 10688 8378 8377 0 -1 64 6 0 0 0 0 0 0 0 19 0 1 0 910083723 884736 93 4294967295 134512640 135332820 3221224464 3221219112 134703393 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.0015 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 16080 0 0 0 965 33 0 0 25 0 1 0 910083723 51486720 10429 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12570 10429 301 301 0 12269 0
vsize: 50280
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 16742 0 0 0 1963 35 0 0 25 0 1 0 910083723 54308864 10959 4294967295 134512640 135730672 3221224592 3221222880 134747832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13259 10959 301 301 0 12958 0
vsize: 53036
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 17056 0 0 0 2963 36 0 0 25 0 1 0 910083723 55513088 11174 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13553 11174 301 301 0 13252 0
vsize: 54212
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 17282 0 0 0 3962 37 0 0 25 0 1 0 910083723 56340480 11302 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13755 11302 301 301 0 13454 0
vsize: 55020
[startup+50.0006 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 17301 0 0 0 4962 37 0 0 25 0 1 0 910083723 56340480 11321 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13755 11321 301 301 0 13454 0
vsize: 55020
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 17552 0 0 0 5961 38 0 0 25 0 1 0 910083723 56475648 11372 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13788 11372 301 301 0 13487 0
vsize: 55152
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 17608 0 0 0 6961 38 0 0 25 0 1 0 910083723 56606720 11395 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13820 11395 301 301 0 13519 0
vsize: 55280
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 17892 0 0 0 7960 39 0 0 25 0 1 0 910083723 57065472 11479 4294967295 134512640 135730672 3221224592 3221223008 134748176 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13932 11479 301 301 0 13631 0
vsize: 55728
[startup+90.0026 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 17909 0 0 0 8959 40 0 0 25 0 1 0 910083723 57065472 11496 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13932 11496 301 301 0 13631 0
vsize: 55728
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 17924 0 0 0 9958 40 0 0 25 0 1 0 910083723 57065472 11511 4294967295 134512640 135730672 3221224592 3221222632 135284590 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13932 11511 301 301 0 13631 0
vsize: 55728
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 18142 0 0 0 10958 41 0 0 25 0 1 0 910083723 57065472 11529 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13932 11529 301 301 0 13631 0
vsize: 55728
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 18162 0 0 0 11958 41 0 0 25 0 1 0 910083723 57065472 11549 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13932 11549 301 301 0 13631 0
vsize: 55728
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 18293 0 0 0 12958 42 0 0 25 0 1 0 910083723 57503744 11680 4294967295 134512640 135730672 3221224592 3221222704 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14039 11680 301 301 0 13738 0
vsize: 56156
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 18507 0 0 0 13957 42 0 0 25 0 1 0 910083723 57503744 11694 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14039 11694 301 301 0 13738 0
vsize: 56156
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 18523 0 0 0 14957 43 0 0 25 0 1 0 910083723 57503744 11710 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14039 11710 301 301 0 13738 0
vsize: 56156
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 18742 0 0 0 15956 44 0 0 25 0 1 0 910083723 57503744 11729 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14039 11729 301 301 0 13738 0
vsize: 56156
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 18762 0 0 0 16956 44 0 0 25 0 1 0 910083723 57503744 11749 4294967295 134512640 135730672 3221224592 3221222928 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14039 11749 301 301 0 13738 0
vsize: 56156
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 18983 0 0 0 17956 45 0 0 25 0 1 0 910083723 58748928 11970 4294967295 134512640 135730672 3221224592 3221222880 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14343 11970 301 301 0 14042 0
vsize: 57372
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 19000 0 0 0 18956 45 0 0 25 0 1 0 910083723 58748928 11987 4294967295 134512640 135730672 3221224592 3221222880 134747634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14343 11987 301 301 0 14042 0
vsize: 57372
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 19162 0 0 0 19955 45 0 0 25 0 1 0 910083723 59318272 12149 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14482 12149 301 301 0 14181 0
vsize: 57928
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 19177 0 0 0 20955 46 0 0 25 0 1 0 910083723 59318272 12164 4294967295 134512640 135730672 3221224592 3221222928 134740208 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14482 12164 301 301 0 14181 0
vsize: 57928
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 19196 0 0 0 21955 46 0 0 25 0 1 0 910083723 59318272 12183 4294967295 134512640 135730672 3221224592 3221222928 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14482 12183 301 301 0 14181 0
vsize: 57928
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 19213 0 0 0 22955 46 0 0 25 0 1 0 910083723 59318272 12200 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14482 12200 301 301 0 14181 0
vsize: 57928
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 19229 0 0 0 23955 46 0 0 25 0 1 0 910083723 59318272 12216 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14482 12216 301 301 0 14181 0
vsize: 57928
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 19251 0 0 0 24955 46 0 0 25 0 1 0 910083723 59318272 12238 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14482 12238 301 301 0 14181 0
vsize: 57928
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 19270 0 0 0 25955 47 0 0 25 0 1 0 910083723 59318272 12257 4294967295 134512640 135730672 3221224592 3221222976 134763582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14482 12257 301 301 0 14181 0
vsize: 57928
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 19294 0 0 0 26955 47 0 0 25 0 1 0 910083723 59453440 12281 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14515 12281 301 301 0 14214 0
vsize: 58060
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 19322 0 0 0 27955 47 0 0 25 0 1 0 910083723 59453440 12309 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14515 12309 301 301 0 14214 0
vsize: 58060
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 19345 0 0 0 28955 48 0 0 25 0 1 0 910083723 59453440 12332 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14515 12332 301 301 0 14214 0
vsize: 58060
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 19661 0 0 0 29954 49 0 0 25 0 1 0 910083723 61030400 12648 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14900 12648 301 301 0 14599 0
vsize: 59600
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 19678 0 0 0 30954 49 0 0 25 0 1 0 910083723 61030400 12665 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14900 12665 301 301 0 14599 0
vsize: 59600
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 19702 0 0 0 31954 50 0 0 25 0 1 0 910083723 61030400 12689 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14900 12689 301 301 0 14599 0
vsize: 59600
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 19734 0 0 0 32954 50 0 0 25 0 1 0 910083723 61165568 12721 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14933 12721 301 301 0 14632 0
vsize: 59732
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 19760 0 0 0 33953 50 0 0 25 0 1 0 910083723 61165568 12747 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14933 12747 301 301 0 14632 0
vsize: 59732
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 19792 0 0 0 34953 50 0 0 25 0 1 0 910083723 61165568 12779 4294967295 134512640 135730672 3221224592 3221222880 134747942 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14933 12779 301 301 0 14632 0
vsize: 59732
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 19897 0 0 0 35953 51 0 0 25 0 1 0 910083723 61427712 12819 4294967295 134512640 135730672 3221224592 3221222708 134732444 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14997 12819 301 301 0 14696 0
vsize: 59988
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 20155 0 0 0 36952 52 0 0 25 0 1 0 910083723 61427712 12877 4294967295 134512640 135730672 3221224592 3221223040 134734776 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14997 12877 301 301 0 14696 0
vsize: 59988
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 20211 0 0 0 37951 52 0 0 25 0 1 0 910083723 61562880 12933 4294967295 134512640 135730672 3221224592 3221223032 134748261 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15030 12933 301 301 0 14729 0
vsize: 60120
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 20252 0 0 0 38951 53 0 0 25 0 1 0 910083723 69951488 12974 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17078 12974 301 301 0 16777 0
vsize: 68312
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 20302 0 0 0 39950 54 0 0 25 0 1 0 910083723 70082560 13024 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17110 13024 301 301 0 16809 0
vsize: 68440
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 20347 0 0 0 40950 54 0 0 25 0 1 0 910083723 70082560 13069 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17110 13069 301 301 0 16809 0
vsize: 68440
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 20410 0 0 0 41949 55 0 0 25 0 1 0 910083723 70082560 13132 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17110 13132 301 301 0 16809 0
vsize: 68440
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 20551 0 0 0 42949 55 0 0 25 0 1 0 910083723 70520832 13240 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17217 13240 301 301 0 16916 0
vsize: 68868
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 20584 0 0 0 43948 56 0 0 25 0 1 0 910083723 70520832 13273 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17217 13273 301 301 0 16916 0
vsize: 68868
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 20622 0 0 0 44948 56 0 0 25 0 1 0 910083723 70520832 13311 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17217 13311 301 301 0 16916 0
vsize: 68868
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 20654 0 0 0 45948 57 0 0 25 0 1 0 910083723 70520832 13343 4294967295 134512640 135730672 3221224592 3221222632 135285390 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17217 13343 301 301 0 16916 0
vsize: 68868
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 20821 0 0 0 46948 57 0 0 25 0 1 0 910083723 71135232 13510 4294967295 134512640 135730672 3221224592 3221222704 134732452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17367 13510 301 301 0 17066 0
vsize: 69468
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 21022 0 0 0 47947 58 0 0 25 0 1 0 910083723 71991296 13711 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17576 13711 301 301 0 17275 0
vsize: 70304
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 21060 0 0 0 48947 59 0 0 25 0 1 0 910083723 71991296 13749 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17576 13749 301 301 0 17275 0
vsize: 70304
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 21273 0 0 0 49946 60 0 0 25 0 1 0 910083723 71991296 13762 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17576 13762 301 301 0 17275 0
vsize: 70304
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 21477 0 0 0 50945 61 0 0 25 0 1 0 910083723 71991296 13766 4294967295 134512640 135730672 3221224592 3221222880 134747516 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17576 13766 301 301 0 17275 0
vsize: 70304
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 21768 0 0 0 51944 62 0 0 25 0 1 0 910083723 72499200 13857 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17700 13857 301 301 0 17399 0
vsize: 70800
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 21771 0 0 0 52943 63 0 0 25 0 1 0 910083723 72499200 13860 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17700 13860 301 301 0 17399 0
vsize: 70800
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 21983 0 0 0 53942 63 0 0 25 0 1 0 910083723 72499200 13872 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17700 13872 301 301 0 17399 0
vsize: 70800
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 22032 0 0 0 54942 64 0 0 25 0 1 0 910083723 72499200 13921 4294967295 134512640 135730672 3221224592 3221222880 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17700 13921 301 301 0 17399 0
vsize: 70800
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 22268 0 0 0 55941 65 0 0 25 0 1 0 910083723 72499200 13957 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17700 13957 301 301 0 17399 0
vsize: 70800
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 22506 0 0 0 56941 66 0 0 25 0 1 0 910083723 72499200 13995 4294967295 134512640 135730672 3221224592 3221223072 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17700 13995 301 301 0 17399 0
vsize: 70800
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10689
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 22514 0 0 0 57940 66 0 0 25 0 1 0 910083723 72499200 14003 4294967295 134512640 135730672 3221224592 3221223072 134748464 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17700 14003 301 301 0 17399 0
vsize: 70800
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10691
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 22740 0 0 0 58939 67 0 0 25 0 1 0 910083723 72634368 14029 4294967295 134512640 135730672 3221224592 3221222704 134732493 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17733 14029 301 301 0 17432 0
vsize: 70932
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10691
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 22766 0 0 0 59939 67 0 0 25 0 1 0 910083723 72773632 14055 4294967295 134512640 135730672 3221224592 3221223040 134748661 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17767 14055 301 301 0 17466 0
vsize: 71068
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10691
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 22996 0 0 0 60939 68 0 0 25 0 1 0 910083723 72773632 14085 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17767 14085 301 301 0 17466 0
vsize: 71068
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10691
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 23327 0 0 0 61938 69 0 0 25 0 1 0 910083723 73474048 14216 4294967295 134512640 135730672 3221224592 3221222880 134747871 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17938 14216 301 301 0 17637 0
vsize: 71752
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10691
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 23535 0 0 0 62937 70 0 0 25 0 1 0 910083723 74481664 14424 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18184 14424 301 301 0 17883 0
vsize: 72736
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10691
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 23567 0 0 0 63937 70 0 0 25 0 1 0 910083723 74481664 14456 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18184 14456 301 301 0 17883 0
vsize: 72736
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10691
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 23799 0 0 0 64937 71 0 0 25 0 1 0 910083723 74481664 14488 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18184 14488 301 301 0 17883 0
vsize: 72736
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10691
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 24044 0 0 0 65936 71 0 0 25 0 1 0 910083723 74616832 14533 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18217 14533 301 301 0 17916 0
vsize: 72868
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10691
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 24049 0 0 0 66936 72 0 0 25 0 1 0 910083723 74616832 14538 4294967295 134512640 135730672 3221224592 3221223040 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18217 14538 301 301 0 17916 0
vsize: 72868
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10691
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 24052 0 0 0 67936 72 0 0 25 0 1 0 910083723 74616832 14541 4294967295 134512640 135730672 3221224592 3221223036 134748060 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18217 14541 301 301 0 17916 0
vsize: 72868
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10691
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 24055 0 0 0 68936 73 0 0 25 0 1 0 910083723 74616832 14544 4294967295 134512640 135730672 3221224592 3221222880 134747738 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18217 14544 301 301 0 17916 0
vsize: 72868
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10691
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 24259 0 0 0 69935 73 0 0 25 0 1 0 910083723 74616832 14548 4294967295 134512640 135730672 3221224592 3221222708 134732444 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18217 14548 301 301 0 17916 0
vsize: 72868
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10691
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 24268 0 0 0 70935 74 0 0 25 0 1 0 910083723 74616832 14557 4294967295 134512640 135730672 3221224592 3221222976 134763576 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18217 14557 301 301 0 17916 0
vsize: 72868
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10744
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 24272 0 0 0 71934 74 0 0 25 0 1 0 910083723 74616832 14561 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18217 14561 301 301 0 17916 0
vsize: 72868
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10744
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 24474 0 0 0 72934 75 0 0 25 0 1 0 910083723 74616832 14563 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18217 14563 301 301 0 17916 0
vsize: 72868
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10744
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 24477 0 0 0 73934 75 0 0 25 0 1 0 910083723 74616832 14566 4294967295 134512640 135730672 3221224592 3221222880 134747486 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18217 14566 301 301 0 17916 0
vsize: 72868
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10744
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 24688 0 0 0 74933 76 0 0 25 0 1 0 910083723 74616832 14577 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18217 14577 301 301 0 17916 0
vsize: 72868
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10744
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 24910 0 0 0 75933 77 0 0 25 0 1 0 910083723 74616832 14599 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18217 14599 301 301 0 17916 0
vsize: 72868
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10744
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 24927 0 0 0 76932 77 0 0 25 0 1 0 910083723 74616832 14616 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18217 14616 301 301 0 17916 0
vsize: 72868
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 24941 0 0 0 77932 77 0 0 25 0 1 0 910083723 74616832 14630 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18217 14630 301 301 0 17916 0
vsize: 72868
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 24954 0 0 0 78932 77 0 0 25 0 1 0 910083723 74616832 14643 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18217 14643 301 301 0 17916 0
vsize: 72868
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 25212 0 0 0 79932 78 0 0 25 0 1 0 910083723 74616832 14701 4294967295 134512640 135730672 3221224592 3221223008 134748091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18217 14701 301 301 0 17916 0
vsize: 72868
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 25273 0 0 0 80931 79 0 0 25 0 1 0 910083723 74616832 14762 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18217 14762 301 301 0 17916 0
vsize: 72868
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 25342 0 0 0 81931 79 0 0 25 0 1 0 910083723 74813440 14831 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18265 14831 301 301 0 17964 0
vsize: 73060
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 25395 0 0 0 82930 80 0 0 25 0 1 0 910083723 74813440 14884 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18265 14884 301 301 0 17964 0
vsize: 73060
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 25441 0 0 0 83930 81 0 0 25 0 1 0 910083723 74813440 14930 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18265 14930 301 301 0 17964 0
vsize: 73060
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 25479 0 0 0 84930 81 0 0 25 0 1 0 910083723 74813440 14968 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18265 14968 301 301 0 17964 0
vsize: 73060
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 25598 0 0 0 85929 82 0 0 25 0 1 0 910083723 75112448 15054 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18338 15054 301 301 0 18037 0
vsize: 73352
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 25678 0 0 0 86928 83 0 0 25 0 1 0 910083723 75505664 15134 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18434 15134 301 301 0 18133 0
vsize: 73736
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 25701 0 0 0 87928 84 0 0 25 0 1 0 910083723 75505664 15157 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18434 15157 301 301 0 18133 0
vsize: 73736
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 25908 0 0 0 88927 84 0 0 25 0 1 0 910083723 75505664 15164 4294967295 134512640 135730672 3221224592 3221222880 134747701 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18434 15164 301 301 0 18133 0
vsize: 73736
[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 25914 0 0 0 89927 84 0 0 25 0 1 0 910083723 75505664 15170 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18434 15170 301 301 0 18133 0
vsize: 73736
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 26124 0 0 0 90927 86 0 0 25 0 1 0 910083723 75505664 15180 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18434 15180 301 301 0 18133 0
vsize: 73736
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 26158 0 0 0 91925 86 0 0 25 0 1 0 910083723 75694080 15214 4294967295 134512640 135730672 3221224592 3221222880 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18480 15214 301 301 0 18179 0
vsize: 73920
[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 26362 0 0 0 92925 87 0 0 25 0 1 0 910083723 75694080 15218 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18480 15218 301 301 0 18179 0
vsize: 73920
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 26365 0 0 0 93925 87 0 0 25 0 1 0 910083723 75694080 15221 4294967295 134512640 135730672 3221224592 3221222880 134747730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18480 15221 301 301 0 18179 0
vsize: 73920
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 26576 0 0 0 94925 88 0 0 25 0 1 0 910083723 75694080 15232 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18480 15232 301 301 0 18179 0
vsize: 73920
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 26592 0 0 0 95925 88 0 0 25 0 1 0 910083723 75694080 15248 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18480 15248 301 301 0 18179 0
vsize: 73920
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 26799 0 0 0 96924 89 0 0 25 0 1 0 910083723 75694080 15255 4294967295 134512640 135730672 3221224592 3221222976 134763992 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18480 15255 301 301 0 18179 0
vsize: 73920
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 26808 0 0 0 97923 89 0 0 25 0 1 0 910083723 75829248 15264 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18513 15264 301 301 0 18212 0
vsize: 74052
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 26847 0 0 0 98924 89 0 0 25 0 1 0 910083723 75829248 15303 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18513 15303 301 301 0 18212 0
vsize: 74052
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 27070 0 0 0 99923 90 0 0 25 0 1 0 910083723 75829248 15326 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18513 15326 301 301 0 18212 0
vsize: 74052
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 27095 0 0 0 100923 90 0 0 25 0 1 0 910083723 75829248 15351 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18513 15351 301 301 0 18212 0
vsize: 74052
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 27326 0 0 0 101923 91 0 0 25 0 1 0 910083723 75829248 15382 4294967295 134512640 135730672 3221224592 3221222880 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18513 15382 301 301 0 18212 0
vsize: 74052
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 27345 0 0 0 102923 91 0 0 25 0 1 0 910083723 75964416 15401 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18546 15401 301 301 0 18245 0
vsize: 74184
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 27363 0 0 0 103923 91 0 0 25 0 1 0 910083723 75964416 15419 4294967295 134512640 135730672 3221224592 3221222880 134747627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18546 15419 301 301 0 18245 0
vsize: 74184
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 27374 0 0 0 104923 91 0 0 25 0 1 0 910083723 75964416 15430 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18546 15430 301 301 0 18245 0
vsize: 74184
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 27385 0 0 0 105923 91 0 0 25 0 1 0 910083723 75964416 15441 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18546 15441 301 301 0 18245 0
vsize: 74184
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 27654 0 0 0 106922 93 0 0 25 0 1 0 910083723 75964416 15510 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18546 15510 301 301 0 18245 0
vsize: 74184
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10746
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 27737 0 0 0 107921 93 0 0 25 0 1 0 910083723 75964416 15593 4294967295 134512640 135730672 3221224592 3221223040 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18546 15593 301 301 0 18245 0
vsize: 74184
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10748
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 27858 0 0 0 108921 94 0 0 25 0 1 0 910083723 76234752 15714 4294967295 134512640 135730672 3221224592 3221223072 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18612 15714 301 301 0 18311 0
vsize: 74448
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10748
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 27918 0 0 0 109920 95 0 0 25 0 1 0 910083723 76234752 15774 4294967295 134512640 135730672 3221224592 3221222880 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18612 15774 301 301 0 18311 0
vsize: 74448
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10748
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 27985 0 0 0 110920 95 0 0 25 0 1 0 910083723 76234752 15841 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18612 15841 301 301 0 18311 0
vsize: 74448
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10748
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 28063 0 0 0 111920 96 0 0 25 0 1 0 910083723 76234752 15919 4294967295 134512640 135730672 3221224592 3221222880 134747902 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18612 15919 301 301 0 18311 0
vsize: 74448
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10748
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 28114 0 0 0 112919 96 0 0 25 0 1 0 910083723 76234752 15970 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18612 15970 301 301 0 18311 0
vsize: 74448
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10748
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 28561 0 0 0 113918 97 0 0 25 0 1 0 910083723 76546048 16017 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18688 16017 301 301 0 18387 0
vsize: 74752
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10748
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 28766 0 0 0 114918 98 0 0 25 0 1 0 910083723 76546048 16022 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18688 16022 301 301 0 18387 0
vsize: 74752
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10748
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 29017 0 0 0 115917 99 0 0 25 0 1 0 910083723 76546048 16073 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18688 16073 301 301 0 18387 0
vsize: 74752
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10748
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 29303 0 0 0 116915 101 0 0 25 0 1 0 910083723 76681216 16159 4294967295 134512640 135730672 3221224592 3221222704 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18721 16159 301 301 0 18420 0
vsize: 74884
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10748
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 29574 0 0 0 117914 102 0 0 25 0 1 0 910083723 76681216 16230 4294967295 134512640 135730672 3221224592 3221222704 134732625 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18721 16230 301 301 0 18420 0
vsize: 74884
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10748
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 29855 0 0 0 118914 102 0 0 25 0 1 0 910083723 76681216 16311 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18721 16311 301 301 0 18420 0
vsize: 74884
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10748
Raw data (stat): 10689 (pb2sat-v2) R 10688 8378 8377 0 -1 0 30302 0 0 0 119913 104 0 0 25 0 1 0 910083723 76681216 16358 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18721 16358 301 301 0 18420 0
vsize: 74884
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.53 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10748
Raw data (stat): 10689 (pb2sat-v2) Z 10688 8378 8377 0 -1 12 30304 0 0 0 119960 107 0 0 25 0 1 0 910083723 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.53
CPU time (s): 1200.68
CPU user time (s): 1199.6
CPU system time (s): 1.07384
CPU usage (%): 100.012
Max. virtual memory (Kb): 74884
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####