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-2.opb
MD5SUM	25130921f4384cc034832ca1cd52ec48
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.05584
Number of variables	450
Total number of constraints	17874
Number of constraints which are clauses	17874
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 40863

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 23:19:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28929 boxname=wulflinc1 idbench=315 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  25130921f4384cc034832ca1cd52ec48  /oldhome/oroussel/tmp/wulflinc1/normalized-frb30-15-2.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-frb30-15-2.opb
IDLAUNCH: 28929
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        923292 kB
Buffers:           352 kB
Cached:          87332 kB
SwapCached:        988 kB
Active:          23496 kB
Inactive:        66200 kB
HighTotal:      131008 kB
HighFree:        40432 kB
LowTotal:       903652 kB
LowFree:        882860 kB
SwapTotal:     2097136 kB
SwapFree:      2094796 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5036 kB
Slab:            15916 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 23:39:00 (client local time) WITH STATUS 10 IN 1177 SECONDS
stats: 28929 0 1177 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 450 variables and 17874 constraints.
c After prepocess the problem consists of 450 variables and 13695 constraints.
c preprocess terminated 86.29 s
c Initial Lower Bound: -49
c Lower Bound Elapsed time: 211.671
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -2 @ 298.179
c NEW SOLUTION FOUND: -3 @ 298.205
c NEW SOLUTION FOUND: -4 @ 298.215
c NEW SOLUTION FOUND: -5 @ 298.237
c NEW SOLUTION FOUND: -6 @ 298.246
c NEW SOLUTION FOUND: -7 @ 298.258
c NEW SOLUTION FOUND: -8 @ 298.304
c NEW SOLUTION FOUND: -9 @ 298.327
c NEW SOLUTION FOUND: -10 @ 298.494
c NEW SOLUTION FOUND: -11 @ 298.927
c NEW SOLUTION FOUND: -12 @ 299.942
c NEW SOLUTION FOUND: -13 @ 300.624
c NEW SOLUTION FOUND: -14 @ 301.275
c NEW SOLUTION FOUND: -15 @ 303.777
c NEW SOLUTION FOUND: -16 @ 310.64
c NEW SOLUTION FOUND: -17 @ 325.343
c NEW SOLUTION FOUND: -18 @ 331.907
s SATISFIABLE
v -C450 -C449 -C448 -C447 C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 C229 -C228 -C227 -C226 -C225 -C224 -C223 C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 C50 -C49 -C48 -C47 -C46 -C45 C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 -C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1 
c Exit Code: 10
c Total time: 1176.97 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.92 0.94 0.90 2/55 27944
Raw data (stat): 27944 (runsolver) R 27943 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848684598 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0013 s]
Raw data (loadavg): 0.93 0.94 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 6275 0 0 0 981 17 0 0 25 0 1 0 848684598 27766784 5948 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6779 5948 1111 63 0 6716 0
vsize: 27116
[startup+20.0026 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 6275 0 0 0 1981 17 0 0 25 0 1 0 848684598 27766784 5948 4294967295 134512640 134716908 3221224576 3221223044 134536691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6779 5948 1111 63 0 6716 0
vsize: 27116
[startup+30.0035 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 6275 0 0 0 2982 17 0 0 25 0 1 0 848684598 27766784 5948 4294967295 134512640 134716908 3221224576 3221223064 134543617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6779 5948 1111 63 0 6716 0
vsize: 27116
[startup+40.0033 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 6275 0 0 0 3982 17 0 0 25 0 1 0 848684598 27766784 5948 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6779 5948 1111 63 0 6716 0
vsize: 27116
[startup+50.0041 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 6275 0 0 0 4982 17 0 0 25 0 1 0 848684598 27766784 5948 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6779 5948 1111 63 0 6716 0
vsize: 27116
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 6275 0 0 0 5982 17 0 0 25 0 1 0 848684598 27766784 5948 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6779 5948 1111 63 0 6716 0
vsize: 27116
[startup+70.0059 s]
Raw data (loadavg): 0.97 0.95 0.91 3/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 6398 0 0 0 6982 17 0 0 25 0 1 0 848684598 28307456 6071 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6911 6071 1111 63 0 6848 0
vsize: 27644
[startup+80.0064 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 6574 0 0 0 7982 18 0 0 25 0 1 0 848684598 29118464 6247 4294967295 134512640 134716908 3221224576 3221223228 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7109 6247 1111 63 0 7046 0
vsize: 28436
[startup+90.0063 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 7128 0 1 0 8920 20 0 0 25 0 1 0 848684598 31297536 6795 4294967295 134512640 134716908 3221224576 3221222832 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7641 6795 1111 63 0 7578 0
vsize: 30564
[startup+100.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 7260 0 1 0 9917 23 0 0 25 0 1 0 848684598 31821824 6927 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7769 6927 1111 63 0 7706 0
vsize: 31076
[startup+110.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 7301 0 1 0 10915 25 0 0 25 0 1 0 848684598 31907840 6950 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7790 6950 1111 63 0 7727 0
vsize: 31160
[startup+120.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 7379 0 1 0 11914 26 0 0 25 0 1 0 848684598 32219136 7028 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7866 7028 1111 63 0 7803 0
vsize: 31464
[startup+130.008 s]
Raw data (loadavg): 0.99 0.95 0.91 3/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 10468 0 5 0 12875 33 0 0 25 0 1 0 848684598 41705472 8854 4294967295 134512640 134716908 3221224576 3221220364 1074788943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10182 8854 1111 63 0 10119 0
vsize: 40728
[startup+140.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 10535 0 5 0 13875 33 0 0 25 0 1 0 848684598 41918464 8921 4294967295 134512640 134716908 3221224576 3221220816 1075114279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10234 8921 1111 63 0 10171 0
vsize: 40936
[startup+150.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 10594 0 5 0 14875 34 0 0 25 0 1 0 848684598 42131456 8980 4294967295 134512640 134716908 3221224576 3221220720 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10286 8980 1111 63 0 10223 0
vsize: 41144
[startup+160.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 10658 0 5 0 15875 34 0 0 25 0 1 0 848684598 42360832 9044 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10342 9044 1111 63 0 10279 0
vsize: 41368
[startup+170.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 10664 0 5 0 16876 34 0 0 25 0 1 0 848684598 42360832 9050 4294967295 134512640 134716908 3221224576 3221220624 1074969469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10342 9050 1111 63 0 10279 0
vsize: 41368
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 10665 0 5 0 17876 34 0 0 25 0 1 0 848684598 42360832 9051 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10342 9051 1111 63 0 10279 0
vsize: 41368
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 10712 0 5 0 18876 34 0 0 25 0 1 0 848684598 42594304 9096 4294967295 134512640 134716908 3221224576 3221220708 1075114975 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10399 9096 1111 63 0 10336 0
vsize: 41596
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 10794 0 5 0 19876 34 0 0 25 0 1 0 848684598 43114496 9178 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10526 9178 1111 63 0 10463 0
vsize: 42104
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 10916 0 5 0 20876 34 0 0 25 0 1 0 848684598 43675648 9300 4294967295 134512640 134716908 3221224576 3221220752 1074960879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10663 9300 1111 63 0 10600 0
vsize: 42652
[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 11000 0 5 0 21876 35 0 0 25 0 1 0 848684598 43986944 9384 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10739 9384 1111 63 0 10676 0
vsize: 42956
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 11001 0 5 0 22876 35 0 0 25 0 1 0 848684598 43986944 9385 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10739 9385 1111 63 0 10676 0
vsize: 42956
[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 11077 0 5 0 23876 35 0 0 25 0 1 0 848684598 44310528 9461 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10818 9461 1111 63 0 10755 0
vsize: 43272
[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 11106 0 5 0 24876 35 0 0 25 0 1 0 848684598 44310528 9490 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10818 9490 1111 63 0 10755 0
vsize: 43272
[startup+260.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 11107 0 5 0 25876 35 0 0 25 0 1 0 848684598 44310528 9491 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10818 9491 1111 63 0 10755 0
vsize: 43272
[startup+270.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 11109 0 5 0 26876 35 0 0 25 0 1 0 848684598 44310528 9493 4294967295 134512640 134716908 3221224576 3221220580 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10818 9493 1111 63 0 10755 0
vsize: 43272
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 11109 0 5 0 27876 35 0 0 25 0 1 0 848684598 44310528 9493 4294967295 134512640 134716908 3221224576 3221221292 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10818 9493 1111 63 0 10755 0
vsize: 43272
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 14902 0 6 0 28864 44 0 0 25 0 1 0 848684598 35819520 7978 4294967295 134512640 134716908 3221224576 3221222800 1074039443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8745 7978 1111 63 0 8682 0
vsize: 34980
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 20694 0 6 0 29848 60 0 0 25 0 1 0 848684598 32989184 7340 4294967295 134512640 134716908 3221224576 3221223296 134592107 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8054 7340 1111 63 0 7991 0
vsize: 32216
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 33182 0 6 0 30813 94 0 0 25 0 1 0 848684598 33001472 7343 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8057 7343 1111 63 0 7994 0
vsize: 32228
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 47015 0 6 0 31773 134 0 0 25 0 1 0 848684598 43126784 7411 4294967295 134512640 134716908 3221224576 3221220816 1075115712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10529 7411 1111 63 0 10466 0
vsize: 42116
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 59288 0 6 0 32739 168 0 0 25 0 1 0 848684598 43126784 7422 4294967295 134512640 134716908 3221224576 3221220668 1075663503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10529 7422 1111 63 0 10466 0
vsize: 42116
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 75860 0 6 0 33694 213 0 0 25 0 1 0 848684598 33013760 7352 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7352 1111 63 0 7997 0
vsize: 32240
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 90918 0 6 0 34653 254 0 0 25 0 1 0 848684598 43130880 8639 4294967295 134512640 134716908 3221224576 3221220848 1074960865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10530 8639 1111 63 0 10467 0
vsize: 42120
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 103470 0 6 0 35618 289 0 0 25 0 1 0 848684598 32997376 7352 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8056 7352 1111 63 0 7993 0
vsize: 32224
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 116009 0 6 0 36585 323 0 0 25 0 1 0 848684598 33013760 7356 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7356 1111 63 0 7997 0
vsize: 32240
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 125837 0 6 0 37557 351 0 0 25 0 1 0 848684598 43294720 8661 4294967295 134512640 134716908 3221224576 3221220736 1074794695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10570 8661 1111 63 0 10507 0
vsize: 42280
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 137101 0 6 0 38525 383 0 0 25 0 1 0 848684598 43139072 8655 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 8655 1111 63 0 10469 0
vsize: 42128
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 147352 0 6 0 39497 411 0 0 25 0 1 0 848684598 33026048 7359 4294967295 134512640 134716908 3221224576 3221222544 1075809037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8063 7359 1111 63 0 8000 0
vsize: 32252
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 157363 0 6 0 40470 438 0 0 25 0 1 0 848684598 43139072 7455 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 7455 1111 63 0 10469 0
vsize: 42128
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 166050 0 6 0 41445 463 0 0 25 0 1 0 848684598 33005568 7354 4294967295 134512640 134716908 3221224576 3221222960 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8058 7354 1111 63 0 7995 0
vsize: 32232
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 177509 0 6 0 42413 495 0 0 25 0 1 0 848684598 33009664 7355 4294967295 134512640 134716908 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8059 7355 1111 63 0 7996 0
vsize: 32236
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 187301 0 6 0 43387 522 0 0 25 0 1 0 848684598 43139072 8650 4294967295 134512640 134716908 3221224576 3221220816 1075115724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 8650 1111 63 0 10469 0
vsize: 42128
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 198522 0 6 0 44355 554 0 0 25 0 1 0 848684598 33013760 7356 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7356 1111 63 0 7997 0
vsize: 32240
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 210625 0 6 0 45322 588 0 0 25 0 1 0 848684598 43130880 8318 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10530 8326 1111 63 0 10467 0
vsize: 42120
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 219708 0 6 0 46296 613 0 0 25 0 1 0 848684598 33021952 7366 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8062 7366 1111 63 0 7999 0
vsize: 32248
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 228286 0 6 0 47272 637 0 0 25 0 1 0 848684598 33009664 7363 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8059 7363 1111 63 0 7996 0
vsize: 32236
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 239548 0 6 0 48241 669 0 0 25 0 1 0 848684598 43139072 7463 4294967295 134512640 134716908 3221224576 3221220456 1074788542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 7463 1111 63 0 10469 0
vsize: 42128
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 246947 0 6 0 49220 690 0 0 25 0 1 0 848684598 33021952 7366 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8062 7366 1111 63 0 7999 0
vsize: 32248
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 258162 0 6 0 50190 720 0 0 25 0 1 0 848684598 33009664 7363 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8059 7363 1111 63 0 7996 0
vsize: 32236
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 270596 0 6 0 51156 754 0 0 25 0 1 0 848684598 33026048 7367 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8063 7367 1111 63 0 8000 0
vsize: 32252
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 277861 0 6 0 52136 774 0 0 25 0 1 0 848684598 43319296 8697 4294967295 134512640 134716908 3221224576 3221220908 1076111473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10576 8697 1111 63 0 10513 0
vsize: 42304
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 285184 0 6 0 53116 795 0 0 25 0 1 0 848684598 33021952 7366 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8062 7366 1111 63 0 7999 0
vsize: 32248
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 296424 0 6 0 54084 827 0 0 25 0 1 0 848684598 33009664 7363 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8059 7363 1111 63 0 7996 0
vsize: 32236
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 305163 0 6 0 55059 852 0 0 25 0 1 0 848684598 33005568 7362 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8058 7362 1111 63 0 7995 0
vsize: 32232
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 315196 0 6 0 56031 880 0 0 25 0 1 0 848684598 33013760 7364 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7364 1111 63 0 7997 0
vsize: 32240
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 326605 0 6 0 57000 912 0 0 25 0 1 0 848684598 32989184 7358 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8054 7358 1111 63 0 7991 0
vsize: 32216
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 340363 0 6 0 57962 950 0 0 25 0 1 0 848684598 33021952 7366 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8062 7366 1111 63 0 7999 0
vsize: 32248
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 349006 0 6 0 58938 974 0 0 25 0 1 0 848684598 33013760 7364 4294967295 134512640 134716908 3221224576 3221222488 1077378596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7364 1111 63 0 7997 0
vsize: 32240
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 355292 0 6 0 59921 991 0 0 25 0 1 0 848684598 33013760 7364 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7364 1111 63 0 7997 0
vsize: 32240
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 364069 0 6 0 60898 1014 0 0 25 0 1 0 848684598 32997376 7360 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8056 7360 1111 63 0 7993 0
vsize: 32224
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 372835 0 6 0 61874 1038 0 0 25 0 1 0 848684598 33026048 7367 4294967295 134512640 134716908 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8063 7367 1111 63 0 8000 0
vsize: 32252
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 384206 0 6 0 62843 1069 0 0 25 0 1 0 848684598 43634688 8776 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10653 8776 1111 63 0 10590 0
vsize: 42612
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 390492 0 6 0 63827 1085 0 0 25 0 1 0 848684598 33021952 7365 4294967295 134512640 134716908 3221224576 3221222284 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8062 7366 1111 63 0 7999 0
vsize: 32248
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 400537 0 6 0 64799 1113 0 0 25 0 1 0 848684598 33005568 7362 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8058 7362 1111 63 0 7995 0
vsize: 32232
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 410934 0 6 0 65771 1142 0 0 25 0 1 0 848684598 43126784 7428 4294967295 134512640 134716908 3221224576 3221220848 1074960923 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10529 7428 1111 63 0 10466 0
vsize: 42116
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 422155 0 6 0 66740 1173 0 0 25 0 1 0 848684598 43139072 7476 4294967295 134512640 134716908 3221224576 3221220808 1074791777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 7476 1111 63 0 10469 0
vsize: 42128
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 433740 0 6 0 67708 1205 0 0 25 0 1 0 848684598 43130880 7427 4294967295 134512640 134716908 3221224576 3221221232 1075967895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10530 7428 1111 63 0 10467 0
vsize: 42120
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 443985 0 6 0 68679 1234 0 0 25 0 1 0 848684598 33026048 7367 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8063 7367 1111 63 0 8000 0
vsize: 32252
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 454070 0 6 0 69652 1262 0 0 25 0 1 0 848684598 32997376 7360 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8056 7360 1111 63 0 7993 0
vsize: 32224
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 469266 0 6 0 70608 1305 0 0 25 0 1 0 848684598 39768064 7846 4294967295 134512640 134716908 3221224576 3221221344 1076083342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9709 7846 1111 63 0 9646 0
vsize: 38836
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 481991 0 6 0 71575 1339 0 0 25 0 1 0 848684598 33013760 7364 4294967295 134512640 134716908 3221224576 3221222960 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7364 1111 63 0 7997 0
vsize: 32240
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 493466 0 6 0 72544 1370 0 0 25 0 1 0 848684598 43126784 7461 4294967295 134512640 134716908 3221224576 3221221232 1075967892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10529 7461 1111 63 0 10466 0
vsize: 42116
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 504619 0 6 0 73514 1401 0 0 25 0 1 0 848684598 33021952 7366 4294967295 134512640 134716908 3221224576 3221223040 1074121049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8062 7366 1111 63 0 7999 0
vsize: 32248
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 515756 0 6 0 74483 1432 0 0 25 0 1 0 848684598 43139072 8673 4294967295 134512640 134716908 3221224576 3221220804 1075115043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 8673 1111 63 0 10469 0
vsize: 42128
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 527068 0 6 0 75452 1463 0 0 25 0 1 0 848684598 33001472 7361 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8057 7361 1111 63 0 7994 0
vsize: 32228
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 539657 0 6 0 76418 1497 0 0 25 0 1 0 848684598 39768064 7854 4294967295 134512640 134716908 3221224576 3221221556 1075964086 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9709 7854 1111 63 0 9646 0
vsize: 38836
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 550855 0 6 0 77387 1528 0 0 25 0 1 0 848684598 43139072 8656 4294967295 134512640 134716908 3221224576 3221220736 1075093350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 8656 1111 63 0 10469 0
vsize: 42128
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 563600 0 6 0 78352 1564 0 0 25 0 1 0 848684598 33013760 7364 4294967295 134512640 134716908 3221224576 3221222992 1074116396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7364 1111 63 0 7997 0
vsize: 32240
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 577705 0 6 0 79313 1603 0 0 25 0 1 0 848684598 43655168 8756 4294967295 134512640 134716908 3221224576 3221220608 1074790221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10658 8756 1111 63 0 10595 0
vsize: 42632
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 586458 0 6 0 80288 1628 0 0 25 0 1 0 848684598 32989184 7358 4294967295 134512640 134716908 3221224576 3221222680 1077374653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8054 7358 1111 63 0 7991 0
vsize: 32216
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 599265 0 6 0 81252 1664 0 0 25 0 1 0 848684598 43638784 7654 4294967295 134512640 134716908 3221224576 3221221388 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10654 7654 1111 63 0 10591 0
vsize: 42616
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 606595 0 6 0 82231 1685 0 0 25 0 1 0 848684598 33013760 7364 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7364 1111 63 0 7997 0
vsize: 32240
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 617926 0 6 0 83200 1716 0 0 25 0 1 0 848684598 43130880 7462 4294967295 134512640 134716908 3221224576 3221220848 1074960912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10530 7462 1111 63 0 10467 0
vsize: 42120
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 625316 0 6 0 84180 1737 0 0 25 0 1 0 848684598 33026048 7367 4294967295 134512640 134716908 3221224576 3221222960 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8063 7367 1111 63 0 8000 0
vsize: 32252
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 632693 0 6 0 85160 1757 0 0 25 0 1 0 848684598 43286528 7382 4294967295 134512640 134716908 3221224576 3221221728 1075969885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10568 7388 1111 63 0 10505 0
vsize: 42272
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 645443 0 6 0 86123 1794 0 0 25 0 1 0 848684598 43126784 7419 4294967295 134512640 134716908 3221224576 3221220720 1074970218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10529 7419 1111 63 0 10466 0
vsize: 42116
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 654502 0 6 0 87099 1818 0 0 25 0 1 0 848684598 43446272 7580 4294967295 134512640 134716908 3221224576 3221221232 1075967445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10607 7580 1111 63 0 10544 0
vsize: 42428
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 663157 0 6 0 88076 1841 0 0 25 0 1 0 848684598 33001472 7361 4294967295 134512640 134716908 3221224576 3221222600 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8057 7361 1111 63 0 7994 0
vsize: 32228
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 673084 0 6 0 89049 1868 0 0 25 0 1 0 848684598 33013760 7364 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7364 1111 63 0 7997 0
vsize: 32240
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 682988 0 6 0 90022 1896 0 0 25 0 1 0 848684598 33009664 7363 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8059 7363 1111 63 0 7996 0
vsize: 32236
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 698413 0 6 0 90979 1939 0 0 25 0 1 0 848684598 33009664 7363 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8059 7363 1111 63 0 7996 0
vsize: 32236
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 713846 0 6 0 91936 1982 0 0 25 0 1 0 848684598 43126784 7432 4294967295 134512640 134716908 3221224576 3221220668 1075663503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10529 7432 1111 63 0 10466 0
vsize: 42116
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 730475 0 6 0 92889 2029 0 0 25 0 1 0 848684598 43118592 7394 4294967295 134512640 134716908 3221224576 3221221108 1075863638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10527 7394 1111 63 0 10464 0
vsize: 42108
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 741542 0 6 0 93858 2060 0 0 25 0 1 0 848684598 43139072 8671 4294967295 134512640 134716908 3221224576 3221220752 1074882524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 8671 1111 63 0 10469 0
vsize: 42128
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 758392 0 6 0 94811 2107 0 0 25 0 1 0 848684598 32997376 7360 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8056 7360 1111 63 0 7993 0
vsize: 32224
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 772410 0 6 0 95773 2146 0 0 25 0 1 0 848684598 33009664 7363 4294967295 134512640 134716908 3221224576 3221222284 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8059 7363 1111 63 0 7996 0
vsize: 32236
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 787858 0 6 0 96729 2189 0 0 25 0 1 0 848684598 43122688 7417 4294967295 134512640 134716908 3221224576 3221220848 1074960920 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10528 7417 1111 63 0 10465 0
vsize: 42112
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 800625 0 6 0 97694 2225 0 0 25 0 1 0 848684598 43139072 7471 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 7471 1111 63 0 10469 0
vsize: 42128
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 813214 0 6 0 98660 2259 0 0 25 0 1 0 848684598 33009664 7363 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8059 7363 1111 63 0 7996 0
vsize: 32236
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 823433 0 6 0 99631 2288 0 0 25 0 1 0 848684598 43139072 7472 4294967295 134512640 134716908 3221224576 3221220632 1074789542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 7472 1111 63 0 10469 0
vsize: 42128
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 836062 0 6 0 100596 2324 0 0 25 0 1 0 848684598 32989184 7358 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8054 7358 1111 63 0 7991 0
vsize: 32216
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 849232 0 6 0 101559 2361 0 0 25 0 1 0 848684598 33001472 7361 4294967295 134512640 134716908 3221224576 3221223180 1074152784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8057 7361 1111 63 0 7994 0
vsize: 32228
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 858118 0 6 0 102534 2386 0 0 25 0 1 0 848684598 43126784 8637 4294967295 134512640 134716908 3221224576 3221220544 1075965253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10529 8637 1111 63 0 10466 0
vsize: 42116
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 868292 0 6 0 103506 2415 0 0 25 0 1 0 848684598 43139072 8649 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 8649 1111 63 0 10469 0
vsize: 42128
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 879542 0 6 0 104476 2444 0 0 25 0 1 0 848684598 43442176 8713 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10606 8713 1111 63 0 10543 0
vsize: 42424
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 890894 0 6 0 105443 2478 0 0 25 0 1 0 848684598 33013760 7364 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8060 7364 1111 63 0 7997 0
vsize: 32240
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 902577 0 6 0 106411 2510 0 0 25 0 1 0 848684598 33009664 7363 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8059 7363 1111 63 0 7996 0
vsize: 32236
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 912431 0 6 0 107384 2537 0 0 25 0 1 0 848684598 43376640 8698 4294967295 134512640 134716908 3221224576 3221220944 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10590 8698 1111 63 0 10527 0
vsize: 42360
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 921394 0 6 0 108360 2561 0 0 25 0 1 0 848684598 43139072 7460 4294967295 134512640 134716908 3221224576 3221220736 1075092591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 7460 1111 63 0 10469 0
vsize: 42128
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 931187 0 6 0 109332 2589 0 0 25 0 1 0 848684598 33021952 7366 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8062 7366 1111 63 0 7999 0
vsize: 32248
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 943823 0 6 0 110298 2624 0 0 25 0 1 0 848684598 43130880 7469 4294967295 134512640 134716908 3221224576 3221220736 1075091544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10530 7469 1111 63 0 10467 0
vsize: 42120
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 957014 0 6 0 111261 2661 0 0 25 0 1 0 848684598 32989184 7358 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8054 7358 1111 63 0 7991 0
vsize: 32216
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 966969 0 6 0 112233 2689 0 0 25 0 1 0 848684598 43139072 7463 4294967295 134512640 134716908 3221224576 3221221120 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 7463 1111 63 0 10469 0
vsize: 42128
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 979746 0 6 0 113198 2724 0 0 25 0 1 0 848684598 33005568 7362 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8058 7362 1111 63 0 7995 0
vsize: 32232
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 991173 0 6 0 114168 2754 0 0 25 0 1 0 848684598 33026048 7367 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8063 7367 1111 63 0 8000 0
vsize: 32252
[startup+1177.79 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 27944
Raw data (stat): 27944 (bsolo_lpr_cuts-) R 27943 8378 8377 0 -1 0 991173 0 6 0 114168 2754 0 0 25 0 1 0 848684598 33026048 7367 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8063 7367 1111 63 0 8000 0
vsize: 0

Child status: 10
Real time (s): 1177.79
CPU time (s): 1177
CPU user time (s): 1149.26
CPU system time (s): 27.7368
CPU usage (%): 99.9325
Max. virtual memory (Kb): 43272
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-18
#### END VERIFIER DATA ####