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-5.opb
MD5SUM	70070c820bc7d178cc8f33b42e0deead
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	28143
Number of constraints which are clauses	28143
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 24752

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 12:57:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2899 boxname=wulflinc31 idbench=323 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  70070c820bc7d178cc8f33b42e0deead  /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-5.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-5.opb
IDLAUNCH: 2899
/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:        888076 kB
Buffers:         34592 kB
Cached:          90564 kB
SwapCached:       1936 kB
Active:          89556 kB
Inactive:        38780 kB
HighTotal:      131008 kB
HighFree:        39620 kB
LowTotal:       903652 kB
LowFree:        848456 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:             636 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            12776 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 13:16:41 (client local time) WITH STATUS 10 IN 1177.1 SECONDS
stats: 2899 0 1177.1 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 595 variables and 28143 constraints.
c After prepocess the problem consists of 595 variables and 21173 constraints.
c preprocess terminated 169.688 s
c Initial Lower Bound: -68
c Lower Bound Elapsed time: 546.404
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -3 @ 716.475
c NEW SOLUTION FOUND: -4 @ 716.499
c NEW SOLUTION FOUND: -5 @ 716.518
c NEW SOLUTION FOUND: -6 @ 716.537
c NEW SOLUTION FOUND: -7 @ 716.548
c NEW SOLUTION FOUND: -8 @ 716.705
c NEW SOLUTION FOUND: -9 @ 716.854
c NEW SOLUTION FOUND: -10 @ 716.954
c NEW SOLUTION FOUND: -11 @ 717.531
c NEW SOLUTION FOUND: -12 @ 717.721
c NEW SOLUTION FOUND: -13 @ 718.802
c NEW SOLUTION FOUND: -14 @ 719.869
c NEW SOLUTION FOUND: -15 @ 721.208
c NEW SOLUTION FOUND: -16 @ 739.777
c NEW SOLUTION FOUND: -17 @ 795.49
c NEW SOLUTION FOUND: -18 @ 813.563
c NEW SOLUTION FOUND: -19 @ 825.662
s SATISFIABLE
v -C595 -C594 -C593 C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 C293 -C292 -C291 -C290 -C289 -C288 C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 -C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1 
c Exit Code: 10
c Total time: 1177.06 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): 0.84 0.94 0.98 2/55 9306
Raw data (stat): 9306 (runsolver) R 9305 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 726699724 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.87 0.94 0.98 2/55 9306
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 9364 0 0 0 970 25 0 0 25 0 1 0 726699724 40505344 9027 4294967295 134512640 134714508 3221221792 3221220528 134618435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9889 9027 1111 63 0 9826 0
vsize: 39556
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.94 0.98 2/55 9306
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 10242 0 0 0 1968 27 0 0 25 0 1 0 726699724 41033728 9187 4294967295 134512640 134714508 3221221792 3221220272 134536643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9187 1111 63 0 9955 0
vsize: 40072
[startup+30.0023 s]
Raw data (loadavg): 0.90 0.94 0.98 2/55 9306
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 10242 0 0 0 2968 27 0 0 25 0 1 0 726699724 41033728 9187 4294967295 134512640 134714508 3221221792 3221220200 134543594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9187 1111 63 0 9955 0
vsize: 40072
[startup+40.0022 s]
Raw data (loadavg): 0.92 0.94 0.98 2/55 9306
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 10242 0 0 0 3968 28 0 0 25 0 1 0 726699724 41033728 9187 4294967295 134512640 134714508 3221221792 3221220432 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9187 1111 63 0 9955 0
vsize: 40072
[startup+50.0032 s]
Raw data (loadavg): 0.93 0.94 0.98 2/55 9306
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 10242 0 0 0 4968 28 0 0 25 0 1 0 726699724 41033728 9187 4294967295 134512640 134714508 3221221792 3221220156 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9187 1111 63 0 9955 0
vsize: 40072
[startup+60.0031 s]
Raw data (loadavg): 0.94 0.95 0.98 2/55 9306
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 10242 0 0 0 5968 28 0 0 25 0 1 0 726699724 41033728 9187 4294967295 134512640 134714508 3221221792 3221220272 134539382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9187 1111 63 0 9955 0
vsize: 40072
[startup+70.004 s]
Raw data (loadavg): 0.95 0.95 0.98 2/55 9306
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 10242 0 0 0 6969 28 0 0 25 0 1 0 726699724 41033728 9187 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9187 1111 63 0 9955 0
vsize: 40072
[startup+80.005 s]
Raw data (loadavg): 0.96 0.95 0.98 2/55 9306
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 10242 0 0 0 7969 28 0 0 25 0 1 0 726699724 41033728 9187 4294967295 134512640 134714508 3221221792 3221220256 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9187 1111 63 0 9955 0
vsize: 40072
[startup+90.0049 s]
Raw data (loadavg): 0.96 0.95 0.98 2/55 9306
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 10242 0 0 0 8969 28 0 0 25 0 1 0 726699724 41033728 9187 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9187 1111 63 0 9955 0
vsize: 40072
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.98 2/55 9306
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 10242 0 0 0 9969 28 0 0 25 0 1 0 726699724 41033728 9187 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9187 1111 63 0 9955 0
vsize: 40072
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.98 2/55 9306
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 10242 0 0 0 10969 28 0 0 25 0 1 0 726699724 41033728 9187 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9187 1111 63 0 9955 0
vsize: 40072
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 9306
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 10242 0 0 0 11969 28 0 0 25 0 1 0 726699724 41033728 9187 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9187 1111 63 0 9955 0
vsize: 40072
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 9306
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 10242 0 0 0 12969 28 0 0 25 0 1 0 726699724 41033728 9187 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9187 1111 63 0 9955 0
vsize: 40072
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 9306
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 10242 0 0 0 13969 28 0 0 25 0 1 0 726699724 41033728 9187 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9187 1111 63 0 9955 0
vsize: 40072
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 9306
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 10242 0 0 0 14969 28 0 0 25 0 1 0 726699724 41033728 9187 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9187 1111 63 0 9955 0
vsize: 40072
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 9306
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 10242 0 0 0 15970 28 0 0 25 0 1 0 726699724 41033728 9187 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10018 9187 1111 63 0 9955 0
vsize: 40072
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 9306
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 10641 0 0 0 16969 29 0 0 25 0 1 0 726699724 42885120 9586 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10470 9586 1111 63 0 10407 0
vsize: 41880
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 9307
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 10925 0 0 0 17965 32 0 0 25 0 1 0 726699724 43999232 9870 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10742 9870 1111 63 0 10679 0
vsize: 42968
[startup+190.009 s]
Raw data (loadavg): 1.06 0.97 0.98 2/55 9359
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 10966 0 0 0 18964 34 0 0 25 0 1 0 726699724 44142592 9911 4294967295 134512640 134714508 3221221792 3221219744 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10777 9911 1111 63 0 10714 0
vsize: 43108
[startup+200.009 s]
Raw data (loadavg): 1.05 0.97 0.98 2/55 9359
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 11033 0 0 0 19963 35 0 0 25 0 1 0 726699724 44388352 9978 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10837 9978 1111 63 0 10774 0
vsize: 43348
[startup+210.01 s]
Raw data (loadavg): 1.04 0.97 0.98 2/55 9359
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 11057 0 0 0 20963 35 0 0 25 0 1 0 726699724 44478464 10002 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10859 10002 1111 63 0 10796 0
vsize: 43436
[startup+220.011 s]
Raw data (loadavg): 1.04 0.97 0.98 2/55 9359
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 11162 0 0 0 21962 36 0 0 25 0 1 0 726699724 44875776 10100 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10956 10100 1111 63 0 10893 0
vsize: 43824
[startup+230.013 s]
Raw data (loadavg): 1.03 0.97 0.98 2/55 9359
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 11185 0 0 0 22962 37 0 0 25 0 1 0 726699724 44965888 10123 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10978 10123 1111 63 0 10915 0
vsize: 43912
[startup+240.013 s]
Raw data (loadavg): 1.03 0.97 0.98 2/55 9359
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 11206 0 0 0 23961 38 0 0 25 0 1 0 726699724 45047808 10144 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10998 10144 1111 63 0 10935 0
vsize: 43992
[startup+250.014 s]
Raw data (loadavg): 1.02 0.97 0.98 2/55 9359
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 11247 0 0 0 24961 38 0 0 25 0 1 0 726699724 45211648 10185 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11038 10185 1111 63 0 10975 0
vsize: 44152
[startup+260.014 s]
Raw data (loadavg): 1.02 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 11268 0 0 0 25960 39 0 0 25 0 1 0 726699724 45293568 10206 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11058 10206 1111 63 0 10995 0
vsize: 44232
[startup+270.015 s]
Raw data (loadavg): 1.01 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 14570 0 0 0 26954 45 0 0 25 0 1 0 726699724 61243392 12183 4294967295 134512640 134714508 3221221792 3221218368 1075969178 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14952 12191 1111 63 0 14889 0
vsize: 59808
[startup+280.016 s]
Raw data (loadavg): 1.01 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 15689 0 0 0 27953 47 0 0 25 0 1 0 726699724 61071360 13298 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14910 13298 1111 63 0 14847 0
vsize: 59640
[startup+290.016 s]
Raw data (loadavg): 1.01 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 15884 0 0 0 28952 48 0 0 25 0 1 0 726699724 59498496 12887 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14526 12887 1111 63 0 14463 0
vsize: 58104
[startup+300.017 s]
Raw data (loadavg): 1.01 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 16436 0 0 0 29951 49 0 0 25 0 1 0 726699724 62644224 13433 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15294 13433 1111 63 0 15231 0
vsize: 61176
[startup+310.018 s]
Raw data (loadavg): 1.01 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 16477 0 0 0 30951 49 0 0 25 0 1 0 726699724 62644224 13470 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15294 13470 1111 63 0 15231 0
vsize: 61176
[startup+320.019 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 16735 0 0 0 31951 50 0 0 25 0 1 0 726699724 59498496 12986 4294967295 134512640 134714508 3221221792 3221217940 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14526 12986 1111 63 0 14463 0
vsize: 58104
[startup+330.019 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 16811 0 0 0 32950 50 0 0 25 0 1 0 726699724 59822080 13058 4294967295 134512640 134714508 3221221792 3221217856 1074969471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14605 13058 1111 63 0 14542 0
vsize: 58420
[startup+340.018 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 16881 0 0 0 33950 51 0 0 25 0 1 0 726699724 60321792 13126 4294967295 134512640 134714508 3221221792 3221218304 1074886767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14727 13126 1111 63 0 14664 0
vsize: 58908
[startup+350.02 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 16944 0 0 0 34950 51 0 0 25 0 1 0 726699724 60493824 13185 4294967295 134512640 134714508 3221221792 3221217984 1074961361 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14769 13185 1111 63 0 14706 0
vsize: 59076
[startup+360.02 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 16956 0 0 0 35950 51 0 0 25 0 1 0 726699724 60493824 13193 4294967295 134512640 134714508 3221221792 3221217776 1075084528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14769 13193 1111 63 0 14706 0
vsize: 59076
[startup+370.021 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 16962 0 0 0 36950 51 0 0 25 0 1 0 726699724 60493824 13195 4294967295 134512640 134714508 3221221792 3221217856 1074969440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14769 13195 1111 63 0 14706 0
vsize: 59076
[startup+380.022 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 16974 0 0 0 37951 51 0 0 25 0 1 0 726699724 60493824 13203 4294967295 134512640 134714508 3221221792 3221217952 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14769 13203 1111 63 0 14706 0
vsize: 59076
[startup+390.022 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 16982 0 0 0 38951 51 0 0 25 0 1 0 726699724 60493824 13207 4294967295 134512640 134714508 3221221792 3221217712 1075965234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14769 13207 1111 63 0 14706 0
vsize: 59076
[startup+400.023 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 16990 0 0 0 39951 51 0 0 25 0 1 0 726699724 60493824 13209 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14769 13209 1111 63 0 14706 0
vsize: 59076
[startup+410.024 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 16997 0 0 0 40951 51 0 0 25 0 1 0 726699724 60493824 13212 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14769 13212 1111 63 0 14706 0
vsize: 59076
[startup+420.025 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17042 0 0 0 41951 52 0 0 25 0 1 0 726699724 60858368 13253 4294967295 134512640 134714508 3221221792 3221217872 1074883504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14858 13253 1111 63 0 14795 0
vsize: 59432
[startup+430.025 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17069 0 0 0 42951 52 0 0 25 0 1 0 726699724 60858368 13276 4294967295 134512640 134714508 3221221792 3221217856 1074969455 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14858 13276 1111 63 0 14795 0
vsize: 59432
[startup+440.025 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17091 0 0 0 43951 52 0 0 25 0 1 0 726699724 61235200 13294 4294967295 134512640 134714508 3221221792 3221218544 1075115375 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14950 13294 1111 63 0 14887 0
vsize: 59800
[startup+450.026 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17155 0 0 0 44951 52 0 0 25 0 1 0 726699724 61235200 13356 4294967295 134512640 134714508 3221221792 3221217920 1074815423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14950 13356 1111 63 0 14887 0
vsize: 59800
[startup+460.026 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17232 0 0 0 45951 52 0 0 25 0 1 0 726699724 61640704 13427 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15049 13427 1111 63 0 14986 0
vsize: 60196
[startup+470.027 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17316 0 0 0 46952 52 0 0 25 0 1 0 726699724 62066688 13507 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15153 13507 1111 63 0 15090 0
vsize: 60612
[startup+480.028 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17397 0 0 0 47951 53 0 0 25 0 1 0 726699724 62509056 13584 4294967295 134512640 134714508 3221221792 3221217872 1075095094 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15261 13584 1111 63 0 15198 0
vsize: 61044
[startup+490.027 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17491 0 0 0 48951 53 0 0 25 0 1 0 726699724 62971904 13674 4294967295 134512640 134714508 3221221792 3221217984 1074960912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15374 13674 1111 63 0 15311 0
vsize: 61496
[startup+500.028 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17522 0 0 0 49951 53 0 0 25 0 1 0 726699724 62971904 13701 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15374 13701 1111 63 0 15311 0
vsize: 61496
[startup+510.029 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17530 0 0 0 50952 53 0 0 25 0 1 0 726699724 62971904 13705 4294967295 134512640 134714508 3221221792 3221218044 1076111494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15374 13705 1111 63 0 15311 0
vsize: 61496
[startup+520.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17534 0 0 0 51952 53 0 0 25 0 1 0 726699724 62971904 13707 4294967295 134512640 134714508 3221221792 3221217856 1074969455 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15374 13707 1111 63 0 15311 0
vsize: 61496
[startup+530.031 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17627 0 0 0 52952 53 0 0 25 0 1 0 726699724 63459328 13796 4294967295 134512640 134714508 3221221792 3221217620 1074786537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13796 1111 63 0 15430 0
vsize: 61972
[startup+540.031 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9361
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17641 0 0 0 53952 53 0 0 25 0 1 0 726699724 63459328 13806 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13806 1111 63 0 15430 0
vsize: 61972
[startup+550.032 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17656 0 0 0 54952 53 0 0 25 0 1 0 726699724 63459328 13817 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13817 1111 63 0 15430 0
vsize: 61972
[startup+560.032 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17661 0 0 0 55952 53 0 0 25 0 1 0 726699724 63631360 13820 4294967295 134512640 134714508 3221221792 3221218480 1076084141 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15535 13820 1111 63 0 15472 0
vsize: 62140
[startup+570.032 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17667 0 0 0 56952 53 0 0 25 0 1 0 726699724 63459328 13822 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13822 1111 63 0 15430 0
vsize: 61972
[startup+580.033 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17685 0 0 0 57952 54 0 0 25 0 1 0 726699724 63459328 13836 4294967295 134512640 134714508 3221221792 3221217872 1075095169 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13836 1111 63 0 15430 0
vsize: 61972
[startup+590.033 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17690 0 0 0 58952 54 0 0 25 0 1 0 726699724 63459328 13837 4294967295 134512640 134714508 3221221792 3221217940 1075115043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13837 1111 63 0 15430 0
vsize: 61972
[startup+600.034 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17694 0 0 0 59953 54 0 0 25 0 1 0 726699724 63631360 13839 4294967295 134512640 134714508 3221221792 3221218864 1075969871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15535 13839 1111 63 0 15472 0
vsize: 62140
[startup+610.035 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17702 0 0 0 60952 54 0 0 25 0 1 0 726699724 63459328 13843 4294967295 134512640 134714508 3221221792 3221218048 1075114268 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13843 1111 63 0 15430 0
vsize: 61972
[startup+620.035 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17713 0 0 0 61952 54 0 0 25 0 1 0 726699724 63459328 13850 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13850 1111 63 0 15430 0
vsize: 61972
[startup+630.035 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17720 0 0 0 62953 54 0 0 25 0 1 0 726699724 63459328 13853 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13853 1111 63 0 15430 0
vsize: 61972
[startup+640.035 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17722 0 0 0 63953 55 0 0 25 0 1 0 726699724 63459328 13853 4294967295 134512640 134714508 3221221792 3221218048 1075114265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13853 1111 63 0 15430 0
vsize: 61972
[startup+650.037 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17731 0 0 0 64953 55 0 0 25 0 1 0 726699724 63459328 13858 4294967295 134512640 134714508 3221221792 3221217984 1074960865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13858 1111 63 0 15430 0
vsize: 61972
[startup+660.037 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17735 0 0 0 65953 55 0 0 25 0 1 0 726699724 63459328 13858 4294967295 134512640 134714508 3221221792 3221217940 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13858 1111 63 0 15430 0
vsize: 61972
[startup+670.037 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17739 0 0 0 66953 55 0 0 25 0 1 0 726699724 63459328 13858 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13858 1111 63 0 15430 0
vsize: 61972
[startup+680.038 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17745 0 0 0 67953 55 0 0 25 0 1 0 726699724 63459328 13862 4294967295 134512640 134714508 3221221792 3221218240 1075397211 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13862 1111 63 0 15430 0
vsize: 61972
[startup+690.038 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 17749 0 0 0 68953 55 0 0 25 0 1 0 726699724 63459328 13862 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13862 1111 63 0 15430 0
vsize: 61972
[startup+700.039 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 24875 0 0 0 69938 71 0 0 25 0 1 0 726699724 50610176 11455 4294967295 134512640 134714508 3221221792 3221219708 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12356 11455 1111 63 0 12293 0
vsize: 49424
[startup+710.04 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 26175 0 0 0 70933 76 0 0 25 0 1 0 726699724 50065408 11450 4294967295 134512640 134714508 3221221792 3221220192 1074031945 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12223 11450 1111 63 0 12160 0
vsize: 48892
[startup+720.04 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 33964 0 0 0 71909 100 0 0 25 0 1 0 726699724 44687360 10191 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10910 10191 1111 63 0 10847 0
vsize: 43640
[startup+730.04 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 41394 0 0 0 72889 120 0 0 25 0 1 0 726699724 44670976 10187 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10906 10187 1111 63 0 10843 0
vsize: 43624
[startup+740.04 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 46496 0 0 0 73874 135 0 0 25 0 1 0 726699724 44687360 10191 4294967295 134512640 134714508 3221221792 3221220140 1074207488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10910 10191 1111 63 0 10847 0
vsize: 43640
[startup+750.041 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 53800 0 0 0 74853 155 0 0 25 0 1 0 726699724 60563456 10349 4294967295 134512640 134714508 3221221792 3221218424 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14786 10349 1111 63 0 14723 0
vsize: 59144
[startup+760.041 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 70287 0 0 0 75810 198 0 0 25 0 1 0 726699724 44703744 10198 4294967295 134512640 134714508 3221221792 3221219520 1075828397 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10914 10198 1111 63 0 10851 0
vsize: 43656
[startup+770.041 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 75943 0 0 0 76793 215 0 0 25 0 1 0 726699724 60755968 10416 4294967295 134512640 134714508 3221221792 3221217936 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14833 10416 1111 63 0 14770 0
vsize: 59332
[startup+780.042 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 96265 0 0 0 77742 267 0 0 25 0 1 0 726699724 60080128 10265 4294967295 134512640 134714508 3221221792 3221218912 1074834317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14668 10265 1111 63 0 14605 0
vsize: 58672
[startup+790.041 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 105705 0 0 0 78718 291 0 0 25 0 1 0 726699724 44703744 10198 4294967295 134512640 134714508 3221221792 3221220176 1074153893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10914 10198 1111 63 0 10851 0
vsize: 43656
[startup+800.042 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 116954 0 0 0 79688 321 0 0 25 0 1 0 726699724 44670976 10190 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10906 10190 1111 63 0 10843 0
vsize: 43624
[startup+810.042 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 133639 0 0 0 80645 364 0 0 25 0 1 0 726699724 44670976 10190 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10906 10190 1111 63 0 10843 0
vsize: 43624
[startup+820.042 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 139243 0 0 0 81628 381 0 0 25 0 1 0 726699724 60801024 10407 4294967295 134512640 134714508 3221221792 3221218064 1074960837 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14844 10407 1111 63 0 14781 0
vsize: 59376
[startup+830.043 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 155950 0 0 0 82587 422 0 0 25 0 1 0 726699724 44654592 10186 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10902 10186 1111 63 0 10839 0
vsize: 43608
[startup+840.043 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 168672 0 0 0 83554 455 0 0 25 0 1 0 726699724 61157376 12335 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14931 12335 1111 63 0 14868 0
vsize: 59724
[startup+850.044 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 183911 0 0 0 84516 493 0 0 25 0 1 0 726699724 60805120 10889 4294967295 134512640 134714508 3221221792 3221217952 1075095344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14845 10899 1111 63 0 14782 0
vsize: 59380
[startup+860.044 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 198101 0 0 0 85482 527 0 0 25 0 1 0 726699724 44769280 10214 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10930 10214 1111 63 0 10867 0
vsize: 43720
[startup+870.044 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 213022 0 0 0 86445 565 0 0 25 0 1 0 726699724 61415424 10575 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14994 10575 1111 63 0 14931 0
vsize: 59976
[startup+880.044 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 227332 0 0 0 87411 599 0 0 25 0 1 0 726699724 44769280 10214 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10930 10214 1111 63 0 10867 0
vsize: 43720
[startup+890.044 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 245728 0 0 0 88363 647 0 0 25 0 1 0 726699724 44802048 10222 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10938 10222 1111 63 0 10875 0
vsize: 43752
[startup+900.045 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 260472 0 0 0 89327 684 0 0 25 0 1 0 726699724 44802048 10222 4294967295 134512640 134714508 3221221792 3221219432 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10938 10222 1111 63 0 10875 0
vsize: 43752
[startup+910.045 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 277328 0 0 0 90285 726 0 0 25 0 1 0 726699724 44720128 10202 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10918 10202 1111 63 0 10855 0
vsize: 43672
[startup+920.044 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 291936 0 0 0 91248 762 0 0 25 0 1 0 726699724 61165568 10490 4294967295 134512640 134714508 3221221792 3221217996 1075563681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14933 10490 1111 63 0 14870 0
vsize: 59732
[startup+930.045 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 306818 0 0 0 92212 799 0 0 25 0 1 0 726699724 44736512 10206 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10922 10206 1111 63 0 10859 0
vsize: 43688
[startup+940.045 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 323248 0 0 0 93171 840 0 0 25 0 1 0 726699724 61177856 12339 4294967295 134512640 134714508 3221221792 3221217936 1074969449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14936 12339 1111 63 0 14873 0
vsize: 59744
[startup+950.047 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 339894 0 0 0 94130 881 0 0 25 0 1 0 726699724 61042688 12304 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14903 12304 1111 63 0 14840 0
vsize: 59612
[startup+960.047 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 353053 0 0 0 95096 915 0 0 25 0 1 0 726699724 44687360 10194 4294967295 134512640 134714508 3221221792 3221220176 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10910 10194 1111 63 0 10847 0
vsize: 43640
[startup+970.047 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 367432 0 0 0 96060 951 0 0 25 0 1 0 726699724 44687360 10194 4294967295 134512640 134714508 3221221792 3221219424 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10910 10194 1111 63 0 10847 0
vsize: 43640
[startup+980.047 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 389274 0 0 0 97006 1006 0 0 25 0 1 0 726699724 44720128 10202 4294967295 134512640 134714508 3221221792 3221219632 1075798461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10918 10202 1111 63 0 10855 0
vsize: 43672
[startup+990.048 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 406134 0 0 0 97964 1048 0 0 25 0 1 0 726699724 60444672 10345 4294967295 134512640 134714508 3221221792 3221218176 1074972152 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14757 10345 1111 63 0 14694 0
vsize: 59028
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 422863 0 0 0 98923 1089 0 0 25 0 1 0 726699724 61505536 12425 4294967295 134512640 134714508 3221221792 3221217804 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15016 12425 1111 63 0 14953 0
vsize: 60064
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 433683 0 0 0 99897 1115 0 0 25 0 1 0 726699724 44802048 10222 4294967295 134512640 134714508 3221221792 3221220176 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10938 10222 1111 63 0 10875 0
vsize: 43752
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 450435 0 0 0 100856 1156 0 0 25 0 1 0 726699724 60801024 10442 4294967295 134512640 134714508 3221221792 3221218832 1075971413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14844 10444 1111 63 0 14781 0
vsize: 59376
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 465406 0 0 0 101818 1194 0 0 25 0 1 0 726699724 55967744 11079 4294967295 134512640 134714508 3221221792 3221218256 1075602899 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13664 11079 1111 63 0 13601 0
vsize: 54656
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 482476 0 0 0 102776 1237 0 0 25 0 1 0 726699724 60096512 10266 4294967295 134512640 134714508 3221221792 3221218796 1074621052 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14672 10266 1111 63 0 14609 0
vsize: 58688
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 493825 0 0 0 103747 1266 0 0 25 0 1 0 726699724 44654592 10186 4294967295 134512640 134714508 3221221792 3221220124 1074205875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10902 10186 1111 63 0 10839 0
vsize: 43608
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 508785 0 0 0 104710 1303 0 0 25 0 1 0 726699724 60420096 10328 4294967295 134512640 134714508 3221221792 3221218760 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14751 10328 1111 63 0 14688 0
vsize: 59004
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 527428 0 0 0 105664 1350 0 0 25 0 1 0 726699724 44687360 10194 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10910 10194 1111 63 0 10847 0
vsize: 43640
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 545680 0 0 0 106619 1395 0 0 25 0 1 0 726699724 61067264 10478 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14909 10478 1111 63 0 14846 0
vsize: 59636
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 565919 0 0 0 107568 1446 0 0 25 0 1 0 726699724 60444672 12169 4294967295 134512640 134714508 3221221792 3221217952 1075093371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14757 12169 1111 63 0 14694 0
vsize: 59028
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 582434 0 0 0 108526 1488 0 0 25 0 1 0 726699724 44670976 10190 4294967295 134512640 134714508 3221221792 3221220048 1074063748 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10906 10190 1111 63 0 10843 0
vsize: 43624
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 595492 0 0 0 109493 1521 0 0 25 0 1 0 726699724 44769280 10214 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10930 10214 1111 63 0 10867 0
vsize: 43720
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 607953 0 0 0 110464 1551 0 0 25 0 1 0 726699724 61231104 12355 4294967295 134512640 134714508 3221221792 3221218124 1076111462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14949 12355 1111 63 0 14886 0
vsize: 59796
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 622784 0 0 0 111427 1588 0 0 25 0 1 0 726699724 61128704 10533 4294967295 134512640 134714508 3221221792 3221218032 1075115730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14924 10533 1111 63 0 14861 0
vsize: 59696
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 639286 0 0 0 112386 1629 0 0 25 0 1 0 726699724 61149184 10545 4294967295 134512640 134714508 3221221792 3221217952 1074794682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14929 10545 1111 63 0 14866 0
vsize: 59716
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 654345 0 0 0 113347 1669 0 0 25 0 1 0 726699724 61276160 10529 4294967295 134512640 134714508 3221221792 3221218064 1074961496 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14960 10529 1111 63 0 14897 0
vsize: 59840
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 671066 0 0 0 114307 1709 0 0 25 0 1 0 726699724 60788736 12239 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14841 12239 1111 63 0 14778 0
vsize: 59364
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 689379 0 0 0 115259 1756 0 0 25 0 1 0 726699724 44736512 10206 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10922 10206 1111 63 0 10859 0
vsize: 43688
[startup+1176.99 s]
Raw data (loadavg): 1.00 0.97 0.98 1/54 9363
Raw data (stat): 9306 (bsolo_lpr) R 9305 7876 7672 0 -1 0 689379 0 0 0 115259 1756 0 0 25 0 1 0 726699724 44736512 10206 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10922 10206 1111 63 0 10859 0
vsize: 0

Child status: 10
Real time (s): 1176.99
CPU time (s): 1177.1
CPU user time (s): 1159.33
CPU system time (s): 17.7673
CPU usage (%): 100.009
Max. virtual memory (Kb): 62140
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-19
#### END VERIFIER DATA ####