PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 23:33:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28933 boxname=wulflinc4 idbench=319 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  16a8eb66aae2bcfd534a482dd0a3948e  /oldhome/oroussel/tmp/wulflinc4/normalized-frb35-17-1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-frb35-17-1.opb
IDLAUNCH: 28933
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        925772 kB
Buffers:         24040 kB
Cached:          63172 kB
SwapCached:       1188 kB
Active:          23808 kB
Inactive:        65716 kB
HighTotal:      131008 kB
HighFree:        66752 kB
LowTotal:       903652 kB
LowFree:        859020 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13472 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 23:53:18 (client local time) WITH STATUS 10 IN 1176.13 SECONDS
stats: 28933 0 1176.13 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 595 variables and 27856 constraints.
c After prepocess the problem consists of 595 variables and 20368 constraints.
c preprocess terminated 165.659 s
c Initial Lower Bound: -65
c Lower Bound Elapsed time: 515.43
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -5 @ 681.444
c NEW SOLUTION FOUND: -6 @ 681.494
c NEW SOLUTION FOUND: -7 @ 681.531
c NEW SOLUTION FOUND: -8 @ 681.606
c NEW SOLUTION FOUND: -9 @ 681.657
c NEW SOLUTION FOUND: -10 @ 681.684
c NEW SOLUTION FOUND: -11 @ 681.904
c NEW SOLUTION FOUND: -12 @ 682.219
c NEW SOLUTION FOUND: -13 @ 683.562
c NEW SOLUTION FOUND: -14 @ 684.205
c NEW SOLUTION FOUND: -15 @ 688.011
c NEW SOLUTION FOUND: -16 @ 692.834
c NEW SOLUTION FOUND: -17 @ 694.213
c NEW SOLUTION FOUND: -18 @ 699.558
c NEW SOLUTION FOUND: -19 @ 776.218
c NEW SOLUTION FOUND: -20 @ 938.229
s SATISFIABLE
v -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 -C29 -C28 -C27 -C26 C25 -C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1 
c Exit Code: 10
c Total time: 1176.1 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.95 0.90 1/54 6498
Raw data (stat): 6498 (runsolver) R 6497 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905617886 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+10.0009 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 9027 0 0 0 974 23 0 0 25 0 1 0 905617886 39776256 8865 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9711 8865 1111 63 0 9648 0
vsize: 38844
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10489 0 0 0 1971 26 0 0 25 0 1 0 905617886 44822528 10083 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10489 0 0 0 2971 26 0 0 25 0 1 0 905617886 44822528 10083 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10489 0 0 0 3971 26 0 0 25 0 1 0 905617886 44822528 10083 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+50.0017 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10489 0 0 0 4972 26 0 0 25 0 1 0 905617886 44822528 10083 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10489 0 0 0 5972 26 0 0 25 0 1 0 905617886 44822528 10083 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10489 0 0 0 6972 26 0 0 25 0 1 0 905617886 44822528 10083 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+80.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10489 0 0 0 7972 26 0 0 25 0 1 0 905617886 44822528 10083 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10489 0 0 0 8972 26 0 0 25 0 1 0 905617886 44822528 10083 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10489 0 0 0 9972 26 0 0 25 0 1 0 905617886 44822528 10083 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10489 0 0 0 10973 26 0 0 25 0 1 0 905617886 44822528 10083 4294967295 134512640 134716908 3221224576 3221223248 134627268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10489 0 0 0 11973 26 0 0 25 0 1 0 905617886 44822528 10083 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10489 0 0 0 12972 26 0 0 25 0 1 0 905617886 44822528 10083 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10489 0 0 0 13973 26 0 0 25 0 1 0 905617886 44822528 10083 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10489 0 0 0 14973 27 0 0 25 0 1 0 905617886 44822528 10083 4294967295 134512640 134716908 3221224576 3221223248 134627260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10083 1111 63 0 10880 0
vsize: 43772
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10490 0 0 0 15973 27 0 0 25 0 1 0 905617886 44822528 10084 4294967295 134512640 134716908 3221224576 3221223376 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10943 10084 1111 63 0 10880 0
vsize: 43772
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10668 0 0 0 16971 28 0 0 25 0 1 0 905617886 45453312 10262 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11097 10262 1111 63 0 11034 0
vsize: 44388
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10729 0 0 0 17968 30 0 0 25 0 1 0 905617886 45621248 10323 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11138 10323 1111 63 0 11075 0
vsize: 44552
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10820 0 0 0 18967 32 0 0 25 0 1 0 905617886 45834240 10382 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11190 10382 1111 63 0 11127 0
vsize: 44760
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10880 0 0 0 19965 33 0 0 25 0 1 0 905617886 46080000 10442 4294967295 134512640 134716908 3221224576 3221222816 1074153783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11250 10442 1111 63 0 11187 0
vsize: 45000
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10949 0 0 0 20965 34 0 0 25 0 1 0 905617886 46362624 10511 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11319 10511 1111 63 0 11256 0
vsize: 45276
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10972 0 0 0 21964 35 0 0 25 0 1 0 905617886 46456832 10534 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11342 10534 1111 63 0 11279 0
vsize: 45368
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 10994 0 0 0 22963 36 0 0 25 0 1 0 905617886 46546944 10556 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11364 10556 1111 63 0 11301 0
vsize: 45456
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 11028 0 0 0 23962 38 0 0 25 0 1 0 905617886 46686208 10590 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11398 10590 1111 63 0 11335 0
vsize: 45592
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 11046 0 0 0 24962 38 0 0 25 0 1 0 905617886 46759936 10608 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11416 10608 1111 63 0 11353 0
vsize: 45664
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 15352 0 0 0 25952 48 0 0 25 0 1 0 905617886 62173184 13627 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15179 13627 1111 63 0 15116 0
vsize: 60716
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 15538 0 0 0 26952 49 0 0 25 0 1 0 905617886 60649472 13227 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14807 13227 1111 63 0 14744 0
vsize: 59228
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 15587 0 0 0 27952 49 0 0 25 0 1 0 905617886 60649472 13272 4294967295 134512640 134716908 3221224576 3221220624 1074969467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14807 13272 1111 63 0 14744 0
vsize: 59228
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 15614 0 0 0 28952 49 0 0 25 0 1 0 905617886 60649472 13295 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14807 13295 1111 63 0 14744 0
vsize: 59228
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 15638 0 0 0 29952 49 0 0 25 0 1 0 905617886 60649472 13317 4294967295 134512640 134716908 3221224576 3221220624 1074969471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14807 13317 1111 63 0 14744 0
vsize: 59228
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 15663 0 0 0 30952 49 0 0 25 0 1 0 905617886 60649472 13338 4294967295 134512640 134716908 3221224576 3221220580 1075964214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14807 13338 1111 63 0 14744 0
vsize: 59228
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 15743 0 0 0 31952 49 0 0 25 0 1 0 905617886 60956672 13414 4294967295 134512640 134716908 3221224576 3221220752 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14882 13414 1111 63 0 14819 0
vsize: 59528
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 15802 0 0 0 32952 50 0 0 25 0 1 0 905617886 61272064 13469 4294967295 134512640 134716908 3221224576 3221220440 1075964733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14959 13469 1111 63 0 14896 0
vsize: 59836
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 15878 0 0 0 33952 50 0 0 25 0 1 0 905617886 61612032 13541 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15042 13541 1111 63 0 14979 0
vsize: 60168
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 15947 0 0 0 34952 50 0 0 25 0 1 0 905617886 61956096 13606 4294967295 134512640 134716908 3221224576 3221220624 1074969474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15126 13606 1111 63 0 15063 0
vsize: 60504
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16039 0 0 0 35952 50 0 0 25 0 1 0 905617886 62320640 13694 4294967295 134512640 134716908 3221224576 3221220640 1075095094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15215 13694 1111 63 0 15152 0
vsize: 60860
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16050 0 0 0 36952 50 0 0 25 0 1 0 905617886 62320640 13701 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15215 13701 1111 63 0 15152 0
vsize: 60860
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16055 0 0 0 37952 50 0 0 25 0 1 0 905617886 62320640 13702 4294967295 134512640 134716908 3221224576 3221220708 1075115062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15215 13702 1111 63 0 15152 0
vsize: 60860
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16064 0 0 0 38953 50 0 0 25 0 1 0 905617886 62484480 13707 4294967295 134512640 134716908 3221224576 3221220944 1075602971 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15255 13707 1111 63 0 15192 0
vsize: 61020
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16068 0 0 0 39953 50 0 0 25 0 1 0 905617886 62320640 13705 4294967295 134512640 134716908 3221224576 3221221400 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15215 13705 1111 63 0 15152 0
vsize: 60860
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16074 0 0 0 40953 50 0 0 25 0 1 0 905617886 62320640 13705 4294967295 134512640 134716908 3221224576 3221220428 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15215 13705 1111 63 0 15152 0
vsize: 60860
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16153 0 0 0 41953 51 0 0 25 0 1 0 905617886 62877696 13782 4294967295 134512640 134716908 3221224576 3221221520 1075971413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15351 13782 1111 63 0 15288 0
vsize: 61404
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16221 0 0 0 42953 51 0 0 25 0 1 0 905617886 63119360 13846 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15410 13846 1111 63 0 15347 0
vsize: 61640
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16294 0 0 0 43953 51 0 0 25 0 1 0 905617886 63545344 13915 4294967295 134512640 134716908 3221224576 3221220448 1075965248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15514 13915 1111 63 0 15451 0
vsize: 62056
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16389 0 0 0 44952 51 0 0 25 0 1 0 905617886 63991808 14006 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15623 14006 1111 63 0 15560 0
vsize: 62492
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16393 0 0 0 45953 51 0 0 25 0 1 0 905617886 63991808 14006 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15623 14006 1111 63 0 15560 0
vsize: 62492
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16412 0 2 0 46950 52 0 0 25 0 1 0 905617886 63991808 14023 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15623 14023 1111 63 0 15560 0
vsize: 62492
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16435 0 2 0 47950 52 0 0 25 0 1 0 905617886 63991808 14042 4294967295 134512640 134716908 3221224576 3221220812 1076111473 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15623 14042 1111 63 0 15560 0
vsize: 62492
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16451 0 2 0 48950 52 0 0 25 0 1 0 905617886 63991808 14054 4294967295 134512640 134716908 3221224576 3221220752 1074960795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15623 14054 1111 63 0 15560 0
vsize: 62492
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16458 0 2 0 49950 52 0 0 25 0 1 0 905617886 63991808 14057 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15623 14057 1111 63 0 15560 0
vsize: 62492
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16571 0 2 0 50951 52 0 0 25 0 1 0 905617886 64462848 14166 4294967295 134512640 134716908 3221224576 3221221424 1074620113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15738 14166 1111 63 0 15675 0
vsize: 62952
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16573 0 2 0 51951 52 0 0 25 0 1 0 905617886 64462848 14166 4294967295 134512640 134716908 3221224576 3221220448 1075965234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15738 14166 1111 63 0 15675 0
vsize: 62952
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16577 0 2 0 52951 52 0 0 25 0 1 0 905617886 64462848 14166 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15738 14166 1111 63 0 15675 0
vsize: 62952
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16587 0 2 0 53951 52 0 0 25 0 1 0 905617886 64462848 14172 4294967295 134512640 134716908 3221224576 3221220720 1075115747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15738 14172 1111 63 0 15675 0
vsize: 62952
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16598 0 2 0 54951 52 0 0 25 0 1 0 905617886 64462848 14179 4294967295 134512640 134716908 3221224576 3221220640 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15738 14179 1111 63 0 15675 0
vsize: 62952
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16611 0 2 0 55951 52 0 0 25 0 1 0 905617886 64462848 14188 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15738 14188 1111 63 0 15675 0
vsize: 62952
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16613 0 2 0 56951 52 0 0 25 0 1 0 905617886 64462848 14188 4294967295 134512640 134716908 3221224576 3221220720 1075115747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15738 14188 1111 63 0 15675 0
vsize: 62952
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16617 0 2 0 57951 52 0 0 25 0 1 0 905617886 64462848 14188 4294967295 134512640 134716908 3221224576 3221220720 1075115712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15738 14188 1111 63 0 15675 0
vsize: 62952
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16622 0 2 0 58951 52 0 0 25 0 1 0 905617886 64462848 14189 4294967295 134512640 134716908 3221224576 3221220416 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15738 14189 1111 63 0 15675 0
vsize: 62952
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16628 0 2 0 59952 52 0 0 25 0 1 0 905617886 64462848 14191 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15738 14191 1111 63 0 15675 0
vsize: 62952
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16637 0 2 0 60952 52 0 0 25 0 1 0 905617886 64462848 14196 4294967295 134512640 134716908 3221224576 3221220856 1075112606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15738 14196 1111 63 0 15675 0
vsize: 62952
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16641 0 2 0 61952 52 0 0 25 0 1 0 905617886 64462848 14198 4294967295 134512640 134716908 3221224576 3221220388 1074786571 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15738 14198 1111 63 0 15675 0
vsize: 62952
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16648 0 2 0 62952 52 0 0 25 0 1 0 905617886 64462848 14201 4294967295 134512640 134716908 3221224576 3221220708 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15738 14201 1111 63 0 15675 0
vsize: 62952
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16656 0 2 0 63952 52 0 0 25 0 1 0 905617886 64462848 14205 4294967295 134512640 134716908 3221224576 3221220388 1074786571 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15738 14205 1111 63 0 15675 0
vsize: 62952
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 16661 0 2 0 64952 53 0 0 25 0 1 0 905617886 64462848 14206 4294967295 134512640 134716908 3221224576 3221220388 1074786571 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15738 14206 1111 63 0 15675 0
vsize: 62952
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 22876 0 2 0 65937 68 0 0 25 0 1 0 905617886 51945472 11824 4294967295 134512640 134716908 3221224576 3221222692 1075964227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12682 11824 1111 63 0 12619 0
vsize: 50728
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 24478 0 2 0 66931 75 0 0 25 0 1 0 905617886 51945472 11824 4294967295 134512640 134716908 3221224576 3221222692 1075964227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12682 11824 1111 63 0 12619 0
vsize: 50728
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 26110 0 2 0 67924 81 0 0 25 0 1 0 905617886 51400704 11818 4294967295 134512640 134716908 3221224576 3221222632 1074950102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12549 11818 1111 63 0 12486 0
vsize: 50196
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 56226 0 2 0 68840 166 0 0 25 0 1 0 905617886 61140992 10668 4294967295 134512640 134716908 3221224576 3221220456 1074788488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14927 10668 1111 63 0 14864 0
vsize: 59708
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 68687 0 2 0 69803 202 0 0 25 0 1 0 905617886 61153280 10660 4294967295 134512640 134716908 3221224576 3221221616 1075971395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14930 10666 1111 63 0 14867 0
vsize: 59720
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 87626 0 2 0 70750 255 0 0 25 0 1 0 905617886 46317568 10631 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11308 10631 1111 63 0 11245 0
vsize: 45232
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 108138 0 2 0 71693 313 0 0 25 0 1 0 905617886 46317568 10634 4294967295 134512640 134716908 3221224576 3221222544 1073987049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11308 10634 1111 63 0 11245 0
vsize: 45232
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 118057 0 2 0 72665 341 0 0 25 0 1 0 905617886 61538304 10811 4294967295 134512640 134716908 3221224576 3221221728 1075969830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15024 10811 1111 63 0 14961 0
vsize: 60096
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 129754 0 2 0 73632 374 0 0 25 0 1 0 905617886 46342144 10640 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11314 10640 1111 63 0 11251 0
vsize: 45256
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 143254 0 2 0 74593 413 0 0 25 0 1 0 905617886 46354432 10643 4294967295 134512640 134716908 3221224576 3221222576 1074916558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11317 10643 1111 63 0 11254 0
vsize: 45268
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 163679 0 2 0 75536 470 0 0 25 0 1 0 905617886 46329856 10637 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11311 10637 1111 63 0 11248 0
vsize: 45244
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 174346 0 2 0 76505 501 0 0 25 0 1 0 905617886 46305280 10631 4294967295 134512640 134716908 3221224576 3221222976 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11305 10631 1111 63 0 11242 0
vsize: 45220
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 188045 0 2 0 77468 538 0 0 25 0 1 0 905617886 46329856 10637 4294967295 134512640 134716908 3221224576 3221222576 1074052056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11311 10637 1111 63 0 11248 0
vsize: 45244
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 204876 0 2 0 78420 586 0 0 25 0 1 0 905617886 61689856 10860 4294967295 134512640 134716908 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15061 10860 1111 63 0 14998 0
vsize: 60244
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 220000 0 2 0 79377 629 0 0 25 0 1 0 905617886 46342144 10640 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11314 10640 1111 63 0 11251 0
vsize: 45256
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 238466 0 2 0 80325 681 0 0 25 0 1 0 905617886 46342144 10640 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11314 10640 1111 63 0 11251 0
vsize: 45256
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 255495 0 2 0 81277 730 0 0 25 0 1 0 905617886 61698048 10841 4294967295 134512640 134716908 3221224576 3221220720 1074969463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15063 10841 1111 63 0 15000 0
vsize: 60252
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 272440 0 2 0 82229 778 0 0 25 0 1 0 905617886 46354432 10643 4294967295 134512640 134716908 3221224576 3221223248 134652567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11317 10643 1111 63 0 11254 0
vsize: 45268
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 292947 0 2 0 83171 836 0 0 25 0 1 0 905617886 61706240 10832 4294967295 134512640 134716908 3221224576 3221220720 1074969680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15065 10832 1111 63 0 15002 0
vsize: 60260
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 308196 0 2 0 84129 878 0 0 25 0 1 0 905617886 46354432 10643 4294967295 134512640 134716908 3221224576 3221222224 1075817692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11317 10643 1111 63 0 11254 0
vsize: 45268
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 326891 0 2 0 85078 930 0 0 25 0 1 0 905617886 46342144 10640 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11314 10640 1111 63 0 11251 0
vsize: 45256
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 342232 0 2 0 86036 971 0 0 25 0 1 0 905617886 46305280 10631 4294967295 134512640 134716908 3221224576 3221222960 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11305 10631 1111 63 0 11242 0
vsize: 45220
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 355535 0 2 0 86999 1009 0 0 25 0 1 0 905617886 46354432 10643 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11317 10643 1111 63 0 11254 0
vsize: 45268
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 372498 0 2 0 87952 1056 0 0 25 0 1 0 905617886 46354432 10643 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11317 10643 1111 63 0 11254 0
vsize: 45268
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 386020 0 2 0 88915 1093 0 0 25 0 1 0 905617886 46329856 10637 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11311 10637 1111 63 0 11248 0
vsize: 45244
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 401699 0 2 0 89871 1137 0 0 25 0 1 0 905617886 61648896 11194 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15051 11202 1111 63 0 14988 0
vsize: 60204
[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 425019 0 2 0 90806 1202 0 0 25 0 1 0 905617886 46366720 10646 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11320 10646 1111 63 0 11257 0
vsize: 45280
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 443861 0 2 0 91753 1255 0 0 25 0 1 0 905617886 61153280 10649 4294967295 134512640 134716908 3221224576 3221221728 1075969885 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14930 10653 1111 63 0 14867 0
vsize: 59720
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 461078 0 2 0 92703 1305 0 0 25 0 1 0 905617886 46354432 10643 4294967295 134512640 134716908 3221224576 3221222892 1074206272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11317 10643 1111 63 0 11254 0
vsize: 45268
[startup+950.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 484989 0 2 0 93636 1372 0 0 25 0 1 0 905617886 46342144 10640 4294967295 134512640 134716908 3221224576 3221222848 1074056036 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11299 10625 1111 63 0 11236 0
vsize: 45256
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 500022 0 2 0 94596 1413 0 0 25 0 1 0 905617886 61759488 10884 4294967295 134512640 134716908 3221224576 3221221168 1074884320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15078 10885 1111 63 0 15015 0
vsize: 60312
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 513322 0 2 0 95558 1451 0 0 25 0 1 0 905617886 46391296 10652 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11326 10652 1111 63 0 11263 0
vsize: 45304
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 525564 0 2 0 96525 1484 0 0 25 0 1 0 905617886 46354432 10643 4294967295 134512640 134716908 3221224576 3221222976 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11317 10643 1111 63 0 11254 0
vsize: 45268
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 540757 0 2 0 97483 1526 0 0 25 0 1 0 905617886 61595648 12566 4294967295 134512640 134716908 3221224576 3221220848 1074960912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15038 12566 1111 63 0 14975 0
vsize: 60152
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 555978 0 2 0 98440 1569 0 0 25 0 1 0 905617886 46354432 10643 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11317 10643 1111 63 0 11254 0
vsize: 45268
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 569372 0 2 0 99404 1605 0 0 25 0 1 0 905617886 46354432 10643 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11317 10643 1111 63 0 11254 0
vsize: 45268
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 584373 0 2 0 100362 1648 0 0 25 0 1 0 905617886 46366720 10646 4294967295 134512640 134716908 3221224576 3221222976 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11320 10646 1111 63 0 11257 0
vsize: 45280
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 601158 0 2 0 101314 1696 0 0 25 0 1 0 905617886 61177856 10654 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14936 10658 1111 63 0 14873 0
vsize: 59744
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 617860 0 2 0 102267 1743 0 0 25 0 1 0 905617886 61489152 10794 4294967295 134512640 134716908 3221224576 3221220816 1075115741 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15012 10794 1111 63 0 14949 0
vsize: 60048
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 634579 0 2 0 103219 1791 0 0 25 0 1 0 905617886 61984768 12656 4294967295 134512640 134716908 3221224576 3221221104 1075397221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15133 12656 1111 63 0 15070 0
vsize: 60532
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 644778 0 2 0 104192 1819 0 0 25 0 1 0 905617886 61628416 11274 4294967295 134512640 134716908 3221224576 3221220736 1075095344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15046 11283 1111 63 0 14983 0
vsize: 60184
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 664839 0 2 0 105137 1874 0 0 25 0 1 0 905617886 46292992 10628 4294967295 134512640 134716908 3221224576 3221222976 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11302 10628 1111 63 0 11239 0
vsize: 45208
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 681705 0 2 0 106089 1921 0 0 25 0 1 0 905617886 46329856 10637 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11311 10637 1111 63 0 11248 0
vsize: 45244
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 693177 0 2 0 107058 1952 0 0 25 0 1 0 905617886 46391296 10652 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11326 10652 1111 63 0 11263 0
vsize: 45304
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 706638 0 2 0 108022 1989 0 0 25 0 1 0 905617886 61673472 12522 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15057 12530 1111 63 0 14994 0
vsize: 60228
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 718112 0 2 0 108990 2021 0 0 25 0 1 0 905617886 46354432 10643 4294967295 134512640 134716908 3221224576 3221222960 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11317 10643 1111 63 0 11254 0
vsize: 45268
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 733125 0 2 0 109948 2063 0 0 25 0 1 0 905617886 46415872 10658 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11332 10658 1111 63 0 11269 0
vsize: 45328
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 743189 0 2 0 110921 2090 0 0 25 0 1 0 905617886 46391296 10652 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11326 10652 1111 63 0 11263 0
vsize: 45304
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 754828 0 2 0 111889 2123 0 0 25 0 1 0 905617886 46415872 10658 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11332 10658 1111 63 0 11269 0
vsize: 45328
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 766553 0 2 0 112856 2156 0 0 25 0 1 0 905617886 46415872 10658 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11332 10658 1111 63 0 11269 0
vsize: 45328
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 778574 0 2 0 113823 2189 0 0 25 0 1 0 905617886 46415872 10658 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11332 10658 1111 63 0 11269 0
vsize: 45328
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 794028 0 2 0 114780 2232 0 0 25 0 1 0 905617886 46329856 10637 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11311 10637 1111 63 0 11248 0
vsize: 45244
[startup+1176.04 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 6498
Raw data (stat): 6498 (bsolo_lpr_cuts-) R 6497 21152 21151 0 -1 0 794028 0 2 0 114780 2232 0 0 25 0 1 0 905617886 46329856 10637 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11311 10637 1111 63 0 11248 0
vsize: 0

Child status: 10
Real time (s): 1176.04
CPU time (s): 1176.13
CPU user time (s): 1153.54
CPU system time (s): 22.5986
CPU usage (%): 100.008
Max. virtual memory (Kb): 62952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-20
#### END VERIFIER DATA ####