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 24707

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 21:54:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2818 boxname=wulflinc31 idbench=314 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  84d0b0ba659c599a6c66454cd956a06b  /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-1.opb
IDLAUNCH: 2818
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        921084 kB
Buffers:         10148 kB
Cached:          82100 kB
SwapCached:       1932 kB
Active:          53660 kB
Inactive:        41728 kB
HighTotal:      131008 kB
HighFree:        48132 kB
LowTotal:       903652 kB
LowFree:        872952 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12440 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-11 22:14:15 (client local time) WITH STATUS 10 IN 1175.51 SECONDS
stats: 2818 0 1175.51 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 450 variables and 17827 constraints.
c After prepocess the problem consists of 450 variables and 13930 constraints.
c preprocess terminated 85.402 s
c Initial Lower Bound: -51
c Lower Bound Elapsed time: 214.012
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -2 @ 299.649
c NEW SOLUTION FOUND: -3 @ 299.681
c NEW SOLUTION FOUND: -4 @ 299.696
c NEW SOLUTION FOUND: -5 @ 299.714
c NEW SOLUTION FOUND: -6 @ 299.917
c NEW SOLUTION FOUND: -7 @ 299.955
c NEW SOLUTION FOUND: -8 @ 300.043
c NEW SOLUTION FOUND: -9 @ 300.16
c NEW SOLUTION FOUND: -10 @ 300.329
c NEW SOLUTION FOUND: -11 @ 300.672
c NEW SOLUTION FOUND: -12 @ 301.963
c NEW SOLUTION FOUND: -13 @ 304.098
c NEW SOLUTION FOUND: -14 @ 304.961
c NEW SOLUTION FOUND: -15 @ 308.736
c NEW SOLUTION FOUND: -16 @ 353.517
c NEW SOLUTION FOUND: -17 @ 409.878
c NEW SOLUTION FOUND: -18 @ 497.039
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.48 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.87 0.94 0.93 2/55 4129
Raw data (stat): 4129 (runsolver) R 4128 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 721284561 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.89 0.94 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 5645 0 0 0 978 17 0 0 25 0 1 0 721284561 24621056 5181 4294967295 134512640 134714508 3221221792 3221220272 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6011 5181 1111 63 0 5948 0
vsize: 24044
[startup+20.0015 s]
Raw data (loadavg): 0.91 0.94 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 5695 0 0 0 1978 17 0 0 25 0 1 0 721284561 24715264 5204 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6034 5204 1111 63 0 5971 0
vsize: 24136
[startup+30.0014 s]
Raw data (loadavg): 0.92 0.94 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 6080 0 0 0 2977 18 0 0 25 0 1 0 721284561 25698304 5428 4294967295 134512640 134714508 3221221792 3221220216 134542822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6274 5428 1111 63 0 6211 0
vsize: 25096
[startup+40.0013 s]
Raw data (loadavg): 0.93 0.95 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 6080 0 0 0 3977 18 0 0 25 0 1 0 721284561 25698304 5428 4294967295 134512640 134714508 3221221792 3221220156 134539262 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6274 5428 1111 63 0 6211 0
vsize: 25096
[startup+50.0026 s]
Raw data (loadavg): 0.94 0.95 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 6097 0 0 0 4978 18 0 0 25 0 1 0 721284561 25833472 5445 4294967295 134512640 134714508 3221221792 3221220444 134558618 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6307 5445 1111 63 0 6244 0
vsize: 25228
[startup+60.0022 s]
Raw data (loadavg): 0.95 0.95 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 6156 0 0 0 5978 18 0 0 25 0 1 0 721284561 25968640 5504 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6340 5504 1111 63 0 6277 0
vsize: 25360
[startup+70.0031 s]
Raw data (loadavg): 0.96 0.95 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 6298 0 0 0 6978 18 0 0 25 0 1 0 721284561 26644480 5646 4294967295 134512640 134714508 3221221792 3221220448 134627198 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6505 5646 1111 63 0 6442 0
vsize: 26020
[startup+80.003 s]
Raw data (loadavg): 0.96 0.95 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 6472 0 0 0 7977 19 0 0 25 0 1 0 721284561 27320320 5820 4294967295 134512640 134714508 3221221792 3221220432 134629626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6670 5820 1111 63 0 6607 0
vsize: 26680
[startup+90.0031 s]
Raw data (loadavg): 0.97 0.95 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 7041 0 3 0 8948 21 0 0 25 0 1 0 721284561 29724672 6392 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7257 6392 1111 63 0 7194 0
vsize: 29028
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 7191 0 3 0 9945 23 0 0 25 0 1 0 721284561 30363648 6542 4294967295 134512640 134714508 3221221792 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7413 6542 1111 63 0 7350 0
vsize: 29652
[startup+110.003 s]
Raw data (loadavg): 0.98 0.95 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 7224 0 3 0 10944 25 0 0 25 0 1 0 721284561 30490624 6575 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7444 6575 1111 63 0 7381 0
vsize: 29776
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 9723 0 9 0 11923 32 0 0 24 0 1 0 721284561 40927232 8184 4294967295 134512640 134714508 3221221792 3221217856 1074969685 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9992 8184 1111 63 0 9929 0
vsize: 39968
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 10399 0 9 0 12922 33 0 0 25 0 1 0 721284561 40087552 8456 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9787 8456 1111 63 0 9724 0
vsize: 39148
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 10455 0 9 0 13922 34 0 0 25 0 1 0 721284561 40304640 8512 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9840 8512 1111 63 0 9777 0
vsize: 39360
[startup+150.005 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 10518 0 9 0 14922 34 0 0 25 0 1 0 721284561 40546304 8575 4294967295 134512640 134714508 3221221792 3221217940 1075115003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9899 8575 1111 63 0 9836 0
vsize: 39596
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 10579 0 9 0 15922 34 0 0 25 0 1 0 721284561 40779776 8636 4294967295 134512640 134714508 3221221792 3221217856 1074969471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9956 8636 1111 63 0 9893 0
vsize: 39824
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 10634 0 9 0 16922 34 0 0 25 0 1 0 721284561 41037824 8691 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10019 8691 1111 63 0 9956 0
vsize: 40076
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 10648 0 9 0 17922 34 0 0 25 0 1 0 721284561 41037824 8705 4294967295 134512640 134714508 3221221792 3221217856 1074969471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10019 8705 1111 63 0 9956 0
vsize: 40076
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 10769 0 9 0 18922 34 0 0 25 0 1 0 721284561 41594880 8824 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10155 8824 1111 63 0 10092 0
vsize: 40620
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 10827 0 9 0 19922 34 0 0 25 0 1 0 721284561 41889792 8882 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10227 8882 1111 63 0 10164 0
vsize: 40908
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 10832 0 9 0 20922 34 0 0 25 0 1 0 721284561 41889792 8887 4294967295 134512640 134714508 3221221792 3221218832 1074834340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10227 8887 1111 63 0 10164 0
vsize: 40908
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 10899 0 9 0 21922 35 0 0 25 0 1 0 721284561 42201088 8954 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10303 8954 1111 63 0 10240 0
vsize: 41212
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 10974 0 9 0 22922 35 0 0 25 0 1 0 721284561 42516480 9029 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10380 9029 1111 63 0 10317 0
vsize: 41520
[startup+240.005 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 11003 0 9 0 23922 35 0 0 25 0 1 0 721284561 42516480 9058 4294967295 134512640 134714508 3221221792 3221217940 1075115043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10380 9058 1111 63 0 10317 0
vsize: 41520
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 11006 0 9 0 24922 35 0 0 25 0 1 0 721284561 42516480 9061 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10380 9061 1111 63 0 10317 0
vsize: 41520
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 11008 0 9 0 25922 35 0 0 25 0 1 0 721284561 42516480 9063 4294967295 134512640 134714508 3221221792 3221217984 1074960874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10380 9063 1111 63 0 10317 0
vsize: 41520
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 11011 0 9 0 26922 35 0 0 25 0 1 0 721284561 42516480 9066 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10380 9066 1111 63 0 10317 0
vsize: 41520
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 11015 0 9 0 27923 35 0 0 25 0 1 0 721284561 42516480 9070 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10380 9070 1111 63 0 10317 0
vsize: 41520
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 14934 0 9 0 28913 45 0 0 25 0 1 0 721284561 34123776 7555 4294967295 134512640 134714508 3221221792 3221220016 1074039235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8331 7555 1111 63 0 8268 0
vsize: 33324
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 14935 0 9 0 29912 46 0 0 25 0 1 0 721284561 34123776 7556 4294967295 134512640 134714508 3221221792 3221220464 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8331 7556 1111 63 0 8268 0
vsize: 33324
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 31303 0 9 0 30865 93 0 0 25 0 1 0 721284561 30384128 6710 4294967295 134512640 134714508 3221221792 3221220176 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6710 1111 63 0 7355 0
vsize: 29672
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 4129
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 51046 0 9 0 31809 149 0 0 25 0 1 0 721284561 30371840 6713 4294967295 134512640 134714508 3221221792 3221220136 1074207674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7415 6713 1111 63 0 7352 0
vsize: 29660
[startup+330.136 s]
Raw data (loadavg): 0.99 0.97 0.93 3/57 4151
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 66132 0 9 0 32779 192 0 0 25 0 1 0 721284561 30375936 6714 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7416 6714 1111 63 0 7353 0
vsize: 29664
[startup+340.135 s]
Raw data (loadavg): 1.07 0.99 0.94 2/59 4172
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 82394 0 9 0 33731 240 0 0 25 0 1 0 721284561 40660992 6752 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9927 6752 1111 63 0 9864 0
vsize: 39708
[startup+350.233 s]
Raw data (loadavg): 1.21 1.02 0.95 2/55 4182
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 103863 0 9 0 34677 302 0 0 25 0 1 0 721284561 40669184 6778 4294967295 134512640 134714508 3221221792 3221218244 1074944257 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9929 6778 1111 63 0 9866 0
vsize: 39716
[startup+360.233 s]
Raw data (loadavg): 1.25 1.04 0.95 2/55 4182
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 118418 0 9 0 35610 341 0 0 25 0 1 0 721284561 30392320 6718 4294967295 134512640 134714508 3221221792 3221220176 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6718 1111 63 0 7357 0
vsize: 29680
[startup+370.234 s]
Raw data (loadavg): 1.21 1.03 0.95 2/55 4182
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 137024 0 9 0 36557 395 0 0 25 0 1 0 721284561 40660992 6771 4294967295 134512640 134714508 3221221792 3221218448 1075967895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9927 6773 1111 63 0 9864 0
vsize: 39708
[startup+380.234 s]
Raw data (loadavg): 1.18 1.03 0.95 2/55 4182
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 151767 0 9 0 37514 437 0 0 25 0 1 0 721284561 30384128 6716 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6716 1111 63 0 7355 0
vsize: 29672
[startup+390.234 s]
Raw data (loadavg): 1.15 1.03 0.95 2/55 4182
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 167976 0 9 0 38469 483 0 0 25 0 1 0 721284561 30392320 6718 4294967295 134512640 134714508 3221221792 3221219520 1075828201 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6718 1111 63 0 7357 0
vsize: 29680
[startup+400.235 s]
Raw data (loadavg): 1.13 1.03 0.95 2/55 4182
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 191486 0 9 0 39403 550 0 0 25 0 1 0 721284561 40652800 6754 4294967295 134512640 134714508 3221221792 3221218020 1075115070 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9925 6754 1111 63 0 9862 0
vsize: 39700
[startup+410.235 s]
Raw data (loadavg): 1.11 1.03 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 205593 0 9 0 40362 590 0 0 25 0 1 0 721284561 30380032 6715 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6715 1111 63 0 7354 0
vsize: 29668
[startup+420.236 s]
Raw data (loadavg): 1.09 1.03 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 224339 0 9 0 41310 643 0 0 25 0 1 0 721284561 40845312 6868 4294967295 134512640 134714508 3221221792 3221218336 1075088563 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9972 6868 1111 63 0 9909 0
vsize: 39888
[startup+430.236 s]
Raw data (loadavg): 1.08 1.03 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 240150 0 9 0 42267 686 0 0 25 0 1 0 721284561 30396416 6719 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7421 6719 1111 63 0 7358 0
vsize: 29684
[startup+440.235 s]
Raw data (loadavg): 1.06 1.02 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 258426 0 9 0 43215 738 0 0 25 0 1 0 721284561 30396416 6719 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7421 6719 1111 63 0 7358 0
vsize: 29684
[startup+450.235 s]
Raw data (loadavg): 1.05 1.02 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 273127 0 9 0 44173 780 0 0 25 0 1 0 721284561 40665088 6811 4294967295 134512640 134714508 3221221792 3221217840 1074790755 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9928 6811 1111 63 0 9865 0
vsize: 39712
[startup+460.235 s]
Raw data (loadavg): 1.05 1.02 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 287538 0 9 0 45134 820 0 0 25 0 1 0 721284561 40808448 8038 4294967295 134512640 134714508 3221221792 3221217824 1074790230 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9963 8038 1111 63 0 9900 0
vsize: 39852
[startup+470.237 s]
Raw data (loadavg): 1.04 1.02 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 303602 0 9 0 46088 865 0 0 25 0 1 0 721284561 30388224 6717 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6717 1111 63 0 7356 0
vsize: 29676
[startup+480.236 s]
Raw data (loadavg): 1.03 1.02 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 323326 0 9 0 47032 921 0 0 25 0 1 0 721284561 40660992 6774 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9927 6774 1111 63 0 9864 0
vsize: 39708
[startup+490.236 s]
Raw data (loadavg): 1.03 1.02 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 338427 0 9 0 47989 965 0 0 25 0 1 0 721284561 30384128 6716 4294967295 134512640 134714508 3221221792 3221220168 1074137219 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6716 1111 63 0 7355 0
vsize: 29672
[startup+500.237 s]
Raw data (loadavg): 1.02 1.02 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 352100 0 9 0 48949 1005 0 0 25 0 1 0 721284561 30404608 6721 4294967295 134512640 134714508 3221221792 3221220208 1074115963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7423 6721 1111 63 0 7360 0
vsize: 29692
[startup+510.237 s]
Raw data (loadavg): 1.02 1.02 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 366532 0 9 0 49908 1046 0 0 25 0 1 0 721284561 30396416 6719 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7421 6719 1111 63 0 7358 0
vsize: 29684
[startup+520.237 s]
Raw data (loadavg): 1.02 1.02 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 381279 0 9 0 50866 1088 0 0 25 0 1 0 721284561 30384128 6716 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6716 1111 63 0 7355 0
vsize: 29672
[startup+530.237 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 395798 0 9 0 51826 1129 0 0 25 0 1 0 721284561 30392320 6718 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6718 1111 63 0 7357 0
vsize: 29680
[startup+540.237 s]
Raw data (loadavg): 1.01 1.01 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 415588 0 9 0 52770 1185 0 0 25 0 1 0 721284561 30380032 6715 4294967295 134512640 134714508 3221221792 3221220176 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6715 1111 63 0 7354 0
vsize: 29668
[startup+550.237 s]
Raw data (loadavg): 1.01 1.01 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 432835 0 9 0 53720 1234 0 0 25 0 1 0 721284561 30388224 6717 4294967295 134512640 134714508 3221221792 3221220384 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6717 1111 63 0 7356 0
vsize: 29676
[startup+560.237 s]
Raw data (loadavg): 1.01 1.01 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 451051 0 9 0 54670 1285 0 0 25 0 1 0 721284561 30380032 6715 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6715 1111 63 0 7354 0
vsize: 29668
[startup+570.238 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 463524 0 9 0 55635 1320 0 0 25 0 1 0 721284561 41115648 6901 4294967295 134512640 134714508 3221221792 3221218032 1075115765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10038 6901 1111 63 0 9975 0
vsize: 40152
[startup+580.238 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 479401 0 9 0 56591 1364 0 0 25 0 1 0 721284561 30396416 6719 4294967295 134512640 134714508 3221221792 3221219520 1075828500 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7421 6719 1111 63 0 7358 0
vsize: 29684
[startup+590.238 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 496943 0 9 0 57541 1414 0 0 25 0 1 0 721284561 30380032 6715 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6715 1111 63 0 7354 0
vsize: 29668
[startup+600.238 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 509274 0 9 0 58507 1449 0 0 25 0 1 0 721284561 30396416 6719 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7421 6719 1111 63 0 7358 0
vsize: 29684
[startup+610.238 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 521524 0 9 0 59472 1483 0 0 25 0 1 0 721284561 30384128 6716 4294967295 134512640 134714508 3221221792 3221220192 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6716 1111 63 0 7355 0
vsize: 29672
[startup+620.238 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 532811 0 9 0 60441 1515 0 0 25 0 1 0 721284561 30388224 6717 4294967295 134512640 134714508 3221221792 3221220336 1073989437 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6717 1111 63 0 7356 0
vsize: 29676
[startup+630.238 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 548390 0 9 0 61398 1558 0 0 25 0 1 0 721284561 30396416 6719 4294967295 134512640 134714508 3221221792 3221220088 1074138153 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7421 6719 1111 63 0 7358 0
vsize: 29684
[startup+640.238 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 565543 0 9 0 62349 1607 0 0 25 0 1 0 721284561 30396416 6719 4294967295 134512640 134714508 3221221792 3221218912 1074865024 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7421 6719 1111 63 0 7358 0
vsize: 29684
[startup+650.238 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 581769 0 9 0 63304 1653 0 0 25 0 1 0 721284561 30380032 6715 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6715 1111 63 0 7354 0
vsize: 29668
[startup+660.238 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 591671 0 9 0 64276 1680 0 0 25 0 1 0 721284561 30392320 6718 4294967295 134512640 134714508 3221221792 3221220176 1074153673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6718 1111 63 0 7357 0
vsize: 29680
[startup+670.238 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 606443 0 9 0 65235 1721 0 0 25 0 1 0 721284561 30392320 6718 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6718 1111 63 0 7357 0
vsize: 29680
[startup+680.238 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 622477 0 9 0 66189 1768 0 0 25 0 1 0 721284561 30388224 6717 4294967295 134512640 134714508 3221221792 3221220392 134543162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6717 1111 63 0 7356 0
vsize: 29676
[startup+690.238 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4184
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 642275 0 9 0 67134 1823 0 0 25 0 1 0 721284561 40660992 6767 4294967295 134512640 134714508 3221221792 3221217936 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9927 6767 1111 63 0 9864 0
vsize: 39708
[startup+700.238 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 661110 0 9 0 68081 1877 0 0 25 0 1 0 721284561 40665088 6780 4294967295 134512640 134714508 3221221792 3221217884 1075663518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9928 6780 1111 63 0 9865 0
vsize: 39712
[startup+710.238 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 673586 0 9 0 69045 1912 0 0 25 0 1 0 721284561 40833024 6824 4294967295 134512640 134714508 3221221792 3221218032 1075115768 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9969 6824 1111 63 0 9906 0
vsize: 39876
[startup+720.239 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 690767 0 9 0 69998 1960 0 0 25 0 1 0 721284561 37240832 7177 4294967295 134512640 134714508 3221221792 3221218624 1075115806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9092 7177 1111 63 0 9029 0
vsize: 36368
[startup+730.239 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 703483 0 9 0 70962 1995 0 0 25 0 1 0 721284561 41213952 8112 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10062 8112 1111 63 0 9999 0
vsize: 40248
[startup+740.238 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 719430 0 9 0 71917 2041 0 0 25 0 1 0 721284561 30392320 6718 4294967295 134512640 134714508 3221221792 3221219904 1074867305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6718 1111 63 0 7357 0
vsize: 29680
[startup+750.238 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 732118 0 9 0 72881 2077 0 0 25 0 1 0 721284561 30375936 6714 4294967295 134512640 134714508 3221221792 3221220112 1074207534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7416 6714 1111 63 0 7353 0
vsize: 29664
[startup+760.238 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 750572 0 9 0 73829 2129 0 0 25 0 1 0 721284561 40669184 6799 4294967295 134512640 134714508 3221221792 3221218736 1074620241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9929 6799 1111 63 0 9866 0
vsize: 39716
[startup+770.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 770291 0 9 0 74774 2185 0 0 25 0 1 0 721284561 30388224 6717 4294967295 134512640 134714508 3221221792 3221220192 1074118854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6717 1111 63 0 7356 0
vsize: 29676
[startup+780.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 781445 0 9 0 75743 2215 0 0 25 0 1 0 721284561 30384128 6716 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6716 1111 63 0 7355 0
vsize: 29672
[startup+790.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 796270 0 9 0 76702 2257 0 0 25 0 1 0 721284561 41140224 8124 4294967295 134512640 134714508 3221221792 3221218020 1075115060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10044 8124 1111 63 0 9981 0
vsize: 40176
[startup+800.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 812322 0 9 0 77658 2301 0 0 25 0 1 0 721284561 30388224 6717 4294967295 134512640 134714508 3221221792 3221219816 1077380277 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6717 1111 63 0 7356 0
vsize: 29676
[startup+810.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 832198 0 9 0 78601 2358 0 0 25 0 1 0 721284561 30371840 6713 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7415 6713 1111 63 0 7352 0
vsize: 29660
[startup+820.241 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 851003 0 9 0 79547 2412 0 0 25 0 1 0 721284561 30371840 6713 4294967295 134512640 134714508 3221221792 3221220096 1073978447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7415 6713 1111 63 0 7352 0
vsize: 29660
[startup+830.241 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 869450 0 9 0 80495 2464 0 0 25 0 1 0 721284561 30380032 6715 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6715 1111 63 0 7354 0
vsize: 29668
[startup+840.241 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 885679 0 9 0 81450 2509 0 0 25 0 1 0 721284561 30371840 6713 4294967295 134512640 134714508 3221221792 3221220144 1073987029 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7415 6713 1111 63 0 7352 0
vsize: 29660
[startup+850.241 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 899340 0 9 0 82411 2549 0 0 25 0 1 0 721284561 30388224 6717 4294967295 134512640 134714508 3221221792 3221220408 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6717 1111 63 0 7356 0
vsize: 29676
[startup+860.241 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 913039 0 9 0 83372 2587 0 0 25 0 1 0 721284561 40808448 6743 4294967295 134512640 134714508 3221221792 3221218832 1075971414 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9963 6747 1111 63 0 9900 0
vsize: 39852
[startup+870.242 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 931592 0 9 0 84320 2640 0 0 25 0 1 0 721284561 30388224 6717 4294967295 134512640 134714508 3221221792 3221220104 1074138144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6717 1111 63 0 7356 0
vsize: 29676
[startup+880.242 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 947887 0 9 0 85274 2686 0 0 25 0 1 0 721284561 40996864 6867 4294967295 134512640 134714508 3221221792 3221218064 1074960909 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10009 6867 1111 63 0 9946 0
vsize: 40036
[startup+890.242 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 961995 0 9 0 86233 2726 0 0 25 0 1 0 721284561 40665088 6782 4294967295 134512640 134714508 3221221792 3221218032 1075115734 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9928 6782 1111 63 0 9865 0
vsize: 39712
[startup+900.242 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 974711 0 9 0 87196 2763 0 0 25 0 1 0 721284561 37724160 7313 4294967295 134512640 134714508 3221221792 3221218020 1075115051 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9210 7313 1111 63 0 9147 0
vsize: 36840
[startup+910.242 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 986906 0 9 0 88162 2797 0 0 25 0 1 0 721284561 40665088 6778 4294967295 134512640 134714508 3221221792 3221218064 1074960868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9928 6778 1111 63 0 9865 0
vsize: 39712
[startup+920.243 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1005355 0 9 0 89111 2848 0 0 25 0 1 0 721284561 30388224 6717 4294967295 134512640 134714508 3221221792 3221219976 1077377771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7419 6717 1111 63 0 7356 0
vsize: 29676
[startup+930.244 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1021577 0 9 0 90066 2894 0 0 25 0 1 0 721284561 30384128 6716 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6716 1111 63 0 7355 0
vsize: 29672
[startup+940.244 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1036340 0 9 0 91024 2936 0 0 25 0 1 0 721284561 30396416 6719 4294967295 134512640 134714508 3221221792 3221219520 1075828444 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7421 6719 1111 63 0 7358 0
vsize: 29684
[startup+950.244 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1054790 0 9 0 91972 2988 0 0 25 0 1 0 721284561 41238528 8141 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10068 8141 1111 63 0 10005 0
vsize: 40272
[startup+960.244 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1074294 0 9 0 92916 3043 0 0 25 0 1 0 721284561 40808448 7882 4294967295 134512640 134714508 3221221792 3221217952 1075095371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9963 7889 1111 63 0 9900 0
vsize: 39852
[startup+970.245 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1089263 0 9 0 93873 3087 0 0 25 0 1 0 721284561 30384128 6716 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6716 1111 63 0 7355 0
vsize: 29672
[startup+980.245 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1107775 0 9 0 94822 3139 0 0 25 0 1 0 721284561 30404608 6721 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7423 6721 1111 63 0 7360 0
vsize: 29692
[startup+990.245 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1124916 0 9 0 95774 3186 0 0 25 0 1 0 721284561 40808448 8018 4294967295 134512640 134714508 3221221792 3221218124 1076111476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9963 8018 1111 63 0 9900 0
vsize: 39852
[startup+1000.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1139508 0 9 0 96734 3227 0 0 25 0 1 0 721284561 41209856 8126 4294967295 134512640 134714508 3221221792 3221218032 1075115768 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10061 8126 1111 63 0 9998 0
vsize: 40244
[startup+1010.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1154430 0 9 0 97691 3270 0 0 25 0 1 0 721284561 40660992 6769 4294967295 134512640 134714508 3221221792 3221218032 1075115724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9927 6769 1111 63 0 9864 0
vsize: 39708
[startup+1020.25 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1167033 0 9 0 98654 3307 0 0 25 0 1 0 721284561 30380032 6715 4294967295 134512640 134714508 3221221792 3221220192 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6715 1111 63 0 7354 0
vsize: 29668
[startup+1030.25 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1179499 0 9 0 99617 3344 0 0 25 0 1 0 721284561 30375936 6714 4294967295 134512640 134714508 3221221792 3221220452 134649897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7416 6714 1111 63 0 7353 0
vsize: 29664
[startup+1040.25 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1195351 0 9 0 100572 3389 0 0 25 0 1 0 721284561 30380032 6715 4294967295 134512640 134714508 3221221792 3221220192 1074153466 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6715 1111 63 0 7354 0
vsize: 29668
[startup+1050.25 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1213964 0 9 0 101519 3443 0 0 25 0 1 0 721284561 30375936 6714 4294967295 134512640 134714508 3221221792 3221219972 1077378598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7416 6714 1111 63 0 7353 0
vsize: 29664
[startup+1060.25 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1226581 0 9 0 102484 3478 0 0 25 0 1 0 721284561 30380032 6715 4294967295 134512640 134714508 3221221792 3221220464 134650210 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6715 1111 63 0 7354 0
vsize: 29668
[startup+1070.25 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1241560 0 9 0 103443 3519 0 0 25 0 1 0 721284561 30396416 6719 4294967295 134512640 134714508 3221221792 3221219520 1075828456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7421 6719 1111 63 0 7358 0
vsize: 29684
[startup+1080.25 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1254481 0 9 0 104408 3554 0 0 25 0 1 0 721284561 30392320 6718 4294967295 134512640 134714508 3221221792 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6718 1111 63 0 7357 0
vsize: 29680
[startup+1090.25 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1268143 0 9 0 105369 3593 0 0 25 0 1 0 721284561 30392320 6718 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7420 6718 1111 63 0 7357 0
vsize: 29680
[startup+1100.25 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1281808 0 9 0 106331 3631 0 0 25 0 1 0 721284561 40853504 6834 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9974 6834 1111 63 0 9911 0
vsize: 39896
[startup+1110.25 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1295424 0 9 0 107293 3669 0 0 25 0 1 0 721284561 30380032 6715 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6715 1111 63 0 7354 0
vsize: 29668
[startup+1120.25 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1305494 0 9 0 108264 3698 0 0 25 0 1 0 721284561 30384128 6716 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6716 1111 63 0 7355 0
vsize: 29672
[startup+1130.25 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1319362 0 9 0 109224 3739 0 0 25 0 1 0 721284561 30380032 6715 4294967295 134512640 134714508 3221221792 3221220176 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6715 1111 63 0 7354 0
vsize: 29668
[startup+1140.25 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1337847 0 9 0 110172 3791 0 0 25 0 1 0 721284561 30408704 6722 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7424 6722 1111 63 0 7361 0
vsize: 29696
[startup+1150.25 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1350727 0 9 0 111136 3827 0 0 25 0 1 0 721284561 30371840 6713 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7415 6713 1111 63 0 7352 0
vsize: 29660
[startup+1160.25 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1369161 0 9 0 112084 3879 0 0 25 0 1 0 721284561 30396416 6719 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7421 6719 1111 63 0 7358 0
vsize: 29684
[startup+1170.25 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1384222 0 9 0 113042 3921 0 0 25 0 1 0 721284561 30691328 6726 4294967295 134512640 134714508 3221221792 3221219632 1075798469 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7493 6726 1111 63 0 7430 0
vsize: 29972
[startup+1176.12 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 4186
Raw data (stat): 4129 (bsolo_lpr) R 4128 7876 7672 0 -1 0 1384222 0 9 0 113042 3921 0 0 25 0 1 0 721284561 30691328 6726 4294967295 134512640 134714508 3221221792 3221219632 1075798469 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7493 6726 1111 63 0 7430 0
vsize: 0

Child status: 10
Real time (s): 1176.12
CPU time (s): 1175.51
CPU user time (s): 1136.03
CPU system time (s): 39.486
CPU usage (%): 99.9485
Max. virtual memory (Kb): 41520
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-18
#### END VERIFIER DATA ####