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-1.opb
MD5SUM	84d0b0ba659c599a6c66454cd956a06b
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.04684
Number of variables	450
Total number of constraints	17827
Number of constraints which are clauses	17827
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 24708

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 22:14:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2819 boxname=wulflinc31 idbench=314 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  84d0b0ba659c599a6c66454cd956a06b  /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-1.opb
IDLAUNCH: 2819
/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:        916968 kB
Buffers:         11756 kB
Cached:          84704 kB
SwapCached:       1936 kB
Active:          56412 kB
Inactive:        43232 kB
HighTotal:      131008 kB
HighFree:        45472 kB
LowTotal:       903652 kB
LowFree:        871496 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12464 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-11 22:34:01 (client local time) WITH STATUS 10 IN 1175.28 SECONDS
stats: 2819 0 1175.28 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 450 variables and 17827 constraints.
c After prepocess the problem consists of 450 variables and 13930 constraints.
c preprocess terminated 85.414 s
c Initial Lower Bound: -51
c Lower Bound Elapsed time: 214.044
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -2 @ 299.692
c NEW SOLUTION FOUND: -3 @ 299.724
c NEW SOLUTION FOUND: -4 @ 299.739
c NEW SOLUTION FOUND: -5 @ 299.757
c NEW SOLUTION FOUND: -6 @ 299.96
c NEW SOLUTION FOUND: -7 @ 299.999
c NEW SOLUTION FOUND: -8 @ 300.086
c NEW SOLUTION FOUND: -9 @ 300.203
c NEW SOLUTION FOUND: -10 @ 300.372
c NEW SOLUTION FOUND: -11 @ 300.72
c NEW SOLUTION FOUND: -12 @ 302.009
c NEW SOLUTION FOUND: -13 @ 304.145
c NEW SOLUTION FOUND: -14 @ 305.008
c NEW SOLUTION FOUND: -15 @ 308.784
c NEW SOLUTION FOUND: -16 @ 353.656
c NEW SOLUTION FOUND: -17 @ 409.54
c NEW SOLUTION FOUND: -18 @ 495.88
s SATISFIABLE
v C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 -C21 C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 -C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1 
c Exit Code: 10
c Total time: 1175.24 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.92 0.98 0.95 2/55 4279
Raw data (stat): 4279 (runsolver) R 4278 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 721403318 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.001 s]
Raw data (loadavg): 0.93 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 5645 0 0 0 980 15 0 0 25 0 1 0 721403318 24621056 5181 4294967295 134512640 134714508 3221221776 3221220504 134618371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6011 5181 1111 63 0 5948 0
vsize: 24044
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 5695 0 0 0 1980 15 0 0 25 0 1 0 721403318 24715264 5204 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6034 5204 1111 63 0 5971 0
vsize: 24136
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 6080 0 0 0 2979 16 0 0 25 0 1 0 721403318 25698304 5428 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6274 5428 1111 63 0 6211 0
vsize: 25096
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 6080 0 0 0 3979 16 0 0 25 0 1 0 721403318 25698304 5428 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6274 5428 1111 63 0 6211 0
vsize: 25096
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 6097 0 0 0 4980 16 0 0 25 0 1 0 721403318 25833472 5445 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6307 5445 1111 63 0 6244 0
vsize: 25228
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 6156 0 0 0 5979 16 0 0 25 0 1 0 721403318 25968640 5504 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6340 5504 1111 63 0 6277 0
vsize: 25360
[startup+70.0015 s]
Raw data (loadavg): 0.97 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 6298 0 0 0 6979 16 0 0 25 0 1 0 721403318 26644480 5646 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6505 5646 1111 63 0 6442 0
vsize: 26020
[startup+80.0014 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 6472 0 0 0 7979 17 0 0 25 0 1 0 721403318 27320320 5820 4294967295 134512640 134714508 3221221776 3221220556 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6670 5820 1111 63 0 6607 0
vsize: 26680
[startup+90.0013 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 7046 0 0 0 8977 19 0 0 25 0 1 0 721403318 29728768 6394 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7258 6394 1111 63 0 7195 0
vsize: 29032
[startup+100.001 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 7194 0 0 0 9975 21 0 0 25 0 1 0 721403318 30363648 6542 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7413 6542 1111 63 0 7350 0
vsize: 29652
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 7227 0 0 0 10974 22 0 0 25 0 1 0 721403318 30490624 6575 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7444 6575 1111 63 0 7381 0
vsize: 29776
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 9751 0 0 0 11968 29 0 0 25 0 1 0 721403318 40927232 8203 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9992 8203 1111 63 0 9929 0
vsize: 39968
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10409 0 0 0 12966 30 0 0 25 0 1 0 721403318 40087552 8457 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9787 8457 1111 63 0 9724 0
vsize: 39148
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10466 0 0 0 13966 30 0 0 25 0 1 0 721403318 40304640 8514 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9840 8514 1111 63 0 9777 0
vsize: 39360
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10527 0 0 0 14966 30 0 0 25 0 1 0 721403318 40546304 8575 4294967295 134512640 134714508 3221221776 3221217856 1075094874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9899 8575 1111 63 0 9836 0
vsize: 39596
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10590 0 0 0 15966 31 0 0 25 0 1 0 721403318 40779776 8638 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9956 8638 1111 63 0 9893 0
vsize: 39824
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10643 0 0 0 16966 31 0 0 25 0 1 0 721403318 41037824 8691 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10019 8691 1111 63 0 9956 0
vsize: 40076
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10657 0 0 0 17966 31 0 0 25 0 1 0 721403318 41037824 8705 4294967295 134512640 134714508 3221221776 3221217968 1074961149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10019 8705 1111 63 0 9956 0
vsize: 40076
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10778 0 0 0 18967 31 0 0 25 0 1 0 721403318 41594880 8824 4294967295 134512640 134714508 3221221776 3221217924 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10155 8824 1111 63 0 10092 0
vsize: 40620
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10836 0 0 0 19966 31 0 0 25 0 1 0 721403318 41889792 8882 4294967295 134512640 134714508 3221221776 3221217968 1074960854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10227 8882 1111 63 0 10164 0
vsize: 40908
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10841 0 0 0 20967 31 0 0 25 0 1 0 721403318 41889792 8887 4294967295 134512640 134714508 3221221776 3221217924 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10227 8887 1111 63 0 10164 0
vsize: 40908
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10908 0 0 0 21967 32 0 0 25 0 1 0 721403318 42201088 8954 4294967295 134512640 134714508 3221221776 3221217936 1075115739 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10303 8954 1111 63 0 10240 0
vsize: 41212
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 10983 0 0 0 22966 32 0 0 25 0 1 0 721403318 42516480 9029 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10380 9029 1111 63 0 10317 0
vsize: 41520
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 11012 0 0 0 23966 32 0 0 25 0 1 0 721403318 42516480 9058 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10380 9058 1111 63 0 10317 0
vsize: 41520
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 11015 0 0 0 24966 32 0 0 25 0 1 0 721403318 42516480 9061 4294967295 134512640 134714508 3221221776 3221218240 1075088563 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10380 9061 1111 63 0 10317 0
vsize: 41520
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 11017 0 0 0 25967 32 0 0 25 0 1 0 721403318 42516480 9063 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10380 9063 1111 63 0 10317 0
vsize: 41520
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 11020 0 0 0 26967 32 0 0 25 0 1 0 721403318 42516480 9066 4294967295 134512640 134714508 3221221776 3221217968 1074960765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10380 9066 1111 63 0 10317 0
vsize: 41520
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 11024 0 0 0 27967 32 0 0 25 0 1 0 721403318 42516480 9070 4294967295 134512640 134714508 3221221776 3221217936 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10380 9070 1111 63 0 10317 0
vsize: 41520
[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 14943 0 0 0 28957 42 0 0 25 0 1 0 721403318 34123776 7555 4294967295 134512640 134714508 3221221776 3221220016 1074039443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8331 7555 1111 63 0 8268 0
vsize: 33324
[startup+300.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 16497 0 0 0 29952 47 0 0 25 0 1 0 721403318 30371840 6707 4294967295 134512640 134714508 3221221776 3221220176 1074153794 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7415 6707 1111 63 0 7352 0
vsize: 29660
[startup+310.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 32603 0 0 0 30909 91 0 0 25 0 1 0 721403318 40665088 8001 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9928 8001 1111 63 0 9865 0
vsize: 39712
[startup+320.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 51114 0 0 0 31858 142 0 0 25 0 1 0 721403318 40665088 6772 4294967295 134512640 134714508 3221221776 3221218016 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9928 6772 1111 63 0 9865 0
vsize: 39712
[startup+330.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 66144 0 0 0 32815 184 0 0 25 0 1 0 721403318 30388224 6717 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6717 1111 63 0 7356 0
vsize: 29676
[startup+340.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 83655 0 0 0 33768 232 0 0 25 0 1 0 721403318 30388224 6717 4294967295 134512640 134714508 3221221776 3221219056 1074140701 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6717 1111 63 0 7356 0
vsize: 29676
[startup+350.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 103891 0 0 0 34712 288 0 0 25 0 1 0 721403318 30375936 6714 4294967295 134512640 134714508 3221221776 3221219916 1077379924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7416 6714 1111 63 0 7353 0
vsize: 29664
[startup+360.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 119743 0 0 0 35667 332 0 0 25 0 1 0 721403318 40812544 8034 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9964 8034 1111 63 0 9901 0
vsize: 39856
[startup+370.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 137147 0 0 0 36618 381 0 0 25 0 1 0 721403318 30380032 6715 4294967295 134512640 134714508 3221221776 3221219776 1076999581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7417 6715 1111 63 0 7354 0
vsize: 29668
[startup+380.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 153143 0 0 0 37572 427 0 0 25 0 1 0 721403318 40665088 6785 4294967295 134512640 134714508 3221221776 3221218376 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9928 6785 1111 63 0 9865 0
vsize: 39712
[startup+390.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 169360 0 0 0 38526 474 0 0 25 0 1 0 721403318 30388224 6717 4294967295 134512640 134714508 3221221776 3221220128 1073986885 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7419 6717 1111 63 0 7356 0
vsize: 29676
[startup+400.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 191790 0 0 0 39466 534 0 0 25 0 1 0 721403318 30380032 6715 4294967295 134512640 134714508 3221221776 3221220084 1073987050 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7417 6715 1111 63 0 7354 0
vsize: 29668
[startup+410.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 205848 0 0 0 40427 573 0 0 25 0 1 0 721403318 30384128 6716 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7418 6716 1111 63 0 7355 0
vsize: 29672
[startup+420.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 225752 0 0 0 41371 629 0 0 25 0 1 0 721403318 40980480 8019 4294967295 134512640 134714508 3221221776 3221217936 1075095344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10005 8019 1111 63 0 9942 0
vsize: 40020
[startup+430.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 241686 0 0 0 42326 674 0 0 25 0 1 0 721403318 40833024 6817 4294967295 134512640 134714508 3221221776 3221218048 1074960912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9969 6817 1111 63 0 9906 0
vsize: 39876
[startup+440.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 259985 0 0 0 43275 725 0 0 25 0 1 0 721403318 40812544 6841 4294967295 134512640 134714508 3221221776 3221218048 1074960837 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9964 6841 1111 63 0 9901 0
vsize: 39856
[startup+450.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 274612 0 0 0 44234 766 0 0 25 0 1 0 721403318 41127936 8104 4294967295 134512640 134714508 3221221776 3221217744 1075965307 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10041 8104 1111 63 0 9978 0
vsize: 40164
[startup+460.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 289553 0 0 0 45193 807 0 0 25 0 1 0 721403318 40665088 7243 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9928 7243 1111 63 0 9865 0
vsize: 39712
[startup+470.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 306534 0 0 0 46147 854 0 0 25 0 1 0 721403318 40656896 6757 4294967295 134512640 134714508 3221221776 3221218432 1075969182 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9926 6757 1111 63 0 9863 0
vsize: 39704
[startup+480.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 326159 0 0 0 47093 908 0 0 25 0 1 0 721403318 30380032 6715 4294967295 134512640 134714508 3221221776 3221219956 1077378774 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7417 6715 1111 63 0 7354 0
vsize: 29668
[startup+490.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 341365 0 0 0 48050 951 0 0 25 0 1 0 721403318 30388224 6717 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7419 6717 1111 63 0 7356 0
vsize: 29676
[startup+500.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 353702 0 0 0 49016 985 0 0 25 0 1 0 721403318 30404608 6721 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7423 6721 1111 63 0 7360 0
vsize: 29692
[startup+510.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 368278 0 0 0 49975 1026 0 0 25 0 1 0 721403318 41201664 6867 4294967295 134512640 134714508 3221221776 3221218432 1075967531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10059 6867 1111 63 0 9996 0
vsize: 40236
[startup+520.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 383032 0 0 0 50935 1067 0 0 25 0 1 0 721403318 41017344 6915 4294967295 134512640 134714508 3221221776 3221218048 1074961301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10014 6915 1111 63 0 9951 0
vsize: 40056
[startup+530.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 398805 0 0 0 51891 1111 0 0 25 0 1 0 721403318 40837120 6856 4294967295 134512640 134714508 3221221776 3221218544 1076083615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9970 6856 1111 63 0 9907 0
vsize: 39880
[startup+540.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 419736 0 0 0 52832 1170 0 0 25 0 1 0 721403318 30375936 6714 4294967295 134512640 134714508 3221221776 3221220176 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7416 6714 1111 63 0 7353 0
vsize: 29664
[startup+550.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 438275 0 0 0 53781 1221 0 0 25 0 1 0 721403318 40660992 6769 4294967295 134512640 134714508 3221221776 3221218720 1074620241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9927 6769 1111 63 0 9864 0
vsize: 39708
[startup+560.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 455282 0 0 0 54732 1270 0 0 25 0 1 0 721403318 30392320 6718 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7420 6718 1111 63 0 7357 0
vsize: 29680
[startup+570.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 467707 0 0 0 55698 1304 0 0 25 0 1 0 721403318 30404608 6721 4294967295 134512640 134714508 3221221776 3221220316 1073989844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7423 6721 1111 63 0 7360 0
vsize: 29692
[startup+580.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 484340 0 0 0 56651 1351 0 0 25 0 1 0 721403318 40665088 7385 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9928 7385 1111 63 0 9865 0
vsize: 39712
[startup+590.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 499936 0 0 0 57608 1395 0 0 25 0 1 0 721403318 41324544 8167 4294967295 134512640 134714508 3221221776 3221218004 1075115003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10089 8167 1111 63 0 10026 0
vsize: 40356
[startup+600.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 512465 0 0 0 58573 1430 0 0 25 0 1 0 721403318 40988672 6851 4294967295 134512640 134714508 3221221776 3221218432 1075968377 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10007 6851 1111 63 0 9944 0
vsize: 40028
[startup+610.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 523530 0 0 0 59542 1460 0 0 25 0 1 0 721403318 30396416 6719 4294967295 134512640 134714508 3221221776 3221220160 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7421 6719 1111 63 0 7358 0
vsize: 29684
[startup+620.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 537139 0 0 0 60503 1500 0 0 25 0 1 0 721403318 40660992 6769 4294967295 134512640 134714508 3221221776 3221218048 1074960920 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9927 6769 1111 63 0 9864 0
vsize: 39708
[startup+630.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 554064 0 0 0 61457 1546 0 0 25 0 1 0 721403318 30388224 6717 4294967295 134512640 134714508 3221221776 3221220176 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7419 6717 1111 63 0 7356 0
vsize: 29676
[startup+640.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 568979 0 0 0 62415 1588 0 0 25 0 1 0 721403318 30392320 6718 4294967295 134512640 134714508 3221221776 3221220128 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7420 6718 1111 63 0 7357 0
vsize: 29680
[startup+650.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 583635 0 0 0 63376 1628 0 0 25 0 1 0 721403318 30404608 6721 4294967295 134512640 134714508 3221221776 3221219776 1074918559 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7423 6721 1111 63 0 7360 0
vsize: 29692
[startup+660.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 596292 0 0 0 64340 1663 0 0 25 0 1 0 721403318 41148416 6889 4294967295 134512640 134714508 3221221776 3221217656 1074788488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10046 6889 1111 63 0 9983 0
vsize: 40184
[startup+670.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 612295 0 0 0 65297 1707 0 0 25 0 1 0 721403318 40669184 6797 4294967295 134512640 134714508 3221221776 3221218432 1075967926 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9929 6797 1111 63 0 9866 0
vsize: 39716
[startup+680.027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 628291 0 0 0 66252 1752 0 0 25 0 1 0 721403318 40808448 6790 4294967295 134512640 134714508 3221221776 3221218048 1074960918 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9963 6790 1111 63 0 9900 0
vsize: 39852
[startup+690.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 649440 0 0 0 67193 1810 0 0 25 0 1 0 721403318 40660992 6773 4294967295 134512640 134714508 3221221776 3221218720 1074620241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9927 6773 1111 63 0 9864 0
vsize: 39708
[startup+700.027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 667074 0 0 0 68143 1861 0 0 25 0 1 0 721403318 40665088 6773 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9928 6773 1111 63 0 9865 0
vsize: 39712
[startup+710.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 679475 0 0 0 69111 1893 0 0 25 0 1 0 721403318 30384128 6716 4294967295 134512640 134714508 3221221776 3221220176 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7418 6716 1111 63 0 7355 0
vsize: 29672
[startup+720.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 694395 0 0 0 70070 1934 0 0 25 0 1 0 721403318 30404608 6721 4294967295 134512640 134714508 3221221776 3221219056 1074140058 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7423 6721 1111 63 0 7360 0
vsize: 29692
[startup+730.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 708069 0 0 0 71030 1974 0 0 25 0 1 0 721403318 30396416 6719 4294967295 134512640 134714508 3221221776 3221219424 1075818335 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7421 6719 1111 63 0 7358 0
vsize: 29684
[startup+740.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 722967 0 0 0 71988 2016 0 0 25 0 1 0 721403318 30396416 6719 4294967295 134512640 134714508 3221221776 3221220160 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7421 6719 1111 63 0 7358 0
vsize: 29684
[startup+750.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 740482 0 0 0 72939 2066 0 0 25 0 1 0 721403318 30380032 6715 4294967295 134512640 134714508 3221221776 3221220064 1074057922 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7417 6715 1111 63 0 7354 0
vsize: 29668
[startup+760.031 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 757659 0 0 0 73891 2114 0 0 25 0 1 0 721403318 37425152 7218 4294967295 134512640 134714508 3221221776 3221218840 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9137 7218 1111 63 0 9074 0
vsize: 36548
[startup+770.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 773878 0 0 0 74846 2159 0 0 25 0 1 0 721403318 41021440 6853 4294967295 134512640 134714508 3221221776 3221217920 1074969614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10015 6853 1111 63 0 9952 0
vsize: 40060
[startup+780.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 788683 0 0 0 75805 2200 0 0 25 0 1 0 721403318 30392320 6718 4294967295 134512640 134714508 3221221776 3221219704 1077378730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6718 1111 63 0 7357 0
vsize: 29680
[startup+790.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 802399 0 0 0 76765 2240 0 0 25 0 1 0 721403318 30375936 6714 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7416 6714 1111 63 0 7353 0
vsize: 29664
[startup+800.031 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 820704 0 0 0 77714 2291 0 0 25 0 1 0 721403318 30384128 6716 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6716 1111 63 0 7355 0
vsize: 29672
[startup+810.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 839507 0 0 0 78661 2345 0 0 25 0 1 0 721403318 30380032 6715 4294967295 134512640 134714508 3221221776 3221219728 1074057893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6715 1111 63 0 7354 0
vsize: 29668
[startup+820.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 859424 0 0 0 79603 2402 0 0 25 0 1 0 721403318 30392320 6718 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6718 1111 63 0 7357 0
vsize: 29680
[startup+830.032 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 877926 0 0 0 80553 2453 0 0 25 0 1 0 721403318 30371840 6713 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7415 6713 1111 63 0 7352 0
vsize: 29660
[startup+840.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 890447 0 0 0 81516 2490 0 0 25 0 1 0 721403318 30388224 6717 4294967295 134512640 134714508 3221221776 3221219888 1074867334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6717 1111 63 0 7356 0
vsize: 29676
[startup+850.033 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 906666 0 0 0 82472 2535 0 0 25 0 1 0 721403318 30384128 6716 4294967295 134512640 134714508 3221221776 3221220176 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6716 1111 63 0 7355 0
vsize: 29672
[startup+860.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 920261 0 0 0 83434 2573 0 0 25 0 1 0 721403318 37543936 7264 4294967295 134512640 134714508 3221221776 3221218432 1075968211 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9166 7264 1111 63 0 9103 0
vsize: 36664
[startup+870.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 937672 0 0 0 84386 2621 0 0 25 0 1 0 721403318 30380032 6715 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6715 1111 63 0 7354 0
vsize: 29668
[startup+880.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 955274 0 0 0 85338 2669 0 0 25 0 1 0 721403318 30380032 6715 4294967295 134512640 134714508 3221221776 3221220176 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6715 1111 63 0 7354 0
vsize: 29668
[startup+890.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 966982 0 0 0 86302 2705 0 0 25 0 1 0 721403318 40652800 6743 4294967295 134512640 134714508 3221221776 3221218760 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9925 6743 1111 63 0 9862 0
vsize: 39700
[startup+900.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 979379 0 0 0 87265 2742 0 0 25 0 1 0 721403318 40984576 6842 4294967295 134512640 134714508 3221221776 3221217920 1074970218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10006 6842 1111 63 0 9943 0
vsize: 40024
[startup+910.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 995233 0 0 0 88220 2787 0 0 25 0 1 0 721403318 30388224 6717 4294967295 134512640 134714508 3221221776 3221219352 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6717 1111 63 0 7356 0
vsize: 29676
[startup+920.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1013821 0 0 0 89168 2840 0 0 25 0 1 0 721403318 30392320 6718 4294967295 134512640 134714508 3221221776 3221220240 1074121076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6718 1111 63 0 7357 0
vsize: 29680
[startup+930.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1027419 0 0 0 90132 2876 0 0 25 0 1 0 721403318 41062400 8089 4294967295 134512640 134714508 3221221776 3221218048 1074960909 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10025 8089 1111 63 0 9962 0
vsize: 40100
[startup+940.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1044719 0 0 0 91082 2926 0 0 25 0 1 0 721403318 30396416 6719 4294967295 134512640 134714508 3221221776 3221220112 1075552823 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7421 6719 1111 63 0 7358 0
vsize: 29684
[startup+950.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1060677 0 0 0 92038 2970 0 0 25 0 1 0 721403318 40665088 6772 4294967295 134512640 134714508 3221221776 3221217920 1074969455 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9928 6772 1111 63 0 9865 0
vsize: 39712
[startup+960.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1080315 0 0 0 92983 3026 0 0 25 0 1 0 721403318 30384128 6716 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6716 1111 63 0 7355 0
vsize: 29672
[startup+970.035 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1097626 0 0 0 93934 3075 0 0 25 0 1 0 721403318 30384128 6716 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6716 1111 63 0 7355 0
vsize: 29672
[startup+980.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1112482 0 0 0 94892 3117 0 0 25 0 1 0 721403318 30396416 6719 4294967295 134512640 134714508 3221221776 3221219424 1075818184 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7421 6719 1111 63 0 7358 0
vsize: 29684
[startup+990.034 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1130646 0 0 0 95844 3165 0 0 25 0 1 0 721403318 37646336 7292 4294967295 134512640 134714508 3221221776 3221218848 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9191 7292 1111 63 0 9128 0
vsize: 36764
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1144202 0 0 0 96806 3203 0 0 25 0 1 0 721403318 41168896 6925 4294967295 134512640 134714508 3221221776 3221218432 1075968658 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10051 6925 1111 63 0 9988 0
vsize: 40204
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1159160 0 0 0 97764 3245 0 0 25 0 1 0 721403318 30388224 6717 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6717 1111 63 0 7356 0
vsize: 29676
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1170461 0 0 0 98732 3278 0 0 25 0 1 0 721403318 30384128 6716 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6716 1111 63 0 7355 0
vsize: 29672
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1184004 0 0 0 99695 3315 0 0 25 0 1 0 721403318 30392320 6718 4294967295 134512640 134714508 3221221776 3221220160 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6718 1111 63 0 7357 0
vsize: 29680
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1202489 0 0 0 100643 3367 0 0 25 0 1 0 721403318 30380032 6715 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6715 1111 63 0 7354 0
vsize: 29668
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1218393 0 0 0 101597 3412 0 0 25 0 1 0 721403318 30404608 6721 4294967295 134512640 134714508 3221221776 3221219776 1074917897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7423 6721 1111 63 0 7360 0
vsize: 29692
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1231202 0 0 0 102562 3448 0 0 25 0 1 0 721403318 30392320 6718 4294967295 134512640 134714508 3221221776 3221220176 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6718 1111 63 0 7357 0
vsize: 29680
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1248695 0 0 0 103513 3497 0 0 25 0 1 0 721403318 37580800 7229 4294967295 134512640 134714508 3221221776 3221218840 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9175 7229 1111 63 0 9112 0
vsize: 36700
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1259039 0 0 0 104484 3527 0 0 25 0 1 0 721403318 30384128 6716 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6716 1111 63 0 7355 0
vsize: 29672
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1272663 0 0 0 105445 3566 0 0 25 0 1 0 721403318 30396416 6719 4294967295 134512640 134714508 3221221776 3221220368 134650198 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7421 6719 1111 63 0 7358 0
vsize: 29684
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1286326 0 0 0 106405 3605 0 0 25 0 1 0 721403318 41160704 6905 4294967295 134512640 134714508 3221221776 3221218016 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10049 6905 1111 63 0 9986 0
vsize: 40196
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1299293 0 0 0 107369 3642 0 0 25 0 1 0 721403318 40665088 7403 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9928 7411 1111 63 0 9865 0
vsize: 39712
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1309965 0 0 0 108339 3672 0 0 25 0 1 0 721403318 38137856 7387 4294967295 134512640 134714508 3221221776 3221217744 1075965234 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9311 7387 1111 63 0 9248 0
vsize: 37244
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1325153 0 0 0 109297 3714 0 0 25 0 1 0 721403318 30384128 6716 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6716 1111 63 0 7355 0
vsize: 29672
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1342604 0 0 0 110248 3764 0 0 25 0 1 0 721403318 30388224 6717 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6717 1111 63 0 7356 0
vsize: 29676
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1357568 0 0 0 111206 3806 0 0 25 0 1 0 721403318 30392320 6718 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6718 1111 63 0 7357 0
vsize: 29680
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1373841 0 0 0 112160 3852 0 0 25 0 1 0 721403318 30384128 6716 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6716 1111 63 0 7355 0
vsize: 29672
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1390107 0 0 0 113112 3900 0 0 25 0 1 0 721403318 30392320 6718 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6718 1111 63 0 7357 0
vsize: 29680
[startup+1175.19 s]
Raw data (loadavg): 0.99 0.98 0.95 1/54 4279
Raw data (stat): 4279 (bsolo_lpr_cuts) R 4278 7876 7672 0 -1 0 1390107 0 0 0 113112 3900 0 0 25 0 1 0 721403318 30392320 6718 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6718 1111 63 0 7357 0
vsize: 0

Child status: 10
Real time (s): 1175.19
CPU time (s): 1175.28
CPU user time (s): 1136.08
CPU system time (s): 39.197
CPU usage (%): 100.008
Max. virtual memory (Kb): 41520
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-18
#### END VERIFIER DATA ####