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-3.opb
MD5SUM	063fe125a766c5e46d0ecbf211fd8049
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.04584
Number of variables	450
Total number of constraints	17809
Number of constraints which are clauses	17809
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 24718

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 01:34:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2837 boxname=wulflinc31 idbench=316 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  063fe125a766c5e46d0ecbf211fd8049  /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-3.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-3.opb
IDLAUNCH: 2837
/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:        903072 kB
Buffers:         24100 kB
Cached:          86028 kB
SwapCached:       1936 kB
Active:          60572 kB
Inactive:        52712 kB
HighTotal:      131008 kB
HighFree:        44072 kB
LowTotal:       903652 kB
LowFree:        859000 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12512 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 01:54:12 (client local time) WITH STATUS 10 IN 1176.85 SECONDS
stats: 2837 0 1176.85 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 450 variables and 17809 constraints.
c After prepocess the problem consists of 450 variables and 14316 constraints.
c preprocess terminated 94.096 s
c Initial Lower Bound: -51
c Lower Bound Elapsed time: 224.264
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -4 @ 318.601
c NEW SOLUTION FOUND: -5 @ 318.62
c NEW SOLUTION FOUND: -6 @ 318.696
c NEW SOLUTION FOUND: -7 @ 318.735
c NEW SOLUTION FOUND: -8 @ 318.923
c NEW SOLUTION FOUND: -9 @ 319.247
c NEW SOLUTION FOUND: -10 @ 319.474
c NEW SOLUTION FOUND: -11 @ 319.674
c NEW SOLUTION FOUND: -12 @ 319.974
c NEW SOLUTION FOUND: -13 @ 320.56
c NEW SOLUTION FOUND: -14 @ 322.677
c NEW SOLUTION FOUND: -15 @ 335.209
c NEW SOLUTION FOUND: -16 @ 348.587
c NEW SOLUTION FOUND: -17 @ 365.226
c NEW SOLUTION FOUND: -18 @ 406.196
c NEW SOLUTION FOUND: -19 @ 454.315
c NEW SOLUTION FOUND: -20 @ 729.759
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: 1176.81 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.91 0.97 0.98 2/55 5410
Raw data (stat): 5410 (runsolver) R 5409 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 722604399 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 8266 0 0 0 970 24 0 0 25 0 1 0 722604399 36114432 7961 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8817 7961 1111 63 0 8754 0
vsize: 35268
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 8266 0 0 0 1970 24 0 0 25 0 1 0 722604399 36114432 7961 4294967295 134512640 134714508 3221221776 3221220280 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8817 7961 1111 63 0 8754 0
vsize: 35268
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 8266 0 0 0 2971 24 0 0 25 0 1 0 722604399 36114432 7961 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8817 7961 1111 63 0 8754 0
vsize: 35268
[startup+40.0017 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 8266 0 0 0 3971 24 0 0 25 0 1 0 722604399 36114432 7961 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8817 7961 1111 63 0 8754 0
vsize: 35268
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 8266 0 0 0 4971 24 0 0 25 0 1 0 722604399 36114432 7961 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8817 7961 1111 63 0 8754 0
vsize: 35268
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 8266 0 0 0 5971 24 0 0 25 0 1 0 722604399 36114432 7961 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8817 7961 1111 63 0 8754 0
vsize: 35268
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 8266 0 0 0 6971 24 0 0 25 0 1 0 722604399 36114432 7961 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8817 7961 1111 63 0 8754 0
vsize: 35268
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 8266 0 0 0 7971 24 0 0 25 0 1 0 722604399 36114432 7961 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8817 7961 1111 63 0 8754 0
vsize: 35268
[startup+90.004 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 8267 0 0 0 8971 24 0 0 25 0 1 0 722604399 36114432 7962 4294967295 134512640 134714508 3221221776 3221220552 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8817 7962 1111 63 0 8754 0
vsize: 35268
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 8368 0 0 0 9970 25 0 0 25 0 1 0 722604399 36433920 8063 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8895 8063 1111 63 0 8832 0
vsize: 35580
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 8403 0 0 0 10969 26 0 0 25 0 1 0 722604399 36577280 8098 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8930 8098 1111 63 0 8867 0
vsize: 35720
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 8422 0 0 0 11969 27 0 0 25 0 1 0 722604399 36655104 8117 4294967295 134512640 134714508 3221221776 3221220000 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8949 8117 1111 63 0 8886 0
vsize: 35796
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 8515 0 0 0 12968 28 0 0 25 0 1 0 722604399 37036032 8210 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9042 8210 1111 63 0 8979 0
vsize: 36168
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 11756 0 0 0 13961 35 0 0 25 0 1 0 722604399 46333952 10008 4294967295 134512640 134714508 3221221776 3221217660 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11312 10008 1111 63 0 11249 0
vsize: 45248
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 11772 0 0 0 14961 35 0 0 25 0 1 0 722604399 46333952 10024 4294967295 134512640 134714508 3221221776 3221217768 1075964730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11312 10024 1111 63 0 11249 0
vsize: 45248
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 11874 0 0 0 15961 36 0 0 25 0 1 0 722604399 46776320 10126 4294967295 134512640 134714508 3221221776 3221218136 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11420 10126 1111 63 0 11357 0
vsize: 45680
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 11926 0 0 0 16961 36 0 0 25 0 1 0 722604399 47009792 10178 4294967295 134512640 134714508 3221221776 3221217880 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11477 10178 1111 63 0 11414 0
vsize: 45908
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 11954 0 0 0 17961 36 0 0 25 0 1 0 722604399 47267840 10206 4294967295 134512640 134714508 3221221776 3221217824 1075112091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11540 10206 1111 63 0 11477 0
vsize: 46160
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 11975 0 0 0 18961 36 0 0 25 0 1 0 722604399 47267840 10227 4294967295 134512640 134714508 3221221776 3221217632 1075965301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11540 10227 1111 63 0 11477 0
vsize: 46160
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 12065 0 0 0 19961 36 0 0 25 0 1 0 722604399 47796224 10317 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11669 10317 1111 63 0 11606 0
vsize: 46676
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 12142 0 0 0 20961 37 0 0 25 0 1 0 722604399 48091136 10394 4294967295 134512640 134714508 3221221776 3221217796 1075964214 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11741 10394 1111 63 0 11678 0
vsize: 46964
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 12208 0 0 0 21961 37 0 0 25 0 1 0 722604399 48398336 10460 4294967295 134512640 134714508 3221221776 3221217936 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11816 10460 1111 63 0 11753 0
vsize: 47264
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 12270 0 0 0 22961 37 0 0 25 0 1 0 722604399 48713728 10522 4294967295 134512640 134714508 3221221776 3221217856 1075095124 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11893 10522 1111 63 0 11830 0
vsize: 47572
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 12276 0 0 0 23961 37 0 0 25 0 1 0 722604399 48713728 10528 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11893 10528 1111 63 0 11830 0
vsize: 47572
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 12283 0 0 0 24961 37 0 0 25 0 1 0 722604399 48713728 10535 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11893 10535 1111 63 0 11830 0
vsize: 47572
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 12377 0 0 0 25961 37 0 0 25 0 1 0 722604399 49049600 10629 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11975 10629 1111 63 0 11912 0
vsize: 47900
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 12381 0 0 0 26961 37 0 0 25 0 1 0 722604399 49049600 10633 4294967295 134512640 134714508 3221221776 3221217796 1075964227 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11975 10633 1111 63 0 11912 0
vsize: 47900
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 12384 0 0 0 27961 37 0 0 25 0 1 0 722604399 49049600 10636 4294967295 134512640 134714508 3221221776 3221217664 1075965253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11975 10636 1111 63 0 11912 0
vsize: 47900
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 12388 0 0 0 28961 38 0 0 25 0 1 0 722604399 49049600 10640 4294967295 134512640 134714508 3221221776 3221217968 1074960909 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11975 10640 1111 63 0 11912 0
vsize: 47900
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 12388 0 0 0 29962 38 0 0 25 0 1 0 722604399 49049600 10640 4294967295 134512640 134714508 3221221776 3221217968 1074960868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11975 10640 1111 63 0 11912 0
vsize: 47900
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 16319 0 0 0 30952 48 0 0 25 0 1 0 722604399 40468480 9145 4294967295 134512640 134714508 3221221776 3221219996 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9880 9145 1111 63 0 9817 0
vsize: 39520
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 24220 0 0 0 31931 69 0 0 25 0 1 0 722604399 37154816 8390 4294967295 134512640 134714508 3221221776 3221220052 1077374583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9071 8390 1111 63 0 9008 0
vsize: 36284
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 42593 0 0 0 32878 122 0 0 25 0 1 0 722604399 47718400 8432 4294967295 134512640 134714508 3221221776 3221217868 1075663518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11650 8432 1111 63 0 11587 0
vsize: 46600
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 55900 0 0 0 33839 160 0 0 25 0 1 0 722604399 37163008 8395 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9073 8395 1111 63 0 9010 0
vsize: 36292
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 72687 0 0 0 34791 208 0 0 25 0 1 0 722604399 47710208 8879 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11648 8887 1111 63 0 11585 0
vsize: 46592
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 89774 0 0 0 35743 256 0 0 25 0 1 0 722604399 37163008 8395 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9073 8395 1111 63 0 9010 0
vsize: 36292
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 101879 0 0 0 36708 291 0 0 25 0 1 0 722604399 47726592 9718 4294967295 134512640 134714508 3221221776 3221218004 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11652 9718 1111 63 0 11589 0
vsize: 46608
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 116559 0 0 0 37667 333 0 0 25 0 1 0 722604399 37171200 8397 4294967295 134512640 134714508 3221221776 3221220176 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9075 8397 1111 63 0 9012 0
vsize: 36300
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 129448 0 0 0 38631 368 0 0 25 0 1 0 722604399 37179392 8401 4294967295 134512640 134714508 3221221776 3221219888 1074867296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9077 8401 1111 63 0 9014 0
vsize: 36308
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 147342 0 0 0 39581 419 0 0 25 0 1 0 722604399 37167104 8398 4294967295 134512640 134714508 3221221776 3221219800 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9074 8398 1111 63 0 9011 0
vsize: 36296
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 163565 0 0 0 40537 463 0 0 25 0 1 0 722604399 47730688 8479 4294967295 134512640 134714508 3221221776 3221218016 1075115768 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11653 8479 1111 63 0 11590 0
vsize: 46612
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 182297 0 0 0 41483 517 0 0 25 0 1 0 722604399 37163008 8398 4294967295 134512640 134714508 3221221776 3221220032 1077378571 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9073 8398 1111 63 0 9010 0
vsize: 36292
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 194708 0 0 0 42448 552 0 0 25 0 1 0 722604399 37158912 8397 4294967295 134512640 134714508 3221221776 3221220072 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9072 8397 1111 63 0 9009 0
vsize: 36288
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 204899 0 0 0 43419 582 0 0 25 0 1 0 722604399 37167104 8399 4294967295 134512640 134714508 3221221776 3221220368 134650190 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9074 8399 1111 63 0 9011 0
vsize: 36296
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 221062 0 0 0 44373 628 0 0 25 0 1 0 722604399 37171200 8400 4294967295 134512640 134714508 3221221776 3221219008 1075552832 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9075 8400 1111 63 0 9012 0
vsize: 36300
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 235785 0 0 0 45332 669 0 0 25 0 1 0 722604399 47738880 8533 4294967295 134512640 134714508 3221221776 3221217644 1074787615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11655 8533 1111 63 0 11592 0
vsize: 46620
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 247397 0 0 0 46299 702 0 0 25 0 1 0 722604399 47730688 9730 4294967295 134512640 134714508 3221221776 3221217708 1074788128 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11653 9730 1111 63 0 11590 0
vsize: 46612
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 256495 0 0 0 47274 727 0 0 25 0 1 0 722604399 47878144 8583 4294967295 134512640 134714508 3221221776 3221218016 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11689 8583 1111 63 0 11626 0
vsize: 46756
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 269397 0 0 0 48238 764 0 0 25 0 1 0 722604399 37171200 8400 4294967295 134512640 134714508 3221221776 3221220160 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9075 8400 1111 63 0 9012 0
vsize: 36300
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 281158 0 0 0 49206 796 0 0 25 0 1 0 722604399 37163008 8398 4294967295 134512640 134714508 3221221776 3221220448 134650213 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9073 8398 1111 63 0 9010 0
vsize: 36292
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 292961 0 0 0 50172 829 0 0 25 0 1 0 722604399 37167104 8399 4294967295 134512640 134714508 3221221776 3221220072 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9074 8399 1111 63 0 9011 0
vsize: 36296
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 304705 0 0 0 51140 862 0 0 25 0 1 0 722604399 37167104 8399 4294967295 134512640 134714508 3221221776 3221220072 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9074 8399 1111 63 0 9011 0
vsize: 36296
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 316396 0 0 0 52107 895 0 0 25 0 1 0 722604399 47738880 8494 4294967295 134512640 134714508 3221221776 3221218048 1074960868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11655 8494 1111 63 0 11592 0
vsize: 46620
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 329295 0 0 0 53071 931 0 0 25 0 1 0 722604399 47915008 9776 4294967295 134512640 134714508 3221221776 3221217920 1074969474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11698 9776 1111 63 0 11635 0
vsize: 46792
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 340981 0 0 0 54037 965 0 0 25 0 1 0 722604399 37187584 8404 4294967295 134512640 134714508 3221221776 3221218968 1074138285 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9079 8404 1111 63 0 9016 0
vsize: 36316
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 352869 0 0 0 55004 998 0 0 25 0 1 0 722604399 37175296 8401 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9076 8401 1111 63 0 9013 0
vsize: 36304
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 364579 0 0 0 55972 1031 0 0 25 0 1 0 722604399 47730688 8476 4294967295 134512640 134714508 3221221776 3221218432 1075967895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11653 8477 1111 63 0 11590 0
vsize: 46612
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 380083 0 0 0 56928 1075 0 0 25 0 1 0 722604399 47730688 9731 4294967295 134512640 134714508 3221221776 3221218004 1075115109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11653 9731 1111 63 0 11590 0
vsize: 46612
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 397164 0 0 0 57880 1123 0 0 25 0 1 0 722604399 37175296 8401 4294967295 134512640 134714508 3221221776 3221220160 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9076 8401 1111 63 0 9013 0
vsize: 36304
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 417244 0 0 0 58822 1181 0 0 25 0 1 0 722604399 37175296 8401 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9076 8401 1111 63 0 9013 0
vsize: 36304
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 434573 0 0 0 59774 1230 0 0 25 0 1 0 722604399 37158912 8397 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9072 8397 1111 63 0 9009 0
vsize: 36288
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 454974 0 0 0 60716 1287 0 0 25 0 1 0 722604399 47722496 9064 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11651 9073 1111 63 0 11588 0
vsize: 46604
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 467879 0 0 0 61680 1324 0 0 25 0 1 0 722604399 37179392 8402 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9077 8402 1111 63 0 9014 0
vsize: 36308
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 480870 0 0 0 62643 1361 0 0 25 0 1 0 722604399 47730688 8485 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11653 8485 1111 63 0 11590 0
vsize: 46612
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 495058 0 0 0 63603 1402 0 0 25 0 1 0 722604399 47738880 8429 4294967295 134512640 134714508 3221221776 3221218816 1075971414 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11655 8434 1111 63 0 11592 0
vsize: 46620
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 509401 0 0 0 64562 1443 0 0 25 0 1 0 722604399 47915008 9787 4294967295 134512640 134714508 3221221776 3221218048 1074960771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11698 9787 1111 63 0 11635 0
vsize: 46792
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 518820 0 0 0 65535 1470 0 0 25 0 1 0 722604399 48041984 8588 4294967295 134512640 134714508 3221221776 3221218928 1075615116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11729 8588 1111 63 0 11666 0
vsize: 46916
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 530529 0 0 0 66502 1503 0 0 25 0 1 0 722604399 37158912 8397 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9072 8397 1111 63 0 9009 0
vsize: 36288
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 540801 0 0 0 67471 1534 0 0 25 0 1 0 722604399 37175296 8401 4294967295 134512640 134714508 3221221776 3221220176 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9076 8401 1111 63 0 9013 0
vsize: 36304
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 560732 0 0 0 68415 1590 0 0 25 0 1 0 722604399 37167104 8399 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9074 8399 1111 63 0 9011 0
vsize: 36296
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 569973 0 0 0 69390 1616 0 0 25 0 1 0 722604399 37158912 8397 4294967295 134512640 134714508 3221221776 3221219704 1077378730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9072 8397 1111 63 0 9009 0
vsize: 36288
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 580363 0 0 0 70361 1645 0 0 25 0 1 0 722604399 47738880 9746 4294967295 134512640 134714508 3221221776 3221218112 1075114251 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11655 9746 1111 63 0 11592 0
vsize: 46620
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 590876 0 0 0 71329 1675 0 0 25 0 1 0 722604399 37171200 8400 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9075 8400 1111 63 0 9012 0
vsize: 36300
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 598459 0 0 0 72307 1697 0 0 25 0 1 0 722604399 37175296 8401 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9076 8401 1111 63 0 9013 0
vsize: 36304
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 606069 0 0 0 73285 1719 0 0 25 0 1 0 722604399 37191680 8405 4294967295 134512640 134714508 3221221776 3221219736 1074138319 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9080 8405 1111 63 0 9017 0
vsize: 36320
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 618014 0 0 0 74252 1752 0 0 25 0 1 0 722604399 47738880 8516 4294967295 134512640 134714508 3221221776 3221218820 1074846175 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11655 8516 1111 63 0 11592 0
vsize: 46620
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 628254 0 0 0 75224 1781 0 0 25 0 1 0 722604399 37179392 8402 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9077 8402 1111 63 0 9014 0
vsize: 36308
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 637324 0 0 0 76198 1806 0 0 25 0 1 0 722604399 37187584 8404 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9079 8404 1111 63 0 9016 0
vsize: 36316
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 648012 0 0 0 77169 1836 0 0 25 0 1 0 722604399 47738880 8798 4294967295 134512640 134714508 3221221776 3221217936 1075095344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11655 8807 1111 63 0 11592 0
vsize: 46620
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 665930 0 0 0 78117 1888 0 0 25 0 1 0 722604399 37175296 8401 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9076 8401 1111 63 0 9013 0
vsize: 36304
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 676427 0 0 0 79087 1918 0 0 25 0 1 0 722604399 37175296 8401 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9076 8401 1111 63 0 9013 0
vsize: 36304
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 688024 0 0 0 80055 1950 0 0 25 0 1 0 722604399 47738880 8488 4294967295 134512640 134714508 3221221776 3221218844 1074831171 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11655 8488 1111 63 0 11592 0
vsize: 46620
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 702292 0 0 0 81016 1989 0 0 25 0 1 0 722604399 37154816 8396 4294967295 134512640 134714508 3221221776 3221220176 1074153673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9071 8396 1111 63 0 9008 0
vsize: 36284
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 712441 0 0 0 81989 2017 0 0 25 0 1 0 722604399 37191680 8405 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9080 8405 1111 63 0 9017 0
vsize: 36320
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 720224 0 0 0 82967 2039 0 0 25 0 1 0 722604399 47730688 9736 4294967295 134512640 134714508 3221221776 3221217708 1074788177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11653 9736 1111 63 0 11590 0
vsize: 46612
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 729137 0 0 0 83942 2063 0 0 25 0 1 0 722604399 47738880 9750 4294967295 134512640 134714508 3221221776 3221218004 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11655 9750 1111 63 0 11592 0
vsize: 46620
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 738157 0 0 0 84917 2089 0 0 25 0 1 0 722604399 37158912 8397 4294967295 134512640 134714508 3221221776 3221220176 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9072 8397 1111 63 0 9009 0
vsize: 36288
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 747072 0 0 0 85892 2114 0 0 25 0 1 0 722604399 37187584 8404 4294967295 134512640 134714508 3221221776 3221220268 134539243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9079 8404 1111 63 0 9016 0
vsize: 36316
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 762665 0 0 0 86848 2159 0 0 25 0 1 0 722604399 37175296 8401 4294967295 134512640 134714508 3221221776 3221220176 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9076 8401 1111 63 0 9013 0
vsize: 36304
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 777135 0 0 0 87808 2199 0 0 25 0 1 0 722604399 48435200 8683 4294967295 134512640 134714508 3221221776 3221218016 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11825 8683 1111 63 0 11762 0
vsize: 47300
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 784732 0 0 0 88786 2220 0 0 25 0 1 0 722604399 37199872 8407 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9082 8407 1111 63 0 9019 0
vsize: 36328
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 791314 0 0 0 89769 2238 0 0 25 0 1 0 722604399 37191680 8405 4294967295 134512640 134714508 3221221776 3221220176 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9080 8405 1111 63 0 9017 0
vsize: 36320
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 800388 0 0 0 90743 2264 0 0 25 0 1 0 722604399 37187584 8404 4294967295 134512640 134714508 3221221776 3221220160 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9079 8404 1111 63 0 9016 0
vsize: 36316
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 810917 0 0 0 91716 2292 0 0 25 0 1 0 722604399 47730688 9735 4294967295 134512640 134714508 3221221776 3221218016 1075115712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11653 9735 1111 63 0 11590 0
vsize: 46612
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 824225 0 0 0 92677 2330 0 0 25 0 1 0 722604399 37171200 8400 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9075 8400 1111 63 0 9012 0
vsize: 36300
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 833382 0 0 0 93652 2356 0 0 25 0 1 0 722604399 37179392 8402 4294967295 134512640 134714508 3221221776 3221220416 134649016 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9077 8402 1111 63 0 9014 0
vsize: 36308
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 841048 0 0 0 94630 2378 0 0 25 0 1 0 722604399 37199872 8407 4294967295 134512640 134714508 3221221776 3221220160 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9082 8407 1111 63 0 9019 0
vsize: 36328
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 850435 0 0 0 95604 2404 0 0 25 0 1 0 722604399 37175296 8401 4294967295 134512640 134714508 3221221776 3221220160 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9076 8401 1111 63 0 9013 0
vsize: 36304
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 860850 0 0 0 96575 2434 0 0 25 0 1 0 722604399 37179392 8402 4294967295 134512640 134714508 3221221776 3221220176 1074118870 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9077 8402 1111 63 0 9014 0
vsize: 36308
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 871277 0 0 0 97544 2464 0 0 25 0 1 0 722604399 37175296 8401 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9076 8401 1111 63 0 9013 0
vsize: 36304
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 880441 0 0 0 98519 2490 0 0 25 0 1 0 722604399 48095232 8586 4294967295 134512640 134714508 3221221776 3221217832 1074789711 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11742 8586 1111 63 0 11679 0
vsize: 46968
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 889519 0 0 0 99493 2516 0 0 25 0 1 0 722604399 37171200 8400 4294967295 134512640 134714508 3221221776 3221220128 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9075 8400 1111 63 0 9012 0
vsize: 36300
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 897097 0 0 0 100473 2537 0 0 25 0 1 0 722604399 37199872 8407 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9082 8407 1111 63 0 9019 0
vsize: 36328
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 907636 0 0 0 101444 2566 0 0 25 0 1 0 722604399 47738880 9741 4294967295 134512640 134714508 3221221776 3221217984 1074815290 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11655 9741 1111 63 0 11592 0
vsize: 46620
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 915491 0 0 0 102422 2588 0 0 25 0 1 0 722604399 37175296 8401 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9076 8401 1111 63 0 9013 0
vsize: 36304
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 924546 0 0 0 103396 2614 0 0 25 0 1 0 722604399 37191680 8405 4294967295 134512640 134714508 3221221776 3221220160 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9080 8405 1111 63 0 9017 0
vsize: 36320
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 933805 0 0 0 104370 2640 0 0 25 0 1 0 722604399 47738880 9753 4294967295 134512640 134714508 3221221776 3221218048 1074960847 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11655 9753 1111 63 0 11592 0
vsize: 46620
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 942877 0 0 0 105344 2666 0 0 25 0 1 0 722604399 47923200 9794 4294967295 134512640 134714508 3221221776 3221218108 1076111473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11700 9794 1111 63 0 11637 0
vsize: 46800
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 952068 0 0 0 106318 2692 0 0 25 0 1 0 722604399 37187584 8404 4294967295 134512640 134714508 3221221776 3221220176 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9079 8404 1111 63 0 9016 0
vsize: 36316
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 961140 0 0 0 107293 2717 0 0 25 0 1 0 722604399 37187584 8404 4294967295 134512640 134714508 3221221776 3221220160 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9079 8404 1111 63 0 9016 0
vsize: 36316
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 971666 0 0 0 108263 2747 0 0 25 0 1 0 722604399 48312320 8642 4294967295 134512640 134714508 3221221776 3221218432 1075967895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11795 8651 1111 63 0 11732 0
vsize: 47180
[startup+1120.04 s]
Raw data (loadavg): 1.07 0.99 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 983766 0 0 0 109229 2782 0 0 25 0 1 0 722604399 37179392 8402 4294967295 134512640 134714508 3221221776 3221220176 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9077 8402 1111 63 0 9014 0
vsize: 36308
[startup+1130.04 s]
Raw data (loadavg): 1.06 0.99 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 995432 0 0 0 110197 2814 0 0 25 0 1 0 722604399 37191680 8405 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9080 8405 1111 63 0 9017 0
vsize: 36320
[startup+1140.04 s]
Raw data (loadavg): 1.05 0.99 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 1005291 0 0 0 111169 2841 0 0 25 0 1 0 722604399 48025600 9254 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11725 9263 1111 63 0 11662 0
vsize: 46900
[startup+1150.04 s]
Raw data (loadavg): 1.04 0.99 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 1020492 0 0 0 112125 2885 0 0 25 0 1 0 722604399 48689152 8815 4294967295 134512640 134714508 3221221776 3221218108 1076111491 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11887 8815 1111 63 0 11824 0
vsize: 47548
[startup+1160.04 s]
Raw data (loadavg): 1.03 0.99 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 1033367 0 0 0 113091 2920 0 0 25 0 1 0 722604399 47730688 9741 4294967295 134512640 134714508 3221221776 3221218004 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11653 9741 1111 63 0 11590 0
vsize: 46612
[startup+1170.04 s]
Raw data (loadavg): 1.03 0.99 0.98 2/55 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 1043689 0 0 0 114061 2949 0 0 25 0 1 0 722604399 37187584 8404 4294967295 134512640 134714508 3221221776 3221219888 1074867302 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9079 8404 1111 63 0 9016 0
vsize: 36316
[startup+1176.78 s]
Raw data (loadavg): 1.03 0.99 0.98 1/54 5410
Raw data (stat): 5410 (bsolo_lpr_cuts) R 5409 7876 7672 0 -1 0 1043689 0 0 0 114061 2949 0 0 25 0 1 0 722604399 37187584 8404 4294967295 134512640 134714508 3221221776 3221219888 1074867302 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9079 8404 1111 63 0 9016 0
vsize: 0

Child status: 10
Real time (s): 1176.78
CPU time (s): 1176.85
CPU user time (s): 1147.13
CPU system time (s): 29.7235
CPU usage (%): 100.006
Max. virtual memory (Kb): 47900
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-20
#### END VERIFIER DATA ####