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/frb35-17-opb/normalized-frb35-17-5.opb
MD5SUM	70070c820bc7d178cc8f33b42e0deead
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-28
Optimality of the best value was proved	NO
Number of terms in the objective function	595
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	595
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	595
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	595
Total number of constraints	28143
Number of constraints which are clauses	28143
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 39699

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 16:42:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27765 boxname=wulflinc6 idbench=323 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  70070c820bc7d178cc8f33b42e0deead  /oldhome/oroussel/tmp/wulflinc6/normalized-frb35-17-5.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-frb35-17-5.opb
IDLAUNCH: 27765
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        923632 kB
Buffers:         33876 kB
Cached:          54328 kB
SwapCached:       1760 kB
Active:          22456 kB
Inactive:        68680 kB
HighTotal:      131008 kB
HighFree:        90412 kB
LowTotal:       903652 kB
LowFree:        833220 kB
SwapTotal:     2097136 kB
SwapFree:      2094416 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5040 kB
Slab:            14212 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 17:02:29 (client local time) WITH STATUS 10 IN 1179.49 SECONDS
stats: 27765 0 1179.49 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 595 variables and 28143 constraints.
c After prepocess the problem consists of 595 variables and 21247 constraints.
c preprocess terminated 165.64 s
c Initial Lower Bound: -68
c Lower Bound Elapsed time: 141.764
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -4 @ 733.073
c NEW SOLUTION FOUND: -5 @ 733.099
c NEW SOLUTION FOUND: -6 @ 733.113
c NEW SOLUTION FOUND: -7 @ 733.183
c NEW SOLUTION FOUND: -8 @ 733.262
c NEW SOLUTION FOUND: -9 @ 733.399
c NEW SOLUTION FOUND: -10 @ 733.55
c NEW SOLUTION FOUND: -11 @ 733.686
c NEW SOLUTION FOUND: -12 @ 734.439
c NEW SOLUTION FOUND: -13 @ 734.728
c NEW SOLUTION FOUND: -14 @ 735.274
c NEW SOLUTION FOUND: -15 @ 738.812
c NEW SOLUTION FOUND: -16 @ 747.886
c NEW SOLUTION FOUND: -17 @ 748.409
c NEW SOLUTION FOUND: -18 @ 753.247
c NEW SOLUTION FOUND: -19 @ 765.636
c NEW SOLUTION FOUND: -20 @ 803.571
c NEW SOLUTION FOUND: -21 @ 1039.8
s SATISFIABLE
v -C595 -C594 -C593 C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 C359 -C358 -C357 -C356 -C355 -C354 -C353 C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 C207 -C206 -C205 -C204 -C203 -C202 -C201 C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 -C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1 
c Exit Code: 10
c Total time: 1179.47 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 16558
Raw data (stat): 16558 (runsolver) R 16557 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 894519886 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99984 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 9481 0 0 0 976 21 0 0 25 0 1 0 894519886 40452096 9044 4294967295 134512640 134716908 3221224576 3221223188 1077374077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9876 9044 1111 63 0 9813 0
vsize: 39504
[startup+19.9999 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 10413 0 0 0 1973 24 0 0 25 0 1 0 894519886 41066496 9194 4294967295 134512640 134716908 3221224576 3221222960 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 10413 0 0 0 2974 24 0 0 25 0 1 0 894519886 41066496 9194 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+40.0002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 10413 0 0 0 3974 24 0 0 25 0 1 0 894519886 41066496 9194 4294967295 134512640 134716908 3221224576 3221223000 1077377725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+50.0003 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 10413 0 0 0 4974 24 0 0 25 0 1 0 894519886 41066496 9194 4294967295 134512640 134716908 3221224576 3221222984 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+59.9999 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 10413 0 0 0 5975 24 0 0 25 0 1 0 894519886 41066496 9194 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+69.9996 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 10413 0 0 0 6975 24 0 0 25 0 1 0 894519886 41066496 9194 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+79.9998 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 10413 0 0 0 7975 24 0 0 25 0 1 0 894519886 41066496 9194 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+89.9992 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 10413 0 0 0 8975 24 0 0 25 0 1 0 894519886 41066496 9194 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+99.9991 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 10413 0 0 0 9976 24 0 0 25 0 1 0 894519886 41066496 9194 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+109.999 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 10413 0 0 0 10976 24 0 0 25 0 1 0 894519886 41066496 9194 4294967295 134512640 134716908 3221224576 3221223224 134558617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 10413 0 0 0 11976 24 0 0 25 0 1 0 894519886 41066496 9194 4294967295 134512640 134716908 3221224576 3221223228 134558608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 10413 0 0 0 12977 24 0 0 25 0 1 0 894519886 41066496 9194 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+139.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 10413 0 0 0 13977 24 0 0 25 0 1 0 894519886 41066496 9194 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+149.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 10413 0 0 0 14977 24 0 0 25 0 1 0 894519886 41066496 9194 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+159.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 10654 0 0 0 15977 25 0 0 25 0 1 0 894519886 42049536 9435 4294967295 134512640 134716908 3221224576 3221223432 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10266 9435 1111 63 0 10203 0
vsize: 41064
[startup+169.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 11002 0 0 0 16976 26 0 0 25 0 1 0 894519886 43692032 9783 4294967295 134512640 134716908 3221224576 3221222832 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10667 9783 1111 63 0 10604 0
vsize: 42668
[startup+179.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 11137 0 0 0 17974 29 0 0 25 0 1 0 894519886 44199936 9918 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10791 9918 1111 63 0 10728 0
vsize: 43164
[startup+189.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 11176 0 0 0 18973 29 0 0 25 0 1 0 894519886 44331008 9957 4294967295 134512640 134716908 3221224576 3221222832 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10823 9957 1111 63 0 10760 0
vsize: 43292
[startup+199.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 11273 0 0 0 19972 31 0 0 25 0 1 0 894519886 44703744 10054 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10914 10054 1111 63 0 10851 0
vsize: 43656
[startup+209.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 11298 0 0 0 20972 31 0 0 25 0 1 0 894519886 44797952 10079 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10937 10079 1111 63 0 10874 0
vsize: 43748
[startup+219.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 11333 0 0 0 21971 32 0 0 25 0 1 0 894519886 44847104 10092 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10949 10092 1111 63 0 10886 0
vsize: 43796
[startup+229.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 11357 0 0 0 22970 34 0 0 25 0 1 0 894519886 44941312 10116 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10972 10116 1111 63 0 10909 0
vsize: 43888
[startup+239.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 11437 0 0 0 23970 34 0 0 25 0 1 0 894519886 45264896 10196 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11051 10196 1111 63 0 10988 0
vsize: 44204
[startup+249.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 11458 0 0 0 24970 35 0 0 25 0 1 0 894519886 45346816 10217 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11071 10217 1111 63 0 11008 0
vsize: 44284
[startup+259.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 11477 0 0 0 25970 35 0 0 25 0 1 0 894519886 45420544 10236 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11089 10236 1111 63 0 11026 0
vsize: 44356
[startup+269.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 15891 0 0 0 26961 44 0 0 25 0 1 0 894519886 61247488 13321 4294967295 134512640 134716908 3221224576 3221220624 1074969474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14953 13321 1111 63 0 14890 0
vsize: 59812
[startup+279.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16102 0 0 0 27961 45 0 0 25 0 1 0 894519886 59662336 12926 4294967295 134512640 134716908 3221224576 3221220524 1074873478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14566 12926 1111 63 0 14503 0
vsize: 58264
[startup+289.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16148 0 0 0 28961 45 0 0 25 0 1 0 894519886 59662336 12968 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14566 12968 1111 63 0 14503 0
vsize: 58264
[startup+299.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16180 0 0 0 29961 45 0 0 25 0 1 0 894519886 59662336 12996 4294967295 134512640 134716908 3221224576 3221220624 1074969680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14566 12996 1111 63 0 14503 0
vsize: 58264
[startup+309.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16193 0 0 0 30961 45 0 0 25 0 1 0 894519886 59662336 13007 4294967295 134512640 134716908 3221224576 3221220580 1075964227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14566 13007 1111 63 0 14503 0
vsize: 58264
[startup+319.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16265 0 0 0 31961 46 0 0 25 0 1 0 894519886 59973632 13075 4294967295 134512640 134716908 3221224576 3221220688 1074815284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14642 13075 1111 63 0 14579 0
vsize: 58568
[startup+329.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16302 0 0 0 32961 46 0 0 25 0 1 0 894519886 59973632 13110 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14642 13110 1111 63 0 14579 0
vsize: 58568
[startup+339.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16374 0 0 0 33961 46 0 0 25 0 1 0 894519886 60305408 13178 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14723 13178 1111 63 0 14660 0
vsize: 58892
[startup+349.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16426 0 0 0 34961 47 0 0 25 0 1 0 894519886 60649472 13228 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14807 13228 1111 63 0 14744 0
vsize: 59228
[startup+359.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16456 0 0 0 35961 47 0 0 25 0 1 0 894519886 60649472 13254 4294967295 134512640 134716908 3221224576 3221220640 1074883551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14807 13254 1111 63 0 14744 0
vsize: 59228
[startup+369.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16458 0 0 0 36961 47 0 0 25 0 1 0 894519886 60649472 13254 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14807 13254 1111 63 0 14744 0
vsize: 59228
[startup+379.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16463 0 0 0 37961 47 0 0 25 0 1 0 894519886 60649472 13255 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14807 13255 1111 63 0 14744 0
vsize: 59228
[startup+389.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16472 0 0 0 38961 47 0 0 25 0 1 0 894519886 60649472 13260 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14807 13260 1111 63 0 14744 0
vsize: 59228
[startup+399.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16477 0 0 0 39962 47 0 0 25 0 1 0 894519886 60649472 13261 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14807 13261 1111 63 0 14744 0
vsize: 59228
[startup+409.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16480 0 0 0 40962 47 0 0 25 0 1 0 894519886 60649472 13262 4294967295 134512640 134716908 3221224576 3221220472 1075964745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14807 13262 1111 63 0 14744 0
vsize: 59228
[startup+419.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16550 0 0 0 41962 47 0 0 25 0 1 0 894519886 61022208 13328 4294967295 134512640 134716908 3221224576 3221220492 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14898 13328 1111 63 0 14835 0
vsize: 59592
[startup+429.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16645 0 0 0 42962 47 0 0 25 0 1 0 894519886 61575168 13419 4294967295 134512640 134716908 3221224576 3221221632 1075969902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15033 13419 1111 63 0 14970 0
vsize: 60132
[startup+439.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16650 0 0 0 43963 47 0 0 25 0 1 0 894519886 61403136 13418 4294967295 134512640 134716908 3221224576 3221220720 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14991 13418 1111 63 0 14928 0
vsize: 59964
[startup+449.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16652 0 0 0 44963 48 0 0 25 0 1 0 894519886 61403136 13418 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14991 13418 1111 63 0 14928 0
vsize: 59964
[startup+459.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16656 0 0 0 45963 48 0 0 25 0 1 0 894519886 61403136 13418 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14991 13418 1111 63 0 14928 0
vsize: 59964
[startup+469.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16660 0 0 0 46963 48 0 0 25 0 1 0 894519886 61403136 13418 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14991 13418 1111 63 0 14928 0
vsize: 59964
[startup+479.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16664 0 0 0 47964 48 0 0 25 0 1 0 894519886 61403136 13418 4294967295 134512640 134716908 3221224576 3221220688 1074815241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14991 13418 1111 63 0 14928 0
vsize: 59964
[startup+489.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16668 0 0 0 48964 48 0 0 25 0 1 0 894519886 61403136 13418 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14991 13418 1111 63 0 14928 0
vsize: 59964
[startup+499.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16673 0 0 0 49964 48 0 0 25 0 1 0 894519886 61403136 13419 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14991 13419 1111 63 0 14928 0
vsize: 59964
[startup+509.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16726 0 0 0 50964 48 0 0 25 0 1 0 894519886 61808640 13466 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15090 13466 1111 63 0 15027 0
vsize: 60360
[startup+519.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16840 0 0 0 51964 48 0 0 25 0 1 0 894519886 62406656 13578 4294967295 134512640 134716908 3221224576 3221221012 1075863655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15236 13578 1111 63 0 15173 0
vsize: 60944
[startup+529.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 16938 0 0 0 52964 49 0 0 25 0 1 0 894519886 62676992 13672 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15302 13672 1111 63 0 15239 0
vsize: 61208
[startup+539.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 17050 0 0 0 53964 49 0 0 25 0 1 0 894519886 63139840 13780 4294967295 134512640 134716908 3221224576 3221220412 1074788168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15415 13780 1111 63 0 15352 0
vsize: 61660
[startup+549.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 17063 0 0 0 54965 49 0 0 25 0 1 0 894519886 63139840 13789 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15415 13789 1111 63 0 15352 0
vsize: 61660
[startup+559.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 17176 0 0 0 55965 49 0 0 25 0 1 0 894519886 63627264 13898 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15534 13898 1111 63 0 15471 0
vsize: 62136
[startup+569.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 17181 0 0 0 56965 49 0 0 25 0 1 0 894519886 63627264 13899 4294967295 134512640 134716908 3221224576 3221220752 1074960795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15534 13899 1111 63 0 15471 0
vsize: 62136
[startup+579.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 17184 0 0 0 57966 49 0 0 25 0 1 0 894519886 63627264 13900 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15534 13900 1111 63 0 15471 0
vsize: 62136
[startup+589.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 17199 0 0 0 58966 49 0 0 25 0 1 0 894519886 63627264 13911 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15534 13911 1111 63 0 15471 0
vsize: 62136
[startup+599.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 17204 0 0 0 59966 49 0 0 25 0 1 0 894519886 63627264 13912 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15534 13912 1111 63 0 15471 0
vsize: 62136
[startup+609.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 17208 0 0 0 60967 49 0 0 25 0 1 0 894519886 63627264 13912 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15534 13912 1111 63 0 15471 0
vsize: 62136
[startup+619.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 17212 0 0 0 61967 49 0 0 25 0 1 0 894519886 63799296 13914 4294967295 134512640 134716908 3221224576 3221221520 1075971413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15576 13914 1111 63 0 15513 0
vsize: 62304
[startup+629.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 17214 0 0 0 62967 49 0 0 25 0 1 0 894519886 63627264 13912 4294967295 134512640 134716908 3221224576 3221220752 1074960854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15534 13912 1111 63 0 15471 0
vsize: 62136
[startup+639.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 17226 0 0 0 63967 49 0 0 25 0 1 0 894519886 63627264 13920 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15534 13920 1111 63 0 15471 0
vsize: 62136
[startup+649.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 17233 0 0 0 64968 49 0 0 25 0 1 0 894519886 63627264 13923 4294967295 134512640 134716908 3221224576 3221220708 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15534 13923 1111 63 0 15471 0
vsize: 62136
[startup+659.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 17238 0 0 0 65968 49 0 0 25 0 1 0 894519886 63627264 13926 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15534 13926 1111 63 0 15471 0
vsize: 62136
[startup+669.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 17244 0 0 0 66968 49 0 0 25 0 1 0 894519886 63627264 13928 4294967295 134512640 134716908 3221224576 3221220416 1075965307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15534 13928 1111 63 0 15471 0
vsize: 62136
[startup+679.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 17254 0 0 0 67969 49 0 0 25 0 1 0 894519886 63627264 13934 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15534 13934 1111 63 0 15471 0
vsize: 62136
[startup+689.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 17262 0 0 0 68969 49 0 0 25 0 1 0 894519886 63627264 13938 4294967295 134512640 134716908 3221224576 3221220640 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15534 13938 1111 63 0 15471 0
vsize: 62136
[startup+699.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 17266 0 0 0 69969 49 0 0 25 0 1 0 894519886 63627264 13940 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15534 13940 1111 63 0 15471 0
vsize: 62136
[startup+709.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 17273 0 0 0 70969 49 0 0 25 0 1 0 894519886 63627264 13943 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15534 13943 1111 63 0 15471 0
vsize: 62136
[startup+719.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 17279 0 0 0 71970 49 0 0 25 0 1 0 894519886 63627264 13945 4294967295 134512640 134716908 3221224576 3221220640 1075095124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15534 13945 1111 63 0 15471 0
vsize: 62136
[startup+729.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 35164 0 0 0 72929 91 0 0 25 0 1 0 894519886 66797568 11720 4294967295 134512640 134716908 3221224576 3221221552 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16308 11720 1111 63 0 16245 0
vsize: 65232
[startup+739.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 53995 0 0 0 73879 140 0 0 25 0 1 0 894519886 43974656 10011 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10736 10011 1111 63 0 10673 0
vsize: 42944
[startup+749.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 58260 0 0 0 74865 154 0 0 25 0 1 0 894519886 43958272 10007 4294967295 134512640 134716908 3221224576 3221222976 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10732 10007 1111 63 0 10669 0
vsize: 42928
[startup+759.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 73530 0 0 0 75823 197 0 0 25 0 1 0 894519886 44007424 10019 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10744 10019 1111 63 0 10681 0
vsize: 42976
[startup+769.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 79881 0 0 0 76806 214 0 0 25 0 1 0 894519886 43991040 10015 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10740 10015 1111 63 0 10677 0
vsize: 42960
[startup+779.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 93541 0 0 0 77769 250 0 0 25 0 1 0 894519886 59961344 10196 4294967295 134512640 134716908 3221224576 3221220848 1074960795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14639 10196 1111 63 0 14576 0
vsize: 58556
[startup+789.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 114234 0 0 0 78713 308 0 0 25 0 1 0 894519886 44007424 10022 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10744 10022 1111 63 0 10681 0
vsize: 42976
[startup+799.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 131398 0 0 0 79664 356 0 0 25 0 1 0 894519886 44056576 10034 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10756 10034 1111 63 0 10693 0
vsize: 43024
[startup+809.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 148374 0 0 0 80619 402 0 0 25 0 1 0 894519886 60555264 12169 4294967295 134512640 134716908 3221224576 3221220544 1075965232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14784 12169 1111 63 0 14721 0
vsize: 59136
[startup+819.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 163558 0 0 0 81577 444 0 0 25 0 1 0 894519886 44023808 10026 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10748 10026 1111 63 0 10685 0
vsize: 42992
[startup+829.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 182150 0 0 0 82526 495 0 0 25 0 1 0 894519886 44023808 10026 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10748 10026 1111 63 0 10685 0
vsize: 42992
[startup+839.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 199323 0 0 0 83481 541 0 0 25 0 1 0 894519886 44023808 10026 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10748 10026 1111 63 0 10685 0
vsize: 42992
[startup+849.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 218571 0 0 0 84429 594 0 0 25 0 1 0 894519886 59805696 10120 4294967295 134512640 134716908 3221224576 3221221344 1076083421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14601 10120 1111 63 0 14538 0
vsize: 58404
[startup+859.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 233434 0 0 0 85386 637 0 0 25 0 1 0 894519886 44113920 10048 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10770 10048 1111 63 0 10707 0
vsize: 43080
[startup+869.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 246445 0 0 0 86351 672 0 0 25 0 1 0 894519886 60264448 10258 4294967295 134512640 134716908 3221224576 3221220912 1075113634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14713 10258 1111 63 0 14650 0
vsize: 58852
[startup+879.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 257780 0 0 0 87320 703 0 0 25 0 1 0 894519886 60887040 10428 4294967295 134512640 134716908 3221224576 3221220816 1075115712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14865 10428 1111 63 0 14802 0
vsize: 59460
[startup+889.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 268703 0 0 0 88290 733 0 0 25 0 1 0 894519886 44089344 10042 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10764 10042 1111 63 0 10701 0
vsize: 43056
[startup+899.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 285820 0 0 0 89246 778 0 0 25 0 1 0 894519886 44023808 10026 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10748 10026 1111 63 0 10685 0
vsize: 42992
[startup+909.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 299661 0 0 0 90208 816 0 0 25 0 1 0 894519886 60166144 10254 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14689 10254 1111 63 0 14626 0
vsize: 58756
[startup+919.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 310283 0 0 0 91180 844 0 0 25 0 1 0 894519886 44122112 10050 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10772 10050 1111 63 0 10709 0
vsize: 43088
[startup+929.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 323324 0 0 0 92146 879 0 0 25 0 1 0 894519886 43974656 10014 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10736 10014 1111 63 0 10673 0
vsize: 42944
[startup+939.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 336239 0 0 0 93111 915 0 0 25 0 1 0 894519886 44023808 10026 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10748 10026 1111 63 0 10685 0
vsize: 42992
[startup+949.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 359039 0 0 0 94049 977 0 0 25 0 1 0 894519886 43941888 10006 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10728 10006 1111 63 0 10665 0
vsize: 42912
[startup+959.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 377775 0 0 0 94999 1027 0 0 25 0 1 0 894519886 60157952 12097 4294967295 134512640 134716908 3221224576 3221220804 1075115035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14687 12097 1111 63 0 14624 0
vsize: 58748
[startup+969.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 390833 0 0 0 95963 1064 0 0 25 0 1 0 894519886 44089344 10042 4294967295 134512640 134716908 3221224576 3221222928 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10764 10042 1111 63 0 10701 0
vsize: 43056
[startup+979.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 408031 0 0 0 96917 1110 0 0 25 0 1 0 894519886 43991040 10018 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10740 10018 1111 63 0 10677 0
vsize: 42960
[startup+989.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 428931 0 0 0 97859 1168 0 0 25 0 1 0 894519886 43991040 10018 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10740 10018 1111 63 0 10677 0
vsize: 42960
[startup+999.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 440566 0 0 0 98830 1198 0 0 25 0 1 0 894519886 60547072 12175 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14782 12175 1111 63 0 14719 0
vsize: 59128
[startup+1009.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 458097 0 0 0 99781 1247 0 0 25 0 1 0 894519886 43974656 10014 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10736 10014 1111 63 0 10673 0
vsize: 42944
[startup+1019.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 475304 0 0 0 100733 1295 0 0 25 0 1 0 894519886 44077056 10038 4294967295 134512640 134716908 3221224576 3221222576 1074916465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10761 10038 1111 63 0 10698 0
vsize: 43044
[startup+1029.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16558
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 492777 0 0 0 101686 1342 0 0 25 0 1 0 894519886 43991040 10018 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10740 10018 1111 63 0 10677 0
vsize: 42960
[startup+1039.99 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 16611
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 511864 0 0 0 102632 1396 0 0 25 0 1 0 894519886 43941888 10006 4294967295 134512640 134716908 3221224576 3221222848 1074207177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10728 10006 1111 63 0 10665 0
vsize: 42912
[startup+1049.99 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 16611
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 524521 0 0 0 103600 1428 0 0 25 0 1 0 894519886 61005824 12287 4294967295 134512640 134716908 3221224576 3221220676 1075964214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14894 12287 1111 63 0 14831 0
vsize: 59576
[startup+1059.99 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 16611
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 535292 0 0 0 104572 1457 0 0 25 0 1 0 894519886 43974656 10014 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10736 10014 1111 63 0 10673 0
vsize: 42944
[startup+1069.99 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 16611
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 545979 0 0 0 105544 1484 0 0 25 0 1 0 894519886 44023808 10026 4294967295 134512640 134716908 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10748 10026 1111 63 0 10685 0
vsize: 42992
[startup+1079.99 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 16611
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 556522 0 0 0 106516 1513 0 0 25 0 1 0 894519886 44056576 10034 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10756 10034 1111 63 0 10693 0
vsize: 43024
[startup+1089.99 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 16611
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 567462 0 0 0 107488 1541 0 0 25 0 1 0 894519886 44056576 10034 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10756 10034 1111 63 0 10693 0
vsize: 43024
[startup+1099.99 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 16611
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 584523 0 0 0 108442 1588 0 0 25 0 1 0 894519886 44023808 10026 4294967295 134512640 134716908 3221224576 3221222584 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10748 10026 1111 63 0 10685 0
vsize: 42992
[startup+1109.99 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 16613
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 603417 0 0 0 109389 1641 0 0 25 0 1 0 894519886 44056576 10034 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10756 10034 1111 63 0 10693 0
vsize: 43024
[startup+1119.99 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 16613
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 620491 0 0 0 110344 1686 0 0 25 0 1 0 894519886 44023808 10026 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10748 10026 1111 63 0 10685 0
vsize: 42992
[startup+1129.99 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16613
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 629708 0 0 0 111319 1712 0 0 25 0 1 0 894519886 61095936 10563 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14916 10563 1111 63 0 14853 0
vsize: 59664
[startup+1139.99 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16613
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 640137 0 0 0 112290 1741 0 0 25 0 1 0 894519886 44023808 10026 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10748 10026 1111 63 0 10685 0
vsize: 42992
[startup+1149.99 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16613
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 655069 0 0 0 113250 1782 0 0 25 0 1 0 894519886 60555264 10269 4294967295 134512640 134716908 3221224576 3221221568 1075110381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14784 10273 1111 63 0 14721 0
vsize: 59136
[startup+1159.99 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16613
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 669565 0 0 0 114209 1823 0 0 25 0 1 0 894519886 44122112 10050 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10772 10050 1111 63 0 10709 0
vsize: 43088
[startup+1169.99 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16613
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 678270 0 0 0 115188 1844 0 0 25 0 1 0 894519886 60858368 10424 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14858 10424 1111 63 0 14795 0
vsize: 59432
[startup+1179.16 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 16613
Raw data (stat): 16558 (bsolo_lpr-v2) R 16557 25568 25567 0 -1 0 678270 0 0 0 115188 1844 0 0 25 0 1 0 894519886 60858368 10424 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14858 10424 1111 63 0 14795 0
vsize: 0

Child status: 10
Real time (s): 1179.16
CPU time (s): 1179.49
CPU user time (s): 1160.68
CPU system time (s): 18.8131
CPU usage (%): 100.029
Max. virtual memory (Kb): 65232
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-21
#### END VERIFIER DATA ####