PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
MD5SUM	16a8eb66aae2bcfd534a482dd0a3948e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-28
Optimality of the best value was proved	NO
Number of terms in the objective function	595
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	595
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	595
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	595
Total number of constraints	27856
Number of constraints which are clauses	27856
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 39695

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 16:32:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27761 boxname=wulflinc5 idbench=319 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  16a8eb66aae2bcfd534a482dd0a3948e  /oldhome/oroussel/tmp/wulflinc5/normalized-frb35-17-1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-frb35-17-1.opb
IDLAUNCH: 27761
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        900936 kB
Buffers:         33656 kB
Cached:          75628 kB
SwapCached:        604 kB
Active:          20284 kB
Inactive:        91096 kB
HighTotal:      131008 kB
HighFree:       109984 kB
LowTotal:       903652 kB
LowFree:        790952 kB
SwapTotal:     2097136 kB
SwapFree:      2095596 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            16736 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 16:52:24 (client local time) WITH STATUS 10 IN 1176.15 SECONDS
stats: 27761 0 1176.15 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 595 variables and 27856 constraints.
c After prepocess the problem consists of 595 variables and 20385 constraints.
c preprocess terminated 164.53 s
c Initial Lower Bound: -65
c Lower Bound Elapsed time: 134.218
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -5 @ 701.761
c NEW SOLUTION FOUND: -6 @ 701.818
c NEW SOLUTION FOUND: -7 @ 701.856
c NEW SOLUTION FOUND: -8 @ 701.92
c NEW SOLUTION FOUND: -9 @ 701.959
c NEW SOLUTION FOUND: -10 @ 701.99
c NEW SOLUTION FOUND: -11 @ 702.045
c NEW SOLUTION FOUND: -12 @ 702.074
c NEW SOLUTION FOUND: -13 @ 702.355
c NEW SOLUTION FOUND: -14 @ 702.574
c NEW SOLUTION FOUND: -15 @ 702.797
c NEW SOLUTION FOUND: -16 @ 705.735
c NEW SOLUTION FOUND: -17 @ 716.382
c NEW SOLUTION FOUND: -18 @ 730.457
c NEW SOLUTION FOUND: -19 @ 862.663
c NEW SOLUTION FOUND: -20 @ 1051.92
s SATISFIABLE
v -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 C582 -C581 -C580 -C579 -C578 C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 C511 -C510 C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 -C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 C1 
c Exit Code: 10
c Total time: 1176.12 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.93 0.98 0.94 1/54 6562
Raw data (stat): 6562 (runsolver) R 6561 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 894460541 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.0003 s]
Raw data (loadavg): 0.94 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 9027 0 0 0 973 24 0 0 25 0 1 0 894460541 39776256 8865 4294967295 134512640 134716908 3221224576 3221223100 134538944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9711 8865 1111 63 0 9648 0
vsize: 38844
[startup+20.0015 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10489 0 0 0 1970 27 0 0 25 0 1 0 894460541 44822528 10083 4294967295 134512640 134716908 3221224576 3221223316 134630825 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10489 0 0 0 2970 27 0 0 25 0 1 0 894460541 44822528 10083 4294967295 134512640 134716908 3221224576 3221223116 134543760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10489 0 0 0 3970 27 0 0 25 0 1 0 894460541 44822528 10083 4294967295 134512640 134716908 3221224576 3221222992 134542808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+50.0036 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10489 0 0 0 4970 27 0 0 25 0 1 0 894460541 44822528 10083 4294967295 134512640 134716908 3221224576 3221222940 134539301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10489 0 0 0 5971 27 0 0 25 0 1 0 894460541 44822528 10083 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10489 0 0 0 6971 27 0 0 25 0 1 0 894460541 44822528 10083 4294967295 134512640 134716908 3221224576 3221223040 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+80.004 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10489 0 0 0 7971 27 0 0 25 0 1 0 894460541 44822528 10083 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10489 0 0 0 8971 27 0 0 25 0 1 0 894460541 44822528 10083 4294967295 134512640 134716908 3221224576 3221223116 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10489 0 0 0 9971 27 0 0 25 0 1 0 894460541 44822528 10083 4294967295 134512640 134716908 3221224576 3221223228 134558618 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10489 0 0 0 10971 28 0 0 25 0 1 0 894460541 44822528 10083 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10489 0 0 0 11971 28 0 0 25 0 1 0 894460541 44822528 10083 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10489 0 0 0 12972 28 0 0 25 0 1 0 894460541 44822528 10083 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10489 0 0 0 13972 28 0 0 25 0 1 0 894460541 44822528 10083 4294967295 134512640 134716908 3221224576 3221223248 134627200 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10489 0 0 0 14972 28 0 0 25 0 1 0 894460541 44822528 10083 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10490 0 0 0 15972 28 0 0 25 0 1 0 894460541 44822528 10084 4294967295 134512640 134716908 3221224576 3221223444 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10084 1111 63 0 10880 0
vsize: 43772
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10638 0 0 0 16971 28 0 0 25 0 1 0 894460541 45277184 10232 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11054 10232 1111 63 0 10991 0
vsize: 44216
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10757 0 0 0 17970 30 0 0 25 0 1 0 894460541 45821952 10351 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11187 10351 1111 63 0 11124 0
vsize: 44748
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10787 0 0 0 18970 30 0 0 25 0 1 0 894460541 45944832 10381 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11217 10381 1111 63 0 11154 0
vsize: 44868
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10853 0 0 0 19969 31 0 0 25 0 1 0 894460541 46190592 10447 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11277 10447 1111 63 0 11214 0
vsize: 45108
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10889 0 0 0 20968 32 0 0 25 0 1 0 894460541 46313472 10483 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11307 10483 1111 63 0 11244 0
vsize: 45228
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10913 0 0 0 21967 33 0 0 25 0 1 0 894460541 46411776 10507 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11331 10507 1111 63 0 11268 0
vsize: 45324
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 10934 0 0 0 22967 34 0 0 25 0 1 0 894460541 46497792 10528 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11352 10528 1111 63 0 11289 0
vsize: 45408
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 11013 0 0 0 23967 34 0 0 25 0 1 0 894460541 46792704 10607 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11424 10607 1111 63 0 11361 0
vsize: 45696
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 11033 0 0 0 24967 35 0 0 25 0 1 0 894460541 46874624 10627 4294967295 134512640 134716908 3221224576 3221222784 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11444 10627 1111 63 0 11381 0
vsize: 45776
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 15288 0 0 0 25957 45 0 0 25 0 1 0 894460541 62119936 13595 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15166 13595 1111 63 0 15103 0
vsize: 60664
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 15508 0 0 0 26957 45 0 0 25 0 1 0 894460541 60608512 13231 4294967295 134512640 134716908 3221224576 3221220580 1075964244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14797 13231 1111 63 0 14734 0
vsize: 59188
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 15550 0 0 0 27957 45 0 0 25 0 1 0 894460541 60608512 13269 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14797 13269 1111 63 0 14734 0
vsize: 59188
[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 15617 0 0 0 28957 45 0 0 25 0 1 0 894460541 60907520 13334 4294967295 134512640 134716908 3221224576 3221220608 1075112110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14870 13334 1111 63 0 14807 0
vsize: 59480
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 15650 0 0 0 29957 45 0 0 25 0 1 0 894460541 60907520 13365 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14870 13365 1111 63 0 14807 0
vsize: 59480
[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 15730 0 0 0 30957 46 0 0 25 0 1 0 894460541 61218816 13441 4294967295 134512640 134716908 3221224576 3221220624 1074969680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14946 13441 1111 63 0 14883 0
vsize: 59784
[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 15810 0 0 0 31957 46 0 0 25 0 1 0 894460541 61558784 13517 4294967295 134512640 134716908 3221224576 3221220472 1075964745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15029 13517 1111 63 0 14966 0
vsize: 60116
[startup+330.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 15820 0 0 0 32957 46 0 0 25 0 1 0 894460541 61558784 13525 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15029 13525 1111 63 0 14966 0
vsize: 60116
[startup+340.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 15882 0 0 0 33957 46 0 0 25 0 1 0 894460541 61906944 13583 4294967295 134512640 134716908 3221224576 3221220640 1075093367 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15114 13583 1111 63 0 15051 0
vsize: 60456
[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 15907 0 0 0 34957 46 0 0 25 0 1 0 894460541 61906944 13604 4294967295 134512640 134716908 3221224576 3221220752 1074961487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15114 13604 1111 63 0 15051 0
vsize: 60456
[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 15913 0 0 0 35958 46 0 0 25 0 1 0 894460541 61906944 13606 4294967295 134512640 134716908 3221224576 3221220388 1074786556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15114 13606 1111 63 0 15051 0
vsize: 60456
[startup+370.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 15921 0 0 0 36958 46 0 0 25 0 1 0 894460541 61906944 13610 4294967295 134512640 134716908 3221224576 3221220580 1075964296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15114 13610 1111 63 0 15051 0
vsize: 60456
[startup+380.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 15925 0 0 0 37958 46 0 0 25 0 1 0 894460541 61906944 13610 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15114 13610 1111 63 0 15051 0
vsize: 60456
[startup+390.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 15929 0 0 0 38958 46 0 0 25 0 1 0 894460541 61906944 13610 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15114 13610 1111 63 0 15051 0
vsize: 60456
[startup+400.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 15935 0 0 0 39958 46 0 0 25 0 1 0 894460541 61906944 13612 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15114 13612 1111 63 0 15051 0
vsize: 60456
[startup+410.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 15939 0 0 0 40958 46 0 0 25 0 1 0 894460541 61906944 13612 4294967295 134512640 134716908 3221224576 3221220364 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15114 13612 1111 63 0 15051 0
vsize: 60456
[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 15945 0 0 0 41959 46 0 0 25 0 1 0 894460541 61906944 13614 4294967295 134512640 134716908 3221224576 3221220688 1074815188 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15114 13614 1111 63 0 15051 0
vsize: 60456
[startup+430.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 15951 0 0 0 42959 47 0 0 25 0 1 0 894460541 62070784 13616 4294967295 134512640 134716908 3221224576 3221221248 1076083558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15154 13616 1111 63 0 15091 0
vsize: 60616
[startup+440.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 15953 0 0 0 43959 47 0 0 25 0 1 0 894460541 61906944 13614 4294967295 134512640 134716908 3221224576 3221220688 1074815309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15114 13614 1111 63 0 15051 0
vsize: 60456
[startup+450.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 15957 0 0 0 44959 47 0 0 25 0 1 0 894460541 61906944 13614 4294967295 134512640 134716908 3221224576 3221220816 1075114245 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15114 13614 1111 63 0 15051 0
vsize: 60456
[startup+460.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16024 0 0 0 45959 47 0 0 25 0 1 0 894460541 62279680 13677 4294967295 134512640 134716908 3221224576 3221220720 1075115709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15205 13677 1111 63 0 15142 0
vsize: 60820
[startup+470.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16034 0 0 0 46959 47 0 0 25 0 1 0 894460541 62279680 13681 4294967295 134512640 134716908 3221224576 3221220640 1074794695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15205 13681 1111 63 0 15142 0
vsize: 60820
[startup+480.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16115 0 0 0 47959 47 0 0 25 0 1 0 894460541 62660608 13758 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15298 13758 1111 63 0 15235 0
vsize: 61192
[startup+490.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16287 0 0 0 48960 47 0 0 25 0 1 0 894460541 63496192 13926 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15502 13926 1111 63 0 15439 0
vsize: 62008
[startup+500.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16390 0 0 0 49959 48 0 0 25 0 1 0 894460541 63950848 14025 4294967295 134512640 134716908 3221224576 3221220640 1075094841 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15613 14025 1111 63 0 15550 0
vsize: 62452
[startup+510.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16407 0 0 0 50959 48 0 0 25 0 1 0 894460541 63950848 14038 4294967295 134512640 134716908 3221224576 3221221056 1076049581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15613 14038 1111 63 0 15550 0
vsize: 62452
[startup+520.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16493 0 0 0 51959 48 0 0 25 0 1 0 894460541 64413696 14120 4294967295 134512640 134716908 3221224576 3221220448 1075965234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15726 14120 1111 63 0 15663 0
vsize: 62904
[startup+530.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16515 0 0 0 52959 48 0 0 25 0 1 0 894460541 64413696 14138 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15726 14138 1111 63 0 15663 0
vsize: 62904
[startup+540.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16523 0 0 0 53960 48 0 0 25 0 1 0 894460541 64413696 14142 4294967295 134512640 134716908 3221224576 3221220580 1075964248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15726 14142 1111 63 0 15663 0
vsize: 62904
[startup+550.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16539 0 0 0 54960 48 0 0 25 0 1 0 894460541 64413696 14154 4294967295 134512640 134716908 3221224576 3221220448 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15726 14154 1111 63 0 15663 0
vsize: 62904
[startup+560.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16545 0 0 0 55960 48 0 0 25 0 1 0 894460541 64413696 14156 4294967295 134512640 134716908 3221224576 3221221400 1075964771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15726 14156 1111 63 0 15663 0
vsize: 62904
[startup+570.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16547 0 0 0 56960 48 0 0 25 0 1 0 894460541 64413696 14156 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15726 14156 1111 63 0 15663 0
vsize: 62904
[startup+580.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16552 0 0 0 57960 48 0 0 25 0 1 0 894460541 64413696 14157 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15726 14157 1111 63 0 15663 0
vsize: 62904
[startup+590.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16556 0 0 0 58960 48 0 0 25 0 1 0 894460541 64413696 14157 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15726 14157 1111 63 0 15663 0
vsize: 62904
[startup+600.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16572 0 0 0 59961 48 0 0 25 0 1 0 894460541 64413696 14169 4294967295 134512640 134716908 3221224576 3221220412 1074788177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15726 14169 1111 63 0 15663 0
vsize: 62904
[startup+610.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16582 0 0 0 60961 48 0 0 25 0 1 0 894460541 64413696 14175 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15726 14175 1111 63 0 15663 0
vsize: 62904
[startup+620.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16587 0 0 0 61961 48 0 0 25 0 1 0 894460541 64413696 14176 4294967295 134512640 134716908 3221224576 3221221512 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15726 14176 1111 63 0 15663 0
vsize: 62904
[startup+630.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16591 0 0 0 62961 48 0 0 25 0 1 0 894460541 64413696 14178 4294967295 134512640 134716908 3221224576 3221220752 1074960765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15726 14178 1111 63 0 15663 0
vsize: 62904
[startup+640.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16595 0 0 0 63961 48 0 0 25 0 1 0 894460541 64413696 14178 4294967295 134512640 134716908 3221224576 3221220580 1075964282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15726 14178 1111 63 0 15663 0
vsize: 62904
[startup+650.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16600 0 0 0 64961 49 0 0 25 0 1 0 894460541 64413696 14179 4294967295 134512640 134716908 3221224576 3221220580 1075964241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15726 14179 1111 63 0 15663 0
vsize: 62904
[startup+660.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16608 0 0 0 65961 49 0 0 25 0 1 0 894460541 64413696 14183 4294967295 134512640 134716908 3221224576 3221220752 1074960912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15726 14183 1111 63 0 15663 0
vsize: 62904
[startup+670.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16612 0 0 0 66961 49 0 0 25 0 1 0 894460541 64577536 14185 4294967295 134512640 134716908 3221224576 3221221552 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15766 14185 1111 63 0 15703 0
vsize: 63064
[startup+680.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16616 0 0 0 67961 49 0 0 25 0 1 0 894460541 64413696 14185 4294967295 134512640 134716908 3221224576 3221220812 1076111494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15726 14185 1111 63 0 15663 0
vsize: 62904
[startup+690.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 16620 0 0 0 68961 49 0 0 25 0 1 0 894460541 64413696 14185 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15726 14185 1111 63 0 15663 0
vsize: 62904
[startup+700.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 36069 0 0 0 69916 95 0 0 25 0 1 0 894460541 49278976 11303 4294967295 134512640 134716908 3221224576 3221222960 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12031 11303 1111 63 0 11968 0
vsize: 48124
[startup+710.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 59160 0 0 0 70854 157 0 0 25 0 1 0 894460541 45621248 10457 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11138 10457 1111 63 0 11075 0
vsize: 44552
[startup+720.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 73525 0 0 0 71813 197 0 0 25 0 1 0 894460541 45633536 10460 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11141 10460 1111 63 0 11078 0
vsize: 44564
[startup+730.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 89598 0 0 0 72768 241 0 0 25 0 1 0 894460541 60416000 10485 4294967295 134512640 134716908 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14750 10485 1111 63 0 14687 0
vsize: 59000
[startup+740.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 109673 0 0 0 73711 297 0 0 25 0 1 0 894460541 60428288 10504 4294967295 134512640 134716908 3221224576 3221220816 1075115768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14753 10504 1111 63 0 14690 0
vsize: 59012
[startup+750.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 128539 0 0 0 74662 347 0 0 25 0 1 0 894460541 45621248 10457 4294967295 134512640 134716908 3221224576 3221223168 134523874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11138 10457 1111 63 0 11075 0
vsize: 44552
[startup+760.032 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 136950 0 0 0 75637 372 0 0 25 0 1 0 894460541 45670400 10472 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11150 10472 1111 63 0 11087 0
vsize: 44600
[startup+770.032 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 157499 0 0 0 76581 428 0 0 25 0 1 0 894460541 45621248 10460 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11138 10460 1111 63 0 11075 0
vsize: 44552
[startup+780.033 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 176446 0 0 0 77529 481 0 0 25 0 1 0 894460541 60440576 10516 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14756 10516 1111 63 0 14693 0
vsize: 59024
[startup+790.034 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 191952 0 0 0 78487 523 0 0 25 0 1 0 894460541 45621248 10460 4294967295 134512640 134716908 3221224576 3221222688 1074867347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11138 10460 1111 63 0 11075 0
vsize: 44552
[startup+800.034 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 216107 0 0 0 79421 589 0 0 25 0 1 0 894460541 45608960 10457 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11135 10457 1111 63 0 11072 0
vsize: 44540
[startup+810.035 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 231590 0 0 0 80377 633 0 0 25 0 1 0 894460541 60985344 12410 4294967295 134512640 134716908 3221224576 3221220608 1074790215 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14889 12410 1111 63 0 14826 0
vsize: 59556
[startup+820.035 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 252085 0 0 0 81320 690 0 0 25 0 1 0 894460541 60440576 10504 4294967295 134512640 134716908 3221224576 3221221040 1075602713 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14756 10504 1111 63 0 14693 0
vsize: 59024
[startup+830.036 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 267489 0 0 0 82278 733 0 0 25 0 1 0 894460541 45621248 10460 4294967295 134512640 134716908 3221224576 3221222820 1077374189 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11138 10460 1111 63 0 11075 0
vsize: 44552
[startup+840.035 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 277849 0 0 0 83249 762 0 0 25 0 1 0 894460541 45596672 10454 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11132 10454 1111 63 0 11069 0
vsize: 44528
[startup+850.035 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 294999 0 0 0 84202 809 0 0 25 0 1 0 894460541 45608960 10457 4294967295 134512640 134716908 3221224576 3221223216 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11135 10457 1111 63 0 11072 0
vsize: 44540
[startup+860.035 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 303834 0 0 0 85177 834 0 0 25 0 1 0 894460541 45608960 10457 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11135 10457 1111 63 0 11072 0
vsize: 44540
[startup+870.035 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 317534 0 0 0 86138 873 0 0 25 0 1 0 894460541 45633536 10463 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11141 10463 1111 63 0 11078 0
vsize: 44564
[startup+880.035 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 332873 0 0 0 87096 915 0 0 25 0 1 0 894460541 45633536 10463 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11141 10463 1111 63 0 11078 0
vsize: 44564
[startup+890.035 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 348335 0 0 0 88052 959 0 0 25 0 1 0 894460541 60497920 10553 4294967295 134512640 134716908 3221224576 3221222000 1076067409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14770 10553 1111 63 0 14707 0
vsize: 59080
[startup+900.036 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 365193 0 0 0 89004 1007 0 0 25 0 1 0 894460541 45633536 10463 4294967295 134512640 134716908 3221224576 3221221680 1074139046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11141 10463 1111 63 0 11078 0
vsize: 44564
[startup+910.035 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 380802 0 0 0 89963 1049 0 0 25 0 1 0 894460541 45645824 10466 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11144 10466 1111 63 0 11081 0
vsize: 44576
[startup+920.035 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 396160 0 0 0 90921 1091 0 0 25 0 1 0 894460541 45621248 10460 4294967295 134512640 134716908 3221224576 3221222304 1075828508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11138 10460 1111 63 0 11075 0
vsize: 44552
[startup+930.036 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 416766 0 0 0 91864 1147 0 0 25 0 1 0 894460541 45608960 10457 4294967295 134512640 134716908 3221224576 3221222960 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11135 10457 1111 63 0 11072 0
vsize: 44540
[startup+940.036 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 437172 0 0 0 92809 1202 0 0 25 0 1 0 894460541 60743680 12348 4294967295 134512640 134716908 3221224576 3221220512 1075965240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14830 12348 1111 63 0 14767 0
vsize: 59320
[startup+950.037 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 450775 0 0 0 93772 1240 0 0 25 0 1 0 894460541 60452864 10548 4294967295 134512640 134716908 3221224576 3221221144 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14759 10548 1111 63 0 14696 0
vsize: 59036
[startup+960.036 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 466180 0 0 0 94729 1283 0 0 25 0 1 0 894460541 60694528 10572 4294967295 134512640 134716908 3221224576 3221221108 1075863638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14818 10576 1111 63 0 14755 0
vsize: 59272
[startup+970.037 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 478391 0 0 0 95696 1316 0 0 25 0 1 0 894460541 45608960 10457 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11135 10457 1111 63 0 11072 0
vsize: 44540
[startup+980.037 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 497185 0 0 0 96644 1369 0 0 25 0 1 0 894460541 45670400 10472 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11150 10472 1111 63 0 11087 0
vsize: 44600
[startup+990.037 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 514338 0 0 0 97596 1417 0 0 25 0 1 0 894460541 45645824 10466 4294967295 134512640 134716908 3221224576 3221222304 1075828615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11144 10466 1111 63 0 11081 0
vsize: 44576
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 529974 0 0 0 98553 1460 0 0 25 0 1 0 894460541 45608960 10457 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11135 10457 1111 63 0 11072 0
vsize: 44540
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 543515 0 0 0 99517 1496 0 0 25 0 1 0 894460541 45621248 10460 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11138 10460 1111 63 0 11075 0
vsize: 44552
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 553877 0 0 0 100488 1526 0 0 25 0 1 0 894460541 60616704 10573 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14799 10573 1111 63 0 14736 0
vsize: 59196
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 570843 0 0 0 101441 1572 0 0 25 0 1 0 894460541 45633536 10463 4294967295 134512640 134716908 3221224576 3221222304 1075828500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11141 10463 1111 63 0 11078 0
vsize: 44564
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 579862 0 0 0 102417 1597 0 0 25 0 1 0 894460541 45584384 10451 4294967295 134512640 134716908 3221224576 3221223176 1074152785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11129 10451 1111 63 0 11066 0
vsize: 44516
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 593654 0 0 0 103378 1636 0 0 25 0 1 0 894460541 45596672 10454 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11132 10454 1111 63 0 11069 0
vsize: 44528
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 602060 0 0 0 104355 1659 0 0 25 0 1 0 894460541 61419520 10787 4294967295 134512640 134716908 3221224576 3221221816 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14995 10787 1111 63 0 14932 0
vsize: 59980
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 619234 0 0 0 105308 1706 0 0 25 0 1 0 894460541 45633536 10463 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11141 10463 1111 63 0 11078 0
vsize: 44564
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 631082 0 0 0 106274 1740 0 0 25 0 1 0 894460541 45645824 10466 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11144 10466 1111 63 0 11081 0
vsize: 44576
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 646669 0 0 0 107233 1782 0 0 25 0 1 0 894460541 61124608 10682 4294967295 134512640 134716908 3221224576 3221221120 1075088573 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14923 10682 1111 63 0 14860 0
vsize: 59692
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 662102 0 0 0 108191 1824 0 0 25 0 1 0 894460541 45596672 10454 4294967295 134512640 134716908 3221224576 3221222976 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11132 10454 1111 63 0 11069 0
vsize: 44528
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 673899 0 0 0 109159 1855 0 0 25 0 1 0 894460541 45645824 10466 4294967295 134512640 134716908 3221224576 3221222496 1075799500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11144 10466 1111 63 0 11081 0
vsize: 44576
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 689373 0 0 0 110118 1897 0 0 25 0 1 0 894460541 45645824 10466 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11144 10466 1111 63 0 11081 0
vsize: 44576
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 708540 0 0 0 111065 1951 0 0 25 0 1 0 894460541 45621248 10460 4294967295 134512640 134716908 3221224576 3221222688 1074867334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11138 10460 1111 63 0 11075 0
vsize: 44552
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 733775 0 0 0 111995 2020 0 0 25 0 1 0 894460541 60760064 11733 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14834 11742 1111 63 0 14771 0
vsize: 59336
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 756839 0 0 0 112930 2086 0 0 25 0 1 0 894460541 45645824 10466 4294967295 134512640 134716908 3221224576 3221222576 1074916721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11144 10466 1111 63 0 11081 0
vsize: 44576
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 779261 0 0 0 113867 2148 0 0 25 0 1 0 894460541 45608960 10457 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11135 10457 1111 63 0 11072 0
vsize: 44540
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 796333 0 0 0 114820 2196 0 0 25 0 1 0 894460541 60764160 12392 4294967295 134512640 134716908 3221224576 3221220676 1075964278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14835 12392 1111 63 0 14772 0
vsize: 59340
[startup+1176.02 s]
Raw data (loadavg): 0.99 0.98 0.94 1/53 6562
Raw data (stat): 6562 (bsolo_lpr-v2) R 6561 7266 7265 0 -1 0 796333 0 0 0 114820 2196 0 0 25 0 1 0 894460541 60764160 12392 4294967295 134512640 134716908 3221224576 3221220676 1075964278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14835 12392 1111 63 0 14772 0
vsize: 0

Child status: 10
Real time (s): 1176.02
CPU time (s): 1176.15
CPU user time (s): 1153.82
CPU system time (s): 22.3296
CPU usage (%): 100.011
Max. virtual memory (Kb): 63064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-20
#### END VERIFIER DATA ####