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 24732

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 06:15:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2863 boxname=wulflinc31 idbench=319 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  16a8eb66aae2bcfd534a482dd0a3948e  /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-1.opb
IDLAUNCH: 2863
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        895728 kB
Buffers:         29580 kB
Cached:          87688 kB
SwapCached:       1936 kB
Active:          77256 kB
Inactive:        43208 kB
HighTotal:      131008 kB
HighFree:        42392 kB
LowTotal:       903652 kB
LowFree:        853336 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:             432 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12664 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 06:34:47 (client local time) WITH STATUS 10 IN 1175.48 SECONDS
stats: 2863 0 1175.48 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 20255 constraints.
c preprocess terminated 169.804 s
c Initial Lower Bound: -65
c Lower Bound Elapsed time: 555.836
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -4 @ 726.015
c NEW SOLUTION FOUND: -5 @ 726.05
c NEW SOLUTION FOUND: -6 @ 726.087
c NEW SOLUTION FOUND: -7 @ 726.121
c NEW SOLUTION FOUND: -8 @ 726.146
c NEW SOLUTION FOUND: -9 @ 726.245
c NEW SOLUTION FOUND: -10 @ 726.306
c NEW SOLUTION FOUND: -11 @ 726.912
c NEW SOLUTION FOUND: -12 @ 727.378
c NEW SOLUTION FOUND: -13 @ 728.496
c NEW SOLUTION FOUND: -14 @ 729.019
c NEW SOLUTION FOUND: -15 @ 729.947
c NEW SOLUTION FOUND: -16 @ 732.076
c NEW SOLUTION FOUND: -17 @ 735.458
c NEW SOLUTION FOUND: -18 @ 764.91
c NEW SOLUTION FOUND: -19 @ 778.624
c NEW SOLUTION FOUND: -20 @ 809.406
c NEW SOLUTION FOUND: -21 @ 1047.81
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: 1175.44 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
Raw data (loadavg): 1.00 1.00 1.00 1/55 7042
Raw data (stat): 7042 (runsolver) D 7041 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 18 0 1 0 724288174 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 9029 0 0 0 967 25 0 0 25 0 1 0 724288174 39682048 8852 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9688 8852 1111 63 0 9625 0
vsize: 38752
[startup+20.0011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10550 0 0 0 1964 28 0 0 25 0 1 0 724288174 44781568 10098 4294967295 134512640 134714508 3221221792 3221220292 1077374547 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+30.002 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10550 0 0 0 2964 29 0 0 25 0 1 0 724288174 44781568 10098 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+40.0034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10550 0 0 0 3964 29 0 0 25 0 1 0 724288174 44781568 10098 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+50.0043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10550 0 0 0 4964 29 0 0 25 0 1 0 724288174 44781568 10098 4294967295 134512640 134714508 3221221792 3221220280 134543638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+60.0038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10550 0 0 0 5964 29 0 0 25 0 1 0 724288174 44781568 10098 4294967295 134512640 134714508 3221221792 3221220408 134543785 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+70.0052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10550 0 0 0 6964 29 0 0 25 0 1 0 724288174 44781568 10098 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+80.0057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10550 0 0 0 7963 30 0 0 25 0 1 0 724288174 44781568 10098 4294967295 134512640 134714508 3221221792 3221220216 134542822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+90.0066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10550 0 0 0 8963 31 0 0 25 0 1 0 724288174 44781568 10098 4294967295 134512640 134714508 3221221792 3221220416 134528883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+100.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10550 0 0 0 9962 31 0 0 25 0 1 0 724288174 44781568 10098 4294967295 134512640 134714508 3221221792 3221220272 134539382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+110.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10550 0 0 0 10962 32 0 0 25 0 1 0 724288174 44781568 10098 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+120.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10550 0 0 0 11962 32 0 0 25 0 1 0 724288174 44781568 10098 4294967295 134512640 134714508 3221221792 3221220464 134627184 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+130.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10550 0 0 0 12962 32 0 0 25 0 1 0 724288174 44781568 10098 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+140.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10550 0 0 0 13961 33 0 0 25 0 1 0 724288174 44781568 10098 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+150.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10550 0 0 0 14961 33 0 0 25 0 1 0 724288174 44781568 10098 4294967295 134512640 134714508 3221221792 3221220440 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+160.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10550 0 0 0 15961 34 0 0 25 0 1 0 724288174 44781568 10098 4294967295 134512640 134714508 3221221792 3221220440 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+170.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10573 0 0 0 16960 34 0 0 25 0 1 0 724288174 44781568 10121 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10121 1111 63 0 10870 0
vsize: 43732
[startup+180.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10738 0 0 0 17958 37 0 0 25 0 1 0 724288174 45563904 10286 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11124 10286 1111 63 0 11061 0
vsize: 44496
[startup+190.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10776 0 0 0 18956 39 0 0 25 0 1 0 724288174 45703168 10324 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11158 10324 1111 63 0 11095 0
vsize: 44632
[startup+200.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10808 0 0 0 19954 40 0 0 25 0 1 0 724288174 45809664 10356 4294967295 134512640 134714508 3221221792 3221220064 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11184 10356 1111 63 0 11121 0
vsize: 44736
[startup+210.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10833 0 0 0 20952 43 0 0 25 0 1 0 724288174 45912064 10381 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11209 10381 1111 63 0 11146 0
vsize: 44836
[startup+220.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10938 0 0 0 21951 44 0 0 25 0 1 0 724288174 46317568 10486 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11308 10486 1111 63 0 11245 0
vsize: 45232
[startup+230.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10959 0 0 0 22950 45 0 0 25 0 1 0 724288174 46403584 10507 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11329 10507 1111 63 0 11266 0
vsize: 45316
[startup+240.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 10982 0 0 0 23949 47 0 0 25 0 1 0 724288174 46497792 10530 4294967295 134512640 134714508 3221221792 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11352 10530 1111 63 0 11289 0
vsize: 45408
[startup+250.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 11019 0 0 0 24947 48 0 0 25 0 1 0 724288174 46620672 10567 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11382 10567 1111 63 0 11319 0
vsize: 45528
[startup+260.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 11039 0 0 0 25947 49 0 0 25 0 1 0 724288174 46702592 10587 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11402 10587 1111 63 0 11339 0
vsize: 45608
[startup+270.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 15308 0 0 0 26937 58 0 0 25 0 1 0 724288174 61956096 13579 4294967295 134512640 134714508 3221221792 3221217856 1074969474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15126 13579 1111 63 0 15063 0
vsize: 60504
[startup+280.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 15501 0 0 0 27937 59 0 0 25 0 1 0 724288174 60448768 13191 4294967295 134512640 134714508 3221221792 3221217856 1074969440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14758 13191 1111 63 0 14695 0
vsize: 59032
[startup+290.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 15529 0 0 0 28937 59 0 0 25 0 1 0 724288174 60448768 13217 4294967295 134512640 134714508 3221221792 3221217920 1074815265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14758 13217 1111 63 0 14695 0
vsize: 59032
[startup+300.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 15565 0 0 0 29936 60 0 0 25 0 1 0 724288174 60448768 13249 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14758 13249 1111 63 0 14695 0
vsize: 59032
[startup+310.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 15629 0 0 0 30936 60 0 0 25 0 1 0 724288174 60755968 13311 4294967295 134512640 134714508 3221221792 3221217704 1075964771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14833 13311 1111 63 0 14770 0
vsize: 59332
[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 15653 0 0 0 31935 61 0 0 25 0 1 0 724288174 60755968 13331 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14833 13331 1111 63 0 14770 0
vsize: 59332
[startup+330.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 15677 0 0 0 32935 61 0 0 25 0 1 0 724288174 60755968 13351 4294967295 134512640 134714508 3221221792 3221217952 1075115726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14833 13351 1111 63 0 14770 0
vsize: 59332
[startup+340.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 15691 0 0 0 33935 61 0 0 25 0 1 0 724288174 60755968 13363 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14833 13363 1111 63 0 14770 0
vsize: 59332
[startup+350.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 15706 0 0 0 34935 62 0 0 25 0 1 0 724288174 60755968 13374 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14833 13374 1111 63 0 14770 0
vsize: 59332
[startup+360.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 15763 0 0 0 35935 62 0 0 25 0 1 0 724288174 61067264 13427 4294967295 134512640 134714508 3221221792 3221218080 1075894487 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14909 13427 1111 63 0 14846 0
vsize: 59636
[startup+370.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 15780 0 0 0 36935 62 0 0 25 0 1 0 724288174 61067264 13440 4294967295 134512640 134714508 3221221792 3221217676 1074788143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14909 13440 1111 63 0 14846 0
vsize: 59636
[startup+380.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 15859 0 0 0 37934 63 0 0 25 0 1 0 724288174 61399040 13515 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14990 13515 1111 63 0 14927 0
vsize: 59960
[startup+390.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 15870 0 0 0 38934 64 0 0 25 0 1 0 724288174 61399040 13522 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14990 13522 1111 63 0 14927 0
vsize: 59960
[startup+400.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 15931 0 0 0 39933 64 0 0 25 0 1 0 724288174 61755392 13579 4294967295 134512640 134714508 3221221792 3221217920 1074815309 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15077 13579 1111 63 0 15014 0
vsize: 60308
[startup+410.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 15944 0 0 0 40933 64 0 0 25 0 1 0 724288174 61755392 13588 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15077 13588 1111 63 0 15014 0
vsize: 60308
[startup+420.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 15948 0 0 0 41933 65 0 0 25 0 1 0 724288174 61755392 13588 4294967295 134512640 134714508 3221221792 3221217776 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15077 13588 1111 63 0 15014 0
vsize: 60308
[startup+430.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16030 0 0 0 42932 65 0 0 25 0 1 0 724288174 62115840 13666 4294967295 134512640 134714508 3221221792 3221218048 1075114268 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15165 13666 1111 63 0 15102 0
vsize: 60660
[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16038 0 0 0 43932 66 0 0 25 0 1 0 724288174 62115840 13670 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15165 13670 1111 63 0 15102 0
vsize: 60660
[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16104 0 0 0 44932 66 0 0 25 0 1 0 724288174 62496768 13732 4294967295 134512640 134714508 3221221792 3221217920 1074815284 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15258 13732 1111 63 0 15195 0
vsize: 61032
[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16181 0 0 0 45932 66 0 0 25 0 1 0 724288174 62902272 13803 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15357 13803 1111 63 0 15294 0
vsize: 61428
[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16260 0 0 0 46932 66 0 0 25 0 1 0 724288174 63328256 13878 4294967295 134512640 134714508 3221221792 3221217940 1075115043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15461 13878 1111 63 0 15398 0
vsize: 61844
[startup+480.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16347 0 0 0 47932 66 0 0 25 0 1 0 724288174 63774720 13961 4294967295 134512640 134714508 3221221792 3221217644 1074788177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15570 13961 1111 63 0 15507 0
vsize: 62280
[startup+490.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16377 0 0 0 48932 67 0 0 25 0 1 0 724288174 63774720 13987 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15570 13987 1111 63 0 15507 0
vsize: 62280
[startup+500.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16395 0 0 0 49932 67 0 0 25 0 1 0 724288174 63774720 14001 4294967295 134512640 134714508 3221221792 3221217872 1075094850 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15570 14001 1111 63 0 15507 0
vsize: 62280
[startup+510.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16475 0 0 0 50932 67 0 0 25 0 1 0 724288174 64245760 14077 4294967295 134512640 134714508 3221221792 3221217588 1074786550 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14077 1111 63 0 15622 0
vsize: 62740
[startup+520.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16512 0 0 0 51932 67 0 0 25 0 1 0 724288174 64245760 14110 4294967295 134512640 134714508 3221221792 3221217812 1075964248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14110 1111 63 0 15622 0
vsize: 62740
[startup+530.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16526 0 0 0 52932 67 0 0 25 0 1 0 724288174 64245760 14120 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14120 1111 63 0 15622 0
vsize: 62740
[startup+540.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16528 0 0 0 53933 67 0 0 25 0 1 0 724288174 64245760 14120 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14120 1111 63 0 15622 0
vsize: 62740
[startup+550.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16533 0 0 0 54933 67 0 0 25 0 1 0 724288174 64245760 14121 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14121 1111 63 0 15622 0
vsize: 62740
[startup+560.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16544 0 0 0 55933 67 0 0 25 0 1 0 724288174 64245760 14128 4294967295 134512640 134714508 3221221792 3221217940 1075115076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14128 1111 63 0 15622 0
vsize: 62740
[startup+570.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16548 0 0 0 56933 68 0 0 25 0 1 0 724288174 64245760 14128 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14128 1111 63 0 15622 0
vsize: 62740
[startup+580.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16555 0 0 0 57933 68 0 0 25 0 1 0 724288174 64245760 14131 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14131 1111 63 0 15622 0
vsize: 62740
[startup+590.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16569 0 0 0 58933 68 0 0 25 0 1 0 724288174 64245760 14143 4294967295 134512640 134714508 3221221792 3221217644 1074788177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14143 1111 63 0 15622 0
vsize: 62740
[startup+600.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16576 0 0 0 59933 68 0 0 25 0 1 0 724288174 64245760 14146 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14146 1111 63 0 15622 0
vsize: 62740
[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16581 0 0 0 60933 68 0 0 25 0 1 0 724288174 64245760 14147 4294967295 134512640 134714508 3221221792 3221217872 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14147 1111 63 0 15622 0
vsize: 62740
[startup+620.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16585 0 0 0 61934 68 0 0 25 0 1 0 724288174 64245760 14147 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14147 1111 63 0 15622 0
vsize: 62740
[startup+630.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16593 0 0 0 62934 68 0 0 25 0 1 0 724288174 64245760 14151 4294967295 134512640 134714508 3221221792 3221217872 1075095188 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14151 1111 63 0 15622 0
vsize: 62740
[startup+640.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16597 0 0 0 63934 68 0 0 25 0 1 0 724288174 64245760 14153 4294967295 134512640 134714508 3221221792 3221217596 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14153 1111 63 0 15622 0
vsize: 62740
[startup+650.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16602 0 0 0 64934 68 0 0 25 0 1 0 724288174 64245760 14154 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14154 1111 63 0 15622 0
vsize: 62740
[startup+660.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16611 0 0 0 65934 68 0 0 25 0 1 0 724288174 64245760 14159 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14159 1111 63 0 15622 0
vsize: 62740
[startup+670.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16616 0 0 0 66935 68 0 0 25 0 1 0 724288174 64245760 14160 4294967295 134512640 134714508 3221221792 3221217984 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14160 1111 63 0 15622 0
vsize: 62740
[startup+680.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16618 0 0 0 67935 68 0 0 25 0 1 0 724288174 64245760 14160 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14160 1111 63 0 15622 0
vsize: 62740
[startup+690.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16623 0 0 0 68935 68 0 0 25 0 1 0 724288174 64245760 14161 4294967295 134512640 134714508 3221221792 3221218152 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14161 1111 63 0 15622 0
vsize: 62740
[startup+700.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 16627 0 0 0 69935 68 0 0 25 0 1 0 724288174 64245760 14161 4294967295 134512640 134714508 3221221792 3221217984 1074960771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15685 14161 1111 63 0 15622 0
vsize: 62740
[startup+710.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 23594 0 0 0 70919 85 0 0 25 0 1 0 724288174 51363840 11788 4294967295 134512640 134714508 3221221792 3221220032 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12540 11788 1111 63 0 12477 0
vsize: 50160
[startup+720.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 25262 0 0 0 71911 92 0 0 25 0 1 0 724288174 51363840 11788 4294967295 134512640 134714508 3221221792 3221219864 1074950119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12540 11788 1111 63 0 12477 0
vsize: 50160
[startup+730.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 53943 0 0 0 72833 170 0 0 25 0 1 0 724288174 46092288 10578 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11253 10578 1111 63 0 11190 0
vsize: 45012
[startup+740.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 67049 0 0 0 73796 208 0 0 25 0 1 0 724288174 46104576 10581 4294967295 134512640 134714508 3221221792 3221220188 1074152822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11256 10581 1111 63 0 11193 0
vsize: 45024
[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 77599 0 0 0 74767 236 0 0 25 0 1 0 724288174 46116864 10584 4294967295 134512640 134714508 3221221792 3221220192 1074153766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11259 10584 1111 63 0 11196 0
vsize: 45036
[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 89769 0 0 0 75735 269 0 0 25 0 1 0 724288174 46116864 10584 4294967295 134512640 134714508 3221221792 3221220124 1073986656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11259 10584 1111 63 0 11196 0
vsize: 45036
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 105453 0 0 0 76695 310 0 0 25 0 1 0 724288174 60878848 10674 4294967295 134512640 134714508 3221221792 3221218836 1074846173 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14863 10674 1111 63 0 14800 0
vsize: 59452
[startup+780.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 122110 0 0 0 77652 352 0 0 25 0 1 0 724288174 46141440 10593 4294967295 134512640 134714508 3221221792 3221220192 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11265 10593 1111 63 0 11202 0
vsize: 45060
[startup+790.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 141034 0 0 0 78604 401 0 0 25 0 1 0 724288174 46116864 10587 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11259 10587 1111 63 0 11196 0
vsize: 45036
[startup+800.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 151502 0 0 0 79575 430 0 0 25 0 1 0 724288174 46116864 10587 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11259 10587 1111 63 0 11196 0
vsize: 45036
[startup+810.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 165276 0 0 0 80539 466 0 0 25 0 1 0 724288174 46116864 10587 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11259 10587 1111 63 0 11196 0
vsize: 45036
[startup+820.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 182437 0 0 0 81497 508 0 0 25 0 1 0 724288174 61239296 10729 4294967295 134512640 134714508 3221221792 3221218124 1076111465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14951 10729 1111 63 0 14888 0
vsize: 59804
[startup+830.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 196918 0 0 0 82462 544 0 0 25 0 1 0 724288174 61820928 11743 4294967295 134512640 134714508 3221221792 3221217952 1075095344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15093 11752 1111 63 0 15030 0
vsize: 60372
[startup+840.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 208694 0 0 0 83432 573 0 0 25 0 1 0 724288174 61788160 10871 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15085 10871 1111 63 0 15022 0
vsize: 60340
[startup+850.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 226025 0 0 0 84388 618 0 0 25 0 1 0 724288174 46153728 10604 4294967295 134512640 134714508 3221221792 3221220176 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11268 10604 1111 63 0 11205 0
vsize: 45072
[startup+860.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 245091 0 0 0 85340 666 0 0 25 0 1 0 724288174 46153728 10604 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11268 10604 1111 63 0 11205 0
vsize: 45072
[startup+870.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 262099 0 0 0 86297 709 0 0 25 0 1 0 724288174 46202880 10616 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11280 10616 1111 63 0 11217 0
vsize: 45120
[startup+880.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 279522 0 0 0 87252 754 0 0 25 0 1 0 724288174 46153728 10604 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11268 10604 1111 63 0 11205 0
vsize: 45072
[startup+890.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 291975 0 0 0 88221 785 0 0 25 0 1 0 724288174 61620224 10831 4294967295 134512640 134714508 3221221792 3221218128 1075113600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15044 10831 1111 63 0 14981 0
vsize: 60176
[startup+900.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 304311 0 0 0 89189 817 0 0 25 0 1 0 724288174 46116864 10595 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11259 10595 1111 63 0 11196 0
vsize: 45036
[startup+910.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 311178 0 0 0 90171 836 0 0 25 0 1 0 724288174 46153728 10604 4294967295 134512640 134714508 3221221792 3221220168 1074063729 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11268 10604 1111 63 0 11205 0
vsize: 45072
[startup+920.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 328470 0 0 0 91127 880 0 0 25 0 1 0 724288174 60866560 10673 4294967295 134512640 134714508 3221221792 3221218796 1074621048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14860 10673 1111 63 0 14797 0
vsize: 59440
[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 345560 0 0 0 92083 924 0 0 25 0 1 0 724288174 46153728 10604 4294967295 134512640 134714508 3221221792 3221220036 1077404708 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11268 10604 1111 63 0 11205 0
vsize: 45072
[startup+940.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 362942 0 0 0 93038 969 0 0 25 0 1 0 724288174 46116864 10595 4294967295 134512640 134714508 3221221792 3221220112 1074146199 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11259 10595 1111 63 0 11196 0
vsize: 45036
[startup+950.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 385440 0 0 0 93982 1026 0 0 25 0 1 0 724288174 61243392 10721 4294967295 134512640 134714508 3221221792 3221218320 1075890968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14952 10722 1111 63 0 14889 0
vsize: 59808
[startup+960.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 406163 0 0 0 94928 1079 0 0 25 0 1 0 724288174 46092288 10589 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11253 10589 1111 63 0 11190 0
vsize: 45012
[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 430344 0 0 0 95869 1139 0 0 25 0 1 0 724288174 46092288 10589 4294967295 134512640 134714508 3221221792 3221220192 1074153812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11253 10589 1111 63 0 11190 0
vsize: 45012
[startup+980.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 456285 0 0 0 96804 1204 0 0 25 0 1 0 724288174 46141440 10601 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11265 10601 1111 63 0 11202 0
vsize: 45060
[startup+990.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 468483 0 0 0 97773 1235 0 0 25 0 1 0 724288174 46141440 10601 4294967295 134512640 134714508 3221221792 3221220044 1074050755 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11265 10601 1111 63 0 11202 0
vsize: 45060
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 485783 0 0 0 98731 1278 0 0 25 0 1 0 724288174 46153728 10604 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11268 10604 1111 63 0 11205 0
vsize: 45072
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 498161 0 0 0 99699 1310 0 0 25 0 1 0 724288174 46141440 10601 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11265 10601 1111 63 0 11202 0
vsize: 45060
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 513817 0 0 0 100659 1349 0 0 25 0 1 0 724288174 46129152 10598 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11262 10598 1111 63 0 11199 0
vsize: 45048
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 527679 0 0 0 101623 1386 0 0 25 0 1 0 724288174 46153728 10604 4294967295 134512640 134714508 3221221792 3221219792 1074913472 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11268 10604 1111 63 0 11205 0
vsize: 45072
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 541498 0 0 0 102586 1423 0 0 25 0 1 0 724288174 46202880 10616 4294967295 134512640 134714508 3221221792 3221220240 1073990306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11280 10616 1111 63 0 11217 0
vsize: 45120
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 559111 0 0 0 103540 1469 0 0 25 0 1 0 724288174 46178304 10610 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11274 10610 1111 63 0 11211 0
vsize: 45096
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 575302 0 0 0 104499 1510 0 0 25 0 1 0 724288174 61169664 10733 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14934 10733 1111 63 0 14871 0
vsize: 59736
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 592578 0 0 0 105453 1556 0 0 25 0 1 0 724288174 46178304 10610 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11274 10610 1111 63 0 11211 0
vsize: 45096
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 603454 0 0 0 106425 1585 0 0 25 0 1 0 724288174 61370368 10764 4294967295 134512640 134714508 3221221792 3221218336 1075088581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14983 10764 1111 63 0 14920 0
vsize: 59932
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 617271 0 0 0 107390 1620 0 0 25 0 1 0 724288174 46141440 10601 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11265 10601 1111 63 0 11202 0
vsize: 45060
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 629411 0 0 0 108359 1650 0 0 25 0 1 0 724288174 46178304 10610 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11274 10610 1111 63 0 11211 0
vsize: 45096
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 641695 0 0 0 109329 1680 0 0 25 0 1 0 724288174 46178304 10610 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11274 10610 1111 63 0 11211 0
vsize: 45096
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 653844 0 0 0 110299 1711 0 0 25 0 1 0 724288174 61759488 10932 4294967295 134512640 134714508 3221221792 3221218064 1074960795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15078 10932 1111 63 0 15015 0
vsize: 60312
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 667663 0 0 0 111264 1746 0 0 25 0 1 0 724288174 61870080 10932 4294967295 134512640 134714508 3221221792 3221218064 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15105 10932 1111 63 0 15042 0
vsize: 60420
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 681727 0 0 0 112230 1780 0 0 25 0 1 0 724288174 46116864 10595 4294967295 134512640 134714508 3221221792 3221220044 1077404734 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11259 10595 1111 63 0 11196 0
vsize: 45036
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 698837 0 0 0 113187 1823 0 0 25 0 1 0 724288174 46153728 10604 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11268 10604 1111 63 0 11205 0
vsize: 45072
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 714446 0 0 0 114148 1863 0 0 25 0 1 0 724288174 46153728 10604 4294967295 134512640 134714508 3221221792 3221220080 1074206377 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11268 10604 1111 63 0 11205 0
vsize: 45072
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 730036 0 0 0 115107 1903 0 0 25 0 1 0 724288174 61165568 10745 4294967295 134512640 134714508 3221221792 3221218020 1075115084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14933 10745 1111 63 0 14870 0
vsize: 59732
[startup+1175.42 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 7042
Raw data (stat): 7042 (bsolo_lpr) R 7041 7876 7672 0 -1 0 730036 0 0 0 115107 1903 0 0 25 0 1 0 724288174 61165568 10745 4294967295 134512640 134714508 3221221792 3221218020 1075115084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14933 10745 1111 63 0 14870 0
vsize: 0

Child status: 10
Real time (s): 1175.42
CPU time (s): 1175.48
CPU user time (s): 1156.19
CPU system time (s): 19.2941
CPU usage (%): 100.005
Max. virtual memory (Kb): 62740
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-21
#### END VERIFIER DATA ####