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-2.opb
MD5SUM	409f1cf0658f035df65cb61f3e4f598e
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	27847
Number of constraints which are clauses	27847
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 39696

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 16:37:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27762 boxname=wulflinc4 idbench=320 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  409f1cf0658f035df65cb61f3e4f598e  /oldhome/oroussel/tmp/wulflinc4/normalized-frb35-17-2.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-frb35-17-2.opb
IDLAUNCH: 27762
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        921172 kB
Buffers:         33852 kB
Cached:          56628 kB
SwapCached:        980 kB
Active:          22760 kB
Inactive:        69904 kB
HighTotal:      131008 kB
HighFree:       103236 kB
LowTotal:       903652 kB
LowFree:        817936 kB
SwapTotal:     2097136 kB
SwapFree:      2095204 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4892 kB
Slab:            15164 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 16:56:41 (client local time) WITH STATUS 10 IN 1177.07 SECONDS
stats: 27762 0 1177.07 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 595 variables and 27847 constraints.
c After prepocess the problem consists of 595 variables and 19978 constraints.
c preprocess terminated 163.644 s
c Initial Lower Bound: -63
c Lower Bound Elapsed time: 123.706
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -4 @ 658.824
c NEW SOLUTION FOUND: -5 @ 658.83
c NEW SOLUTION FOUND: -6 @ 658.865
c NEW SOLUTION FOUND: -7 @ 658.877
c NEW SOLUTION FOUND: -8 @ 658.907
c NEW SOLUTION FOUND: -9 @ 658.937
c NEW SOLUTION FOUND: -10 @ 658.95
c NEW SOLUTION FOUND: -11 @ 659.028
c NEW SOLUTION FOUND: -12 @ 659.12
c NEW SOLUTION FOUND: -13 @ 659.557
c NEW SOLUTION FOUND: -14 @ 660.073
c NEW SOLUTION FOUND: -15 @ 660.167
c NEW SOLUTION FOUND: -16 @ 661.558
c NEW SOLUTION FOUND: -17 @ 665.342
c NEW SOLUTION FOUND: -18 @ 682.178
c NEW SOLUTION FOUND: -19 @ 691.198
c NEW SOLUTION FOUND: -20 @ 826.938
c NEW SOLUTION FOUND: -21 @ 1096.25
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: 1177.04 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.92 0.97 0.91 2/54 18314
Raw data (stat): 18314 (runsolver) R 18313 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 894476732 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0013 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 10845 0 0 0 966 31 0 0 25 0 1 0 894476732 43859968 9876 4294967295 134512640 134716908 3221224576 3221222992 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10708 9876 1111 63 0 10645 0
vsize: 42832
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 10845 0 0 0 1966 31 0 0 25 0 1 0 894476732 43859968 9876 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10708 9876 1111 63 0 10645 0
vsize: 42832
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 10845 0 0 0 2967 31 0 0 25 0 1 0 894476732 43859968 9876 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10708 9876 1111 63 0 10645 0
vsize: 42832
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 10845 0 0 0 3967 31 0 0 25 0 1 0 894476732 43859968 9876 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10708 9876 1111 63 0 10645 0
vsize: 42832
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 10845 0 0 0 4967 31 0 0 25 0 1 0 894476732 43859968 9876 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10708 9876 1111 63 0 10645 0
vsize: 42832
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 10845 0 0 0 5967 31 0 0 25 0 1 0 894476732 43859968 9876 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10708 9876 1111 63 0 10645 0
vsize: 42832
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 10845 0 0 0 6967 31 0 0 25 0 1 0 894476732 43859968 9876 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10708 9876 1111 63 0 10645 0
vsize: 42832
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 10845 0 0 0 7967 31 0 0 25 0 1 0 894476732 43859968 9876 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10708 9876 1111 63 0 10645 0
vsize: 42832
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 10845 0 0 0 8968 31 0 0 25 0 1 0 894476732 43859968 9876 4294967295 134512640 134716908 3221224576 3221222992 134543681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10708 9876 1111 63 0 10645 0
vsize: 42832
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 10845 0 0 0 9968 31 0 0 25 0 1 0 894476732 43859968 9876 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10708 9876 1111 63 0 10645 0
vsize: 42832
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 10845 0 0 0 10968 31 0 0 25 0 1 0 894476732 43859968 9876 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10708 9876 1111 63 0 10645 0
vsize: 42832
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 10845 0 0 0 11968 31 0 0 25 0 1 0 894476732 43859968 9876 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10708 9876 1111 63 0 10645 0
vsize: 42832
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 10845 0 0 0 12968 31 0 0 25 0 1 0 894476732 43859968 9876 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10708 9876 1111 63 0 10645 0
vsize: 42832
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 10845 0 0 0 13968 31 0 0 25 0 1 0 894476732 43859968 9876 4294967295 134512640 134716908 3221224576 3221223228 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10708 9876 1111 63 0 10645 0
vsize: 42832
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 10845 0 0 0 14968 31 0 0 25 0 1 0 894476732 43859968 9876 4294967295 134512640 134716908 3221224576 3221223248 134627257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10708 9876 1111 63 0 10645 0
vsize: 42832
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 11086 0 0 0 15968 32 0 0 25 0 1 0 894476732 44843008 10117 4294967295 134512640 134716908 3221224576 3221223352 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10948 10117 1111 63 0 10885 0
vsize: 43792
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 11551 0 0 0 16965 35 0 0 25 0 1 0 894476732 46796800 10552 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11425 10552 1111 63 0 11362 0
vsize: 45700
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 11609 0 0 0 17962 37 0 0 25 0 1 0 894476732 47005696 10610 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11476 10610 1111 63 0 11413 0
vsize: 45904
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 11641 0 0 0 18961 38 0 0 25 0 1 0 894476732 47128576 10642 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11506 10642 1111 63 0 11443 0
vsize: 46024
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 11671 0 0 0 19961 39 0 0 25 0 1 0 894476732 47230976 10672 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11531 10672 1111 63 0 11468 0
vsize: 46124
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 11734 0 0 0 20960 40 0 0 25 0 1 0 894476732 47484928 10735 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11593 10735 1111 63 0 11530 0
vsize: 46372
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 11759 0 0 0 21959 41 0 0 25 0 1 0 894476732 47583232 10760 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11617 10760 1111 63 0 11554 0
vsize: 46468
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 11781 0 0 0 22959 41 0 0 25 0 1 0 894476732 47669248 10782 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11638 10782 1111 63 0 11575 0
vsize: 46552
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 11900 0 0 0 23959 42 0 0 25 0 1 0 894476732 48152576 10901 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11756 10901 1111 63 0 11693 0
vsize: 47024
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 15390 0 0 0 24951 49 0 0 25 0 1 0 894476732 63238144 13121 4294967295 134512640 134716908 3221224576 3221220428 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15439 13121 1111 63 0 15376 0
vsize: 61756
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 16277 0 0 0 25949 52 0 0 25 0 1 0 894476732 61747200 13435 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15075 13435 1111 63 0 15012 0
vsize: 60300
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 16332 0 0 0 26949 52 0 0 25 0 1 0 894476732 61747200 13486 4294967295 134512640 134716908 3221224576 3221220544 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15075 13486 1111 63 0 15012 0
vsize: 60300
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 16375 0 0 0 27949 52 0 0 25 0 1 0 894476732 61911040 13527 4294967295 134512640 134716908 3221224576 3221221136 1075967886 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15115 13527 1111 63 0 15052 0
vsize: 60460
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 16392 0 0 0 28949 52 0 0 25 0 1 0 894476732 61747200 13540 4294967295 134512640 134716908 3221224576 3221220688 1074815309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15075 13540 1111 63 0 15012 0
vsize: 60300
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 16425 0 0 0 29949 52 0 0 25 0 1 0 894476732 61747200 13569 4294967295 134512640 134716908 3221224576 3221220624 1074969440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15075 13569 1111 63 0 15012 0
vsize: 60300
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 16440 0 0 0 30949 52 0 0 25 0 1 0 894476732 61747200 13580 4294967295 134512640 134716908 3221224576 3221220624 1074969449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15075 13580 1111 63 0 15012 0
vsize: 60300
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 16491 0 0 0 31949 53 0 0 25 0 1 0 894476732 62054400 13627 4294967295 134512640 134716908 3221224576 3221220580 1075964218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15150 13627 1111 63 0 15087 0
vsize: 60600
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 16560 0 0 0 32949 53 0 0 25 0 1 0 894476732 62365696 13692 4294967295 134512640 134716908 3221224576 3221220688 1074815265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15226 13692 1111 63 0 15163 0
vsize: 60904
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 16598 0 0 0 33949 53 0 0 25 0 1 0 894476732 62365696 13726 4294967295 134512640 134716908 3221224576 3221220752 1074961304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15226 13726 1111 63 0 15163 0
vsize: 60904
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 16611 0 0 0 34949 53 0 0 25 0 1 0 894476732 62365696 13735 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15226 13735 1111 63 0 15163 0
vsize: 60904
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 16650 0 0 0 35949 53 0 0 25 0 1 0 894476732 62693376 13770 4294967295 134512640 134716908 3221224576 3221220420 1074786582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15306 13770 1111 63 0 15243 0
vsize: 61224
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 16720 0 0 0 36949 53 0 0 25 0 1 0 894476732 63037440 13836 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15390 13836 1111 63 0 15327 0
vsize: 61560
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 16744 0 0 0 37949 54 0 0 25 0 1 0 894476732 63037440 13856 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15390 13856 1111 63 0 15327 0
vsize: 61560
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 16750 0 0 0 38949 54 0 0 25 0 1 0 894476732 63037440 13858 4294967295 134512640 134716908 3221224576 3221220752 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15390 13858 1111 63 0 15327 0
vsize: 61560
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 16754 0 0 0 39949 54 0 0 25 0 1 0 894476732 63037440 13858 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15390 13858 1111 63 0 15327 0
vsize: 61560
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 16828 0 0 0 40950 54 0 0 25 0 1 0 894476732 63397888 13926 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15478 13926 1111 63 0 15415 0
vsize: 61912
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 16849 0 0 0 41950 54 0 0 25 0 1 0 894476732 63397888 13945 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15478 13945 1111 63 0 15415 0
vsize: 61912
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 16930 0 0 0 42950 54 0 0 25 0 1 0 894476732 63774720 14022 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15570 14022 1111 63 0 15507 0
vsize: 62280
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17054 0 0 0 43949 55 0 0 25 0 1 0 894476732 64593920 14142 4294967295 134512640 134716908 3221224576 3221221008 1075397167 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15770 14142 1111 63 0 15707 0
vsize: 63080
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17081 0 0 0 44949 55 0 0 25 0 1 0 894476732 64593920 14165 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15770 14165 1111 63 0 15707 0
vsize: 63080
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17169 0 0 0 45949 55 0 0 25 0 1 0 894476732 65024000 14249 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15875 14249 1111 63 0 15812 0
vsize: 63500
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17195 0 0 0 46949 55 0 0 25 0 1 0 894476732 65024000 14271 4294967295 134512640 134716908 3221224576 3221220640 1075093371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15875 14271 1111 63 0 15812 0
vsize: 63500
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17273 0 0 0 47950 55 0 0 25 0 1 0 894476732 65495040 14345 4294967295 134512640 134716908 3221224576 3221220752 1074960771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15990 14345 1111 63 0 15927 0
vsize: 63960
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17319 0 0 0 48950 55 0 0 25 0 1 0 894476732 65495040 14387 4294967295 134512640 134716908 3221224576 3221220720 1075115709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15990 14387 1111 63 0 15927 0
vsize: 63960
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17329 0 0 0 49950 55 0 0 25 0 1 0 894476732 65495040 14393 4294967295 134512640 134716908 3221224576 3221220640 1075095094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15990 14393 1111 63 0 15927 0
vsize: 63960
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17331 0 0 0 50950 55 0 0 25 0 1 0 894476732 65495040 14393 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15990 14393 1111 63 0 15927 0
vsize: 63960
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17349 0 0 0 51950 55 0 0 25 0 1 0 894476732 65495040 14407 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15990 14407 1111 63 0 15927 0
vsize: 63960
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17362 0 0 0 52950 55 0 0 25 0 1 0 894476732 65495040 14416 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15990 14416 1111 63 0 15927 0
vsize: 63960
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17369 0 0 0 53950 55 0 0 25 0 1 0 894476732 65495040 14419 4294967295 134512640 134716908 3221224576 3221220412 1074788143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15990 14419 1111 63 0 15927 0
vsize: 63960
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17374 0 0 0 54950 56 0 0 25 0 1 0 894476732 65495040 14420 4294967295 134512640 134716908 3221224576 3221220364 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15990 14420 1111 63 0 15927 0
vsize: 63960
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17384 0 0 0 55951 56 0 0 25 0 1 0 894476732 65495040 14426 4294967295 134512640 134716908 3221224576 3221220708 1075115035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15990 14426 1111 63 0 15927 0
vsize: 63960
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17388 0 0 0 56951 56 0 0 25 0 1 0 894476732 65495040 14428 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15990 14428 1111 63 0 15927 0
vsize: 63960
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17398 0 0 0 57951 56 0 0 25 0 1 0 894476732 65495040 14434 4294967295 134512640 134716908 3221224576 3221220752 1074960771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15990 14434 1111 63 0 15927 0
vsize: 63960
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17402 0 0 0 58951 56 0 0 25 0 1 0 894476732 65495040 14434 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15990 14434 1111 63 0 15927 0
vsize: 63960
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17406 0 0 0 59951 56 0 0 25 0 1 0 894476732 65495040 14434 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15990 14434 1111 63 0 15927 0
vsize: 63960
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17410 0 0 0 60951 56 0 0 25 0 1 0 894476732 65495040 14434 4294967295 134512640 134716908 3221224576 3221220752 1074960828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15990 14434 1111 63 0 15927 0
vsize: 63960
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17414 0 0 0 61951 56 0 0 25 0 1 0 894476732 65658880 14436 4294967295 134512640 134716908 3221224576 3221221072 1074888471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16030 14436 1111 63 0 15967 0
vsize: 64120
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17416 0 0 0 62952 56 0 0 25 0 1 0 894476732 65495040 14434 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15990 14434 1111 63 0 15927 0
vsize: 63960
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17420 0 0 0 63952 56 0 0 25 0 1 0 894476732 65495040 14434 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15990 14434 1111 63 0 15927 0
vsize: 63960
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 17424 0 0 0 64952 56 0 0 25 0 1 0 894476732 65495040 14434 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15990 14434 1111 63 0 15927 0
vsize: 63960
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 49711 0 0 0 65870 138 0 0 25 0 1 0 894476732 46632960 10659 4294967295 134512640 134716908 3221224576 3221223184 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11385 10659 1111 63 0 11322 0
vsize: 45540
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 59085 0 0 0 66841 167 0 0 25 0 1 0 894476732 61526016 10766 4294967295 134512640 134716908 3221224576 3221220720 1074970218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15021 10766 1111 63 0 14958 0
vsize: 60084
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 64032 0 0 0 67827 181 0 0 25 0 1 0 894476732 46665728 10667 4294967295 134512640 134716908 3221224576 3221222304 1075828444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11393 10667 1111 63 0 11330 0
vsize: 45572
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 74158 0 0 0 68799 210 0 0 25 0 1 0 894476732 46616576 10655 4294967295 134512640 134716908 3221224576 3221222912 1074057902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11381 10655 1111 63 0 11318 0
vsize: 45524
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 89305 0 0 0 69757 251 0 0 25 0 1 0 894476732 46616576 10658 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11381 10658 1111 63 0 11318 0
vsize: 45524
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 104345 0 0 0 70716 293 0 0 25 0 1 0 894476732 46694400 10677 4294967295 134512640 134716908 3221224576 3221222556 1077411566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11401 10678 1111 63 0 11338 0
vsize: 45600
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 119509 0 0 0 71676 333 0 0 25 0 1 0 894476732 46731264 10686 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11409 10686 1111 63 0 11346 0
vsize: 45636
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 136750 0 0 0 72630 379 0 0 25 0 1 0 894476732 46649344 10666 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11389 10666 1111 63 0 11326 0
vsize: 45556
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 152310 0 0 0 73589 421 0 0 25 0 1 0 894476732 61743104 10794 4294967295 134512640 134716908 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15074 10794 1111 63 0 15011 0
vsize: 60296
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 161043 0 0 0 74567 442 0 0 25 0 1 0 894476732 46682112 10674 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11397 10674 1111 63 0 11334 0
vsize: 45588
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 173054 0 0 0 75535 475 0 0 25 0 1 0 894476732 46682112 10674 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11397 10674 1111 63 0 11334 0
vsize: 45588
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 188561 0 0 0 76491 519 0 0 25 0 1 0 894476732 46665728 10670 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11393 10670 1111 63 0 11330 0
vsize: 45572
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 204384 0 0 0 77446 564 0 0 25 0 1 0 894476732 46649344 10666 4294967295 134512640 134716908 3221224576 3221222880 1074143503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11389 10666 1111 63 0 11326 0
vsize: 45556
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 226929 0 0 0 78383 627 0 0 25 0 1 0 894476732 46649344 10666 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11389 10666 1111 63 0 11326 0
vsize: 45556
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 235291 0 0 0 79359 651 0 0 25 0 1 0 894476732 46731264 10686 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11409 10686 1111 63 0 11346 0
vsize: 45636
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 251059 0 0 0 80317 693 0 0 25 0 1 0 894476732 46649344 10666 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11389 10666 1111 63 0 11326 0
vsize: 45556
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 266782 0 0 0 81274 736 0 0 25 0 1 0 894476732 46694400 10674 4294967295 134512640 134716908 3221224576 3221222856 1074138377 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11400 10674 1111 63 0 11337 0
vsize: 45600
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 277441 0 0 0 82245 766 0 0 25 0 1 0 894476732 46817280 10707 4294967295 134512640 134716908 3221224576 3221222624 1075963599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11430 10707 1111 63 0 11367 0
vsize: 45720
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 296316 0 0 0 83193 818 0 0 25 0 1 0 894476732 46649344 10666 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11389 10666 1111 63 0 11326 0
vsize: 45556
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 311399 0 0 0 84153 858 0 0 25 0 1 0 894476732 46698496 10678 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11401 10678 1111 63 0 11338 0
vsize: 45604
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 335570 0 0 0 85088 923 0 0 25 0 1 0 894476732 46678016 10671 4294967295 134512640 134716908 3221224576 3221222320 1075640405 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11396 10671 1111 63 0 11333 0
vsize: 45584
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 357760 0 0 0 86029 982 0 0 25 0 1 0 894476732 46698496 10678 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11401 10678 1111 63 0 11338 0
vsize: 45604
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 376356 0 0 0 86980 1031 0 0 25 0 1 0 894476732 46632960 10662 4294967295 134512640 134716908 3221224576 3221222920 1074057647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11385 10662 1111 63 0 11322 0
vsize: 45540
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 396835 0 0 0 87924 1088 0 0 25 0 1 0 894476732 61485056 12129 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15011 12129 1111 63 0 14948 0
vsize: 60044
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 419224 0 0 0 88861 1150 0 0 25 0 1 0 894476732 61800448 10862 4294967295 134512640 134716908 3221224576 3221220848 1074960896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15088 10862 1111 63 0 15025 0
vsize: 60352
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 443168 0 0 0 89794 1217 0 0 25 0 1 0 894476732 46850048 10677 4294967295 134512640 134716908 3221224576 3221222304 1075828682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11438 10677 1111 63 0 11375 0
vsize: 45752
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 462312 0 0 0 90740 1271 0 0 25 0 1 0 894476732 61714432 10771 4294967295 134512640 134716908 3221224576 3221221648 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15067 10771 1111 63 0 15004 0
vsize: 60268
[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 489911 0 0 0 91665 1347 0 0 25 0 1 0 894476732 46632960 10662 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11385 10662 1111 63 0 11322 0
vsize: 45540
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 508975 0 0 0 92613 1399 0 0 25 0 1 0 894476732 46616576 10658 4294967295 134512640 134716908 3221224576 3221222868 1074143411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11381 10658 1111 63 0 11318 0
vsize: 45524
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 522512 0 0 0 93576 1436 0 0 25 0 1 0 894476732 62205952 10978 4294967295 134512640 134716908 3221224576 3221220624 1074792223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15187 10978 1111 63 0 15124 0
vsize: 60748
[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 539880 0 0 0 94528 1484 0 0 25 0 1 0 894476732 61927424 10874 4294967295 134512640 134716908 3221224576 3221221120 1075088566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15119 10874 1111 63 0 15056 0
vsize: 60476
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 554711 0 0 0 95488 1524 0 0 25 0 1 0 894476732 46731264 10686 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11409 10686 1111 63 0 11346 0
vsize: 45636
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 573458 0 0 0 96437 1575 0 0 25 0 1 0 894476732 46665728 10670 4294967295 134512640 134716908 3221224576 3221222928 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11393 10670 1111 63 0 11330 0
vsize: 45572
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 592345 0 0 0 97386 1626 0 0 25 0 1 0 894476732 62201856 10966 4294967295 134512640 134716908 3221224576 3221221640 1075007302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15186 10966 1111 63 0 15123 0
vsize: 60744
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 611564 0 0 0 98331 1681 0 0 25 0 1 0 894476732 46768128 10695 4294967295 134512640 134716908 3221224576 3221222216 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11418 10695 1111 63 0 11355 0
vsize: 45672
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 619098 0 0 0 99311 1702 0 0 25 0 1 0 894476732 62115840 10941 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15165 10941 1111 63 0 15102 0
vsize: 60660
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 639796 0 0 0 100254 1758 0 0 25 0 1 0 894476732 46665728 10670 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11393 10670 1111 63 0 11330 0
vsize: 45572
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 657262 0 0 0 101203 1809 0 0 25 0 1 0 894476732 46632960 10662 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11385 10662 1111 63 0 11322 0
vsize: 45540
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 668401 0 0 0 102172 1841 0 0 25 0 1 0 894476732 46649344 10666 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11389 10666 1111 63 0 11326 0
vsize: 45556
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 680676 0 0 0 103137 1875 0 0 25 0 1 0 894476732 46649344 10666 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11389 10666 1111 63 0 11326 0
vsize: 45556
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 694782 0 0 0 104098 1914 0 0 25 0 1 0 894476732 46665728 10670 4294967295 134512640 134716908 3221224576 3221223192 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11393 10670 1111 63 0 11330 0
vsize: 45572
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 717255 0 0 0 105038 1974 0 0 25 0 1 0 894476732 46682112 10674 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11397 10674 1111 63 0 11334 0
vsize: 45588
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 736534 0 0 0 105986 2027 0 0 25 0 1 0 894476732 46665728 10670 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11393 10670 1111 63 0 11330 0
vsize: 45572
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 760376 0 0 0 106920 2093 0 0 25 0 1 0 894476732 46632960 10662 4294967295 134512640 134716908 3221224576 3221222976 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11385 10662 1111 63 0 11322 0
vsize: 45540
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 777399 0 0 0 107873 2140 0 0 25 0 1 0 894476732 46665728 10670 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11393 10670 1111 63 0 11330 0
vsize: 45572
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 795952 0 0 0 108823 2190 0 0 25 0 1 0 894476732 61665280 12289 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15055 12289 1111 63 0 14992 0
vsize: 60220
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 815766 0 0 0 109768 2245 0 0 25 0 1 0 894476732 62259200 12325 4294967295 134512640 134716908 3221224576 3221220736 1075095344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15200 12325 1111 63 0 15137 0
vsize: 60800
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 834470 0 0 0 110715 2298 0 0 25 0 1 0 894476732 46649344 10666 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11389 10666 1111 63 0 11326 0
vsize: 45556
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 850670 0 0 0 111670 2343 0 0 25 0 1 0 894476732 47120384 10749 4294967295 134512640 134716908 3221224576 3221222576 1074916669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11504 10749 1111 63 0 11441 0
vsize: 46016
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 864774 0 0 0 112631 2382 0 0 25 0 1 0 894476732 62496768 11422 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15258 11422 1111 63 0 15195 0
vsize: 61032
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 879660 0 0 0 113591 2423 0 0 25 0 1 0 894476732 62320640 10973 4294967295 134512640 134716908 3221224576 3221220816 1075115730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15215 10973 1111 63 0 15152 0
vsize: 60860
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 897946 0 0 0 114543 2471 0 0 25 0 1 0 894476732 46833664 10708 4294967295 134512640 134716908 3221224576 3221222320 1075646215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11434 10708 1111 63 0 11371 0
vsize: 45736
[startup+1176.97 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 18314
Raw data (stat): 18314 (bsolo_lpr-v2) R 18313 21152 21151 0 -1 0 897946 0 0 0 114543 2471 0 0 25 0 1 0 894476732 46833664 10708 4294967295 134512640 134716908 3221224576 3221222320 1075646215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11434 10708 1111 63 0 11371 0
vsize: 0

Child status: 10
Real time (s): 1176.97
CPU time (s): 1177.07
CPU user time (s): 1152.14
CPU system time (s): 24.9302
CPU usage (%): 100.009
Max. virtual memory (Kb): 64120
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-21
#### END VERIFIER DATA ####