PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
MD5SUM	063fe125a766c5e46d0ecbf211fd8049
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	450
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	450
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	450
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04584
Number of variables	450
Total number of constraints	17809
Number of constraints which are clauses	17809
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 39692

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        931980 kB
Buffers:         26392 kB
Cached:          51312 kB
SwapCached:       1176 kB
Active:          18292 kB
Inactive:        61676 kB
HighTotal:      131008 kB
HighFree:        85120 kB
LowTotal:       903652 kB
LowFree:        846860 kB
SwapTotal:     2097136 kB
SwapFree:      2094852 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5684 kB
Slab:            16980 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 16:40:00 (client local time) WITH STATUS 10 IN 1175.59 SECONDS
stats: 27758 0 1175.59 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 450 variables and 17809 constraints.
c After prepocess the problem consists of 450 variables and 14316 constraints.
c preprocess terminated 89.652 s
c Initial Lower Bound: -51
c Lower Bound Elapsed time: 52.602
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -4 @ 300.296
c NEW SOLUTION FOUND: -5 @ 300.315
c NEW SOLUTION FOUND: -6 @ 300.392
c NEW SOLUTION FOUND: -7 @ 300.431
c NEW SOLUTION FOUND: -8 @ 300.619
c NEW SOLUTION FOUND: -9 @ 300.943
c NEW SOLUTION FOUND: -10 @ 301.173
c NEW SOLUTION FOUND: -11 @ 301.375
c NEW SOLUTION FOUND: -12 @ 301.68
c NEW SOLUTION FOUND: -13 @ 302.263
c NEW SOLUTION FOUND: -14 @ 304.353
c NEW SOLUTION FOUND: -15 @ 316.668
c NEW SOLUTION FOUND: -16 @ 329.939
c NEW SOLUTION FOUND: -17 @ 346.37
c NEW SOLUTION FOUND: -18 @ 386.597
c NEW SOLUTION FOUND: -19 @ 433.82
c NEW SOLUTION FOUND: -20 @ 704.71
s SATISFIABLE
v -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: 1175.56 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.84 0.94 0.91 2/55 7589
Raw data (stat): 7589 (runsolver) R 7588 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 837529362 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.0004 s]
Raw data (loadavg): 0.87 0.94 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 8267 0 0 0 977 20 0 0 25 0 1 0 837529362 36110336 7959 4294967295 134512640 134716908 3221224576 3221223080 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8816 7959 1111 63 0 8753 0
vsize: 35264
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.94 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 8267 0 0 0 1977 20 0 0 25 0 1 0 837529362 36110336 7959 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8816 7959 1111 63 0 8753 0
vsize: 35264
[startup+30.0009 s]
Raw data (loadavg): 0.90 0.94 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 8267 0 0 0 2977 20 0 0 25 0 1 0 837529362 36110336 7959 4294967295 134512640 134716908 3221224576 3221222992 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8816 7959 1111 63 0 8753 0
vsize: 35264
[startup+40.0007 s]
Raw data (loadavg): 0.92 0.94 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 8267 0 0 0 3977 20 0 0 25 0 1 0 837529362 36110336 7959 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8816 7959 1111 63 0 8753 0
vsize: 35264
[startup+50.0005 s]
Raw data (loadavg): 0.93 0.94 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 8267 0 0 0 4977 20 0 0 25 0 1 0 837529362 36110336 7959 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8816 7959 1111 63 0 8753 0
vsize: 35264
[startup+60.0006 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 8267 0 0 0 5977 20 0 0 25 0 1 0 837529362 36110336 7959 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8816 7959 1111 63 0 8753 0
vsize: 35264
[startup+70.001 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 8267 0 0 0 6978 20 0 0 25 0 1 0 837529362 36110336 7959 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8816 7959 1111 63 0 8753 0
vsize: 35264
[startup+80.0008 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 8267 0 0 0 7978 20 0 0 25 0 1 0 837529362 36110336 7959 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8816 7959 1111 63 0 8753 0
vsize: 35264
[startup+90.0007 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 8289 0 0 0 8978 20 0 0 25 0 1 0 837529362 36110336 7981 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8816 7981 1111 63 0 8753 0
vsize: 35264
[startup+100 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 8380 0 0 0 9977 20 0 0 25 0 1 0 837529362 36478976 8072 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8906 8072 1111 63 0 8843 0
vsize: 35624
[startup+110.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 8469 0 0 0 10976 22 0 0 25 0 1 0 837529362 36843520 8161 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8995 8161 1111 63 0 8932 0
vsize: 35980
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 8503 0 0 0 11975 22 0 0 25 0 1 0 837529362 36982784 8195 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9029 8195 1111 63 0 8966 0
vsize: 36116
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 11596 0 0 0 12968 29 0 0 25 0 1 0 837529362 48431104 10414 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11824 10414 1111 63 0 11761 0
vsize: 47296
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 11683 0 0 0 13968 30 0 0 25 0 1 0 837529362 46272512 10002 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11297 10002 1111 63 0 11234 0
vsize: 45188
[startup+150.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 11767 0 0 0 14968 30 0 0 25 0 1 0 837529362 46714880 10086 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11405 10086 1111 63 0 11342 0
vsize: 45620
[startup+160.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 11840 0 0 0 15968 30 0 0 25 0 1 0 837529362 46948352 10159 4294967295 134512640 134716908 3221224576 3221220364 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11462 10159 1111 63 0 11399 0
vsize: 45848
[startup+170.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 11844 0 0 0 16968 30 0 0 25 0 1 0 837529362 46948352 10163 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11462 10163 1111 63 0 11399 0
vsize: 45848
[startup+180.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 11885 0 0 0 17968 30 0 0 25 0 1 0 837529362 47206400 10204 4294967295 134512640 134716908 3221224576 3221220920 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11525 10204 1111 63 0 11462 0
vsize: 46100
[startup+190.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 11948 0 0 0 18968 31 0 0 25 0 1 0 837529362 47734784 10267 4294967295 134512640 134716908 3221224576 3221221552 1074867344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11654 10267 1111 63 0 11591 0
vsize: 46616
[startup+200.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 12057 0 0 0 19968 31 0 0 25 0 1 0 837529362 48029696 10376 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11726 10376 1111 63 0 11663 0
vsize: 46904
[startup+210.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 12121 0 0 0 20968 31 0 0 25 0 1 0 837529362 48336896 10440 4294967295 134512640 134716908 3221224576 3221221008 1075397211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11801 10440 1111 63 0 11738 0
vsize: 47204
[startup+220.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 12174 0 0 0 21968 31 0 0 25 0 1 0 837529362 48652288 10493 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11878 10493 1111 63 0 11815 0
vsize: 47512
[startup+230.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 12192 0 0 0 22968 31 0 0 25 0 1 0 837529362 48652288 10511 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11878 10511 1111 63 0 11815 0
vsize: 47512
[startup+240.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 12199 0 0 0 23968 31 0 0 25 0 1 0 837529362 48652288 10518 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11878 10518 1111 63 0 11815 0
vsize: 47512
[startup+250 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 12290 0 2 0 24962 32 0 0 25 0 1 0 837529362 48988160 10611 4294967295 134512640 134716908 3221224576 3221220812 1076111473 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11960 10611 1111 63 0 11897 0
vsize: 47840
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 12295 0 2 0 25962 32 0 0 25 0 1 0 837529362 48988160 10616 4294967295 134512640 134716908 3221224576 3221220816 1075114265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11960 10616 1111 63 0 11897 0
vsize: 47840
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 12298 0 2 0 26962 32 0 0 25 0 1 0 837529362 48988160 10619 4294967295 134512640 134716908 3221224576 3221220444 1074788187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11960 10619 1111 63 0 11897 0
vsize: 47840
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 12302 0 2 0 27963 32 0 0 25 0 1 0 837529362 48988160 10623 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11960 10623 1111 63 0 11897 0
vsize: 47840
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 12302 0 2 0 28963 32 0 0 25 0 1 0 837529362 48988160 10623 4294967295 134512640 134716908 3221224576 3221220580 1075964227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11960 10623 1111 63 0 11897 0
vsize: 47840
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 29155 0 2 0 29922 72 0 0 25 0 1 0 837529362 51130368 9744 4294967295 134512640 134716908 3221224576 3221221464 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12483 9744 1111 63 0 12420 0
vsize: 49932
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 53722 0 2 0 30853 141 0 0 25 0 1 0 837529362 36495360 8226 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8910 8226 1111 63 0 8847 0
vsize: 35640
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 67061 0 2 0 31815 179 0 0 25 0 1 0 837529362 47054848 8275 4294967295 134512640 134716908 3221224576 3221221644 1074831184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11488 8275 1111 63 0 11425 0
vsize: 45952
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 84553 0 2 0 32768 227 0 0 25 0 1 0 837529362 36487168 8227 4294967295 134512640 134716908 3221224576 3221222976 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8908 8227 1111 63 0 8845 0
vsize: 35632
[startup+340.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 101212 0 2 0 33721 273 0 0 25 0 1 0 837529362 47050752 8271 4294967295 134512640 134716908 3221224576 3221220784 1076079384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11487 8271 1111 63 0 11424 0
vsize: 45948
[startup+350.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 112085 0 2 0 34688 306 0 0 25 0 1 0 837529362 36495360 8229 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8910 8229 1111 63 0 8847 0
vsize: 35640
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 128018 0 2 0 35644 351 0 0 25 0 1 0 837529362 47058944 8301 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11489 8301 1111 63 0 11426 0
vsize: 45956
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 141218 0 2 0 36606 389 0 0 25 0 1 0 837529362 47063040 8486 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11490 8495 1111 63 0 11427 0
vsize: 45960
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 158884 0 2 0 37558 438 0 0 25 0 1 0 837529362 36499456 8230 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8911 8230 1111 63 0 8848 0
vsize: 35644
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 176423 0 2 0 38510 486 0 0 25 0 1 0 837529362 36503552 8231 4294967295 134512640 134716908 3221224576 3221223208 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8912 8231 1111 63 0 8849 0
vsize: 35648
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 195169 0 2 0 39458 538 0 0 25 0 1 0 837529362 47050752 8273 4294967295 134512640 134716908 3221224576 3221220816 1075115768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11487 8273 1111 63 0 11424 0
vsize: 45948
[startup+410.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 207645 0 2 0 40423 573 0 0 25 0 1 0 837529362 36491264 8228 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8909 8228 1111 63 0 8846 0
vsize: 35636
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 218869 0 2 0 41391 605 0 0 25 0 1 0 837529362 47054848 9263 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11488 9272 1111 63 0 11425 0
vsize: 45952
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 235447 0 2 0 42346 650 0 0 25 0 1 0 837529362 36487168 8227 4294967295 134512640 134716908 3221224576 3221222760 1077378180 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8908 8227 1111 63 0 8845 0
vsize: 35632
[startup+440.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 250058 0 2 0 43305 692 0 0 25 0 1 0 837529362 36507648 8232 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8913 8232 1111 63 0 8850 0
vsize: 35652
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 260701 0 2 0 44276 721 0 0 25 0 1 0 837529362 47063040 8312 4294967295 134512640 134716908 3221224576 3221220804 1075115035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11490 8312 1111 63 0 11427 0
vsize: 45960
[startup+460.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 271230 0 2 0 45246 750 0 0 25 0 1 0 837529362 36511744 8233 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8914 8233 1111 63 0 8851 0
vsize: 35656
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 284418 0 2 0 46210 787 0 0 25 0 1 0 837529362 36507648 8232 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8913 8232 1111 63 0 8850 0
vsize: 35652
[startup+480.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 296218 0 2 0 47178 819 0 0 25 0 1 0 837529362 47210496 9615 4294967295 134512640 134716908 3221224576 3221220816 1075115726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11526 9615 1111 63 0 11463 0
vsize: 46104
[startup+490.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 308220 0 2 0 48146 852 0 0 25 0 1 0 837529362 47210496 8337 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11526 8337 1111 63 0 11463 0
vsize: 46104
[startup+500.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 321361 0 2 0 49110 888 0 0 25 0 1 0 837529362 36495360 8229 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8910 8229 1111 63 0 8847 0
vsize: 35640
[startup+510.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 334450 0 2 0 50072 925 0 0 25 0 1 0 837529362 36491264 8228 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8909 8228 1111 63 0 8846 0
vsize: 35636
[startup+520.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 345029 0 2 0 51042 955 0 0 25 0 1 0 837529362 36511744 8233 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8914 8233 1111 63 0 8851 0
vsize: 35656
[startup+530.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 358195 0 2 0 52007 991 0 0 25 0 1 0 837529362 36503552 8231 4294967295 134512640 134716908 3221224576 3221223224 134542409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8912 8231 1111 63 0 8849 0
vsize: 35648
[startup+540.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 368782 0 2 0 52978 1020 0 0 25 0 1 0 837529362 36524032 8236 4294967295 134512640 134716908 3221224576 3221222688 1074867347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8917 8236 1111 63 0 8854 0
vsize: 35668
[startup+550.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 383269 0 2 0 53939 1060 0 0 25 0 1 0 837529362 36495360 8229 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8910 8229 1111 63 0 8847 0
vsize: 35640
[startup+560.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 400297 0 2 0 54893 1105 0 0 25 0 1 0 837529362 36491264 8228 4294967295 134512640 134716908 3221224576 3221223192 134543125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8909 8228 1111 63 0 8846 0
vsize: 35636
[startup+570.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 418873 0 2 0 55843 1156 0 0 25 0 1 0 837529362 36495360 8229 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8910 8229 1111 63 0 8847 0
vsize: 35640
[startup+580.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 436160 0 2 0 56794 1205 0 0 25 0 1 0 837529362 36511744 8233 4294967295 134512640 134716908 3221224576 3221222928 1074115275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8914 8233 1111 63 0 8851 0
vsize: 35656
[startup+590.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 454788 0 2 0 57743 1256 0 0 25 0 1 0 837529362 36491264 8228 4294967295 134512640 134716908 3221224576 3221223192 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8909 8228 1111 63 0 8846 0
vsize: 35636
[startup+600.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 476202 0 2 0 58684 1315 0 0 25 0 1 0 837529362 36495360 8229 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8910 8229 1111 63 0 8847 0
vsize: 35640
[startup+610.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 488179 0 2 0 59652 1348 0 0 25 0 1 0 837529362 36499456 8230 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8911 8230 1111 63 0 8848 0
vsize: 35644
[startup+620.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 502526 0 2 0 60612 1388 0 0 25 0 1 0 837529362 36503552 8231 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8912 8231 1111 63 0 8849 0
vsize: 35648
[startup+630.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 515603 0 2 0 61574 1425 0 0 25 0 1 0 837529362 47058944 8308 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11489 8312 1111 63 0 11426 0
vsize: 45956
[startup+640.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 528749 0 2 0 62539 1460 0 0 25 0 1 0 837529362 47071232 8331 4294967295 134512640 134716908 3221224576 3221220912 1075113493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11492 8331 1111 63 0 11429 0
vsize: 45968
[startup+650.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 539557 0 2 0 63510 1490 0 0 25 0 1 0 837529362 36511744 8233 4294967295 134512640 134716908 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8914 8233 1111 63 0 8851 0
vsize: 35656
[startup+660.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 551369 0 2 0 64478 1522 0 0 25 0 1 0 837529362 47230976 9579 4294967295 134512640 134716908 3221224576 3221220816 1075115734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11531 9579 1111 63 0 11468 0
vsize: 46124
[startup+670.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 563223 0 2 0 65444 1555 0 0 25 0 1 0 837529362 47063040 8298 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11490 8298 1111 63 0 11427 0
vsize: 45960
[startup+680.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 580691 0 2 0 66397 1603 0 0 25 0 1 0 837529362 47538176 9681 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11606 9681 1111 63 0 11543 0
vsize: 46424
[startup+690.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 591386 0 2 0 67368 1632 0 0 25 0 1 0 837529362 36495360 8229 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8910 8229 1111 63 0 8847 0
vsize: 35640
[startup+700.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 602021 0 2 0 68338 1662 0 0 25 0 1 0 837529362 36491264 8228 4294967295 134512640 134716908 3221224576 3221222732 1073960008 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8909 8228 1111 63 0 8846 0
vsize: 35636
[startup+710.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 610036 0 2 0 69316 1684 0 0 25 0 1 0 837529362 47558656 8433 4294967295 134512640 134716908 3221224576 3221220816 1075115741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11611 8433 1111 63 0 11548 0
vsize: 46444
[startup+720.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 617949 0 2 0 70293 1706 0 0 25 0 1 0 837529362 47599616 8493 4294967295 134512640 134716908 3221224576 3221221344 1076083464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11621 8493 1111 63 0 11558 0
vsize: 46484
[startup+730.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 629791 0 2 0 71259 1741 0 0 25 0 1 0 837529362 47071232 8271 4294967295 134512640 134716908 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11492 8276 1111 63 0 11429 0
vsize: 45968
[startup+740.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 640310 0 2 0 72230 1770 0 0 25 0 1 0 837529362 47497216 9690 4294967295 134512640 134716908 3221224576 3221220720 1074969685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11596 9690 1111 63 0 11533 0
vsize: 46384
[startup+750.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 650850 0 2 0 73202 1798 0 0 25 0 1 0 837529362 44138496 8855 4294967295 134512640 134716908 3221224576 3221220908 1076111497 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10776 8855 1111 63 0 10713 0
vsize: 43104
[startup+760.003 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 658801 0 2 0 74180 1821 0 0 25 0 1 0 837529362 36524032 8236 4294967295 134512640 134716908 3221224576 3221222576 1074918968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8917 8236 1111 63 0 8854 0
vsize: 35668
[startup+770.002 s]
Raw data (loadavg): 1.14 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 674582 0 2 0 75135 1865 0 0 25 0 1 0 837529362 36503552 8231 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8912 8231 1111 63 0 8849 0
vsize: 35648
[startup+780.003 s]
Raw data (loadavg): 1.11 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 691623 0 2 0 76089 1912 0 0 25 0 1 0 837529362 47906816 9764 4294967295 134512640 134716908 3221224576 3221220804 1075115109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11696 9764 1111 63 0 11633 0
vsize: 46784
[startup+790.003 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 702235 0 2 0 77060 1941 0 0 25 0 1 0 837529362 36499456 8230 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8911 8230 1111 63 0 8848 0
vsize: 35644
[startup+800.003 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 716547 0 2 0 78021 1980 0 0 25 0 1 0 837529362 47054848 8286 4294967295 134512640 134716908 3221224576 3221221120 1075088563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11488 8286 1111 63 0 11425 0
vsize: 45952
[startup+810.004 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 727001 0 2 0 78994 2007 0 0 25 0 1 0 837529362 36499456 8230 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8911 8230 1111 63 0 8848 0
vsize: 35644
[startup+820.003 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 734966 0 2 0 79972 2029 0 0 25 0 1 0 837529362 36511744 8233 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8914 8233 1111 63 0 8851 0
vsize: 35656
[startup+830.003 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 744088 0 2 0 80948 2054 0 0 25 0 1 0 837529362 47525888 9663 4294967295 134512640 134716908 3221224576 3221220848 1074960868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11603 9663 1111 63 0 11540 0
vsize: 46412
[startup+840.003 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 754458 0 2 0 81918 2084 0 0 25 0 1 0 837529362 44146688 8862 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10778 8862 1111 63 0 10715 0
vsize: 43112
[startup+850.004 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 762482 0 2 0 82895 2107 0 0 25 0 1 0 837529362 36499456 8230 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8911 8230 1111 63 0 8848 0
vsize: 35644
[startup+860.003 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 778205 0 2 0 83852 2150 0 0 25 0 1 0 837529362 36491264 8228 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8909 8228 1111 63 0 8846 0
vsize: 35636
[startup+870.003 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 793885 0 2 0 84808 2194 0 0 25 0 1 0 837529362 36495360 8229 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8910 8229 1111 63 0 8847 0
vsize: 35640
[startup+880.003 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 801892 0 2 0 85786 2217 0 0 25 0 1 0 837529362 36524032 8236 4294967295 134512640 134716908 3221224576 3221222304 1075828505 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8917 8236 1111 63 0 8854 0
vsize: 35668
[startup+890.003 s]
Raw data (loadavg): 1.02 1.00 0.92 3/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 810073 0 2 0 86764 2239 0 0 25 0 1 0 837529362 47919104 9752 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11699 9752 1111 63 0 11636 0
vsize: 46796
[startup+900.003 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 818251 0 2 0 87742 2261 0 0 25 0 1 0 837529362 47513600 8461 4294967295 134512640 134716908 3221224576 3221220912 1075113628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11600 8461 1111 63 0 11537 0
vsize: 46400
[startup+910.003 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 828723 0 2 0 88714 2289 0 0 25 0 1 0 837529362 36511744 8233 4294967295 134512640 134716908 3221224576 3221222976 1074118854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8914 8233 1111 63 0 8851 0
vsize: 35656
[startup+920.004 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 840904 0 2 0 89680 2323 0 0 25 0 1 0 837529362 36499456 8230 4294967295 134512640 134716908 3221224576 3221222960 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8911 8230 1111 63 0 8848 0
vsize: 35644
[startup+930.004 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 851524 0 2 0 90651 2352 0 0 25 0 1 0 837529362 43892736 8814 4294967295 134512640 134716908 3221224576 3221221648 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10716 8814 1111 63 0 10653 0
vsize: 42864
[startup+940.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 860904 0 2 0 91624 2379 0 0 25 0 1 0 837529362 36507648 8232 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8913 8232 1111 63 0 8850 0
vsize: 35652
[startup+950.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 870263 0 2 0 92598 2406 0 0 25 0 1 0 837529362 36519936 8235 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8916 8235 1111 63 0 8853 0
vsize: 35664
[startup+960.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 879781 0 2 0 93572 2431 0 0 25 0 1 0 837529362 36503552 8231 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8912 8231 1111 63 0 8849 0
vsize: 35648
[startup+970.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 891680 0 2 0 94540 2464 0 0 25 0 1 0 837529362 47222784 8325 4294967295 134512640 134716908 3221224576 3221221648 1074867331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11529 8325 1111 63 0 11466 0
vsize: 46116
[startup+980.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 901059 0 2 0 95515 2489 0 0 25 0 1 0 837529362 47501312 8452 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11597 8452 1111 63 0 11534 0
vsize: 46388
[startup+990.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 910443 0 2 0 96491 2512 0 0 25 0 1 0 837529362 36503552 8231 4294967295 134512640 134716908 3221224576 3221222796 1077374048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8912 8231 1111 63 0 8849 0
vsize: 35648
[startup+1000 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 918325 0 2 0 97468 2535 0 0 25 0 1 0 837529362 37036032 8292 4294967295 134512640 134716908 3221224576 3221221680 1074138617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9042 8292 1111 63 0 8979 0
vsize: 36168
[startup+1010 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 929051 0 2 0 98439 2565 0 0 25 0 1 0 837529362 43765760 8757 4294967295 134512640 134716908 3221224576 3221220588 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10685 8757 1111 63 0 10622 0
vsize: 42740
[startup+1020 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 937232 0 2 0 99416 2588 0 0 25 0 1 0 837529362 47210496 8337 4294967295 134512640 134716908 3221224576 3221220668 1075663503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11526 8337 1111 63 0 11463 0
vsize: 46104
[startup+1030 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 946630 0 2 0 100390 2615 0 0 25 0 1 0 837529362 47910912 8519 4294967295 134512640 134716908 3221224576 3221220848 1074960868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11697 8519 1111 63 0 11634 0
vsize: 46788
[startup+1040 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 955981 0 2 0 101365 2640 0 0 25 0 1 0 837529362 36519936 8235 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8916 8235 1111 63 0 8853 0
vsize: 35664
[startup+1050 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 965352 0 2 0 102340 2665 0 0 25 0 1 0 837529362 36519936 8235 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8916 8235 1111 63 0 8853 0
vsize: 35664
[startup+1060 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 976150 0 2 0 103311 2694 0 0 25 0 1 0 837529362 36503552 8231 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8912 8231 1111 63 0 8849 0
vsize: 35648
[startup+1070 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 985429 0 2 0 104285 2721 0 0 25 0 1 0 837529362 36524032 8236 4294967295 134512640 134716908 3221224576 3221221920 1074839039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8917 8236 1111 63 0 8854 0
vsize: 35668
[startup+1080 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 995014 0 2 0 105258 2747 0 0 25 0 1 0 837529362 47493120 8487 4294967295 134512640 134716908 3221224576 3221220824 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11595 8487 1111 63 0 11532 0
vsize: 46380
[startup+1090 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 1009707 0 2 0 106218 2787 0 0 25 0 1 0 837529362 36511744 8233 4294967295 134512640 134716908 3221224576 3221222960 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8914 8233 1111 63 0 8851 0
vsize: 35656
[startup+1100 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 1021641 0 2 0 107186 2820 0 0 25 0 1 0 837529362 47206400 9569 4294967295 134512640 134716908 3221224576 3221220848 1074960912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11525 9569 1111 63 0 11462 0
vsize: 46100
[startup+1110 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 1031082 0 2 0 108160 2846 0 0 25 0 1 0 837529362 36511744 8233 4294967295 134512640 134716908 3221224576 3221223192 134543133 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8914 8233 1111 63 0 8851 0
vsize: 35656
[startup+1120 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 1045788 0 2 0 109119 2887 0 0 25 0 1 0 837529362 36544512 8241 4294967295 134512640 134716908 3221224576 3221222976 1074118879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8922 8241 1111 63 0 8859 0
vsize: 35688
[startup+1130 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 1058827 0 2 0 110084 2922 0 0 25 0 1 0 837529362 47460352 9671 4294967295 134512640 134716908 3221224576 3221220608 1074790208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11587 9671 1111 63 0 11524 0
vsize: 46348
[startup+1140 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 1070687 0 2 0 111052 2954 0 0 25 0 1 0 837529362 43839488 8767 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10703 8767 1111 63 0 10640 0
vsize: 42812
[startup+1150 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 1079902 0 2 0 112028 2979 0 0 25 0 1 0 837529362 36532224 8238 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8919 8238 1111 63 0 8856 0
vsize: 35676
[startup+1160 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 1088187 0 2 0 113005 3002 0 0 25 0 1 0 837529362 36519936 8235 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8916 8235 1111 63 0 8853 0
vsize: 35664
[startup+1170 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 1098853 0 2 0 113977 3029 0 0 25 0 1 0 837529362 36511744 8233 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8914 8233 1111 63 0 8851 0
vsize: 35656
[startup+1175.52 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 7589
Raw data (stat): 7589 (bsolo_lpr-v2) R 7588 8378 8377 0 -1 0 1098853 0 2 0 113977 3029 0 0 25 0 1 0 837529362 36511744 8233 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8914 8233 1111 63 0 8851 0
vsize: 0

Child status: 10
Real time (s): 1175.51
CPU time (s): 1175.59
CPU user time (s): 1145.1
CPU system time (s): 30.4824
CPU usage (%): 100.006
Max. virtual memory (Kb): 49932
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-20
#### END VERIFIER DATA ####