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-4.opb
MD5SUM	615f734b8951521e89cf22f42d6d26cc
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.05084
Number of variables	450
Total number of constraints	17831
Number of constraints which are clauses	17831
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 39693

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        925336 kB
Buffers:         33860 kB
Cached:          52780 kB
SwapCached:       1760 kB
Active:          21432 kB
Inactive:        68108 kB
HighTotal:      131008 kB
HighFree:        91980 kB
LowTotal:       903652 kB
LowFree:        833356 kB
SwapTotal:     2097136 kB
SwapFree:      2094416 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5040 kB
Slab:            14120 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 16:42:41 (client local time) WITH STATUS 10 IN 1178.85 SECONDS
stats: 27759 0 1178.85 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 450 variables and 17831 constraints.
c After prepocess the problem consists of 450 variables and 13543 constraints.
c preprocess terminated 81.344 s
c Initial Lower Bound: -50
c Lower Bound Elapsed time: 48.9507
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -3 @ 277.368
c NEW SOLUTION FOUND: -4 @ 277.389
c NEW SOLUTION FOUND: -5 @ 277.398
c NEW SOLUTION FOUND: -6 @ 277.41
c NEW SOLUTION FOUND: -7 @ 277.587
c NEW SOLUTION FOUND: -8 @ 277.711
c NEW SOLUTION FOUND: -9 @ 277.83
c NEW SOLUTION FOUND: -10 @ 278.038
c NEW SOLUTION FOUND: -11 @ 278.636
c NEW SOLUTION FOUND: -12 @ 279.556
c NEW SOLUTION FOUND: -13 @ 280.478
c NEW SOLUTION FOUND: -14 @ 281.844
c NEW SOLUTION FOUND: -15 @ 282.697
c NEW SOLUTION FOUND: -16 @ 287.403
c NEW SOLUTION FOUND: -17 @ 330.905
c NEW SOLUTION FOUND: -18 @ 542.337
c NEW SOLUTION FOUND: -19 @ 947.508
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: 1178.83 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.90 2/54 16465
Raw data (stat): 16465 (runsolver) R 16464 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 894401149 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 5520 0 0 0 983 14 0 0 25 0 1 0 894401149 24932352 5225 4294967295 134512640 134716908 3221224576 3221223056 134539362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6087 5225 1111 63 0 6024 0
vsize: 24348
[startup+20.0004 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 5735 0 0 0 1983 15 0 0 25 0 1 0 894401149 24797184 5224 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6054 5224 1111 63 0 5991 0
vsize: 24216
[startup+30.0009 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 5778 0 0 0 2983 15 0 0 25 0 1 0 894401149 24936448 5258 4294967295 134512640 134716908 3221224576 3221223080 134543628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6088 5258 1111 63 0 6025 0
vsize: 24352
[startup+40.0011 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 5915 0 0 0 3983 15 0 0 25 0 1 0 894401149 25067520 5290 4294967295 134512640 134716908 3221224576 3221222992 134542680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6120 5290 1111 63 0 6057 0
vsize: 24480
[startup+50.0009 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 6336 0 0 0 4982 17 0 0 25 0 1 0 894401149 25485312 5392 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6222 5392 1111 63 0 6159 0
vsize: 24888
[startup+60.0004 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 6424 0 0 0 5982 17 0 0 25 0 1 0 894401149 25890816 5480 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6321 5480 1111 63 0 6258 0
vsize: 25284
[startup+70.0008 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 6571 0 0 0 6982 18 0 0 25 0 1 0 894401149 26566656 5627 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6486 5627 1111 63 0 6423 0
vsize: 25944
[startup+80.0003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 6880 0 0 0 7981 19 0 0 25 0 1 0 894401149 27762688 5936 4294967295 134512640 134716908 3221224576 3221223440 134622438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6778 5936 1111 63 0 6715 0
vsize: 27112
[startup+89.9999 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 7368 0 0 0 8978 21 0 0 25 0 1 0 894401149 29765632 6397 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 6397 1111 63 0 7204 0
vsize: 29068
[startup+100 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 7418 0 0 0 9977 23 0 0 25 0 1 0 894401149 29941760 6447 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7310 6447 1111 63 0 7247 0
vsize: 29240
[startup+110 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 7484 0 0 0 10976 24 0 0 25 0 1 0 894401149 30240768 6513 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7383 6513 1111 63 0 7320 0
vsize: 29532
[startup+120 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 10517 0 0 0 11969 32 0 0 25 0 1 0 894401149 39378944 8292 4294967295 134512640 134716908 3221224576 3221220608 1075112091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9614 8292 1111 63 0 9551 0
vsize: 38456
[startup+130.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 10600 0 0 0 12969 32 0 0 25 0 1 0 894401149 39587840 8375 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9665 8375 1111 63 0 9602 0
vsize: 38660
[startup+140 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 10662 0 0 0 13969 32 0 0 25 0 1 0 894401149 39800832 8437 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9717 8437 1111 63 0 9654 0
vsize: 38868
[startup+150.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 10727 0 0 0 14969 32 0 0 25 0 1 0 894401149 40030208 8502 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9773 8502 1111 63 0 9710 0
vsize: 39092
[startup+160.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 10753 0 0 0 15969 33 0 0 25 0 1 0 894401149 40263680 8528 4294967295 134512640 134716908 3221224576 3221220492 1074788915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9830 8528 1111 63 0 9767 0
vsize: 39320
[startup+170.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 10777 0 0 0 16970 33 0 0 25 0 1 0 894401149 40263680 8552 4294967295 134512640 134716908 3221224576 3221220492 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9830 8552 1111 63 0 9767 0
vsize: 39320
[startup+180 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 10825 0 0 0 17970 33 0 0 25 0 1 0 894401149 40509440 8600 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9890 8600 1111 63 0 9827 0
vsize: 39560
[startup+190.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 10920 0 0 0 18970 33 0 0 25 0 1 0 894401149 41046016 8693 4294967295 134512640 134716908 3221224576 3221220812 1076111476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10021 8693 1111 63 0 9958 0
vsize: 40084
[startup+200 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 11003 0 0 0 19970 33 0 0 25 0 1 0 894401149 41340928 8776 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10093 8776 1111 63 0 10030 0
vsize: 40372
[startup+210 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 11069 0 0 0 20970 33 0 0 25 0 1 0 894401149 41635840 8842 4294967295 134512640 134716908 3221224576 3221220720 1075115730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10165 8842 1111 63 0 10102 0
vsize: 40660
[startup+220 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 11074 0 0 0 21970 33 0 0 25 0 1 0 894401149 41635840 8847 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10165 8847 1111 63 0 10102 0
vsize: 40660
[startup+230 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 11155 0 2 0 22968 34 0 0 25 0 1 0 894401149 41951232 8930 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10242 8930 1111 63 0 10179 0
vsize: 40968
[startup+240 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 11173 0 2 0 23968 34 0 0 25 0 1 0 894401149 41951232 8948 4294967295 134512640 134716908 3221224576 3221220720 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10242 8948 1111 63 0 10179 0
vsize: 40968
[startup+250 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 11177 0 2 0 24968 34 0 0 25 0 1 0 894401149 41951232 8952 4294967295 134512640 134716908 3221224576 3221220624 1074969465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10242 8952 1111 63 0 10179 0
vsize: 40968
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 11179 0 2 0 25969 34 0 0 25 0 1 0 894401149 41951232 8954 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10242 8954 1111 63 0 10179 0
vsize: 40968
[startup+269.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 11180 0 2 0 26969 34 0 0 25 0 1 0 894401149 41951232 8955 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10242 8955 1111 63 0 10179 0
vsize: 40968
[startup+279.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 36231 0 2 0 27904 98 0 0 25 0 1 0 894401149 29614080 6519 4294967295 134512640 134716908 3221224576 3221222496 1075799512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7230 6519 1111 63 0 7167 0
vsize: 28920
[startup+289.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 41321 0 2 0 28891 112 0 0 25 0 1 0 894401149 29605888 6517 4294967295 134512640 134716908 3221224576 3221223200 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7228 6517 1111 63 0 7165 0
vsize: 28912
[startup+299.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 54925 0 2 0 29853 150 0 0 25 0 1 0 894401149 29618176 6520 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7231 6520 1111 63 0 7168 0
vsize: 28924
[startup+309.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 68491 0 2 0 30816 188 0 0 25 0 1 0 894401149 29626368 6522 4294967295 134512640 134716908 3221224576 3221222304 1075828500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7233 6522 1111 63 0 7170 0
vsize: 28932
[startup+319.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 75671 0 2 0 31796 208 0 0 25 0 1 0 894401149 29622272 6521 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7232 6521 1111 63 0 7169 0
vsize: 28928
[startup+329.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 84799 0 2 0 32772 232 0 0 25 0 1 0 894401149 29626368 6522 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7233 6522 1111 63 0 7170 0
vsize: 28932
[startup+339.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 98467 0 2 0 33734 270 0 0 25 0 1 0 894401149 40022016 6666 4294967295 134512640 134716908 3221224576 3221220848 1074961120 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9771 6666 1111 63 0 9708 0
vsize: 39084
[startup+349.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 107518 0 2 0 34710 294 0 0 25 0 1 0 894401149 29622272 6521 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7232 6521 1111 63 0 7169 0
vsize: 28928
[startup+359.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 121037 0 2 0 35673 331 0 0 25 0 1 0 894401149 39931904 6682 4294967295 134512640 134716908 3221224576 3221220816 1075115744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9749 6682 1111 63 0 9686 0
vsize: 38996
[startup+369.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 136950 0 2 0 36631 374 0 0 25 0 1 0 894401149 29626368 6525 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7233 6525 1111 63 0 7170 0
vsize: 28932
[startup+379.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 154068 0 2 0 37583 422 0 0 25 0 1 0 894401149 29605888 6520 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7228 6520 1111 63 0 7165 0
vsize: 28912
[startup+389.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 166271 0 2 0 38552 453 0 0 25 0 1 0 894401149 40288256 7918 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9836 7918 1111 63 0 9773 0
vsize: 39344
[startup+399.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 181122 0 2 0 39510 495 0 0 25 0 1 0 894401149 29650944 6531 4294967295 134512640 134716908 3221224576 3221221680 1074138887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7239 6531 1111 63 0 7176 0
vsize: 28956
[startup+409.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 196024 0 2 0 40471 535 0 0 25 0 1 0 894401149 29622272 6524 4294967295 134512640 134716908 3221224576 3221222888 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7232 6524 1111 63 0 7169 0
vsize: 28928
[startup+419.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 207329 0 2 0 41439 567 0 0 25 0 1 0 894401149 29638656 6528 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7236 6528 1111 63 0 7173 0
vsize: 28944
[startup+429.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 218759 0 2 0 42409 598 0 0 25 0 1 0 894401149 40009728 6690 4294967295 134512640 134716908 3221224576 3221221520 1074620113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9768 6690 1111 63 0 9705 0
vsize: 39072
[startup+439.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 236924 0 2 0 43360 646 0 0 25 0 1 0 894401149 36442112 7014 4294967295 134512640 134716908 3221224576 3221221648 1074867352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8897 7014 1111 63 0 8834 0
vsize: 35588
[startup+449.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 250562 0 2 0 44323 684 0 0 25 0 1 0 894401149 29614080 6530 4294967295 134512640 134716908 3221224576 3221222936 1073987068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7230 6530 1111 63 0 7167 0
vsize: 28920
[startup+459.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 267555 0 2 0 45276 731 0 0 25 0 1 0 894401149 39956480 7879 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9755 7879 1111 63 0 9692 0
vsize: 39020
[startup+469.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 282518 0 2 0 46234 773 0 0 25 0 1 0 894401149 29605888 6528 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7228 6528 1111 63 0 7165 0
vsize: 28912
[startup+479.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 298494 0 2 0 47190 817 0 0 25 0 1 0 894401149 29626368 6533 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7233 6533 1111 63 0 7170 0
vsize: 28932
[startup+489.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 313825 0 2 0 48149 859 0 0 25 0 1 0 894401149 29614080 6530 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7230 6530 1111 63 0 7167 0
vsize: 28920
[startup+499.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 332175 0 2 0 49099 910 0 0 25 0 1 0 894401149 29614080 6530 4294967295 134512640 134716908 3221224576 3221222716 1077379823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7230 6530 1111 63 0 7167 0
vsize: 28920
[startup+509.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 349547 0 2 0 50051 957 0 0 25 0 1 0 894401149 39796736 6601 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9716 6601 1111 63 0 9653 0
vsize: 38864
[startup+519.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 366784 0 2 0 51005 1004 0 0 25 0 1 0 894401149 29777920 6535 4294967295 134512640 134716908 3221224576 3221222304 1075828629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7270 6535 1111 63 0 7207 0
vsize: 29080
[startup+529.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 387679 0 2 0 51948 1061 0 0 25 0 1 0 894401149 29618176 6531 4294967295 134512640 134716908 3221224576 3221223088 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7231 6531 1111 63 0 7168 0
vsize: 28924
[startup+539.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 396898 0 2 0 52924 1086 0 0 25 0 1 0 894401149 29605888 6528 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7228 6528 1111 63 0 7165 0
vsize: 28912
[startup+549.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 410537 0 2 0 53885 1125 0 0 25 0 1 0 894401149 29618176 6531 4294967295 134512640 134716908 3221224576 3221222920 1074146097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7231 6531 1111 63 0 7168 0
vsize: 28924
[startup+559.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 424077 0 2 0 54848 1162 0 0 25 0 1 0 894401149 37208064 7195 4294967295 134512640 134716908 3221224576 3221221608 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9084 7195 1111 63 0 9021 0
vsize: 36336
[startup+569.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 436597 0 2 0 55814 1196 0 0 25 0 1 0 894401149 29618176 6531 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7231 6531 1111 63 0 7168 0
vsize: 28924
[startup+579.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 451485 0 2 0 56775 1235 0 0 25 0 1 0 894401149 29626368 6533 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7233 6533 1111 63 0 7170 0
vsize: 28932
[startup+589.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 467590 0 2 0 57732 1279 0 0 25 0 1 0 894401149 39964672 6688 4294967295 134512640 134716908 3221224576 3221220668 1075663503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9757 6688 1111 63 0 9694 0
vsize: 39028
[startup+599.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 483559 0 2 0 58689 1322 0 0 25 0 1 0 894401149 29675520 6545 4294967295 134512640 134716908 3221224576 3221221696 1074864890 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7245 6545 1111 63 0 7182 0
vsize: 28980
[startup+609.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 496065 0 2 0 59654 1357 0 0 25 0 1 0 894401149 29630464 6534 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7234 6534 1111 63 0 7171 0
vsize: 28936
[startup+619.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 513426 0 2 0 60607 1405 0 0 25 0 1 0 894401149 39776256 7819 4294967295 134512640 134716908 3221224576 3221221104 1075397189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9711 7819 1111 63 0 9648 0
vsize: 38844
[startup+629.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 528334 0 2 0 61565 1447 0 0 25 0 1 0 894401149 29622272 6532 4294967295 134512640 134716908 3221224576 3221223168 134652546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7232 6532 1111 63 0 7169 0
vsize: 28928
[startup+639.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 538694 0 2 0 62537 1476 0 0 25 0 1 0 894401149 29626368 6533 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7233 6533 1111 63 0 7170 0
vsize: 28932
[startup+649.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 551485 0 2 0 63503 1510 0 0 25 0 1 0 894401149 39624704 6582 4294967295 134512640 134716908 3221224576 3221220848 1074960765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9674 6582 1111 63 0 9611 0
vsize: 38696
[startup+659.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 565265 0 2 0 64463 1549 0 0 25 0 1 0 894401149 29618176 6531 4294967295 134512640 134716908 3221224576 3221223168 1074154012 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7231 6531 1111 63 0 7168 0
vsize: 28924
[startup+669.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 578946 0 2 0 65426 1588 0 0 25 0 1 0 894401149 39624704 6580 4294967295 134512640 134716908 3221224576 3221221120 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9674 6580 1111 63 0 9611 0
vsize: 38696
[startup+679.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 597413 0 2 0 66376 1638 0 0 25 0 1 0 894401149 29609984 6529 4294967295 134512640 134716908 3221224576 3221222848 1074143442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7229 6529 1111 63 0 7166 0
vsize: 28916
[startup+689.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 611217 0 2 0 67339 1675 0 0 25 0 1 0 894401149 39829504 6604 4294967295 134512640 134716908 3221224576 3221221504 1075960263 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9724 6604 1111 63 0 9661 0
vsize: 38896
[startup+699.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 621521 0 2 0 68311 1703 0 0 25 0 1 0 894401149 39948288 6691 4294967295 134512640 134716908 3221224576 3221220912 1075113620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9753 6691 1111 63 0 9690 0
vsize: 39012
[startup+709.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 637693 0 2 0 69269 1746 0 0 25 0 1 0 894401149 39804928 6642 4294967295 134512640 134716908 3221224576 3221221468 1074786323 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9718 6642 1111 63 0 9655 0
vsize: 38872
[startup+719.993 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 652610 0 2 0 70229 1786 0 0 25 0 1 0 894401149 39940096 6712 4294967295 134512640 134716908 3221224576 3221220736 1074794682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9751 6712 1111 63 0 9688 0
vsize: 39004
[startup+729.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 666268 0 2 0 71192 1824 0 0 25 0 1 0 894401149 29630464 6534 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7234 6534 1111 63 0 7171 0
vsize: 28936
[startup+739.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 677271 0 2 0 72162 1854 0 0 25 0 1 0 894401149 37240832 7196 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9092 7196 1111 63 0 9029 0
vsize: 36368
[startup+749.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 693537 0 2 0 73117 1899 0 0 25 0 1 0 894401149 29622272 6532 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7232 6532 1111 63 0 7169 0
vsize: 28928
[startup+759.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 704770 0 2 0 74088 1928 0 0 25 0 1 0 894401149 29777920 6535 4294967295 134512640 134716908 3221224576 3221222304 1075828363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7270 6535 1111 63 0 7207 0
vsize: 29080
[startup+769.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 716355 0 2 0 75058 1959 0 0 25 0 1 0 894401149 29638656 6536 4294967295 134512640 134716908 3221224576 3221222912 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7236 6536 1111 63 0 7173 0
vsize: 28944
[startup+779.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 731371 0 2 0 76016 2001 0 0 25 0 1 0 894401149 29626368 6533 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7233 6533 1111 63 0 7170 0
vsize: 28932
[startup+789.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 748537 0 2 0 76969 2048 0 0 25 0 1 0 894401149 39903232 7851 4294967295 134512640 134716908 3221224576 3221220512 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9742 7851 1111 63 0 9679 0
vsize: 38968
[startup+799.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 765728 0 2 0 77922 2096 0 0 25 0 1 0 894401149 29622272 6532 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7232 6532 1111 63 0 7169 0
vsize: 28928
[startup+809.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 780559 0 2 0 78881 2137 0 0 25 0 1 0 894401149 40296448 7923 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9838 7923 1111 63 0 9775 0
vsize: 39352
[startup+819.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 796796 0 2 0 79834 2184 0 0 25 0 1 0 894401149 39768064 6617 4294967295 134512640 134716908 3221224576 3221220848 1074961301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9709 6617 1111 63 0 9646 0
vsize: 38836
[startup+829.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 813114 0 2 0 80788 2231 0 0 25 0 1 0 894401149 29626368 6533 4294967295 134512640 134716908 3221224576 3221222584 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7233 6533 1111 63 0 7170 0
vsize: 28932
[startup+839.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 832561 0 2 0 81735 2285 0 0 25 0 1 0 894401149 29630464 6534 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7234 6534 1111 63 0 7171 0
vsize: 28936
[startup+849.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 848701 0 2 0 82691 2328 0 0 25 0 1 0 894401149 29618176 6531 4294967295 134512640 134716908 3221224576 3221222492 1073978422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7231 6531 1111 63 0 7168 0
vsize: 28924
[startup+859.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 862585 0 2 0 83652 2368 0 0 25 0 1 0 894401149 29618176 6531 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7231 6531 1111 63 0 7168 0
vsize: 28924
[startup+869.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 880059 0 2 0 84603 2417 0 0 25 0 1 0 894401149 40337408 7943 4294967295 134512640 134716908 3221224576 3221220848 1074960909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9848 7943 1111 63 0 9785 0
vsize: 39392
[startup+879.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 893902 0 2 0 85564 2456 0 0 25 0 1 0 894401149 40312832 6775 4294967295 134512640 134716908 3221224576 3221221088 1075084536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9842 6775 1111 63 0 9779 0
vsize: 39368
[startup+889.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 909210 0 2 0 86523 2498 0 0 25 0 1 0 894401149 36585472 7021 4294967295 134512640 134716908 3221224576 3221221232 1075967892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8932 7021 1111 63 0 8869 0
vsize: 35728
[startup+899.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 924330 0 2 0 87481 2540 0 0 25 0 1 0 894401149 40194048 6705 4294967295 134512640 134716908 3221224576 3221221232 1075967895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9813 6707 1111 63 0 9750 0
vsize: 39252
[startup+909.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 944427 0 2 0 88426 2596 0 0 25 0 1 0 894401149 29650944 6539 4294967295 134512640 134716908 3221224576 3221223216 134651140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7239 6539 1111 63 0 7176 0
vsize: 28956
[startup+919.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 957886 0 2 0 89389 2633 0 0 25 0 1 0 894401149 29622272 6532 4294967295 134512640 134716908 3221224576 3221222688 1074867212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7232 6532 1111 63 0 7169 0
vsize: 28928
[startup+929.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 974944 0 2 0 90343 2679 0 0 25 0 1 0 894401149 29659136 6541 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7241 6541 1111 63 0 7178 0
vsize: 28964
[startup+939.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 990926 0 2 0 91300 2723 0 0 25 0 1 0 894401149 29622272 6532 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7232 6532 1111 63 0 7169 0
vsize: 28928
[startup+949.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1002315 0 2 0 92267 2756 0 0 25 0 1 0 894401149 29638656 6536 4294967295 134512640 134716908 3221224576 3221222928 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7236 6536 1111 63 0 7173 0
vsize: 28944
[startup+959.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1014946 0 2 0 93232 2791 0 0 25 0 1 0 894401149 39936000 7860 4294967295 134512640 134716908 3221224576 3221220512 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9750 7860 1111 63 0 9687 0
vsize: 39000
[startup+969.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1029860 0 2 0 94191 2832 0 0 25 0 1 0 894401149 39968768 7875 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9758 7875 1111 63 0 9695 0
vsize: 39032
[startup+979.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1039114 0 2 0 95167 2856 0 0 25 0 1 0 894401149 29618176 6531 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7231 6531 1111 63 0 7168 0
vsize: 28924
[startup+989.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1050191 0 2 0 96137 2887 0 0 25 0 1 0 894401149 29638656 6536 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7236 6536 1111 63 0 7173 0
vsize: 28944
[startup+999.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1062737 0 2 0 97103 2921 0 0 25 0 1 0 894401149 29622272 6532 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7232 6532 1111 63 0 7169 0
vsize: 28928
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1072959 0 2 0 98076 2948 0 0 25 0 1 0 894401149 29626368 6533 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7233 6533 1111 63 0 7170 0
vsize: 28932
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1081706 0 2 0 99054 2971 0 0 25 0 1 0 894401149 40382464 6812 4294967295 134512640 134716908 3221224576 3221220848 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9859 6812 1111 63 0 9796 0
vsize: 39436
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1094311 0 2 0 100021 3004 0 0 25 0 1 0 894401149 40292352 6675 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9837 6675 1111 63 0 9774 0
vsize: 39348
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1108474 0 2 0 100984 3042 0 0 25 0 1 0 894401149 39931904 7010 4294967295 134512640 134716908 3221224576 3221220736 1075095344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9749 7018 1111 63 0 9686 0
vsize: 38996
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1121692 0 2 0 101947 3079 0 0 25 0 1 0 894401149 40620032 8017 4294967295 134512640 134716908 3221224576 3221220608 1074790230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9917 8017 1111 63 0 9854 0
vsize: 39668
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1133066 0 2 0 102917 3109 0 0 25 0 1 0 894401149 29626368 6533 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7233 6533 1111 63 0 7170 0
vsize: 28932
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1143431 0 2 0 103890 3137 0 0 25 0 1 0 894401149 40357888 6762 4294967295 134512640 134716908 3221224576 3221220736 1074794671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9853 6762 1111 63 0 9790 0
vsize: 39412
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1154781 0 2 0 104859 3168 0 0 25 0 1 0 894401149 40599552 6846 4294967295 134512640 134716908 3221224576 3221221168 1074884314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9912 6846 1111 63 0 9849 0
vsize: 39648
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1164785 0 2 0 105834 3193 0 0 25 0 1 0 894401149 40136704 6729 4294967295 134512640 134716908 3221224576 3221220848 1074960768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9799 6729 1111 63 0 9736 0
vsize: 39196
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1174601 0 2 0 106809 3219 0 0 25 0 1 0 894401149 36978688 7143 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9028 7143 1111 63 0 8965 0
vsize: 36112
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1188229 0 2 0 107770 3258 0 0 25 0 1 0 894401149 34811904 6575 4294967295 134512640 134716908 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7241 6541 1111 63 0 7178 0
vsize: 33996
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1200411 0 2 0 108737 3292 0 0 25 0 1 0 894401149 40656896 8020 4294967295 134512640 134716908 3221224576 3221221112 1075118209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9926 8020 1111 63 0 9863 0
vsize: 39704
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1213899 0 2 0 109699 3330 0 0 25 0 1 0 894401149 39972864 6656 4294967295 134512640 134716908 3221224576 3221220456 1074788468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9759 6656 1111 63 0 9696 0
vsize: 39036
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1229691 0 2 0 110656 3373 0 0 25 0 1 0 894401149 29626368 6533 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7233 6533 1111 63 0 7170 0
vsize: 28932
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1242323 0 2 0 111623 3407 0 0 25 0 1 0 894401149 29609984 6529 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7229 6529 1111 63 0 7166 0
vsize: 28916
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1255828 0 2 0 112586 3444 0 0 25 0 1 0 894401149 29638656 6536 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7236 6536 1111 63 0 7173 0
vsize: 28944
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1267436 0 2 0 113555 3476 0 0 25 0 1 0 894401149 29622272 6532 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7232 6532 1111 63 0 7169 0
vsize: 28928
[startup+1178.55 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 16465
Raw data (stat): 16465 (bsolo_lpr-v2) R 16464 25568 25567 0 -1 0 1267436 0 2 0 113555 3476 0 0 25 0 1 0 894401149 29622272 6532 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7232 6532 1111 63 0 7169 0
vsize: 0

Child status: 10
Real time (s): 1178.55
CPU time (s): 1178.85
CPU user time (s): 1143.86
CPU system time (s): 34.9957
CPU usage (%): 100.026
Max. virtual memory (Kb): 40968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-19
#### END VERIFIER DATA ####