PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 06:34:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2864 boxname=wulflinc31 idbench=319 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  16a8eb66aae2bcfd534a482dd0a3948e  /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-1.opb
IDLAUNCH: 2864
/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:        895792 kB
Buffers:         29648 kB
Cached:          87688 kB
SwapCached:       1936 kB
Active:          78856 kB
Inactive:        41692 kB
HighTotal:      131008 kB
HighFree:        42392 kB
LowTotal:       903652 kB
LowFree:        853400 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12644 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 06:54:35 (client local time) WITH STATUS 10 IN 1176.06 SECONDS
stats: 2864 0 1176.06 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 595 variables and 27856 constraints.
c After prepocess the problem consists of 595 variables and 20244 constraints.
c preprocess terminated 169.733 s
c Initial Lower Bound: -65
c Lower Bound Elapsed time: 534.584
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -4 @ 704.69
c NEW SOLUTION FOUND: -5 @ 704.714
c NEW SOLUTION FOUND: -6 @ 704.785
c NEW SOLUTION FOUND: -7 @ 704.812
c NEW SOLUTION FOUND: -8 @ 704.85
c NEW SOLUTION FOUND: -9 @ 704.875
c NEW SOLUTION FOUND: -10 @ 705.064
c NEW SOLUTION FOUND: -11 @ 705.316
c NEW SOLUTION FOUND: -12 @ 705.519
c NEW SOLUTION FOUND: -13 @ 706.417
c NEW SOLUTION FOUND: -14 @ 707.117
c NEW SOLUTION FOUND: -15 @ 710.172
c NEW SOLUTION FOUND: -16 @ 711.516
c NEW SOLUTION FOUND: -17 @ 719.841
c NEW SOLUTION FOUND: -18 @ 757.687
c NEW SOLUTION FOUND: -19 @ 817.518
c NEW SOLUTION FOUND: -20 @ 949.271
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.01 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.98 0.99 2/55 7135
Raw data (stat): 7135 (runsolver) R 7134 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 724406896 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0016 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 9029 0 0 0 972 24 0 0 25 0 1 0 724406896 39682048 8852 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9688 8852 1111 63 0 9625 0
vsize: 38752
[startup+20.0021 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10550 0 0 0 1969 27 0 0 25 0 1 0 724406896 44781568 10098 4294967295 134512640 134714508 3221221776 3221220256 134536736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+30.003 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10550 0 0 0 2969 28 0 0 25 0 1 0 724406896 44781568 10098 4294967295 134512640 134714508 3221221776 3221220256 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+40.0034 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10550 0 0 0 3968 28 0 0 25 0 1 0 724406896 44781568 10098 4294967295 134512640 134714508 3221221776 3221220316 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+50.0039 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10550 0 0 0 4968 28 0 0 25 0 1 0 724406896 44781568 10098 4294967295 134512640 134714508 3221221776 3221220160 134542706 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+60.0048 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10550 0 0 0 5968 28 0 0 25 0 1 0 724406896 44781568 10098 4294967295 134512640 134714508 3221221776 3221220256 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+70.0065 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10550 0 0 0 6968 29 0 0 25 0 1 0 724406896 44781568 10098 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+80.0077 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10550 0 0 0 7968 29 0 0 25 0 1 0 724406896 44781568 10098 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+90.0076 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10550 0 0 0 8967 30 0 0 25 0 1 0 724406896 44781568 10098 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10550 0 0 0 9967 30 0 0 25 0 1 0 724406896 44781568 10098 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+110.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10550 0 0 0 10967 30 0 0 25 0 1 0 724406896 44781568 10098 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10550 0 0 0 11967 31 0 0 25 0 1 0 724406896 44781568 10098 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+130.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10550 0 0 0 12967 31 0 0 25 0 1 0 724406896 44781568 10098 4294967295 134512640 134714508 3221221776 3221220448 134627231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+140.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10550 0 0 0 13967 31 0 0 25 0 1 0 724406896 44781568 10098 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10550 0 0 0 14966 32 0 0 25 0 1 0 724406896 44781568 10098 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+160.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10550 0 0 0 15966 32 0 0 25 0 1 0 724406896 44781568 10098 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10098 1111 63 0 10870 0
vsize: 43732
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10573 0 0 0 16966 32 0 0 25 0 1 0 724406896 44781568 10121 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10933 10121 1111 63 0 10870 0
vsize: 43732
[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10717 0 0 0 17963 35 0 0 25 0 1 0 724406896 45367296 10265 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11076 10265 1111 63 0 11013 0
vsize: 44304
[startup+190.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10750 0 0 0 18962 37 0 0 25 0 1 0 724406896 45502464 10298 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11109 10298 1111 63 0 11046 0
vsize: 44436
[startup+200.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10841 0 0 0 19961 38 0 0 25 0 1 0 724406896 45875200 10389 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11200 10389 1111 63 0 11137 0
vsize: 44800
[startup+210.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10867 0 0 0 20960 39 0 0 25 0 1 0 724406896 45981696 10415 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11226 10415 1111 63 0 11163 0
vsize: 44904
[startup+220.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10940 0 0 0 21958 41 0 0 25 0 1 0 724406896 46280704 10488 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11299 10488 1111 63 0 11236 0
vsize: 45196
[startup+230.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10961 0 0 0 22957 43 0 0 25 0 1 0 724406896 46366720 10509 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11320 10509 1111 63 0 11257 0
vsize: 45280
[startup+240.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 10982 0 0 0 23956 43 0 0 25 0 1 0 724406896 46452736 10530 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11341 10530 1111 63 0 11278 0
vsize: 45364
[startup+250.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 11021 0 0 0 24955 45 0 0 25 0 1 0 724406896 46612480 10569 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11380 10569 1111 63 0 11317 0
vsize: 45520
[startup+260.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 11039 0 0 0 25954 45 0 0 25 0 1 0 724406896 46686208 10587 4294967295 134512640 134714508 3221221776 3221220032 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11398 10587 1111 63 0 11335 0
vsize: 45592
[startup+270.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 15278 0 0 0 26945 55 0 0 25 0 1 0 724406896 61861888 13544 4294967295 134512640 134714508 3221221776 3221217920 1075895652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15103 13544 1111 63 0 15040 0
vsize: 60412
[startup+280.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 15494 0 0 0 27944 56 0 0 25 0 1 0 724406896 60354560 13180 4294967295 134512640 134714508 3221221776 3221217840 1074969469 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14735 13180 1111 63 0 14672 0
vsize: 58940
[startup+290.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 15526 0 0 0 28944 56 0 0 25 0 1 0 724406896 60354560 13208 4294967295 134512640 134714508 3221221776 3221217924 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14735 13208 1111 63 0 14672 0
vsize: 58940
[startup+300.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 15555 0 0 0 29944 56 0 0 25 0 1 0 724406896 60354560 13233 4294967295 134512640 134714508 3221221776 3221217656 1075964730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14735 13233 1111 63 0 14672 0
vsize: 58940
[startup+310.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 15618 0 0 0 30944 57 0 0 25 0 1 0 724406896 60649472 13292 4294967295 134512640 134714508 3221221776 3221217656 1075964730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14807 13292 1111 63 0 14744 0
vsize: 59228
[startup+320.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 15658 0 0 0 31943 57 0 0 25 0 1 0 724406896 60649472 13330 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14807 13330 1111 63 0 14744 0
vsize: 59228
[startup+330.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 15733 0 0 0 32943 58 0 0 25 0 1 0 724406896 60973056 13401 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14886 13401 1111 63 0 14823 0
vsize: 59544
[startup+340.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 15815 0 0 0 33942 59 0 0 25 0 1 0 724406896 61304832 13479 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14967 13479 1111 63 0 14904 0
vsize: 59868
[startup+350.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 15886 0 0 0 34941 60 0 0 25 0 1 0 724406896 61648896 13548 4294967295 134512640 134714508 3221221776 3221217760 1075084528 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15051 13548 1111 63 0 14988 0
vsize: 60204
[startup+360.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 15969 0 0 0 35940 61 0 0 25 0 1 0 724406896 62021632 13627 4294967295 134512640 134714508 3221221776 3221217840 1074969463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15142 13627 1111 63 0 15079 0
vsize: 60568
[startup+370.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 15983 0 0 0 36940 61 0 0 25 0 1 0 724406896 62021632 13637 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15142 13637 1111 63 0 15079 0
vsize: 60568
[startup+380.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16049 0 0 0 37939 62 0 0 25 0 1 0 724406896 62402560 13699 4294967295 134512640 134714508 3221221776 3221217968 1074961301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15235 13699 1111 63 0 15172 0
vsize: 60940
[startup+390.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16126 0 0 0 38939 63 0 0 25 0 1 0 724406896 62971904 13772 4294967295 134512640 134714508 3221221776 3221218760 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15374 13772 1111 63 0 15311 0
vsize: 61496
[startup+400.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16143 0 0 0 39938 63 0 0 25 0 1 0 724406896 62808064 13783 4294967295 134512640 134714508 3221221776 3221217548 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15334 13783 1111 63 0 15271 0
vsize: 61336
[startup+410.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16149 0 0 0 40938 64 0 0 25 0 1 0 724406896 62808064 13785 4294967295 134512640 134714508 3221221776 3221217924 1075115043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15334 13785 1111 63 0 15271 0
vsize: 61336
[startup+420.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16153 0 0 0 41938 64 0 0 25 0 1 0 724406896 62808064 13785 4294967295 134512640 134714508 3221221776 3221217936 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15334 13785 1111 63 0 15271 0
vsize: 61336
[startup+430.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16158 0 0 0 42938 65 0 0 25 0 1 0 724406896 62808064 13786 4294967295 134512640 134714508 3221221776 3221217580 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15334 13786 1111 63 0 15271 0
vsize: 61336
[startup+440.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16163 0 0 0 43937 65 0 0 25 0 1 0 724406896 62808064 13787 4294967295 134512640 134714508 3221221776 3221217968 1074961264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15334 13787 1111 63 0 15271 0
vsize: 61336
[startup+450.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16167 0 0 0 44937 66 0 0 25 0 1 0 724406896 62808064 13787 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15334 13787 1111 63 0 15271 0
vsize: 61336
[startup+460.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16174 0 0 0 45937 66 0 0 25 0 1 0 724406896 62808064 13788 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15334 13788 1111 63 0 15271 0
vsize: 61336
[startup+470.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16318 0 0 0 46936 67 0 0 25 0 1 0 724406896 63676416 13928 4294967295 134512640 134714508 3221221776 3221217924 1075115062 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15546 13928 1111 63 0 15483 0
vsize: 62184
[startup+480.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16346 0 0 0 47936 68 0 0 25 0 1 0 724406896 63676416 13952 4294967295 134512640 134714508 3221221776 3221218208 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15546 13952 1111 63 0 15483 0
vsize: 62184
[startup+490.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16350 0 0 0 48935 68 0 0 25 0 1 0 724406896 63676416 13952 4294967295 134512640 134714508 3221221776 3221217660 1074788177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15546 13952 1111 63 0 15483 0
vsize: 62184
[startup+500.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16381 0 0 0 49935 69 0 0 25 0 1 0 724406896 63676416 13979 4294967295 134512640 134714508 3221221776 3221218740 1074846155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15546 13979 1111 63 0 15483 0
vsize: 62184
[startup+510.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16389 0 0 0 50934 69 0 0 25 0 1 0 724406896 63676416 13985 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15546 13985 1111 63 0 15483 0
vsize: 62184
[startup+520.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16485 0 0 0 51934 70 0 0 25 0 1 0 724406896 64139264 14077 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15659 14077 1111 63 0 15596 0
vsize: 62636
[startup+530.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16499 0 0 0 52935 70 0 0 25 0 1 0 724406896 64139264 14087 4294967295 134512640 134714508 3221221776 3221217924 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15659 14087 1111 63 0 15596 0
vsize: 62636
[startup+540.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16514 0 0 0 53935 70 0 0 25 0 1 0 724406896 64139264 14098 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15659 14098 1111 63 0 15596 0
vsize: 62636
[startup+550.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16523 0 0 0 54935 70 0 0 25 0 1 0 724406896 64139264 14103 4294967295 134512640 134714508 3221221776 3221217924 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15659 14103 1111 63 0 15596 0
vsize: 62636
[startup+560.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16536 0 0 0 55935 70 0 0 25 0 1 0 724406896 64139264 14114 4294967295 134512640 134714508 3221221776 3221217924 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15659 14114 1111 63 0 15596 0
vsize: 62636
[startup+570.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16540 0 0 0 56935 70 0 0 25 0 1 0 724406896 64139264 14114 4294967295 134512640 134714508 3221221776 3221217664 1075965246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15659 14114 1111 63 0 15596 0
vsize: 62636
[startup+580.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16545 0 0 0 57935 70 0 0 25 0 1 0 724406896 64139264 14115 4294967295 134512640 134714508 3221221776 3221217660 1074788136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15659 14115 1111 63 0 15596 0
vsize: 62636
[startup+590.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16555 0 0 0 58936 70 0 0 25 0 1 0 724406896 64139264 14121 4294967295 134512640 134714508 3221221776 3221217936 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15659 14121 1111 63 0 15596 0
vsize: 62636
[startup+600.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16567 0 0 0 59936 70 0 0 25 0 1 0 724406896 64139264 14129 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15659 14129 1111 63 0 15596 0
vsize: 62636
[startup+610.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16569 0 0 0 60936 70 0 0 25 0 1 0 724406896 64139264 14129 4294967295 134512640 134714508 3221221776 3221217968 1074960909 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15659 14129 1111 63 0 15596 0
vsize: 62636
[startup+620.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16573 0 0 0 61936 70 0 0 25 0 1 0 724406896 64139264 14129 4294967295 134512640 134714508 3221221776 3221217924 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15659 14129 1111 63 0 15596 0
vsize: 62636
[startup+630.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16578 0 0 0 62936 70 0 0 25 0 1 0 724406896 64139264 14130 4294967295 134512640 134714508 3221221776 3221217924 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15659 14130 1111 63 0 15596 0
vsize: 62636
[startup+640.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16582 0 0 0 63936 70 0 0 25 0 1 0 724406896 64139264 14130 4294967295 134512640 134714508 3221221776 3221217968 1074960928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15659 14130 1111 63 0 15596 0
vsize: 62636
[startup+650.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16585 0 0 0 64936 70 0 0 25 0 1 0 724406896 64139264 14131 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15659 14131 1111 63 0 15596 0
vsize: 62636
[startup+660.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16589 0 0 0 65936 70 0 0 25 0 1 0 724406896 64139264 14131 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15659 14131 1111 63 0 15596 0
vsize: 62636
[startup+670.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16600 0 0 0 66937 70 0 0 25 0 1 0 724406896 64139264 14138 4294967295 134512640 134714508 3221221776 3221217808 1075895668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15659 14138 1111 63 0 15596 0
vsize: 62636
[startup+680.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 16609 0 0 0 67937 70 0 0 25 0 1 0 724406896 64139264 14143 4294967295 134512640 134714508 3221221776 3221217924 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15659 14143 1111 63 0 15596 0
vsize: 62636
[startup+690.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 23815 0 0 0 68920 87 0 0 25 0 1 0 724406896 51376128 11790 4294967295 134512640 134714508 3221221776 3221220112 1073989416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12543 11790 1111 63 0 12480 0
vsize: 50172
[startup+700.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 25477 0 0 0 69913 94 0 0 25 0 1 0 724406896 51920896 11796 4294967295 134512640 134714508 3221221776 3221219840 1074790218 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12676 11796 1111 63 0 12613 0
vsize: 50704
[startup+710.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 52756 0 0 0 70838 169 0 0 25 0 1 0 724406896 45932544 10539 4294967295 134512640 134714508 3221221776 3221220176 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11214 10539 1111 63 0 11151 0
vsize: 44856
[startup+720.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 67615 0 0 0 71800 208 0 0 25 0 1 0 724406896 45932544 10539 4294967295 134512640 134714508 3221221776 3221220176 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11214 10539 1111 63 0 11151 0
vsize: 44856
[startup+730.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 82117 0 0 0 72760 248 0 0 25 0 1 0 724406896 45948928 10543 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11218 10543 1111 63 0 11155 0
vsize: 44872
[startup+740.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 98191 0 0 0 73717 290 0 0 25 0 1 0 724406896 56143872 11276 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13707 11276 1111 63 0 13644 0
vsize: 54828
[startup+750.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 117789 0 0 0 74665 342 0 0 25 0 1 0 724406896 45965312 10547 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11222 10547 1111 63 0 11159 0
vsize: 44888
[startup+760.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 126935 0 0 0 75640 368 0 0 25 0 1 0 724406896 45981696 10551 4294967295 134512640 134714508 3221221776 3221220160 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11226 10551 1111 63 0 11163 0
vsize: 44904
[startup+770.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 140031 0 0 0 76607 401 0 0 25 0 1 0 724406896 45948928 10546 4294967295 134512640 134714508 3221221776 3221220376 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11218 10546 1111 63 0 11155 0
vsize: 44872
[startup+780.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 158338 0 0 0 77558 450 0 0 25 0 1 0 724406896 45916160 10538 4294967295 134512640 134714508 3221221776 3221220160 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11210 10538 1111 63 0 11147 0
vsize: 44840
[startup+790.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 169486 0 0 0 78529 480 0 0 25 0 1 0 724406896 45981696 10554 4294967295 134512640 134714508 3221221776 3221220176 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11226 10554 1111 63 0 11163 0
vsize: 44904
[startup+800.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 182480 0 0 0 79496 512 0 0 25 0 1 0 724406896 61366272 10772 4294967295 134512640 134714508 3221221776 3221218048 1074960909 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14982 10772 1111 63 0 14919 0
vsize: 59928
[startup+810.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 197233 0 0 0 80457 551 0 0 25 0 1 0 724406896 45948928 10546 4294967295 134512640 134714508 3221221776 3221219784 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11218 10546 1111 63 0 11155 0
vsize: 44872
[startup+820.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 206202 0 0 0 81434 575 0 0 25 0 1 0 724406896 45998080 10558 4294967295 134512640 134714508 3221221776 3221219500 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11230 10558 1111 63 0 11167 0
vsize: 44920
[startup+830.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 225860 0 0 0 82383 626 0 0 25 0 1 0 724406896 45981696 10554 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11226 10554 1111 63 0 11163 0
vsize: 44904
[startup+840.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 245027 0 0 0 83335 675 0 0 25 0 1 0 724406896 60837888 11910 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14853 11920 1111 63 0 14790 0
vsize: 59412
[startup+850.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 259665 0 0 0 84297 712 0 0 25 0 1 0 724406896 61386752 10780 4294967295 134512640 134714508 3221221776 3221218016 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14987 10780 1111 63 0 14924 0
vsize: 59948
[startup+860.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 277755 0 0 0 85251 758 0 0 25 0 1 0 724406896 60821504 10574 4294967295 134512640 134714508 3221221776 3221218816 1075971414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14849 10580 1111 63 0 14786 0
vsize: 59396
[startup+870.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 304058 0 0 0 86183 826 0 0 25 0 1 0 724406896 45932544 10542 4294967295 134512640 134714508 3221221776 3221220160 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11214 10542 1111 63 0 11151 0
vsize: 44856
[startup+880.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 323676 0 0 0 87133 877 0 0 25 0 1 0 724406896 45948928 10554 4294967295 134512640 134714508 3221221776 3221219916 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11218 10554 1111 63 0 11155 0
vsize: 44872
[startup+890.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 341803 0 0 0 88088 923 0 0 25 0 1 0 724406896 60837888 10654 4294967295 134512640 134714508 3221221776 3221218696 1074950096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14853 10654 1111 63 0 14790 0
vsize: 59412
[startup+900.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 359892 0 0 0 89042 968 0 0 25 0 1 0 724406896 45932544 10550 4294967295 134512640 134714508 3221221776 3221219900 1077404782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11214 10550 1111 63 0 11151 0
vsize: 44856
[startup+910.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 379469 0 0 0 89990 1020 0 0 25 0 1 0 724406896 45948928 10554 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11218 10554 1111 63 0 11155 0
vsize: 44872
[startup+920.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 400874 0 0 0 90934 1077 0 0 25 0 1 0 724406896 45932544 10550 4294967295 134512640 134714508 3221221776 3221220176 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11214 10550 1111 63 0 11151 0
vsize: 44856
[startup+930.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 408336 0 0 0 91915 1096 0 0 25 0 1 0 724406896 45981696 10562 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11226 10562 1111 63 0 11163 0
vsize: 44904
[startup+940.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 429674 0 0 0 92858 1153 0 0 25 0 1 0 724406896 60989440 10660 4294967295 134512640 134714508 3221221776 3221218016 1075115704 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14890 10660 1111 63 0 14827 0
vsize: 59560
[startup+950.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 453423 0 0 0 93797 1215 0 0 25 0 1 0 724406896 45965312 10558 4294967295 134512640 134714508 3221221776 3221220464 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11222 10558 1111 63 0 11159 0
vsize: 44888
[startup+960.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 469285 0 0 0 94756 1256 0 0 25 0 1 0 724406896 45965312 10558 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11222 10558 1111 63 0 11159 0
vsize: 44888
[startup+970.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 483229 0 0 0 95720 1291 0 0 25 0 1 0 724406896 46030848 10574 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11238 10574 1111 63 0 11175 0
vsize: 44952
[startup+980.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 497360 0 0 0 96684 1328 0 0 25 0 1 0 724406896 45998080 10566 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11230 10566 1111 63 0 11167 0
vsize: 44920
[startup+990.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 509866 0 0 0 97651 1360 0 0 25 0 1 0 724406896 46030848 10574 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11238 10574 1111 63 0 11175 0
vsize: 44952
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 524246 0 0 0 98614 1398 0 0 25 0 1 0 724406896 46030848 10574 4294967295 134512640 134714508 3221221776 3221220176 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11238 10574 1111 63 0 11175 0
vsize: 44952
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 540386 0 0 0 99573 1439 0 0 25 0 1 0 724406896 56655872 11376 4294967295 134512640 134714508 3221221776 3221218308 1075863638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13832 11376 1111 63 0 13769 0
vsize: 55328
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 554913 0 0 0 100534 1478 0 0 25 0 1 0 724406896 45948928 10554 4294967295 134512640 134714508 3221221776 3221220020 1077374082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11218 10554 1111 63 0 11155 0
vsize: 44872
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 572815 0 0 0 101486 1527 0 0 25 0 1 0 724406896 56844288 11435 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13878 11435 1111 63 0 13815 0
vsize: 55512
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 590712 0 0 0 102439 1573 0 0 25 0 1 0 724406896 45932544 10550 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11214 10550 1111 63 0 11151 0
vsize: 44856
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 602706 0 0 0 103410 1603 0 0 25 0 1 0 724406896 45998080 10566 4294967295 134512640 134714508 3221221776 3221220160 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11230 10566 1111 63 0 11167 0
vsize: 44920
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 619086 0 0 0 104366 1646 0 0 25 0 1 0 724406896 56512512 11360 4294967295 134512640 134714508 3221221776 3221218816 1075971413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13797 11360 1111 63 0 13734 0
vsize: 55188
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 633857 0 0 0 105327 1686 0 0 25 0 1 0 724406896 61513728 12552 4294967295 134512640 134714508 3221221776 3221218304 1075397221 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15018 12552 1111 63 0 14955 0
vsize: 60072
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 650437 0 0 0 106283 1730 0 0 25 0 1 0 724406896 45965312 10558 4294967295 134512640 134714508 3221221776 3221220160 1074153254 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11222 10558 1111 63 0 11159 0
vsize: 44888
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 668121 0 0 0 107236 1777 0 0 25 0 1 0 724406896 61431808 10774 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14998 10774 1111 63 0 14935 0
vsize: 59992
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 684767 0 0 0 108193 1820 0 0 25 0 1 0 724406896 61333504 10787 4294967295 134512640 134714508 3221221776 3221218016 1075115758 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14974 10787 1111 63 0 14911 0
vsize: 59896
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 704779 0 0 0 109140 1873 0 0 25 0 1 0 724406896 45948928 10554 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11218 10554 1111 63 0 11155 0
vsize: 44872
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 717357 0 0 0 110109 1905 0 0 25 0 1 0 724406896 61366272 10765 4294967295 134512640 134714508 3221221776 3221218432 1075968688 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14982 10765 1111 63 0 14919 0
vsize: 59928
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 733064 0 0 0 111070 1944 0 0 25 0 1 0 724406896 57065472 11460 4294967295 134512640 134714508 3221221776 3221218608 1075115375 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13932 11460 1111 63 0 13869 0
vsize: 55728
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 747968 0 0 0 112031 1983 0 0 25 0 1 0 724406896 45998080 10566 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11230 10566 1111 63 0 11167 0
vsize: 44920
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 764622 0 0 0 112990 2024 0 0 25 0 1 0 724406896 61575168 12581 4294967295 134512640 134714508 3221221776 3221218048 1074960868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15033 12581 1111 63 0 14970 0
vsize: 60132
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 787545 0 0 0 113931 2084 0 0 25 0 1 0 724406896 60977152 11970 4294967295 134512640 134714508 3221221776 3221217936 1075095344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14887 11970 1111 63 0 14824 0
vsize: 59548
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 806424 0 0 0 114881 2133 0 0 25 0 1 0 724406896 45932544 10550 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11214 10550 1111 63 0 11151 0
vsize: 44856
[startup+1175.97 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 7135
Raw data (stat): 7135 (bsolo_lpr_cuts) R 7134 7876 7672 0 -1 0 806424 0 0 0 114881 2133 0 0 25 0 1 0 724406896 45932544 10550 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11214 10550 1111 63 0 11151 0
vsize: 0

Child status: 10
Real time (s): 1175.97
CPU time (s): 1176.06
CPU user time (s): 1154.33
CPU system time (s): 21.7287
CPU usage (%): 100.007
Max. virtual memory (Kb): 62636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-20
#### END VERIFIER DATA ####