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 24753

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 13:16:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2900 boxname=wulflinc31 idbench=323 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  70070c820bc7d178cc8f33b42e0deead  /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-5.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-5.opb
IDLAUNCH: 2900
/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:        887964 kB
Buffers:         34644 kB
Cached:          90580 kB
SwapCached:       1936 kB
Active:          90840 kB
Inactive:        37564 kB
HighTotal:      131008 kB
HighFree:        39564 kB
LowTotal:       903652 kB
LowFree:        848400 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12736 kB
Committed_AS:    63852 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 13:36:30 (client local time) WITH STATUS 10 IN 1176.84 SECONDS
stats: 2900 0 1176.84 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.78 s
c Initial Lower Bound: -68
c Lower Bound Elapsed time: 554.164
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -3 @ 724.326
c NEW SOLUTION FOUND: -4 @ 724.351
c NEW SOLUTION FOUND: -5 @ 724.369
c NEW SOLUTION FOUND: -6 @ 724.389
c NEW SOLUTION FOUND: -7 @ 724.4
c NEW SOLUTION FOUND: -8 @ 724.555
c NEW SOLUTION FOUND: -9 @ 724.704
c NEW SOLUTION FOUND: -10 @ 724.804
c NEW SOLUTION FOUND: -11 @ 725.382
c NEW SOLUTION FOUND: -12 @ 725.573
c NEW SOLUTION FOUND: -13 @ 726.654
c NEW SOLUTION FOUND: -14 @ 727.738
c NEW SOLUTION FOUND: -15 @ 729.092
c NEW SOLUTION FOUND: -16 @ 747.649
c NEW SOLUTION FOUND: -17 @ 803.202
c NEW SOLUTION FOUND: -18 @ 821.244
c NEW SOLUTION FOUND: -19 @ 833.499
s SATISFIABLE
v -C595 -C594 -C593 C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 C293 -C292 -C291 -C290 -C289 -C288 C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 -C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1 
c Exit Code: 10
c Total time: 1176.8 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.93 0.96 0.98 2/55 9456
Raw data (stat): 9456 (runsolver) R 9455 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 726818620 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 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.0014 s]
Raw data (loadavg): 0.94 0.96 0.98 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 9364 0 0 0 970 26 0 0 25 0 1 0 726818620 40505344 9027 4294967295 134512640 134714508 3221221776 3221220304 134528656 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.0022 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 10242 0 0 0 1968 28 0 0 25 0 1 0 726818620 41033728 9187 4294967295 134512640 134714508 3221221776 3221220160 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+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 10242 0 0 0 2968 28 0 0 25 0 1 0 726818620 41033728 9187 4294967295 134512640 134714508 3221221776 3221220352 134587954 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.0024 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 10242 0 0 0 3968 28 0 0 25 0 1 0 726818620 41033728 9187 4294967295 134512640 134714508 3221221776 3221220268 134542288 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.003 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 10242 0 0 0 4968 28 0 0 25 0 1 0 726818620 41033728 9187 4294967295 134512640 134714508 3221221776 3221220140 134539235 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.0039 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 10242 0 0 0 5968 29 0 0 25 0 1 0 726818620 41033728 9187 4294967295 134512640 134714508 3221221776 3221220320 134535812 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.0042 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 10242 0 0 0 6968 29 0 0 25 0 1 0 726818620 41033728 9187 4294967295 134512640 134714508 3221221776 3221220256 134539462 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.0038 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 10242 0 0 0 7968 29 0 0 25 0 1 0 726818620 41033728 9187 4294967295 134512640 134714508 3221221776 3221220392 134543793 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.0037 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 10242 0 0 0 8968 29 0 0 25 0 1 0 726818620 41033728 9187 4294967295 134512640 134714508 3221221776 3221220160 134542350 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.004 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 10242 0 0 0 9968 29 0 0 25 0 1 0 726818620 41033728 9187 4294967295 134512640 134714508 3221221776 3221220256 134539376 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.99 0.97 0.98 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 10242 0 0 0 10969 29 0 0 25 0 1 0 726818620 41033728 9187 4294967295 134512640 134714508 3221221776 3221220448 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.99 0.97 0.98 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 10242 0 0 0 11969 29 0 0 25 0 1 0 726818620 41033728 9187 4294967295 134512640 134714508 3221221776 3221220432 134627203 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.99 0.97 0.98 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 10242 0 0 0 12969 29 0 0 25 0 1 0 726818620 41033728 9187 4294967295 134512640 134714508 3221221776 3221220448 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+140.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 10242 0 0 0 13969 29 0 0 25 0 1 0 726818620 41033728 9187 4294967295 134512640 134714508 3221221776 3221220448 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+150.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 10242 0 0 0 14969 29 0 0 25 0 1 0 726818620 41033728 9187 4294967295 134512640 134714508 3221221776 3221220436 134627197 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.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 10242 0 0 0 15969 29 0 0 25 0 1 0 726818620 41033728 9187 4294967295 134512640 134714508 3221221776 3221220436 134627197 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.97 0.98 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 10638 0 0 0 16969 29 0 0 25 0 1 0 726818620 42885120 9583 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10470 9583 1111 63 0 10407 0
vsize: 41880
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 10921 0 0 0 17966 32 0 0 25 0 1 0 726818620 43986944 9866 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10739 9866 1111 63 0 10676 0
vsize: 42956
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 10964 0 0 0 18964 34 0 0 25 0 1 0 726818620 44134400 9909 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10775 9909 1111 63 0 10712 0
vsize: 43100
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 11031 0 0 0 19963 35 0 0 25 0 1 0 726818620 44380160 9976 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10835 9976 1111 63 0 10772 0
vsize: 43340
[startup+210.009 s]
Raw data (loadavg): 1.07 0.99 0.98 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 11056 0 0 0 20963 36 0 0 25 0 1 0 726818620 44474368 10001 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10858 10001 1111 63 0 10795 0
vsize: 43432
[startup+220.01 s]
Raw data (loadavg): 1.14 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 11162 0 0 0 21962 37 0 0 25 0 1 0 726818620 44875776 10100 4294967295 134512640 134714508 3221221776 3221220048 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.01 s]
Raw data (loadavg): 1.11 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 11185 0 0 0 22961 38 0 0 25 0 1 0 726818620 44965888 10123 4294967295 134512640 134714508 3221221776 3221220048 1074153760 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.01 s]
Raw data (loadavg): 1.10 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 11206 0 0 0 23961 39 0 0 25 0 1 0 726818620 45047808 10144 4294967295 134512640 134714508 3221221776 3221220032 1074153770 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.01 s]
Raw data (loadavg): 1.08 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 11246 0 0 0 24960 40 0 0 25 0 1 0 726818620 45207552 10184 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11037 10184 1111 63 0 10974 0
vsize: 44148
[startup+260.011 s]
Raw data (loadavg): 1.07 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 11265 0 0 0 25960 40 0 0 25 0 1 0 726818620 45281280 10203 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11055 10203 1111 63 0 10992 0
vsize: 44220
[startup+270.011 s]
Raw data (loadavg): 1.06 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 11285 0 0 0 26959 41 0 0 25 0 1 0 726818620 45359104 10223 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11074 10223 1111 63 0 11011 0
vsize: 44296
[startup+280.011 s]
Raw data (loadavg): 1.05 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 15685 0 0 0 27949 51 0 0 25 0 1 0 726818620 61071360 13294 4294967295 134512640 134714508 3221221776 3221217840 1074969463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14910 13294 1111 63 0 14847 0
vsize: 59640
[startup+290.011 s]
Raw data (loadavg): 1.04 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 15880 0 0 0 28949 52 0 0 25 0 1 0 726818620 59498496 12883 4294967295 134512640 134714508 3221221776 3221217840 1074969455 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14526 12883 1111 63 0 14463 0
vsize: 58104
[startup+300.011 s]
Raw data (loadavg): 1.03 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 16413 0 0 0 29948 53 0 0 25 0 1 0 726818620 62644224 13412 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15294 13412 1111 63 0 15231 0
vsize: 61176
[startup+310.012 s]
Raw data (loadavg): 1.03 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 16477 0 0 0 30947 53 0 0 25 0 1 0 726818620 62644224 13470 4294967295 134512640 134714508 3221221776 3221217924 1075115060 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.011 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 16734 0 0 0 31947 54 0 0 25 0 1 0 726818620 59498496 12985 4294967295 134512640 134714508 3221221776 3221217840 1074969440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14526 12985 1111 63 0 14463 0
vsize: 58104
[startup+330.011 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 16811 0 0 0 32947 54 0 0 25 0 1 0 726818620 59822080 13058 4294967295 134512640 134714508 3221221776 3221217840 1074969461 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.011 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 16878 0 0 0 33947 54 0 0 25 0 1 0 726818620 60149760 13123 4294967295 134512640 134714508 3221221776 3221217840 1074969471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14685 13123 1111 63 0 14622 0
vsize: 58740
[startup+350.011 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 16942 0 0 0 34947 54 0 0 25 0 1 0 726818620 60493824 13183 4294967295 134512640 134714508 3221221776 3221217856 1075094965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14769 13183 1111 63 0 14706 0
vsize: 59076
[startup+360.012 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 16956 0 0 0 35947 54 0 0 25 0 1 0 726818620 60493824 13193 4294967295 134512640 134714508 3221221776 3221217924 1075115049 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.012 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 16962 0 0 0 36947 54 0 0 25 0 1 0 726818620 60493824 13195 4294967295 134512640 134714508 3221221776 3221217924 1075115049 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.012 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 16974 0 0 0 37947 54 0 0 25 0 1 0 726818620 60493824 13203 4294967295 134512640 134714508 3221221776 3221217936 1075115709 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.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 16982 0 0 0 38947 54 0 0 25 0 1 0 726818620 60493824 13207 4294967295 134512640 134714508 3221221776 3221217936 1075115715 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.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 16988 0 0 0 39948 54 0 0 25 0 1 0 726818620 60493824 13209 4294967295 134512640 134714508 3221221776 3221217580 1074788959 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.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 16993 0 0 0 40948 55 0 0 25 0 1 0 726818620 60493824 13210 4294967295 134512640 134714508 3221221776 3221217688 1075964740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14769 13210 1111 63 0 14706 0
vsize: 59076
[startup+420.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17012 0 0 0 41948 55 0 0 25 0 1 0 726818620 61030400 13225 4294967295 134512640 134714508 3221221776 3221218160 1075602959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14900 13225 1111 63 0 14837 0
vsize: 59600
[startup+430.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17067 0 0 0 42948 55 0 0 25 0 1 0 726818620 60858368 13276 4294967295 134512640 134714508 3221221776 3221217856 1074794542 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.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17071 0 0 0 43948 55 0 0 25 0 1 0 726818620 60858368 13276 4294967295 134512640 134714508 3221221776 3221217920 1075895652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14858 13276 1111 63 0 14795 0
vsize: 59432
[startup+450.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17155 0 0 0 44948 55 0 0 25 0 1 0 726818620 61235200 13356 4294967295 134512640 134714508 3221221776 3221217760 1075084533 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.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17216 0 0 0 45948 55 0 0 25 0 1 0 726818620 61640704 13411 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15049 13411 1111 63 0 14986 0
vsize: 60196
[startup+470.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17316 0 0 0 46948 55 0 0 25 0 1 0 726818620 62066688 13507 4294967295 134512640 134714508 3221221776 3221218224 1075397211 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.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17397 0 0 0 47948 55 0 0 25 0 1 0 726818620 62509056 13584 4294967295 134512640 134714508 3221221776 3221217632 1075965308 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.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17399 0 0 0 48948 55 0 0 25 0 1 0 726818620 62509056 13584 4294967295 134512640 134714508 3221221776 3221217796 1075964248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15261 13584 1111 63 0 15198 0
vsize: 61044
[startup+500.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17520 0 0 0 49949 56 0 0 25 0 1 0 726818620 62971904 13701 4294967295 134512640 134714508 3221221776 3221217924 1075115060 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.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17525 0 0 0 50949 56 0 0 25 0 1 0 726818620 62971904 13702 4294967295 134512640 134714508 3221221776 3221217924 1075115043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15374 13702 1111 63 0 15311 0
vsize: 61496
[startup+520.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17534 0 0 0 51949 56 0 0 25 0 1 0 726818620 62971904 13707 4294967295 134512640 134714508 3221221776 3221217936 1075115747 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.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17627 0 0 0 52949 56 0 0 25 0 1 0 726818620 63631360 13798 4294967295 134512640 134714508 3221221776 3221218696 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15535 13798 1111 63 0 15472 0
vsize: 62140
[startup+540.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17633 0 0 0 53949 56 0 0 25 0 1 0 726818620 63459328 13800 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13800 1111 63 0 15430 0
vsize: 61972
[startup+550.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17650 0 0 0 54949 56 0 0 25 0 1 0 726818620 63459328 13813 4294967295 134512640 134714508 3221221776 3221217924 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13813 1111 63 0 15430 0
vsize: 61972
[startup+560.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17659 0 0 0 55949 56 0 0 25 0 1 0 726818620 63459328 13818 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13818 1111 63 0 15430 0
vsize: 61972
[startup+570.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17663 0 0 0 56949 56 0 0 25 0 1 0 726818620 63459328 13820 4294967295 134512640 134714508 3221221776 3221217924 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13820 1111 63 0 15430 0
vsize: 61972
[startup+580.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17676 0 0 0 57949 56 0 0 25 0 1 0 726818620 63459328 13829 4294967295 134512640 134714508 3221221776 3221217936 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13829 1111 63 0 15430 0
vsize: 61972
[startup+590.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17687 0 0 0 58949 56 0 0 25 0 1 0 726818620 63459328 13836 4294967295 134512640 134714508 3221221776 3221217924 1075115076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13836 1111 63 0 15430 0
vsize: 61972
[startup+600.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17692 0 0 0 59949 56 0 0 25 0 1 0 726818620 63459328 13837 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13837 1111 63 0 15430 0
vsize: 61972
[startup+610.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17695 0 0 0 60950 57 0 0 25 0 1 0 726818620 63459328 13838 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13838 1111 63 0 15430 0
vsize: 61972
[startup+620.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17707 0 0 0 61949 57 0 0 25 0 1 0 726818620 63459328 13846 4294967295 134512640 134714508 3221221776 3221218136 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13846 1111 63 0 15430 0
vsize: 61972
[startup+630.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17717 0 0 0 62949 57 0 0 25 0 1 0 726818620 63459328 13852 4294967295 134512640 134714508 3221221776 3221217924 1075115043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13852 1111 63 0 15430 0
vsize: 61972
[startup+640.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17720 0 0 0 63949 57 0 0 25 0 1 0 726818620 63459328 13853 4294967295 134512640 134714508 3221221776 3221217580 1074788950 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.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17729 0 0 0 64949 58 0 0 25 0 1 0 726818620 63459328 13858 4294967295 134512640 134714508 3221221776 3221217604 1074786537 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.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17733 0 0 0 65949 58 0 0 25 0 1 0 726818620 63459328 13858 4294967295 134512640 134714508 3221221776 3221218028 1076111473 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.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17735 0 0 0 66950 58 0 0 25 0 1 0 726818620 63459328 13858 4294967295 134512640 134714508 3221221776 3221217968 1074960961 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.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17739 0 0 0 67950 58 0 0 25 0 1 0 726818620 63459328 13858 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15493 13858 1111 63 0 15430 0
vsize: 61972
[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 17747 0 0 0 68950 58 0 0 25 0 1 0 726818620 63459328 13862 4294967295 134512640 134714508 3221221776 3221217968 1074960912 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.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 19892 0 0 0 69945 63 0 0 25 0 1 0 726818620 66772992 11252 4294967295 134512640 134714508 3221221776 3221218736 1075971414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16302 11256 1111 63 0 16239 0
vsize: 65208
[startup+710.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 25150 0 0 0 70929 79 0 0 25 0 1 0 726818620 50065408 11450 4294967295 134512640 134714508 3221221776 3221220000 1074039235 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.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 26455 0 0 0 71924 84 0 0 25 0 1 0 726818620 50065408 11450 4294967295 134512640 134714508 3221221776 3221219848 1074950077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12223 11450 1111 63 0 12160 0
vsize: 48892
[startup+730.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 34831 0 0 0 72901 107 0 0 25 0 1 0 726818620 44670976 10187 4294967295 134512640 134714508 3221221776 3221220176 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.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 43347 0 0 0 73879 129 0 0 25 0 1 0 726818620 44687360 10191 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10910 10191 1111 63 0 10847 0
vsize: 43640
[startup+750.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 50929 0 0 0 74858 150 0 0 25 0 1 0 726818620 44687360 10194 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10910 10194 1111 63 0 10847 0
vsize: 43640
[startup+760.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 58244 0 0 0 75839 169 0 0 25 0 1 0 726818620 44720128 10202 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10918 10202 1111 63 0 10855 0
vsize: 43672
[startup+770.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 71173 0 0 0 76805 203 0 0 25 0 1 0 726818620 44720128 10202 4294967295 134512640 134714508 3221221776 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+780.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 80294 0 0 0 77781 227 0 0 25 0 1 0 726818620 44990464 10217 4294967295 134512640 134714508 3221221776 3221219888 1074867308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10984 10217 1111 63 0 10921 0
vsize: 43936
[startup+790.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 100761 0 0 0 78729 280 0 0 25 0 1 0 726818620 55304192 10945 4294967295 134512640 134714508 3221221776 3221218608 1075115803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13502 10945 1111 63 0 13439 0
vsize: 54008
[startup+800.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 109409 0 0 0 79707 302 0 0 25 0 1 0 726818620 60432384 11395 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14754 11404 1111 63 0 14691 0
vsize: 59016
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 117718 0 0 0 80686 323 0 0 25 0 1 0 726818620 44736512 10206 4294967295 134512640 134714508 3221221776 3221220072 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10922 10206 1111 63 0 10859 0
vsize: 43688
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 134495 0 0 0 81642 367 0 0 25 0 1 0 726818620 44670976 10190 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10906 10190 1111 63 0 10843 0
vsize: 43624
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 143746 0 0 0 82617 392 0 0 25 0 1 0 726818620 60772352 10402 4294967295 134512640 134714508 3221221776 3221218048 1074960847 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14837 10402 1111 63 0 14774 0
vsize: 59348
[startup+840.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 156762 0 0 0 83583 426 0 0 25 0 1 0 726818620 60260352 10301 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14712 10301 1111 63 0 14649 0
vsize: 58848
[startup+850.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 171393 0 0 0 84546 463 0 0 25 0 1 0 726818620 44720128 10202 4294967295 134512640 134714508 3221221776 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+860.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 187851 0 0 0 85505 504 0 0 25 0 1 0 726818620 44769280 10214 4294967295 134512640 134714508 3221221776 3221220160 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.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 202608 0 0 0 86469 541 0 0 25 0 1 0 726818620 44802048 10222 4294967295 134512640 134714508 3221221776 3221219416 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10938 10222 1111 63 0 10875 0
vsize: 43752
[startup+880.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 215211 0 0 0 87437 573 0 0 25 0 1 0 726818620 44802048 10222 4294967295 134512640 134714508 3221221776 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+890.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 231854 0 0 0 88395 615 0 0 25 0 1 0 726818620 61091840 12312 4294967295 134512640 134714508 3221221776 3221217876 1075964296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14915 12312 1111 63 0 14852 0
vsize: 59660
[startup+900.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 248262 0 0 0 89354 656 0 0 25 0 1 0 726818620 44802048 10222 4294967295 134512640 134714508 3221221776 3221220160 1074153779 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.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 263256 0 0 0 90316 694 0 0 25 0 1 0 726818620 44703744 10198 4294967295 134512640 134714508 3221221776 3221219500 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10914 10198 1111 63 0 10851 0
vsize: 43656
[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 279860 0 0 0 91275 736 0 0 25 0 1 0 726818620 44769280 10214 4294967295 134512640 134714508 3221221776 3221219960 1077378180 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10930 10214 1111 63 0 10867 0
vsize: 43720
[startup+930.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 294458 0 0 0 92237 774 0 0 25 0 1 0 726818620 61308928 10565 4294967295 134512640 134714508 3221221776 3221218432 1075966256 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14968 10565 1111 63 0 14905 0
vsize: 59872
[startup+940.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 309311 0 0 0 93201 810 0 0 25 0 1 0 726818620 44769280 10214 4294967295 134512640 134714508 3221221776 3221219864 1077374852 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10930 10214 1111 63 0 10867 0
vsize: 43720
[startup+950.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 325980 0 0 0 94158 853 0 0 25 0 1 0 726818620 44720128 10202 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10918 10202 1111 63 0 10855 0
vsize: 43672
[startup+960.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 342558 0 0 0 95116 895 0 0 25 0 1 0 726818620 44916736 10216 4294967295 134512640 134714508 3221221776 3221219504 1075828404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10966 10216 1111 63 0 10903 0
vsize: 43864
[startup+970.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 355338 0 0 0 96084 927 0 0 25 0 1 0 726818620 61530112 12447 4294967295 134512640 134714508 3221221776 3221218048 1074960909 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15022 12447 1111 63 0 14959 0
vsize: 60088
[startup+980.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 373650 0 0 0 97040 972 0 0 25 0 1 0 726818620 60461056 12201 4294967295 134512640 134714508 3221221776 3221218216 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14761 12201 1111 63 0 14698 0
vsize: 59044
[startup+990.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 392066 0 0 0 97994 1018 0 0 25 0 1 0 726818620 44670976 10190 4294967295 134512640 134714508 3221221776 3221220432 134649901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10906 10190 1111 63 0 10843 0
vsize: 43624
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 408771 0 0 0 98950 1062 0 0 25 0 1 0 726818620 44736512 10206 4294967295 134512640 134714508 3221221776 3221220160 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+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 425510 0 0 0 99908 1105 0 0 25 0 1 0 726818620 61501440 12444 4294967295 134512640 134714508 3221221776 3221218016 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15015 12444 1111 63 0 14952 0
vsize: 60060
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 438383 0 0 0 100875 1137 0 0 25 0 1 0 726818620 61448192 12425 4294967295 134512640 134714508 3221221776 3221217808 1074790233 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15002 12425 1111 63 0 14939 0
vsize: 60008
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 455088 0 0 0 101832 1181 0 0 25 0 1 0 726818620 44720128 10202 4294967295 134512640 134714508 3221221776 3221220176 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10918 10202 1111 63 0 10855 0
vsize: 43672
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 470233 0 0 0 102795 1218 0 0 25 0 1 0 726818620 44670976 10190 4294967295 134512640 134714508 3221221776 3221220176 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10906 10190 1111 63 0 10843 0
vsize: 43624
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 483316 0 0 0 103762 1251 0 0 25 0 1 0 726818620 60416000 10321 4294967295 134512640 134714508 3221221776 3221218016 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14750 10321 1111 63 0 14687 0
vsize: 59000
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 496431 0 0 0 104730 1283 0 0 25 0 1 0 726818620 44736512 10206 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10922 10206 1111 63 0 10859 0
vsize: 43688
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 513441 0 0 0 105687 1327 0 0 25 0 1 0 726818620 60772352 10464 4294967295 134512640 134714508 3221221776 3221218048 1074960847 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14837 10464 1111 63 0 14774 0
vsize: 59348
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 531991 0 0 0 106638 1376 0 0 25 0 1 0 726818620 60452864 10383 4294967295 134512640 134714508 3221221776 3221218608 1075115790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14759 10383 1111 63 0 14696 0
vsize: 59036
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 552052 0 0 0 107588 1426 0 0 25 0 1 0 726818620 44720128 10202 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10918 10202 1111 63 0 10855 0
vsize: 43672
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 568716 0 0 0 108546 1468 0 0 25 0 1 0 726818620 44703744 10198 4294967295 134512640 134714508 3221221776 3221220160 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10914 10198 1111 63 0 10851 0
vsize: 43656
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 583416 0 0 0 109508 1506 0 0 25 0 1 0 726818620 60788736 10464 4294967295 134512640 134714508 3221221776 3221217860 1075964437 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14841 10464 1111 63 0 14778 0
vsize: 59364
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 598095 0 0 0 110471 1543 0 0 25 0 1 0 726818620 44802048 10222 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10938 10222 1111 63 0 10875 0
vsize: 43752
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 610921 0 0 0 111438 1576 0 0 25 0 1 0 726818620 60760064 10455 4294967295 134512640 134714508 3221221776 3221218432 1075967892 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14834 10455 1111 63 0 14771 0
vsize: 59336
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 627263 0 0 0 112398 1616 0 0 25 0 1 0 726818620 44769280 10214 4294967295 134512640 134714508 3221221776 3221220176 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10930 10214 1111 63 0 10867 0
vsize: 43720
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 644020 0 0 0 113357 1658 0 0 25 0 1 0 726818620 56029184 11096 4294967295 134512640 134714508 3221221776 3221218720 1074620113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13679 11096 1111 63 0 13616 0
vsize: 54716
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 658862 0 0 0 114319 1696 0 0 25 0 1 0 726818620 44769280 10214 4294967295 134512640 134714508 3221221776 3221220176 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+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 675786 0 0 0 115277 1738 0 0 25 0 1 0 726818620 60604416 10386 4294967295 134512640 134714508 3221221776 3221218780 1074621030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14796 10386 1111 63 0 14733 0
vsize: 59184
[startup+1176.72 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 9456
Raw data (stat): 9456 (bsolo_lpr_cuts) R 9455 7876 7672 0 -1 0 675786 0 0 0 115277 1738 0 0 25 0 1 0 726818620 60604416 10386 4294967295 134512640 134714508 3221221776 3221218780 1074621030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14796 10386 1111 63 0 14733 0
vsize: 0

Child status: 10
Real time (s): 1176.72
CPU time (s): 1176.84
CPU user time (s): 1159.09
CPU system time (s): 17.7503
CPU usage (%): 100.01
Max. virtual memory (Kb): 65208
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-19
#### END VERIFIER DATA ####