PB'05 competition: run trace

Some explanations

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

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

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        920712 kB
Buffers:          3332 kB
Cached:          89572 kB
SwapCached:        732 kB
Active:          23608 kB
Inactive:        71376 kB
HighTotal:      131008 kB
HighFree:        40124 kB
LowTotal:       903652 kB
LowFree:        880588 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13448 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 23:53:15 (client local time) WITH STATUS 10 IN 1175.98 SECONDS
stats: 28932 0 1175.98 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 450 variables and 17794 constraints.
c After prepocess the problem consists of 450 variables and 13354 constraints.
c preprocess terminated 84.023 s
c Initial Lower Bound: -48
c Lower Bound Elapsed time: 206.112
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -2 @ 290.354
c NEW SOLUTION FOUND: -3 @ 290.371
c NEW SOLUTION FOUND: -4 @ 290.386
c NEW SOLUTION FOUND: -5 @ 290.395
c NEW SOLUTION FOUND: -6 @ 290.406
c NEW SOLUTION FOUND: -7 @ 290.416
c NEW SOLUTION FOUND: -8 @ 290.438
c NEW SOLUTION FOUND: -9 @ 290.458
c NEW SOLUTION FOUND: -10 @ 290.532
c NEW SOLUTION FOUND: -11 @ 290.572
c NEW SOLUTION FOUND: -12 @ 292.494
c NEW SOLUTION FOUND: -13 @ 296.311
c NEW SOLUTION FOUND: -14 @ 298.001
c NEW SOLUTION FOUND: -15 @ 305.473
c NEW SOLUTION FOUND: -16 @ 311.628
c NEW SOLUTION FOUND: -17 @ 345.43
c NEW SOLUTION FOUND: -18 @ 626.05
c NEW SOLUTION FOUND: -19 @ 1047.72
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.96 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.95 0.91 2/54 24135
Raw data (stat): 24135 (runsolver) R 24134 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905627204 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.87 0.95 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 6400 0 0 0 981 16 0 0 25 0 1 0 905627204 29188096 6295 4294967295 134512640 134716908 3221224576 3221223144 134535787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7126 6295 1111 63 0 7063 0
vsize: 28504
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 6400 0 0 0 1981 16 0 0 25 0 1 0 905627204 29188096 6295 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7126 6295 1111 63 0 7063 0
vsize: 28504
[startup+30.001 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 6400 0 0 0 2982 16 0 0 25 0 1 0 905627204 29188096 6295 4294967295 134512640 134716908 3221224576 3221223024 134536678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7126 6295 1111 63 0 7063 0
vsize: 28504
[startup+40.0017 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 6400 0 0 0 3982 16 0 0 25 0 1 0 905627204 29188096 6295 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7126 6295 1111 63 0 7063 0
vsize: 28504
[startup+50.0022 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 6400 0 0 0 4982 16 0 0 25 0 1 0 905627204 29188096 6295 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7126 6295 1111 63 0 7063 0
vsize: 28504
[startup+60.0026 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 6400 0 0 0 5982 16 0 0 25 0 1 0 905627204 29188096 6295 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7126 6295 1111 63 0 7063 0
vsize: 28504
[startup+70.003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 6400 0 0 0 6982 16 0 0 25 0 1 0 905627204 29188096 6295 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7126 6295 1111 63 0 7063 0
vsize: 28504
[startup+80.0034 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 6561 0 0 0 7982 17 0 0 25 0 1 0 905627204 29843456 6456 4294967295 134512640 134716908 3221224576 3221223444 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7286 6456 1111 63 0 7223 0
vsize: 29144
[startup+90.0036 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 6997 0 1 0 8979 18 0 0 25 0 1 0 905627204 31686656 6893 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7736 6893 1111 63 0 7673 0
vsize: 30944
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 7089 0 1 0 9978 20 0 0 25 0 1 0 905627204 32182272 6985 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7857 6985 1111 63 0 7794 0
vsize: 31428
[startup+110.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 7124 0 1 0 10977 21 0 0 25 0 1 0 905627204 32317440 7020 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7890 7020 1111 63 0 7827 0
vsize: 31560
[startup+120.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 9847 0 1 0 11970 28 0 0 25 0 1 0 905627204 42598400 8887 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10400 8887 1111 63 0 10337 0
vsize: 41600
[startup+130.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 10359 0 1 0 12969 29 0 0 25 0 1 0 905627204 42000384 8946 4294967295 134512640 134716908 3221224576 3221220752 1074961149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10254 8946 1111 63 0 10191 0
vsize: 41016
[startup+140.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 10415 0 1 0 13969 29 0 0 25 0 1 0 905627204 42225664 9002 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10309 9002 1111 63 0 10246 0
vsize: 41236
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 10449 0 1 0 14969 30 0 0 25 0 1 0 905627204 42225664 9036 4294967295 134512640 134716908 3221224576 3221220816 1075114265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10309 9036 1111 63 0 10246 0
vsize: 41236
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 10505 0 1 0 15969 30 0 0 25 0 1 0 905627204 42459136 9092 4294967295 134512640 134716908 3221224576 3221220592 1075895679 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10366 9092 1111 63 0 10303 0
vsize: 41464
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 10553 0 1 0 16969 30 0 0 25 0 1 0 905627204 42704896 9140 4294967295 134512640 134716908 3221224576 3221220688 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10426 9140 1111 63 0 10363 0
vsize: 41704
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 10607 0 1 0 17968 30 0 0 25 0 1 0 905627204 42962944 9194 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10489 9194 1111 63 0 10426 0
vsize: 41956
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 10607 0 1 0 18968 30 0 0 25 0 1 0 905627204 42962944 9194 4294967295 134512640 134716908 3221224576 3221220752 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10489 9194 1111 63 0 10426 0
vsize: 41956
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 10672 0 1 0 19968 30 0 0 25 0 1 0 905627204 43229184 9257 4294967295 134512640 134716908 3221224576 3221221008 1075397177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10554 9257 1111 63 0 10491 0
vsize: 42216
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 10736 0 1 0 20968 31 0 0 25 0 1 0 905627204 43520000 9321 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10625 9321 1111 63 0 10562 0
vsize: 42500
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 10803 0 1 0 21969 31 0 0 25 0 1 0 905627204 43814912 9388 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10697 9388 1111 63 0 10634 0
vsize: 42788
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 10882 0 1 0 22969 31 0 0 25 0 1 0 905627204 44126208 9467 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10773 9467 1111 63 0 10710 0
vsize: 43092
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 10883 0 1 0 23969 31 0 0 25 0 1 0 905627204 44126208 9468 4294967295 134512640 134716908 3221224576 3221220492 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10773 9468 1111 63 0 10710 0
vsize: 43092
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 10897 0 1 0 24969 31 0 0 25 0 1 0 905627204 44126208 9482 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10773 9482 1111 63 0 10710 0
vsize: 43092
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 10907 0 1 0 25969 31 0 0 25 0 1 0 905627204 44126208 9492 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10773 9492 1111 63 0 10710 0
vsize: 43092
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 10908 0 1 0 26970 31 0 0 25 0 1 0 905627204 44126208 9493 4294967295 134512640 134716908 3221224576 3221220356 1074786574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10773 9493 1111 63 0 10710 0
vsize: 43092
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 14070 0 1 0 27962 38 0 0 25 0 1 0 905627204 42442752 8287 4294967295 134512640 134716908 3221224576 3221222096 1075895987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10362 8287 1111 63 0 10299 0
vsize: 41448
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 14625 0 1 0 28960 41 0 0 25 0 1 0 905627204 35790848 7974 4294967295 134512640 134716908 3221224576 3221222692 1075964214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8738 7974 1111 63 0 8675 0
vsize: 34952
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 43938 0 1 0 29876 124 0 0 25 0 1 0 905627204 42909696 7406 4294967295 134512640 134716908 3221224576 3221220848 1074960903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10476 7406 1111 63 0 10413 0
vsize: 41904
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 52940 0 1 0 30851 150 0 0 25 0 1 0 905627204 42909696 7408 4294967295 134512640 134716908 3221224576 3221221408 1075115793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10476 7408 1111 63 0 10413 0
vsize: 41904
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 67294 0 1 0 31809 191 0 0 25 0 1 0 905627204 33046528 7361 4294967295 134512640 134716908 3221224576 3221222992 1074116230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8068 7361 1111 63 0 8005 0
vsize: 32272
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 77667 0 1 0 32779 221 0 0 25 0 1 0 905627204 33021952 7355 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8062 7355 1111 63 0 7999 0
vsize: 32248
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 91886 0 1 0 33739 261 0 0 25 0 1 0 905627204 33034240 7358 4294967295 134512640 134716908 3221224576 3221222304 1075828466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8065 7358 1111 63 0 8002 0
vsize: 32260
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 109703 0 1 0 34688 312 0 0 25 0 1 0 905627204 42913792 8599 4294967295 134512640 134716908 3221224576 3221221096 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9674 7800 1111 63 0 9611 0
vsize: 41908
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 126019 0 1 0 35643 357 0 0 25 0 1 0 905627204 42917888 7436 4294967295 134512640 134716908 3221224576 3221220720 1074969469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10478 7436 1111 63 0 10415 0
vsize: 41912
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 140909 0 1 0 36603 398 0 0 25 0 1 0 905627204 42917888 8609 4294967295 134512640 134716908 3221224576 3221220512 1075965307 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10478 8609 1111 63 0 10415 0
vsize: 41912
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 155894 0 1 0 37562 438 0 0 25 0 1 0 905627204 42917888 8616 4294967295 134512640 134716908 3221224576 3221220824 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10478 8616 1111 63 0 10415 0
vsize: 41912
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 173634 0 1 0 38514 487 0 0 25 0 1 0 905627204 33026048 7359 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8063 7359 1111 63 0 8000 0
vsize: 32252
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 189932 0 1 0 39469 532 0 0 25 0 1 0 905627204 33046528 7364 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8068 7364 1111 63 0 8005 0
vsize: 32272
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 203090 0 1 0 40432 569 0 0 25 0 1 0 905627204 42917888 8322 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10478 8330 1111 63 0 10415 0
vsize: 41912
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 217536 0 1 0 41391 610 0 0 25 0 1 0 905627204 33042432 7363 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8067 7363 1111 63 0 8004 0
vsize: 32268
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 232837 0 1 0 42350 652 0 0 25 0 1 0 905627204 33034240 7361 4294967295 134512640 134716908 3221224576 3221222968 1074153010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8065 7361 1111 63 0 8002 0
vsize: 32260
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 247986 0 1 0 43309 693 0 0 25 0 1 0 905627204 33038336 7362 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8066 7362 1111 63 0 8003 0
vsize: 32264
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 260642 0 1 0 44272 730 0 0 25 0 1 0 905627204 42913792 7431 4294967295 134512640 134716908 3221224576 3221220804 1075114937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10477 7431 1111 63 0 10414 0
vsize: 41908
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 275842 0 1 0 45230 773 0 0 25 0 1 0 905627204 33030144 7360 4294967295 134512640 134716908 3221224576 3221222760 1077377434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8064 7360 1111 63 0 8001 0
vsize: 32256
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 289848 0 1 0 46191 811 0 0 25 0 1 0 905627204 33030144 7360 4294967295 134512640 134716908 3221224576 3221222976 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8064 7360 1111 63 0 8001 0
vsize: 32256
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 304682 0 1 0 47150 853 0 0 25 0 1 0 905627204 33046528 7364 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8068 7364 1111 63 0 8005 0
vsize: 32272
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 320797 0 1 0 48106 897 0 0 25 0 1 0 905627204 33034240 7361 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8065 7361 1111 63 0 8002 0
vsize: 32260
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 333186 0 1 0 49071 932 0 0 25 0 1 0 905627204 33054720 7366 4294967295 134512640 134716908 3221224576 3221223216 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8070 7366 1111 63 0 8007 0
vsize: 32280
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 341582 0 1 0 50049 954 0 0 25 0 1 0 905627204 33058816 7367 4294967295 134512640 134716908 3221224576 3221223184 134558521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8071 7367 1111 63 0 8008 0
vsize: 32284
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 352598 0 1 0 51019 984 0 0 25 0 1 0 905627204 33030144 7368 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8064 7368 1111 63 0 8001 0
vsize: 32256
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 366216 0 1 0 51983 1021 0 0 25 0 1 0 905627204 42913792 8534 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10477 8540 1111 63 0 10414 0
vsize: 41908
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 381252 0 1 0 52941 1062 0 0 25 0 1 0 905627204 42917888 7444 4294967295 134512640 134716908 3221224576 3221221664 1075661523 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10478 7444 1111 63 0 10415 0
vsize: 41912
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 397886 0 1 0 53897 1108 0 0 25 0 1 0 905627204 33038336 7370 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8066 7370 1111 63 0 8003 0
vsize: 32264
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 411753 0 1 0 54857 1147 0 0 25 0 1 0 905627204 42926080 8629 4294967295 134512640 134716908 3221224576 3221220908 1076111500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10480 8629 1111 63 0 10417 0
vsize: 41920
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 424712 0 1 0 55823 1182 0 0 25 0 1 0 905627204 33034240 7369 4294967295 134512640 134716908 3221224576 3221222896 1074146275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8065 7369 1111 63 0 8002 0
vsize: 32260
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 439747 0 1 0 56780 1225 0 0 25 0 1 0 905627204 33038336 7370 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8066 7370 1111 63 0 8003 0
vsize: 32264
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 451125 0 1 0 57748 1257 0 0 25 0 1 0 905627204 42926080 7470 4294967295 134512640 134716908 3221224576 3221221604 1075964258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10480 7470 1111 63 0 10417 0
vsize: 41920
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 465159 0 1 0 58708 1297 0 0 25 0 1 0 905627204 42905600 7405 4294967295 134512640 134716908 3221224576 3221220912 1075113517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10475 7405 1111 63 0 10412 0
vsize: 41900
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 478392 0 1 0 59673 1332 0 0 25 0 1 0 905627204 42917888 7452 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9675 7414 1111 63 0 9612 0
vsize: 41912
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 490668 0 1 0 60640 1365 0 0 25 0 1 0 905627204 33030144 7368 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8064 7368 1111 63 0 8001 0
vsize: 32256
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 501702 0 1 0 61610 1395 0 0 25 0 1 0 905627204 33046528 7372 4294967295 134512640 134716908 3221224576 3221222576 1074918048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8068 7372 1111 63 0 8005 0
vsize: 32272
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 514143 0 1 0 62575 1429 0 0 25 0 1 0 905627204 33054720 7374 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8070 7374 1111 63 0 8007 0
vsize: 32280
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 527995 0 1 0 63535 1469 0 0 25 0 1 0 905627204 42913792 7454 4294967295 134512640 134716908 3221224576 3221221520 1074620113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10477 7454 1111 63 0 10414 0
vsize: 41908
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 544372 0 1 0 64491 1514 0 0 25 0 1 0 905627204 33034240 7369 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8065 7369 1111 63 0 8002 0
vsize: 32260
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 558203 0 1 0 65452 1552 0 0 25 0 1 0 905627204 42909696 7426 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10476 7426 1111 63 0 10413 0
vsize: 41904
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 575657 0 1 0 66406 1599 0 0 25 0 1 0 905627204 39628800 7824 4294967295 134512640 134716908 3221224576 3221221696 1074834239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9675 7824 1111 63 0 9612 0
vsize: 38700
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 590553 0 1 0 67365 1640 0 0 25 0 1 0 905627204 39628800 7823 4294967295 134512640 134716908 3221224576 3221221808 1075552823 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8470 7385 1111 63 0 8407 0
vsize: 38700
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 606752 0 1 0 68321 1684 0 0 25 0 1 0 905627204 33038336 7370 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8066 7370 1111 63 0 8003 0
vsize: 32264
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 618959 0 1 0 69287 1719 0 0 25 0 1 0 905627204 33046528 7372 4294967295 134512640 134716908 3221224576 3221222576 1074919272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8068 7372 1111 63 0 8005 0
vsize: 32272
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 635661 0 1 0 70240 1765 0 0 25 0 1 0 905627204 42917888 7428 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10478 7429 1111 63 0 10415 0
vsize: 41912
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 653380 0 1 0 71191 1814 0 0 25 0 1 0 905627204 33038336 7370 4294967295 134512640 134716908 3221224576 3221222576 1074918652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8066 7370 1111 63 0 8003 0
vsize: 32264
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 667708 0 1 0 72152 1855 0 0 25 0 1 0 905627204 42917888 8619 4294967295 134512640 134716908 3221224576 3221220676 1075964214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10478 8619 1111 63 0 10415 0
vsize: 41912
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 682959 0 1 0 73108 1898 0 0 25 0 1 0 905627204 33038336 7370 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8066 7370 1111 63 0 8003 0
vsize: 32264
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 697987 0 1 0 74067 1940 0 0 25 0 1 0 905627204 42917888 7439 4294967295 134512640 134716908 3221224576 3221221408 1075115799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10478 7439 1111 63 0 10415 0
vsize: 41912
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 714666 0 1 0 75020 1987 0 0 25 0 1 0 905627204 33026048 7367 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8063 7367 1111 63 0 8000 0
vsize: 32252
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 730812 0 1 0 75976 2031 0 0 25 0 1 0 905627204 42909696 7419 4294967295 134512640 134716908 3221224576 3221221632 1075084539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10476 7419 1111 63 0 10413 0
vsize: 41904
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 744953 0 1 0 76937 2070 0 0 25 0 1 0 905627204 33021952 7366 4294967295 134512640 134716908 3221224576 3221222804 1077374077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8063 7366 1111 63 0 8000 0
vsize: 32248
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 761230 0 1 0 77893 2114 0 0 25 0 1 0 905627204 33046528 7372 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8068 7372 1111 63 0 8005 0
vsize: 32272
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 775112 0 1 0 78855 2153 0 0 25 0 1 0 905627204 42913792 7431 4294967295 134512640 134716908 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10477 7431 1111 63 0 10414 0
vsize: 41908
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 788700 0 1 0 79817 2190 0 0 25 0 1 0 905627204 42917888 7461 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10478 7461 1111 63 0 10415 0
vsize: 41912
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 803330 0 1 0 80777 2231 0 0 25 0 1 0 905627204 42926080 8630 4294967295 134512640 134716908 3221224576 3221221104 1075397144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10480 8630 1111 63 0 10417 0
vsize: 41920
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 815757 0 1 0 81743 2265 0 0 25 0 1 0 905627204 33026048 7367 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8063 7367 1111 63 0 8000 0
vsize: 32252
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 828143 0 1 0 82708 2300 0 0 25 0 1 0 905627204 33034240 7369 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8065 7369 1111 63 0 8002 0
vsize: 32260
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 841671 0 1 0 83671 2337 0 0 25 0 1 0 905627204 33042432 7371 4294967295 134512640 134716908 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8067 7371 1111 63 0 8004 0
vsize: 32268
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 859481 0 1 0 84622 2387 0 0 25 0 1 0 905627204 42917888 8621 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10478 8621 1111 63 0 10415 0
vsize: 41912
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 874814 0 1 0 85579 2430 0 0 25 0 1 0 905627204 42909696 7428 4294967295 134512640 134716908 3221224576 3221220544 1074791284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10476 7428 1111 63 0 10413 0
vsize: 41904
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 891152 0 1 0 86533 2476 0 0 25 0 1 0 905627204 33042432 7371 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8067 7371 1111 63 0 8004 0
vsize: 32268
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 904889 0 1 0 87495 2514 0 0 25 0 1 0 905627204 33042432 7371 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8067 7371 1111 63 0 8004 0
vsize: 32268
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 918064 0 1 0 88460 2549 0 0 25 0 1 0 905627204 33030144 7368 4294967295 134512640 134716908 3221224576 3221222916 1073986695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8064 7368 1111 63 0 8001 0
vsize: 32256
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 932625 0 1 0 89419 2590 0 0 25 0 1 0 905627204 33038336 7370 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8066 7370 1111 63 0 8003 0
vsize: 32264
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 952569 0 1 0 90364 2645 0 0 25 0 1 0 905627204 33038336 7370 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8066 7370 1111 63 0 8003 0
vsize: 32264
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 968757 0 1 0 91319 2690 0 0 25 0 1 0 905627204 42926080 7468 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10480 7468 1111 63 0 10417 0
vsize: 41920
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 984728 0 1 0 92277 2733 0 0 25 0 1 0 905627204 33054720 7374 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8070 7374 1111 63 0 8007 0
vsize: 32280
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 998335 0 1 0 93239 2771 0 0 25 0 1 0 905627204 33046528 7372 4294967295 134512640 134716908 3221224576 3221222496 1075799421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8068 7372 1111 63 0 8005 0
vsize: 32272
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1014448 0 1 0 94195 2816 0 0 25 0 1 0 905627204 33038336 7370 4294967295 134512640 134716908 3221224576 3221222976 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8066 7370 1111 63 0 8003 0
vsize: 32264
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1032231 0 1 0 95146 2865 0 0 25 0 1 0 905627204 33038336 7370 4294967295 134512640 134716908 3221224576 3221222912 1074057692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8066 7370 1111 63 0 8003 0
vsize: 32264
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1047072 0 1 0 96104 2906 0 0 25 0 1 0 905627204 33038336 7370 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8066 7370 1111 63 0 8003 0
vsize: 32264
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1059887 0 1 0 97069 2942 0 0 25 0 1 0 905627204 42917888 8617 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10478 8617 1111 63 0 10415 0
vsize: 41912
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1076283 0 1 0 98024 2987 0 0 25 0 1 0 905627204 33042432 7371 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8067 7371 1111 63 0 8004 0
vsize: 32268
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1094261 0 1 0 98974 3038 0 0 25 0 1 0 905627204 42913792 7457 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10477 7457 1111 63 0 10414 0
vsize: 41908
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1112963 0 1 0 99923 3088 0 0 25 0 1 0 905627204 33038336 7370 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8066 7370 1111 63 0 8003 0
vsize: 32264
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1125199 0 1 0 100890 3122 0 0 25 0 1 0 905627204 33046528 7372 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8068 7372 1111 63 0 8005 0
vsize: 32272
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1140590 0 1 0 101847 3165 0 0 25 0 1 0 905627204 33021952 7366 4294967295 134512640 134716908 3221224576 3221222576 1074052283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8062 7366 1111 63 0 7999 0
vsize: 32248
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1153105 0 1 0 102812 3200 0 0 25 0 1 0 905627204 33046528 7372 4294967295 134512640 134716908 3221224576 3221222304 1075635945 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8068 7372 1111 63 0 8005 0
vsize: 32272
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1168096 0 1 0 103771 3241 0 0 25 0 1 0 905627204 33034240 7369 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8065 7369 1111 63 0 8002 0
vsize: 32260
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1177960 0 1 0 104744 3268 0 0 25 0 1 0 905627204 43073536 8646 4294967295 134512640 134716908 3221224576 3221220908 1076111476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10516 8646 1111 63 0 10453 0
vsize: 42064
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1187630 0 1 0 105717 3295 0 0 25 0 1 0 905627204 42926080 8630 4294967295 134512640 134716908 3221224576 3221220676 1075964227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10480 8630 1111 63 0 10417 0
vsize: 41920
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1199661 0 1 0 106684 3329 0 0 25 0 1 0 905627204 42913792 8114 4294967295 134512640 134716908 3221224576 3221220736 1075095344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10477 8124 1111 63 0 10414 0
vsize: 41908
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1214388 0 1 0 107643 3369 0 0 25 0 1 0 905627204 42917888 7449 4294967295 134512640 134716908 3221224576 3221221696 1074834346 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10478 7449 1111 63 0 10415 0
vsize: 41912
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1226342 0 1 0 108610 3402 0 0 25 0 1 0 905627204 33038336 7370 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8066 7370 1111 63 0 8003 0
vsize: 32264
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1242590 0 1 0 109564 3449 0 0 25 0 1 0 905627204 42930176 7491 4294967295 134512640 134716908 3221224576 3221220848 1074961355 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10481 7491 1111 63 0 10418 0
vsize: 41924
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1256093 0 1 0 110527 3487 0 0 25 0 1 0 905627204 39624704 7814 4294967295 134512640 134716908 3221224576 3221221344 1076083342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9674 7814 1111 63 0 9611 0
vsize: 38696
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1268366 0 1 0 111493 3521 0 0 25 0 1 0 905627204 39636992 7852 4294967295 134512640 134716908 3221224576 3221221640 1075066454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9677 7852 1111 63 0 9614 0
vsize: 38708
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1280658 0 1 0 112459 3555 0 0 25 0 1 0 905627204 33046528 7372 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8068 7372 1111 63 0 8005 0
vsize: 32272
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1290543 0 1 0 113433 3581 0 0 25 0 1 0 905627204 42926080 7476 4294967295 134512640 134716908 3221224576 3221220804 1075115035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10480 7476 1111 63 0 10417 0
vsize: 41920
[startup+1175.87 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 24135
Raw data (stat): 24135 (bsolo_lpr_cuts-) R 24134 7266 7265 0 -1 0 1290543 0 1 0 113433 3581 0 0 25 0 1 0 905627204 42926080 7476 4294967295 134512640 134716908 3221224576 3221220804 1075115035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10480 7476 1111 63 0 10417 0
vsize: 0

Child status: 10
Real time (s): 1175.87
CPU time (s): 1175.98
CPU user time (s): 1139.93
CPU system time (s): 36.0575
CPU usage (%): 100.01
Max. virtual memory (Kb): 43092
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-19
#### END VERIFIER DATA ####