PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 03:14:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2846 boxname=wulflinc31 idbench=317 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  615f734b8951521e89cf22f42d6d26cc  /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-4.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-4.opb
IDLAUNCH: 2846
/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:        900128 kB
Buffers:         26768 kB
Cached:          86488 kB
SwapCached:       1936 kB
Active:          66632 kB
Inactive:        49756 kB
HighTotal:      131008 kB
HighFree:        43680 kB
LowTotal:       903652 kB
LowFree:        856448 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12484 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 03:34:23 (client local time) WITH STATUS 10 IN 1182.15 SECONDS
stats: 2846 0 1182.15 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 450 variables and 17831 constraints.
c After prepocess the problem consists of 450 variables and 13543 constraints.
c preprocess terminated 84.268 s
c Initial Lower Bound: -50
c Lower Bound Elapsed time: 206.859
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -3 @ 291.354
c NEW SOLUTION FOUND: -4 @ 291.375
c NEW SOLUTION FOUND: -5 @ 291.384
c NEW SOLUTION FOUND: -6 @ 291.396
c NEW SOLUTION FOUND: -7 @ 291.575
c NEW SOLUTION FOUND: -8 @ 291.701
c NEW SOLUTION FOUND: -9 @ 291.82
c NEW SOLUTION FOUND: -10 @ 292.028
c NEW SOLUTION FOUND: -11 @ 292.631
c NEW SOLUTION FOUND: -12 @ 293.42
c NEW SOLUTION FOUND: -13 @ 294.64
c NEW SOLUTION FOUND: -14 @ 296.003
c NEW SOLUTION FOUND: -15 @ 296.834
c NEW SOLUTION FOUND: -16 @ 301.344
c NEW SOLUTION FOUND: -17 @ 341.713
c NEW SOLUTION FOUND: -18 @ 681.557
c NEW SOLUTION FOUND: -19 @ 1123.35
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: 1182.12 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.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (runsolver) D 6003 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 723205008 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 5519 0 0 0 980 15 0 0 25 0 1 0 723205008 24973312 5239 4294967295 134512640 134714508 3221221776 3221220392 134543785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6097 5239 1111 63 0 6034 0
vsize: 24388
[startup+20.0003 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 5738 0 0 0 1980 16 0 0 25 0 1 0 723205008 24801280 5226 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6055 5226 1111 63 0 5992 0
vsize: 24220
[startup+30.0012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 5781 0 0 0 2980 16 0 0 25 0 1 0 723205008 24944640 5261 4294967295 134512640 134714508 3221221776 3221220288 134543712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6090 5261 1111 63 0 6027 0
vsize: 24360
[startup+40.0012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 5852 0 0 0 3980 16 0 0 25 0 1 0 723205008 24944640 5261 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6090 5261 1111 63 0 6027 0
vsize: 24360
[startup+50.0021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 6281 0 0 0 4979 17 0 0 25 0 1 0 723205008 25489408 5394 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6223 5394 1111 63 0 6160 0
vsize: 24892
[startup+60.002 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 6339 0 0 0 5979 17 0 0 25 0 1 0 723205008 25759744 5452 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6289 5453 1111 63 0 6226 0
vsize: 25156
[startup+70.0019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 6477 0 0 0 6979 18 0 0 25 0 1 0 723205008 26300416 5590 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6421 5590 1111 63 0 6358 0
vsize: 25684
[startup+80.0029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 6738 0 0 0 7978 19 0 0 25 0 1 0 723205008 27443200 5851 4294967295 134512640 134714508 3221221776 3221220608 134619046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6700 5851 1111 63 0 6637 0
vsize: 26800
[startup+90.0028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 7242 0 0 0 8976 20 0 0 25 0 1 0 723205008 29569024 6355 4294967295 134512640 134714508 3221221776 3221219696 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7219 6355 1111 63 0 7156 0
vsize: 28876
[startup+100.004 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 7381 0 0 0 9975 22 0 0 25 0 1 0 723205008 30167040 6494 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7365 6494 1111 63 0 7302 0
vsize: 29460
[startup+110.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 7417 0 0 0 10974 23 0 0 25 0 1 0 723205008 30306304 6530 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7399 6530 1111 63 0 7336 0
vsize: 29596
[startup+120.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 10301 0 0 0 11968 29 0 0 25 0 1 0 723205008 40394752 8555 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9862 8555 1111 63 0 9799 0
vsize: 39448
[startup+130.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 10491 0 0 0 12967 30 0 0 25 0 1 0 723205008 39571456 8350 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9661 8350 1111 63 0 9598 0
vsize: 38644
[startup+140.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 10552 0 0 0 13967 30 0 0 25 0 1 0 723205008 39784448 8411 4294967295 134512640 134714508 3221221776 3221217904 1074815271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9713 8411 1111 63 0 9650 0
vsize: 38852
[startup+150.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 10639 0 0 0 14967 30 0 0 25 0 1 0 723205008 40013824 8498 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9769 8498 1111 63 0 9706 0
vsize: 39076
[startup+160.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 10644 0 0 0 15967 30 0 0 25 0 1 0 723205008 40013824 8503 4294967295 134512640 134714508 3221221776 3221217924 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9769 8503 1111 63 0 9706 0
vsize: 39076
[startup+170.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 10690 0 0 0 16967 31 0 0 25 0 1 0 723205008 40247296 8549 4294967295 134512640 134714508 3221221776 3221217840 1074969440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9826 8549 1111 63 0 9763 0
vsize: 39304
[startup+180.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 10738 0 0 0 17967 31 0 0 25 0 1 0 723205008 40493056 8597 4294967295 134512640 134714508 3221221776 3221217904 1074815197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9886 8597 1111 63 0 9823 0
vsize: 39544
[startup+190.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 10771 0 0 0 18967 31 0 0 25 0 1 0 723205008 40755200 8630 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9950 8630 1111 63 0 9887 0
vsize: 39800
[startup+200.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 10887 0 0 0 19967 32 0 0 25 0 1 0 723205008 41324544 8744 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10089 8744 1111 63 0 10026 0
vsize: 40356
[startup+210.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 10948 0 0 0 20967 32 0 0 25 0 1 0 723205008 41619456 8805 4294967295 134512640 134714508 3221221776 3221217968 1074960771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10161 8805 1111 63 0 10098 0
vsize: 40644
[startup+220.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 10984 0 0 0 21966 32 0 0 25 0 1 0 723205008 41619456 8841 4294967295 134512640 134714508 3221221776 3221217924 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10161 8841 1111 63 0 10098 0
vsize: 40644
[startup+230.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 10990 0 0 0 22967 32 0 0 25 0 1 0 723205008 41619456 8847 4294967295 134512640 134714508 3221221776 3221217856 1075093367 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10161 8847 1111 63 0 10098 0
vsize: 40644
[startup+240.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 11086 0 0 0 23966 33 0 0 25 0 1 0 723205008 41934848 8943 4294967295 134512640 134714508 3221221776 3221217664 1075965234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10238 8943 1111 63 0 10175 0
vsize: 40952
[startup+250.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 11092 0 0 0 24967 33 0 0 25 0 1 0 723205008 41934848 8949 4294967295 134512640 134714508 3221221776 3221217924 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10238 8949 1111 63 0 10175 0
vsize: 40952
[startup+260.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 11093 0 0 0 25967 33 0 0 25 0 1 0 723205008 41934848 8950 4294967295 134512640 134714508 3221221776 3221218028 1076111494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10238 8950 1111 63 0 10175 0
vsize: 40952
[startup+270.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 11094 0 0 0 26967 33 0 0 25 0 1 0 723205008 41934848 8951 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10238 8951 1111 63 0 10175 0
vsize: 40952
[startup+280.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 13121 0 0 0 27962 38 0 0 25 0 1 0 723205008 44003328 7951 4294967295 134512640 134714508 3221221776 3221218352 1075968176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10743 7957 1111 63 0 10680 0
vsize: 42972
[startup+290.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 14879 0 0 0 28957 43 0 0 25 0 1 0 723205008 33849344 7458 4294967295 134512640 134714508 3221221776 3221219908 1075964227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8264 7458 1111 63 0 8201 0
vsize: 33056
[startup+300.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 25220 0 0 0 29926 73 0 0 25 0 1 0 723205008 30179328 6650 4294967295 134512640 134714508 3221221776 3221220160 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7368 6650 1111 63 0 7305 0
vsize: 29472
[startup+310.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 36083 0 0 0 30897 103 0 0 25 0 1 0 723205008 30187520 6655 4294967295 134512640 134714508 3221221776 3221220176 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6655 1111 63 0 7307 0
vsize: 29480
[startup+320.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 54392 0 0 0 31845 155 0 0 25 0 1 0 723205008 30183424 6659 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7369 6659 1111 63 0 7306 0
vsize: 29476
[startup+330.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 67130 0 0 0 32809 191 0 0 25 0 1 0 723205008 30167040 6662 4294967295 134512640 134714508 3221221776 3221219960 1077377374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7365 6662 1111 63 0 7302 0
vsize: 29460
[startup+340.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 76137 0 0 0 33784 216 0 0 25 0 1 0 723205008 40185856 6723 4294967295 134512640 134714508 3221221776 3221217832 1074789527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9811 6723 1111 63 0 9748 0
vsize: 39244
[startup+350.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 90703 0 0 0 34743 257 0 0 25 0 1 0 723205008 30187520 6667 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7370 6667 1111 63 0 7307 0
vsize: 29480
[startup+360.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 105037 0 0 0 35701 299 0 0 25 0 1 0 723205008 30343168 6672 4294967295 134512640 134714508 3221221776 3221219888 1074867349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7408 6672 1111 63 0 7345 0
vsize: 29632
[startup+370.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 117155 0 0 0 36669 331 0 0 25 0 1 0 723205008 30175232 6664 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+380.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 130518 0 0 0 37632 368 0 0 25 0 1 0 723205008 30171136 6663 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7366 6663 1111 63 0 7303 0
vsize: 29464
[startup+390.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 144792 0 0 0 38591 409 0 0 25 0 1 0 723205008 30187520 6667 4294967295 134512640 134714508 3221221776 3221220176 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6667 1111 63 0 7307 0
vsize: 29480
[startup+400.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 156840 0 0 0 39559 442 0 0 25 0 1 0 723205008 30183424 6666 4294967295 134512640 134714508 3221221776 3221220176 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7369 6666 1111 63 0 7306 0
vsize: 29476
[startup+410.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 171247 0 0 0 40519 482 0 0 25 0 1 0 723205008 30187520 6667 4294967295 134512640 134714508 3221221776 3221220112 1073986742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6667 1111 63 0 7307 0
vsize: 29480
[startup+420.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 188118 0 0 0 41471 530 0 0 25 0 1 0 723205008 30167040 6662 4294967295 134512640 134714508 3221221776 3221219960 1077377422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7365 6662 1111 63 0 7302 0
vsize: 29460
[startup+430.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 206350 0 0 0 42421 581 0 0 25 0 1 0 723205008 30175232 6664 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+440.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 223484 0 0 0 43374 628 0 0 25 0 1 0 723205008 30171136 6663 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7366 6663 1111 63 0 7303 0
vsize: 29464
[startup+450.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 234499 0 0 0 44343 658 0 0 25 0 1 0 723205008 30191616 6668 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7371 6668 1111 63 0 7308 0
vsize: 29484
[startup+460.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 249225 0 0 0 45303 698 0 0 25 0 1 0 723205008 40968192 6908 4294967295 134512640 134714508 3221221776 3221218048 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10002 6908 1111 63 0 9939 0
vsize: 40008
[startup+470.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 259972 0 0 0 46274 727 0 0 25 0 1 0 723205008 30191616 6668 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7371 6668 1111 63 0 7308 0
vsize: 29484
[startup+480.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 270032 0 0 0 47247 755 0 0 25 0 1 0 723205008 30175232 6664 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+490.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 282214 0 0 0 48212 790 0 0 25 0 1 0 723205008 30179328 6665 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7368 6665 1111 63 0 7305 0
vsize: 29472
[startup+500.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 296489 0 0 0 49173 829 0 0 25 0 1 0 723205008 30179328 6665 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7368 6665 1111 63 0 7305 0
vsize: 29472
[startup+510.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 315677 0 0 0 50120 882 0 0 25 0 1 0 723205008 30175232 6664 4294967295 134512640 134714508 3221221776 3221219916 1077379846 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+520.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 332545 0 0 0 51076 927 0 0 25 0 1 0 723205008 30175232 6664 4294967295 134512640 134714508 3221221776 3221220160 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+530.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 346172 0 0 0 52039 964 0 0 25 0 1 0 723205008 40509440 6789 4294967295 134512640 134714508 3221221776 3221218016 1075115724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9890 6789 1111 63 0 9827 0
vsize: 39560
[startup+540.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 356262 0 0 0 53012 991 0 0 25 0 1 0 723205008 40189952 6730 4294967295 134512640 134714508 3221221776 3221218048 1074960845 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9812 6730 1111 63 0 9749 0
vsize: 39248
[startup+550.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 372519 0 0 0 53967 1037 0 0 25 0 1 0 723205008 30175232 6664 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+560.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 388455 0 0 0 54922 1082 0 0 25 0 1 0 723205008 30175232 6664 4294967295 134512640 134714508 3221221776 3221220176 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+570.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 404526 0 0 0 55879 1125 0 0 25 0 1 0 723205008 30203904 6671 4294967295 134512640 134714508 3221221776 3221220128 1074115241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7374 6671 1111 63 0 7311 0
vsize: 29496
[startup+580.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 415639 0 0 0 56848 1156 0 0 25 0 1 0 723205008 30187520 6667 4294967295 134512640 134714508 3221221776 3221220404 134649040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6667 1111 63 0 7307 0
vsize: 29480
[startup+590.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 431343 0 0 0 57803 1201 0 0 25 0 1 0 723205008 40189952 6732 4294967295 134512640 134714508 3221221776 3221218004 1075115057 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9812 6732 1111 63 0 9749 0
vsize: 39248
[startup+600.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 444957 0 0 0 58765 1239 0 0 25 0 1 0 723205008 30191616 6668 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7371 6668 1111 63 0 7308 0
vsize: 29484
[startup+610.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 458209 0 0 0 59730 1274 0 0 25 0 1 0 723205008 30179328 6665 4294967295 134512640 134714508 3221221776 3221220176 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7368 6665 1111 63 0 7305 0
vsize: 29472
[startup+620.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 472795 0 0 0 60689 1315 0 0 25 0 1 0 723205008 30183424 6666 4294967295 134512640 134714508 3221221776 3221219960 1077378259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7369 6666 1111 63 0 7306 0
vsize: 29476
[startup+630.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 489668 0 0 0 61642 1362 0 0 25 0 1 0 723205008 40341504 7961 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9849 7961 1111 63 0 9786 0
vsize: 39396
[startup+640.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 509066 0 0 0 62587 1417 0 0 25 0 1 0 723205008 30175232 6664 4294967295 134512640 134714508 3221221776 3221220176 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+650.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 527188 0 0 0 63539 1466 0 0 25 0 1 0 723205008 30179328 6665 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7368 6665 1111 63 0 7305 0
vsize: 29472
[startup+660.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 542809 0 0 0 64495 1510 0 0 25 0 1 0 723205008 30187520 6667 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6667 1111 63 0 7307 0
vsize: 29480
[startup+670.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 557423 0 0 0 65454 1551 0 0 25 0 1 0 723205008 30183424 6666 4294967295 134512640 134714508 3221221776 3221219880 1077374802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7369 6666 1111 63 0 7306 0
vsize: 29476
[startup+680.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 574526 0 0 0 66406 1599 0 0 25 0 1 0 723205008 40181760 6725 4294967295 134512640 134714508 3221221776 3221218432 1075968117 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9810 6725 1111 63 0 9747 0
vsize: 39240
[startup+690.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 591612 0 0 0 67357 1648 0 0 25 0 1 0 723205008 30167040 6662 4294967295 134512640 134714508 3221221776 3221220176 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7365 6662 1111 63 0 7302 0
vsize: 29460
[startup+700.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 605194 0 0 0 68320 1685 0 0 25 0 1 0 723205008 40341504 6981 4294967295 134512640 134714508 3221221776 3221217936 1075095344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9849 6989 1111 63 0 9786 0
vsize: 39396
[startup+710.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 622142 0 0 0 69273 1732 0 0 25 0 1 0 723205008 40185856 7918 4294967295 134512640 134714508 3221221776 3221218144 1075894480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9811 7918 1111 63 0 9748 0
vsize: 39244
[startup+720.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 635245 0 0 0 70235 1770 0 0 25 0 1 0 723205008 30199808 6670 4294967295 134512640 134714508 3221221776 3221220176 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7373 6670 1111 63 0 7310 0
vsize: 29492
[startup+730.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 646304 0 0 0 71205 1800 0 0 25 0 1 0 723205008 30187520 6667 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6667 1111 63 0 7307 0
vsize: 29480
[startup+740.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 660845 0 0 0 72166 1839 0 0 25 0 1 0 723205008 40767488 6851 4294967295 134512640 134714508 3221221776 3221218048 1074961138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9953 6851 1111 63 0 9890 0
vsize: 39812
[startup+750.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 675399 0 0 0 73127 1879 0 0 25 0 1 0 723205008 40337408 6774 4294967295 134512640 134714508 3221221776 3221218048 1074960912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9848 6774 1111 63 0 9785 0
vsize: 39392
[startup+760.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 692327 0 0 0 74080 1926 0 0 25 0 1 0 723205008 30187520 6667 4294967295 134512640 134714508 3221221776 3221219424 1075818272 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6667 1111 63 0 7307 0
vsize: 29480
[startup+770.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 706907 0 0 0 75040 1966 0 0 25 0 1 0 723205008 40804352 6868 4294967295 134512640 134714508 3221221776 3221218112 1075113634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9962 6868 1111 63 0 9899 0
vsize: 39848
[startup+780.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 716920 0 0 0 76012 1994 0 0 25 0 1 0 723205008 30183424 6666 4294967295 134512640 134714508 3221221776 3221219704 1077378596 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7369 6666 1111 63 0 7306 0
vsize: 29476
[startup+790.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 731612 0 0 0 76973 2034 0 0 25 0 1 0 723205008 40988672 8106 4294967295 134512640 134714508 3221221776 3221217740 1074788156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10007 8106 1111 63 0 9944 0
vsize: 40028
[startup+800.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 745196 0 0 0 77935 2072 0 0 25 0 1 0 723205008 30175232 6664 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+810.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 758728 0 0 0 78897 2110 0 0 25 0 1 0 723205008 40525824 6798 4294967295 134512640 134714508 3221221776 3221218016 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9894 6798 1111 63 0 9831 0
vsize: 39576
[startup+820.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 774661 0 0 0 79852 2155 0 0 25 0 1 0 723205008 30183424 6666 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7369 6666 1111 63 0 7306 0
vsize: 29476
[startup+830.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 791474 0 0 0 80805 2202 0 0 25 0 1 0 723205008 30187520 6667 4294967295 134512640 134714508 3221221776 3221220160 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6667 1111 63 0 7307 0
vsize: 29480
[startup+840.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 807049 0 0 0 81763 2245 0 0 25 0 1 0 723205008 30175232 6664 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+850.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 818171 0 0 0 82731 2276 0 0 25 0 1 0 723205008 40189952 6711 4294967295 134512640 134714508 3221221776 3221218544 1076083492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9812 6711 1111 63 0 9749 0
vsize: 39248
[startup+860.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 835082 0 0 0 83686 2322 0 0 25 0 1 0 723205008 40361984 6763 4294967295 134512640 134714508 3221221776 3221218432 1075967916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9854 6763 1111 63 0 9791 0
vsize: 39416
[startup+870.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 846360 0 0 0 84654 2354 0 0 25 0 1 0 723205008 40534016 6795 4294967295 134512640 134714508 3221221776 3221218208 1075118726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9896 6795 1111 63 0 9833 0
vsize: 39584
[startup+880.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 861978 0 0 0 85611 2398 0 0 25 0 1 0 723205008 40804352 8043 4294967295 134512640 134714508 3221221776 3221217736 1075964771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9962 8043 1111 63 0 9899 0
vsize: 39848
[startup+890.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 874229 0 0 0 86575 2433 0 0 25 0 1 0 723205008 30191616 6668 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7371 6668 1111 63 0 7308 0
vsize: 29484
[startup+900.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 886542 0 0 0 87540 2469 0 0 25 0 1 0 723205008 40185856 6706 4294967295 134512640 134714508 3221221776 3221218848 1074867305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9811 6706 1111 63 0 9748 0
vsize: 39244
[startup+910.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 896395 0 0 0 88512 2496 0 0 25 0 1 0 723205008 37502976 7263 4294967295 134512640 134714508 3221221776 3221218720 1074620113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9156 7263 1111 63 0 9093 0
vsize: 36624
[startup+920.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 908782 0 0 0 89478 2531 0 0 25 0 1 0 723205008 30175232 6664 4294967295 134512640 134714508 3221221776 3221219776 1074051973 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+930.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 923427 0 0 0 90437 2572 0 0 25 0 1 0 723205008 30171136 6663 4294967295 134512640 134714508 3221221776 3221220176 1074153794 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7366 6663 1111 63 0 7303 0
vsize: 29464
[startup+940.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 937986 0 0 0 91396 2613 0 0 25 0 1 0 723205008 30183424 6666 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7369 6666 1111 63 0 7306 0
vsize: 29476
[startup+950.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 952613 0 0 0 92356 2654 0 0 25 0 1 0 723205008 40669184 8040 4294967295 134512640 134714508 3221221776 3221218048 1074960865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9929 8040 1111 63 0 9866 0
vsize: 39716
[startup+960.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 967283 0 0 0 93314 2696 0 0 25 0 1 0 723205008 30191616 6668 4294967295 134512640 134714508 3221221776 3221220160 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7371 6668 1111 63 0 7308 0
vsize: 29484
[startup+970.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 983110 0 0 0 94270 2739 0 0 25 0 1 0 723205008 30191616 6668 4294967295 134512640 134714508 3221221776 3221220160 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7371 6668 1111 63 0 7308 0
vsize: 29484
[startup+980.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 995500 0 0 0 95236 2774 0 0 25 0 1 0 723205008 40484864 6816 4294967295 134512640 134714508 3221221776 3221218092 1074960596 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9884 6816 1111 63 0 9821 0
vsize: 39536
[startup+990.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 1011138 0 0 0 96194 2816 0 0 25 0 1 0 723205008 30203904 6671 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7374 6671 1111 63 0 7311 0
vsize: 29496
[startup+1000.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 1027352 0 0 0 97150 2860 0 0 25 0 1 0 723205008 30179328 6665 4294967295 134512640 134714508 3221221776 3221220392 134543157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7368 6665 1111 63 0 7305 0
vsize: 29472
[startup+1010.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 1042297 0 0 0 98109 2901 0 0 25 0 1 0 723205008 40910848 6892 4294967295 134512640 134714508 3221221776 3221217656 1074788430 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9988 6892 1111 63 0 9925 0
vsize: 39952
[startup+1020.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 1058590 0 0 0 99065 2946 0 0 25 0 1 0 723205008 40542208 6781 4294967295 134512640 134714508 3221221776 3221218848 1074867331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9898 6781 1111 63 0 9835 0
vsize: 39592
[startup+1030.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 1071227 0 0 0 100030 2981 0 0 25 0 1 0 723205008 30175232 6664 4294967295 134512640 134714508 3221221776 3221220392 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+1040.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 1086102 0 0 0 100991 3020 0 0 25 0 1 0 723205008 40665088 8009 4294967295 134512640 134714508 3221221776 3221218004 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9928 8009 1111 63 0 9865 0
vsize: 39712
[startup+1050.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 1098373 0 0 0 101956 3055 0 0 25 0 1 0 723205008 40525824 7647 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9894 7655 1111 63 0 9831 0
vsize: 39576
[startup+1060.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 1111526 0 0 0 102921 3090 0 0 25 0 1 0 723205008 30179328 6665 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7368 6665 1111 63 0 7305 0
vsize: 29472
[startup+1070.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 1124262 0 0 0 103887 3124 0 0 25 0 1 0 723205008 30179328 6665 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7368 6665 1111 63 0 7305 0
vsize: 29472
[startup+1080.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 1141120 0 0 0 104842 3170 0 0 25 0 1 0 723205008 40345600 7249 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9850 7257 1111 63 0 9787 0
vsize: 39400
[startup+1090.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 1157787 0 0 0 105796 3216 0 0 25 0 1 0 723205008 30191616 6668 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7371 6668 1111 63 0 7308 0
vsize: 29484
[startup+1100.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 1173326 0 0 0 106752 3259 0 0 25 0 1 0 723205008 30183424 6666 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7369 6666 1111 63 0 7306 0
vsize: 29476
[startup+1110.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 1186546 0 0 0 107716 3296 0 0 25 0 1 0 723205008 30175232 6664 4294967295 134512640 134714508 3221221776 3221220160 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+1120.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 1197364 0 0 0 108687 3325 0 0 25 0 1 0 723205008 30183424 6666 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7369 6666 1111 63 0 7306 0
vsize: 29476
[startup+1130.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 1208511 0 0 0 109656 3356 0 0 25 0 1 0 723205008 40337408 6797 4294967295 134512640 134714508 3221221776 3221218608 1075115340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9848 6797 1111 63 0 9785 0
vsize: 39392
[startup+1140.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 1220502 0 0 0 110625 3388 0 0 25 0 1 0 723205008 30171136 6663 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29464
[startup+1150.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 1233658 0 0 0 111590 3422 0 0 25 0 1 0 723205008 40849408 8058 4294967295 134512640 134714508 3221221776 3221218304 1075397136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9973 8058 1111 63 0 9910 0
vsize: 39892
[startup+1160.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 1245779 0 0 0 112558 3454 0 0 25 0 1 0 723205008 41009152 6920 4294967295 134512640 134714508 3221221776 3221217832 1074789596 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10012 6920 1111 63 0 9949 0
vsize: 40048
[startup+1170.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 1256641 0 0 0 113529 3484 0 0 25 0 1 0 723205008 30191616 6668 4294967295 134512640 134714508 3221221776 3221220176 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7371 6668 1111 63 0 7308 0
vsize: 29484
[startup+1180.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 1267813 0 0 0 114498 3514 0 0 25 0 1 0 723205008 30167040 6662 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7365 6662 1111 63 0 7302 0
vsize: 29460
[startup+1182.04 s]
Raw data (loadavg): 0.99 1.00 1.00 1/54 6004
Raw data (stat): 6004 (bsolo_lpr_cuts) R 6003 7876 7672 0 -1 0 1267813 0 0 0 114498 3514 0 0 25 0 1 0 723205008 30167040 6662 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7365 6662 1111 63 0 7302 0
vsize: 0

Child status: 10
Real time (s): 1182.04
CPU time (s): 1182.15
CPU user time (s): 1146.94
CPU system time (s): 35.2136
CPU usage (%): 100.009
Max. virtual memory (Kb): 42972
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-19
#### END VERIFIER DATA ####