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/frb30-15-opb/normalized-frb30-15-4.opb
MD5SUM	615f734b8951521e89cf22f42d6d26cc
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	450
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	450
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	450
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05084
Number of variables	450
Total number of constraints	17831
Number of constraints which are clauses	17831
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 40865

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 23:23:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28931 boxname=wulflinc2 idbench=317 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  615f734b8951521e89cf22f42d6d26cc  /oldhome/oroussel/tmp/wulflinc2/normalized-frb30-15-4.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-frb30-15-4.opb
IDLAUNCH: 28931
/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:        914908 kB
Buffers:          5900 kB
Cached:          89184 kB
SwapCached:       4468 kB
Active:          22800 kB
Inactive:        77360 kB
HighTotal:      131008 kB
HighFree:        42364 kB
LowTotal:       903652 kB
LowFree:        872544 kB
SwapTotal:     2097136 kB
SwapFree:      2091616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            13912 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 23:42:52 (client local time) WITH STATUS 10 IN 1175.91 SECONDS
stats: 28931 0 1175.91 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 450 variables and 17831 constraints.
c After prepocess the problem consists of 450 variables and 13543 constraints.
c preprocess terminated 81.672 s
c Initial Lower Bound: -50
c Lower Bound Elapsed time: 202.666
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -3 @ 284.558
c NEW SOLUTION FOUND: -4 @ 284.578
c NEW SOLUTION FOUND: -5 @ 284.587
c NEW SOLUTION FOUND: -6 @ 284.6
c NEW SOLUTION FOUND: -7 @ 284.775
c NEW SOLUTION FOUND: -8 @ 284.898
c NEW SOLUTION FOUND: -9 @ 285.015
c NEW SOLUTION FOUND: -10 @ 285.221
c NEW SOLUTION FOUND: -11 @ 285.817
c NEW SOLUTION FOUND: -12 @ 286.61
c NEW SOLUTION FOUND: -13 @ 287.853
c NEW SOLUTION FOUND: -14 @ 289.202
c NEW SOLUTION FOUND: -15 @ 290.04
c NEW SOLUTION FOUND: -16 @ 294.577
c NEW SOLUTION FOUND: -17 @ 334.672
c NEW SOLUTION FOUND: -18 @ 671.303
c NEW SOLUTION FOUND: -19 @ 1107.2
s SATISFIABLE
v -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 C425 -C424 -C423 -C422 -C421 -C420 C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 -C10 -C9 -C8 C7 -C6 -C5 -C4 -C3 -C2 -C1 
c Exit Code: 10
c Total time: 1175.89 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 17168
Raw data (stat): 17168 (runsolver) R 17167 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905568558 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.0013 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 5519 0 0 0 981 13 0 0 25 0 1 0 905568558 24797184 5224 4294967295 134512640 134716908 3221224576 3221223000 1077378451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6054 5224 1111 63 0 5991 0
vsize: 24216
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 5735 0 0 0 1980 14 0 0 25 0 1 0 905568558 24797184 5224 4294967295 134512640 134716908 3221224576 3221223056 134539437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6054 5224 1111 63 0 5991 0
vsize: 24216
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 5778 0 0 0 2980 14 0 0 25 0 1 0 905568558 24936448 5258 4294967295 134512640 134716908 3221224576 3221223084 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6088 5258 1111 63 0 6025 0
vsize: 24352
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 5849 0 0 0 3980 14 0 0 25 0 1 0 905568558 24940544 5259 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6089 5259 1111 63 0 6026 0
vsize: 24356
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 6336 0 0 0 4980 15 0 0 25 0 1 0 905568558 25485312 5392 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6222 5392 1111 63 0 6159 0
vsize: 24888
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 6419 0 0 0 5980 16 0 0 25 0 1 0 905568558 25890816 5475 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6321 5475 1111 63 0 6258 0
vsize: 25284
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 6567 0 0 0 6980 16 0 0 25 0 1 0 905568558 26431488 5623 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6453 5623 1111 63 0 6390 0
vsize: 25812
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 6878 0 0 0 7979 16 0 0 25 0 1 0 905568558 27762688 5934 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6778 5934 1111 63 0 6715 0
vsize: 27112
[startup+90.0033 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 7362 0 0 0 8976 20 0 0 25 0 1 0 905568558 29757440 6391 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7265 6391 1111 63 0 7202 0
vsize: 29060
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 7417 0 0 0 9974 22 0 0 25 0 1 0 905568558 29937664 6446 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7309 6446 1111 63 0 7246 0
vsize: 29236
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 7483 0 0 0 10973 23 0 0 25 0 1 0 905568558 30236672 6512 4294967295 134512640 134716908 3221224576 3221222816 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7382 6512 1111 63 0 7319 0
vsize: 29528
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 10515 0 0 0 11966 30 0 0 25 0 1 0 905568558 39378944 8290 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9614 8290 1111 63 0 9551 0
vsize: 38456
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 10600 0 0 0 12966 30 0 0 25 0 1 0 905568558 39587840 8375 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9665 8375 1111 63 0 9602 0
vsize: 38660
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 10659 0 0 0 13966 30 0 0 25 0 1 0 905568558 39800832 8434 4294967295 134512640 134716908 3221224576 3221220816 1075114265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9717 8434 1111 63 0 9654 0
vsize: 38868
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 10726 0 0 0 14966 31 0 0 25 0 1 0 905568558 40030208 8501 4294967295 134512640 134716908 3221224576 3221220704 1075895656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9773 8501 1111 63 0 9710 0
vsize: 39092
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 10741 0 0 0 15966 31 0 0 25 0 1 0 905568558 40263680 8516 4294967295 134512640 134716908 3221224576 3221221136 1075967692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9830 8516 1111 63 0 9767 0
vsize: 39320
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 10777 0 0 0 16966 31 0 0 25 0 1 0 905568558 40263680 8552 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9830 8552 1111 63 0 9767 0
vsize: 39320
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 10825 0 0 0 17966 31 0 0 25 0 1 0 905568558 40509440 8600 4294967295 134512640 134716908 3221224576 3221220752 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9890 8600 1111 63 0 9827 0
vsize: 39560
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 10915 0 0 0 18966 31 0 0 25 0 1 0 905568558 41046016 8688 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10021 8688 1111 63 0 9958 0
vsize: 40084
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 11003 0 0 0 19967 31 0 0 25 0 1 0 905568558 41340928 8776 4294967295 134512640 134716908 3221224576 3221220580 1075964248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10093 8776 1111 63 0 10030 0
vsize: 40372
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 11069 0 0 0 20966 32 0 0 25 0 1 0 905568558 41635840 8842 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10165 8842 1111 63 0 10102 0
vsize: 40660
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 11074 0 0 0 21966 32 0 0 25 0 1 0 905568558 41635840 8847 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10165 8847 1111 63 0 10102 0
vsize: 40660
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 11151 0 2 0 22963 32 0 0 25 0 1 0 905568558 41951232 8926 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10242 8926 1111 63 0 10179 0
vsize: 40968
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 11173 0 2 0 23963 32 0 0 25 0 1 0 905568558 41951232 8948 4294967295 134512640 134716908 3221224576 3221220752 1074960800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10242 8948 1111 63 0 10179 0
vsize: 40968
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 11177 0 2 0 24963 33 0 0 25 0 1 0 905568558 41951232 8952 4294967295 134512640 134716908 3221224576 3221220752 1074960771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10242 8952 1111 63 0 10179 0
vsize: 40968
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 11179 0 2 0 25964 33 0 0 25 0 1 0 905568558 41951232 8954 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10242 8954 1111 63 0 10179 0
vsize: 40968
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 11180 0 2 0 26964 33 0 0 25 0 1 0 905568558 41951232 8955 4294967295 134512640 134716908 3221224576 3221220708 1075115051 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10242 8955 1111 63 0 10179 0
vsize: 40968
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 15031 0 2 0 27954 42 0 0 25 0 1 0 905568558 33734656 7471 4294967295 134512640 134716908 3221224576 3221222880 1073988057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8236 7471 1111 63 0 8173 0
vsize: 32944
[startup+290.01 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 24178 0 2 0 28927 69 0 0 25 0 1 0 905568558 30613504 6760 4294967295 134512640 134716908 3221224576 3221222912 1075552832 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7474 6760 1111 63 0 7411 0
vsize: 29896
[startup+300.011 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 30475 0 2 0 29908 89 0 0 25 0 1 0 905568558 30621696 6762 4294967295 134512640 134716908 3221224576 3221222688 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7476 6762 1111 63 0 7413 0
vsize: 29904
[startup+310.011 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 49934 0 2 0 30855 141 0 0 25 0 1 0 905568558 30605312 6762 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7472 6762 1111 63 0 7409 0
vsize: 29888
[startup+320.01 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 62617 0 2 0 31821 176 0 0 25 0 1 0 905568558 40615936 6807 4294967295 134512640 134716908 3221224576 3221221560 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9916 6807 1111 63 0 9853 0
vsize: 39664
[startup+330.011 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 71442 0 2 0 32796 202 0 0 25 0 1 0 905568558 30617600 6767 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7475 6767 1111 63 0 7412 0
vsize: 29900
[startup+340.011 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 86065 0 2 0 33755 242 0 0 25 0 1 0 905568558 40636416 6862 4294967295 134512640 134716908 3221224576 3221221232 1075967895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9921 6864 1111 63 0 9858 0
vsize: 39684
[startup+350.012 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 100106 0 2 0 34717 280 0 0 25 0 1 0 905568558 30617600 6771 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7475 6771 1111 63 0 7412 0
vsize: 29900
[startup+360.013 s]
Raw data (loadavg): 1.19 1.03 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 112761 0 2 0 35682 315 0 0 25 0 1 0 905568558 30625792 6773 4294967295 134512640 134716908 3221224576 3221222928 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7477 6773 1111 63 0 7414 0
vsize: 29908
[startup+370.012 s]
Raw data (loadavg): 1.16 1.03 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 124543 0 2 0 36649 348 0 0 25 0 1 0 905568558 30621696 6772 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7476 6772 1111 63 0 7413 0
vsize: 29904
[startup+380.013 s]
Raw data (loadavg): 1.13 1.03 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 141052 0 2 0 37604 393 0 0 25 0 1 0 905568558 30605312 6768 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7472 6768 1111 63 0 7409 0
vsize: 29888
[startup+390.012 s]
Raw data (loadavg): 1.11 1.03 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 151139 0 2 0 38578 420 0 0 25 0 1 0 905568558 30633984 6775 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7479 6775 1111 63 0 7416 0
vsize: 29916
[startup+400.013 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 164836 0 2 0 39541 457 0 0 25 0 1 0 905568558 30625792 6773 4294967295 134512640 134716908 3221224576 3221221856 1074140374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7477 6773 1111 63 0 7414 0
vsize: 29908
[startup+410.013 s]
Raw data (loadavg): 1.08 1.03 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 180329 0 2 0 40498 500 0 0 25 0 1 0 905568558 40624128 6848 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9918 6848 1111 63 0 9855 0
vsize: 39672
[startup+420.013 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 199605 0 2 0 41446 553 0 0 25 0 1 0 905568558 30609408 6769 4294967295 134512640 134716908 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7473 6769 1111 63 0 7410 0
vsize: 29892
[startup+430.014 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 215608 0 2 0 42402 597 0 0 25 0 1 0 905568558 40628224 8043 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9919 8043 1111 63 0 9856 0
vsize: 39676
[startup+440.013 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 228658 0 2 0 43365 634 0 0 25 0 1 0 905568558 30625792 6773 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7477 6773 1111 63 0 7414 0
vsize: 29908
[startup+450.013 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 243284 0 2 0 44324 675 0 0 25 0 1 0 905568558 30609408 6769 4294967295 134512640 134716908 3221224576 3221222976 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7473 6769 1111 63 0 7410 0
vsize: 29892
[startup+460.013 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 253097 0 2 0 45296 703 0 0 25 0 1 0 905568558 40771584 8051 4294967295 134512640 134716908 3221224576 3221220848 1074960874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9954 8051 1111 63 0 9891 0
vsize: 39816
[startup+470.012 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 262284 0 2 0 46271 728 0 0 25 0 1 0 905568558 37294080 7234 4294967295 134512640 134716908 3221224576 3221221608 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9105 7234 1111 63 0 9042 0
vsize: 36420
[startup+480.012 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 275383 0 2 0 47236 763 0 0 25 0 1 0 905568558 30617600 6771 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7475 6771 1111 63 0 7412 0
vsize: 29900
[startup+490.012 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 288133 0 2 0 48200 799 0 0 25 0 1 0 905568558 30625792 6773 4294967295 134512640 134716908 3221224576 3221222624 1075963516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7477 6773 1111 63 0 7414 0
vsize: 29908
[startup+500.012 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 305963 0 2 0 49152 847 0 0 25 0 1 0 905568558 40624128 6840 4294967295 134512640 134716908 3221224576 3221221232 1075967892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9918 6840 1111 63 0 9855 0
vsize: 39672
[startup+510.012 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 321302 0 2 0 50108 892 0 0 25 0 1 0 905568558 30617600 6771 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7475 6771 1111 63 0 7412 0
vsize: 29900
[startup+520.012 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 337179 0 2 0 51064 936 0 0 25 0 1 0 905568558 40628224 6835 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9919 6835 1111 63 0 9856 0
vsize: 39676
[startup+530.012 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 347651 0 2 0 52036 965 0 0 25 0 1 0 905568558 40624128 7428 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9918 7438 1111 63 0 9855 0
vsize: 39672
[startup+540.013 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 364463 0 2 0 52988 1013 0 0 25 0 1 0 905568558 30609408 6769 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7473 6769 1111 63 0 7410 0
vsize: 29892
[startup+550.014 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 380456 0 2 0 53945 1056 0 0 25 0 1 0 905568558 30609408 6769 4294967295 134512640 134716908 3221224576 3221222924 1074138112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7473 6769 1111 63 0 7410 0
vsize: 29892
[startup+560.013 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 395305 0 2 0 54904 1097 0 0 25 0 1 0 905568558 30638080 6776 4294967295 134512640 134716908 3221224576 3221222576 1074916479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7480 6776 1111 63 0 7417 0
vsize: 29920
[startup+570.013 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 406724 0 2 0 55874 1127 0 0 25 0 1 0 905568558 30601216 6767 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7471 6767 1111 63 0 7408 0
vsize: 29884
[startup+580.013 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 422194 0 2 0 56832 1169 0 0 25 0 1 0 905568558 30613504 6770 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7474 6770 1111 63 0 7411 0
vsize: 29896
[startup+590.012 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 435722 0 2 0 57794 1208 0 0 25 0 1 0 905568558 30621696 6772 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7476 6772 1111 63 0 7413 0
vsize: 29904
[startup+600.013 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 448269 0 2 0 58760 1242 0 0 25 0 1 0 905568558 30609408 6769 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7473 6769 1111 63 0 7410 0
vsize: 29892
[startup+610.014 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 462229 0 2 0 59722 1280 0 0 25 0 1 0 905568558 30617600 6771 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7475 6771 1111 63 0 7412 0
vsize: 29900
[startup+620.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 478792 0 2 0 60678 1324 0 0 25 0 1 0 905568558 40628224 8036 4294967295 134512640 134716908 3221224576 3221220848 1074960964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9919 8036 1111 63 0 9856 0
vsize: 39676
[startup+630.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 498054 0 2 0 61623 1380 0 0 25 0 1 0 905568558 30609408 6769 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7473 6769 1111 63 0 7410 0
vsize: 29892
[startup+640.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 515909 0 2 0 62573 1429 0 0 25 0 1 0 905568558 40620032 6818 4294967295 134512640 134716908 3221224576 3221221120 1075088573 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9917 6818 1111 63 0 9854 0
vsize: 39668
[startup+650.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 531188 0 2 0 63530 1472 0 0 25 0 1 0 905568558 40628224 6852 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9919 6852 1111 63 0 9856 0
vsize: 39676
[startup+660.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 545557 0 2 0 64490 1512 0 0 25 0 1 0 905568558 40624128 6839 4294967295 134512640 134716908 3221224576 3221220456 1074788458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9918 6839 1111 63 0 9855 0
vsize: 39672
[startup+670.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 563794 0 2 0 65441 1562 0 0 25 0 1 0 905568558 30613504 6770 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7474 6770 1111 63 0 7411 0
vsize: 29896
[startup+680.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 579509 0 2 0 66395 1608 0 0 25 0 1 0 905568558 30621696 6772 4294967295 134512640 134716908 3221224576 3221221696 1074865110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7476 6772 1111 63 0 7413 0
vsize: 29904
[startup+690.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 593538 0 2 0 67356 1646 0 0 25 0 1 0 905568558 30617600 6771 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7475 6771 1111 63 0 7412 0
vsize: 29900
[startup+700.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 609401 0 2 0 68312 1690 0 0 25 0 1 0 905568558 30621696 6772 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7476 6772 1111 63 0 7413 0
vsize: 29904
[startup+710.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 623150 0 2 0 69276 1727 0 0 25 0 1 0 905568558 40779776 8054 4294967295 134512640 134716908 3221224576 3221221104 1075397167 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9956 8054 1111 63 0 9893 0
vsize: 39824
[startup+720.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 633931 0 2 0 70245 1757 0 0 25 0 1 0 905568558 30617600 6771 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7475 6771 1111 63 0 7412 0
vsize: 29900
[startup+730.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 647969 0 2 0 71207 1796 0 0 25 0 1 0 905568558 30621696 6772 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7476 6772 1111 63 0 7413 0
vsize: 29904
[startup+740.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 662948 0 2 0 72164 1839 0 0 25 0 1 0 905568558 30617600 6771 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7475 6771 1111 63 0 7412 0
vsize: 29900
[startup+750.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 679246 0 2 0 73120 1883 0 0 25 0 1 0 905568558 30621696 6772 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7476 6772 1111 63 0 7413 0
vsize: 29904
[startup+760.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 692067 0 2 0 74085 1919 0 0 25 0 1 0 905568558 40628224 7029 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9919 7038 1111 63 0 9856 0
vsize: 39676
[startup+770.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 702606 0 2 0 75057 1946 0 0 25 0 1 0 905568558 40792064 8066 4294967295 134512640 134716908 3221224576 3221220608 1074790236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9959 8066 1111 63 0 9896 0
vsize: 39836
[startup+780.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 716591 0 2 0 76019 1985 0 0 25 0 1 0 905568558 30621696 6772 4294967295 134512640 134716908 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7476 6772 1111 63 0 7413 0
vsize: 29904
[startup+790.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 729049 0 2 0 76984 2020 0 0 25 0 1 0 905568558 40845312 8061 4294967295 134512640 134716908 3221224576 3221221088 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9972 8061 1111 63 0 9909 0
vsize: 39888
[startup+800.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 744318 0 2 0 77943 2061 0 0 25 0 1 0 905568558 40628224 8036 4294967295 134512640 134716908 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9919 8036 1111 63 0 9856 0
vsize: 39676
[startup+810.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 758803 0 2 0 78902 2102 0 0 25 0 1 0 905568558 40624128 6845 4294967295 134512640 134716908 3221224576 3221220804 1075115028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9918 6845 1111 63 0 9855 0
vsize: 39672
[startup+820.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 775325 0 2 0 79857 2148 0 0 25 0 1 0 905568558 30605312 6768 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7472 6768 1111 63 0 7409 0
vsize: 29888
[startup+830.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 789155 0 2 0 80820 2185 0 0 25 0 1 0 905568558 40636416 8054 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9921 8054 1111 63 0 9858 0
vsize: 39684
[startup+840.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 801852 0 2 0 81785 2220 0 0 25 0 1 0 905568558 40628224 8043 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9919 8043 1111 63 0 9856 0
vsize: 39676
[startup+850.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 814847 0 2 0 82749 2256 0 0 25 0 1 0 905568558 30625792 6773 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7477 6773 1111 63 0 7414 0
vsize: 29908
[startup+860.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 830500 0 2 0 83705 2300 0 0 25 0 1 0 905568558 37289984 7222 4294967295 134512640 134716908 3221224576 3221221696 1074837194 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8290 7190 1111 63 0 8227 0
vsize: 36416
[startup+870.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 842059 0 2 0 84673 2332 0 0 25 0 1 0 905568558 30613504 6770 4294967295 134512640 134716908 3221224576 3221222760 1077377392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7474 6770 1111 63 0 7411 0
vsize: 29896
[startup+880.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 853943 0 2 0 85641 2365 0 0 25 0 1 0 905568558 30625792 6773 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7477 6773 1111 63 0 7414 0
vsize: 29908
[startup+890.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 864463 0 2 0 86614 2392 0 0 25 0 1 0 905568558 30625792 6773 4294967295 134512640 134716908 3221224576 3221222960 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7477 6773 1111 63 0 7414 0
vsize: 29908
[startup+900.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 874795 0 2 0 87585 2421 0 0 25 0 1 0 905568558 41091072 7033 4294967295 134512640 134716908 3221224576 3221220848 1074960868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10032 7033 1111 63 0 9969 0
vsize: 40128
[startup+910.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 887808 0 2 0 88550 2457 0 0 25 0 1 0 905568558 40636416 6895 4294967295 134512640 134716908 3221224576 3221220804 1075115070 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9921 6895 1111 63 0 9858 0
vsize: 39684
[startup+920.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 902802 0 2 0 89509 2498 0 0 25 0 1 0 905568558 41140224 8144 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10044 8144 1111 63 0 9981 0
vsize: 40176
[startup+930.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 917128 0 2 0 90469 2538 0 0 25 0 1 0 905568558 30621696 6772 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7476 6772 1111 63 0 7413 0
vsize: 29904
[startup+940.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 931448 0 2 0 91430 2577 0 0 25 0 1 0 905568558 30605312 6768 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7472 6768 1111 63 0 7409 0
vsize: 29888
[startup+950.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 945225 0 2 0 92391 2616 0 0 25 0 1 0 905568558 40628224 8054 4294967295 134512640 134716908 3221224576 3221220824 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9919 8054 1111 63 0 9856 0
vsize: 39676
[startup+960.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 962091 0 2 0 93343 2664 0 0 25 0 1 0 905568558 30605312 6768 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7472 6768 1111 63 0 7409 0
vsize: 29888
[startup+970.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 974834 0 2 0 94308 2699 0 0 25 0 1 0 905568558 30621696 6772 4294967295 134512640 134716908 3221224576 3221222960 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7476 6772 1111 63 0 7413 0
vsize: 29904
[startup+980.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 987701 0 2 0 95274 2734 0 0 25 0 1 0 905568558 30617600 6771 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7475 6771 1111 63 0 7412 0
vsize: 29900
[startup+990.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 1004161 0 2 0 96228 2780 0 0 25 0 1 0 905568558 40628224 8044 4294967295 134512640 134716908 3221224576 3221220848 1074960795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9919 8044 1111 63 0 9856 0
vsize: 39676
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 1019418 0 2 0 97185 2823 0 0 25 0 1 0 905568558 30605312 6768 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7472 6768 1111 63 0 7409 0
vsize: 29888
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 1030951 0 2 0 98154 2855 0 0 25 0 1 0 905568558 40845312 8067 4294967295 134512640 134716908 3221224576 3221220512 1075965301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9972 8067 1111 63 0 9909 0
vsize: 39888
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 1045340 0 2 0 99113 2895 0 0 25 0 1 0 905568558 40628224 8047 4294967295 134512640 134716908 3221224576 3221220944 1075894554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9919 8047 1111 63 0 9856 0
vsize: 39676
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 1059496 0 2 0 100074 2934 0 0 25 0 1 0 905568558 41099264 8154 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10034 8154 1111 63 0 9971 0
vsize: 40136
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 1069850 0 2 0 101046 2963 0 0 25 0 1 0 905568558 30633984 6775 4294967295 134512640 134716908 3221224576 3221222576 1074919272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7479 6775 1111 63 0 7416 0
vsize: 29916
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 1082522 0 2 0 102012 2997 0 0 25 0 1 0 905568558 40628224 7849 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9919 7857 1111 63 0 9856 0
vsize: 39676
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 1095424 0 2 0 102978 3031 0 0 25 0 1 0 905568558 30613504 6770 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7474 6770 1111 63 0 7411 0
vsize: 29896
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 1113118 0 2 0 103929 3080 0 0 25 0 1 0 905568558 30609408 6769 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7473 6769 1111 63 0 7410 0
vsize: 29892
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 1126934 0 2 0 104892 3118 0 0 25 0 1 0 905568558 30625792 6773 4294967295 134512640 134716908 3221224576 3221222544 1075810705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7477 6773 1111 63 0 7414 0
vsize: 29908
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 1140709 0 2 0 105854 3156 0 0 25 0 1 0 905568558 30621696 6772 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7476 6772 1111 63 0 7413 0
vsize: 29904
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 1153122 0 2 0 106821 3189 0 0 25 0 1 0 905568558 37646336 7313 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9191 7313 1111 63 0 9128 0
vsize: 36764
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 1162750 0 2 0 107793 3217 0 0 25 0 1 0 905568558 30625792 6773 4294967295 134512640 134716908 3221224576 3221222464 1074050928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7477 6773 1111 63 0 7414 0
vsize: 29908
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 1174062 0 2 0 108761 3249 0 0 25 0 1 0 905568558 30617600 6771 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7475 6771 1111 63 0 7412 0
vsize: 29900
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 1186592 0 2 0 109726 3284 0 0 25 0 1 0 905568558 40624128 6845 4294967295 134512640 134716908 3221224576 3221221496 1075964771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9918 6845 1111 63 0 9855 0
vsize: 39672
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 1197760 0 2 0 110694 3315 0 0 25 0 1 0 905568558 30617600 6771 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7475 6771 1111 63 0 7412 0
vsize: 29900
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 1209144 0 2 0 111661 3348 0 0 25 0 1 0 905568558 30605312 6768 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7472 6768 1111 63 0 7409 0
vsize: 29888
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 1217942 0 2 0 112638 3372 0 0 25 0 1 0 905568558 40779776 6903 4294967295 134512640 134716908 3221224576 3221220784 1076079393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9956 6903 1111 63 0 9893 0
vsize: 39824
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 1229111 0 2 0 113606 3404 0 0 25 0 1 0 905568558 40636416 6868 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9921 6868 1111 63 0 9858 0
vsize: 39684
[startup+1175.83 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 17168
Raw data (stat): 17168 (bsolo_lpr_cuts-) R 17167 31399 31398 0 -1 0 1229111 0 2 0 113606 3404 0 0 25 0 1 0 905568558 40636416 6868 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9921 6868 1111 63 0 9858 0
vsize: 0

Child status: 10
Real time (s): 1175.83
CPU time (s): 1175.91
CPU user time (s): 1141.65
CPU system time (s): 34.2518
CPU usage (%): 100.007
Max. virtual memory (Kb): 40968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-19
#### END VERIFIER DATA ####