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-4.opb
MD5SUM	615f734b8951521e89cf22f42d6d26cc
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.05084
Number of variables	450
Total number of constraints	17831
Number of constraints which are clauses	17831
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 24722

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 02:54:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2845 boxname=wulflinc31 idbench=317 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  615f734b8951521e89cf22f42d6d26cc  /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-4.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb30-15-4.opb
IDLAUNCH: 2845
/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:        900632 kB
Buffers:         26136 kB
Cached:          86440 kB
SwapCached:       1936 kB
Active:          65240 kB
Inactive:        50504 kB
HighTotal:      131008 kB
HighFree:        43736 kB
LowTotal:       903652 kB
LowFree:        856896 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:             436 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12588 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 03:14:30 (client local time) WITH STATUS 10 IN 1177.29 SECONDS
stats: 2845 0 1177.29 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 450 variables and 17831 constraints.
c After prepocess the problem consists of 450 variables and 13543 constraints.
c preprocess terminated 84.369 s
c Initial Lower Bound: -50
c Lower Bound Elapsed time: 209.609
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -3 @ 294.208
c NEW SOLUTION FOUND: -4 @ 294.229
c NEW SOLUTION FOUND: -5 @ 294.238
c NEW SOLUTION FOUND: -6 @ 294.25
c NEW SOLUTION FOUND: -7 @ 294.428
c NEW SOLUTION FOUND: -8 @ 294.553
c NEW SOLUTION FOUND: -9 @ 294.672
c NEW SOLUTION FOUND: -10 @ 294.88
c NEW SOLUTION FOUND: -11 @ 295.484
c NEW SOLUTION FOUND: -12 @ 296.282
c NEW SOLUTION FOUND: -13 @ 297.522
c NEW SOLUTION FOUND: -14 @ 298.907
c NEW SOLUTION FOUND: -15 @ 299.757
c NEW SOLUTION FOUND: -16 @ 304.347
c NEW SOLUTION FOUND: -17 @ 345.108
c NEW SOLUTION FOUND: -18 @ 685.776
c NEW SOLUTION FOUND: -19 @ 1127.58
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: 1177.25 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.93 0.98 0.99 2/55 5854
Raw data (stat): 5854 (runsolver) R 5853 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 723086128 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 5519 0 0 0 979 17 0 0 25 0 1 0 723086128 24973312 5239 4294967295 134512640 134714508 3221221792 3221220352 134535762 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6097 5239 1111 63 0 6034 0
vsize: 24388
[startup+20.0009 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 5738 0 0 0 1978 17 0 0 25 0 1 0 723086128 24801280 5226 4294967295 134512640 134714508 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6055 5226 1111 63 0 5992 0
vsize: 24220
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 5781 0 0 0 2978 17 0 0 25 0 1 0 723086128 24944640 5261 4294967295 134512640 134714508 3221221792 3221220432 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6090 5261 1111 63 0 6027 0
vsize: 24360
[startup+40.0007 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 5852 0 0 0 3978 18 0 0 25 0 1 0 723086128 24944640 5261 4294967295 134512640 134714508 3221221792 3221220236 134542824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6090 5261 1111 63 0 6027 0
vsize: 24360
[startup+50.0019 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 6281 0 0 0 4978 18 0 0 25 0 1 0 723086128 25489408 5394 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6223 5394 1111 63 0 6160 0
vsize: 24892
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 6339 0 0 0 5977 19 0 0 25 0 1 0 723086128 25759744 5452 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6289 5452 1111 63 0 6226 0
vsize: 25156
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 6476 0 0 0 6977 19 0 0 25 0 1 0 723086128 26300416 5589 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6421 5589 1111 63 0 6358 0
vsize: 25684
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 6657 0 0 0 7977 20 0 0 25 0 1 0 723086128 27115520 5770 4294967295 134512640 134714508 3221221792 3221220408 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6620 5770 1111 63 0 6557 0
vsize: 26480
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 7230 0 0 0 8974 23 0 0 25 0 1 0 723086128 29540352 6343 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7212 6343 1111 63 0 7149 0
vsize: 28848
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 7286 0 0 0 9971 25 0 0 25 0 1 0 723086128 29683712 6399 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7247 6399 1111 63 0 7184 0
vsize: 28988
[startup+110.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 7407 0 0 0 10970 26 0 0 25 0 1 0 723086128 30265344 6520 4294967295 134512640 134714508 3221221792 3221220048 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7389 6520 1111 63 0 7326 0
vsize: 29556
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 9868 0 0 0 11965 32 0 0 25 0 1 0 723086128 40394752 8122 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9862 8122 1111 63 0 9799 0
vsize: 39448
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 10449 0 0 0 12964 33 0 0 25 0 1 0 723086128 39362560 8308 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9610 8308 1111 63 0 9547 0
vsize: 38440
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 10527 0 0 0 13964 33 0 0 25 0 1 0 723086128 39571456 8386 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9661 8386 1111 63 0 9598 0
vsize: 38644
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 10637 0 0 0 14963 34 0 0 25 0 1 0 723086128 40013824 8496 4294967295 134512640 134714508 3221221792 3221218632 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9769 8496 1111 63 0 9706 0
vsize: 39076
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 10644 0 0 0 15963 35 0 0 25 0 1 0 723086128 40013824 8503 4294967295 134512640 134714508 3221221792 3221217984 1074961177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9769 8503 1111 63 0 9706 0
vsize: 39076
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 10690 0 0 0 16963 35 0 0 25 0 1 0 723086128 40247296 8549 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9826 8549 1111 63 0 9763 0
vsize: 39304
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 10728 0 0 0 17963 35 0 0 25 0 1 0 723086128 40493056 8587 4294967295 134512640 134714508 3221221792 3221217952 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9886 8587 1111 63 0 9823 0
vsize: 39544
[startup+190.005 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 10738 0 0 0 18963 35 0 0 25 0 1 0 723086128 40493056 8597 4294967295 134512640 134714508 3221221792 3221217920 1074815396 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9886 8597 1111 63 0 9823 0
vsize: 39544
[startup+200.005 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 10853 0 0 0 19962 36 0 0 25 0 1 0 723086128 41029632 8710 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10017 8710 1111 63 0 9954 0
vsize: 40068
[startup+210.005 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 10920 0 0 0 20962 36 0 0 25 0 1 0 723086128 41324544 8777 4294967295 134512640 134714508 3221221792 3221218240 1075397211 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10089 8777 1111 63 0 10026 0
vsize: 40356
[startup+220.006 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 10984 0 0 0 21963 36 0 0 25 0 1 0 723086128 41619456 8841 4294967295 134512640 134714508 3221221792 3221217596 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10161 8841 1111 63 0 10098 0
vsize: 40644
[startup+230.006 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 10989 0 0 0 22963 36 0 0 25 0 1 0 723086128 41619456 8846 4294967295 134512640 134714508 3221221792 3221217812 1075964248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10161 8846 1111 63 0 10098 0
vsize: 40644
[startup+240.006 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 11086 0 0 0 23963 36 0 0 25 0 1 0 723086128 41934848 8943 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10238 8943 1111 63 0 10175 0
vsize: 40952
[startup+250.007 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 11088 0 0 0 24963 36 0 0 25 0 1 0 723086128 41934848 8945 4294967295 134512640 134714508 3221221792 3221218244 1074260601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10238 8945 1111 63 0 10175 0
vsize: 40952
[startup+260.006 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 11092 0 0 0 25963 37 0 0 25 0 1 0 723086128 41934848 8949 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10238 8949 1111 63 0 10175 0
vsize: 40952
[startup+270.006 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 11094 0 0 0 26963 37 0 0 25 0 1 0 723086128 41934848 8951 4294967295 134512640 134714508 3221221792 3221217620 1074786556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10238 8951 1111 63 0 10175 0
vsize: 40952
[startup+280.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 11095 0 0 0 27963 37 0 0 25 0 1 0 723086128 41934848 8952 4294967295 134512640 134714508 3221221792 3221217676 1074788143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10238 8952 1111 63 0 10175 0
vsize: 40952
[startup+290.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 14879 0 0 0 28953 46 0 0 25 0 1 0 723086128 33849344 7458 4294967295 134512640 134714508 3221221792 3221220300 134652062 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8264 7458 1111 63 0 8201 0
vsize: 33056
[startup+300.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 24117 0 0 0 29927 72 0 0 25 0 1 0 723086128 30183424 6651 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7369 6651 1111 63 0 7306 0
vsize: 29476
[startup+310.064 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 5854
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 31609 0 0 0 30911 94 0 0 25 0 1 0 723086128 36855808 7100 4294967295 134512640 134714508 3221221792 3221218752 1074790230 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8998 7100 1111 63 0 8935 0
vsize: 35992
[startup+320.064 s]
Raw data (loadavg): 1.08 1.02 1.00 2/58 5893
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 49915 0 0 0 31853 152 0 0 25 0 1 0 723086128 40181760 6702 4294967295 134512640 134714508 3221221792 3221217936 1074969970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9810 6702 1111 63 0 9747 0
vsize: 39240
[startup+330.065 s]
Raw data (loadavg): 1.15 1.03 1.01 2/59 5897
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 62648 0 0 0 32818 187 0 0 25 0 1 0 723086128 30175232 6657 4294967295 134512640 134714508 3221221792 3221220560 134644680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6657 1111 63 0 7304 0
vsize: 29468
[startup+340.106 s]
Raw data (loadavg): 1.36 1.08 1.02 3/58 5903
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 71554 0 0 0 33797 213 0 0 25 0 1 0 723086128 40189952 6735 4294967295 134512640 134714508 3221221792 3221218176 1074972348 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9812 6735 1111 63 0 9749 0
vsize: 39248
[startup+350.107 s]
Raw data (loadavg): 1.45 1.11 1.03 2/55 5907
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 85061 0 0 0 34737 250 0 0 25 0 1 0 723086128 30191616 6668 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7371 6668 1111 63 0 7308 0
vsize: 29484
[startup+360.106 s]
Raw data (loadavg): 1.38 1.11 1.03 2/55 5907
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 100700 0 0 0 35693 293 0 0 25 0 1 0 723086128 30175232 6664 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+370.107 s]
Raw data (loadavg): 1.32 1.10 1.03 2/55 5907
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 112730 0 0 0 36662 325 0 0 25 0 1 0 723086128 40337408 6781 4294967295 134512640 134714508 3221221792 3221218020 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9848 6781 1111 63 0 9785 0
vsize: 39392
[startup+380.106 s]
Raw data (loadavg): 1.27 1.10 1.03 2/55 5907
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 124935 0 0 0 37629 358 0 0 25 0 1 0 723086128 30175232 6664 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+390.106 s]
Raw data (loadavg): 1.23 1.09 1.03 2/55 5907
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 141489 0 0 0 38582 405 0 0 25 0 1 0 723086128 30187520 6667 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6667 1111 63 0 7307 0
vsize: 29480
[startup+400.107 s]
Raw data (loadavg): 1.19 1.09 1.03 2/55 5907
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 152254 0 0 0 39553 434 0 0 25 0 1 0 723086128 30199808 6670 4294967295 134512640 134714508 3221221792 3221220176 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7373 6670 1111 63 0 7310 0
vsize: 29492
[startup+410.108 s]
Raw data (loadavg): 1.16 1.09 1.03 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 165607 0 0 0 40517 470 0 0 25 0 1 0 723086128 30191616 6668 4294967295 134512640 134714508 3221221792 3221220136 1074206849 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7371 6668 1111 63 0 7308 0
vsize: 29484
[startup+420.108 s]
Raw data (loadavg): 1.14 1.08 1.03 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 182163 0 0 0 41472 516 0 0 25 0 1 0 723086128 40189952 7679 4294967295 134512640 134714508 3221221792 3221217952 1075095344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9812 7687 1111 63 0 9749 0
vsize: 39248
[startup+430.108 s]
Raw data (loadavg): 1.12 1.08 1.03 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 200114 0 0 0 42424 564 0 0 25 0 1 0 723086128 40189952 7592 4294967295 134512640 134714508 3221221792 3221217952 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9812 7601 1111 63 0 9749 0
vsize: 39248
[startup+440.109 s]
Raw data (loadavg): 1.10 1.08 1.03 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 216555 0 0 0 43377 611 0 0 25 0 1 0 723086128 30191616 6668 4294967295 134512640 134714508 3221221792 3221219840 1075963599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7371 6668 1111 63 0 7308 0
vsize: 29484
[startup+450.109 s]
Raw data (loadavg): 1.08 1.07 1.02 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 231090 0 0 0 44336 653 0 0 25 0 1 0 723086128 30347264 6690 4294967295 134512640 134714508 3221221792 3221218896 1074139070 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7409 6690 1111 63 0 7346 0
vsize: 29636
[startup+460.109 s]
Raw data (loadavg): 1.07 1.07 1.02 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 245737 0 0 0 45295 694 0 0 25 0 1 0 723086128 30179328 6665 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7368 6665 1111 63 0 7305 0
vsize: 29472
[startup+470.11 s]
Raw data (loadavg): 1.06 1.07 1.02 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 255460 0 0 0 46270 718 0 0 25 0 1 0 723086128 30199808 6670 4294967295 134512640 134714508 3221221792 3221219768 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7373 6670 1111 63 0 7310 0
vsize: 29492
[startup+480.11 s]
Raw data (loadavg): 1.05 1.07 1.02 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 264267 0 0 0 47246 742 0 0 25 0 1 0 723086128 30191616 6668 4294967295 134512640 134714508 3221221792 3221219856 1075961689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7371 6668 1111 63 0 7308 0
vsize: 29484
[startup+490.113 s]
Raw data (loadavg): 1.04 1.06 1.02 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 278804 0 0 0 48206 783 0 0 25 0 1 0 723086128 30179328 6665 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7368 6665 1111 63 0 7305 0
vsize: 29472
[startup+500.12 s]
Raw data (loadavg): 1.03 1.06 1.02 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 291363 0 0 0 49172 818 0 0 25 0 1 0 723086128 40652800 7276 4294967295 134512640 134714508 3221221792 3221217952 1075095344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9925 7285 1111 63 0 9862 0
vsize: 39700
[startup+510.119 s]
Raw data (loadavg): 1.03 1.06 1.02 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 308735 0 0 0 50125 865 0 0 25 0 1 0 723086128 30175232 6664 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+520.12 s]
Raw data (loadavg): 1.02 1.06 1.02 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 323226 0 0 0 51084 906 0 0 25 0 1 0 723086128 30187520 6667 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6667 1111 63 0 7307 0
vsize: 29480
[startup+530.12 s]
Raw data (loadavg): 1.02 1.05 1.02 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 343752 0 0 0 52027 963 0 0 25 0 1 0 723086128 30183424 6666 4294967295 134512640 134714508 3221221792 3221220144 1074115311 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7369 6666 1111 63 0 7306 0
vsize: 29476
[startup+540.12 s]
Raw data (loadavg): 1.02 1.05 1.02 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 351590 0 0 0 53005 985 0 0 25 0 1 0 723086128 30175232 6664 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+550.12 s]
Raw data (loadavg): 1.01 1.05 1.01 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 371132 0 0 0 53953 1038 0 0 25 0 1 0 723086128 30175232 6664 4294967295 134512640 134714508 3221221792 3221220168 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+560.12 s]
Raw data (loadavg): 1.01 1.05 1.01 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 381307 0 0 0 54923 1068 0 0 25 0 1 0 723086128 36855808 7113 4294967295 134512640 134714508 3221221792 3221218448 1075967413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8998 7113 1111 63 0 8935 0
vsize: 35992
[startup+570.121 s]
Raw data (loadavg): 1.01 1.05 1.01 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 397716 0 0 0 55879 1112 0 0 25 0 1 0 723086128 30175232 6664 4294967295 134512640 134714508 3221221792 3221220124 1074206848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+580.121 s]
Raw data (loadavg): 1.01 1.04 1.01 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 410894 0 0 0 56843 1149 0 0 25 0 1 0 723086128 40660992 8025 4294967295 134512640 134714508 3221221792 3221217804 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9927 8025 1111 63 0 9864 0
vsize: 39708
[startup+590.122 s]
Raw data (loadavg): 1.00 1.04 1.01 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 425390 0 0 0 57803 1189 0 0 25 0 1 0 723086128 30191616 6668 4294967295 134512640 134714508 3221221792 3221220176 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7371 6668 1111 63 0 7308 0
vsize: 29484
[startup+600.122 s]
Raw data (loadavg): 1.00 1.04 1.01 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 439166 0 0 0 58765 1227 0 0 25 0 1 0 723086128 30167040 6662 4294967295 134512640 134714508 3221221792 3221220192 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7365 6662 1111 63 0 7302 0
vsize: 29460
[startup+610.122 s]
Raw data (loadavg): 1.00 1.04 1.01 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 453609 0 0 0 59727 1266 0 0 25 0 1 0 723086128 40792064 8058 4294967295 134512640 134714508 3221221792 3221218064 1074960928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9959 8058 1111 63 0 9896 0
vsize: 39836
[startup+620.123 s]
Raw data (loadavg): 1.00 1.04 1.01 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 468077 0 0 0 60685 1307 0 0 25 0 1 0 723086128 30175232 6664 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+630.123 s]
Raw data (loadavg): 1.00 1.03 1.01 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 481515 0 0 0 61647 1345 0 0 25 0 1 0 723086128 30175232 6664 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+640.124 s]
Raw data (loadavg): 1.00 1.03 1.01 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 500748 0 0 0 62594 1399 0 0 25 0 1 0 723086128 30187520 6667 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6667 1111 63 0 7307 0
vsize: 29480
[startup+650.124 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 518950 0 0 0 63544 1449 0 0 25 0 1 0 723086128 30175232 6664 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+660.123 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 537082 0 0 0 64494 1499 0 0 25 0 1 0 723086128 40538112 8021 4294967295 134512640 134714508 3221221792 3221218064 1074960771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9897 8021 1111 63 0 9834 0
vsize: 39588
[startup+670.124 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 5909
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 550399 0 0 0 65457 1536 0 0 25 0 1 0 723086128 30179328 6665 4294967295 134512640 134714508 3221221792 3221220192 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7368 6665 1111 63 0 7305 0
vsize: 29472
[startup+680.124 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 567370 0 0 0 66409 1585 0 0 25 0 1 0 723086128 40185856 6732 4294967295 134512640 134714508 3221221792 3221217884 1075663503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9811 6732 1111 63 0 9748 0
vsize: 39244
[startup+690.125 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 585747 0 0 0 67358 1635 0 0 25 0 1 0 723086128 30179328 6665 4294967295 134512640 134714508 3221221792 3221218896 1074138623 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7368 6665 1111 63 0 7305 0
vsize: 29472
[startup+700.125 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 599131 0 0 0 68320 1673 0 0 25 0 1 0 723086128 40538112 6832 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9897 6832 1111 63 0 9834 0
vsize: 39588
[startup+710.125 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 614840 0 0 0 69278 1715 0 0 25 0 1 0 723086128 30167040 6662 4294967295 134512640 134714508 3221221792 3221219816 1077380167 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7365 6662 1111 63 0 7302 0
vsize: 29460
[startup+720.126 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 628346 0 0 0 70242 1752 0 0 25 0 1 0 723086128 40550400 6869 4294967295 134512640 134714508 3221221792 3221218320 1075890974 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9900 6869 1111 63 0 9837 0
vsize: 39600
[startup+730.126 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 640412 0 0 0 71208 1786 0 0 25 0 1 0 723086128 30179328 6665 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7368 6665 1111 63 0 7305 0
vsize: 29472
[startup+740.127 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 653658 0 0 0 72171 1823 0 0 25 0 1 0 723086128 30187520 6667 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6667 1111 63 0 7307 0
vsize: 29480
[startup+750.127 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 669436 0 0 0 73127 1868 0 0 25 0 1 0 723086128 30187520 6667 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6667 1111 63 0 7307 0
vsize: 29480
[startup+760.127 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 685242 0 0 0 74084 1911 0 0 25 0 1 0 723086128 30183424 6666 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7369 6666 1111 63 0 7306 0
vsize: 29476
[startup+770.128 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 701972 0 0 0 75039 1955 0 0 25 0 1 0 723086128 30199808 6670 4294967295 134512640 134714508 3221221792 3221220088 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7373 6670 1111 63 0 7310 0
vsize: 29492
[startup+780.129 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 712122 0 0 0 76011 1983 0 0 25 0 1 0 723086128 30175232 6664 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+790.129 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 725588 0 0 0 76975 2020 0 0 25 0 1 0 723086128 30191616 6668 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7371 6668 1111 63 0 7308 0
vsize: 29484
[startup+800.129 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 739234 0 0 0 77940 2056 0 0 25 0 1 0 723086128 30175232 6664 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+810.128 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 752748 0 0 0 78903 2092 0 0 25 0 1 0 723086128 30187520 6667 4294967295 134512640 134714508 3221221792 3221220176 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6667 1111 63 0 7307 0
vsize: 29480
[startup+820.129 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 769686 0 0 0 79856 2139 0 0 25 0 1 0 723086128 30199808 6670 4294967295 134512640 134714508 3221221792 3221219680 1074050884 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7373 6670 1111 63 0 7310 0
vsize: 29492
[startup+830.129 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 786835 0 0 0 80808 2187 0 0 25 0 1 0 723086128 30175232 6664 4294967295 134512640 134714508 3221221792 3221219496 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+840.129 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 798715 0 0 0 81775 2221 0 0 25 0 1 0 723086128 30199808 6670 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7373 6670 1111 63 0 7310 0
vsize: 29492
[startup+850.129 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 813369 0 0 0 82733 2263 0 0 25 0 1 0 723086128 40529920 6791 4294967295 134512640 134714508 3221221792 3221218856 1075007302 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9895 6791 1111 63 0 9832 0
vsize: 39580
[startup+860.129 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 827998 0 0 0 83693 2303 0 0 25 0 1 0 723086128 30179328 6665 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7368 6665 1111 63 0 7305 0
vsize: 29472
[startup+870.13 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 841418 0 0 0 84657 2339 0 0 25 0 1 0 723086128 30187520 6667 4294967295 134512640 134714508 3221221792 3221220144 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6667 1111 63 0 7307 0
vsize: 29480
[startup+880.132 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 857328 0 0 0 85613 2384 0 0 25 0 1 0 723086128 30175232 6664 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+890.133 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 869375 0 0 0 86578 2419 0 0 25 0 1 0 723086128 30191616 6668 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7371 6668 1111 63 0 7308 0
vsize: 29484
[startup+900.134 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 881684 0 0 0 87545 2453 0 0 25 0 1 0 723086128 30183424 6666 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7369 6666 1111 63 0 7306 0
vsize: 29476
[startup+910.134 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 890571 0 0 0 88520 2477 0 0 25 0 1 0 723086128 30175232 6664 4294967295 134512640 134714508 3221221792 3221219516 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+920.135 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 902840 0 0 0 89486 2512 0 0 25 0 1 0 723086128 30199808 6670 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7373 6670 1111 63 0 7310 0
vsize: 29492
[startup+930.135 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 916216 0 0 0 90449 2549 0 0 25 0 1 0 723086128 30187520 6667 4294967295 134512640 134714508 3221221792 3221220192 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6667 1111 63 0 7307 0
vsize: 29480
[startup+940.135 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 930793 0 0 0 91411 2587 0 0 25 0 1 0 723086128 30183424 6666 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7369 6666 1111 63 0 7306 0
vsize: 29476
[startup+950.136 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 946661 0 0 0 92366 2632 0 0 25 0 1 0 723086128 40181760 6711 4294967295 134512640 134714508 3221221792 3221217848 1074789581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9810 6711 1111 63 0 9747 0
vsize: 39240
[startup+960.135 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 961411 0 0 0 93325 2673 0 0 25 0 1 0 723086128 30175232 6664 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+970.136 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 974881 0 0 0 94289 2709 0 0 25 0 1 0 723086128 40185856 6722 4294967295 134512640 134714508 3221221792 3221218064 1074960852 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9811 6722 1111 63 0 9748 0
vsize: 39244
[startup+980.136 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 993009 0 0 0 95239 2760 0 0 25 0 1 0 723086128 40566784 7991 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9904 7991 1111 63 0 9841 0
vsize: 39616
[startup+990.137 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 1006477 0 0 0 96201 2798 0 0 25 0 1 0 723086128 30179328 6665 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7368 6665 1111 63 0 7305 0
vsize: 29472
[startup+1000.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 1020059 0 0 0 97164 2835 0 0 25 0 1 0 723086128 30183424 6666 4294967295 134512640 134714508 3221221792 3221219960 1077377218 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7369 6666 1111 63 0 7306 0
vsize: 29476
[startup+1010.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 1034960 0 0 0 98124 2875 0 0 25 0 1 0 723086128 30187520 6667 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6667 1111 63 0 7307 0
vsize: 29480
[startup+1020.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 1051183 0 0 0 99080 2919 0 0 25 0 1 0 723086128 40517632 6802 4294967295 134512640 134714508 3221221792 3221218128 1075113502 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9892 6802 1111 63 0 9829 0
vsize: 39568
[startup+1030.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 1064628 0 0 0 100042 2957 0 0 25 0 1 0 723086128 40325120 7505 4294967295 134512640 134714508 3221221792 3221217952 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9845 7514 1111 63 0 9782 0
vsize: 39380
[startup+1040.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 1078934 0 0 0 101003 2997 0 0 25 0 1 0 723086128 30183424 6666 4294967295 134512640 134714508 3221221792 3221220124 1074206848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7369 6666 1111 63 0 7306 0
vsize: 29476
[startup+1050.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 1093729 0 0 0 101963 3037 0 0 25 0 1 0 723086128 37789696 7351 4294967295 134512640 134714508 3221221792 3221218064 1075116266 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9226 7351 1111 63 0 9163 0
vsize: 36904
[startup+1060.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 1105335 0 0 0 102931 3070 0 0 25 0 1 0 723086128 40751104 6863 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9949 6863 1111 63 0 9886 0
vsize: 39796
[startup+1070.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 1119312 0 0 0 103893 3108 0 0 25 0 1 0 723086128 40345600 6749 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9850 6749 1111 63 0 9787 0
vsize: 39400
[startup+1080.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 1133312 0 0 0 104855 3146 0 0 25 0 1 0 723086128 30183424 6666 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7369 6666 1111 63 0 7306 0
vsize: 29476
[startup+1090.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 1151953 0 0 0 105803 3198 0 0 25 0 1 0 723086128 30175232 6664 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+1100.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 1166328 0 0 0 106764 3237 0 0 25 0 1 0 723086128 30191616 6668 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7371 6668 1111 63 0 7308 0
vsize: 29484
[startup+1110.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 1180666 0 0 0 107724 3278 0 0 25 0 1 0 723086128 30175232 6664 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6664 1111 63 0 7304 0
vsize: 29468
[startup+1120.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 1193432 0 0 0 108688 3313 0 0 25 0 1 0 723086128 40935424 7593 4294967295 134512640 134714508 3221221792 3221217952 1075095344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9994 7601 1111 63 0 9931 0
vsize: 39976
[startup+1130.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 1202659 0 0 0 109662 3340 0 0 25 0 1 0 723086128 40189952 6749 4294967295 134512640 134714508 3221221792 3221218720 1075890974 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9812 6749 1111 63 0 9749 0
vsize: 39248
[startup+1140.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 1214650 0 0 0 110631 3371 0 0 25 0 1 0 723086128 40980480 6967 4294967295 134512640 134714508 3221221792 3221218604 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10005 6967 1111 63 0 9942 0
vsize: 40020
[startup+1150.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 1227902 0 0 0 111596 3406 0 0 25 0 1 0 723086128 30183424 6666 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7369 6666 1111 63 0 7306 0
vsize: 29476
[startup+1160.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 1239943 0 0 0 112563 3439 0 0 25 0 1 0 723086128 40366080 6785 4294967295 134512640 134714508 3221221792 3221218064 1074961355 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9855 6785 1111 63 0 9792 0
vsize: 39420
[startup+1170.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 1252008 0 0 0 113531 3471 0 0 25 0 1 0 723086128 41013248 6958 4294967295 134512640 134714508 3221221792 3221218336 1075088560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10013 6958 1111 63 0 9950 0
vsize: 40052
[startup+1177.4 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 5911
Raw data (stat): 5854 (bsolo_lpr) R 5853 7876 7672 0 -1 0 1252008 0 0 0 113531 3471 0 0 25 0 1 0 723086128 41013248 6958 4294967295 134512640 134714508 3221221792 3221218336 1075088560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10013 6958 1111 63 0 9950 0
vsize: 0

Child status: 10
Real time (s): 1177.4
CPU time (s): 1177.29
CPU user time (s): 1142.35
CPU system time (s): 34.9317
CPU usage (%): 99.9902
Max. virtual memory (Kb): 40952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-19
#### END VERIFIER DATA ####