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 39690

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 16:17:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27756 boxname=wulflinc4 idbench=314 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  84d0b0ba659c599a6c66454cd956a06b  /oldhome/oroussel/tmp/wulflinc4/normalized-frb30-15-1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-frb30-15-1.opb
IDLAUNCH: 27756
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        922444 kB
Buffers:         33836 kB
Cached:          55556 kB
SwapCached:        980 kB
Active:          20336 kB
Inactive:        71228 kB
HighTotal:      131008 kB
HighFree:       104356 kB
LowTotal:       903652 kB
LowFree:        818088 kB
SwapTotal:     2097136 kB
SwapFree:      2095204 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4892 kB
Slab:            15016 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 16:36:55 (client local time) WITH STATUS 10 IN 1175.76 SECONDS
stats: 27756 0 1175.76 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 82.355 s
c Initial Lower Bound: -51
c Lower Bound Elapsed time: 50.9847
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -2 @ 286.521
c NEW SOLUTION FOUND: -3 @ 286.553
c NEW SOLUTION FOUND: -4 @ 286.567
c NEW SOLUTION FOUND: -5 @ 286.586
c NEW SOLUTION FOUND: -6 @ 286.788
c NEW SOLUTION FOUND: -7 @ 286.826
c NEW SOLUTION FOUND: -8 @ 286.911
c NEW SOLUTION FOUND: -9 @ 287.028
c NEW SOLUTION FOUND: -10 @ 287.195
c NEW SOLUTION FOUND: -11 @ 287.535
c NEW SOLUTION FOUND: -12 @ 288.794
c NEW SOLUTION FOUND: -13 @ 290.896
c NEW SOLUTION FOUND: -14 @ 291.744
c NEW SOLUTION FOUND: -15 @ 295.483
c NEW SOLUTION FOUND: -16 @ 340.017
c NEW SOLUTION FOUND: -17 @ 395.815
c NEW SOLUTION FOUND: -18 @ 482.515
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.74 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.91 0.95 0.90 1/54 18221
Raw data (stat): 18221 (runsolver) R 18220 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 894358268 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.0013 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 5656 0 0 0 985 12 0 0 25 0 1 0 894358268 24616960 5179 4294967295 134512640 134716908 3221224576 3221222940 134539243 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.0027 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 5706 0 0 0 1985 12 0 0 25 0 1 0 894358268 24711168 5202 4294967295 134512640 134716908 3221224576 3221223056 134539374 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.0033 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 6091 0 0 0 2985 13 0 0 25 0 1 0 894358268 25690112 5426 4294967295 134512640 134716908 3221224576 3221223040 134542297 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.0038 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 6107 0 0 0 3985 13 0 0 25 0 1 0 894358268 25825280 5442 4294967295 134512640 134716908 3221224576 3221223216 134594970 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.004 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 6107 0 0 0 4985 13 0 0 25 0 1 0 894358268 25825280 5442 4294967295 134512640 134716908 3221224576 3221223224 134558477 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.0048 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 6199 0 0 0 5985 13 0 0 25 0 1 0 894358268 26095616 5534 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6371 5534 1111 63 0 6308 0
vsize: 25484
[startup+70.0053 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 6347 0 0 0 6985 14 0 0 25 0 1 0 894358268 26771456 5682 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6536 5682 1111 63 0 6473 0
vsize: 26144
[startup+80.0058 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 6650 0 0 0 7984 14 0 0 25 0 1 0 894358268 27967488 5985 4294967295 134512640 134716908 3221224576 3221223376 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6828 5985 1111 63 0 6765 0
vsize: 27312
[startup+90.0064 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 7085 0 0 0 8981 18 0 0 25 0 1 0 894358268 29798400 6420 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7275 6420 1111 63 0 7212 0
vsize: 29100
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 7217 0 0 0 9978 20 0 0 25 0 1 0 894358268 30408704 6552 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7424 6552 1111 63 0 7361 0
vsize: 29696
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 7254 0 0 0 10978 21 0 0 25 0 1 0 894358268 30531584 6589 4294967295 134512640 134716908 3221224576 3221222464 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7454 6589 1111 63 0 7391 0
vsize: 29816
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 10244 0 0 0 11971 28 0 0 25 0 1 0 894358268 40923136 8683 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9991 8683 1111 63 0 9928 0
vsize: 39964
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 10435 0 0 0 12970 29 0 0 25 0 1 0 894358268 40083456 8470 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9786 8470 1111 63 0 9723 0
vsize: 39144
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 10497 0 0 0 13970 29 0 0 25 0 1 0 894358268 40300544 8532 4294967295 134512640 134716908 3221224576 3221221424 1074620113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9839 8532 1111 63 0 9776 0
vsize: 39356
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 10556 0 0 0 14970 30 0 0 25 0 1 0 894358268 40542208 8591 4294967295 134512640 134716908 3221224576 3221220624 1074969471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9898 8591 1111 63 0 9835 0
vsize: 39592
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 10619 0 0 0 15970 30 0 0 25 0 1 0 894358268 40775680 8654 4294967295 134512640 134716908 3221224576 3221220708 1075115039 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 10666 0 0 0 16970 30 0 0 25 0 1 0 894358268 41033728 8701 4294967295 134512640 134716908 3221224576 3221221292 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10018 8701 1111 63 0 9955 0
vsize: 40072
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 10724 0 0 0 17970 30 0 0 25 0 1 0 894358268 41299968 8757 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10083 8757 1111 63 0 10020 0
vsize: 40332
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 10791 0 0 0 18970 30 0 0 25 0 1 0 894358268 41590784 8824 4294967295 134512640 134716908 3221224576 3221220708 1075115073 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 10848 0 0 0 19970 30 0 0 25 0 1 0 894358268 41885696 8881 4294967295 134512640 134716908 3221224576 3221220492 1074788950 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 10896 0 0 0 20971 30 0 0 25 0 1 0 894358268 42196992 8929 4294967295 134512640 134716908 3221224576 3221220364 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10302 8929 1111 63 0 10239 0
vsize: 41208
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 10966 0 0 0 21970 31 0 0 25 0 1 0 894358268 42512384 8999 4294967295 134512640 134716908 3221224576 3221220364 1074788977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10379 8999 1111 63 0 10316 0
vsize: 41516
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 11018 0 0 0 22970 31 0 0 25 0 1 0 894358268 42512384 9051 4294967295 134512640 134716908 3221224576 3221221008 1075119949 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 11022 0 0 0 23971 31 0 0 25 0 1 0 894358268 42512384 9055 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10379 9055 1111 63 0 10316 0
vsize: 41516
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 11026 0 0 0 24971 31 0 0 25 0 1 0 894358268 42512384 9059 4294967295 134512640 134716908 3221224576 3221220708 1075115049 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 11029 0 0 0 25971 31 0 0 25 0 1 0 894358268 42512384 9062 4294967295 134512640 134716908 3221224576 3221220720 1075115762 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 11034 0 0 0 26971 31 0 0 25 0 1 0 894358268 42512384 9067 4294967295 134512640 134716908 3221224576 3221221072 1074884314 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 11034 0 0 0 27971 31 0 0 25 0 1 0 894358268 42512384 9067 4294967295 134512640 134716908 3221224576 3221220708 1075115049 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 38309 0 0 0 28902 101 0 0 25 0 1 0 894358268 29925376 6593 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 6593 1111 63 0 7243 0
vsize: 29224
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 52152 0 0 0 29863 139 0 0 25 0 1 0 894358268 40206336 7505 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9816 7513 1111 63 0 9753 0
vsize: 39264
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 71255 0 0 0 30809 193 0 0 25 0 1 0 894358268 29921280 6595 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7305 6595 1111 63 0 7242 0
vsize: 29220
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 83781 0 0 0 31775 228 0 0 25 0 1 0 894358268 29921280 6595 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7305 6595 1111 63 0 7242 0
vsize: 29220
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 105235 0 0 0 32714 289 0 0 25 0 1 0 894358268 36773888 7042 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8978 7042 1111 63 0 8915 0
vsize: 35912
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 122709 0 0 0 33666 337 0 0 25 0 1 0 894358268 29913088 6593 4294967295 134512640 134716908 3221224576 3221222888 1074138306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7303 6593 1111 63 0 7240 0
vsize: 29212
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 138676 0 0 0 34621 382 0 0 25 0 1 0 894358268 29917184 6594 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7304 6594 1111 63 0 7241 0
vsize: 29216
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 154906 0 0 0 35574 428 0 0 25 0 1 0 894358268 29970432 6607 4294967295 134512640 134716908 3221224576 3221222536 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7317 6607 1111 63 0 7254 0
vsize: 29268
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 173308 0 0 0 36523 480 0 0 25 0 1 0 894358268 29917184 6594 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7304 6594 1111 63 0 7241 0
vsize: 29216
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 190556 0 0 0 37474 529 0 0 25 0 1 0 894358268 29933568 6598 4294967295 134512640 134716908 3221224576 3221222304 1075828444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7308 6598 1111 63 0 7245 0
vsize: 29232
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 210810 0 0 0 38418 585 0 0 25 0 1 0 894358268 29921280 6595 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7305 6595 1111 63 0 7242 0
vsize: 29220
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 227147 0 0 0 39373 631 0 0 25 0 1 0 894358268 40202240 6641 4294967295 134512640 134716908 3221224576 3221221512 1075066492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9815 6641 1111 63 0 9752 0
vsize: 39260
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 244529 0 0 0 40325 678 0 0 25 0 1 0 894358268 29929472 6597 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7307 6597 1111 63 0 7244 0
vsize: 29228
[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 262908 0 0 0 41273 731 0 0 25 0 1 0 894358268 40206336 6658 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9816 6658 1111 63 0 9753 0
vsize: 39264
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 279948 0 0 0 42226 777 0 0 25 0 1 0 894358268 40206336 6660 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9816 6660 1111 63 0 9753 0
vsize: 39264
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 292136 0 0 0 43193 811 0 0 25 0 1 0 894358268 29913088 6593 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7303 6593 1111 63 0 7240 0
vsize: 29212
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 310348 0 0 0 44142 863 0 0 25 0 1 0 894358268 29921280 6595 4294967295 134512640 134716908 3221224576 3221222576 1074056231 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7305 6595 1111 63 0 7242 0
vsize: 29220
[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 325354 0 0 0 45098 907 0 0 25 0 1 0 894358268 40206336 6675 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9816 6675 1111 63 0 9753 0
vsize: 39264
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 341536 0 0 0 46052 953 0 0 25 0 1 0 894358268 29929472 6597 4294967295 134512640 134716908 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7307 6597 1111 63 0 7244 0
vsize: 29228
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 357859 0 0 0 47007 998 0 0 25 0 1 0 894358268 40345600 6693 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9850 6693 1111 63 0 9787 0
vsize: 39400
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 371199 0 0 0 47969 1036 0 0 25 0 1 0 894358268 40353792 7925 4294967295 134512640 134716908 3221224576 3221220688 1075895887 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9852 7925 1111 63 0 9789 0
vsize: 39408
[startup+500.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 385670 0 0 0 48928 1077 0 0 25 0 1 0 894358268 29945856 6601 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7311 6601 1111 63 0 7248 0
vsize: 29244
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 401627 0 0 0 49884 1121 0 0 25 0 1 0 894358268 29933568 6598 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7308 6598 1111 63 0 7245 0
vsize: 29232
[startup+520.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 418725 0 0 0 50836 1169 0 0 25 0 1 0 894358268 29917184 6594 4294967295 134512640 134716908 3221224576 3221222960 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7304 6594 1111 63 0 7241 0
vsize: 29216
[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 438522 0 0 0 51782 1223 0 0 25 0 1 0 894358268 29929472 6597 4294967295 134512640 134716908 3221224576 3221223192 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7307 6597 1111 63 0 7244 0
vsize: 29228
[startup+540.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 455588 0 0 0 52736 1270 0 0 25 0 1 0 894358268 29937664 6599 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7309 6599 1111 63 0 7246 0
vsize: 29236
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 471569 0 0 0 53691 1315 0 0 25 0 1 0 894358268 29937664 6599 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7309 6599 1111 63 0 7246 0
vsize: 29236
[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 483845 0 0 0 54657 1349 0 0 25 0 1 0 894358268 29937664 6599 4294967295 134512640 134716908 3221224576 3221222584 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7309 6599 1111 63 0 7246 0
vsize: 29236
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 501233 0 0 0 55611 1396 0 0 25 0 1 0 894358268 36782080 7058 4294967295 134512640 134716908 3221224576 3221221408 1075115799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8980 7058 1111 63 0 8917 0
vsize: 35920
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 515983 0 0 0 56569 1437 0 0 25 0 1 0 894358268 29937664 6599 4294967295 134512640 134716908 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7309 6599 1111 63 0 7246 0
vsize: 29236
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 528340 0 0 0 57536 1471 0 0 25 0 1 0 894358268 29921280 6595 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7305 6595 1111 63 0 7242 0
vsize: 29220
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 539392 0 0 0 58507 1500 0 0 25 0 1 0 894358268 29937664 6599 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7309 6599 1111 63 0 7246 0
vsize: 29236
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 554073 0 0 0 59466 1541 0 0 25 0 1 0 894358268 29929472 6597 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7307 6597 1111 63 0 7244 0
vsize: 29228
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 571172 0 0 0 60418 1589 0 0 25 0 1 0 894358268 29933568 6598 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7308 6598 1111 63 0 7245 0
vsize: 29232
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 586055 0 0 0 61378 1630 0 0 25 0 1 0 894358268 40370176 6712 4294967295 134512640 134716908 3221224576 3221220720 1074969463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9856 6712 1111 63 0 9793 0
vsize: 39424
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 599560 0 0 0 62341 1666 0 0 25 0 1 0 894358268 29937664 6599 4294967295 134512640 134716908 3221224576 3221222976 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7309 6599 1111 63 0 7246 0
vsize: 29236
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 613258 0 0 0 63303 1704 0 0 25 0 1 0 894358268 29933568 6598 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7308 6598 1111 63 0 7245 0
vsize: 29232
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 628071 0 0 0 64263 1745 0 0 25 0 1 0 894358268 40550400 6720 4294967295 134512640 134716908 3221224576 3221220912 1075113634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9900 6720 1111 63 0 9837 0
vsize: 39600
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 646626 0 0 0 65213 1795 0 0 25 0 1 0 894358268 29917184 6594 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7304 6594 1111 63 0 7241 0
vsize: 29216
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 667919 0 0 0 66151 1857 0 0 25 0 1 0 894358268 40202240 6644 4294967295 134512640 134716908 3221224576 3221220720 1074970842 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9815 6644 1111 63 0 9752 0
vsize: 39260
[startup+690.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 682968 0 0 0 67110 1899 0 0 25 0 1 0 894358268 29921280 6595 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7305 6595 1111 63 0 7242 0
vsize: 29220
[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 696512 0 0 0 68072 1937 0 0 25 0 1 0 894358268 29929472 6597 4294967295 134512640 134716908 3221224576 3221222760 1077377571 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7307 6597 1111 63 0 7244 0
vsize: 29228
[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 711655 0 0 0 69031 1978 0 0 25 0 1 0 894358268 29921280 6595 4294967295 134512640 134716908 3221224576 3221222928 1073986885 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7305 6595 1111 63 0 7242 0
vsize: 29220
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 726334 0 0 0 69990 2019 0 0 25 0 1 0 894358268 36782080 7058 4294967295 134512640 134716908 3221224576 3221221408 1075115360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8980 7058 1111 63 0 8917 0
vsize: 35920
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 740074 0 0 0 70951 2058 0 0 25 0 1 0 894358268 29925376 6596 4294967295 134512640 134716908 3221224576 3221222600 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 6596 1111 63 0 7243 0
vsize: 29224
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 757566 0 0 0 71902 2107 0 0 25 0 1 0 894358268 29929472 6597 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7307 6597 1111 63 0 7244 0
vsize: 29228
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 775939 0 0 0 72852 2158 0 0 25 0 1 0 894358268 40206336 6668 4294967295 134512640 134716908 3221224576 3221220912 1075113634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9816 6668 1111 63 0 9753 0
vsize: 39264
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 789696 0 0 0 73813 2197 0 0 25 0 1 0 894358268 40853504 6811 4294967295 134512640 134716908 3221224576 3221221120 1075088573 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9974 6811 1111 63 0 9911 0
vsize: 39896
[startup+770.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 805803 0 0 0 74769 2241 0 0 25 0 1 0 894358268 40820736 8026 4294967295 134512640 134716908 3221224576 3221220848 1074960850 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9966 8026 1111 63 0 9903 0
vsize: 39864
[startup+780.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 819579 0 0 0 75730 2280 0 0 25 0 1 0 894358268 40345600 6705 4294967295 134512640 134716908 3221224576 3221220456 1074788448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9850 6705 1111 63 0 9787 0
vsize: 39400
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 839268 0 0 0 76676 2335 0 0 25 0 1 0 894358268 29925376 6596 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 6596 1111 63 0 7243 0
vsize: 29224
[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 858193 0 0 0 77621 2390 0 0 25 0 1 0 894358268 29917184 6594 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7305 6595 1111 63 0 7242 0
vsize: 29216
[startup+810.034 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 877888 0 0 0 78565 2446 0 0 25 0 1 0 894358268 29970432 6607 4294967295 134512640 134716908 3221224576 3221223024 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7317 6607 1111 63 0 7254 0
vsize: 29268
[startup+820.035 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 896437 0 0 0 79513 2498 0 0 25 0 1 0 894358268 29933568 6598 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7308 6598 1111 63 0 7245 0
vsize: 29232
[startup+830.034 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 908995 0 0 0 80477 2534 0 0 25 0 1 0 894358268 29933568 6598 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7308 6598 1111 63 0 7245 0
vsize: 29232
[startup+840.035 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 924116 0 0 0 81435 2577 0 0 25 0 1 0 894358268 29913088 6593 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7303 6593 1111 63 0 7240 0
vsize: 29212
[startup+850.035 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 940174 0 0 0 82389 2623 0 0 25 0 1 0 894358268 40206336 6657 4294967295 134512640 134716908 3221224576 3221221120 1075088581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9816 6657 1111 63 0 9753 0
vsize: 39264
[startup+860.035 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 957539 0 0 0 83340 2671 0 0 25 0 1 0 894358268 29925376 6596 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 6596 1111 63 0 7243 0
vsize: 29224
[startup+870.036 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 971726 0 0 0 84300 2712 0 0 25 0 1 0 894358268 40198144 6635 4294967295 134512640 134716908 3221224576 3221221168 1074884314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9814 6635 1111 63 0 9751 0
vsize: 39256
[startup+880.036 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 984746 0 0 0 85264 2748 0 0 25 0 1 0 894358268 29917184 6594 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7304 6594 1111 63 0 7241 0
vsize: 29216
[startup+890.037 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 997802 0 0 0 86228 2785 0 0 25 0 1 0 894358268 29933568 6598 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7308 6598 1111 63 0 7245 0
vsize: 29232
[startup+900.037 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1015174 0 0 0 87179 2833 0 0 25 0 1 0 894358268 40529920 6715 4294967295 134512640 134716908 3221224576 3221220716 1074970247 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9895 6715 1111 63 0 9832 0
vsize: 39580
[startup+910.037 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1032604 0 0 0 88131 2882 0 0 25 0 1 0 894358268 40206336 6664 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9816 6664 1111 63 0 9753 0
vsize: 39264
[startup+920.038 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1046292 0 0 0 89094 2919 0 0 25 0 1 0 894358268 29925376 6596 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 6596 1111 63 0 7243 0
vsize: 29224
[startup+930.037 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1066003 0 0 0 90040 2973 0 0 25 0 1 0 894358268 40366080 6692 4294967295 134512640 134716908 3221224576 3221220632 1074789611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9855 6692 1111 63 0 9792 0
vsize: 39420
[startup+940.038 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1083196 0 0 0 90992 3021 0 0 25 0 1 0 894358268 40357888 6664 4294967295 134512640 134716908 3221224576 3221220912 1075113634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9853 6664 1111 63 0 9790 0
vsize: 39412
[startup+950.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1100452 0 0 0 91943 3070 0 0 25 0 1 0 894358268 29925376 6596 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 6596 1111 63 0 7243 0
vsize: 29224
[startup+960.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1118974 0 0 0 92891 3122 0 0 25 0 1 0 894358268 30085120 6600 4294967295 134512640 134716908 3221224576 3221222508 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7345 6600 1111 63 0 7282 0
vsize: 29380
[startup+970.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1134960 0 0 0 93846 3167 0 0 25 0 1 0 894358268 40202240 6673 4294967295 134512640 134716908 3221224576 3221221232 1075968391 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9815 6673 1111 63 0 9752 0
vsize: 39260
[startup+980.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1150754 0 0 0 94801 3213 0 0 25 0 1 0 894358268 29929472 6597 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7307 6597 1111 63 0 7244 0
vsize: 29228
[startup+990.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1165580 0 0 0 95761 3253 0 0 25 0 1 0 894358268 29921280 6595 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7305 6595 1111 63 0 7242 0
vsize: 29220
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1178228 0 0 0 96724 3290 0 0 25 0 1 0 894358268 29925376 6596 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 6596 1111 63 0 7243 0
vsize: 29224
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1190704 0 0 0 97688 3326 0 0 25 0 1 0 894358268 29937664 6599 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7309 6599 1111 63 0 7246 0
vsize: 29236
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1206691 0 0 0 98643 3371 0 0 25 0 1 0 894358268 29929472 6597 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7307 6597 1111 63 0 7244 0
vsize: 29228
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1226508 0 0 0 99589 3425 0 0 25 0 1 0 894358268 29929472 6597 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7307 6597 1111 63 0 7244 0
vsize: 29228
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1239223 0 0 0 100553 3462 0 0 25 0 1 0 894358268 29917184 6594 4294967295 134512640 134716908 3221224576 3221222960 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7304 6594 1111 63 0 7241 0
vsize: 29216
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1254327 0 0 0 101510 3505 0 0 25 0 1 0 894358268 40570880 6730 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9905 6730 1111 63 0 9842 0
vsize: 39620
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1267162 0 0 0 102475 3540 0 0 25 0 1 0 894358268 40382464 6713 4294967295 134512640 134716908 3221224576 3221220848 1074960854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9859 6713 1111 63 0 9796 0
vsize: 39436
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1280731 0 0 0 103436 3580 0 0 25 0 1 0 894358268 29945856 6601 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7311 6601 1111 63 0 7248 0
vsize: 29244
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1295721 0 0 0 104396 3620 0 0 25 0 1 0 894358268 29917184 6594 4294967295 134512640 134716908 3221224576 3221222888 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7304 6594 1111 63 0 7241 0
vsize: 29216
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1308010 0 0 0 105363 3653 0 0 25 0 1 0 894358268 29937664 6599 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7309 6599 1111 63 0 7246 0
vsize: 29236
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1319446 0 0 0 106332 3685 0 0 25 0 1 0 894358268 29925376 6596 4294967295 134512640 134716908 3221224576 3221222920 1074146097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 6596 1111 63 0 7243 0
vsize: 29224
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1333292 0 0 0 107291 3725 0 0 25 0 1 0 894358268 29929472 6597 4294967295 134512640 134716908 3221224576 3221222976 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7307 6597 1111 63 0 7244 0
vsize: 29228
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1351942 0 0 0 108241 3776 0 0 25 0 1 0 894358268 30277632 6630 4294967295 134512640 134716908 3221224576 3221222320 1075646793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7392 6630 1111 63 0 7329 0
vsize: 29568
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1365907 0 0 0 109203 3814 0 0 25 0 1 0 894358268 40230912 6676 4294967295 134512640 134716908 3221224576 3221221560 1074831910 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9822 6676 1111 63 0 9759 0
vsize: 39288
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1383301 0 0 0 110155 3862 0 0 25 0 1 0 894358268 40488960 6726 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9885 6726 1111 63 0 9822 0
vsize: 39540
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1399497 0 0 0 111110 3907 0 0 25 0 1 0 894358268 29933568 6598 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7308 6598 1111 63 0 7245 0
vsize: 29232
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1413171 0 0 0 112073 3945 0 0 25 0 1 0 894358268 29945856 6601 4294967295 134512640 134716908 3221224576 3221222976 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7311 6601 1111 63 0 7248 0
vsize: 29244
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1428269 0 0 0 113031 3987 0 0 25 0 1 0 894358268 29970432 6600 4294967295 134512640 134716908 3221224576 3221222576 1074917995 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7317 6600 1111 63 0 7254 0
vsize: 29268
[startup+1175.62 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 18221
Raw data (stat): 18221 (bsolo_lpr-v2) R 18220 21152 21151 0 -1 0 1428269 0 0 0 113031 3987 0 0 25 0 1 0 894358268 29970432 6600 4294967295 134512640 134716908 3221224576 3221222576 1074917995 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7317 6600 1111 63 0 7254 0
vsize: 0

Child status: 10
Real time (s): 1175.62
CPU time (s): 1175.76
CPU user time (s): 1135.66
CPU system time (s): 40.0989
CPU usage (%): 100.012
Max. virtual memory (Kb): 41516
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-18
#### END VERIFIER DATA ####