PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 23:18:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28928 boxname=wulflinc3 idbench=314 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  84d0b0ba659c599a6c66454cd956a06b  /oldhome/oroussel/tmp/wulflinc3/normalized-frb30-15-1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-frb30-15-1.opb
IDLAUNCH: 28928
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        907636 kB
Buffers:         19156 kB
Cached:          85092 kB
SwapCached:       3464 kB
Active:          27836 kB
Inactive:        81148 kB
HighTotal:      131008 kB
HighFree:        53340 kB
LowTotal:       903652 kB
LowFree:        854296 kB
SwapTotal:     2097136 kB
SwapFree:      2092672 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            12356 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 23:37:48 (client local time) WITH STATUS 10 IN 1175.05 SECONDS
stats: 28928 0 1175.05 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 450 variables and 17827 constraints.
c After prepocess the problem consists of 450 variables and 13930 constraints.
c preprocess terminated 81.528 s
c Initial Lower Bound: -51
c Lower Bound Elapsed time: 210.282
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -2 @ 292.037
c NEW SOLUTION FOUND: -3 @ 292.069
c NEW SOLUTION FOUND: -4 @ 292.084
c NEW SOLUTION FOUND: -5 @ 292.103
c NEW SOLUTION FOUND: -6 @ 292.306
c NEW SOLUTION FOUND: -7 @ 292.344
c NEW SOLUTION FOUND: -8 @ 292.431
c NEW SOLUTION FOUND: -9 @ 292.548
c NEW SOLUTION FOUND: -10 @ 292.716
c NEW SOLUTION FOUND: -11 @ 293.062
c NEW SOLUTION FOUND: -12 @ 294.334
c NEW SOLUTION FOUND: -13 @ 296.451
c NEW SOLUTION FOUND: -14 @ 297.299
c NEW SOLUTION FOUND: -15 @ 301.034
c NEW SOLUTION FOUND: -16 @ 344.622
c NEW SOLUTION FOUND: -17 @ 399.801
c NEW SOLUTION FOUND: -18 @ 485.005
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.03 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.95 0.90 2/54 1198
Raw data (stat): 1198 (runsolver) R 1197 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905525998 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.0009 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 5656 0 0 0 981 16 0 0 25 0 1 0 905525998 24616960 5179 4294967295 134512640 134716908 3221224576 3221223104 134543728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6010 5179 1111 63 0 5947 0
vsize: 24040
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 5706 0 0 0 1981 16 0 0 25 0 1 0 905525998 24711168 5202 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6033 5202 1111 63 0 5970 0
vsize: 24132
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 6091 0 0 0 2980 17 0 0 25 0 1 0 905525998 25690112 5426 4294967295 134512640 134716908 3221224576 3221223056 134542359 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6272 5426 1111 63 0 6209 0
vsize: 25088
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 6107 0 0 0 3980 18 0 0 25 0 1 0 905525998 25825280 5442 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6305 5442 1111 63 0 6242 0
vsize: 25220
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 6107 0 0 0 4980 18 0 0 25 0 1 0 905525998 25825280 5442 4294967295 134512640 134716908 3221224576 3221223248 134627233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6305 5442 1111 63 0 6242 0
vsize: 25220
[startup+60.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 6208 0 0 0 5980 18 0 0 25 0 1 0 905525998 26230784 5543 4294967295 134512640 134716908 3221224576 3221223248 134627268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6404 5543 1111 63 0 6341 0
vsize: 25616
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 6359 0 0 0 6979 19 0 0 25 0 1 0 905525998 26771456 5694 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6536 5694 1111 63 0 6473 0
vsize: 26144
[startup+80.0027 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 6654 0 0 0 7979 20 0 0 25 0 1 0 905525998 27967488 5989 4294967295 134512640 134716908 3221224576 3221223376 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6828 5989 1111 63 0 6765 0
vsize: 27312
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 7069 0 0 0 8977 21 0 0 25 0 1 0 905525998 29757440 6404 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7265 6404 1111 63 0 7202 0
vsize: 29060
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 7207 0 0 0 9974 23 0 0 25 0 1 0 905525998 30371840 6542 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7415 6542 1111 63 0 7352 0
vsize: 29660
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 7240 0 0 0 10973 25 0 0 25 0 1 0 905525998 30498816 6575 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7446 6575 1111 63 0 7383 0
vsize: 29784
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 9817 0 0 0 11966 32 0 0 25 0 1 0 905525998 40923136 8256 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9991 8256 1111 63 0 9928 0
vsize: 39964
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 10419 0 0 0 12965 33 0 0 25 0 1 0 905525998 40083456 8454 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9786 8454 1111 63 0 9723 0
vsize: 39144
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 10495 0 0 0 13965 33 0 0 25 0 1 0 905525998 40300544 8530 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9839 8530 1111 63 0 9776 0
vsize: 39356
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 10554 0 0 0 14965 33 0 0 25 0 1 0 905525998 40542208 8589 4294967295 134512640 134716908 3221224576 3221220440 1075964745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9898 8589 1111 63 0 9835 0
vsize: 39592
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 10619 0 0 0 15965 33 0 0 25 0 1 0 905525998 40775680 8654 4294967295 134512640 134716908 3221224576 3221220688 1074815276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9955 8654 1111 63 0 9892 0
vsize: 39820
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 10665 0 0 0 16965 33 0 0 25 0 1 0 905525998 41033728 8700 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10018 8700 1111 63 0 9955 0
vsize: 40072
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 10720 0 0 0 17965 34 0 0 25 0 1 0 905525998 41299968 8753 4294967295 134512640 134716908 3221224576 3221220580 1075964296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10083 8753 1111 63 0 10020 0
vsize: 40332
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 10791 0 0 0 18965 34 0 0 25 0 1 0 905525998 41590784 8824 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10154 8824 1111 63 0 10091 0
vsize: 40616
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 10848 0 0 0 19965 34 0 0 25 0 1 0 905525998 41885696 8881 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10226 8881 1111 63 0 10163 0
vsize: 40904
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 10897 0 0 0 20965 34 0 0 25 0 1 0 905525998 42196992 8930 4294967295 134512640 134716908 3221224576 3221220752 1074960765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10302 8930 1111 63 0 10239 0
vsize: 41208
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 10969 0 0 0 21965 35 0 0 25 0 1 0 905525998 42512384 9002 4294967295 134512640 134716908 3221224576 3221220752 1074960859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10379 9002 1111 63 0 10316 0
vsize: 41516
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 11018 0 0 0 22965 35 0 0 25 0 1 0 905525998 42512384 9051 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10379 9051 1111 63 0 10316 0
vsize: 41516
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 11023 0 0 0 23965 35 0 0 25 0 1 0 905525998 42512384 9056 4294967295 134512640 134716908 3221224576 3221221408 1075890974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10379 9056 1111 63 0 10316 0
vsize: 41516
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 11026 0 0 0 24965 35 0 0 25 0 1 0 905525998 42512384 9059 4294967295 134512640 134716908 3221224576 3221220448 1075965234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10379 9059 1111 63 0 10316 0
vsize: 41516
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 11029 0 0 0 25965 35 0 0 25 0 1 0 905525998 42512384 9062 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10379 9062 1111 63 0 10316 0
vsize: 41516
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 11034 0 0 0 26965 35 0 0 25 0 1 0 905525998 42512384 9067 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10379 9067 1111 63 0 10316 0
vsize: 41516
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 11034 0 0 0 27965 35 0 0 25 0 1 0 905525998 42512384 9067 4294967295 134512640 134716908 3221224576 3221221552 1074867331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10379 9067 1111 63 0 10316 0
vsize: 41516
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 14954 0 0 0 28956 44 0 0 25 0 1 0 905525998 34119680 7553 4294967295 134512640 134716908 3221224576 3221222632 1074950102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8330 7553 1111 63 0 8267 0
vsize: 33320
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 29408 0 0 0 29912 88 0 0 25 0 1 0 905525998 30375936 6706 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7416 6706 1111 63 0 7353 0
vsize: 29664
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 48215 0 0 0 30860 140 0 0 25 0 1 0 905525998 30371840 6708 4294967295 134512640 134716908 3221224576 3221222976 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7415 6708 1111 63 0 7352 0
vsize: 29660
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 65596 0 0 0 31811 189 0 0 25 0 1 0 905525998 40656896 6763 4294967295 134512640 134716908 3221224576 3221220816 1075115758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9926 6763 1111 63 0 9863 0
vsize: 39704
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 79610 0 0 0 32772 228 0 0 25 0 1 0 905525998 30371840 6711 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7415 6711 1111 63 0 7352 0
vsize: 29660
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 101194 0 0 0 33713 287 0 0 25 0 1 0 905525998 40656896 6767 4294967295 134512640 134716908 3221224576 3221220848 1074961288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9926 6767 1111 63 0 9863 0
vsize: 39704
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 117035 0 0 0 34668 332 0 0 25 0 1 0 905525998 30392320 6716 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6716 1111 63 0 7357 0
vsize: 29680
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 136858 0 0 0 35614 387 0 0 25 0 1 0 905525998 30384128 6714 4294967295 134512640 134716908 3221224576 3221222320 1075646784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6714 1111 63 0 7355 0
vsize: 29672
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 151786 0 0 0 36573 427 0 0 25 0 1 0 905525998 30371840 6711 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7415 6711 1111 63 0 7352 0
vsize: 29660
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 168064 0 0 0 37528 472 0 0 25 0 1 0 905525998 40660992 6782 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9927 6782 1111 63 0 9864 0
vsize: 39708
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 191686 0 0 0 38465 536 0 0 25 0 1 0 905525998 30367744 6710 4294967295 134512640 134716908 3221224576 3221222952 1077410241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7414 6710 1111 63 0 7351 0
vsize: 29656
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 205805 0 0 0 39427 574 0 0 25 0 1 0 905525998 40652800 6751 4294967295 134512640 134716908 3221224576 3221220736 1075091544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9925 6751 1111 63 0 9862 0
vsize: 39700
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 224590 0 0 0 40375 626 0 0 25 0 1 0 905525998 40976384 6842 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10004 6842 1111 63 0 9941 0
vsize: 40016
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 241699 0 0 0 41329 672 0 0 25 0 1 0 905525998 40828928 6814 4294967295 134512640 134716908 3221224576 3221220848 1074960958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9968 6814 1111 63 0 9905 0
vsize: 39872
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 261203 0 0 0 42277 725 0 0 25 0 1 0 905525998 40808448 8043 4294967295 134512640 134716908 3221224576 3221221104 1075397189 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9963 8043 1111 63 0 9900 0
vsize: 39852
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 274749 0 0 0 43239 762 0 0 25 0 1 0 905525998 30367744 6710 4294967295 134512640 134716908 3221224576 3221222208 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7414 6710 1111 63 0 7351 0
vsize: 29656
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 290505 0 0 0 44196 806 0 0 25 0 1 0 905525998 30384128 6714 4294967295 134512640 134716908 3221224576 3221223212 134651473 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6714 1111 63 0 7355 0
vsize: 29672
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 307844 0 0 0 45148 854 0 0 25 0 1 0 905525998 40660992 8007 4294967295 134512640 134716908 3221224576 3221220780 1075564165 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9927 8007 1111 63 0 9864 0
vsize: 39708
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 327576 0 0 0 46092 910 0 0 25 0 1 0 905525998 40656896 6764 4294967295 134512640 134716908 3221224576 3221220912 1075113634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9926 6764 1111 63 0 9863 0
vsize: 39704
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 341717 0 0 0 47052 950 0 0 25 0 1 0 905525998 30375936 6712 4294967295 134512640 134716908 3221224576 3221222600 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7416 6712 1111 63 0 7353 0
vsize: 29664
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 355148 0 0 0 48016 987 0 0 25 0 1 0 905525998 30400512 6718 4294967295 134512640 134716908 3221224576 3221222976 1074119105 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7422 6718 1111 63 0 7359 0
vsize: 29688
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 369712 0 0 0 48977 1025 0 0 25 0 1 0 905525998 30392320 6716 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6716 1111 63 0 7357 0
vsize: 29680
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 385678 0 0 0 49934 1069 0 0 25 0 1 0 905525998 40845312 8027 4294967295 134512640 134716908 3221224576 3221220736 1074794472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9972 8027 1111 63 0 9909 0
vsize: 39888
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 401523 0 0 0 50890 1113 0 0 25 0 1 0 905525998 30384128 6714 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6714 1111 63 0 7355 0
vsize: 29672
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 422562 0 0 0 51832 1171 0 0 25 0 1 0 905525998 30384128 6714 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6714 1111 63 0 7355 0
vsize: 29672
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 441054 0 0 0 52780 1223 0 0 25 0 1 0 905525998 30392320 6716 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6716 1111 63 0 7357 0
vsize: 29680
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 458237 0 0 0 53733 1271 0 0 25 0 1 0 905525998 30384128 6714 4294967295 134512640 134716908 3221224576 3221221768 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6714 1111 63 0 7355 0
vsize: 29672
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 469398 0 0 0 54704 1300 0 0 25 0 1 0 905525998 30400512 6718 4294967295 134512640 134716908 3221224576 3221222576 1074916167 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7422 6718 1111 63 0 7359 0
vsize: 29688
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 486923 0 0 0 55654 1350 0 0 25 0 1 0 905525998 30380032 6713 4294967295 134512640 134716908 3221224576 3221222688 1074867331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6713 1111 63 0 7354 0
vsize: 29668
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 503094 0 0 0 56611 1393 0 0 25 0 1 0 905525998 40665088 6797 4294967295 134512640 134716908 3221224576 3221221408 1075115790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9928 6797 1111 63 0 9865 0
vsize: 39712
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 515405 0 0 0 57578 1426 0 0 25 0 1 0 905525998 40972288 8055 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10003 8055 1111 63 0 9940 0
vsize: 40012
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 526656 0 0 0 58546 1458 0 0 25 0 1 0 905525998 30388224 6715 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6715 1111 63 0 7356 0
vsize: 29676
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 541337 0 0 0 59505 1500 0 0 25 0 1 0 905525998 30380032 6713 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6713 1111 63 0 7354 0
vsize: 29668
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 558422 0 0 0 60458 1547 0 0 25 0 1 0 905525998 30388224 6715 4294967295 134512640 134716908 3221224576 3221222304 1075828682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6715 1111 63 0 7356 0
vsize: 29676
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 574628 0 0 0 61413 1592 0 0 25 0 1 0 905525998 40665088 6795 4294967295 134512640 134716908 3221224576 3221221408 1075115837 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9928 6795 1111 63 0 9865 0
vsize: 39712
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 587023 0 0 0 62379 1626 0 0 25 0 1 0 905525998 41115648 6910 4294967295 134512640 134716908 3221224576 3221220848 1074961304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10038 6910 1111 63 0 9975 0
vsize: 40152
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 600759 0 0 0 63342 1664 0 0 25 0 1 0 905525998 41025536 6860 4294967295 134512640 134716908 3221224576 3221221120 1075088563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10016 6860 1111 63 0 9953 0
vsize: 40064
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 616715 0 0 0 64298 1708 0 0 25 0 1 0 905525998 30388224 6715 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6715 1111 63 0 7356 0
vsize: 29676
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 635274 0 0 0 65247 1759 0 0 25 0 1 0 905525998 30388224 6715 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6715 1111 63 0 7356 0
vsize: 29676
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 656743 0 0 0 66187 1819 0 0 25 0 1 0 905525998 30367744 6710 4294967295 134512640 134716908 3221224576 3221222748 1074206158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7414 6710 1111 63 0 7351 0
vsize: 29656
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 670515 0 0 0 67151 1856 0 0 25 0 1 0 905525998 41447424 6954 4294967295 134512640 134716908 3221224576 3221220848 1074961267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10119 6954 1111 63 0 10056 0
vsize: 40476
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 685377 0 0 0 68110 1896 0 0 25 0 1 0 905525998 30367744 6710 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7414 6710 1111 63 0 7351 0
vsize: 29656
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 700511 0 0 0 69068 1938 0 0 25 0 1 0 905525998 30367744 6710 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7414 6710 1111 63 0 7351 0
vsize: 29656
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 716482 0 0 0 70025 1981 0 0 25 0 1 0 905525998 30384128 6714 4294967295 134512640 134716908 3221224576 3221222960 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6714 1111 63 0 7355 0
vsize: 29672
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 730382 0 0 0 70988 2018 0 0 25 0 1 0 905525998 30380032 6713 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6713 1111 63 0 7354 0
vsize: 29668
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 747749 0 0 0 71940 2067 0 0 25 0 1 0 905525998 30384128 6714 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6714 1111 63 0 7355 0
vsize: 29672
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 768637 0 0 0 72884 2123 0 0 25 0 1 0 905525998 30371840 6711 4294967295 134512640 134716908 3221224576 3221222600 1077380435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7415 6711 1111 63 0 7352 0
vsize: 29660
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 779959 0 0 0 73853 2154 0 0 25 0 1 0 905525998 40660992 6778 4294967295 134512640 134716908 3221224576 3221220804 1075115076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9927 6778 1111 63 0 9864 0
vsize: 39708
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 794887 0 0 0 74812 2195 0 0 25 0 1 0 905525998 30388224 6715 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6715 1111 63 0 7356 0
vsize: 29676
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 810966 0 0 0 75769 2239 0 0 25 0 1 0 905525998 30388224 6715 4294967295 134512640 134716908 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6715 1111 63 0 7356 0
vsize: 29676
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 830898 0 0 0 76713 2294 0 0 25 0 1 0 905525998 30367744 6710 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7414 6710 1111 63 0 7351 0
vsize: 29656
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 850972 0 0 0 77657 2351 0 0 25 0 1 0 905525998 40656896 8009 4294967295 134512640 134716908 3221224576 3221220848 1074960795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9926 8009 1111 63 0 9863 0
vsize: 39704
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 869482 0 0 0 78604 2404 0 0 25 0 1 0 905525998 30384128 6714 4294967295 134512640 134716908 3221224576 3221222600 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6714 1111 63 0 7355 0
vsize: 29672
[startup+820.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 885780 0 0 0 79559 2450 0 0 25 0 1 0 905525998 40660992 6781 4294967295 134512640 134716908 3221224576 3221220736 1075090349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9927 6781 1111 63 0 9864 0
vsize: 39708
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 902056 0 0 0 80514 2494 0 0 25 0 1 0 905525998 30367744 6710 4294967295 134512640 134716908 3221224576 3221222192 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7414 6710 1111 63 0 7351 0
vsize: 29656
[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 914557 0 0 0 81479 2530 0 0 25 0 1 0 905525998 30388224 6715 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6715 1111 63 0 7356 0
vsize: 29676
[startup+850.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 933124 0 0 0 82428 2581 0 0 25 0 1 0 905525998 30388224 6715 4294967295 134512640 134716908 3221224576 3221222224 1075818335 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6715 1111 63 0 7356 0
vsize: 29676
[startup+860.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 950743 0 0 0 83381 2629 0 0 25 0 1 0 905525998 30371840 6711 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7415 6711 1111 63 0 7352 0
vsize: 29660
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 963781 0 0 0 84344 2665 0 0 25 0 1 0 905525998 30367744 6710 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7414 6710 1111 63 0 7351 0
vsize: 29656
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 976456 0 0 0 85310 2700 0 0 25 0 1 0 905525998 30375936 6712 4294967295 134512640 134716908 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7416 6712 1111 63 0 7353 0
vsize: 29664
[startup+890.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 991070 0 0 0 86270 2740 0 0 25 0 1 0 905525998 40992768 8058 4294967295 134512640 134716908 3221224576 3221220720 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10008 8058 1111 63 0 9945 0
vsize: 40032
[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1009638 0 0 0 87218 2792 0 0 25 0 1 0 905525998 30384128 6714 4294967295 134512640 134716908 3221224576 3221222576 1074916350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6714 1111 63 0 7355 0
vsize: 29672
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1024712 0 0 0 88176 2834 0 0 25 0 1 0 905525998 30371840 6711 4294967295 134512640 134716908 3221224576 3221222860 1074208192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7415 6711 1111 63 0 7352 0
vsize: 29660
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1042017 0 0 0 89127 2883 0 0 25 0 1 0 905525998 40656896 6792 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9926 6792 1111 63 0 9863 0
vsize: 39704
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1059191 0 0 0 90081 2930 0 0 25 0 1 0 905525998 40656896 6790 4294967295 134512640 134716908 3221224576 3221220736 1075094798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9926 6797 1111 63 0 9863 0
vsize: 39704
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1078971 0 0 0 91026 2985 0 0 25 0 1 0 905525998 40652800 6754 4294967295 134512640 134716908 3221224576 3221220780 1075562944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9925 6754 1111 63 0 9862 0
vsize: 39700
[startup+950.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1096285 0 0 0 91978 3033 0 0 25 0 1 0 905525998 30380032 6713 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6713 1111 63 0 7354 0
vsize: 29668
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1112503 0 0 0 92933 3078 0 0 25 0 1 0 905525998 30380032 6713 4294967295 134512640 134716908 3221224576 3221222976 1074153165 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6713 1111 63 0 7354 0
vsize: 29668
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1130670 0 0 0 93883 3128 0 0 25 0 1 0 905525998 37646336 7289 4294967295 134512640 134716908 3221224576 3221220676 1075964282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9191 7289 1111 63 0 9128 0
vsize: 36764
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1145512 0 0 0 94844 3168 0 0 25 0 1 0 905525998 41000960 6799 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10010 6805 1111 63 0 9947 0
vsize: 40040
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1159313 0 0 0 95808 3204 0 0 25 0 1 0 905525998 30388224 6715 4294967295 134512640 134716908 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6715 1111 63 0 7356 0
vsize: 29676
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1170697 0 0 0 96776 3236 0 0 25 0 1 0 905525998 30388224 6715 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6715 1111 63 0 7356 0
vsize: 29676
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1185490 0 0 0 97735 3277 0 0 25 0 1 0 905525998 30388224 6715 4294967295 134512640 134716908 3221224576 3221222576 1074917897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6715 1111 63 0 7356 0
vsize: 29676
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1205285 0 0 0 98681 3332 0 0 25 0 1 0 905525998 40652800 6759 4294967295 134512640 134716908 3221224576 3221220912 1075113481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9925 6759 1111 63 0 9862 0
vsize: 39700
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1221421 0 0 0 99636 3376 0 0 25 0 1 0 905525998 30380032 6713 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6713 1111 63 0 7354 0
vsize: 29668
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1234286 0 0 0 100600 3412 0 0 25 0 1 0 905525998 30371840 6711 4294967295 134512640 134716908 3221224576 3221222820 1077374125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7415 6711 1111 63 0 7352 0
vsize: 29660
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1249473 0 0 0 101559 3454 0 0 25 0 1 0 905525998 30384128 6714 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6714 1111 63 0 7355 0
vsize: 29672
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1262153 0 0 0 102524 3489 0 0 25 0 1 0 905525998 30380032 6713 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6713 1111 63 0 7354 0
vsize: 29668
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1276519 0 0 0 103485 3528 0 0 25 0 1 0 905525998 40660992 7482 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9927 7490 1111 63 0 9864 0
vsize: 39708
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1290682 0 0 0 104446 3568 0 0 25 0 1 0 905525998 41029632 8070 4294967295 134512640 134716908 3221224576 3221220848 1074960759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10017 8070 1111 63 0 9954 0
vsize: 40068
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1302021 0 0 0 105415 3598 0 0 25 0 1 0 905525998 30380032 6713 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6713 1111 63 0 7354 0
vsize: 29668
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1314633 0 0 0 106381 3633 0 0 25 0 1 0 905525998 30384128 6714 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6714 1111 63 0 7355 0
vsize: 29672
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1333557 0 0 0 107329 3685 0 0 25 0 1 0 905525998 30380032 6713 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6713 1111 63 0 7354 0
vsize: 29668
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1347447 0 0 0 108292 3722 0 0 25 0 1 0 905525998 41603072 6987 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10157 6987 1111 63 0 10094 0
vsize: 40628
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1364822 0 0 0 109245 3770 0 0 25 0 1 0 905525998 30388224 6715 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6715 1111 63 0 7356 0
vsize: 29676
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1381261 0 0 0 110201 3814 0 0 25 0 1 0 905525998 30371840 6711 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7415 6711 1111 63 0 7352 0
vsize: 29660
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1395105 0 0 0 111165 3850 0 0 25 0 1 0 905525998 30392320 6716 4294967295 134512640 134716908 3221224576 3221222600 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6716 1111 63 0 7357 0
vsize: 29680
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1411690 0 0 0 112119 3896 0 0 25 0 1 0 905525998 41136128 6878 4294967295 134512640 134716908 3221224576 3221221232 1075967895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10043 6879 1111 63 0 9980 0
vsize: 40172
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1424566 0 0 0 113083 3932 0 0 25 0 1 0 905525998 30400512 6718 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7422 6718 1111 63 0 7359 0
vsize: 29688
[startup+1174.91 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 1198
Raw data (stat): 1198 (bsolo_lpr_cuts-) R 1197 20224 20223 0 -1 0 1424566 0 0 0 113083 3932 0 0 25 0 1 0 905525998 30400512 6718 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7422 6718 1111 63 0 7359 0
vsize: 0

Child status: 10
Real time (s): 1174.91
CPU time (s): 1175.05
CPU user time (s): 1135.49
CPU system time (s): 39.562
CPU usage (%): 100.011
Max. virtual memory (Kb): 41516
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-18
#### END VERIFIER DATA ####