PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 16:18:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27757 boxname=wulflinc2 idbench=315 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  25130921f4384cc034832ca1cd52ec48  /oldhome/oroussel/tmp/wulflinc2/normalized-frb30-15-2.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-frb30-15-2.opb
IDLAUNCH: 27757
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        924368 kB
Buffers:         33880 kB
Cached:          53720 kB
SwapCached:       1480 kB
Active:          18904 kB
Inactive:        70800 kB
HighTotal:      131008 kB
HighFree:        99260 kB
LowTotal:       903652 kB
LowFree:        825108 kB
SwapTotal:     2097136 kB
SwapFree:      2094668 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4980 kB
Slab:            14960 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 16:38:22 (client local time) WITH STATUS 10 IN 1176.04 SECONDS
stats: 27757 0 1176.04 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 450 variables and 17874 constraints.
c After prepocess the problem consists of 450 variables and 13695 constraints.
c preprocess terminated 86.392 s
c Initial Lower Bound: -49
c Lower Bound Elapsed time: 50.2818
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -2 @ 287.742
c NEW SOLUTION FOUND: -3 @ 287.768
c NEW SOLUTION FOUND: -4 @ 287.778
c NEW SOLUTION FOUND: -5 @ 287.801
c NEW SOLUTION FOUND: -6 @ 287.81
c NEW SOLUTION FOUND: -7 @ 287.822
c NEW SOLUTION FOUND: -8 @ 287.869
c NEW SOLUTION FOUND: -9 @ 287.892
c NEW SOLUTION FOUND: -10 @ 288.061
c NEW SOLUTION FOUND: -11 @ 288.503
c NEW SOLUTION FOUND: -12 @ 289.527
c NEW SOLUTION FOUND: -13 @ 290.219
c NEW SOLUTION FOUND: -14 @ 291.416
c NEW SOLUTION FOUND: -15 @ 294.794
c NEW SOLUTION FOUND: -16 @ 303.435
c NEW SOLUTION FOUND: -17 @ 317.228
c NEW SOLUTION FOUND: -18 @ 326.482
s SATISFIABLE
v -C450 -C449 -C448 -C447 C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 C229 -C228 -C227 -C226 -C225 -C224 -C223 C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 C50 -C49 -C48 -C47 -C46 -C45 C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 -C11 -C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1 
c Exit Code: 10
c Total time: 1176.02 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.94 0.90 1/54 28245
Raw data (stat): 28245 (runsolver) R 28244 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 894380006 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 6275 0 0 0 981 16 0 0 25 0 1 0 894380006 27766784 5948 4294967295 134512640 134716908 3221224576 3221222960 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6779 5948 1111 63 0 6716 0
vsize: 27116
[startup+20.002 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 6275 0 0 0 1981 16 0 0 25 0 1 0 894380006 27766784 5948 4294967295 134512640 134716908 3221224576 3221223192 134543830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6779 5948 1111 63 0 6716 0
vsize: 27116
[startup+30.0027 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 6275 0 0 0 2981 16 0 0 25 0 1 0 894380006 27766784 5948 4294967295 134512640 134716908 3221224576 3221222992 134543756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6779 5948 1111 63 0 6716 0
vsize: 27116
[startup+40.0029 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 6275 0 0 0 3981 16 0 0 25 0 1 0 894380006 27766784 5948 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6779 5948 1111 63 0 6716 0
vsize: 27116
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 6275 0 0 0 4981 17 0 0 25 0 1 0 894380006 27766784 5948 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6779 5948 1111 63 0 6716 0
vsize: 27116
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 6275 0 0 0 5981 17 0 0 25 0 1 0 894380006 27766784 5948 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6779 5948 1111 63 0 6716 0
vsize: 27116
[startup+70.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 6395 0 0 0 6980 18 0 0 25 0 1 0 894380006 28307456 6068 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6911 6068 1111 63 0 6848 0
vsize: 27644
[startup+80.0042 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 6573 0 0 0 7980 19 0 0 25 0 1 0 894380006 29118464 6246 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7109 6246 1111 63 0 7046 0
vsize: 28436
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 7172 0 0 0 8978 21 0 0 25 0 1 0 894380006 31481856 6838 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7686 6838 1111 63 0 7623 0
vsize: 30744
[startup+100.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 7275 0 0 0 9975 23 0 0 25 0 1 0 894380006 31875072 6941 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7782 6941 1111 63 0 7719 0
vsize: 31128
[startup+110.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 7313 0 0 0 10974 25 0 0 25 0 1 0 894380006 31948800 6961 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7800 6961 1111 63 0 7737 0
vsize: 31200
[startup+120.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 9921 0 2 0 11953 32 0 0 25 0 1 0 894380006 42741760 8703 4294967295 134512640 134716908 3221224576 3221220720 1075115712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10435 8703 1111 63 0 10372 0
vsize: 41740
[startup+130.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 10487 0 2 0 12952 34 0 0 25 0 1 0 894380006 41705472 8870 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10182 8870 1111 63 0 10119 0
vsize: 40728
[startup+140.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 10549 0 2 0 13951 34 0 0 25 0 1 0 894380006 41918464 8932 4294967295 134512640 134716908 3221224576 3221220608 1075112086 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10234 8932 1111 63 0 10171 0
vsize: 40936
[startup+150.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 10606 0 2 0 14951 35 0 0 25 0 1 0 894380006 42131456 8989 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10286 8989 1111 63 0 10223 0
vsize: 41144
[startup+160.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 10667 0 2 0 15951 35 0 0 25 0 1 0 894380006 42360832 9050 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10342 9050 1111 63 0 10279 0
vsize: 41368
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 10667 0 2 0 16951 35 0 0 25 0 1 0 894380006 42360832 9050 4294967295 134512640 134716908 3221224576 3221220580 1075964252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10342 9050 1111 63 0 10279 0
vsize: 41368
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 10671 0 2 0 17951 35 0 0 25 0 1 0 894380006 42360832 9052 4294967295 134512640 134716908 3221224576 3221220728 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10342 9052 1111 63 0 10279 0
vsize: 41368
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 10761 0 2 0 18951 36 0 0 25 0 1 0 894380006 42852352 9142 4294967295 134512640 134716908 3221224576 3221220444 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10462 9142 1111 63 0 10399 0
vsize: 41848
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 10863 0 2 0 19950 36 0 0 25 0 1 0 894380006 43393024 9244 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10594 9244 1111 63 0 10531 0
vsize: 42376
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 10981 0 2 0 20950 37 0 0 25 0 1 0 894380006 43986944 9362 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10739 9362 1111 63 0 10676 0
vsize: 42956
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 11003 0 2 0 21950 37 0 0 25 0 1 0 894380006 43986944 9384 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10739 9384 1111 63 0 10676 0
vsize: 42956
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 11008 0 2 0 22950 37 0 0 25 0 1 0 894380006 43986944 9389 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10739 9389 1111 63 0 10676 0
vsize: 42956
[startup+240.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 11097 0 2 0 23949 38 0 0 25 0 1 0 894380006 44310528 9478 4294967295 134512640 134716908 3221224576 3221220752 1074960909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10818 9478 1111 63 0 10755 0
vsize: 43272
[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 11109 0 2 0 24949 38 0 0 25 0 1 0 894380006 44310528 9490 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10818 9490 1111 63 0 10755 0
vsize: 43272
[startup+260.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 11111 0 2 0 25949 39 0 0 25 0 1 0 894380006 44310528 9492 4294967295 134512640 134716908 3221224576 3221221024 1075088560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10818 9492 1111 63 0 10755 0
vsize: 43272
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 11112 0 2 0 26949 39 0 0 25 0 1 0 894380006 44310528 9493 4294967295 134512640 134716908 3221224576 3221220416 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10818 9493 1111 63 0 10755 0
vsize: 43272
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 11112 0 2 0 27949 39 0 0 25 0 1 0 894380006 44310528 9493 4294967295 134512640 134716908 3221224576 3221221008 1075397167 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10818 9493 1111 63 0 10755 0
vsize: 43272
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 37861 0 2 0 28882 106 0 0 25 0 1 0 894380006 31526912 6986 4294967295 134512640 134716908 3221224576 3221222688 1074867296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7697 6986 1111 63 0 7634 0
vsize: 30788
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 46920 0 2 0 29856 132 0 0 25 0 1 0 894380006 31531008 6987 4294967295 134512640 134716908 3221224576 3221222848 1074208261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7698 6987 1111 63 0 7635 0
vsize: 30792
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 59226 0 2 0 30821 167 0 0 25 0 1 0 894380006 31526912 6989 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7697 6989 1111 63 0 7634 0
vsize: 30788
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 77486 0 2 0 31770 218 0 0 25 0 1 0 894380006 31539200 6992 4294967295 134512640 134716908 3221224576 3221222932 1074208592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7700 6992 1111 63 0 7637 0
vsize: 30800
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 92592 0 2 0 32728 261 0 0 25 0 1 0 894380006 42143744 7191 4294967295 134512640 134716908 3221224576 3221221568 1075110405 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10289 7191 1111 63 0 10226 0
vsize: 41156
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 110824 0 2 0 33677 312 0 0 25 0 1 0 894380006 31522816 6988 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7696 6988 1111 63 0 7633 0
vsize: 30784
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 122942 0 2 0 34644 345 0 0 25 0 1 0 894380006 42541056 7223 4294967295 134512640 134716908 3221224576 3221221608 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10386 7223 1111 63 0 10323 0
vsize: 41544
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 138657 0 2 0 35602 387 0 0 25 0 1 0 894380006 31547392 6994 4294967295 134512640 134716908 3221224576 3221222960 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7702 6994 1111 63 0 7639 0
vsize: 30808
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 150765 0 2 0 36569 421 0 0 25 0 1 0 894380006 42541056 7294 4294967295 134512640 134716908 3221224576 3221221568 1075110381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10386 7294 1111 63 0 10323 0
vsize: 41544
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 164009 0 2 0 37531 459 0 0 25 0 1 0 894380006 31555584 6996 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7704 6996 1111 63 0 7641 0
vsize: 30816
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 176416 0 2 0 38499 491 0 0 25 0 1 0 894380006 42795008 7342 4294967295 134512640 134716908 3221224576 3221221648 1074867299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10448 7342 1111 63 0 10385 0
vsize: 41792
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 189750 0 2 0 39463 527 0 0 25 0 1 0 894380006 42196992 8385 4294967295 134512640 134716908 3221224576 3221220848 1074960964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10302 8385 1111 63 0 10239 0
vsize: 41208
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 200729 0 2 0 40432 557 0 0 25 0 1 0 894380006 42598400 7266 4294967295 134512640 134716908 3221224576 3221220848 1074960768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10400 7266 1111 63 0 10337 0
vsize: 41600
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 212837 0 2 0 41399 590 0 0 25 0 1 0 894380006 31547392 6994 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7702 6994 1111 63 0 7639 0
vsize: 30808
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 228499 0 2 0 42355 634 0 0 25 0 1 0 894380006 39403520 7697 4294967295 134512640 134716908 3221224576 3221221568 1075110381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9620 7697 1111 63 0 9557 0
vsize: 38480
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 240657 0 2 0 43320 669 0 0 25 0 1 0 894380006 31531008 6990 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7698 6990 1111 63 0 7635 0
vsize: 30792
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 256541 0 2 0 44275 714 0 0 25 0 1 0 894380006 41955328 8135 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10243 8143 1111 63 0 10180 0
vsize: 40972
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 265102 0 2 0 45252 738 0 0 25 0 1 0 894380006 42528768 7254 4294967295 134512640 134716908 3221224576 3221221152 1076044971 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10383 7255 1111 63 0 10320 0
vsize: 41532
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 278118 0 2 0 46218 772 0 0 25 0 1 0 894380006 42565632 8463 4294967295 134512640 134716908 3221224576 3221220676 1075964290 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10392 8463 1111 63 0 10329 0
vsize: 41568
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 294205 0 2 0 47174 816 0 0 25 0 1 0 894380006 31531008 6990 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7698 6990 1111 63 0 7635 0
vsize: 30792
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 311256 0 2 0 48128 862 0 0 25 0 1 0 894380006 31539200 6992 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7700 6992 1111 63 0 7637 0
vsize: 30800
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 320546 0 2 0 49103 888 0 0 25 0 1 0 894380006 31555584 6996 4294967295 134512640 134716908 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7704 6996 1111 63 0 7641 0
vsize: 30816
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 331575 0 2 0 50074 916 0 0 25 0 1 0 894380006 31555584 6996 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7704 6996 1111 63 0 7641 0
vsize: 30816
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 341251 0 2 0 51050 941 0 0 25 0 1 0 894380006 31662080 7022 4294967295 134512640 134716908 3221224576 3221223336 134558597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7730 7022 1111 63 0 7667 0
vsize: 30920
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 352971 0 2 0 52019 972 0 0 25 0 1 0 894380006 39088128 7636 4294967295 134512640 134716908 3221224576 3221221120 1075088573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9543 7636 1111 63 0 9480 0
vsize: 38172
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 363735 0 2 0 52991 1000 0 0 25 0 1 0 894380006 31555584 6996 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7704 6996 1111 63 0 7641 0
vsize: 30816
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 372851 0 2 0 53966 1025 0 0 25 0 1 0 894380006 42844160 8526 4294967295 134512640 134716908 3221224576 3221220816 1075115712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10460 8526 1111 63 0 10397 0
vsize: 41840
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 383378 0 2 0 54937 1054 0 0 25 0 1 0 894380006 42541056 8459 4294967295 134512640 134716908 3221224576 3221220676 1075964296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10386 8459 1111 63 0 10323 0
vsize: 41544
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 396776 0 2 0 55901 1091 0 0 25 0 1 0 894380006 31547392 6994 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7702 6994 1111 63 0 7639 0
vsize: 30808
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 412886 0 2 0 56858 1134 0 0 25 0 1 0 894380006 31571968 7000 4294967295 134512640 134716908 3221224576 3221223304 134600217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7708 7000 1111 63 0 7645 0
vsize: 30832
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 427296 0 2 0 57816 1176 0 0 25 0 1 0 894380006 31555584 6996 4294967295 134512640 134716908 3221224576 3221222976 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7704 6996 1111 63 0 7641 0
vsize: 30816
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 439344 0 2 0 58784 1208 0 0 25 0 1 0 894380006 39215104 7641 4294967295 134512640 134716908 3221224576 3221221640 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9574 7641 1111 63 0 9511 0
vsize: 38296
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 455291 0 2 0 59740 1252 0 0 25 0 1 0 894380006 42262528 8408 4294967295 134512640 134716908 3221224576 3221221088 1075084536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10318 8408 1111 63 0 10255 0
vsize: 41272
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 466184 0 2 0 60711 1282 0 0 25 0 1 0 894380006 31547392 6994 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7702 6994 1111 63 0 7639 0
vsize: 30808
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 474269 0 2 0 61689 1304 0 0 25 0 1 0 894380006 31612928 7010 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7718 7010 1111 63 0 7655 0
vsize: 30872
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 484961 0 2 0 62661 1332 0 0 25 0 1 0 894380006 31580160 7002 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7710 7002 1111 63 0 7647 0
vsize: 30840
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 495358 0 2 0 63635 1359 0 0 25 0 1 0 894380006 43139072 8609 4294967295 134512640 134716908 3221224576 3221220944 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 8609 1111 63 0 10469 0
vsize: 42128
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 503833 0 2 0 64612 1382 0 0 25 0 1 0 894380006 31592448 7005 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7713 7005 1111 63 0 7650 0
vsize: 30852
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 512838 0 2 0 65587 1406 0 0 25 0 1 0 894380006 31612928 7010 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7718 7010 1111 63 0 7655 0
vsize: 30872
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 524009 0 2 0 66559 1435 0 0 25 0 1 0 894380006 31592448 7005 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7713 7005 1111 63 0 7650 0
vsize: 30852
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 536392 0 2 0 67526 1468 0 0 25 0 1 0 894380006 31596544 7006 4294967295 134512640 134716908 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7714 7006 1111 63 0 7651 0
vsize: 30856
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 547597 0 2 0 68495 1499 0 0 25 0 1 0 894380006 31588352 7004 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7712 7004 1111 63 0 7649 0
vsize: 30848
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 558370 0 2 0 69467 1527 0 0 25 0 1 0 894380006 42602496 7259 4294967295 134512640 134716908 3221224576 3221220804 1075115051 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10401 7259 1111 63 0 10338 0
vsize: 41604
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 575124 0 2 0 70421 1573 0 0 25 0 1 0 894380006 31596544 7006 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7714 7006 1111 63 0 7651 0
vsize: 30856
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 588545 0 2 0 71386 1609 0 0 25 0 1 0 894380006 42893312 8534 4294967295 134512640 134716908 3221224576 3221220848 1074960835 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10472 8534 1111 63 0 10409 0
vsize: 41888
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 600524 0 2 0 72353 1642 0 0 25 0 1 0 894380006 42303488 7199 4294967295 134512640 134716908 3221224576 3221221388 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10328 7199 1111 63 0 10265 0
vsize: 41312
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 613444 0 2 0 73319 1676 0 0 25 0 1 0 894380006 31612928 7010 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7718 7010 1111 63 0 7655 0
vsize: 30872
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 626923 0 2 0 74283 1712 0 0 25 0 1 0 894380006 42205184 7174 4294967295 134512640 134716908 3221224576 3221221640 1075007296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10304 7174 1111 63 0 10241 0
vsize: 41216
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 642728 0 2 0 75240 1755 0 0 25 0 1 0 894380006 31596544 7006 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7714 7006 1111 63 0 7651 0
vsize: 30856
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 659897 0 2 0 76194 1802 0 0 25 0 1 0 894380006 31596544 7006 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7714 7006 1111 63 0 7651 0
vsize: 30856
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 673357 0 2 0 77157 1839 0 0 25 0 1 0 894380006 31584256 7003 4294967295 134512640 134716908 3221224576 3221222784 1073978447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7711 7003 1111 63 0 7648 0
vsize: 30844
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 685369 0 2 0 78124 1872 0 0 25 0 1 0 894380006 31588352 7004 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7712 7004 1111 63 0 7649 0
vsize: 30848
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 699874 0 2 0 79083 1912 0 0 25 0 1 0 894380006 31600640 7007 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7715 7007 1111 63 0 7652 0
vsize: 30860
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 713288 0 2 0 80049 1948 0 0 25 0 1 0 894380006 42389504 8407 4294967295 134512640 134716908 3221224576 3221220848 1074960783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10349 8407 1111 63 0 10286 0
vsize: 41396
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 726916 0 2 0 81011 1985 0 0 25 0 1 0 894380006 31588352 7004 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7712 7004 1111 63 0 7649 0
vsize: 30848
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 740583 0 2 0 81973 2023 0 0 25 0 1 0 894380006 42606592 7249 4294967295 134512640 134716908 3221224576 3221221580 1074621032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10402 7249 1111 63 0 10339 0
vsize: 41608
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 757515 0 2 0 82926 2070 0 0 25 0 1 0 894380006 31596544 7006 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7714 7006 1111 63 0 7651 0
vsize: 30856
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 772826 0 2 0 83884 2112 0 0 25 0 1 0 894380006 31608832 7009 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7717 7009 1111 63 0 7654 0
vsize: 30868
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 784642 0 2 0 84854 2143 0 0 25 0 1 0 894380006 43220992 8631 4294967295 134512640 134716908 3221224576 3221220608 1074790230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10552 8631 1111 63 0 10489 0
vsize: 42208
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 792558 0 2 0 85833 2164 0 0 25 0 1 0 894380006 31645696 7018 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7726 7018 1111 63 0 7663 0
vsize: 30904
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 801919 0 2 0 86809 2189 0 0 25 0 1 0 894380006 42311680 7187 4294967295 134512640 134716908 3221224576 3221220804 1075115109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10330 7187 1111 63 0 10267 0
vsize: 41320
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 815325 0 2 0 87773 2225 0 0 25 0 1 0 894380006 42590208 8483 4294967295 134512640 134716908 3221224576 3221220804 1075115051 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10398 8483 1111 63 0 10335 0
vsize: 41592
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 826187 0 2 0 88742 2255 0 0 25 0 1 0 894380006 31641600 7017 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7725 7017 1111 63 0 7662 0
vsize: 30900
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 835534 0 2 0 89717 2281 0 0 25 0 1 0 894380006 31641600 7017 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7725 7017 1111 63 0 7662 0
vsize: 30900
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 851078 0 2 0 90675 2323 0 0 25 0 1 0 894380006 39206912 7653 4294967295 134512640 134716908 3221224576 3221221344 1076083619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9572 7653 1111 63 0 9509 0
vsize: 38288
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 862992 0 2 0 91643 2356 0 0 25 0 1 0 894380006 42577920 7264 4294967295 134512640 134716908 3221224576 3221220848 1074960909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10395 7264 1111 63 0 10332 0
vsize: 41580
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 877207 0 2 0 92603 2396 0 0 25 0 1 0 894380006 31629312 7014 4294967295 134512640 134716908 3221224576 3221223192 134543141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7722 7014 1111 63 0 7659 0
vsize: 30888
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 896204 0 2 0 93550 2449 0 0 25 0 1 0 894380006 31641600 7017 4294967295 134512640 134716908 3221224576 3221222568 1074051991 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7725 7017 1111 63 0 7662 0
vsize: 30900
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 910508 0 2 0 94510 2489 0 0 25 0 1 0 894380006 31678464 7018 4294967295 134512640 134716908 3221224576 3221222576 1074918008 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7734 7018 1111 63 0 7671 0
vsize: 30936
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 925288 0 2 0 95469 2531 0 0 25 0 1 0 894380006 31633408 7015 4294967295 134512640 134716908 3221224576 3221222892 1074137216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7723 7015 1111 63 0 7660 0
vsize: 30892
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 939850 0 2 0 96429 2570 0 0 25 0 1 0 894380006 31813632 7018 4294967295 134512640 134716908 3221224576 3221222224 1075818160 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7767 7018 1111 63 0 7704 0
vsize: 31068
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 958300 0 2 0 97378 2622 0 0 25 0 1 0 894380006 31629312 7014 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7722 7014 1111 63 0 7659 0
vsize: 30888
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 970550 0 2 0 98343 2657 0 0 25 0 1 0 894380006 41746432 7052 4294967295 134512640 134716908 3221224576 3221221344 1076083481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10192 7052 1111 63 0 10129 0
vsize: 40768
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 984765 0 2 0 99304 2696 0 0 25 0 1 0 894380006 42852352 7176 4294967295 134512640 134716908 3221224576 3221221616 1075971395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10462 7181 1111 63 0 10399 0
vsize: 41848
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 995796 0 2 0 100274 2726 0 0 25 0 1 0 894380006 42848256 7325 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 7325 1111 63 0 10398 0
vsize: 41844
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 1007604 0 2 0 101242 2758 0 0 25 0 1 0 894380006 42463232 7243 4294967295 134512640 134716908 3221224576 3221220848 1074961155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10367 7243 1111 63 0 10304 0
vsize: 41468
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 1025534 0 2 0 102190 2811 0 0 25 0 1 0 894380006 41930752 7078 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10237 7078 1111 63 0 10174 0
vsize: 40948
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 1043573 0 2 0 103141 2860 0 0 25 0 1 0 894380006 43028480 7387 4294967295 134512640 134716908 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10505 7387 1111 63 0 10442 0
vsize: 42020
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 1057028 0 2 0 104104 2897 0 0 25 0 1 0 894380006 31629312 7014 4294967295 134512640 134716908 3221224576 3221223248 134652555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7722 7014 1111 63 0 7659 0
vsize: 30888
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 1072771 0 2 0 105062 2940 0 0 25 0 1 0 894380006 31629312 7014 4294967295 134512640 134716908 3221224576 3221223192 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7722 7014 1111 63 0 7659 0
vsize: 30888
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 1088429 0 2 0 106020 2981 0 0 25 0 1 0 894380006 31629312 7014 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7722 7014 1111 63 0 7659 0
vsize: 30888
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 1101567 0 2 0 106986 3016 0 0 25 0 1 0 894380006 31657984 7021 4294967295 134512640 134716908 3221224576 3221222960 1074153640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7729 7021 1111 63 0 7666 0
vsize: 30916
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 1112896 0 2 0 107956 3045 0 0 25 0 1 0 894380006 31633408 7015 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7723 7015 1111 63 0 7660 0
vsize: 30892
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 1123696 0 2 0 108929 3073 0 0 25 0 1 0 894380006 31637504 7016 4294967295 134512640 134716908 3221224576 3221222896 1074146146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7724 7016 1111 63 0 7661 0
vsize: 30896
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 1134430 0 2 0 109901 3101 0 0 25 0 1 0 894380006 31629312 7014 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7722 7014 1111 63 0 7659 0
vsize: 30888
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 1144943 0 2 0 110873 3130 0 0 25 0 1 0 894380006 31653888 7020 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7728 7020 1111 63 0 7665 0
vsize: 30912
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 1157143 0 2 0 111838 3165 0 0 25 0 1 0 894380006 31645696 7018 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7726 7018 1111 63 0 7663 0
vsize: 30904
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 1170265 0 2 0 112803 3200 0 0 25 0 1 0 894380006 42393600 8437 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10350 8438 1111 63 0 10287 0
vsize: 41400
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 1180688 0 2 0 113773 3230 0 0 25 0 1 0 894380006 31653888 7020 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7728 7020 1111 63 0 7665 0
vsize: 30912
[startup+1176.03 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 28245
Raw data (stat): 28245 (bsolo_lpr-v2) R 28244 31399 31398 0 -1 0 1180688 0 2 0 113773 3230 0 0 25 0 1 0 894380006 31653888 7020 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7728 7020 1111 63 0 7665 0
vsize: 0

Child status: 10
Real time (s): 1176.03
CPU time (s): 1176.04
CPU user time (s): 1143.46
CPU system time (s): 32.579
CPU usage (%): 100.001
Max. virtual memory (Kb): 43272
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-18
#### END VERIFIER DATA ####