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-3.opb
MD5SUM	25457db86ce3cc3b7604dfa37c8096b4
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	27931
Number of constraints which are clauses	27931
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 24743

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 09:55:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2882 boxname=wulflinc31 idbench=321 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  25457db86ce3cc3b7604dfa37c8096b4  /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-3.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb35-17-3.opb
IDLAUNCH: 2882
/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:        891180 kB
Buffers:         32716 kB
Cached:          89244 kB
SwapCached:       1936 kB
Active:          84296 kB
Inactive:        40844 kB
HighTotal:      131008 kB
HighFree:        40908 kB
LowTotal:       903652 kB
LowFree:        850272 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12596 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 10:14:55 (client local time) WITH STATUS 10 IN 1175.07 SECONDS
stats: 2882 0 1175.07 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 595 variables and 27931 constraints.
c After prepocess the problem consists of 595 variables and 20291 constraints.
c preprocess terminated 169.305 s
c Initial Lower Bound: -65
c Lower Bound Elapsed time: 555.296
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -2 @ 724.978
c NEW SOLUTION FOUND: -3 @ 724.987
c NEW SOLUTION FOUND: -4 @ 725.026
c NEW SOLUTION FOUND: -5 @ 725.051
c NEW SOLUTION FOUND: -6 @ 725.076
c NEW SOLUTION FOUND: -7 @ 725.127
c NEW SOLUTION FOUND: -8 @ 725.165
c NEW SOLUTION FOUND: -9 @ 725.399
c NEW SOLUTION FOUND: -10 @ 725.675
c NEW SOLUTION FOUND: -11 @ 725.881
c NEW SOLUTION FOUND: -12 @ 726.665
c NEW SOLUTION FOUND: -13 @ 727.838
c NEW SOLUTION FOUND: -14 @ 728.062
c NEW SOLUTION FOUND: -15 @ 729.237
c NEW SOLUTION FOUND: -16 @ 731.872
c NEW SOLUTION FOUND: -17 @ 745.882
c NEW SOLUTION FOUND: -18 @ 749.621
c NEW SOLUTION FOUND: -19 @ 783.967
c NEW SOLUTION FOUND: -20 @ 807.169
c NEW SOLUTION FOUND: -21 @ 1024.09
c NEW SOLUTION FOUND: -22 @ 1067.32
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.02 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 8268
Raw data (stat): 8268 (runsolver) R 8267 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 725609210 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.0008 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 9953 0 0 0 965 30 0 0 25 0 1 0 725609210 40136704 8968 4294967295 134512640 134714508 3221221776 3221220412 134554910 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9799 8968 1111 63 0 9736 0
vsize: 39196
[startup+20.0013 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 9953 0 0 0 1965 31 0 0 25 0 1 0 725609210 40136704 8968 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9799 8968 1111 63 0 9736 0
vsize: 39196
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 10218 0 0 0 2964 32 0 0 25 0 1 0 725609210 40808448 9132 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+40.0035 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 10218 0 0 0 3964 32 0 0 25 0 1 0 725609210 40808448 9132 4294967295 134512640 134714508 3221221776 3221220392 134543834 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+50.0041 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 10218 0 0 0 4964 32 0 0 25 0 1 0 725609210 40808448 9132 4294967295 134512640 134714508 3221221776 3221220304 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+60.0054 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 10218 0 0 0 5964 32 0 0 25 0 1 0 725609210 40808448 9132 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+70.0063 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 10218 0 0 0 6964 32 0 0 25 0 1 0 725609210 40808448 9132 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+80.0068 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 10218 0 0 0 7964 33 0 0 25 0 1 0 725609210 40808448 9132 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+90.0068 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 10218 0 0 0 8963 33 0 0 25 0 1 0 725609210 40808448 9132 4294967295 134512640 134714508 3221221776 3221220184 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 10218 0 0 0 9963 34 0 0 25 0 1 0 725609210 40808448 9132 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+110.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 10218 0 0 0 10963 34 0 0 25 0 1 0 725609210 40808448 9132 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 10218 0 0 0 11962 35 0 0 25 0 1 0 725609210 40808448 9132 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+130.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 10218 0 0 0 12962 35 0 0 25 0 1 0 725609210 40808448 9132 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+140.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 10218 0 0 0 13962 35 0 0 25 0 1 0 725609210 40808448 9132 4294967295 134512640 134714508 3221221776 3221220428 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 10218 0 0 0 14962 35 0 0 25 0 1 0 725609210 40808448 9132 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9963 9132 1111 63 0 9900 0
vsize: 39852
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 10278 0 0 0 15962 36 0 0 25 0 1 0 725609210 41078784 9192 4294967295 134512640 134714508 3221221776 3221220416 134629624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10029 9192 1111 63 0 9966 0
vsize: 40116
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 10807 0 0 0 16961 37 0 0 25 0 1 0 725609210 43491328 9721 4294967295 134512640 134714508 3221221776 3221219992 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10618 9721 1111 63 0 10555 0
vsize: 42472
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 11021 0 0 0 17958 40 0 0 25 0 1 0 725609210 44220416 9935 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10796 9935 1111 63 0 10733 0
vsize: 43184
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 11108 0 0 0 18956 42 0 0 25 0 1 0 725609210 44593152 10022 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10887 10022 1111 63 0 10824 0
vsize: 43548
[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 11142 0 0 0 19956 43 0 0 25 0 1 0 725609210 44703744 10056 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10914 10056 1111 63 0 10851 0
vsize: 43656
[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 11166 0 0 0 20955 43 0 0 25 0 1 0 725609210 44793856 10080 4294967295 134512640 134714508 3221221776 3221220032 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10936 10080 1111 63 0 10873 0
vsize: 43744
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 11307 0 0 0 21954 45 0 0 25 0 1 0 725609210 45277184 10199 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11054 10199 1111 63 0 10991 0
vsize: 44216
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 11327 0 0 0 22954 45 0 0 25 0 1 0 725609210 45355008 10219 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11073 10219 1111 63 0 11010 0
vsize: 44292
[startup+240.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 11348 0 0 0 23959 46 0 0 25 0 1 0 725609210 45436928 10240 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11093 10240 1111 63 0 11030 0
vsize: 44372
[startup+250.116 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 11391 0 0 0 24963 47 0 0 25 0 1 0 725609210 45608960 10283 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11135 10283 1111 63 0 11072 0
vsize: 44540
[startup+260.186 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 11410 0 0 0 25969 48 0 0 25 0 1 0 725609210 45682688 10302 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11153 10302 1111 63 0 11090 0
vsize: 44612
[startup+270.186 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 15686 0 0 0 26960 57 0 0 25 0 1 0 725609210 60936192 13286 4294967295 134512640 134714508 3221221776 3221217796 1075964234 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14877 13286 1111 63 0 14814 0
vsize: 59508
[startup+280.188 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8268
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 15888 0 0 0 27959 58 0 0 25 0 1 0 725609210 59416576 12903 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14506 12903 1111 63 0 14443 0
vsize: 58024
[startup+290.189 s]
Raw data (loadavg): 0.99 0.98 0.99 2/58 8271
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 15969 0 0 0 28959 58 0 0 25 0 1 0 725609210 59715584 12982 4294967295 134512640 134714508 3221221776 3221217708 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14579 12982 1111 63 0 14516 0
vsize: 58316
[startup+300.201 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8321
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16036 0 0 0 29958 60 0 0 25 0 1 0 725609210 60039168 13045 4294967295 134512640 134714508 3221221776 3221217968 1074961138 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14658 13045 1111 63 0 14595 0
vsize: 58632
[startup+310.202 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8321
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16111 0 0 0 30958 61 0 0 25 0 1 0 725609210 60366848 13116 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14738 13116 1111 63 0 14675 0
vsize: 58952
[startup+320.204 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8321
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16143 0 0 0 31957 61 0 0 25 0 1 0 725609210 60366848 13146 4294967295 134512640 134714508 3221221776 3221217904 1074815312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14738 13146 1111 63 0 14675 0
vsize: 58952
[startup+330.204 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8321
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16223 0 0 0 32957 62 0 0 25 0 1 0 725609210 60715008 13222 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14823 13222 1111 63 0 14760 0
vsize: 59292
[startup+340.204 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8321
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16299 0 0 0 33957 62 0 0 25 0 1 0 725609210 61087744 13294 4294967295 134512640 134714508 3221221776 3221217924 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14914 13294 1111 63 0 14851 0
vsize: 59656
[startup+350.204 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8321
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16315 0 0 0 34956 63 0 0 25 0 1 0 725609210 61087744 13306 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14914 13306 1111 63 0 14851 0
vsize: 59656
[startup+360.213 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8321
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16324 0 0 0 35956 64 0 0 25 0 1 0 725609210 61087744 13311 4294967295 134512640 134714508 3221221776 3221217924 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14914 13311 1111 63 0 14851 0
vsize: 59656
[startup+370.213 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16332 0 0 0 36956 64 0 0 25 0 1 0 725609210 61087744 13315 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14914 13315 1111 63 0 14851 0
vsize: 59656
[startup+380.214 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16341 0 0 0 37956 65 0 0 25 0 1 0 725609210 61087744 13320 4294967295 134512640 134714508 3221221776 3221217580 1074788944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14914 13320 1111 63 0 14851 0
vsize: 59656
[startup+390.215 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16347 0 0 0 38955 65 0 0 25 0 1 0 725609210 61087744 13322 4294967295 134512640 134714508 3221221776 3221218960 1075894372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14914 13322 1111 63 0 14851 0
vsize: 59656
[startup+400.215 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16353 0 0 0 39955 66 0 0 25 0 1 0 725609210 61087744 13324 4294967295 134512640 134714508 3221221776 3221217796 1075964290 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14914 13324 1111 63 0 14851 0
vsize: 59656
[startup+410.216 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16357 0 0 0 40955 66 0 0 25 0 1 0 725609210 61087744 13324 4294967295 134512640 134714508 3221221776 3221217924 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14914 13324 1111 63 0 14851 0
vsize: 59656
[startup+420.216 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16363 0 0 0 41955 66 0 0 25 0 1 0 725609210 61087744 13326 4294967295 134512640 134714508 3221221776 3221217936 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14914 13326 1111 63 0 14851 0
vsize: 59656
[startup+430.286 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16367 0 0 0 42962 67 0 0 25 0 1 0 725609210 61087744 13326 4294967295 134512640 134714508 3221221776 3221217924 1075115057 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14914 13326 1111 63 0 14851 0
vsize: 59656
[startup+440.312 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16371 0 0 0 43964 67 0 0 25 0 1 0 725609210 61087744 13326 4294967295 134512640 134714508 3221221776 3221217920 1075895652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14914 13326 1111 63 0 14851 0
vsize: 59656
[startup+450.312 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16424 0 0 0 44964 67 0 0 25 0 1 0 725609210 61468672 13373 4294967295 134512640 134714508 3221221776 3221217656 1075964740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15007 13373 1111 63 0 14944 0
vsize: 60028
[startup+460.323 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16447 0 0 0 45965 68 0 0 25 0 1 0 725609210 61468672 13394 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15007 13394 1111 63 0 14944 0
vsize: 60028
[startup+470.36 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16501 0 0 0 46968 69 0 0 25 0 1 0 725609210 61874176 13444 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15106 13444 1111 63 0 15043 0
vsize: 60424
[startup+480.442 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16593 0 0 0 47976 69 0 0 25 0 1 0 725609210 62300160 13532 4294967295 134512640 134714508 3221221776 3221218028 1076111476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15210 13532 1111 63 0 15147 0
vsize: 60840
[startup+490.442 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16601 0 0 0 48975 70 0 0 25 0 1 0 725609210 62300160 13536 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15210 13536 1111 63 0 15147 0
vsize: 60840
[startup+500.443 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16709 0 0 0 49975 71 0 0 25 0 1 0 725609210 62746624 13640 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15319 13640 1111 63 0 15256 0
vsize: 61276
[startup+510.444 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16738 0 0 0 50975 71 0 0 25 0 1 0 725609210 63381504 13667 4294967295 134512640 134714508 3221221776 3221218768 1074867344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15474 13667 1111 63 0 15411 0
vsize: 61896
[startup+520.444 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16820 0 0 0 51975 71 0 0 25 0 1 0 725609210 63217664 13745 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15434 13745 1111 63 0 15371 0
vsize: 61736
[startup+530.445 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16834 0 0 0 52975 71 0 0 25 0 1 0 725609210 63217664 13755 4294967295 134512640 134714508 3221221776 3221217968 1074960771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15434 13755 1111 63 0 15371 0
vsize: 61736
[startup+540.445 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16848 0 0 0 53975 71 0 0 25 0 1 0 725609210 63217664 13765 4294967295 134512640 134714508 3221221776 3221218224 1075397211 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15434 13765 1111 63 0 15371 0
vsize: 61736
[startup+550.445 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16858 0 0 0 54975 71 0 0 25 0 1 0 725609210 63217664 13771 4294967295 134512640 134714508 3221221776 3221217856 1075093371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15434 13771 1111 63 0 15371 0
vsize: 61736
[startup+560.446 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16876 0 0 0 55975 71 0 0 25 0 1 0 725609210 63217664 13785 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15434 13785 1111 63 0 15371 0
vsize: 61736
[startup+570.447 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16886 0 0 0 56976 71 0 0 25 0 1 0 725609210 63217664 13793 4294967295 134512640 134714508 3221221776 3221217856 1075095115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15434 13793 1111 63 0 15371 0
vsize: 61736
[startup+580.447 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16893 0 0 0 57976 71 0 0 25 0 1 0 725609210 63217664 13796 4294967295 134512640 134714508 3221221776 3221217856 1075094860 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15434 13796 1111 63 0 15371 0
vsize: 61736
[startup+590.447 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16901 0 0 0 58976 71 0 0 25 0 1 0 725609210 63217664 13800 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15434 13800 1111 63 0 15371 0
vsize: 61736
[startup+600.448 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16905 0 0 0 59976 71 0 0 25 0 1 0 725609210 63217664 13800 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15434 13800 1111 63 0 15371 0
vsize: 61736
[startup+610.448 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16911 0 0 0 60976 71 0 0 25 0 1 0 725609210 63217664 13802 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15434 13802 1111 63 0 15371 0
vsize: 61736
[startup+620.448 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16915 0 0 0 61976 71 0 0 25 0 1 0 725609210 63217664 13804 4294967295 134512640 134714508 3221221776 3221217924 1075115062 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15434 13804 1111 63 0 15371 0
vsize: 61736
[startup+630.449 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16920 0 0 0 62977 71 0 0 25 0 1 0 725609210 63217664 13805 4294967295 134512640 134714508 3221221776 3221218064 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15434 13805 1111 63 0 15371 0
vsize: 61736
[startup+640.45 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8323
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16926 0 0 0 63977 71 0 0 25 0 1 0 725609210 63217664 13807 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15434 13807 1111 63 0 15371 0
vsize: 61736
[startup+650.45 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16932 0 0 0 64977 71 0 0 25 0 1 0 725609210 63217664 13809 4294967295 134512640 134714508 3221221776 3221217924 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15434 13809 1111 63 0 15371 0
vsize: 61736
[startup+660.451 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16934 0 0 0 65977 71 0 0 25 0 1 0 725609210 63217664 13809 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15434 13809 1111 63 0 15371 0
vsize: 61736
[startup+670.452 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16943 0 0 0 66977 71 0 0 25 0 1 0 725609210 63217664 13814 4294967295 134512640 134714508 3221221776 3221217936 1075115726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15434 13814 1111 63 0 15371 0
vsize: 61736
[startup+680.453 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16949 0 0 0 67977 71 0 0 25 0 1 0 725609210 63217664 13816 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15434 13816 1111 63 0 15371 0
vsize: 61736
[startup+690.453 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16953 0 0 0 68977 72 0 0 25 0 1 0 725609210 63217664 13816 4294967295 134512640 134714508 3221221776 3221217968 1074960912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15434 13816 1111 63 0 15371 0
vsize: 61736
[startup+700.453 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 16955 0 0 0 69978 72 0 0 25 0 1 0 725609210 63217664 13816 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15434 13816 1111 63 0 15371 0
vsize: 61736
[startup+710.454 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 24293 0 0 0 70957 92 0 0 25 0 1 0 725609210 50855936 11491 4294967295 134512640 134714508 3221221776 3221219692 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12416 11491 1111 63 0 12353 0
vsize: 49664
[startup+720.454 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 25907 0 0 0 71949 100 0 0 25 0 1 0 725609210 50311168 11485 4294967295 134512640 134714508 3221221776 3221219948 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12283 11485 1111 63 0 12220 0
vsize: 49132
[startup+730.454 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 46311 0 0 0 72891 158 0 0 25 0 1 0 725609210 44810240 10221 4294967295 134512640 134714508 3221221776 3221220160 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10940 10221 1111 63 0 10877 0
vsize: 43760
[startup+740.455 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 50646 0 0 0 73880 170 0 0 25 0 1 0 725609210 44843008 10229 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10948 10229 1111 63 0 10885 0
vsize: 43792
[startup+750.456 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 54898 0 0 0 74867 183 0 0 25 0 1 0 725609210 59949056 10324 4294967295 134512640 134714508 3221221776 3221218432 1075967340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14636 10324 1111 63 0 14573 0
vsize: 58544
[startup+760.456 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 69542 0 0 0 75827 222 0 0 25 0 1 0 725609210 60174336 10399 4294967295 134512640 134714508 3221221776 3221218048 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14691 10399 1111 63 0 14628 0
vsize: 58764
[startup+770.456 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 84504 0 0 0 76789 261 0 0 25 0 1 0 725609210 44908544 10245 4294967295 134512640 134714508 3221221776 3221218896 1074864897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10964 10245 1111 63 0 10901 0
vsize: 43856
[startup+780.457 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 99017 0 0 0 77752 298 0 0 25 0 1 0 725609210 44908544 10248 4294967295 134512640 134714508 3221221776 3221220088 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10964 10248 1111 63 0 10901 0
vsize: 43856
[startup+790.458 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 113863 0 0 0 78714 336 0 0 25 0 1 0 725609210 45293568 10265 4294967295 134512640 134714508 3221221776 3221219064 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11058 10268 1111 63 0 10995 0
vsize: 44232
[startup+800.458 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 128916 0 0 0 79675 375 0 0 25 0 1 0 725609210 44843008 10232 4294967295 134512640 134714508 3221221776 3221219944 1077377513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10948 10232 1111 63 0 10885 0
vsize: 43792
[startup+810.459 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 138176 0 0 0 80652 398 0 0 25 0 1 0 725609210 44974080 10264 4294967295 134512640 134714508 3221221776 3221220160 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10980 10264 1111 63 0 10917 0
vsize: 43920
[startup+820.459 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 154673 0 0 0 81611 439 0 0 25 0 1 0 725609210 60805120 10565 4294967295 134512640 134714508 3221221776 3221217920 1074969499 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14845 10565 1111 63 0 14782 0
vsize: 59380
[startup+830.46 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 167918 0 0 0 82578 472 0 0 25 0 1 0 725609210 44875776 10240 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10956 10240 1111 63 0 10893 0
vsize: 43824
[startup+840.46 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 184223 0 0 0 83539 512 0 0 25 0 1 0 725609210 60727296 12303 4294967295 134512640 134714508 3221221776 3221218048 1074960795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14826 12303 1111 63 0 14763 0
vsize: 59304
[startup+850.461 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 200871 0 0 0 84497 555 0 0 25 0 1 0 725609210 44892160 10244 4294967295 134512640 134714508 3221221776 3221220072 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10960 10244 1111 63 0 10897 0
vsize: 43840
[startup+860.462 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 213088 0 0 0 85468 584 0 0 25 0 1 0 725609210 61116416 12407 4294967295 134512640 134714508 3221221776 3221217788 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14921 12407 1111 63 0 14858 0
vsize: 59684
[startup+870.462 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 223763 0 0 0 86439 612 0 0 25 0 1 0 725609210 60399616 10484 4294967295 134512640 134714508 3221221776 3221218004 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14746 10484 1111 63 0 14683 0
vsize: 58984
[startup+880.462 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 240437 0 0 0 87396 656 0 0 25 0 1 0 725609210 44908544 10256 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10964 10256 1111 63 0 10901 0
vsize: 43856
[startup+890.462 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 259081 0 0 0 88349 703 0 0 25 0 1 0 725609210 44875776 10248 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10956 10248 1111 63 0 10893 0
vsize: 43824
[startup+900.463 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 273699 0 0 0 89311 741 0 0 25 0 1 0 725609210 44859392 10244 4294967295 134512640 134714508 3221221776 3221220176 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10952 10244 1111 63 0 10889 0
vsize: 43808
[startup+910.463 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 289854 0 0 0 90272 781 0 0 25 0 1 0 725609210 60260352 10447 4294967295 134512640 134714508 3221221776 3221218804 1075964271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14712 10447 1111 63 0 14649 0
vsize: 58848
[startup+920.464 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 306267 0 0 0 91229 824 0 0 25 0 1 0 725609210 44908544 10256 4294967295 134512640 134714508 3221221776 3221220160 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10964 10256 1111 63 0 10901 0
vsize: 43856
[startup+930.465 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 321107 0 0 0 92193 860 0 0 25 0 1 0 725609210 60354560 12234 4294967295 134512640 134714508 3221221776 3221217936 1074794466 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14735 12234 1111 63 0 14672 0
vsize: 58940
[startup+940.465 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 334066 0 0 0 93161 892 0 0 25 0 1 0 725609210 60776448 10563 4294967295 134512640 134714508 3221221776 3221218004 1075115076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14838 10563 1111 63 0 14775 0
vsize: 59352
[startup+950.465 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 350926 0 0 0 94120 933 0 0 25 0 1 0 725609210 44826624 10236 4294967295 134512640 134714508 3221221776 3221220176 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10944 10236 1111 63 0 10881 0
vsize: 43776
[startup+960.466 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 360295 0 0 0 95096 958 0 0 25 0 1 0 725609210 44941312 10264 4294967295 134512640 134714508 3221221776 3221220160 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10972 10264 1111 63 0 10909 0
vsize: 43888
[startup+970.466 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 372807 0 0 0 96064 990 0 0 25 0 1 0 725609210 55877632 11153 4294967295 134512640 134714508 3221221776 3221218308 1075863612 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13642 11153 1111 63 0 13579 0
vsize: 54568
[startup+980.467 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 389321 0 0 0 97021 1033 0 0 25 0 1 0 725609210 60776448 10566 4294967295 134512640 134714508 3221221776 3221217920 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14838 10566 1111 63 0 14775 0
vsize: 59352
[startup+990.467 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 407284 0 0 0 97977 1077 0 0 25 0 1 0 725609210 44892160 10252 4294967295 134512640 134714508 3221221776 3221220176 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10960 10252 1111 63 0 10897 0
vsize: 43840
[startup+1000.47 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 427486 0 0 0 98925 1129 0 0 25 0 1 0 725609210 59789312 10311 4294967295 134512640 134714508 3221221776 3221218016 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14597 10311 1111 63 0 14534 0
vsize: 58388
[startup+1010.47 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 442330 0 0 0 99887 1167 0 0 25 0 1 0 725609210 44843008 10240 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10948 10240 1111 63 0 10885 0
vsize: 43792
[startup+1020.47 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 457446 0 0 0 100848 1207 0 0 25 0 1 0 725609210 44994560 10254 4294967295 134512640 134714508 3221221776 3221219888 1074867206 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10985 10254 1111 63 0 10922 0
vsize: 43940
[startup+1030.47 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 468888 0 0 0 101818 1236 0 0 25 0 1 0 725609210 44941312 10264 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10972 10264 1111 63 0 10909 0
vsize: 43888
[startup+1040.47 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 485169 0 0 0 102777 1277 0 0 25 0 1 0 725609210 44974080 10272 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10980 10272 1111 63 0 10917 0
vsize: 43920
[startup+1050.47 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 499689 0 0 0 103742 1313 0 0 25 0 1 0 725609210 44859392 10244 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10952 10244 1111 63 0 10889 0
vsize: 43808
[startup+1060.47 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 509885 0 0 0 104717 1338 0 0 25 0 1 0 725609210 44974080 10272 4294967295 134512640 134714508 3221221776 3221220176 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10980 10272 1111 63 0 10917 0
vsize: 43920
[startup+1070.47 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 524277 0 0 0 105682 1372 0 0 25 0 1 0 725609210 44974080 10272 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10980 10272 1111 63 0 10917 0
vsize: 43920
[startup+1080.47 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 532646 0 0 0 106662 1393 0 0 25 0 1 0 725609210 44859392 10244 4294967295 134512640 134714508 3221221776 3221220160 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10952 10244 1111 63 0 10889 0
vsize: 43808
[startup+1090.47 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 542670 0 0 0 107639 1416 0 0 25 0 1 0 725609210 60792832 12333 4294967295 134512640 134714508 3221221776 3221218108 1076111473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14842 12333 1111 63 0 14779 0
vsize: 59368
[startup+1100.47 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 551110 0 0 0 108619 1436 0 0 25 0 1 0 725609210 44974080 10272 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10980 10272 1111 63 0 10917 0
vsize: 43920
[startup+1110.47 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 561360 0 0 0 109593 1462 0 0 25 0 1 0 725609210 44974080 10272 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10980 10272 1111 63 0 10917 0
vsize: 43920
[startup+1120.47 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 569457 0 0 0 110572 1483 0 0 25 0 1 0 725609210 44974080 10272 4294967295 134512640 134714508 3221221776 3221220064 1073978447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10980 10272 1111 63 0 10917 0
vsize: 43920
[startup+1130.47 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 577662 0 0 0 111552 1503 0 0 25 0 1 0 725609210 44908544 10256 4294967295 134512640 134714508 3221221776 3221220160 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10964 10256 1111 63 0 10901 0
vsize: 43856
[startup+1140.47 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 587760 0 0 0 112529 1527 0 0 25 0 1 0 725609210 60751872 12313 4294967295 134512640 134714508 3221221776 3221218096 1075170810 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14832 12313 1111 63 0 14769 0
vsize: 59328
[startup+1150.48 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 598119 0 0 0 113503 1553 0 0 25 0 1 0 725609210 44892160 10252 4294967295 134512640 134714508 3221221776 3221220176 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10960 10252 1111 63 0 10897 0
vsize: 43840
[startup+1160.48 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 610414 0 0 0 114472 1584 0 0 25 0 1 0 725609210 44892160 10252 4294967295 134512640 134714508 3221221776 3221220160 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10960 10252 1111 63 0 10897 0
vsize: 43840
[startup+1170.48 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 622684 0 0 0 115442 1615 0 0 25 0 1 0 725609210 60575744 12275 4294967295 134512640 134714508 3221221776 3221217808 1074790230 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14789 12275 1111 63 0 14726 0
vsize: 59156
[startup+1174.97 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 8325
Raw data (stat): 8268 (bsolo_lpr_cuts) R 8267 7876 7672 0 -1 0 622684 0 0 0 115442 1615 0 0 25 0 1 0 725609210 60575744 12275 4294967295 134512640 134714508 3221221776 3221217808 1074790230 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14789 12275 1111 63 0 14726 0
vsize: 0

Child status: 10
Real time (s): 1174.97
CPU time (s): 1175.07
CPU user time (s): 1158.76
CPU system time (s): 16.3095
CPU usage (%): 100.008
Max. virtual memory (Kb): 61896
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-22
#### END VERIFIER DATA ####