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-5.opb
MD5SUM	00a81d808a7a59d6e11f17e19e68d826
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.04884
Number of variables	450
Total number of constraints	17794
Number of constraints which are clauses	17794
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 24728

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 04:54:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2855 boxname=wulflinc31 idbench=318 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  00a81d808a7a59d6e11f17e19e68d826  /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-5.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-5.opb
IDLAUNCH: 2855
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        897108 kB
Buffers:         29360 kB
Cached:          86888 kB
SwapCached:       1936 kB
Active:          72128 kB
Inactive:        47252 kB
HighTotal:      131008 kB
HighFree:        43316 kB
LowTotal:       903652 kB
LowFree:        853792 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12560 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 05:14:31 (client local time) WITH STATUS 10 IN 1175.1 SECONDS
stats: 2855 0 1175.1 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 450 variables and 17794 constraints.
c After prepocess the problem consists of 450 variables and 13354 constraints.
c preprocess terminated 86.964 s
c Initial Lower Bound: -48
c Lower Bound Elapsed time: 212.955
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -2 @ 300.146
c NEW SOLUTION FOUND: -3 @ 300.164
c NEW SOLUTION FOUND: -4 @ 300.178
c NEW SOLUTION FOUND: -5 @ 300.188
c NEW SOLUTION FOUND: -6 @ 300.199
c NEW SOLUTION FOUND: -7 @ 300.21
c NEW SOLUTION FOUND: -8 @ 300.232
c NEW SOLUTION FOUND: -9 @ 300.252
c NEW SOLUTION FOUND: -10 @ 300.327
c NEW SOLUTION FOUND: -11 @ 300.368
c NEW SOLUTION FOUND: -12 @ 302.29
c NEW SOLUTION FOUND: -13 @ 306.146
c NEW SOLUTION FOUND: -14 @ 307.862
c NEW SOLUTION FOUND: -15 @ 315.435
c NEW SOLUTION FOUND: -16 @ 321.602
c NEW SOLUTION FOUND: -17 @ 355.619
c NEW SOLUTION FOUND: -18 @ 640.34
c NEW SOLUTION FOUND: -19 @ 1067
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.06 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.84 0.94 0.98 2/55 6541
Raw data (stat): 6541 (runsolver) R 6540 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 723806604 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 0.87 0.94 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 6392 0 0 0 979 16 0 0 25 0 1 0 723806604 29167616 6289 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7121 6289 1111 63 0 7058 0
vsize: 28484
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.94 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 6392 0 0 0 1979 16 0 0 25 0 1 0 723806604 29167616 6289 4294967295 134512640 134714508 3221221776 3221220264 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7121 6289 1111 63 0 7058 0
vsize: 28484
[startup+30.0022 s]
Raw data (loadavg): 0.90 0.94 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 6392 0 0 0 2979 16 0 0 25 0 1 0 723806604 29167616 6289 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7121 6289 1111 63 0 7058 0
vsize: 28484
[startup+40.0018 s]
Raw data (loadavg): 0.92 0.94 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 6392 0 0 0 3979 16 0 0 25 0 1 0 723806604 29167616 6289 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7121 6289 1111 63 0 7058 0
vsize: 28484
[startup+50.0027 s]
Raw data (loadavg): 0.93 0.94 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 6392 0 0 0 4980 16 0 0 25 0 1 0 723806604 29167616 6289 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7121 6289 1111 63 0 7058 0
vsize: 28484
[startup+60.0029 s]
Raw data (loadavg): 0.94 0.95 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 6392 0 0 0 5980 16 0 0 25 0 1 0 723806604 29167616 6289 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7121 6289 1111 63 0 7058 0
vsize: 28484
[startup+70.0036 s]
Raw data (loadavg): 0.95 0.95 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 6392 0 0 0 6980 17 0 0 25 0 1 0 723806604 29167616 6289 4294967295 134512640 134714508 3221221776 3221220424 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7121 6289 1111 63 0 7058 0
vsize: 28484
[startup+80.0045 s]
Raw data (loadavg): 0.96 0.95 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 6392 0 0 0 7980 17 0 0 25 0 1 0 723806604 29167616 6289 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7121 6289 1111 63 0 7058 0
vsize: 28484
[startup+90.0051 s]
Raw data (loadavg): 0.96 0.95 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 6864 0 0 0 8979 18 0 0 25 0 1 0 723806604 31199232 6761 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7617 6761 1111 63 0 7554 0
vsize: 30468
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 7068 0 0 0 9977 19 0 0 25 0 1 0 723806604 31965184 6965 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7804 6965 1111 63 0 7741 0
vsize: 31216
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 7107 0 0 0 10977 20 0 0 25 0 1 0 723806604 32247808 7004 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7873 7004 1111 63 0 7810 0
vsize: 31492
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 7144 0 0 0 11976 21 0 0 25 0 1 0 723806604 32370688 7041 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7903 7041 1111 63 0 7840 0
vsize: 31612
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 10291 0 0 0 12969 28 0 0 25 0 1 0 723806604 41791488 8879 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10203 8879 1111 63 0 10140 0
vsize: 40812
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 10382 0 0 0 13968 29 0 0 25 0 1 0 723806604 42004480 8970 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10255 8970 1111 63 0 10192 0
vsize: 41020
[startup+150.009 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 10437 0 0 0 14968 29 0 0 25 0 1 0 723806604 42229760 9025 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10310 9025 1111 63 0 10247 0
vsize: 41240
[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 10506 0 0 0 15968 29 0 0 25 0 1 0 723806604 42463232 9094 4294967295 134512640 134714508 3221221776 3221218616 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10367 9094 1111 63 0 10304 0
vsize: 41468
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 10519 0 0 0 16968 29 0 0 25 0 1 0 723806604 42708992 9107 4294967295 134512640 134714508 3221221776 3221218676 1075964044 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10427 9107 1111 63 0 10364 0
vsize: 41708
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 10557 0 0 0 17968 30 0 0 25 0 1 0 723806604 42708992 9145 4294967295 134512640 134714508 3221221776 3221217936 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10427 9145 1111 63 0 10364 0
vsize: 41708
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 10608 0 0 0 18968 30 0 0 25 0 1 0 723806604 42967040 9196 4294967295 134512640 134714508 3221221776 3221217924 1075115070 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10490 9196 1111 63 0 10427 0
vsize: 41960
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 10611 0 0 0 19968 30 0 0 25 0 1 0 723806604 42967040 9197 4294967295 134512640 134714508 3221221776 3221217968 1074960865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10490 9197 1111 63 0 10427 0
vsize: 41960
[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 10673 0 0 0 20969 30 0 0 25 0 1 0 723806604 43233280 9259 4294967295 134512640 134714508 3221221776 3221217856 1074794472 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10555 9259 1111 63 0 10492 0
vsize: 42220
[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 10741 0 0 0 21969 30 0 0 25 0 1 0 723806604 43524096 9327 4294967295 134512640 134714508 3221221776 3221217968 1074960795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10626 9327 1111 63 0 10563 0
vsize: 42504
[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 10804 0 0 0 22969 30 0 0 25 0 1 0 723806604 43819008 9390 4294967295 134512640 134714508 3221221776 3221217604 1074786553 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10698 9390 1111 63 0 10635 0
vsize: 42792
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 10883 0 0 0 23969 30 0 0 25 0 1 0 723806604 44130304 9469 4294967295 134512640 134714508 3221221776 3221217632 1075965232 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10774 9469 1111 63 0 10711 0
vsize: 43096
[startup+250.012 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 10884 0 0 0 24969 31 0 0 25 0 1 0 723806604 44130304 9470 4294967295 134512640 134714508 3221221776 3221218064 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10774 9470 1111 63 0 10711 0
vsize: 43096
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 10901 0 0 0 25969 31 0 0 25 0 1 0 723806604 44130304 9487 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10774 9487 1111 63 0 10711 0
vsize: 43096
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 10908 0 0 0 26969 31 0 0 25 0 1 0 723806604 44130304 9494 4294967295 134512640 134714508 3221221776 3221217628 1074788162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10774 9494 1111 63 0 10711 0
vsize: 43096
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 10909 0 0 0 27969 31 0 0 25 0 1 0 723806604 44130304 9495 4294967295 134512640 134714508 3221221776 3221217924 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10774 9495 1111 63 0 10711 0
vsize: 43096
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 14623 0 0 0 28960 40 0 0 25 0 1 0 723806604 35794944 7977 4294967295 134512640 134714508 3221221776 3221219848 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8739 7977 1111 63 0 8676 0
vsize: 34956
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 14623 0 0 0 29959 41 0 0 25 0 1 0 723806604 35794944 7977 4294967295 134512640 134714508 3221221776 3221220368 134536680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8739 7977 1111 63 0 8676 0
vsize: 34956
[startup+310.22 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 6541
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 44011 0 0 0 30899 122 0 0 25 0 1 0 723806604 33042432 7354 4294967295 134512640 134714508 3221221776 3221218880 1074138617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8067 7354 1111 63 0 8004 0
vsize: 32268
[startup+320.491 s]
Raw data (loadavg): 1.15 1.00 0.99 3/58 6582
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 53077 0 0 0 31899 149 0 0 25 0 1 0 723806604 33034240 7352 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8065 7352 1111 63 0 8002 0
vsize: 32260
[startup+330.625 s]
Raw data (loadavg): 1.20 1.02 0.99 3/57 6588
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 68611 0 0 0 32870 191 0 0 25 0 1 0 723806604 42917888 8603 4294967295 134512640 134714508 3221221776 3221218048 1074960865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10478 8603 1111 63 0 10415 0
vsize: 41912
[startup+340.626 s]
Raw data (loadavg): 1.32 1.05 1.00 2/55 6594
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 77826 0 0 0 33844 218 0 0 25 0 1 0 723806604 33042432 7362 4294967295 134512640 134714508 3221221776 3221220176 1074153167 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8067 7362 1111 63 0 8004 0
vsize: 32268
[startup+350.754 s]
Raw data (loadavg): 1.27 1.05 1.00 2/55 6594
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 93227 0 0 0 34813 261 0 0 25 0 1 0 723806604 42917888 8598 4294967295 134512640 134714508 3221221776 3221217712 1075965308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10478 8598 1111 63 0 10415 0
vsize: 41912
[startup+360.754 s]
Raw data (loadavg): 1.23 1.05 1.00 2/55 6594
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 109840 0 0 0 35759 307 0 0 25 0 1 0 723806604 42917888 7423 4294967295 134512640 134714508 3221221776 3221218096 1075169850 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10478 7423 1111 63 0 10415 0
vsize: 41912
[startup+370.925 s]
Raw data (loadavg): 1.19 1.05 1.00 2/55 6594
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 127274 0 0 0 36726 357 0 0 25 0 1 0 723806604 33042432 7365 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8067 7365 1111 63 0 8004 0
vsize: 32268
[startup+380.925 s]
Raw data (loadavg): 1.16 1.04 1.00 2/55 6594
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 140998 0 0 0 37688 396 0 0 25 0 1 0 723806604 33042432 7365 4294967295 134512640 134714508 3221221776 3221220080 1073978447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8067 7365 1111 63 0 8004 0
vsize: 32268
[startup+390.925 s]
Raw data (loadavg): 1.29 1.07 1.01 2/55 6594
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 155979 0 0 0 38645 439 0 0 25 0 1 0 723806604 33038336 7364 4294967295 134512640 134714508 3221221776 3221220176 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8066 7364 1111 63 0 8003 0
vsize: 32264
[startup+400.925 s]
Raw data (loadavg): 1.25 1.07 1.01 2/55 6594
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 173635 0 0 0 39598 486 0 0 25 0 1 0 723806604 33042432 7365 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8067 7365 1111 63 0 8004 0
vsize: 32268
[startup+410.925 s]
Raw data (loadavg): 1.21 1.07 1.01 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 189930 0 0 0 40552 532 0 0 25 0 1 0 723806604 33050624 7367 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8069 7367 1111 63 0 8006 0
vsize: 32276
[startup+420.926 s]
Raw data (loadavg): 1.17 1.07 1.01 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 202204 0 0 0 41518 567 0 0 25 0 1 0 723806604 42921984 7441 4294967295 134512640 134714508 3221221776 3221218048 1074960847 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10479 7441 1111 63 0 10416 0
vsize: 41916
[startup+430.926 s]
Raw data (loadavg): 1.15 1.06 1.01 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 217531 0 0 0 42476 609 0 0 25 0 1 0 723806604 33034240 7363 4294967295 134512640 134714508 3221221776 3221219800 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8065 7363 1111 63 0 8002 0
vsize: 32260
[startup+440.926 s]
Raw data (loadavg): 1.12 1.06 1.01 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 231586 0 0 0 43438 647 0 0 25 0 1 0 723806604 42917888 7426 4294967295 134512640 134714508 3221221776 3221218016 1075115712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10478 7426 1111 63 0 10415 0
vsize: 41912
[startup+450.926 s]
Raw data (loadavg): 1.10 1.06 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 247875 0 0 0 44392 693 0 0 25 0 1 0 723806604 42930176 8628 4294967295 134512640 134714508 3221221776 3221218316 1075118208 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10481 8628 1111 63 0 10418 0
vsize: 41924
[startup+460.926 s]
Raw data (loadavg): 1.09 1.06 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 259346 0 0 0 45360 725 0 0 25 0 1 0 723806604 42913792 7428 4294967295 134512640 134714508 3221221776 3221218144 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10477 7428 1111 63 0 10414 0
vsize: 41908
[startup+470.927 s]
Raw data (loadavg): 1.07 1.05 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 274516 0 0 0 46317 768 0 0 25 0 1 0 723806604 33038336 7364 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8066 7364 1111 63 0 8003 0
vsize: 32264
[startup+480.927 s]
Raw data (loadavg): 1.06 1.05 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 289070 0 0 0 47277 808 0 0 25 0 1 0 723806604 42921984 8086 4294967295 134512640 134714508 3221221776 3221217936 1075095344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10479 8095 1111 63 0 10416 0
vsize: 41916
[startup+490.927 s]
Raw data (loadavg): 1.05 1.05 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 303355 0 0 0 48236 849 0 0 25 0 1 0 723806604 33042432 7365 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8067 7365 1111 63 0 8004 0
vsize: 32268
[startup+500.927 s]
Raw data (loadavg): 1.04 1.05 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 319451 0 0 0 49192 894 0 0 25 0 1 0 723806604 33034240 7363 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8065 7363 1111 63 0 8002 0
vsize: 32260
[startup+510.927 s]
Raw data (loadavg): 1.04 1.05 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 333054 0 0 0 50155 931 0 0 25 0 1 0 723806604 39645184 7854 4294967295 134512640 134714508 3221221776 3221218544 1076083593 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9679 7854 1111 63 0 9616 0
vsize: 38716
[startup+520.929 s]
Raw data (loadavg): 1.03 1.04 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 340194 0 0 0 51135 951 0 0 25 0 1 0 723806604 33046528 7366 4294967295 134512640 134714508 3221221776 3221220160 1074153753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8068 7366 1111 63 0 8005 0
vsize: 32272
[startup+530.928 s]
Raw data (loadavg): 1.02 1.04 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 349959 0 0 0 52108 978 0 0 25 0 1 0 723806604 42921984 7449 4294967295 134512640 134714508 3221221776 3221218004 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10479 7449 1111 63 0 10416 0
vsize: 41916
[startup+540.928 s]
Raw data (loadavg): 1.02 1.04 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 363553 0 0 0 53071 1015 0 0 25 0 1 0 723806604 33034240 7371 4294967295 134512640 134714508 3221221776 3221220176 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8065 7371 1111 63 0 8002 0
vsize: 32260
[startup+550.929 s]
Raw data (loadavg): 1.02 1.04 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 378511 0 0 0 54031 1056 0 0 25 0 1 0 723806604 33038336 7372 4294967295 134512640 134714508 3221221776 3221219776 1074052276 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8066 7372 1111 63 0 8003 0
vsize: 32264
[startup+560.929 s]
Raw data (loadavg): 1.01 1.04 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 394989 0 0 0 54986 1101 0 0 25 0 1 0 723806604 42917888 7436 4294967295 134512640 134714508 3221221776 3221218024 1077410165 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10478 7436 1111 63 0 10415 0
vsize: 41912
[startup+570.93 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 408940 0 0 0 55948 1139 0 0 25 0 1 0 723806604 33030144 7370 4294967295 134512640 134714508 3221221776 3221220176 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8064 7370 1111 63 0 8001 0
vsize: 32256
[startup+580.93 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 421748 0 0 0 56913 1175 0 0 25 0 1 0 723806604 33038336 7372 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8066 7372 1111 63 0 8003 0
vsize: 32264
[startup+590.93 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 435579 0 0 0 57876 1211 0 0 25 0 1 0 723806604 42921984 8620 4294967295 134512640 134714508 3221221776 3221218016 1075115734 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10479 8620 1111 63 0 10416 0
vsize: 41916
[startup+600.93 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 446809 0 0 0 58845 1243 0 0 25 0 1 0 723806604 33042432 7373 4294967295 134512640 134714508 3221221776 3221220160 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8067 7373 1111 63 0 8004 0
vsize: 32268
[startup+610.93 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 461875 0 0 0 59804 1284 0 0 25 0 1 0 723806604 33034240 7371 4294967295 134512640 134714508 3221221776 3221220176 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8065 7371 1111 63 0 8002 0
vsize: 32260
[startup+620.932 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 475167 0 0 0 60767 1321 0 0 25 0 1 0 723806604 33038336 7372 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8066 7372 1111 63 0 8003 0
vsize: 32264
[startup+630.932 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 488377 0 0 0 61730 1358 0 0 25 0 1 0 723806604 33038336 7372 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8066 7372 1111 63 0 8003 0
vsize: 32264
[startup+640.932 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 498937 0 0 0 62700 1389 0 0 25 0 1 0 723806604 33034240 7371 4294967295 134512640 134714508 3221221776 3221220176 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8065 7371 1111 63 0 8002 0
vsize: 32260
[startup+650.933 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 509998 0 0 0 63669 1419 0 0 25 0 1 0 723806604 42930176 8630 4294967295 134512640 134714508 3221221776 3221218216 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10481 8630 1111 63 0 10418 0
vsize: 41924
[startup+660.932 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 524680 0 0 0 64629 1459 0 0 25 0 1 0 723806604 42917888 8443 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10478 8448 1111 63 0 10415 0
vsize: 41912
[startup+670.934 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6596
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 537718 0 0 0 65592 1496 0 0 25 0 1 0 723806604 33046528 7374 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8068 7374 1111 63 0 8005 0
vsize: 32272
[startup+680.934 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 553964 0 0 0 66546 1543 0 0 25 0 1 0 723806604 33030144 7370 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8064 7370 1111 63 0 8001 0
vsize: 32256
[startup+690.934 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 567761 0 0 0 67508 1581 0 0 25 0 1 0 723806604 42917888 7444 4294967295 134512640 134714508 3221221776 3221218016 1075115712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10478 7444 1111 63 0 10415 0
vsize: 41912
[startup+700.934 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 585097 0 0 0 68461 1628 0 0 25 0 1 0 723806604 33050624 7375 4294967295 134512640 134714508 3221221776 3221219888 1074867325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8069 7375 1111 63 0 8006 0
vsize: 32276
[startup+710.934 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 601291 0 0 0 69418 1671 0 0 25 0 1 0 723806604 42930176 8639 4294967295 134512640 134714508 3221221776 3221218048 1074960789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10481 8639 1111 63 0 10418 0
vsize: 41924
[startup+720.935 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 614862 0 0 0 70380 1710 0 0 25 0 1 0 723806604 33034240 7371 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8065 7371 1111 63 0 8002 0
vsize: 32260
[startup+730.936 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 629996 0 0 0 71339 1751 0 0 25 0 1 0 723806604 33038336 7372 4294967295 134512640 134714508 3221221776 3221220176 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8066 7372 1111 63 0 8003 0
vsize: 32264
[startup+740.936 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 644640 0 0 0 72299 1791 0 0 25 0 1 0 723806604 42917888 8079 4294967295 134512640 134714508 3221221776 3221217936 1075095344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10478 8088 1111 63 0 10415 0
vsize: 41912
[startup+750.937 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 661868 0 0 0 73250 1840 0 0 25 0 1 0 723806604 33042432 7373 4294967295 134512640 134714508 3221221776 3221219776 1074916476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8067 7373 1111 63 0 8004 0
vsize: 32268
[startup+760.938 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 674839 0 0 0 74214 1877 0 0 25 0 1 0 723806604 42930176 7476 4294967295 134512640 134714508 3221221776 3221218004 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10481 7476 1111 63 0 10418 0
vsize: 41924
[startup+770.938 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 691212 0 0 0 75169 1922 0 0 25 0 1 0 723806604 42921984 7476 4294967295 134512640 134714508 3221221776 3221217936 1075094796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10479 7476 1111 63 0 10416 0
vsize: 41916
[startup+780.938 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 707588 0 0 0 76123 1967 0 0 25 0 1 0 723806604 33026048 7369 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8063 7369 1111 63 0 8000 0
vsize: 32252
[startup+790.938 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 721513 0 0 0 77086 2005 0 0 25 0 1 0 723806604 33042432 7373 4294967295 134512640 134714508 3221221776 3221220176 1074153753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8067 7373 1111 63 0 8004 0
vsize: 32268
[startup+800.938 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 737924 0 0 0 78040 2051 0 0 25 0 1 0 723806604 33046528 7374 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8068 7374 1111 63 0 8005 0
vsize: 32272
[startup+810.939 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 753267 0 0 0 78997 2095 0 0 25 0 1 0 723806604 33034240 7371 4294967295 134512640 134714508 3221221776 3221220176 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8065 7371 1111 63 0 8002 0
vsize: 32260
[startup+820.938 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 768225 0 0 0 79955 2136 0 0 25 0 1 0 723806604 33042432 7373 4294967295 134512640 134714508 3221221776 3221219776 1074918069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8067 7373 1111 63 0 8004 0
vsize: 32268
[startup+830.939 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 784357 0 0 0 80911 2181 0 0 25 0 1 0 723806604 33038336 7372 4294967295 134512640 134714508 3221221776 3221220160 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8066 7372 1111 63 0 8003 0
vsize: 32264
[startup+840.939 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 797838 0 0 0 81874 2218 0 0 25 0 1 0 723806604 42930176 8631 4294967295 134512640 134714508 3221221776 3221217776 1075965311 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10481 8631 1111 63 0 10418 0
vsize: 41924
[startup+850.94 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 807667 0 0 0 82847 2245 0 0 25 0 1 0 723806604 33050624 7375 4294967295 134512640 134714508 3221221776 3221220176 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8069 7375 1111 63 0 8006 0
vsize: 32276
[startup+860.94 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 821373 0 0 0 83810 2282 0 0 25 0 1 0 723806604 33042432 7373 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8067 7373 1111 63 0 8004 0
vsize: 32268
[startup+870.94 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 833583 0 0 0 84776 2317 0 0 25 0 1 0 723806604 33046528 7374 4294967295 134512640 134714508 3221221776 3221219800 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8068 7374 1111 63 0 8005 0
vsize: 32272
[startup+880.941 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 849681 0 0 0 85732 2361 0 0 25 0 1 0 723806604 33042432 7373 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8067 7373 1111 63 0 8004 0
vsize: 32268
[startup+890.942 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 865184 0 0 0 86687 2406 0 0 25 0 1 0 723806604 39624704 7808 4294967295 134512640 134714508 3221221776 3221218840 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9674 7808 1111 63 0 9611 0
vsize: 38696
[startup+900.943 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 880253 0 0 0 87648 2445 0 0 25 0 1 0 723806604 39641088 7846 4294967295 134512640 134714508 3221221776 3221218376 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9678 7846 1111 63 0 9615 0
vsize: 38712
[startup+910.943 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 896684 0 0 0 88602 2491 0 0 25 0 1 0 723806604 42930176 7470 4294967295 134512640 134714508 3221221776 3221218048 1074961295 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10481 7470 1111 63 0 10418 0
vsize: 41924
[startup+920.943 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 909042 0 0 0 89568 2525 0 0 25 0 1 0 723806604 42921984 7473 4294967295 134512640 134714508 3221221776 3221218048 1074960964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10479 7473 1111 63 0 10416 0
vsize: 41916
[startup+930.944 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 921256 0 0 0 90534 2560 0 0 25 0 1 0 723806604 42930176 7470 4294967295 134512640 134714508 3221221776 3221218048 1074961253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10481 7470 1111 63 0 10418 0
vsize: 41924
[startup+940.943 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 939373 0 0 0 91485 2609 0 0 25 0 1 0 723806604 33034240 7371 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8065 7371 1111 63 0 8002 0
vsize: 32260
[startup+950.943 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 957839 0 0 0 92434 2659 0 0 25 0 1 0 723806604 33046528 7374 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8068 7374 1111 63 0 8005 0
vsize: 32272
[startup+960.944 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 973991 0 0 0 93390 2704 0 0 25 0 1 0 723806604 33046528 7374 4294967295 134512640 134714508 3221221776 3221220176 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8068 7374 1111 63 0 8005 0
vsize: 32272
[startup+970.944 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 988832 0 0 0 94347 2747 0 0 25 0 1 0 723806604 42921984 7471 4294967295 134512640 134714508 3221221776 3221218848 1074867220 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10479 7471 1111 63 0 10416 0
vsize: 41916
[startup+980.944 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 1002290 0 0 0 95312 2782 0 0 25 0 1 0 723806604 42930176 8633 4294967295 134512640 134714508 3221221776 3221218108 1076111473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10481 8633 1111 63 0 10418 0
vsize: 41924
[startup+990.945 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 1019822 0 0 0 96265 2830 0 0 25 0 1 0 723806604 33038336 7372 4294967295 134512640 134714508 3221221776 3221220368 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8066 7372 1111 63 0 8003 0
vsize: 32264
[startup+1000.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 1036232 0 0 0 97220 2874 0 0 25 0 1 0 723806604 33038336 7372 4294967295 134512640 134714508 3221221776 3221220176 1074153835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8066 7372 1111 63 0 8003 0
vsize: 32264
[startup+1010.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 1049785 0 0 0 98182 2913 0 0 25 0 1 0 723806604 33046528 7374 4294967295 134512640 134714508 3221221776 3221219728 1073986813 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8068 7374 1111 63 0 8005 0
vsize: 32272
[startup+1020.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 1063984 0 0 0 99142 2953 0 0 25 0 1 0 723806604 33026048 7369 4294967295 134512640 134714508 3221221776 3221220176 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8063 7369 1111 63 0 8000 0
vsize: 32252
[startup+1030.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 1079241 0 0 0 100100 2995 0 0 25 0 1 0 723806604 33042432 7373 4294967295 134512640 134714508 3221221776 3221219120 1074839039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8067 7373 1111 63 0 8004 0
vsize: 32268
[startup+1040.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 1098227 0 0 0 101048 3048 0 0 25 0 1 0 723806604 33038336 7372 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8066 7372 1111 63 0 8003 0
vsize: 32264
[startup+1050.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 1115571 0 0 0 102001 3095 0 0 25 0 1 0 723806604 42930176 8645 4294967295 134512640 134714508 3221221776 3221218048 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10481 8645 1111 63 0 10418 0
vsize: 41924
[startup+1060.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 1126570 0 0 0 102969 3127 0 0 25 0 1 0 723806604 33058816 7377 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8071 7377 1111 63 0 8008 0
vsize: 32284
[startup+1070.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 1141873 0 0 0 103926 3169 0 0 25 0 1 0 723806604 43089920 8653 4294967295 134512640 134714508 3221221776 3221218048 1074960843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10520 8653 1111 63 0 10457 0
vsize: 42080
[startup+1080.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 1154602 0 0 0 104891 3205 0 0 25 0 1 0 723806604 33046528 7374 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8068 7374 1111 63 0 8005 0
vsize: 32272
[startup+1090.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 1169497 0 0 0 105849 3247 0 0 25 0 1 0 723806604 42930176 7457 4294967295 134512640 134714508 3221221776 3221217924 1075964409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10481 7457 1111 63 0 10418 0
vsize: 41924
[startup+1100.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 1178088 0 0 0 106826 3270 0 0 25 0 1 0 723806604 33042432 7373 4294967295 134512640 134714508 3221221776 3221220160 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8067 7373 1111 63 0 8004 0
vsize: 32268
[startup+1110.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 1187739 0 0 0 107800 3296 0 0 25 0 1 0 723806604 33058816 7377 4294967295 134512640 134714508 3221221776 3221220160 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8071 7377 1111 63 0 8008 0
vsize: 32284
[startup+1120.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 1200318 0 0 0 108765 3331 0 0 25 0 1 0 723806604 33042432 7373 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8067 7373 1111 63 0 8004 0
vsize: 32268
[startup+1130.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 1214526 0 0 0 109725 3371 0 0 25 0 1 0 723806604 33030144 7370 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8064 7370 1111 63 0 8001 0
vsize: 32256
[startup+1140.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 1227595 0 0 0 110688 3409 0 0 25 0 1 0 723806604 42913792 7384 4294967295 134512640 134714508 3221221776 3221218928 1075969885 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10477 7389 1111 63 0 10414 0
vsize: 41908
[startup+1150.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 1243316 0 0 0 111644 3453 0 0 25 0 1 0 723806604 42934272 8218 4294967295 134512640 134714508 3221221776 3221217936 1075095344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10482 8226 1111 63 0 10419 0
vsize: 41928
[startup+1160.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 1254911 0 0 0 112610 3487 0 0 25 0 1 0 723806604 42917888 7434 4294967295 134512640 134714508 3221221776 3221218096 1075169966 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10478 7434 1111 63 0 10415 0
vsize: 41912
[startup+1170.95 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 1267243 0 0 0 113575 3522 0 0 25 0 1 0 723806604 42930176 7524 4294967295 134512640 134714508 3221221776 3221218048 1074960912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10481 7524 1111 63 0 10418 0
vsize: 41924
[startup+1175.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 6598
Raw data (stat): 6541 (bsolo_lpr_cuts) R 6540 7876 7672 0 -1 0 1267243 0 0 0 113575 3522 0 0 25 0 1 0 723806604 42930176 7524 4294967295 134512640 134714508 3221221776 3221218048 1074960912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10481 7524 1111 63 0 10418 0
vsize: 0

Child status: 10
Real time (s): 1175.07
CPU time (s): 1175.1
CPU user time (s): 1139.71
CPU system time (s): 35.3866
CPU usage (%): 100.003
Max. virtual memory (Kb): 43096
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-19
#### END VERIFIER DATA ####