PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 23:43:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28937 boxname=wulflinc2 idbench=323 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  70070c820bc7d178cc8f33b42e0deead  /oldhome/oroussel/tmp/wulflinc2/normalized-frb35-17-5.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-frb35-17-5.opb
IDLAUNCH: 28937
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        911880 kB
Buffers:          7504 kB
Cached:          90504 kB
SwapCached:       4468 kB
Active:          23248 kB
Inactive:        79872 kB
HighTotal:      131008 kB
HighFree:        40992 kB
LowTotal:       903652 kB
LowFree:        870888 kB
SwapTotal:     2097136 kB
SwapFree:      2091616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            14000 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 00:02:39 (client local time) WITH STATUS 10 IN 1178.53 SECONDS
stats: 28937 0 1178.53 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 595 variables and 28143 constraints.
c After prepocess the problem consists of 595 variables and 21223 constraints.
c preprocess terminated 165.652 s
c Initial Lower Bound: -68
c Lower Bound Elapsed time: 551.471
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -4 @ 717.497
c NEW SOLUTION FOUND: -5 @ 717.523
c NEW SOLUTION FOUND: -6 @ 717.537
c NEW SOLUTION FOUND: -7 @ 717.611
c NEW SOLUTION FOUND: -8 @ 717.677
c NEW SOLUTION FOUND: -9 @ 717.822
c NEW SOLUTION FOUND: -10 @ 717.971
c NEW SOLUTION FOUND: -11 @ 718.1
c NEW SOLUTION FOUND: -12 @ 718.501
c NEW SOLUTION FOUND: -13 @ 718.611
c NEW SOLUTION FOUND: -14 @ 719.203
c NEW SOLUTION FOUND: -15 @ 721.81
c NEW SOLUTION FOUND: -16 @ 730.656
c NEW SOLUTION FOUND: -17 @ 741.025
c NEW SOLUTION FOUND: -18 @ 759.665
c NEW SOLUTION FOUND: -19 @ 811.265
c NEW SOLUTION FOUND: -20 @ 917.527
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: 1178.51 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.92 0.98 0.93 2/54 17261
Raw data (stat): 17261 (runsolver) R 17260 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905687030 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99968 s]
Raw data (loadavg): 0.93 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 9481 0 0 0 974 23 0 0 25 0 1 0 905687030 40452096 9044 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9876 9044 1111 63 0 9813 0
vsize: 39504
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 10413 0 0 0 1972 25 0 0 25 0 1 0 905687030 41066496 9194 4294967295 134512640 134716908 3221224576 3221222960 134542312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 10413 0 0 0 2973 25 0 0 25 0 1 0 905687030 41066496 9194 4294967295 134512640 134716908 3221224576 3221223136 134535757 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 10413 0 0 0 3973 25 0 0 25 0 1 0 905687030 41066496 9194 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 10413 0 0 0 4973 25 0 0 25 0 1 0 905687030 41066496 9194 4294967295 134512640 134716908 3221224576 3221222840 1077377185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 10413 0 0 0 5973 25 0 0 25 0 1 0 905687030 41066496 9194 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 10413 0 0 0 6973 25 0 0 25 0 1 0 905687030 41066496 9194 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 10413 0 0 0 7973 25 0 0 25 0 1 0 905687030 41066496 9194 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 10413 0 0 0 8974 25 0 0 25 0 1 0 905687030 41066496 9194 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 10413 0 0 0 9974 25 0 0 25 0 1 0 905687030 41066496 9194 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 10413 0 0 0 10974 25 0 0 25 0 1 0 905687030 41066496 9194 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 10413 0 0 0 11974 25 0 0 25 0 1 0 905687030 41066496 9194 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 10413 0 0 0 12974 25 0 0 25 0 1 0 905687030 41066496 9194 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 10413 0 0 0 13975 25 0 0 25 0 1 0 905687030 41066496 9194 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 10413 0 0 0 14975 25 0 0 25 0 1 0 905687030 41066496 9194 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 9194 1111 63 0 9963 0
vsize: 40104
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 10654 0 0 0 15974 26 0 0 25 0 1 0 905687030 42049536 9435 4294967295 134512640 134716908 3221224576 3221223432 134536909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10266 9435 1111 63 0 10203 0
vsize: 41064
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 10987 0 0 0 16973 27 0 0 25 0 1 0 905687030 43655168 9768 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10658 9768 1111 63 0 10595 0
vsize: 42632
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 11103 0 0 0 17969 30 0 0 25 0 1 0 905687030 44003328 9880 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10743 9880 1111 63 0 10680 0
vsize: 42972
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 11182 0 0 0 18968 31 0 0 25 0 1 0 905687030 44339200 9959 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10825 9959 1111 63 0 10762 0
vsize: 43300
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 11212 0 0 0 19967 32 0 0 25 0 1 0 905687030 44437504 9989 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10849 9989 1111 63 0 10786 0
vsize: 43396
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 11238 0 0 0 20967 33 0 0 25 0 1 0 905687030 44535808 10015 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10873 10015 1111 63 0 10810 0
vsize: 43492
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 11378 0 0 0 21965 34 0 0 25 0 1 0 905687030 44978176 10124 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10981 10124 1111 63 0 10918 0
vsize: 43924
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 11400 0 0 0 22965 35 0 0 25 0 1 0 905687030 45064192 10146 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11002 10146 1111 63 0 10939 0
vsize: 44008
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 11488 0 0 0 23964 36 0 0 25 0 1 0 905687030 45420544 10234 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11089 10234 1111 63 0 11026 0
vsize: 44356
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 11508 0 0 0 24963 37 0 0 25 0 1 0 905687030 45498368 10254 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11108 10254 1111 63 0 11045 0
vsize: 44432
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 11527 0 0 0 25963 38 0 0 25 0 1 0 905687030 45572096 10273 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11126 10273 1111 63 0 11063 0
vsize: 44504
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 15867 0 0 0 26952 49 0 0 25 0 1 0 905687030 61128704 13284 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14924 13284 1111 63 0 14861 0
vsize: 59696
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16101 0 0 0 27952 49 0 0 25 0 1 0 905687030 59547648 12908 4294967295 134512640 134716908 3221224576 3221220704 1075895652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14538 12908 1111 63 0 14475 0
vsize: 58152
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16128 0 0 0 28952 49 0 0 25 0 1 0 905687030 59547648 12933 4294967295 134512640 134716908 3221224576 3221220640 1075095188 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14538 12933 1111 63 0 14475 0
vsize: 58152
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16164 0 0 0 29952 49 0 0 25 0 1 0 905687030 59547648 12965 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14538 12965 1111 63 0 14475 0
vsize: 58152
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16189 0 0 0 30952 49 0 0 25 0 1 0 905687030 59547648 12986 4294967295 134512640 134716908 3221224576 3221220472 1075964740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14538 12986 1111 63 0 14475 0
vsize: 58152
[startup+320.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16203 0 0 0 31952 49 0 0 25 0 1 0 905687030 59547648 12998 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14538 12998 1111 63 0 14475 0
vsize: 58152
[startup+330.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16274 0 0 0 32952 50 0 0 25 0 1 0 905687030 59871232 13065 4294967295 134512640 134716908 3221224576 3221221024 1075088563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14617 13065 1111 63 0 14554 0
vsize: 58468
[startup+340.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16333 0 0 0 33952 50 0 0 25 0 1 0 905687030 60198912 13120 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14697 13120 1111 63 0 14634 0
vsize: 58788
[startup+350.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16410 0 0 0 34951 51 0 0 25 0 1 0 905687030 60542976 13193 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14781 13193 1111 63 0 14718 0
vsize: 59124
[startup+360.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16451 0 0 0 35952 51 0 0 25 0 1 0 905687030 60542976 13230 4294967295 134512640 134716908 3221224576 3221220688 1074815186 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14781 13230 1111 63 0 14718 0
vsize: 59124
[startup+370.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16454 0 0 0 36952 51 0 0 25 0 1 0 905687030 60542976 13231 4294967295 134512640 134716908 3221224576 3221220472 1075964740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14781 13231 1111 63 0 14718 0
vsize: 59124
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16458 0 0 0 37952 51 0 0 25 0 1 0 905687030 60542976 13231 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14781 13231 1111 63 0 14718 0
vsize: 59124
[startup+390.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16470 0 0 0 38952 51 0 0 25 0 1 0 905687030 60542976 13237 4294967295 134512640 134716908 3221224576 3221220472 1075964740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14781 13237 1111 63 0 14718 0
vsize: 59124
[startup+400.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16536 0 0 0 39952 51 0 0 25 0 1 0 905687030 60907520 13299 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14870 13299 1111 63 0 14807 0
vsize: 59480
[startup+410.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16551 0 0 0 40952 51 0 0 25 0 1 0 905687030 60907520 13310 4294967295 134512640 134716908 3221224576 3221220708 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14870 13310 1111 63 0 14807 0
vsize: 59480
[startup+420.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16559 0 0 0 41952 51 0 0 25 0 1 0 905687030 60907520 13314 4294967295 134512640 134716908 3221224576 3221220688 1074815276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14870 13314 1111 63 0 14807 0
vsize: 59480
[startup+430.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16648 0 0 0 42952 51 0 0 25 0 1 0 905687030 61468672 13401 4294967295 134512640 134716908 3221224576 3221221552 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15007 13401 1111 63 0 14944 0
vsize: 60028
[startup+440.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16654 0 0 0 43952 51 0 0 25 0 1 0 905687030 61296640 13403 4294967295 134512640 134716908 3221224576 3221220640 1075095181 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14965 13403 1111 63 0 14902 0
vsize: 59860
[startup+450.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16658 0 0 0 44953 51 0 0 25 0 1 0 905687030 61296640 13403 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14965 13403 1111 63 0 14902 0
vsize: 59860
[startup+460.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16686 0 0 0 45953 52 0 0 25 0 1 0 905687030 61296640 13427 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14965 13427 1111 63 0 14902 0
vsize: 59860
[startup+470.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16693 0 0 0 46953 52 0 0 25 0 1 0 905687030 61296640 13428 4294967295 134512640 134716908 3221224576 3221220448 1075965234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14965 13428 1111 63 0 14902 0
vsize: 59860
[startup+480.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16834 0 0 0 47953 52 0 0 25 0 1 0 905687030 62115840 13565 4294967295 134512640 134716908 3221224576 3221220920 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15165 13565 1111 63 0 15102 0
vsize: 60660
[startup+490.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 16922 0 0 0 48953 52 0 0 25 0 1 0 905687030 62558208 13649 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15273 13649 1111 63 0 15210 0
vsize: 61092
[startup+500.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 17024 0 0 0 49953 52 0 0 25 0 1 0 905687030 63021056 13747 4294967295 134512640 134716908 3221224576 3221220816 1075114265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15386 13747 1111 63 0 15323 0
vsize: 61544
[startup+510.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 17063 0 0 0 50953 52 0 0 25 0 1 0 905687030 63021056 13784 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15386 13784 1111 63 0 15323 0
vsize: 61544
[startup+520.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 17072 0 0 0 51953 52 0 0 25 0 1 0 905687030 63021056 13789 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15386 13789 1111 63 0 15323 0
vsize: 61544
[startup+530.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 17178 0 0 0 52953 53 0 0 25 0 1 0 905687030 63512576 13891 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15506 13891 1111 63 0 15443 0
vsize: 62024
[startup+540.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 17190 0 0 0 53953 53 0 0 25 0 1 0 905687030 63512576 13899 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15506 13899 1111 63 0 15443 0
vsize: 62024
[startup+550.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 17208 0 0 0 54953 53 0 0 25 0 1 0 905687030 63512576 13913 4294967295 134512640 134716908 3221224576 3221220752 1074960765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15506 13913 1111 63 0 15443 0
vsize: 62024
[startup+560.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 17219 0 0 0 55953 53 0 0 25 0 1 0 905687030 63512576 13922 4294967295 134512640 134716908 3221224576 3221220728 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15506 13922 1111 63 0 15443 0
vsize: 62024
[startup+570.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 17230 0 0 0 56953 53 0 0 25 0 1 0 905687030 63512576 13929 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15506 13929 1111 63 0 15443 0
vsize: 62024
[startup+580.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 17236 0 0 0 57953 53 0 0 25 0 1 0 905687030 63512576 13931 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15506 13931 1111 63 0 15443 0
vsize: 62024
[startup+590.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 17245 0 0 0 58954 53 0 0 25 0 1 0 905687030 63512576 13936 4294967295 134512640 134716908 3221224576 3221221424 1074620113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15506 13936 1111 63 0 15443 0
vsize: 62024
[startup+600.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 17247 0 0 0 59954 53 0 0 25 0 1 0 905687030 63512576 13936 4294967295 134512640 134716908 3221224576 3221220708 1075115076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15506 13936 1111 63 0 15443 0
vsize: 62024
[startup+610.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 17251 0 0 0 60954 53 0 0 25 0 1 0 905687030 63512576 13936 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15506 13936 1111 63 0 15443 0
vsize: 62024
[startup+620.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 17255 0 0 0 61954 53 0 0 25 0 1 0 905687030 63512576 13936 4294967295 134512640 134716908 3221224576 3221220388 1074786537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15506 13936 1111 63 0 15443 0
vsize: 62024
[startup+630.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 17260 0 0 0 62954 53 0 0 25 0 1 0 905687030 63512576 13937 4294967295 134512640 134716908 3221224576 3221220640 1075094850 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15506 13937 1111 63 0 15443 0
vsize: 62024
[startup+640.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 17264 0 0 0 63954 53 0 0 25 0 1 0 905687030 63512576 13939 4294967295 134512640 134716908 3221224576 3221220752 1074960765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15506 13939 1111 63 0 15443 0
vsize: 62024
[startup+650.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 17272 0 0 0 64955 53 0 0 25 0 1 0 905687030 63512576 13943 4294967295 134512640 134716908 3221224576 3221220640 1075095094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15506 13943 1111 63 0 15443 0
vsize: 62024
[startup+660.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 17276 0 0 0 65955 53 0 0 25 0 1 0 905687030 63512576 13943 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15506 13943 1111 63 0 15443 0
vsize: 62024
[startup+670.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 17280 0 0 0 66955 53 0 0 25 0 1 0 905687030 63684608 13945 4294967295 134512640 134716908 3221224576 3221221544 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15548 13945 1111 63 0 15485 0
vsize: 62192
[startup+680.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 17282 0 0 0 67955 53 0 0 25 0 1 0 905687030 63512576 13943 4294967295 134512640 134716908 3221224576 3221220640 1075095169 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15506 13943 1111 63 0 15443 0
vsize: 62024
[startup+690.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 17288 0 0 0 68955 54 0 0 25 0 1 0 905687030 63512576 13945 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15506 13945 1111 63 0 15443 0
vsize: 62024
[startup+700.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 23974 0 0 0 69938 71 0 0 25 0 1 0 905687030 50155520 11447 4294967295 134512640 134716908 3221224576 3221222632 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12245 11447 1111 63 0 12182 0
vsize: 48980
[startup+710.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 25038 0 0 0 70932 77 0 0 25 0 1 0 905687030 50155520 11447 4294967295 134512640 134716908 3221224576 3221222784 1074039235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12245 11447 1111 63 0 12182 0
vsize: 48980
[startup+720.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 31941 0 0 0 71910 99 0 0 25 0 1 0 905687030 60141568 10226 4294967295 134512640 134716908 3221224576 3221221648 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14683 10226 1111 63 0 14620 0
vsize: 58732
[startup+730.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 39325 0 0 0 72888 120 0 0 25 0 1 0 905687030 44421120 10124 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10845 10124 1111 63 0 10782 0
vsize: 43380
[startup+740.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 52721 0 0 0 73854 155 0 0 25 0 1 0 905687030 59981824 10197 4294967295 134512640 134716908 3221224576 3221221696 1074834340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14644 10197 1111 63 0 14581 0
vsize: 58576
[startup+750.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 71370 0 0 0 74806 203 0 0 25 0 1 0 905687030 60301312 10277 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14722 10277 1111 63 0 14659 0
vsize: 58888
[startup+760.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 81437 0 0 0 75777 231 0 0 25 0 1 0 905687030 44421120 10124 4294967295 134512640 134716908 3221224576 3221223168 134652541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10845 10124 1111 63 0 10782 0
vsize: 43380
[startup+770.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 92974 0 0 0 76746 262 0 0 25 0 1 0 905687030 44752896 10142 4294967295 134512640 134716908 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10926 10148 1111 63 0 10863 0
vsize: 43704
[startup+780.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 108043 0 0 0 77709 300 0 0 25 0 1 0 905687030 60821504 10252 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14849 10255 1111 63 0 14786 0
vsize: 59396
[startup+790.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 126631 0 0 0 78663 346 0 0 25 0 1 0 905687030 60768256 10406 4294967295 134512640 134716908 3221224576 3221220848 1074960944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14836 10406 1111 63 0 14773 0
vsize: 59344
[startup+800.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 138313 0 0 0 79633 376 0 0 25 0 1 0 905687030 44441600 10132 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10850 10132 1111 63 0 10787 0
vsize: 43400
[startup+810.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 158625 0 0 0 80584 425 0 0 25 0 1 0 905687030 44400640 10122 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10840 10122 1111 63 0 10777 0
vsize: 43360
[startup+820.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 169797 0 0 0 81556 453 0 0 25 0 1 0 905687030 60862464 10412 4294967295 134512640 134716908 3221224576 3221220736 1075090048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14859 10412 1111 63 0 14796 0
vsize: 59436
[startup+830.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 189947 0 0 0 82507 502 0 0 25 0 1 0 905687030 61140992 12322 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14927 12322 1111 63 0 14864 0
vsize: 59708
[startup+840.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 208046 0 0 0 83462 548 0 0 25 0 1 0 905687030 44380160 10117 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10835 10117 1111 63 0 10772 0
vsize: 43340
[startup+850.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 215516 0 0 0 84444 566 0 0 25 0 1 0 905687030 44441600 10132 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10850 10132 1111 63 0 10787 0
vsize: 43400
[startup+860.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 233265 0 0 0 85399 611 0 0 25 0 1 0 905687030 44457984 10136 4294967295 134512640 134716908 3221224576 3221222912 1073986826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10854 10136 1111 63 0 10791 0
vsize: 43416
[startup+870.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 254053 0 0 0 86347 664 0 0 25 0 1 0 905687030 60162048 10251 4294967295 134512640 134716908 3221224576 3221221696 1074834473 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14688 10251 1111 63 0 14625 0
vsize: 58752
[startup+880.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 268386 0 0 0 87312 698 0 0 25 0 1 0 905687030 44400640 10122 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10840 10122 1111 63 0 10777 0
vsize: 43360
[startup+890.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 288435 0 0 0 88263 748 0 0 25 0 1 0 905687030 44380160 10117 4294967295 134512640 134716908 3221224576 3221222804 1077374082 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10835 10117 1111 63 0 10772 0
vsize: 43340
[startup+900.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 305250 0 0 0 89220 791 0 0 25 0 1 0 905687030 44625920 10166 4294967295 134512640 134716908 3221224576 3221221680 1074138614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10895 10166 1111 63 0 10832 0
vsize: 43580
[startup+910.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 323395 0 0 0 90175 837 0 0 25 0 1 0 905687030 44400640 10122 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10840 10122 1111 63 0 10777 0
vsize: 43360
[startup+920.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 340332 0 0 0 91132 879 0 0 25 0 1 0 905687030 60530688 10341 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14778 10341 1111 63 0 14715 0
vsize: 59112
[startup+930.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 354755 0 0 0 92096 915 0 0 25 0 1 0 905687030 44441600 10132 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10850 10132 1111 63 0 10787 0
vsize: 43400
[startup+940.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 369939 0 0 0 93058 953 0 0 25 0 1 0 905687030 44503040 10147 4294967295 134512640 134716908 3221224576 3221222960 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10865 10147 1111 63 0 10802 0
vsize: 43460
[startup+950.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 383585 0 0 0 94024 987 0 0 25 0 1 0 905687030 44544000 10157 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10875 10157 1111 63 0 10812 0
vsize: 43500
[startup+960.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 396907 0 0 0 94992 1020 0 0 25 0 1 0 905687030 44544000 10157 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10875 10157 1111 63 0 10812 0
vsize: 43500
[startup+970.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 412479 0 0 0 95953 1058 0 0 25 0 1 0 905687030 44503040 10147 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10865 10147 1111 63 0 10802 0
vsize: 43460
[startup+980.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 434363 0 0 0 96900 1111 0 0 25 0 1 0 905687030 44421120 10127 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10845 10127 1111 63 0 10782 0
vsize: 43380
[startup+990.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 456480 0 0 0 97846 1166 0 0 25 0 1 0 905687030 44441600 10132 4294967295 134512640 134716908 3221224576 3221222600 1077380113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10850 10132 1111 63 0 10787 0
vsize: 43400
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 474655 0 0 0 98799 1213 0 0 25 0 1 0 905687030 44544000 10157 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10875 10157 1111 63 0 10812 0
vsize: 43500
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 492143 0 0 0 99757 1255 0 0 25 0 1 0 905687030 60583936 10358 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14791 10358 1111 63 0 14728 0
vsize: 59164
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 17261
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 509393 0 0 0 100716 1296 0 0 25 0 1 0 905687030 60907520 12255 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14870 12255 1111 63 0 14807 0
vsize: 59480
[startup+1030.03 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 17314
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 522494 0 0 0 101682 1329 0 0 25 0 1 0 905687030 44748800 10144 4294967295 134512640 134716908 3221224576 3221222304 1075828510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10925 10144 1111 63 0 10862 0
vsize: 43700
[startup+1040.03 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 17314
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 535514 0 0 0 102650 1362 0 0 25 0 1 0 905687030 44462080 10137 4294967295 134512640 134716908 3221224576 3221222956 1073961976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10855 10137 1111 63 0 10792 0
vsize: 43420
[startup+1050.03 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 17314
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 551458 0 0 0 103610 1402 0 0 25 0 1 0 905687030 44462080 10137 4294967295 134512640 134716908 3221224576 3221222928 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10855 10137 1111 63 0 10792 0
vsize: 43420
[startup+1060.03 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 17314
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 566981 0 0 0 104572 1441 0 0 25 0 1 0 905687030 61014016 10376 4294967295 134512640 134716908 3221224576 3221221232 1075966250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14896 10382 1111 63 0 14833 0
vsize: 59584
[startup+1070.03 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 17314
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 579269 0 0 0 105542 1471 0 0 25 0 1 0 905687030 60375040 10304 4294967295 134512640 134716908 3221224576 3221220720 1074969471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14740 10304 1111 63 0 14677 0
vsize: 58960
[startup+1080.03 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 17314
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 592157 0 0 0 106510 1502 0 0 25 0 1 0 905687030 44441600 10132 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10850 10132 1111 63 0 10787 0
vsize: 43400
[startup+1090.03 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 17316
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 604947 0 0 0 107479 1534 0 0 25 0 1 0 905687030 60796928 10419 4294967295 134512640 134716908 3221224576 3221220848 1074960783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14843 10419 1111 63 0 14780 0
vsize: 59372
[startup+1100.03 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 17316
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 623498 0 0 0 108433 1580 0 0 25 0 1 0 905687030 60272640 10259 4294967295 134512640 134716908 3221224576 3221221232 1075968688 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14715 10259 1111 63 0 14652 0
vsize: 58860
[startup+1110.03 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 17316
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 639700 0 0 0 109391 1623 0 0 25 0 1 0 905687030 44462080 10137 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10855 10137 1111 63 0 10792 0
vsize: 43420
[startup+1120.03 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 17316
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 657256 0 0 0 110346 1667 0 0 25 0 1 0 905687030 44462080 10137 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10855 10137 1111 63 0 10792 0
vsize: 43420
[startup+1130.03 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 17316
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 675955 0 0 0 111299 1715 0 0 25 0 1 0 905687030 44421120 10127 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10845 10127 1111 63 0 10782 0
vsize: 43380
[startup+1140.03 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 17316
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 690490 0 0 0 112263 1751 0 0 25 0 1 0 905687030 61030400 10387 4294967295 134512640 134716908 3221224576 3221221144 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14900 10391 1111 63 0 14837 0
vsize: 59600
[startup+1150.03 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 17316
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 705627 0 0 0 113224 1790 0 0 25 0 1 0 905687030 60231680 10277 4294967295 134512640 134716908 3221224576 3221221620 1074846128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14705 10277 1111 63 0 14642 0
vsize: 58820
[startup+1160.03 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 17316
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 720877 0 0 0 114186 1828 0 0 25 0 1 0 905687030 44584960 10167 4294967295 134512640 134716908 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10885 10167 1111 63 0 10822 0
vsize: 43540
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17316
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 731811 0 0 0 115159 1856 0 0 25 0 1 0 905687030 44462080 10137 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10855 10137 1111 63 0 10792 0
vsize: 43420
[startup+1178.4 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 17316
Raw data (stat): 17261 (bsolo_lpr_cuts-) R 17260 31399 31398 0 -1 0 731811 0 0 0 115159 1856 0 0 25 0 1 0 905687030 44462080 10137 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10855 10137 1111 63 0 10792 0
vsize: 0

Child status: 10
Real time (s): 1178.4
CPU time (s): 1178.53
CPU user time (s): 1159.68
CPU system time (s): 18.8441
CPU usage (%): 100.011
Max. virtual memory (Kb): 62192
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-20
#### END VERIFIER DATA ####