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 40869

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 23:39:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28935 boxname=wulflinc1 idbench=321 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  25457db86ce3cc3b7604dfa37c8096b4  /oldhome/oroussel/tmp/wulflinc1/normalized-frb35-17-3.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-frb35-17-3.opb
IDLAUNCH: 28935
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        919160 kB
Buffers:          1964 kB
Cached:          89832 kB
SwapCached:       1024 kB
Active:          24428 kB
Inactive:        69400 kB
HighTotal:      131008 kB
HighFree:        37940 kB
LowTotal:       903652 kB
LowFree:        881220 kB
SwapTotal:     2097136 kB
SwapFree:      2094796 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5084 kB
Slab:            15952 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 23:58:45 (client local time) WITH STATUS 10 IN 1175.66 SECONDS
stats: 28935 0 1175.66 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 20390 constraints.
c preprocess terminated 166.225 s
c Initial Lower Bound: -65
c Lower Bound Elapsed time: 545.696
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -1 @ 712.28
c NEW SOLUTION FOUND: -2 @ 712.307
c NEW SOLUTION FOUND: -3 @ 712.314
c NEW SOLUTION FOUND: -4 @ 712.336
c NEW SOLUTION FOUND: -5 @ 712.463
c NEW SOLUTION FOUND: -6 @ 712.483
c NEW SOLUTION FOUND: -7 @ 712.516
c NEW SOLUTION FOUND: -8 @ 712.562
c NEW SOLUTION FOUND: -9 @ 712.607
c NEW SOLUTION FOUND: -10 @ 713.539
c NEW SOLUTION FOUND: -11 @ 713.961
c NEW SOLUTION FOUND: -12 @ 715.771
c NEW SOLUTION FOUND: -13 @ 717.231
c NEW SOLUTION FOUND: -14 @ 718.261
c NEW SOLUTION FOUND: -15 @ 719.426
c NEW SOLUTION FOUND: -16 @ 720.885
c NEW SOLUTION FOUND: -17 @ 725.808
c NEW SOLUTION FOUND: -18 @ 743.406
c NEW SOLUTION FOUND: -19 @ 758.981
c NEW SOLUTION FOUND: -20 @ 814.714
c NEW SOLUTION FOUND: -21 @ 887.578
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.63 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/55 28037
Raw data (stat): 28037 (runsolver) R 28036 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848803255 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 9954 0 0 0 970 27 0 0 25 0 1 0 848803255 40132608 8966 4294967295 134512640 134716908 3221224576 3221223104 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9798 8966 1111 63 0 9735 0
vsize: 39192
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 9954 0 0 0 1971 27 0 0 25 0 1 0 848803255 40132608 8966 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9798 8966 1111 63 0 9735 0
vsize: 39192
[startup+30.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 10213 0 0 0 2970 27 0 0 25 0 1 0 848803255 40779776 9124 4294967295 134512640 134716908 3221224576 3221223032 134542289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9956 9124 1111 63 0 9893 0
vsize: 39824
[startup+40.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 10213 0 0 0 3970 27 0 0 25 0 1 0 848803255 40779776 9124 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9956 9124 1111 63 0 9893 0
vsize: 39824
[startup+50.0006 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 10213 0 0 0 4971 27 0 0 25 0 1 0 848803255 40779776 9124 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9956 9124 1111 63 0 9893 0
vsize: 39824
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 10213 0 0 0 5971 27 0 0 25 0 1 0 848803255 40779776 9124 4294967295 134512640 134716908 3221224576 3221222992 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9956 9124 1111 63 0 9893 0
vsize: 39824
[startup+70.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 10213 0 0 0 6971 27 0 0 25 0 1 0 848803255 40779776 9124 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9956 9124 1111 63 0 9893 0
vsize: 39824
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 10213 0 0 0 7971 27 0 0 25 0 1 0 848803255 40779776 9124 4294967295 134512640 134716908 3221224576 3221222908 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9956 9124 1111 63 0 9893 0
vsize: 39824
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 10213 0 0 0 8971 27 0 0 25 0 1 0 848803255 40779776 9124 4294967295 134512640 134716908 3221224576 3221223104 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9956 9124 1111 63 0 9893 0
vsize: 39824
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 10213 0 0 0 9972 27 0 0 25 0 1 0 848803255 40779776 9124 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9956 9124 1111 63 0 9893 0
vsize: 39824
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 10213 0 0 0 10972 27 0 0 25 0 1 0 848803255 40779776 9124 4294967295 134512640 134716908 3221224576 3221223224 134558609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9956 9124 1111 63 0 9893 0
vsize: 39824
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 10213 0 0 0 11972 27 0 0 25 0 1 0 848803255 40779776 9124 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9956 9124 1111 63 0 9893 0
vsize: 39824
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 10213 0 0 0 12972 27 0 0 25 0 1 0 848803255 40779776 9124 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9956 9124 1111 63 0 9893 0
vsize: 39824
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 10213 0 0 0 13972 27 0 0 25 0 1 0 848803255 40779776 9124 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9956 9124 1111 63 0 9893 0
vsize: 39824
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 10237 0 0 0 14973 27 0 0 25 0 1 0 848803255 40914944 9148 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9989 9148 1111 63 0 9926 0
vsize: 39956
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 10544 0 0 0 15972 28 0 0 25 0 1 0 848803255 42168320 9455 4294967295 134512640 134716908 3221224576 3221223444 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10295 9455 1111 63 0 10232 0
vsize: 41180
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 11001 0 0 0 16970 30 0 0 25 0 1 0 848803255 44261376 9912 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10806 9912 1111 63 0 10743 0
vsize: 43224
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 11070 0 0 0 17969 31 0 0 25 0 1 0 848803255 44437504 9981 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10849 9981 1111 63 0 10786 0
vsize: 43396
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 11193 0 0 0 18968 33 0 0 25 0 1 0 848803255 45035520 10104 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10995 10104 1111 63 0 10932 0
vsize: 43980
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 11231 0 0 0 19966 34 0 0 25 0 1 0 848803255 45166592 10142 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11027 10142 1111 63 0 10964 0
vsize: 44108
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 11306 0 0 0 20966 35 0 0 25 0 1 0 848803255 45436928 10217 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11093 10217 1111 63 0 11030 0
vsize: 44372
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 11332 0 0 0 21965 36 0 0 25 0 1 0 848803255 45539328 10243 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11118 10243 1111 63 0 11055 0
vsize: 44472
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 11357 0 0 0 22964 37 0 0 25 0 1 0 848803255 45633536 10268 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11141 10268 1111 63 0 11078 0
vsize: 44564
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 11442 0 0 0 23963 38 0 0 25 0 1 0 848803255 45948928 10353 4294967295 134512640 134716908 3221224576 3221222784 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11218 10353 1111 63 0 11155 0
vsize: 44872
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 15050 0 0 0 24956 45 0 0 25 0 1 0 848803255 61054976 12666 4294967295 134512640 134716908 3221224576 3221220512 1075965234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14906 12666 1111 63 0 14843 0
vsize: 59624
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 15718 0 0 0 25955 47 0 0 25 0 1 0 848803255 61054976 13332 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14906 13332 1111 63 0 14843 0
vsize: 59624
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 15911 0 0 0 26955 47 0 0 25 0 1 0 848803255 59543552 12937 4294967295 134512640 134716908 3221224576 3221220624 1074969685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14537 12937 1111 63 0 14474 0
vsize: 58148
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 15944 0 0 0 27955 47 0 0 25 0 1 0 848803255 59543552 12966 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14537 12966 1111 63 0 14474 0
vsize: 58148
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16016 0 0 0 28955 47 0 0 25 0 1 0 848803255 59842560 13036 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14610 13036 1111 63 0 14547 0
vsize: 58440
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16052 0 0 0 29955 47 0 0 25 0 1 0 848803255 59842560 13070 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14610 13070 1111 63 0 14547 0
vsize: 58440
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16137 0 0 0 30955 48 0 0 25 0 1 0 848803255 60166144 13151 4294967295 134512640 134716908 3221224576 3221220624 1074969680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14689 13151 1111 63 0 14626 0
vsize: 58756
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16191 0 0 0 31955 48 0 0 25 0 1 0 848803255 60493824 13203 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14769 13203 1111 63 0 14706 0
vsize: 59076
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16216 0 0 0 32955 48 0 0 25 0 1 0 848803255 60493824 13224 4294967295 134512640 134716908 3221224576 3221220688 1074815284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14769 13224 1111 63 0 14706 0
vsize: 59076
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16225 0 0 0 33955 48 0 0 25 0 1 0 848803255 60493824 13229 4294967295 134512640 134716908 3221224576 3221220640 1075095151 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14769 13229 1111 63 0 14706 0
vsize: 59076
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16290 0 0 0 34955 48 0 0 25 0 1 0 848803255 61005824 13292 4294967295 134512640 134716908 3221224576 3221221552 1074867299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14894 13292 1111 63 0 14831 0
vsize: 59576
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16309 0 0 0 35955 48 0 0 25 0 1 0 848803255 60841984 13307 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14854 13307 1111 63 0 14791 0
vsize: 59416
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16313 0 0 0 36955 48 0 0 25 0 1 0 848803255 60841984 13307 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14854 13307 1111 63 0 14791 0
vsize: 59416
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16317 0 0 0 37955 49 0 0 25 0 1 0 848803255 60841984 13307 4294967295 134512640 134716908 3221224576 3221220688 1074815284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14854 13307 1111 63 0 14791 0
vsize: 59416
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16322 0 0 0 38956 49 0 0 25 0 1 0 848803255 60841984 13308 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14854 13308 1111 63 0 14791 0
vsize: 59416
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16326 0 0 0 39956 49 0 0 25 0 1 0 848803255 60841984 13308 4294967295 134512640 134716908 3221224576 3221220572 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14854 13308 1111 63 0 14791 0
vsize: 59416
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16330 0 0 0 40956 49 0 0 25 0 1 0 848803255 60841984 13308 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14854 13308 1111 63 0 14791 0
vsize: 59416
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16338 0 0 0 41956 49 0 0 25 0 1 0 848803255 60841984 13312 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14854 13312 1111 63 0 14791 0
vsize: 59416
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16342 0 0 0 42956 49 0 0 25 0 1 0 848803255 60841984 13312 4294967295 134512640 134716908 3221224576 3221220752 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14854 13312 1111 63 0 14791 0
vsize: 59416
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16421 0 0 0 43956 49 0 0 25 0 1 0 848803255 61378560 13387 4294967295 134512640 134716908 3221224576 3221221072 1074886914 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14985 13387 1111 63 0 14922 0
vsize: 59940
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16431 0 0 0 44956 49 0 0 25 0 1 0 848803255 61214720 13393 4294967295 134512640 134716908 3221224576 3221220720 1075115712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14945 13393 1111 63 0 14882 0
vsize: 59780
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16499 0 0 0 45957 49 0 0 25 0 1 0 848803255 61607936 13455 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15041 13455 1111 63 0 14978 0
vsize: 60164
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16510 0 0 0 46957 49 0 0 25 0 1 0 848803255 61607936 13462 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15041 13462 1111 63 0 14978 0
vsize: 60164
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16517 0 0 0 47957 49 0 0 25 0 1 0 848803255 61607936 13463 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15041 13463 1111 63 0 14978 0
vsize: 60164
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16632 0 0 0 48956 50 0 0 25 0 1 0 848803255 62431232 13574 4294967295 134512640 134716908 3221224576 3221220640 1075093367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15242 13574 1111 63 0 15179 0
vsize: 60968
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16673 0 0 0 49956 50 0 0 25 0 1 0 848803255 62431232 13611 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15242 13611 1111 63 0 15179 0
vsize: 60968
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16785 0 0 0 50956 50 0 0 25 0 1 0 848803255 62885888 13721 4294967295 134512640 134716908 3221224576 3221220448 1075965256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15353 13721 1111 63 0 15290 0
vsize: 61412
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16797 0 0 0 51957 50 0 0 25 0 1 0 848803255 62885888 13729 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15353 13729 1111 63 0 15290 0
vsize: 61412
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16812 0 0 0 52957 50 0 0 25 0 1 0 848803255 62885888 13740 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15353 13740 1111 63 0 15290 0
vsize: 61412
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16897 0 0 0 53957 50 0 0 25 0 1 0 848803255 63348736 13821 4294967295 134512640 134716908 3221224576 3221220920 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15466 13821 1111 63 0 15403 0
vsize: 61864
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16929 0 0 0 54957 50 0 0 25 0 1 0 848803255 63348736 13849 4294967295 134512640 134716908 3221224576 3221220624 1074969465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15466 13849 1111 63 0 15403 0
vsize: 61864
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16942 0 0 0 55957 50 0 0 25 0 1 0 848803255 63348736 13858 4294967295 134512640 134716908 3221224576 3221220592 1075895652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15466 13858 1111 63 0 15403 0
vsize: 61864
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16949 0 0 0 56957 50 0 0 25 0 1 0 848803255 63348736 13863 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15466 13863 1111 63 0 15403 0
vsize: 61864
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16957 0 0 0 57957 50 0 0 25 0 1 0 848803255 63348736 13867 4294967295 134512640 134716908 3221224576 3221220388 1074786556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15466 13867 1111 63 0 15403 0
vsize: 61864
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16969 0 0 0 58957 50 0 0 25 0 1 0 848803255 63348736 13875 4294967295 134512640 134716908 3221224576 3221220708 1075115076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15466 13875 1111 63 0 15403 0
vsize: 61864
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16978 0 0 0 59958 50 0 0 25 0 1 0 848803255 63348736 13880 4294967295 134512640 134716908 3221224576 3221220356 1074786582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15466 13880 1111 63 0 15403 0
vsize: 61864
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16980 0 0 0 60958 50 0 0 25 0 1 0 848803255 63348736 13880 4294967295 134512640 134716908 3221224576 3221220816 1075114265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15466 13880 1111 63 0 15403 0
vsize: 61864
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16987 0 0 0 61958 50 0 0 25 0 1 0 848803255 63348736 13883 4294967295 134512640 134716908 3221224576 3221220920 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15466 13883 1111 63 0 15403 0
vsize: 61864
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 16996 0 0 0 62958 50 0 0 25 0 1 0 848803255 63348736 13888 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15466 13888 1111 63 0 15403 0
vsize: 61864
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 17001 0 0 0 63958 50 0 0 25 0 1 0 848803255 63348736 13889 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15466 13889 1111 63 0 15403 0
vsize: 61864
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 17006 0 0 0 64958 51 0 0 25 0 1 0 848803255 63348736 13892 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15466 13892 1111 63 0 15403 0
vsize: 61864
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 17012 0 0 0 65959 51 0 0 25 0 1 0 848803255 63348736 13894 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15466 13894 1111 63 0 15403 0
vsize: 61864
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 17018 0 0 0 66959 51 0 0 25 0 1 0 848803255 63348736 13896 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15466 13896 1111 63 0 15403 0
vsize: 61864
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 17022 0 0 0 67959 51 0 0 25 0 1 0 848803255 63348736 13896 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15466 13896 1111 63 0 15403 0
vsize: 61864
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 19722 0 0 0 68953 57 0 0 25 0 1 0 848803255 66351104 12007 4294967295 134512640 134716908 3221224576 3221221012 1075863612 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16199 12007 1111 63 0 16136 0
vsize: 64796
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 24538 0 0 0 69940 70 0 0 25 0 1 0 848803255 50515968 11536 4294967295 134512640 134716908 3221224576 3221222800 1074039443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12333 11536 1111 63 0 12270 0
vsize: 49332
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 26254 0 0 0 70932 78 0 0 25 0 1 0 848803255 50515968 11536 4294967295 134512640 134716908 3221224576 3221222632 1074950108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12333 11536 1111 63 0 12270 0
vsize: 49332
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 42161 0 0 0 71893 117 0 0 25 0 1 0 848803255 60014592 10349 4294967295 134512640 134716908 3221224576 3221220848 1074960896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14652 10349 1111 63 0 14589 0
vsize: 58608
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 54266 0 0 0 72863 147 0 0 25 0 1 0 848803255 45219840 10320 4294967295 134512640 134716908 3221224576 3221222932 1074208589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11040 10320 1111 63 0 10977 0
vsize: 44160
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 73225 0 0 0 73816 194 0 0 25 0 1 0 848803255 45182976 10314 4294967295 134512640 134716908 3221224576 3221222956 1073963608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11031 10314 1111 63 0 10968 0
vsize: 44124
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 85270 0 0 0 74784 226 0 0 25 0 1 0 848803255 45195264 10317 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11034 10317 1111 63 0 10971 0
vsize: 44136
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 92099 0 0 0 75767 243 0 0 25 0 1 0 848803255 60841984 10764 4294967295 134512640 134716908 3221224576 3221220736 1075095344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14854 10774 1111 63 0 14791 0
vsize: 59416
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 108913 0 0 0 76725 285 0 0 25 0 1 0 848803255 60936192 10592 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14877 10592 1111 63 0 14814 0
vsize: 59508
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 122347 0 0 0 77692 318 0 0 25 0 1 0 848803255 60846080 12353 4294967295 134512640 134716908 3221224576 3221220508 1074788177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14855 12353 1111 63 0 14792 0
vsize: 59420
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 136151 0 0 0 78657 353 0 0 25 0 1 0 848803255 45219840 10323 4294967295 134512640 134716908 3221224576 3221222960 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11040 10323 1111 63 0 10977 0
vsize: 44160
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 149974 0 0 0 79623 387 0 0 25 0 1 0 848803255 45207552 10320 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11037 10320 1111 63 0 10974 0
vsize: 44148
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 167026 0 0 0 80579 432 0 0 25 0 1 0 848803255 45207552 10320 4294967295 134512640 134716908 3221224576 3221222976 1074118879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11037 10320 1111 63 0 10974 0
vsize: 44148
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 175561 0 0 0 81557 454 0 0 25 0 1 0 848803255 60907520 10630 4294967295 134512640 134716908 3221224576 3221220912 1075113502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14870 10630 1111 63 0 14807 0
vsize: 59480
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 189325 0 0 0 82524 488 0 0 25 0 1 0 848803255 45297664 10335 4294967295 134512640 134716908 3221224576 3221222544 1075552839 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11059 10335 1111 63 0 10996 0
vsize: 44236
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 199329 0 0 0 83499 513 0 0 25 0 1 0 848803255 45219840 10323 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11040 10323 1111 63 0 10977 0
vsize: 44160
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 214596 0 0 0 84462 550 0 0 25 0 1 0 848803255 55828480 11140 4294967295 134512640 134716908 3221224576 3221221640 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13630 11140 1111 63 0 13567 0
vsize: 54520
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 226423 0 0 0 85432 580 0 0 25 0 1 0 848803255 61444096 12485 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15001 12485 1111 63 0 14938 0
vsize: 60004
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 234338 0 0 0 86413 600 0 0 25 0 1 0 848803255 45281280 10338 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11055 10338 1111 63 0 10992 0
vsize: 44220
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 248245 0 0 0 87379 633 0 0 25 0 1 0 848803255 60936192 10637 4294967295 134512640 134716908 3221224576 3221221120 1075088566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14877 10637 1111 63 0 14814 0
vsize: 59508
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 258646 0 0 0 88354 658 0 0 25 0 1 0 848803255 61235200 10671 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14950 10671 1111 63 0 14887 0
vsize: 59800
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 270237 0 0 0 89327 685 0 0 25 0 1 0 848803255 61308928 12467 4294967295 134512640 134716908 3221224576 3221220720 1074969631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14968 12467 1111 63 0 14905 0
vsize: 59872
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 278312 0 0 0 90308 705 0 0 25 0 1 0 848803255 45281280 10338 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11055 10338 1111 63 0 10992 0
vsize: 44220
[startup+920.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 288024 0 0 0 91284 729 0 0 25 0 1 0 848803255 45232128 10326 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11043 10326 1111 63 0 10980 0
vsize: 44172
[startup+930.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 299678 0 0 0 92255 758 0 0 25 0 1 0 848803255 45219840 10323 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11040 10323 1111 63 0 10977 0
vsize: 44160
[startup+940.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 311293 0 0 0 93226 787 0 0 25 0 1 0 848803255 45281280 10338 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11055 10338 1111 63 0 10992 0
vsize: 44220
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 319371 0 0 0 94206 807 0 0 25 0 1 0 848803255 60973056 10651 4294967295 134512640 134716908 3221224576 3221220792 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14886 10651 1111 63 0 14823 0
vsize: 59544
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 332671 0 0 0 95174 840 0 0 25 0 1 0 848803255 45326336 10349 4294967295 134512640 134716908 3221224576 3221221696 1074864888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11066 10349 1111 63 0 11003 0
vsize: 44264
[startup+970.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 343116 0 0 0 96149 865 0 0 25 0 1 0 848803255 45207552 10320 4294967295 134512640 134716908 3221224576 3221222552 1077410182 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11037 10320 1111 63 0 10974 0
vsize: 44148
[startup+980.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 356385 0 0 0 97117 897 0 0 25 0 1 0 848803255 60678144 12310 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14814 12310 1111 63 0 14751 0
vsize: 59256
[startup+990.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 373307 0 0 0 98076 939 0 0 25 0 1 0 848803255 45207552 10320 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11037 10320 1111 63 0 10974 0
vsize: 44148
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 383111 0 0 0 99052 963 0 0 25 0 1 0 848803255 45232128 10326 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11043 10326 1111 63 0 10980 0
vsize: 44172
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 393282 0 0 0 100026 988 0 0 25 0 1 0 848803255 45219840 10323 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11040 10323 1111 63 0 10977 0
vsize: 44160
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 401078 0 0 0 101008 1007 0 0 25 0 1 0 848803255 61771776 12568 4294967295 134512640 134716908 3221224576 3221220796 1074794352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15081 12568 1111 63 0 15018 0
vsize: 60324
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 408909 0 0 0 101988 1027 0 0 25 0 1 0 848803255 56561664 11314 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13809 11314 1111 63 0 13746 0
vsize: 55236
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 416890 0 0 0 102969 1046 0 0 25 0 1 0 848803255 45281280 10338 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11055 10338 1111 63 0 10992 0
vsize: 44220
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 428779 0 0 0 103941 1075 0 0 25 0 1 0 848803255 45182976 10314 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11031 10314 1111 63 0 10968 0
vsize: 44124
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 440451 0 0 0 104912 1104 0 0 25 0 1 0 848803255 61317120 12433 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14970 12433 1111 63 0 14907 0
vsize: 59880
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 450253 0 0 0 105887 1129 0 0 25 0 1 0 848803255 45305856 10344 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11061 10344 1111 63 0 10998 0
vsize: 44244
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 460624 0 0 0 106862 1155 0 0 25 0 1 0 848803255 45195264 10317 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11034 10317 1111 63 0 10971 0
vsize: 44136
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 474102 0 0 0 107829 1187 0 0 25 0 1 0 848803255 45592576 10343 4294967295 134512640 134716908 3221224576 3221222688 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11131 10343 1111 63 0 11068 0
vsize: 44524
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 484610 0 0 0 108803 1214 0 0 25 0 1 0 848803255 60698624 10528 4294967295 134512640 134716908 3221224576 3221220848 1074960795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14819 10528 1111 63 0 14756 0
vsize: 59276
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 496143 0 0 0 109777 1241 0 0 25 0 1 0 848803255 45256704 10332 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11049 10332 1111 63 0 10986 0
vsize: 44196
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 508041 0 0 0 110749 1268 0 0 25 0 1 0 848803255 60960768 12360 4294967295 134512640 134716908 3221224576 3221220848 1074960868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14883 12360 1111 63 0 14820 0
vsize: 59532
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 519603 0 0 0 111721 1297 0 0 25 0 1 0 848803255 45256704 10332 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11049 10332 1111 63 0 10986 0
vsize: 44196
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 531491 0 0 0 112692 1326 0 0 25 0 1 0 848803255 45219840 10323 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11040 10323 1111 63 0 10977 0
vsize: 44160
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 546909 0 0 0 113654 1364 0 0 25 0 1 0 848803255 55947264 11131 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13659 11131 1111 63 0 13596 0
vsize: 54636
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 557147 0 0 0 114628 1389 0 0 25 0 1 0 848803255 45256704 10332 4294967295 134512640 134716908 3221224576 3221222960 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11049 10332 1111 63 0 10986 0
vsize: 44196
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 568997 0 0 0 115599 1419 0 0 25 0 1 0 848803255 45256704 10332 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11049 10332 1111 63 0 10986 0
vsize: 44196
[startup+1175.49 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 28037
Raw data (stat): 28037 (bsolo_lpr_cuts-) R 28036 8378 8377 0 -1 0 568997 0 0 0 115599 1419 0 0 25 0 1 0 848803255 45256704 10332 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11049 10332 1111 63 0 10986 0
vsize: 0

Child status: 10
Real time (s): 1175.49
CPU time (s): 1175.66
CPU user time (s): 1161.18
CPU system time (s): 14.4738
CPU usage (%): 100.014
Max. virtual memory (Kb): 64796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-21
#### END VERIFIER DATA ####