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-4.opb
MD5SUM	e3892e1941a878802a8ccbbd36201a02
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-27
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	27842
Number of constraints which are clauses	27842
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 24748

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 11:36:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2891 boxname=wulflinc31 idbench=322 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  e3892e1941a878802a8ccbbd36201a02  /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-4.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-4.opb
IDLAUNCH: 2891
/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:        889212 kB
Buffers:         33944 kB
Cached:          89920 kB
SwapCached:       1936 kB
Active:          87076 kB
Inactive:        39956 kB
HighTotal:      131008 kB
HighFree:        40180 kB
LowTotal:       903652 kB
LowFree:        849032 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12736 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 11:56:22 (client local time) WITH STATUS 10 IN 1175.82 SECONDS
stats: 2891 0 1175.82 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 595 variables and 27842 constraints.
c After prepocess the problem consists of 595 variables and 20839 constraints.
c preprocess terminated 169.878 s
c Initial Lower Bound: -64
c Lower Bound Elapsed time: 561.176
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -1 @ 731.433
c NEW SOLUTION FOUND: -2 @ 731.438
c NEW SOLUTION FOUND: -3 @ 731.459
c NEW SOLUTION FOUND: -4 @ 731.462
c NEW SOLUTION FOUND: -5 @ 731.474
c NEW SOLUTION FOUND: -6 @ 731.588
c NEW SOLUTION FOUND: -7 @ 731.7
c NEW SOLUTION FOUND: -8 @ 731.73
c NEW SOLUTION FOUND: -9 @ 731.823
c NEW SOLUTION FOUND: -10 @ 731.923
c NEW SOLUTION FOUND: -11 @ 732.407
c NEW SOLUTION FOUND: -12 @ 732.968
c NEW SOLUTION FOUND: -13 @ 733.427
c NEW SOLUTION FOUND: -14 @ 734.889
c NEW SOLUTION FOUND: -15 @ 736.483
c NEW SOLUTION FOUND: -16 @ 742.888
c NEW SOLUTION FOUND: -17 @ 745.465
c NEW SOLUTION FOUND: -18 @ 763.168
c NEW SOLUTION FOUND: -19 @ 809.057
c NEW SOLUTION FOUND: -20 @ 852.032
s SATISFIABLE
v -C595 -C594 -C593 C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 -C29 C28 -C27 -C26 -C25 -C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 -C10 -C9 -C8 C7 -C6 -C5 -C4 -C3 -C2 -C1 
c Exit Code: 10
c Total time: 1175.78 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.91 0.97 0.99 2/55 8862
Raw data (stat): 8862 (runsolver) R 8861 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 726217844 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.0006 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10106 0 0 0 968 27 0 0 25 0 1 0 726217844 43081728 9686 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9686 1111 63 0 10455 0
vsize: 42072
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10386 0 0 0 1967 28 0 0 25 0 1 0 726217844 44163072 9945 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10386 0 0 0 2967 29 0 0 25 0 1 0 726217844 44163072 9945 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+40.0029 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10386 0 0 0 3966 29 0 0 25 0 1 0 726217844 44163072 9945 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+50.0034 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10386 0 0 0 4966 29 0 0 25 0 1 0 726217844 44163072 9945 4294967295 134512640 134714508 3221221776 3221220140 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+60.0043 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10386 0 0 0 5966 30 0 0 25 0 1 0 726217844 44163072 9945 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+70.0059 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10386 0 0 0 6966 30 0 0 25 0 1 0 726217844 44163072 9945 4294967295 134512640 134714508 3221221776 3221220192 134543712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+80.0071 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10386 0 0 0 7966 31 0 0 25 0 1 0 726217844 44163072 9945 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+90.0071 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10386 0 0 0 8965 31 0 0 25 0 1 0 726217844 44163072 9945 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10386 0 0 0 9965 31 0 0 25 0 1 0 726217844 44163072 9945 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10386 0 0 0 10965 32 0 0 25 0 1 0 726217844 44163072 9945 4294967295 134512640 134714508 3221221776 3221220448 134627184 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10386 0 0 0 11964 33 0 0 25 0 1 0 726217844 44163072 9945 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10386 0 0 0 12964 33 0 0 25 0 1 0 726217844 44163072 9945 4294967295 134512640 134714508 3221221776 3221220432 134627198 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10386 0 0 0 13963 34 0 0 25 0 1 0 726217844 44163072 9945 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10386 0 0 0 14963 34 0 0 25 0 1 0 726217844 44163072 9945 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10386 0 0 0 15963 35 0 0 25 0 1 0 726217844 44163072 9945 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9945 1111 63 0 10719 0
vsize: 43128
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10409 0 0 0 16962 35 0 0 25 0 1 0 726217844 44163072 9968 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9968 1111 63 0 10719 0
vsize: 43128
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10703 0 0 0 17959 38 0 0 25 0 1 0 726217844 45408256 10250 4294967295 134512640 134714508 3221221776 3221220080 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11086 10250 1111 63 0 11023 0
vsize: 44344
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10741 0 0 0 18958 40 0 0 25 0 1 0 726217844 45547520 10288 4294967295 134512640 134714508 3221221776 3221220048 1074153806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11120 10288 1111 63 0 11057 0
vsize: 44480
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10808 0 0 0 19957 41 0 0 25 0 1 0 726217844 45801472 10355 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11182 10355 1111 63 0 11119 0
vsize: 44728
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10832 0 0 0 20956 42 0 0 25 0 1 0 726217844 45899776 10379 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11206 10379 1111 63 0 11143 0
vsize: 44824
[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10906 0 0 0 21955 43 0 0 25 0 1 0 726217844 46174208 10453 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11273 10453 1111 63 0 11210 0
vsize: 45092
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10929 0 0 0 22954 44 0 0 25 0 1 0 726217844 46268416 10476 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11296 10476 1111 63 0 11233 0
vsize: 45184
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10950 0 0 0 23952 46 0 0 25 0 1 0 726217844 46354432 10497 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11317 10497 1111 63 0 11254 0
vsize: 45268
[startup+250.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 10993 0 0 0 24951 47 0 0 25 0 1 0 726217844 46501888 10540 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11353 10540 1111 63 0 11290 0
vsize: 45412
[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 11016 0 0 0 25950 49 0 0 25 0 1 0 726217844 46596096 10563 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11376 10563 1111 63 0 11313 0
vsize: 45504
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 15401 0 0 0 26941 58 0 0 25 0 1 0 726217844 62316544 13627 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15214 13627 1111 63 0 15151 0
vsize: 60856
[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 15630 0 0 0 27940 59 0 0 25 0 1 0 726217844 60764160 13258 4294967295 134512640 134714508 3221221776 3221217968 1074961183 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14835 13258 1111 63 0 14772 0
vsize: 59340
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 15690 0 0 0 28939 60 0 0 25 0 1 0 726217844 61231104 13316 4294967295 134512640 134714508 3221221776 3221218768 1074867344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14949 13316 1111 63 0 14886 0
vsize: 59796
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 15754 0 0 0 29939 60 0 0 25 0 1 0 726217844 61390848 13376 4294967295 134512640 134714508 3221221776 3221217840 1074969440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14988 13376 1111 63 0 14925 0
vsize: 59952
[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 15802 0 0 0 30938 61 0 0 25 0 1 0 726217844 61390848 13420 4294967295 134512640 134714508 3221221776 3221217796 1075964282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14988 13420 1111 63 0 14925 0
vsize: 59952
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 15824 0 0 0 31938 61 0 0 25 0 1 0 726217844 61390848 13440 4294967295 134512640 134714508 3221221776 3221217968 1074961267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14988 13440 1111 63 0 14925 0
vsize: 59952
[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 15854 0 0 0 32938 62 0 0 25 0 1 0 726217844 61390848 13466 4294967295 134512640 134714508 3221221776 3221217968 1074961267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14988 13466 1111 63 0 14925 0
vsize: 59952
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 15902 0 0 0 33937 62 0 0 25 0 1 0 726217844 61734912 13512 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15072 13512 1111 63 0 15009 0
vsize: 60288
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 15923 0 0 0 34937 62 0 0 25 0 1 0 726217844 61734912 13529 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15072 13529 1111 63 0 15009 0
vsize: 60288
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 15944 0 0 0 35937 63 0 0 25 0 1 0 726217844 61734912 13546 4294967295 134512640 134714508 3221221776 3221218700 1074621045 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15072 13546 1111 63 0 15009 0
vsize: 60288
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16006 0 0 0 36937 63 0 0 25 0 1 0 726217844 62091264 13606 4294967295 134512640 134714508 3221221776 3221217968 1074961132 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15159 13606 1111 63 0 15096 0
vsize: 60636
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16022 0 0 0 37936 64 0 0 25 0 1 0 726217844 62091264 13618 4294967295 134512640 134714508 3221221776 3221217856 1075094841 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15159 13618 1111 63 0 15096 0
vsize: 60636
[startup+390.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16026 0 0 0 38936 64 0 0 25 0 1 0 726217844 62091264 13618 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15159 13618 1111 63 0 15096 0
vsize: 60636
[startup+400.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16095 0 0 0 39936 64 0 0 25 0 1 0 726217844 62468096 13683 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15251 13683 1111 63 0 15188 0
vsize: 61004
[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16184 0 0 0 40935 65 0 0 25 0 1 0 726217844 62865408 13768 4294967295 134512640 134714508 3221221776 3221217840 1074969471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15348 13768 1111 63 0 15285 0
vsize: 61392
[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16197 0 0 0 41935 66 0 0 25 0 1 0 726217844 62865408 13777 4294967295 134512640 134714508 3221221776 3221217920 1075895656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15348 13777 1111 63 0 15285 0
vsize: 61392
[startup+430.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16205 0 0 0 42935 66 0 0 25 0 1 0 726217844 63033344 13781 4294967295 134512640 134714508 3221221776 3221218736 1075971389 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15389 13781 1111 63 0 15326 0
vsize: 61556
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16209 0 0 0 43935 66 0 0 25 0 1 0 726217844 63033344 13781 4294967295 134512640 134714508 3221221776 3221218352 1075967938 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15389 13781 1111 63 0 15326 0
vsize: 61556
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16211 0 0 0 44934 67 0 0 25 0 1 0 726217844 62865408 13779 4294967295 134512640 134714508 3221221776 3221217692 1074788069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15348 13779 1111 63 0 15285 0
vsize: 61392
[startup+460.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16217 0 0 0 45934 67 0 0 25 0 1 0 726217844 62865408 13779 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15348 13779 1111 63 0 15285 0
vsize: 61392
[startup+470.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16221 0 0 0 46934 67 0 0 25 0 1 0 726217844 63033344 13781 4294967295 134512640 134714508 3221221776 3221218352 1075968371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15389 13781 1111 63 0 15326 0
vsize: 61556
[startup+480.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16226 0 0 0 47934 68 0 0 25 0 1 0 726217844 62865408 13780 4294967295 134512640 134714508 3221221776 3221217876 1075964241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15348 13780 1111 63 0 15285 0
vsize: 61392
[startup+490.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16355 0 0 0 48933 68 0 0 25 0 1 0 726217844 63717376 13905 4294967295 134512640 134714508 3221221776 3221217968 1074960771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15556 13905 1111 63 0 15493 0
vsize: 62224
[startup+500.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16462 0 0 0 49933 69 0 0 25 0 1 0 726217844 64172032 14008 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15667 14008 1111 63 0 15604 0
vsize: 62668
[startup+510.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16488 0 0 0 50932 70 0 0 25 0 1 0 726217844 64172032 14030 4294967295 134512640 134714508 3221221776 3221218224 1075397211 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15667 14030 1111 63 0 15604 0
vsize: 62668
[startup+520.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16508 0 0 0 51932 70 0 0 25 0 1 0 726217844 64172032 14046 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15667 14046 1111 63 0 15604 0
vsize: 62668
[startup+530.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16606 0 0 0 52932 70 0 0 25 0 1 0 726217844 64819200 14142 4294967295 134512640 134714508 3221221776 3221218768 1074867308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15825 14142 1111 63 0 15762 0
vsize: 63300
[startup+540.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16617 0 0 0 53932 71 0 0 25 0 1 0 726217844 64651264 14149 4294967295 134512640 134714508 3221221776 3221217664 1075965307 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15784 14149 1111 63 0 15721 0
vsize: 63136
[startup+550.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16627 0 0 0 54932 71 0 0 25 0 1 0 726217844 64651264 14155 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15784 14155 1111 63 0 15721 0
vsize: 63136
[startup+560.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16631 0 0 0 55932 71 0 0 25 0 1 0 726217844 64651264 14155 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15784 14155 1111 63 0 15721 0
vsize: 63136
[startup+570.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16640 0 0 0 56932 71 0 0 25 0 1 0 726217844 64651264 14160 4294967295 134512640 134714508 3221221776 3221217632 1075965246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15784 14160 1111 63 0 15721 0
vsize: 63136
[startup+580.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16648 0 0 0 57931 72 0 0 25 0 1 0 726217844 64651264 14166 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15784 14166 1111 63 0 15721 0
vsize: 63136
[startup+590.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16656 0 0 0 58931 72 0 0 25 0 1 0 726217844 64651264 14170 4294967295 134512640 134714508 3221221776 3221217924 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15784 14170 1111 63 0 15721 0
vsize: 63136
[startup+600.038 s]
Raw data (loadavg): 1.15 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16668 0 0 0 59931 73 0 0 25 0 1 0 726217844 64651264 14178 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15784 14178 1111 63 0 15721 0
vsize: 63136
[startup+610.039 s]
Raw data (loadavg): 1.13 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16686 0 0 0 60931 73 0 0 25 0 1 0 726217844 64651264 14192 4294967295 134512640 134714508 3221221776 3221217924 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15784 14192 1111 63 0 15721 0
vsize: 63136
[startup+620.039 s]
Raw data (loadavg): 1.11 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16688 0 0 0 61931 73 0 0 25 0 1 0 726217844 64651264 14192 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15784 14192 1111 63 0 15721 0
vsize: 63136
[startup+630.04 s]
Raw data (loadavg): 1.09 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16694 0 0 0 62931 73 0 0 25 0 1 0 726217844 64651264 14194 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15784 14194 1111 63 0 15721 0
vsize: 63136
[startup+640.04 s]
Raw data (loadavg): 1.08 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16698 0 0 0 63931 73 0 0 25 0 1 0 726217844 64651264 14194 4294967295 134512640 134714508 3221221776 3221217856 1075094841 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15784 14194 1111 63 0 15721 0
vsize: 63136
[startup+650.04 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16702 0 0 0 64930 73 0 0 25 0 1 0 726217844 64819200 14196 4294967295 134512640 134714508 3221221776 3221218768 1074867320 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15825 14196 1111 63 0 15762 0
vsize: 63300
[startup+660.041 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16705 0 0 0 65930 73 0 0 25 0 1 0 726217844 64651264 14195 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15784 14195 1111 63 0 15721 0
vsize: 63136
[startup+670.042 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16711 0 0 0 66930 73 0 0 25 0 1 0 726217844 64651264 14197 4294967295 134512640 134714508 3221221776 3221217856 1074794536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15784 14197 1111 63 0 15721 0
vsize: 63136
[startup+680.042 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16720 0 0 0 67930 73 0 0 25 0 1 0 726217844 64651264 14202 4294967295 134512640 134714508 3221221776 3221218224 1075397199 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15784 14202 1111 63 0 15721 0
vsize: 63136
[startup+690.043 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16724 0 0 0 68930 73 0 0 25 0 1 0 726217844 64651264 14204 4294967295 134512640 134714508 3221221776 3221217924 1075115060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15784 14204 1111 63 0 15721 0
vsize: 63136
[startup+700.043 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 16729 0 0 0 69930 74 0 0 25 0 1 0 726217844 64651264 14205 4294967295 134512640 134714508 3221221776 3221217924 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15784 14205 1111 63 0 15721 0
vsize: 63136
[startup+710.043 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 23039 0 0 0 70915 88 0 0 25 0 1 0 726217844 51896320 11809 4294967295 134512640 134714508 3221221776 3221219800 1075964733 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12670 11809 1111 63 0 12607 0
vsize: 50680
[startup+720.043 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 24384 0 0 0 71908 95 0 0 25 0 1 0 726217844 51351552 11804 4294967295 134512640 134714508 3221221776 3221219848 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12537 11804 1111 63 0 12474 0
vsize: 50148
[startup+730.044 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 25754 0 0 0 72903 100 0 0 25 0 1 0 726217844 51896320 11809 4294967295 134512640 134714508 3221221776 3221219800 1075964771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12537 11804 1111 63 0 12474 0
vsize: 50680
[startup+740.044 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 39969 0 0 0 73864 139 0 0 25 0 1 0 726217844 45961216 10543 4294967295 134512640 134714508 3221221776 3221220176 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11221 10543 1111 63 0 11158 0
vsize: 44884
[startup+750.045 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 50816 0 0 0 74835 167 0 0 25 0 1 0 726217844 45985792 10551 4294967295 134512640 134714508 3221221776 3221219960 1077377698 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11227 10551 1111 63 0 11164 0
vsize: 44908
[startup+760.045 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 67040 0 0 0 75792 210 0 0 25 0 1 0 726217844 61136896 10609 4294967295 134512640 134714508 3221221776 3221218896 1074834428 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14926 10609 1111 63 0 14863 0
vsize: 59704
[startup+770.045 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 77210 0 0 0 76765 237 0 0 25 0 1 0 726217844 46010368 10557 4294967295 134512640 134714508 3221221776 3221220336 1073989437 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11233 10557 1111 63 0 11170 0
vsize: 44932
[startup+780.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 95010 0 0 0 77719 283 0 0 25 0 1 0 726217844 45961216 10545 4294967295 134512640 134714508 3221221776 3221220424 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11221 10545 1111 63 0 11158 0
vsize: 44884
[startup+790.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 118084 0 0 0 78661 342 0 0 25 0 1 0 726217844 45985792 10554 4294967295 134512640 134714508 3221221776 3221220176 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11227 10554 1111 63 0 11164 0
vsize: 44908
[startup+800.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 141590 0 0 0 79602 400 0 0 25 0 1 0 726217844 46010368 10560 4294967295 134512640 134714508 3221221776 3221219776 1074918811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11233 10560 1111 63 0 11170 0
vsize: 44932
[startup+810.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 161313 0 0 0 80552 450 0 0 25 0 1 0 726217844 45998080 10557 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11230 10557 1111 63 0 11167 0
vsize: 44920
[startup+820.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 181385 0 0 0 81502 500 0 0 25 0 1 0 726217844 61472768 11326 4294967295 134512640 134714508 3221221776 3221217936 1075095344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15008 11334 1111 63 0 14945 0
vsize: 60032
[startup+830.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 209378 0 0 0 82429 572 0 0 25 0 1 0 726217844 61124608 10583 4294967295 134512640 134714508 3221221776 3221218284 1076046662 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14923 10583 1111 63 0 14860 0
vsize: 59692
[startup+840.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 230798 0 0 0 83374 627 0 0 25 0 1 0 726217844 61149184 10625 4294967295 134512640 134714508 3221221776 3221218816 1075860056 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14929 10625 1111 63 0 14866 0
vsize: 59716
[startup+850.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 243233 0 0 0 84340 661 0 0 25 0 1 0 726217844 61124608 10563 4294967295 134512640 134714508 3221221776 3221218928 1075969885 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14923 10568 1111 63 0 14860 0
vsize: 59692
[startup+860.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 257634 0 0 0 85302 699 0 0 25 0 1 0 726217844 46022656 10563 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11236 10563 1111 63 0 11173 0
vsize: 44944
[startup+870.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 275513 0 0 0 86257 744 0 0 25 0 1 0 726217844 61800448 10768 4294967295 134512640 134714508 3221221776 3221217920 1074970417 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15088 10768 1111 63 0 15025 0
vsize: 60352
[startup+880.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 295166 0 0 0 87208 793 0 0 25 0 1 0 726217844 46010368 10560 4294967295 134512640 134714508 3221221776 3221220160 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11233 10560 1111 63 0 11170 0
vsize: 44932
[startup+890.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 314881 0 0 0 88157 844 0 0 25 0 1 0 726217844 46010368 10560 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11233 10560 1111 63 0 11170 0
vsize: 44932
[startup+900.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 341638 0 0 0 89090 911 0 0 25 0 1 0 726217844 45973504 10551 4294967295 134512640 134714508 3221221776 3221219744 1074051522 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11224 10551 1111 63 0 11161 0
vsize: 44896
[startup+910.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 366573 0 0 0 90026 975 0 0 25 0 1 0 726217844 45961216 10548 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11221 10548 1111 63 0 11158 0
vsize: 44884
[startup+920.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 384314 0 0 0 90980 1020 0 0 25 0 1 0 726217844 46022656 10563 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11236 10563 1111 63 0 11173 0
vsize: 44944
[startup+930.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 405898 0 0 0 91924 1077 0 0 25 0 1 0 726217844 46047232 10569 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11242 10569 1111 63 0 11179 0
vsize: 44968
[startup+940.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 430933 0 0 0 92860 1141 0 0 25 0 1 0 726217844 61288448 12396 4294967295 134512640 134714508 3221221776 3221217936 1075095344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14963 12405 1111 63 0 14900 0
vsize: 59852
[startup+950.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 457747 0 0 0 93791 1210 0 0 25 0 1 0 726217844 45973504 10551 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11224 10551 1111 63 0 11161 0
vsize: 44896
[startup+960.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 484457 0 0 0 94722 1279 0 0 25 0 1 0 726217844 45973504 10551 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11224 10551 1111 63 0 11161 0
vsize: 44896
[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 514812 0 0 0 95645 1355 0 0 25 0 1 0 726217844 45973504 10551 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11224 10551 1111 63 0 11161 0
vsize: 44896
[startup+980.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 534422 0 0 0 96595 1406 0 0 25 0 1 0 726217844 61624320 12529 4294967295 134512640 134714508 3221221776 3221218320 1075088563 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15045 12529 1111 63 0 14982 0
vsize: 60180
[startup+990.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 553932 0 0 0 97544 1457 0 0 25 0 1 0 726217844 45985792 10554 4294967295 134512640 134714508 3221221776 3221220176 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11227 10554 1111 63 0 11164 0
vsize: 44908
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 573317 0 0 0 98495 1506 0 0 25 0 1 0 726217844 46194688 10571 4294967295 134512640 134714508 3221221776 3221219888 1074867308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11278 10571 1111 63 0 11215 0
vsize: 45112
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 596617 0 0 0 99434 1567 0 0 25 0 1 0 726217844 46022656 10563 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11236 10563 1111 63 0 11173 0
vsize: 44944
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 616436 0 0 0 100384 1618 0 0 25 0 1 0 726217844 46010368 10560 4294967295 134512640 134714508 3221221776 3221220176 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11233 10560 1111 63 0 11170 0
vsize: 44932
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 639620 0 0 0 101326 1676 0 0 25 0 1 0 726217844 45998080 10557 4294967295 134512640 134714508 3221221776 3221219776 1074916137 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11230 10557 1111 63 0 11167 0
vsize: 44920
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 656782 0 0 0 102281 1721 0 0 25 0 1 0 726217844 61472768 11848 4294967295 134512640 134714508 3221221776 3221217936 1075095344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15008 11857 1111 63 0 14945 0
vsize: 60032
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 677140 0 0 0 103229 1774 0 0 25 0 1 0 726217844 45973504 10551 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11224 10551 1111 63 0 11161 0
vsize: 44896
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 694841 0 0 0 104182 1820 0 0 25 0 1 0 726217844 56090624 11210 4294967295 134512640 134714508 3221221776 3221219008 1075552823 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11846 10568 1111 63 0 11783 0
vsize: 54776
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 718062 0 0 0 105123 1880 0 0 25 0 1 0 726217844 45961216 10548 4294967295 134512640 134714508 3221221776 3221219956 1077378716 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11222 10549 1111 63 0 11159 0
vsize: 44884
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 736134 0 0 0 106076 1927 0 0 25 0 1 0 726217844 45985792 10554 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11227 10554 1111 63 0 11164 0
vsize: 44908
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 757897 0 0 0 107019 1984 0 0 25 0 1 0 726217844 45998080 10557 4294967295 134512640 134714508 3221221776 3221220176 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11230 10557 1111 63 0 11167 0
vsize: 44920
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 786086 0 0 0 107948 2055 0 0 25 0 1 0 726217844 61452288 12513 4294967295 134512640 134714508 3221221776 3221217740 1074788162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15003 12513 1111 63 0 14940 0
vsize: 60012
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 802363 0 0 0 108904 2099 0 0 25 0 1 0 726217844 45961216 10548 4294967295 134512640 134714508 3221221776 3221220080 1074206911 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11221 10548 1111 63 0 11158 0
vsize: 44884
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 818304 0 0 0 109864 2139 0 0 25 0 1 0 726217844 46047232 10569 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11242 10569 1111 63 0 11179 0
vsize: 44968
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 838255 0 0 0 110814 2189 0 0 25 0 1 0 726217844 61935616 10898 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15121 10909 1111 63 0 15058 0
vsize: 60484
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 859975 0 0 0 111759 2244 0 0 25 0 1 0 726217844 46010368 10560 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11233 10560 1111 63 0 11170 0
vsize: 44932
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 884628 0 0 0 112696 2308 0 0 25 0 1 0 726217844 45973504 10551 4294967295 134512640 134714508 3221221776 3221220176 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11224 10551 1111 63 0 11161 0
vsize: 44896
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 909704 0 0 0 113631 2373 0 0 25 0 1 0 726217844 45998080 10557 4294967295 134512640 134714508 3221221776 3221220176 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11230 10557 1111 63 0 11167 0
vsize: 44920
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 932932 0 0 0 114572 2431 0 0 25 0 1 0 726217844 45973504 10551 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11224 10551 1111 63 0 11161 0
vsize: 44896
[startup+1175.83 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 8862
Raw data (stat): 8862 (bsolo_lpr_cuts) R 8861 7876 7672 0 -1 0 932932 0 0 0 114572 2431 0 0 25 0 1 0 726217844 45973504 10551 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11224 10551 1111 63 0 11161 0
vsize: 0

Child status: 10
Real time (s): 1175.83
CPU time (s): 1175.82
CPU user time (s): 1151.19
CPU system time (s): 24.6293
CPU usage (%): 99.9994
Max. virtual memory (Kb): 63300
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-20
#### END VERIFIER DATA ####